We consider the connections among algebraic cycles, abelian varieties, and stable rationality of smooth projective varieties in positive characteristic. Recently Voisin constructed two new obstructions to stable rationality for rationally connected complex projective threefolds by giving necessary and sufficient conditions for the existence of a cohomological decomposition of the diagonal. In this paper, we show how to extend these obstructions to rationally chain connected threefolds in positive characteristic via ell-adic cohomological decomposition of the diagonal. This requires extending results in Hodge theory regarding intermediate Jacobians and Abel--Jacobi maps to the setting of algebraic representatives. For instance, we show that the algebraic representative for codimension-two cycle classes on a geometrically stably rational threefold admits a canonical auto-duality, which in characteristic zero agrees with the principal polarization on the intermediate Jacobian coming from Hodge theory. As an application, we extend a result of Voisin, and show that in characteristic greater than two, a desingularization of a very general quartic double solid with seven nodes fails one of these two new obstructions, while satisfying all of the classical obstructions. More precisely, it does not admit a universal codimension-two cycle class. In the process, we establish some results on the moduli space of nodal degree-four polarized K3 surfaces in positive characteristic.
On étudie les cycles algébriques de codimension 3 sur les hypersurfaces cubiques lisses de dimension 5. Pour une telle hypersurface, on démontre d'une part que son groupe de Griffiths des cycles de codimension 3 est trivial et d'autre part que l'application d'Abel-Jacobi induit un isomorphisme entre son groupe de Chow des cycles de codimension 3 algébriquement equivalents à zéro et sa jacobienne intermédiaire. ---------- We study 2-cycles of a smooth cubic hypersurface of dimension 5. We show that the Griffiths group of 2-cycles is trivial and the Abel-Jacobi map induces an isomorphism between…
Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field extension $K'/K$. In this paper, we define new invariants of the local rings of codimension $1$ points of $X'$, and use these invariants for the calculation of $δ$-invariants (, which relate to genus changes,) and conductors of such points. As a corollary, we give refinements of Tate's genus change theorem and the Patakfalvi-Waldron Theorem. Moreover, when $X$ is a…
We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked $ _2F_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also ge…
Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families of algebraically trivial cycles to abelian varieties and thereby define regular homomorphisms in the relative setting, e.g., families of schemes parameterized by a smooth variety over a given field. In that general setting, we establish the existence of an initial regular homomorphism, going by the name of algebraic representative, for codimension-2 cycles o…
In this text we prove that if an abelian variety $A$ admits an embedding into the Jacobian of a smooth projective curve $C$, and if we consider $Θ_A$ to be the divisor $Θ_C\cap A$, where $Θ_C$ denotes the theta divisor of $J(C)$, then the embedding of $Θ_A$ into $A$ induces an injective push-forward homomorphism (under certain conditions) at the level of Chow groups. We show that this is the case for every Prym varietiy arising from an unramified double cover of smooth projective curves. As a consequence we prove that there does not exist a universal codimension two cycle on the product of a v…
We consider the action of a semisimple subgroup $\hat G$ of a semisimple complex group $G$ on the flag variety $X=G/B$, and the linearizations of this action by line bundles $\mathcal L$ on $X$. The main result is an explicit description of the associated unstable locus in dependence of $\mathcal L$, as well as a combinatorial formula for its (co)dimension. We observe that the codimension is equal to 1 on the regular boundary of the $\hat G$-ample cone, and grows towards the interior in steps by 1, in a way that the line bundles with unstable locus of codimension $q$ form a convex polyhedral c…
On Modified Diagonal Cycles and the Beauville Decomposition of the Ceresa Cycle
Institut Galilée, Université Sorbonne Paris Nord（索邦巴黎北大学伽利莱研究所）；Department of Mathematics, University of Pittsburgh（匹兹堡大学数学系）；Department of Mathematics, University of Toronto（多伦多大学数学系）；School of Mathematics and Statistics, University of Glasgow（格拉斯哥大学数学与统计学院）；Department of Mathematics, Princeton University（普林斯顿大学数学系）
