Abstract:Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for zero-cycles on surfaces can be restated more geometrically, which leads to several questions.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the criteria for rational equivalence in algebraic geometry and its applications under specific conditions. Specifically, the author Barlow proposed a new rational equivalence criterion, aiming to provide a more general method for judging cycles on projective varieties. The main contributions of the paper are as follows:
1. **Proposing a new rational equivalence criterion**: The core result (Theorem 2.1) of the paper provides a new standard for judging whether two cycles are rationally equivalent on a projective variety over an algebraically closed field. For non - singular \(V\subset\mathbb{P}^n\), if \(X\) and \(Y\) are rationally equivalent, then there exist forms \(a\) and \(b\) and forms \(h_1,\ldots,h_{m - r- 1}\) such that \(X - Y=V_X - V_Y\), where \(V_X\) and \(V_Y\) are the intersections of \(\{a = h_1=\ldots=h_{m - r- 1}=0\}\cap V\) on \(V\) respectively.
2. **Extending the existing theory**: This new standard not only generalizes the results of Severi and Samuel but also provides a new perspective for understanding rational equivalence, especially when dealing with complete intersection expressions. For example, when all points on \(V\) are rationally equivalent, then the multiples of these points can always be expressed in the form of complete intersections.
3. **Exploring families of rational equivalence**: The paper also describes in detail the families of pairs of rationally equivalent cycles implied by Theorem 2.1. This involves Mumford's description, that is, replacing rational curves in Chow varieties with rationally describable sub - varieties.
4. **Applications on surfaces over the complex or algebraically closed fields**: The paper further discusses the special cases of surfaces over the complex field or algebraically closed fields and gives some statements equivalent to Bloch et al.'s conjectures. In particular, when considering complex projective surfaces and satisfying certain conditions (such as \(p_g = 0\)), these results provide new insights.
5. **Possibilities of algorithms and experiments**: Since Theorem 2.1 can be expressed as the existence of solutions to polynomial equations of a sufficiently high degree, the paper also explores the possibility of using algebraic methods or computer experiments to test whether two points are rationally equivalent.
Overall, by proposing a new rational equivalence criterion, this paper not only deepens the understanding of this fundamental concept in algebraic geometry but also provides new tools and directions for subsequent research.