Zero-cycles are conjectured to satisfy weak approximation with Brauer-Manin obstruction for proper smooth varieties defined over number fields. Roughly speaking, we prove that the conjecture is compatible for products of rationally connected varieties, K3 surfaces, Kummer varieties, and one curve.
For a prime $p>2$, Kisin and Pappas constructed parahoric integral models at $p$ for Shimura varieties attached to Shimura data $(G,X)$ of abelian type such that $G$ splits over a tamely ramified extension of $\mathbb{Q}_p$. A certain auxiliary data has to be chosen in their constructions. In this note, we will show that the parahoric integral models are actually independent of the choices of the auxiliary data. We also get partial results on extending morphisms of Shimura varieties to those of parahoric integral models.
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 obtain the trace map image of the values of certain harmonic volumes for some quotients of Fermat curves. This provides the algorithm that the algebraic cycles called by the k-th Ceresa cycles are not algebraically equivalent to zero in the Jacobian varieties.
We investigate the question of whether the existence of a family of local zero-cycles of degree $d$ orthogonal to the Brauer group implies the non-emptiness of the Brauer-Manin set for certain varieties. We provide various examples of Brauer-Manin obstruction to the existence of zero-cycles of appropriate degrees.
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 study the Brauer-Manin obstruction to the existence of zero-cycles of degree $d$ on certain classes of varieties over number fields. We generalise existing results in the literature and prove some results about fibrations over the projective line, where the geometric Brauer group of the generic fibre is not assumed to be finite. The idea is to assume that the Brauer-Manin obstruction to the Hasse principle is the only one for certain fibres and then deduce analogous results for zero-cycles.
We report on progress in the qualitative study of rational points on rationally connected varieties over number fields, also examining integral points, zero-cycles, and non-rationally connected varieties. One of the main objectives is to highlight and explain the many recent interactions with analytic number theory.
We show how to deduce the standard sign conjecture (a weakening of the Künneth standard conjecture) for Shimura varieties from some statements about discrete automorphic representations (Arthur's conjectures plus a bit more). We also indicate what is known (to us) about these statements.
Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. Here both Beilinson-Hodge and Beilinson-Tate conjectures are shown to be true for varieties dominated by product of curves. We also show that lower weight Hodge cycles (resp. Tate cycles) are algebraic …
We study zero cycles on rationally connected varieties defined over characteristic zero Laurent fields with algebraically closed residue fields. We show that the degree map induces an isomorphism for rationally connected threefolds defined over such fields. In general, the degree map is an isomorphism if rationally connected varieties defined over algebraically closed fields of characteristic zero satisfy the integral Hodge/Tate conjecture for one cycles, or if the Tate conjecture is true for divisor classes on surfaces defined over finite fields. To prove these results, we introduce technique…
We determine the behavior of automorphic Green functions along the boundary components of toroidal compactifications of orthogonal Shimura varieties. We use this analysis to define boundary components of special divisors and prove that the generating series of the resulting special divisors on a toroidal compactification is modular.
In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the compactly supported cohomology of the nearby cycle complex for the canonical integral model of the Shimura variety over Z_p. We prove that the G(Q_p)-cuspidal part of these cohomology groups are the same, where G denotes the reductive algebraic group naturally attached to the PEL datum. Some applications to unitary Shimura varieties are also given.
In this paper, we study the reduced loci of special cycles on local models of the Shimura variety for GU(1; n-1). We explicitly compute the global structure of the reduced locus of a single special cycle, as well as of an arbitrary intersection of special cycles, in terms of Bruhat-Tits theory. Furthermore, as an application of our results, we prove the connectedness of arbitrary intersections of special cycles, as conjectured by Kudla and Rapoport.
This is a survey of recent examples of varieties that are not stably rational. We review the specialization method based on properties of the Chow group of zero-cycles used in these examples and explain the point of view of unramified cohomology for the construction of nontrivial stable invariants of the special fiber. In particular, we find an explicit formula for the Brauer group of fourfolds fibered in quadrics of dimension two over a rational surface.
Beilinson conjectured that all rational cycles of type (q,q) on the qth cohomology of a smooth complex algebraic variety should come from motivic cohomology. The purpose of this note is to prove this when the variety is a semiabelian variety or a product of curves. The proof is based on the study of invariants under the Mumford-Tate group.
We strengthen the local-global compatibility of Langlands correspondences for $GL_{n}$ in the case when $n$ is even and $l\not=p$. Let $L$ be a CM field and $Π$ be a cuspidal automorphic representation of $GL_{n}(\mathbb{A}_{L})$ which is conjugate self-dual. Assume that $Π_{\infty}$ is cohomological and not "slightly regular", as defined by Shin. In this case, Chenevier and Harris constructed an $l$-adic Galois representation $R_{l}(Π)$ and proved the local-global compatibility up to semisimplification at primes $v$ not dividing $l$. We extend this compatibility by showing that the Frobenius …
Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…
In this paper, we formulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure. Also, we prove that these conjectures are compatible with all known results.
We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In particular, in the non-degenerate case, we prove a relation between their intersection numbers and Fourier coefficients of the derivative at s=0 of a certain incoherent Eisenstein series for the group U(n, n). This is done by relating the arithmetic cycles to their formal counterpart from Part I via non-archimedean uniformization, and by relating the Fourier coeff…
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
We define an intersection product of tropical cycles on matroid varieties (via cutting out the diagonal) and show that it is well-behaved. In particular, this enables us to intersect cycles on moduli spaces of tropical rational marked curves $M_{0,n}$ and $M_{0,n}(\R^r, d)$. This intersection product can be extended to smooth varieties (whose local models are matroid varieties). We also study pull-backs of cycles and rational equivalence.
A theorem of Jannsen asserts that if a smooth projective variety has injective cycle class maps, it has surjective cycle class maps. The object of this note is to present a version of Jannsen's theorem for singular quasi--projective varieties.
Recently Dasheng Wei proved that the Brauer-Manin obstruction is the only obstruction to the Hasse principle for 0-cycles of degree 1 on some fibrations over the projective line defined by bi-cyclic normic equations. In the present paper, we prove the exactness of the global-to-local sequence for Chow groups of 0-cycles of such varieties, which signifies that the Brauer-Manin obstruction is also the only obstruction to weak approximation for 0-cycles of arbitrary degree. Our main theorem also generalizes several existing results.
We study twisted forms of Schubert cells in generalized Severi-Brauer varieties, and show that the codimension $2$ Chow groups of these varieties are torsion free in certain cases, using the topological filtration on their K-theory
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 define variants of PEL type of the Shimura varieties that appear in the context of the Arithmetic Gan-Gross-Prasad conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral models of these Shimura varieties and formulate for them conjectures on arithmetic intersection numbers. We prove some of these conjectures in low dimension.
We study the Chow group of zero-cycles on singular varieties using the cdh topology. We define the cdh versions of the zero-cycles and albanese maps. We prove results comparing these groups for a singular variety with the similar groups on the resolution of singularities. We use these to prove some results about the known Chow group of zero-cycles on surfaces and threefolds and some cases of arbitrary dimension.
Motivated by the Bloch-Beilinson conjectures, Voisin has made a conjecture concerning zero-cycles on self-products of Calabi-Yau varieties. We reformulate Voisin's conjecture in the setting of hyperkähler varieties, and we prove this reformulated conjecture for one family of hyperkähler fourfolds.
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 goal of this article is to try understand where Hodge cycles on a singular complex projective variety X come from. As a first step we consider Hodge cycles on the maximal pure quotient $H^{2p}(X)/W_{2p-1}$, and introduce a class of algebraic cycles that we call homologically Cartier, that should conjecturally describe all such Hodge cycles. Secondly, given a singular complex projective variety $X$, we show that there is a cycle map from motivic cohomology group $H^{2p}_M(X,Q(p))$ to the space of weight 2p Hodge cycles in $H^{2p}(X,Q)$. We conjecture that this is surjective when X is define…
We construct a family of special cycle classes on the regular integral model of an orthogonal Shimura variety, and show that these cycle classes appear as Fourier coefficients of a Siegel modular form. Passing to the generic fiber of the Shimura variety recovers a result of Bruinier and Raum, originally conjectured by Kudla.
This note is about cycle-theoretic properties of the Fano variety of lines on a smooth cubic fivefold. The arguments are based on the fact that this Fano variety has finite-dimensional motive. We also present some results concerning Chow groups of Fano varieties of lines on certain cubics in other dimensions.
This article proposes a generalization of tautological rings introduced by Beauville and Moonen for Jacobians. The main result is that, under certain hypotheses, the special subvarieties of Prym varieties are algebraically equivalent and their classes belong to the tautological ring.
We extend slightly the results of Evens-Mirković, and "compute" the characteristic cycles of Intersection Cohomology sheaves on the transversal slices in the double affine Grassmannian and on the hypertoric varieties. We propose a conjecture relating the hyperbolic stalks and the microlocalization at a torus-fixed point in a Poisson variety.
We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the last version, cleaned from some typos, should be published online.
Let $X$ be an orthogonal Shimura variety associated to a unimodular lattice. We investigate the polyhedrality of the cone $\mathcal{C}_X$ of special cycles of codimension 2 on $X$. We show that the rays generated by such cycles accumulate towards infinitely many rays, the latter generating a non-trivial cone. We also prove that such an accumulation cone is polyhedral. The proof relies on analogous properties satisfied by the cones of Fourier coefficients of Siegel modular forms. We show that the accumulation rays of $\mathcal{C}_X$ are generated by combinations of Heegner divisors intersected …
In this article we prove a result comparing rationality of algebraic cycles over the function field of a projective homogeneous variety under a linear algebraic group of type $F_4$ or $E_8$ and over the base field, which can be of any characteristic.
In this paper, the generalized Bloch Conjecture on zero cycles for the quotient of certain complete intersections with trivial canonical bundle is proved to hold. As an application of Bloch-Srinivas method on the decomposition of the diagonal, we compute the rational coefficient Lawson homology for 1-cycles and codimension two cycles for these quotient varieties. The (Generalized) Hodge Conjecture is proved to hold for codimension two cycles (and hence also for 2-cycles) on these quotient varieties.
Using the Gille-Merkurjev norm principle we compute in a uniform way the image of the degree map for quadrics (Springer's theorem), for twisted forms of maximal orthogonal Grassmannians (theorem of Bayer-Fluckiger and Lenstra), for E6- (Rost's theorem), and E7-varieties.
We compare various groups of 0-cycles on quasi-projective varieties over a field. As applications, we show that for certain singular projective varieties, the Levine-Weibel Chow group of 0-cycles coincides with the corresponding Friedlander-Voevodsky motivic cohomology. We also show that over an algebraically closed field of positive characteristic, the Chow group of 0-cycles with modulus on a smooth projective variety with respect to a reduced divisor coincides with the Suslin homology of the complement of the divisor. We prove several generalizations of the finiteness theorem of Saito and Sa…
We give bounds on the order of torsion in the Chow group of zero dimensional cycles for isotropic Grassmannians and Brauer-Severi flag varieties. To do this, we introduce tools to understand the behavior of torsion in Chow groups with coefficients under morphisms of proper varieties
We describe an algorithm which verifies whether linear algebraic cycles of the Fermat variety generate the lattice of Hodge cycles. A computer implementation of this confirms the integral Hodge conjecture for quartic and quintic Fermat fourfolds. Our algorithm is based on computation of the list of elementary divisors of both the lattice of linear algebraic cycles, and the lattice of Hodge cycles written in terms of vanishing cycles, and observing that these two lists are the same.
An old conjecture of Voisin describes how zero-cycles on a variety $X$ should behave when pulled-back to the self-product $X^m$ for $m$ larger than the geometric genus of $X$. Using complete intersections of quadrics, we give examples of varieties in any dimension and with arbitrarily high geometric genus that verify Voisin's conjecture.
This paper proposes a conjectural picture for the structure of the Chow ring of a (projective) hyper-Kähler variety, and the construction of a Beauville decomposition, with emphasis on the Chow group of $0$-cycles, which is endowed with a natural filtration of Brill-Noether type. Some of the conjectures are proved in the case of Hilbert schemes of K3 surfaces and Fano varieties of lines of cubic fourfolds.
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.
We prove results about 1-cycles on certain Fano varieties using techniques that rely on rational curves. Firstly, we show that Fano weighted complete intersections with index bigger than half their dimension have trivial first Griffiths group. Secondly, we prove that the first Chow group of most $2$-Fano weighted complete intersections, and of $2$-Fano conic-connected varieties in $\mathbb{P}^n$ of high enough index (with $3$ obvious exceptions), are generated by lines. Furthermore, if the Fano variety of lines is irreducible, the first Chow group is isomorphic to $\mathbb{Z}$.