Let f be a degeneration of Kahler manifolds. The local invariant cycle theorem states that for a smooth fiber of the degeneration, any cohomology class, invariant under the monodromy action, rises from a global cohomology class. Instead of the classical cohomology, one may consider the non-abelian cohomology. This note demonstrates that the analogous non-abelian version of the local invariant cycle theorem does not hold if the first non-abelian cohomology is the moduli space (universal categorical quotient) of the representations of the fundamental group.
It is shown that to every Q-linear cycle \barαmodulo numerical equivalence on an abelian variety A there is canonically associated a Q-linear cycle αmodulo rational equivalence on A lying above \barα. The assignment \barα-> αrespects the algebraic operations and pullback and push forward along homomorphisms of abelian varieties.
This paper is a work in progress on Bloch's conjecture asserting the vanishing of the Pontryagin product of a $ p $ codimensional cycle on an abelian variety by $ p+1 $ zero cycles of degree zero. We prove an infinitesimal version of the conjecture and we discuss, in particular, the case of $ 3 $ dimensional cycles.
The semi-simplicity of the Hodge group is proved for a simple Abelian variety with a stable reduction of odd toric (reductive) rank. If, besides, the dimension of the Abelian variety is an odd integer, then the Hodge conjecture on algebraic cycles holds for it.
If $X$ is an abelian variety over a field and $L$ is an invertible sheaf, we know that the degree of the 0-cycle $L^g$ is divisible by $g!$. As a 0-cycle, it is not, even over a field of cohomological dimension 1. But we show that over a finite field there is perhaps some hope.
In this paper we extend Gazaki's results on the Chow groups of abelian varieties to the higher Chow groups. We introduce a Gazaki type filtration on the higher Chow group of zero-cycles on an abelian variety, whose graded quotients are connected to the Somekawa type $K$-group. Via the étale cycle map, we will compare this filtration with a filtration on the étale cohomology induced by the Hochschild-Serre spectral sequence. As an application over local fields, we obtain an estimate of the kernel of the reciprocity map.
We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, any product of Jacobians of smooth projective curves over the complex numbers satisfies the integral Hodge conjecture for one-cycles. The main ingredient is a lift of the Fourier transform to integral Chow groups. Similarly, we prove the integral Tate conjecture for one-cycles on the Jacobian of a proper curve of compact type over the separable closure of a finitely generated field. Furthermore, abelian varieties satisfying such a conjecture …
We give a generalization to higher genera of the famous formula $12 λ=δ$ for genus 1. We also compute the classes of certain strata in the Satake compactification as elements of the push down of the tautological ring.
In this paper, we give a recipe for producing infinitely many non-divisible codimension $2$ cycles on a product of two or more very general Abelian varieties. In the process, we introduce the notion of "field of definition" for cycles in the Chow group modulo (a power of) a prime. We show that for a quite general class of codimension $2$ cycles we call "primitive cycles," the field of definition is a ramified extension of the function field of a modular variety. This ramification allows us to use Nori's isogeny method \cite{N} (modified by Totaro \cite{T}) to produce infinitely many non-divisi…
We prove Bloch's conjecture for correspondences on powers of complex abelian varieties, that are "generically defined". As an application we establish vanishing results for (skew-)symmetric cycles on powers of abelian varieties and we address a question of Voisin concerning (skew-)symmetric cycles on powers of K3 surfaces in the case of Kummer surfaces. We also prove Bloch's conjecture in the following situation. Let $γ$ be a correspondence between two abelian varieties $A$ and $B$ that can be written as a linear combination of products of symmetric divisors. Assume that $A$ is isogenous to th…
We prove that, given a symmetrically distinguished correspondence of a suitable complex abelian variety (which include any abelian variety of dimension atmost 5, powers of complex elliptic curves, etc.) which vanishes as a morphism on a certain quotient of its middle singular cohomology, then it vanishes as a morphism on the deepest part of a particular filtration on the Chow group of 0-cycles of the abelian variety. As a consequence, we prove that given an automorphism of such an abelian variety, which acts as the identity on a certain quotient of its middle singular cohomology, then it acts …
We compute relations of rational equivalence among special codimensional two cycles on families of abelian surfaces using elements of higher chow groups.
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.
We introduce a stratification on the space of symplectic flags on the de Rham bundle of the universal principally polarized abelian variety in positive characteristic and study its geometric properties like irreducibility of the strata and we calculate the cycle classes. When the characteristic $p$ is treated as a formal variable these classes can be seen as a deformation of the classes of the Schubert varieties for the corresponding classical flag variety (the classical case is recovered by putting $p$ equal to 0). We relate our stratification with the E-O stratification on the moduli space o…
We study the (covering) gonality of abelian varieties and their orbits of zero-cycles for rational equivalence. We show that any orbit for rational equivalence of zero-cycles of degree $k$ has dimension at most $k-1$. Building on the work of Pirola, we show that very general abelian varieties of dimension $g$ have covering gonality $k\geq f(g)$ where $f(g)$ grows like ${\rm log}\,g$. This answers a question asked by Bastianelli, De Poi, Ein, Lazarsfeld and B. Ullery. We also obtain results on the Chow ring of very general abelian varieties, eg. if $g\geq 2k-1$, for any divisor $D\in {\rm Pic}^…
In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of $\ell$-adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus' prediction for some families of abelian varieties. These families include abelian varieties that have both prime dimension and nontrivial endomorphism ring. The proof is based on …
We prove the Abelian/non-Abelian Correspondence with bundles for target spaces that are partial flag bundles, combining and generalising results by Ciocan-Fontanine-Kim-Sabbah, Brown, and Oh. From this we deduce how genus-zero Gromov-Witten invariants change when a smooth projective variety X is blown up in a complete intersection defined by convex line bundles. In the case where the blow-up is Fano, our result gives closed-form expressions for certain genus-zero invariants of the blow-up in terms of invariants of X. We also give a reformulation of the Abelian/non-Abelian Correspondence in ter…
A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We i…
In this paper we construct a non-trivial element in the higher Griff{}iths group $Griff ^{3,2}$ for the generic abelian fourfold $A^4$ with polarization of type $(1,2,2,2)$. The key idea is to use that $A^4$ can be realized as a generalized Prym variety and for this reason contains in a natural way some curves i.e. dimension 1 cycles.
In this short note we extend some results obtained in \cite{Gazaki2015}. First, we prove that for an abelian variety $A$ with good ordinary reduction over a finite extension of $\mathbb{Q}_p$ with $p$ an odd prime, the Albanese kernel of $A$ is the direct sum of its maximal divisible subgroup and a torsion group. Second, for a semi-abelian variety $G$ over a perfect field $k$, we construct a decreasing integral filtration $\{F^r\}_{r\geq 0}$ of Suslin's singular homology group, $H_0^{sing}(G)$, such that the successive quotients are isomorphic to a certain Somekawa K-group.
We modify the standard perfect symmetric obstruction theory for moduli spaces of simple perfect complexes, to the situation of complexes on abelian threefolds with fixed determinant and Fourier-Mukai determinant. As outcome we attach nontrivial Donaldson-Thomas invariants to moduli spaces for complexes modulo twist and translation.
We study a new object that can be attached to an abelian variety or a complex torus: the invariant Brauer group, as recently defined by Yang Cao. Over the field of complex numbers this is an elementary abelian 2-group with an explicit upper bound on the rank. We exhibit many cases in which the invariant Brauer group is zero, and construct complex abelian varieties in every dimension starting with 2, both simple and non-simple, with invariant Brauer group of order 2. We also address the situation in finite characteristic and over non-closed fields.
We compute explicitly the Chow motive of any generalized Kummer variety associated to any abelian surface. In fact, it lies in the rigid tensor subcategory of the category of Chow motives generated by the Chow motive of the underlying abelian surface. One application of this calculation is to show that the Hodge conjecture holds for arbitrary products of generalized Kummer varieties. As another application, all numerically trivial 1-cycles on arbitrary products of generalized Kummer varieties are smash-nipotent.
Compactifications of moduli spaces of (1,p)-polarized abelian surfaces with level structures of canonical type have been described in great detail by Hulek, Kahn and Weintraub. The aim of this paper is to determine some invariants of smooth models of these moduli spaces. In particular, a geometric description of their canonical divisors is given and their Chern numbers are computed.
The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomena that can occur by working out the picture fairly completely in a couple of simple but non-trivial cases. Specifically, we study cycles of arbitrary codimension on the self-product of an elliptic curv…
In this paper a number of results on cycles on the moduli space of principally polarized abelian varieties is presented. Results include a determination of the tautological ring, bounds on the order of torsion of the top Chern class $λ_g$ and a determination of the cycle classes of the Ekedahl-Oort stratification in characteristic $p$. It includes as special cases formulas for the classes of loci like the $p$-rank $\leq f$ locus or the $a$-number $\geq a$-locus. The results on the tautological ring are my own work, the results on the torsion of $λ_g$ and on the cycle classes of the Ekedahl-Oor…
We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian.
For a polarized abelian variety, Z. Jiang and G. Pareschi introduce an invariant and show that the polarization is basepoint free or projectively normal if the invariant is small. Their result is generalized to higher syzygies by F. Caucci, that is, the polarization satisfies property $(N_p)$ if the invariant is small. In this paper, we study a relation between the invariant and degrees of abelian subvarieties with respect to the polarization. For abelian threefolds, we give an upper bound of the invariant using degrees of abelian subvarieties. In particular, we affirmatively answer some quest…
We make precise conjectures relating the genus zero Gromov-Witten theory of a nonabelian GIT quotient X//G to that of the associated abelian quotient X//T by a maximal torus T in G.These conjectures imply in particular closed formulas for the J-functions (that is, the generating functions for 1-point Gromov-Witten invariants) of all generalized flag manifolds of classical A, B, C and D types. These formulas are proved in the second part of the paper.
In this note we give a numerical criterion that expresses the condition that an abelian variety be simple in terms of an invariant that is closely related to the s-invariant of Ein-Cutkosky-Lazarsfeld. The criterion yields new examples where s-invariants are irrational. It may also be viewed as a statement about the geometry of the ample cone.
We partially generalize the theory of semihomogeneous bundles on an abelian variety $A$ developed by Mukai. This involves considering abelian subvarieties $Y\subset X_A=A\times\hat{A}$ and studying coherent sheaves on $A$ invariant under the action of $Y$. The natural condition to impose on $Y$ is that of being Lagrangian with respect to a certain skew-symmetric biextension of $X_A\times X_A$. We prove that in this case any $Y$-invariant sheaf is a direct sum of several copies of a single coherent sheaf. We call such sheaves Lagrangian-invariant (or LI-sheaves). We also study LI-functors $D^b(…
In this paper we study and relate the non-abelian zeta functions introduced by Weng and invariants of the moduli spaces of arbitrary rank stable pairs over curves. We prove a wall-crossing formula for the latter invariants and obtain an explicit formula for these invariants in terms of the motive of a curve. Previously, formulas for these invariants were known only for rank 2 due to Thaddeus and for rank 3 due to Muñoz. Using these results we obtain an explicit formula for the non-abelian zeta functions, we check the uniformity conjecture by Weng for the ranks 2 and 3, and we prove the countin…
We give a purely local proof, in the depth 0 case, of the result by Harris-Taylor which asserts that the local Langlands correspondence for GL_n over a p-adic field K realizes itself inside the vanishing cycle cohomology of the deformation space of formal O_K-modules of height n. Our proof is given by establishing the direct geometric link with the Deligne-Lusztig theory for GL_n over the residue field.
We construct new indecomposable elements in the higher Chow group CH2(A,1) of a principally polarized Abelian surface over a non Archimedean local field, which generalize an element constructed by Collino. These elements are constructed using a generalization, due to Birkenhake and Wilhelm, of a classical construction of Humbert, along with some recent work of Bogomolov, Hassett and Tschinkel on deformations of rational curves on a K3 surface. They can be used to prove the non-Archimedean Hodge-D-conjecture - namely, the surjectivity of the boundary map in the localization sequence - in the ca…
Notes from a talk at the April 2011 ICMS (Edinburgh) conference on the recent solution of the Kervaire invariant problem. This is an entirely expository account, emphasizing connections with the theory of topological automorphic forms.
In this article we find connections between the values of Gauss hypergeometric functions and the dimension of the vector space of Hodge cycles of four dimensional cubic hypersurfaces. Since the Hodge conjecture is well-known for those varieties we calculate values of Hypergeometric series on certain $CM$ points. Our methods is based on the calculation of the Picard-Fuchs equations in higher dimensions, reducing them to the Gauss equation and then applying the Abelian Subvariety Theorem to the corresponding hypergeometric abelian varieties.
We reformulate a conjecture of Beauville on algebraic cycles on an abelian variety in terms of certain compatibility and vanishings of some naturally defined filtrations on the Grothendieck group of the abelian variety.
We study the reduced Donaldson-Thomas theory of abelian threefolds using Bridgeland stability conditions. The main result is the invariance of the reduced Donaldson-Thomas invariants under all derived autoequivalences, up to explicitly given wall-crossing terms. We also present a numerical criterion for the absence of walls in terms of a discriminant function. For principally polarized abelian threefolds of Picard rank one, the wall-crossing contributions are discussed in detail. The discussion yield evidence for a conjectural formula for curve counting invariants by Bryan, Pandharipande, Yin,…
This thesis intends to make a contribution to the theories of algebraic cycles and moduli spaces over the real numbers. In the study of the subvarieties of a projective algebraic variety, smooth over the field of real numbers, the cycle class map between the Chow ring and the equivariant cohomology ring plays an important role. The image of the cycle class map remains difficult to describe in general; we study this group in detail in the case of real abelian varieties. To do so, we construct integral Fourier transforms on Chow rings of abelian varieties over any field. They allow us to prove t…
We prove the equivalence of (a slightly modified version of) the wall-crossing formula of Manschot, Pioline and Sen and the wall-crossing formula of Kontsevich and Soibelman. The former involves abelian analogues of the motivic Donaldson-Thomas type invariants of quivers with stability introduced by Kontsevich and Soibelman, for which we derive positivity and geometricity properties.
We show that a general $n$-dimensional polarized abelian variety $(A,L)$ of a given polarization type and satisfying $ h^0(A, L) \geq \dfrac{8^n}{2} \cdot \dfrac{n^n}{n !}$ is projectively normal. In the process, we also obtain a sharp lower bound for the volume of a purely one-dimensional complex analytic subvariety in a geodesic tubular neighborhood of a subtorus of a compact complex torus.
