\({\mathbb A}^1\)-curves on affine complete intersections (Q1783993)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \({\mathbb A}^1\)-curves on affine complete intersections |
scientific article |
Statements
\({\mathbb A}^1\)-curves on affine complete intersections (English)
0 references
21 September 2018
0 references
Let \(X\) be a complete intersection in \(\mathbb{P}^n\) of type \((d_1,\cdots,d_c)\) defined over \(\mathbb{C}\). Let \(D\subset X\) be a hypersurface section of degree \(k\). The pair \((X,D)\) is said to be a smooth complete intersection pair of type \((d_1,\cdots, d_c,k)\) if both \(X\) and \(D\) are smooth. The total degree \(d\) of the pair is defined to be the sum \(d_1+\cdots + d_c+ k\). The main purpose of this paper is to generalize the results of Clemens, Ein, and Voisin to the case of the interior \(X-D\) of such a pair. For an arbitrary open variety \(U\), the right substitute for Chow group of zero cycles is considered to be the group of zero cycles modulo \(\mathbb{A}^1\)-equivalence, namely the Suslin's 0-th homology group \(h_0(U)\). Here two zero cycles \(A_1, A_2\) of degree \(n\) are said to be \(\mathbb{A}^1\)-equivalent if there exists a 0-cycle \(B\) of degree \(m\) such that \(A_1+B\), \(A_2+B\) are effective and that there exists a morphism \(z:\mathbb{A}^1\rightarrow \text{Sym}^{n+m}U\) with \(z(0)=A_1+B, z(1)=A_2+B\). The paper has three main results. The first one shows that if \((X,D)\) is a generic complete intersection pair of type \((d_1,\cdots, d_c,k)\), and if \(d\geq 2n-c+2\), then no two points of the interior \(X-D\) are \(\mathbb{A}^1\)-equivalent. The second one shows that under the same hypothesis but if \(d\geq 2n-c\), then the interior \(X-D\) contains no \(\mathbb{A}^1\)-curves. Here an algebraic map from \(\mathbb{A}^1\) to the interior is said to be an \(\mathbb{A}^1\)-curve. The third result shows that if \(d\geq 2n-c-\ell +1\), then every closed subvariety \(Y\) of \(X-D\) of dimension \(\ell\) has an effective log canonical bundle on its desingularisation.
0 references
rational curves
0 references
hypersurfaces
0 references
log varieties
0 references
rational equivalence
0 references
Chow groups
0 references