Non-trivial elements in the Abel-Jacobi kernels of higher-dimensional varieties (Q390998): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Sergey O. Gorchinskiy / rank | |||
Property / author | |||
Property / author: Vladimir Guletskii / rank | |||
Property / review text | |||
Let \(X\) be a smooth projective variety. The Bloch-Belinson conjecture says that, if \(X\) is defined over a number field, then the Abel-Jacobi map \[ \text{CH}^p(X;{\mathbb Q})_0 \longrightarrow J^p(X_{\mathbb C})\otimes {\mathbb Q} \] is injective, where \(\text{CH}^p(X; {\mathbb Q})_0\) is the subgroup in \(\text{CH}^p(X; {\mathbb Q})\) of cycles homologically equivalent to zero, and \(J^p(X_{\mathbb C})\) is the \(p\)-th intermediate Jacobian. Therefore non-trivial algebraic cycles in the Abel-Jacobi kernel are expected to be rational over an extension of \({\mathbb Q}\) whose transcendence degree is at least one. The first example of such an algebraic cycle was constructed on the product of two curves by \textit{C. Schoen} [Proc. Symp. Pure Math. 46, 463--473 (1987; Zbl 0647.14002)]. In this paper, the authors present a technique to construct non-trivial elements in the kernel of the Abel-Jacobi map in any codimension. The main result is the following: Theorem. Let \(X\) and \(S\) be two irreducible smooth varieties over an algebraically closed subfield in \({\mathbb C}\) and let \(d=\dim S\). Let \(\alpha\) be an element in \(\text{CH}^p(S \times X;{\mathbb Q})\). Suppose that there exists \(i\leq d-2\), such that the induced map \[ ({\alpha}_{\mathbb C})_*:H^{i,d}(S_{{\mathbb C}}) \rightarrow H^{i+p-d,p}(X_{\mathbb C}) \] is non-zero. Let \(x\) be an arbitrary close point on \(S\). Then the difference \(\alpha'(x)\) between specialisations of \(\alpha\) (modified by the Albanese projector) at the generic point and at \(x\) is always a non-trivial element in the Abel-Jacobi kernel of the variety \(X_{\mathbb C}\). Specialization arguments are an essential tool to prove that \(\alpha'(x)\) is in the Abel-Jacobi kernel. In order to prove the non-triviality of \(\alpha'(x)\), the authors show, that it follows from the condition on the induced map \(({\alpha}_{\mathbb C})_*\) in the statement of the main theorem. The authors also demonstrate how the main result works in practice: they apply it to \(K3\)-surfaces and to certain three-folds. | |||
Property / review text: Let \(X\) be a smooth projective variety. The Bloch-Belinson conjecture says that, if \(X\) is defined over a number field, then the Abel-Jacobi map \[ \text{CH}^p(X;{\mathbb Q})_0 \longrightarrow J^p(X_{\mathbb C})\otimes {\mathbb Q} \] is injective, where \(\text{CH}^p(X; {\mathbb Q})_0\) is the subgroup in \(\text{CH}^p(X; {\mathbb Q})\) of cycles homologically equivalent to zero, and \(J^p(X_{\mathbb C})\) is the \(p\)-th intermediate Jacobian. Therefore non-trivial algebraic cycles in the Abel-Jacobi kernel are expected to be rational over an extension of \({\mathbb Q}\) whose transcendence degree is at least one. The first example of such an algebraic cycle was constructed on the product of two curves by \textit{C. Schoen} [Proc. Symp. Pure Math. 46, 463--473 (1987; Zbl 0647.14002)]. In this paper, the authors present a technique to construct non-trivial elements in the kernel of the Abel-Jacobi map in any codimension. The main result is the following: Theorem. Let \(X\) and \(S\) be two irreducible smooth varieties over an algebraically closed subfield in \({\mathbb C}\) and let \(d=\dim S\). Let \(\alpha\) be an element in \(\text{CH}^p(S \times X;{\mathbb Q})\). Suppose that there exists \(i\leq d-2\), such that the induced map \[ ({\alpha}_{\mathbb C})_*:H^{i,d}(S_{{\mathbb C}}) \rightarrow H^{i+p-d,p}(X_{\mathbb C}) \] is non-zero. Let \(x\) be an arbitrary close point on \(S\). Then the difference \(\alpha'(x)\) between specialisations of \(\alpha\) (modified by the Albanese projector) at the generic point and at \(x\) is always a non-trivial element in the Abel-Jacobi kernel of the variety \(X_{\mathbb C}\). Specialization arguments are an essential tool to prove that \(\alpha'(x)\) is in the Abel-Jacobi kernel. In order to prove the non-triviality of \(\alpha'(x)\), the authors show, that it follows from the condition on the induced map \(({\alpha}_{\mathbb C})_*\) in the statement of the main theorem. The authors also demonstrate how the main result works in practice: they apply it to \(K3\)-surfaces and to certain three-folds. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Maksim Zhykhovich / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243960 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic cycles | |||
Property / zbMATH Keywords: algebraic cycles / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Chow motives | |||
Property / zbMATH Keywords: Chow motives / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hodge filtration | |||
Property / zbMATH Keywords: Hodge filtration / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intermediate Jacobian | |||
Property / zbMATH Keywords: intermediate Jacobian / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Abel-Jacobi kernel | |||
Property / zbMATH Keywords: Abel-Jacobi kernel / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generic point | |||
Property / zbMATH Keywords: generic point / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Poincaré bundle | |||
Property / zbMATH Keywords: Poincaré bundle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
holomorphic form | |||
Property / zbMATH Keywords: holomorphic form / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Sergey O. Gorchinskiy / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Vladimir Guletskii / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2163826969 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1009.1431 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Balanced Varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3876042 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on Correspondences and Algebraic Cycles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3328651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Motives and representability of algebraic cycles on threefolds over a field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4794353 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cycles over fields of transcendence degree 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite-dimensional motives and the conjectures of Beilinson and Murre / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3592903 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exterior products of zero-cycles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Abel–Jacobi map for higher Chow groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Abel-Jacobi map for higher Chow groups. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the motive of an algebraic surface. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cycle map for strictly decomposable cycles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic mixed sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the standard conjecture of Lefschetz type for complex projective threefolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4780263 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:41, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-trivial elements in the Abel-Jacobi kernels of higher-dimensional varieties |
scientific article |
Statements
Non-trivial elements in the Abel-Jacobi kernels of higher-dimensional varieties (English)
0 references
9 January 2014
0 references
Let \(X\) be a smooth projective variety. The Bloch-Belinson conjecture says that, if \(X\) is defined over a number field, then the Abel-Jacobi map \[ \text{CH}^p(X;{\mathbb Q})_0 \longrightarrow J^p(X_{\mathbb C})\otimes {\mathbb Q} \] is injective, where \(\text{CH}^p(X; {\mathbb Q})_0\) is the subgroup in \(\text{CH}^p(X; {\mathbb Q})\) of cycles homologically equivalent to zero, and \(J^p(X_{\mathbb C})\) is the \(p\)-th intermediate Jacobian. Therefore non-trivial algebraic cycles in the Abel-Jacobi kernel are expected to be rational over an extension of \({\mathbb Q}\) whose transcendence degree is at least one. The first example of such an algebraic cycle was constructed on the product of two curves by \textit{C. Schoen} [Proc. Symp. Pure Math. 46, 463--473 (1987; Zbl 0647.14002)]. In this paper, the authors present a technique to construct non-trivial elements in the kernel of the Abel-Jacobi map in any codimension. The main result is the following: Theorem. Let \(X\) and \(S\) be two irreducible smooth varieties over an algebraically closed subfield in \({\mathbb C}\) and let \(d=\dim S\). Let \(\alpha\) be an element in \(\text{CH}^p(S \times X;{\mathbb Q})\). Suppose that there exists \(i\leq d-2\), such that the induced map \[ ({\alpha}_{\mathbb C})_*:H^{i,d}(S_{{\mathbb C}}) \rightarrow H^{i+p-d,p}(X_{\mathbb C}) \] is non-zero. Let \(x\) be an arbitrary close point on \(S\). Then the difference \(\alpha'(x)\) between specialisations of \(\alpha\) (modified by the Albanese projector) at the generic point and at \(x\) is always a non-trivial element in the Abel-Jacobi kernel of the variety \(X_{\mathbb C}\). Specialization arguments are an essential tool to prove that \(\alpha'(x)\) is in the Abel-Jacobi kernel. In order to prove the non-triviality of \(\alpha'(x)\), the authors show, that it follows from the condition on the induced map \(({\alpha}_{\mathbb C})_*\) in the statement of the main theorem. The authors also demonstrate how the main result works in practice: they apply it to \(K3\)-surfaces and to certain three-folds.
0 references
algebraic cycles
0 references
Chow motives
0 references
Hodge filtration
0 references
intermediate Jacobian
0 references
Abel-Jacobi kernel
0 references
generic point
0 references
Poincaré bundle
0 references
holomorphic form
0 references