Related papers: Complete intersections and rational equivalence
Brotherston and Simpson [citation] have formalized and investigated cyclic reasoning, reaching the important conclusion that it is at least as powerful as inductive reasoning (specifically, they showed that each inductive proof can be…
Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…
Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case…
We show that a very general quartic hypersurface in $\mathbb P^6 $ over a field of characteristic different from 2 does not admit a decomposition of the diagonal, hence is not retract rational. This generalizes a result of Nicaise--Ottem,…
By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface, a projective homogeneous…
We discuss two properties of an abelian variety, namely, being a direct summand in a product of Jacobians and the weaker property of being "split". We relate the first property to the integral Hodge conjecture for curve classes on abelian…
A notion of arithmetic similarity between number fields is defined by requiring equality of some arithmetic statistics over all but finitely many rational primes. The exceptional set is empty in all previously studied cases, but existing…
In this paper, we prove that Bloch's conjecture holds for all smooth, complex, projective surfaces with $p_g=q=0$ and $K^2=9$.
We prove an extension of the Kato-Saito class field theory for smooth projective schemes over a finite field to schemes with singularities. As an application, we obtain Bloch's formula for the Chow groups of 0-cycles on such schemes. We…
If $X$ is an abelian variety over a field and $L$ is an invertible sheaf, we know that the degree of the 0-cycle $L^g$ is divisible by $g!$. As a 0-cycle, it is not, even over a field of cohomological dimension 1. But we show that over a…
This article discusses two versions of elliptic equations obtained from a system of equations describing a rational cuboid. Analysis of elliptic equations shows that they are equivalent, and that there are rational points on the elliptic…
We characterize all bounded orbits of two similar Collatz-type quadratic mappings of the set of non-negative integers. In one case, where cycles of all possible lengths may occur, an orbit is bounded if and only if it reaches a cycle. For…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
In this paper, we study the combinatorics of a subcomplex of the Bloch-Kriz cycle complex [4] used to construct the category of mixed Tate motives. The algebraic cycles we consider properly contain the subalgebra of cycles that correspond…
We compute the equations of all rational double point singularities and we determine their types over perfect ground fields $k$ that arise as quotient singularities by finite linearly reductive subgroup schemes of $\textrm{SL}_{2,k}$.
In recent years philosophers of science have explored categorical equivalence as a promising criterion for when two (physical) theories are equivalent. On the one hand, philosophers have presented several examples of theories whose…
We show that measures of irrationality on very general codimension two complete intersections and very general complete intersection surfaces are multiplicative in the degrees of the defining equations. This confirms some cases of a…
We prove that there exist smooth surfaces of degree d in projective 3-space such that the group of rational equivalence classes of decomposable 0-cycles has rank at least the integer part of (d-1)/3.
The circumcircle of a planar convex polygon P is a circle C that passes through all vertices of P. If such a C exists, then P is said to be cyclic. Fix C to have unit radius. While any two angles of a uniform cyclic triangle are negatively…
We establish necessary and sufficient conditions for the existence of a decomposition of a complete multigraph into edge-disjoint cycles of specified lengths, or into edge-disjoint cycles of specified lengths and a perfect matching.