Cycle map for strictly decomposable cycles

DOI10.1353/AJM.2003.0028MaRDI QIDQ4454886zbMATH OpenOpenAlexFDO

Authors Morihiko Saito, Andreas Rosenschon

Publication date 8 March 2004

Published in American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0104079

zbMATH Keywords

Abel-Jacobi maparithmetic mixed Hodge structuresChow ringdecomposable cyclesrefined cycle map

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Algebraic cycles (14C25) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30)

Abstract: We introduce a class of cycles, called nondegenerate, strictly decomposable cycles, and show that the image of each cycle in this class under the refined cycle map to an extension group in the derived category of arithmetic mixed Hodge structures does not vanish. This class contains certain cycles in the kernel of the Abel-Jacobi map. The construction gives a refinement of Nori's argument in the case of a self-product of a curve. As an application, we show that a higher cycle which is not annihilated by the reduced higher Abel-Jacobi map produces uncountably many indecomposable higher cycles on the product with a variety having a nonzero global 1-form.

Review text

The authors introduce a class of cycles, called nondegenerate, strictly decomposable cycles, and show that the images of them under the refined cycle map to an extension group in the derived category of arithmetic mixed Hodge structures do not vanish. To give concrete application they discuss the following situation. Let \(X_1\), \(X_2\) be smooth projective varieties over \(\mathbb{C}\), and let \(X= X_1\times X_2\). Let \(X= X_1\times X_2\). Let \(\zeta= \zeta_1\times \zeta_2\in \text{CH}^2(X)_{\mathbb{Q}}\), where \(\zeta_i\in \text{CH}^1(X_i)\) is assumed to be nontorsion and homologically trivial. Then \(\xi\) defines an element in the kernel of the Abel-Jacobi map. The general results provide us in this case with the following: Assume that there exists an algebraically closed subfield \(k\) of \(\mathbb{C}\) such that \(X_1\), \(X_2\) and \(\zeta_1\) are defined over \(k\), but \(\zeta_2\) is not. Then the cycle \(\zeta\) does not vanish in \(\text{CH}^2(X)_{\mathbb{Q}}\).

Recommendations

• Cycle decompositions and constructive characterizations
• Cycle decompositions of complete graphs
• Cycle decompositions: from graphs to continua
• Cycle decompositions of complete digraphs
• scientific article; zbMATH DE number 1145364
• Cycle decompositions of complete multigraphs
• Cycle decompositions of complete multigraphs
• scientific article; zbMATH DE number 4127262
• scientific article; zbMATH DE number 3950581
• scientific article; zbMATH DE number 786153

Cited in

(10)

• Filtrations on Chow groups and transcendence degree
• Arithmetic Hodge structure and nonvanishing of the cycle class of 0-cycles
• The Abel-Jacobi map for higher Chow groups. II
• Exterior products of zero-cycles
• Non-trivial elements in the Abel-Jacobi kernels of higher-dimensional varieties
• scientific article; zbMATH DE number 1944552 (Why is no real title available?)
• The Steinberg curve
• The Hodge-𝒟-conjecture for 𝒦3 and Abelian surfaces
• Nonvanishing of external products for higher Chow groups
• Arithmetic mixed sheaves

This page was built for publication: Cycle map for strictly decomposable cycles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4454886)