Degree-2 Abel maps and hyperelleptic curves

On algebraic equivalences among the 27 Abel-Prym curves on a generic abelian 5-fold

This article shows that on a generic principally polarized abelian variety of dimension five the $\mathbb{Q}$-vector space of algebraic equivalences among the 27 Abel-Prym curves has dimension 20.

Arithmetic Hodge structure and higher Abel-Jacobi maps

In this paper, we show some applications to algebraic cycles by using higher Abel-Jacobi maps which were defined in [the author: Motives and algebraic de Rham cohomology]. In particular, we prove that the Beilinson conjecture on algebraic cycles over number fields implies the Bloch conjecture on zero-cycles on surfaces. Moreover, we construct a zero-cycle on a product of curves whose Mumford invariant vanishes, but not higher Abel-Jacobi invariant.

On Abel-Jacobi Maps of Lagrangian Families

We study in this article the cohomological properties of Lagrangian families on projective hyper-Kähler manifolds. First, we give a criterion for the vanishing of Abel-Jacobi maps of Lagrangian families. Using this criterion, we show that under a natural condition, if the variation of Hodge structures on the degree $1$ cohomomology of the fibers of the Lagrangian family is maximal, its Abel-Jacobi map is trivial. We also construct Lagrangian families on generalized Kummer varieties whose Abel-Jacobi map is not trivial, showing that our criterion is optimal.

The degree-2 Abel-Jacobi map for nodal curves - II

We construct a resolution of the degree-2 Abel-Jacobi map for a regular smoothing of a nodal curve.

Intersection Sheaves for Abel maps

Intersection sheaves, i.e., the Deligne pairing, were first introduced by Deligne in the setting of Poincare duality for etale cohomology, and later in his work on the determinant of cohomology. Intersection sheaves were generalized from smooth schemes to Cohen-Macaulay schemes by Elkik, and then beyond Cohen-Macaulay schemes by Munoz-Garcia. To define the Abel maps arising in rational simple connectedness on the natural parameter spaces of rational sections, we need a variant of the construction of Munoz-Garcia that has the good properties of the construction using det and Div. In addition, w…

Abel maps and limit linear series

We explore the relationship between limit linear series and fibers of Abel maps in the case of curves with two smooth components glued at a single node. To an r-dimensional limit linear series satisfying a certain exactness property (weaker than the refinedness property of Eisenbud and Harris) we associate a closed subscheme of the appropriate fiber of the Abel map. We then describe this closed subscheme explicitly, computing its Hilbert polynomial and showing that it is Cohen-Macaulay of pure dimension r. We show that this construction is also compatible with one-parameter smoothings.

Abel Maps and Presentation Schemes

We sharpen the two main tools used to treat the compactified Jacobian of a singular curve: Abel maps and presentation schemes. First we prove a smoothness theorem for bigraded Abel maps. Second we study the two complementary filtrations provided by the images of certain Abel maps and certain presentation schemes. Third we study a lifting of the Abel map of bidegree (m,1) to the corresponding presentation scheme. Fourth we prove that, if a curve is blown up at a double point, then the corresponding presentation scheme is a IP^1-bundle. Finally, using Abel maps of bidegree (m,1), we characterize…

Abel-Jacobi maps associated to smooth cubic threefolds

We pose some questions about spaces parametrizing rational curves on rationally connected varieties. We give a partial answer for cubic threefolds. Many of our results were previously proved by Iliev, Markushevich and Tikhimirov by analyzing vector bundles on cubic threefolds. Our proofs use residuation rather than vector bundles.

Simplicial Abel-Jacobi maps and reciprocity laws

We describe an explicit morphism of complexes that induces the cycle-class maps from (simplicially described) higher Chow groups to rational Deligne cohomology. The reciprocity laws satisfied by the currents we introduce for this purpose are shown to provide a clarifying perspective on functional equations satisfied by complex-valued di- and trilogarithms.

On Abel maps of stable curves

We construct Abel maps for a stable curve $X$. Namely, for each one-parameter deformation of $X$ with regular total space, and every integer $d>0$, we construct by specialization a map $α^d_X$ from the smooth locus of $X^d$ to the moduli scheme of balanced line bundles on semistable curves over $X$. For $d=1$, we show that $α^1_X$ naturally extends over $X$, and does not depend on the choice of the deformation; we give a precise description of when it is injective.

The degree-2 Abel--Jacobi map for nodal curves - I

Let $f\col\C\ra B$ be a regular local smoothing of a nodal curve. In this paper, we find a modular description of the Abel--Néron map having values in Esteves's fine compactified Jacobian and extending the degree-2 Abel--Jacobi map of the generic fiber of $f$

Abel-Jacobi 映射的分解

Factorization of the Abel-Jacobi maps

本文针对 Walker 借助 Lawson 同调与态射上同调所得的 Abel-Jacobi 映射分解定理，给出一种不依赖原理论应用的直接证明。

Tropical Count of Curves on Abelian Varieties

We investigate the problem of counting tropical genus g curves in g-dimensional tropical abelian varieties. For g = 2, 3, we prove that the tropical count matches the count provided by Göttsche, Bryan-Leung, and Lange-Sernesi in the complex setting.

Abel-Prym maps for isotypical components of Jacobians

Let $C$ be a smooth non rational projective curve over the complex field $\mathbb{C}$. If $A$ is an abelian subvariety of the Jacobian $J(C)$, we consider the Abel-Prym map $φ_A : C \rightarrow A$ defined as the composition of the Abel map of $C$ with the norm map of $A$. The goal of this work is to investigate the degree of the map $φ_A$ in the case where $A$ is one of the components of an isotypical decomposition of $J(C)$. In this case we obtained a lower bound for $\mathrm{deg}(φ_A)$ and, under some hypotheses, also an upper bound. We then apply the results obtained to compute degrees of A…

Cohomological support loci for Abel-Prym curves

For an Abel-Prym curve contained in a Prym variety, we determine the cohomological support loci of its twisted ideal sheaves and the dimension of its theta-dual.

Abel pairs and modular curves

In this article we consider rational functions on algebraic curves, which have one zero and one pole (and call pair of such function and curve Abel pair). We investigate moduli spaces of such functions on curves of genus one; the number of Belyi pairs among them is calculated for fields $\mathbb C$ and $\overline{\mathbb F_p}$. This result could be fruitfully used for investigation of Hurwitz's space and modular curves for fields of finite characteristic.

On Abel-Jacobi maps of moduli of parabolic bundles over a curve

Let $C$ be a nonsingular complex projective curve, and $\mathcal{L}$ e a line bundle of degree 1 on $C$. Let $\mathcal{M}_α := \mathcal{M}(r,\mathcal{L},α)$ denote the moduli space of $S$-equivalence classes of Parabolic stable bundles of fixed rank $r$, determinant $\mathcal{L}$, full flags and generic weight $α$. Let $n=$ dim$\mathcal{M}_α$. We aim to study the Abel-Jacobi maps for $\mathcal{M}_α$ in the cases $k=2,n-1$. When $k=n-1$, we prove that the Abel-Jacobi map is a split surjection. When $k=2$ and $r=2$, we show that the Abel-Jacobi map is an isomorphism.

On Abel's hyperelliptic curves

In this note we discuss a class of hyperelliptic curves introduced by Abel in a 1826 paper. After some indications of the context in which he introduced them and a description of his main result we give some results on the moduli space of such curves. In particular we compute the dimension of it at each of its points as well as giving a combinatorial formula for the number of components.

Compactifying the image of the Abel map

Let $α_X^{\underline d}$ be the Abel map of multidegree $\underline d$ of a singular curve $X$ of genus $g$. We describe the closure of ${\rm Im}α_X^{\underline d}$ inside Caporaso's compactified Jacobian $\bar{P_X^d}$ for irreducible curves, curves of compact type and binary curves.

Higher Abel-Jacobi Maps

This paper forms the major portion of a talk given at the International Colloquium on Arithmetic, Algebra and Geometry at TIFR, Mumbai in Jan 2000. We look at the problem of detecting cycles with trivial Abel-Jacobi invariant. M. Green proposed a Hodge-theoretic method to which C. Voisin found a counter-example. We present an easier example. We also propose another possible invariant to detect these classes using Hodge Theory. Similar methods have been proposed earlier by M. Asakura and M. Saito.

阿贝尔 - 雅可比映射的（非）可扩展性

(Non-)Extendability of Abel-Jacobi Maps

研究阿贝尔 - 雅可比映射的“自然”定义轨迹，表明对于恰当几何约化曲线\(C\)，其从光滑轨迹\(C^{sm}\)到雅可比簇的映射，除特定情况外不扩展到更大曲线，由此得出该映射在特定情况外有闭像，对非\(\mathbb{P}^1\)不可约曲线是闭嵌入。

On the degree-1 Abel map for nodal curves

Let $C$ be a nodal curve and $L$ be an invertible sheaf on $C$. Let $α_{L}:C\dashrightarrow J_{C}$ be the degree-$1$ rational Abel map, which takes a smooth point $Q\in C$ to $\left[ m_{Q}\otimes L\right] $ in the Jacobian of $C$. In this work we extend $α_{L}$ to a morphism $\overlineα_{L}:C\rightarrow\overline{J}_{E}^{P}$ taking values on Esteves' compactified Jacobian for any given polarization $E$. The maps $\overlineα_{L}$ are limits of Abel maps of smooth curves of the type $α_{L}$.

Abel maps of Gorenstein curves

For a Gorenstein curve X and a nonsingular point P of X, we construct Abel maps A from X to J_X^1 and A_P from X to J_X^0, where J_X^i is the moduli scheme for simple, torsion-free, rank-1 sheaves on X of degree i. The image curves of A and A_P are shown to have the same arithmetic genus of X. Also, A and A_P are shown to be embeddings away from rational subcurves L of X meeting the closure of X-L in separating nodes. Finally, we establish a connection with Seshadri's moduli scheme U_X(1) for semistable, torsion-free, rank-1 sheaves on X, obtaining an embedding of A(X) into U_X(1).

Genus two curves on abelian surfaces

This paper deals with singularities of genus 2 curves on a general (d_1,d_2)-polarized abelian surface (S,L). In analogy with Chen's results concerning rational curves on K3 surfaces [Ch1,Ch2], it is natural to ask whether all such curves are nodal. We prove that this holds true if and only if d_2 is not divisible by 4. In the cases where d_2 is a multiple of 4, we exhibit genus 2 curves in |L| that have a triple, 4-tuple or 6-tuple point. We show that these are the only possible types of unnodal singularities of a genus 2 curve in |L|. Furthermore, with no assumption on d_1 and d_2, we prove …

Severi Varieties and Brill-Noether theory of curves on abelian surfaces

Severi varieties and Brill-Noether theory of curves on K3 surfaces are well understood. Yet, quite little is known for curves on abelian surfaces. Given a general abelian surface $S$ with polarization $L$ of type $(1,n)$, we prove nonemptiness and regularity of the Severi variety parametrizing $δ$-nodal curves in the linear system $|L|$ for $0\leq δ\leq n-1=p-2$ (here $p$ is the arithmetic genus of any curve in $|L|$). We also show that a general genus $g$ curve having as nodal model a hyperplane section of some $(1,n)$-polarized abelian surface admits only finitely many such models up to tran…

Effective cycles on the symmetric product of a curve, II: the Abel-Jacobi faces

In this paper, which is a sequel of [BKLV], we study the convex-geometric properties of the cone of pseudoeffective $n$-cycles in the symmetric product $C_d$ of a smooth curve $C$. We introduce and study the Abel-Jacobi faces, related to the contractibility properties of the Abel-Jacobi morphism and to classical Brill-Noether varieties. We investigate when Abel-Jacobi faces are non-trivial, and we prove that for $d$ sufficiently large (with respect to the genus of $C$) they form a maximal chain of perfect faces of the tautological pseudoeffective cone (which coincides with the pseudoeffective …

Formal Abel-Jacobi maps

We realize the infinitesimal Abel-Jacobi map as a morphism of formal deformation theories, realized as a morphism in the homotopy category of differential graded Lie algebras. The whole construction is carried out in a general setting, of which the classical Abel-Jacobi map is a special example.

Abelian functions for trigonal curves of degree four and determinantal formulae in purely trigonal case

This paper gives a natural extension of Frobenius-Stickelberger formula and Kiepert formula to Abelian functions for "Purely Trigonal Curves", especially, of degree four. A description on the theory of Abelian functions for general trigonal curves of degree four is also included.

Class of images of Abel maps on normal surface singularities

In this paper we investigate Abel maps on normal surface singularities described in \cite{NNI}. We investigate the affine version of the class of the images of Abel maps on normal surface singularities. More precisely we consider the projective clousure of the image of an Abel map, its dual projective variety and we substract from its degree the multiplicity of the infinite hyperplane on the dual variety. In the case of generic singularities we prove explicit combinatorial formulas of this invariant, in the general case we prove an upper bound.

Algebraic maps constant on isomorphism classes of unpolarized abelian varieties are constant

We show that if a rational map is constant on each isomorphism class of unpolarized abelian varieties of a given dimension, then it is a constant map. Our results are motivated by and shed light on a proposed construction of a cryptographic protocol for multiparty non-interactive key exchange.

On the Abel-Jacobi maps of Fermat Jacobians

We study the Abel-Jacobi image of the Ceresa cycle W_k-W_k^-, where W_k is the image of the k-th symmetric product of a curve X on its Jacobian variety. For the Fermat curve of degree N, we express it in terms of special values of generalized hypergeometric functions and give a criterion for the non-vanishing of W_k-W_k^- modulo algebraic equivalence, which is verified numerically for some N and k.

The Abel Jacobi map for Mumford Curves via Integration

We construct the Abel-Jacobi map for Mumford curves over any complete non-archimedean field, using multiplicative integrals and in the setting of Berkovich analytic geometry. Along the way, we proof some results concerning graphs and mesures related to tropical geometry.

Higher Abel-Jacobi maps for 0-cycles

Starting from the candidate Bloch-Beilinson filtration on Chow groups of 0-cycles constructed by J. Lewis, we develop and describe geometrically a series of Hodge-theoretic invariants defined on the graded pieces. Explicit formulas (in terms of currents and membrane integrals) are given for certain quotients of the invariants, with applications to 0-cycles on products of curves.

Image of Abel-Jacobi map for hyperelliptic genus 3 and 4 curves

For the evaluation and inversion of abelian integrals we show that the image of the Abel-Jacobi map of genus less than 5 hyperelliptic curve in its Jacobian is the intersection of shifted theta divisors with specified shifts. Therefore the image is a solution of a (slightly overdetermined) set of equations in the Jacobian.

Elliptic curves of bounded degree in a polarized Abelian variety

For a polarized complex Abelian variety A, of dimension g>1, we study the function N_A(t) counting the number of elliptic curves in A with degree bounded by t. We describe elliptic curves as solutions of Diophantine equations which, at least for small dimensions g=2 and g=3, can actually be made explicit, and we show that computing the number of solutions is reduced to the classical topic in Number Theory of counting points of the lattice Z^n lying on an explicit bounded subset of R^n. We obtain, for Abelian varieties of small dimension, some upper bounds for the counting function.

A note on Jets of Entire Curves in Semi-Abelian Varieties

We prove a product decomposition of the Zariski closure of the jet lifts of a holomorphic map f from C into a semi-abelian variety A, provided that f is of finite order. On the other hand, by giving an example of such a map f into a three dimensional abelian variety we show that this product decomposition does not hold in general; there was a gap in the proofs of some articles which claimed that such a product decomposition is always true.

On the Abel-Jacobi Map for Divisors of Higher Rank on a Curve

The aim of this paper is to present an algebro-geometric approach to the study of the geometry of the moduli space of stable bundles on a smooth projective curve defined over an algebraically closed field $k$, of arbitrary characteristic. This establishes a bridge between the arithmetic approach of Harder, Narasimhan et al. and the gauge group approach of Atiyah and Bott. One of the basic ideas is to consider a notion of divisor of higher rank and a suitable Abel-Jacobi map generalizing the classical notions in rank one.