Algebraic cycles on genus-2 modular fourfolds
type: Item
instance of: scholarly article
title: Algebraic cycles on genus-2 modular fourfolds
zbMATH Open document ID: 1412.14006
author: Donu Arapura
published in: Algebra \& Number Theory
publication date: 2019-03-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/1802.09496
review text: The article's main purpose is to provide new evidence for the Hodge and Tate conjectures, by showing that they hold for the case of certain smooth projective fourfolds. The hypothesis is that the fourfolds $X$ are birationally equivalent to some universal family of stable genus-2 curves with level structure, in such a way that there is a map $ f: X \to Y $, where the threefold $Y$ is a desingularization of the Deligne-Mumford compactification. It is also requested that $f$ satisfies a list of properties, in which case $ f: X \to Y $ is said to be a good model of the universal curve map. In particular, there are normal crossing boundary divisors $E$ and $D$ so that $f:(X,E)\to (Y,D)$ is a semistable map in this paper's sense. A couple of basic lemmas form the core of the argument of proof. Recall that there is a mixed Hodge structure on $H^i(U, R^jf_*\mathbb Q)$ where $U= Y-D$, see the author's [Invent. Math. 160, No. 3, 567--589 (2005; Zbl 1083.14011)] . One lemma says that given a semistable map of smooth projective varieties $f:(X,E) \to (Y,D)$ such that $dim Y=3$ and $dim X=4$, then the vanishing condition $Gr_F^2H^3(U, R^1f_* \mathbb C)=0$ implies the Hodge conjecture for $X$. The second lemma, which requires the same vanishing in addition to other conditions, gives the Tate conjecture. \par In order to prove the requested vanishing for the situation at hand, the article's method is to exploit the result that the graded quotients are computed by means of the cohomology of a complex $K_{\mathcal X /\mathcal Y}(j,p)$ of logarithmic sheaves on $Y$, namely one has $Gr_F^pH^i(U, R^jf_*\mathbb C)\cong H^i(K_{\mathcal X /\mathcal Y}(j,p))$. The crucial step is performed by showing that $K_{\mathcal X /\mathcal Y}(1,2)$ is quasi-isomorphic to $0$. The proof of this fact depends on the properties of the moduli space in genus $2$ and it relies among other things on an isomorphism due to \textit{G. Faltings} and \textit{C.-L. Chai}, which computes the logarithmic sheaf $\O…
reviewed by: Alberto Collino
Mathematics Subject Classification ID: 14C25
Mathematics Subject Classification ID: 14C30
Mathematics Subject Classification ID: 14J30
Mathematics Subject Classification ID: 14G35
zbMATH DE Number: 7041709
zbMATH Keywords: moduli of curves
zbMATH Keywords: Tate conjecture
zbMATH Keywords: Hodge conjecture
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3102946041
arXiv ID: 1802.09496
cites work: The Leray spectral sequence is motivic
cites work: Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
cites work: Q4946817
cites work: Intersection numbers of sections of elliptic surfaces
cites work: Théorie de Hodge. II. (Hodge theory. II)
cites work: p-Adic Hodge Theory
cites work: Limits of Hodge structures in several variables, II
cites work: Algebraic Cycles and the Hodge Structure of a Kuga Fiber Variety
cites work: Semi-stable reduction and decomposition of de Rham complexes with coefficients
cites work: Smoothness, semi-stability and alterations
cites work: Log smooth deformation and moduli of log smooth curves.
cites work: Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
cites work: Toroidal embeddings. I
cites work: Mixed Hodge structures and automorphic forms for Siegel modular varieties of degree two
cites work: Cohomology of local systems on the moduli of principally polarized abelian surfaces
cites work: Cohomology of arithmetic subgroups of algebraic groups. I
cites work: On elliptic modular surfaces
cites work: Rational Singularities of Higher Dimensional Schemes
cites work: A characterization of certain Shimura curves in the moduli stack of abelian varieties
cites work: Differentialformen zu Untergruppen der Siegelschen Modulgruppe zweiten Grades.
cites work: Hodge theory with degenerating coefficients: \(L_2\) cohomology in the Poincaré metric
Wikidata QID: Q128310626
DOI: 10.2140/ANT.2019.13.211
description: scientific article