Algebraic cycles and Hodge theoretic connectivity (Q2366473): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:53, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic cycles and Hodge theoretic connectivity |
scientific article |
Statements
Algebraic cycles and Hodge theoretic connectivity (English)
0 references
29 June 1993
0 references
We prove the following generalization of a basic result due to \textit{P. A. Griffiths} [Ann. Math., II. Ser. 90, 496-541 (1969; Zbl 0215.081)]: Theorem 1. Let \(X \subset \mathbb{P}^ m\) be a smooth projective variety, defined over the field of complex numbers. Let \(D_ 1\), \(D_ 2, \dots, D_ h\) be general hypersurfaces of sufficiently large degrees. Let \(Y = X \cap D_ 1 \cap \cdots \cap D_ h\). Assume that \(\dim X = n + h\) so that \(Y\) is smooth and \(\dim Y = n\). Let \(\xi\) be a codimension \(d\) algebraic cycle on \(X\), whose cohomology class in \(H^{2d} (X; \mathbb{Q})\) is nonzero. Assume also that \(d < n\). Then the restriction of \(\xi\) to \(Y\) is not algebraically equivalent to zero. For \(h = 1\), this result is due to Griffiths (loc. cit.) using which he provided the first examples of homologically trivial cycles that are not algebraically equivalent to zero. In general, there is an increasing filtration \[ 0 \subset A_ 0 \text{CH}^ d(Y) \subset A_ 1 \text{CH}^ d (Y) \subset \cdots \subset \text{CH}^ d (Y) \] where \(\text{CH}^ d (Y)\) denotes the Chow group of codimension \(d\) algebraic cycles on a smooth projective variety \(Y\), modulo rational equivalence. Roughly speaking, \(A_ r \text{CH}^ d (Y)\) consists of those cycles induced by correspondence from homologically trivial cycles of dimension \(\leq r\) on other varieties. If \(I_ r^{2d - 1} (Y)\) denotes the intermediate Jacobian of the largest integral Hodge structure contained in \(F^{d - r - 1} H^{2d - 1} (Y)\), then it is easy to see that \(\theta_ d (\eta) \in I_ r^{2d - 1} (Y)\), where \(F^ k\) denotes the \(k\)-th level of Hodge filtration. Theorem 2. Let \(X \subset \mathbb{P}^ m\) be smooth, projective, and let \(Y\) be the intersection of \(X\) with \(h\) general hypersurfaces of sufficiently large degrees. Let \(\xi \in \text{CH}^ d (X)\) and put \(\eta = \xi | Y\). Assume \(r + d < \) dimension of \(Y\). If \(\eta \in A_ r \text{CH}^ d (Y) \otimes \mathbb{Q}\), then (a) The cohomology class of \(\xi\) vanishes in \(H^{2d} (X; \mathbb{Q})\), and (b) the Abel-Jacobi invariant of a nonzero multiple of \(\xi\) belongs to \(I_ r^{2d - 1} (X)\).
0 references
Hodge connectivity
0 references
variation of Hodge structure
0 references
Chow group
0 references
Hodge filtration
0 references