Abstract:The {\em abeliant} is a polynomial rule for producing an $n$ by $n$ matrix with entries in a given ring from an $n$ by $n$ by $n+2$ array of elements of that ring. The theory of abeliants, first introduced in an earlier paper of the author, is redeveloped here in a simpler way. Then this theory is exploited to give an explicit elementary construction of the Jacobian of a nonsingular projective algebraic curve defined over an algebraically closed field. The standard of usefulness and aptness we strive toward is that set by Mumford's elementary construction of the Jacobian of a hyperelliptic curve. This paper has appeared as Advances in Math 172 (2002) 169-205.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to give an elementary construction of the Jacobian variety $J$ of a non - singular projective algebraic curve $C$, that is, to obtain the explicit defining equations of $J$ and its group law by purely algebraic and relatively simple methods. Specifically: 1. **Problem Background**: - The Jacobian variety $J$ is an important object associated with a non - singular projective algebraic curve $C$. - Previous studies usually assume that the curve $C$ is hyperelliptic and represent $J$ as a gluing of affine varieties. 2. **Paper Goals**: - **Without assuming that $C$ is hyperelliptic**: The paper hopes to provide a method applicable to a wider range of curve types. - **Directly represented as a projective variety**: Instead of describing $J$ by gluing affine varieties, thereby simplifying the construction process. 3. **Main Methods**: - Utilize the "abeliant" theory introduced by the author previously, which is a polynomial rule that maps each $n\times n\times(n + 2)$ array to an $n\times n$ matrix. - Through the "abeliant" theory, derive the theory of abstract Abel maps. - Use these maps to represent divisor classes of a sufficiently high degree on $C$ and establish the corresponding matrix representations and their addition and subtraction operations. 4. **Specific Steps**: - **First stage**: Derive the theory of abstract Abel maps from the abeliant theory, which is mainly the content of pure multilinear algebra. - **Second stage**: Set up the square rank - one matrix representation of divisor classes of a sufficiently high degree on $C$ and establish the corresponding matrix addition and subtraction representations. - **Third stage**: Explain the abstract Abel maps in specific cases, especially interpret them as Abel maps related to the curve $C$. Through these steps, the paper aims to provide a new, more general and simpler construction method of the Jacobian variety, making it have a wider application prospect in fields such as number theory and computer science.

Abeliants and their application to an elementary construction of Jacobians

Curves, Jacobians, and Cryptography

Non-isogenous superelliptic jacobians II

Abelian function fields on Jacobian varieties

Abelian functions associated with genus three algebraic curves

Some arithmetic aspects of polynomial maps

On Galois covers of curves and arithmetic of Jacobians

How to split two-dimensional Jacobians: a geometric construction

Abelian reduction in differential-algebraic and bimeromorphic geometry

Hyperelliptic Continued Fractions and Generalized Jacobians

Intermediate Jacobians and linearizability

Unified approach to reciprocal matrices with Kippenhahn curves containing elliptical components

Lefschetz properties of Jacobian algebras and Jacobian modules

Explicit construction of decomposable Jacobians

Higher-weight Jacobians

An Equisingular Specialisation of the Compactified Jacobian and its applications

Arithmetic rank bounds for abelian varieties over function fields

Gluing of graphs and their Jacobians

A note concerning the invertibility of certain alternant matrices

On Jacobians of geometrically reduced curves and their Néron models