Related papers: Formal neighborhoods in arc spaces

We describe a (nonlinear) Fredholm theory for a new class of ambient spaces, as well as for a certain type of categories. The theory is illustrated by an application to the category of stable maps.

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of \'etale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove…

This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…

We give a criterion of integrality of an one-dimensional formal group law in terms of congruences satisfied by the coefficients of the canonical invariant differential. For an integral formal group law a p-adic analytic formula for the…

An algorithmic proof of General Neron Desingularization is given here for one dimensional local rings and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional local…

A systematic study of closed classical orbits of the hydrogen atom in crossed electric and magnetic fields is presented. We develop a local bifurcation theory for closed orbits which is analogous to the well-known bifurcation theory for…

We develop a Morse-Lusternik-Schnirelmann theory for the distance between two points of a smoothly embedded circle in a complete Riemannian manifold. This theory suggests very naturally a definition of width that generalises the classical…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…

We confirm the equivalence of the Schr\"odinger representation and the holomorphic one, based on previous results of the General Boundary Formulation (GBF) of quantum field theory. On a wide class of curved spacetimes, we consider real…

This paper concerns the \textbf{abstract geometry of numbers}: namely the pursuit of certain aspects of geometry of numbers over a suitable class of normed domains. (The standard geometry of numbers is then viewed as geometry of numbers…

In analogy with the classical theory of filters, for finitely complete categories, we provide the concepts of filter, G-neighborhood (short for \Grothendieck-neighborhood") and cover-neighborhood of a point, with the aim of studying…

In this paper we will refine Sacksteder's theorem for groups of orientation-preserving homeomorphisms of the circle in the case that there exists a finite orbit set. We will give a categorization of the topological possibilities for the…

The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the complex structure in the complex Euclidean space. We will show two results about the Newlander-Nirenberg theorem with parameter.…

We describe for any Riemannian manifold a certain infinitesimal neighbourhood of the diagonal. Semi-conformal maps are analyzed as those that preserve such neighbourhoods; harmonic maps are analyzed as those that preserve mirror image…