Smash nilpotent cycles on products of curves

Ronnie Sebastian

DOI: https://doi.org/10.48550/arXiv.1207.7344

2012-08-01

Abstract:Voevodsky has conjectured that numerical and smash equivalence coincide on a smooth projective variety. We prove the conjecture for one dimensional cycles on an arbitrary product of curves. As a consequence we get that numerically trivial 1-cycles on an abelian variety are smash nilpotent.

Algebraic Geometry

What problem does this paper attempt to address?

Some remarks on the smash-nilpotence conjecture

Bruno Kahn

2024-05-30

Abstract:We discuss cases where Voevodsky's smash nilpotence conjecture is known, and give a few new ones. In particular we explain a theorem of the cube for $1$-cycles, which is due to Oussama Ouriachi.

Algebraic Geometry
Effective zero-cycles and the Bloch-Beilinson filtration

Olivier Martin,Charles Vial

2024-06-11

Abstract:A conjecture of Voisin states that two points on a smooth projective complex variety whose algebra of holomorphic forms is generated in degree 2 are rationally equivalent to each other if and only if their difference lies in the third step of the Bloch-Beilinson filtration. In this note, we formulate a generalization that allows for rational equivalence of effective zero-cycles of higher degree, at the expense of looking deeper in the Bloch-Beilinson filtration. In the first half, we provide evidence in support of this conjecture in the case of abelian varieties and projective hyper-Kähler manifolds. Notably, we give explicit criteria for rational equivalence of effective zero-cycles on moduli spaces of semistable sheaves on K3 surfaces, generalizing that of Marian-Zhao. In the second half, in an effort to explain our main conjecture, we formulate a second conjecture predicting when the diagonal of a smooth projective variety belongs to a subalgebra of the ring of correspondences generated in low degree.

Algebraic Geometry
Non-torsion algebraic cycles on the Jacobians of Fermat quotients

Yusuke Nemoto

2024-04-18

Abstract:We study the Abel-Jacobi image of the Ceresa cycle $W_{k, e}-W_{k, e}^-$, where $W_{k, e}$ is the image of the $k$th symmetric product of a curve $X$ with a base point $e$ on its Jacobian variety. For certain Fermat quotient curves of genus $g$, we prove that for any choice of the base point and $k \leq g-2$, the Abel-Jacobi image of the Ceresa cycle is non-torsion. In particular, these cycles are non-torsion modulo rational equivalence.

Algebraic Geometry
Torsion phenomena for zero-cycles on a product of curves over a number field

Evangelia Gazaki,Jonathan Love

2023-08-02

Abstract:For a smooth projective variety $X$ over a number field $k$ a conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map of $X$ is a torsion group. In this article we consider a product $X=C_1\times\cdots\times C_d$ of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true for $X$. Additionally, we produce many new examples of non-isogenous elliptic curves $E_1, E_2$ with positive rank over $\mathbb{Q}$ for which the image of the natural map $E_1(\mathbb{Q})\otimes E_2(\mathbb{Q})\xrightarrow{\varepsilon} \text{CH}_0(E_1\times E_2)$ is finite, including the first known examples of rank greater than $1$. Combining the two results, we obtain infinitely many nontrivial products $X=C_1\times\cdots\times C_d$ for which the analogous map $\varepsilon$ has finite image.

Algebraic Geometry
Smoothing low-dimensional algebraic cycles [after Kollár and Voisin]

Olivier Benoist

2024-07-04

Abstract:Let $X$ be a smooth projective complex algebraic variety. An old question of Borel and Haefliger asks whether any (possibly singular) algebraic subvariety of $X$ is homologically equivalent to a linear combination with integral coefficients of smooth algebraic subvarieties of $X$. In general, this question is too optimistic, and counterexamples have been known for a long time. The aim of this survey is to explain how János Kollár and Claire Voisin have provided a positive answer to Borel and Haefliger's question, for subvarieties of dimension less than half the dimension of $X$.

Algebraic Geometry
Flat pushforwards of Chern classes and the smoothability of cycles below the middle dimension

János Kollár,Claire Voisin

2024-05-18

Abstract:We prove in this paper the smoothability of cycles modulo rational equivalence in the Whitney range, that is, when the dimension is strictly smaller than the codimension. We introduce and study the class of cycles obtained as ``flat pushforwards of Chern classes" (or equivalently, flat pushforwards of products of divisors) and prove that they are smoothable in the Whitney range. Our main result is that all cycles (of any dimension) on a smooth projective variety are flat pushforwards of Chern classes. In the case of abelian varieties, one can even restrict to smooth pushforwards of Chern classes.

Algebraic Geometry
Monodromy and vanishing cycles for complete intersection curves

Ishan Banerjee,Nick Salter

2024-08-13

Abstract:We compute the topological monodromy of every family of complete intersection curves. Like in the case of plane curves previously treated by the second-named author, we find the answer is given by the $r$-spin mapping class group associated to the maximal root of the adjoint line bundle. Our main innovation is a suite of tools for studying the monodromy of sections of a tensor product of very ample line bundles in terms of the monodromy of sections of the factors, allowing for an induction on (multi-)degree.

Algebraic Geometry,Geometric Topology
Hyperelliptic curves mapping to abelian varieties and applications to Beilinson's conjecture for zero-cycles

Evangelia Gazaki,Jonathan R. Love

2023-11-04

Abstract:Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise non-isomorphic hyperelliptic curves mapping birationally into $A$. For infinitely many integers $g\geq 2$, this collection has infinitely many curves of genus $g$, and no two curves in the collection have the same image under any isogeny from $A$. Using these hyperelliptic curves, we find many rational equivalences in the Chow group of zero-cycles $\text{CH}_0(A)$. We use these results to give some progress towards Beilinson's conjecture for zero-cycles, which predicts that for a smooth projective variety $X$ over $\overline{Q}$ the kernel of the Albanese map of $X$ is zero.

Algebraic Geometry
On the smoothability problem with rational coefficients

Olivier Benoist,Claire Voisin

2024-10-20

Abstract:We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the Hartshorne conjecture on complete intersections in projective space. We also solve unconditionally a symplectic variant of this problem.

Algebraic Geometry
Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Claire Voisin

2023-07-06

Abstract:We discuss two properties of an abelian variety, namely, being a direct summand in a product of Jacobians and the weaker property of being "split". We relate the first property to the integral Hodge conjecture for curve classes on abelian varieties. We also relate both properties to the existence problem for universal zero-cycles on Brauer-Severi varieties over abelian varieties. A similar relation is established for the existence problem of a universal codimension 2 cycle on a cubic threefold.

Algebraic Geometry
Universally defined cycles I

Claire Voisin

2024-08-13

Abstract:We introduce and study the notion of universally defined cycles of smooth varieties of dimension $d$, and prove that they are given by polynomials in the Chern classes. A similar result is proved for universally defined cycles on products of smooth varieties. We also state a conjectural explicit form for universally defined cycles on powers of smooth varieties, and provide some steps towards establishing it.

Algebraic Geometry
Complete intersections and rational equivalence

R.Barlow

DOI: https://doi.org/10.48550/arXiv.alg-geom/9608015

1996-08-20

Abstract:Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for zero-cycles on surfaces can be restated more geometrically, which leads to several questions.

Algebraic Geometry
Cyclic Homology of Strong Smash Product Algebras

Jiao Zhang,Naihong Hu

DOI: https://doi.org/10.1515/crelle.2011.098

2010-01-01

Abstract:For any strong smash product algebra $A\#_{_R}B$ of two algebras $A$ and $B$ with a bijective morphism $R$ mapping from $B\ot A$ to $A\ot B$, we construct a cylindrical module $A\natural B$ whose diagonal cyclic module $\Delta_{\bullet}(A\natural B)$ is graphically proven to be isomorphic to $C_{\bullet}(A\#_{_R}B)$ the cyclic module of the algebra. A spectral sequence is established to converge to the cyclic homology of $A\#_{_R}B$. Examples are provided to show how our results work. Particularly, the cyclic homology of the Pareigis' Hopf algebra is obtained in the way.
A proof of the refined PRV conjecture via the cyclic convolution variety

Joshua Kiers

DOI: https://doi.org/10.48550/arXiv.1904.11543

2019-04-26

Abstract:In this brief note we illustrate the utility of the geometric Satake correspondence by employing the cyclic convolution variety to give a simple proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture, along with Kumar's refinement. The proof involves recognizing certain MV-cycles as orbit closures of a group action, which we make explicit by unique characterization. In an appendix, joint with P. Belkale, we discuss how this work fits in a more general framework.

Algebraic Geometry,Representation Theory
Zero cycles on homogeneous varieties

Daniel Krashen

DOI: https://doi.org/10.1016/j.aim.2009.10.016

IF: 1.675

2010-04-01

Advances in Mathematics

Abstract:In this paper we study the group A0(X) of zero-dimensional cycles of degree 0 modulo rational equivalence on a projective homogeneous algebraic variety X. To do this we translate rational equivalence of 0-cycles on a projective variety into R-equivalence on symmetric powers of the variety. For certain homogeneous varieties, we then relate these symmetric powers to moduli spaces of étale subalgebras of central simple algebras which we construct. This allows us to show A0(X)=0 for certain classes of homogeneous varieties for groups of each of the classical types, extending previous results of Swan/Karpenko, of Merkurjev, and of Panin.

mathematics
Zero cycles with modulus and zero cycles on singular varieties

Federico Binda,Amalendu Krishna

DOI: https://doi.org/10.1112/S0010437X17007503

2017-06-16

Abstract:Given a smooth variety $X$ and an effective Cartier divisor $D \subset X$, we show that the cohomological Chow group of 0-cycles on the double of $X$ along $D$ has a canonical decomposition in terms of the Chow group of 0-cycles ${\rm CH}_0(X)$ and the Chow group of 0-cycles with modulus ${\rm CH}_0(X|D)$ on $X$. When $X$ is projective, we construct an Albanese variety with modulus and show that this is the universal regular quotient of ${\rm CH}_0(X|D)$. As a consequence of the above decomposition, we prove the Roitman torsion theorem for the 0-cycles with modulus. We show that ${\rm CH}_0(X|D)$ is torsion-free and there is an injective cycle class map ${\rm CH}_0(X|D) \hookrightarrow K_0(X,D)$ if $X$ is affine. For a smooth affine surface $X$, this is strengthened to show that $K_0(X,D)$ is an extension of ${\rm CH}_1(X|D)$ by ${\rm CH}_0(X|D)$.

Algebraic Geometry
Special cycles on orthogonal Shimura varieties

Ruishen Zhao

DOI: https://doi.org/10.48550/arXiv.2111.07475

2021-11-15

Abstract:In this paper, we investigate a general method to establish tame and norm relations for special cycles in Shimura varieties, using unitary cycles in odd orthogonal Shimura varieties as a guiding example.

Number Theory,Representation Theory
Heights and periods of algebraic cycles in families

Ziyang Gao,Shou-Wu Zhang

2024-10-29

Abstract:We consider the Beilinson-Bloch heights and Abel-Jacobian periods of homologically trivial Chow cycles in families. For the Beilinson-Bloch heights, we show that for any $g\ge 3$, we can construct a Zariski open dense subset $\mathcal{M}_g^{\mathrm{amp}}$ of $\mathcal{M}_g$, the coarse moduli of curves of genus $g$ over $\mathbb{Q}$, such that the heights of Ceresa cycles and Gross-Schoen cycles over $\mathcal{M}_g^{\mathrm{amp}}$ have a lower bound and satisfy the Northcott property. For the Abel-Jacobi periods, we prove that the Ceresa and Gross-Schoen cycle over every non-$\bar{\mathbb{Q}}$ point in $\mathcal{M}_g^{\mathrm{amp}}$ is non-torsion. We also prove results and make conjectures for any family $X \rightarrow S$ of smooth projective varieties and homologically trivial cocycles $Z$ defined over a number field. Using the Betti strata, we construct a Zariski open subset $S^{\mathrm{amp}}$ of $S_{\mathbb{C}}$ over which $Z_s$ is non-torsion for all transcendental points $s$ and prove a criterion for $S^{\mathrm{amp}}$ to be dense. We conjecture the rationality of $S^{\mathrm{amp}}$ and also conjecture that $S^{\mathrm{amp}}$ is precisely the open locus on which the Beilinson-Bloch height of $Z_s$ has a lower bound and satisfies the Northcott property.

Algebraic Geometry,Number Theory
Faber--Pandharipande Cycles vanish for Shimura curves

Congling Qiu

2024-09-14

Abstract:A result of Green and Griffiths states that for the generic curve $C$ of genus $g \geq 4$ with the canonical divisor $K$, its Faber--Pandharipande 0-cycle $K\times K-(2g-2)K_\Delta$ on $C\times C$ is nontorsion in the Chow group of rational equivalence classes. For Shimura curves, however, we show that their Faber--Pandharipande 0-cycles are rationally equivalent to 0. This is predicted by a conjecture of Beilinson and Bloch.

Algebraic Geometry
A relation between Mirković-Vilonen cycles and modules over preprojective algebra of Dynkin quiver of type ADE

Zhijie Dong

DOI: https://doi.org/10.48550/arXiv.1802.01792

2018-02-06

Abstract:The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two objects Baumann and Kamnitzer associate a cycle in the affine Grassmannian for a given module. It is conjectured that the ring of functions of the T-fixed point subscheme of the associated cycle is isomorphic to the cohomology ring of the quiver Grassmannian of the module. I give a proof of part of this conjecture. Given this conjecture, I give a proof of the reduceness conjecture.

Representation Theory

Smash nilpotent cycles on products of curves

Some remarks on the smash-nilpotence conjecture

Effective zero-cycles and the Bloch-Beilinson filtration

Non-torsion algebraic cycles on the Jacobians of Fermat quotients

Torsion phenomena for zero-cycles on a product of curves over a number field

Smoothing low-dimensional algebraic cycles [after Kollár and Voisin]

Flat pushforwards of Chern classes and the smoothability of cycles below the middle dimension

Monodromy and vanishing cycles for complete intersection curves

Hyperelliptic curves mapping to abelian varieties and applications to Beilinson's conjecture for zero-cycles

On the smoothability problem with rational coefficients

Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Universally defined cycles I

Complete intersections and rational equivalence

Cyclic Homology of Strong Smash Product Algebras

A proof of the refined PRV conjecture via the cyclic convolution variety

Zero cycles on homogeneous varieties

Zero cycles with modulus and zero cycles on singular varieties

Special cycles on orthogonal Shimura varieties

Heights and periods of algebraic cycles in families

Faber--Pandharipande Cycles vanish for Shimura curves

A relation between Mirković-Vilonen cycles and modules over preprojective algebra of Dynkin quiver of type ADE