Decomposable cycles and Noether-Lefschetz loci (Q321873)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decomposable cycles and Noether-Lefschetz loci |
scientific article |
Statements
Decomposable cycles and Noether-Lefschetz loci (English)
0 references
14 October 2016
0 references
Let \(X\) be a smooth complex surface. A rational equivalence class of 0-cycles on \(X\) is said to be decomposable if it is the intersection of two divisor classes. Let \(\text{DCH}_0(X)\subset \text{CH}_0(X)\) denote the subgroup generated by decomposable 0-cycles. In this paper the author proves that there exist smooth surfaces \(X\subset \mathbb{P}^3\) of degree \(d\) such that the rank of \(\text{DCH}_0(X)\) is at least \(\lfloor \frac{d-1}{3}\rfloor\). The main ideas of his proof goes as follows. Let \(C=C_1\cup\dots \cup C_n\) be the disjoint union of smooth irreducible curves \(C_j\subset\mathbb{P}^3\). Assuming that \(d\gg 0\), and that the curves \(C_j\) are not rationally canonical, namely there exists \(e\in\mathbb{Z}\) such that \(K_{C_j}^{\otimes m}\cong \mathcal{O}_{C_j}(e)\) only for \(m=0\), he proves that for a very general smooth \(X\in|\mathcal{I}_C(d)|\), the classes \(c_1(\mathcal{O}_X(1))^2, C_1\cdot C_1, \dots, C_n\cdot C_n\) in \(\text{CH}_0(X)\) are linearly independent. He employs here a kind of Noether-Lefschetz Theorem for surfaces belonging to an integral codimension-one closed subset of \(|\pi^*\mathcal{O}_{\mathbb{P}^3}(d)(-E)|\), where \(\pi\) denotes the blow up of \(C\), and \(E\) the exceptional divisor of \(\pi\).
0 references
zero-cycles
0 references
Noether-Lefschetz loci
0 references