The paper surveys several results on the topology of the space of arcs of an algebraic variety and the Nash problem on the arc structure of singularities.
In this paper, we give a definition of volume for subsets in the space of arcs of an algebraic variety, and study its properties. Our main result relates the volume of a set of arcs on a Cohen-Macaulay variety to its jet-codimension, a notion which generalizes the codimension of a cylinder in the arc space of a smooth variety.
We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg, and Kazhdan on formal neighborhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfelds proof, and a geometric meaningful way of realizing the decomposition stated in the theorem.
Let $X$ be a smooth projective real algebraic variety. We give new positive and negative results on the problem of approximating a submanifold of the real locus of $X$ by real loci of subvarieties of $X$, as well as on the problem of determining the subgroups of the Chow groups of $X$ generated by subvarieties with nonsingular real loci, or with empty real loci.
We give the first examples of $mathcal{O}$-acyclic smooth projective geometrically connected varieties over the function field of a complex curve, whose index is not equal to one. More precisely, we construct a family of Enriques surfaces over $mathbb{P}^{1}$ such that any multi-section has even degree over the base $mathbb{P}^{1}$ and show moreover that we can find such a family defined over $mathbb{Q}$. This answers affirmatively a question of Colliot-Thel`ene and Voisin. Furthermore, our construction provides counterexamples to: the failure of the Hasse principle accounted for by the reciprocity obstruction; the integral Hodge conjecture; and universality of Abel-Jacobi maps.
The solutions to the Kadomtsev-Petviashvili equation that arise from a fixed complex algebraic curve are parametrized by a threefold in a weighted projective space, which we name after Boris Dubrovin. Current methods from nonlinear algebra are applied to study parametrizations and defining ideals of Dubrovin threefolds. We highlight the dichotomy between transcendental representations and exact algebraic computations. Our main result on the algebraic side is a toric degeneration of the Dubrovin threefold into the product of the underlying canonical curve and a weighted projective plane.