Related papers: Formal neighborhoods in arc spaces

We introduce, for every $\mathbb{Z}$-graded manifold, a formal exponential map defined in a purely algebraic way and study its properties. As an application, we give a simple new construction of a Fedosov type resolution of the algebra of…

Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain…

We introduce a finite-dimensional algebra that controls the possible boundary conditions of a conformal field theory. For theories that are obtained by modding out a Z_2 symmetry (corresponding to a so-called D_odd-type, or half-integer…

We review properties of closed meromorphic $1$-forms and of the foliations defined by them. We present and explain classical results from foliation theory, like index theorems, the existence of separatrices, and resolution of singularities…

We propose a notion of discrete elastic and area-constrained elastic curves in 2-dimensional space forms. Our definition extends the well-known discrete Euclidean curvature equation to space forms and reflects various geometric properties…

We develop an extension of the usual theory of formal group laws where the base ring is not required to be commutative and where the formal variables need neither be central nor have to commute with each other. We show that this is the…

We provide examples of homogeneous spaces which are neither symmetric spaces nor real cohomology spheres, yet have the property that every invariant metric is geometrically formal. We also extend the known obstructions to geometric…

Motivated by analogous results in locally conformal symplectic geometry, we study different classes of G$_2$-structures defined by a locally conformal closed 3-form. In particular, we give a complete characterization of invariant exact…

We show an Uhlenbeck type estimate for closed simply connected manifolds which provides the existence of certain exact sequences in K-area homology. This leads to the behavior of the K-area homology under surgery. Moreover, we give an index…

Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…

Let $k$ be an algebraically closed field and $\alpha$, $\beta$, $\gamma$ be partitions. An algebraic group acts on the constructible set of short exact sequences of nilpotent $k$-linear operators of Jordan types $\alpha$, $\beta$, and…

We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…

We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction…

We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented…

We first generalize a curve selection lemma for Noetherian schemes and apply it to prove a version of Curve Selection Lemma in arc spaces, answering affirmatively a question by Reguera. Furthermore, thanks to a structure theorem of…

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces.…

For a linear subvariety $M$ of a stratum of meromorphic differentials, we investigate its closure in the multi-scale compactification constructed by Bainbridge-Chen-Gendron-Grushevsky-M\"oller. We prove various restrictions on the type of…

We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the…

An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…

An algebraic variety is said to have the $A_k$-property if any $k$ points are contained in some common affine open neighbourhood. A theorem of W{\l}odarczyk states that a normal variety has the $A_2$-property if and only if it admits a…