Related papers: From formal smoothings to geometric smoothings

Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…

Let $X$ be a smooth proper variety over an algebraically closed field of positive characteristic $p$. We find cohomological conditions for the Artin-Mazur formal group functors $\Phi^{i}(X,\mathbb{G}_m)$ to be formally smooth. We show that…

Polyhedral surfaces are fundamental objects in architectural geometry and industrial design. Whereas closeness of a given mesh to a smooth reference surface and its suitability for numerical simulations were already studied extensively, the…

Let X be a complex algebraic variety, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. We show that the formal neighborhood of f in L(X) admits a decomposition into a…

We provide the main results of a deformation theory of smooth formal schemes. First we deal with the case of global lifting of smooth morphisms. We prove that the obstruction to the existence of a global lifting lies in a Ext^1 group. Then…

We give a necessary and sufficient smoothness condition for the scheme parameterizing the n-dimensional representations of a finitely generated associative algebra over an algebraically closed field of characteristic zero. In particular,…

Let $X$ be a normal crossing compact complex surface with triple points. We prove that there exists a family of smoothings of $X$ when $X$ satisfies suitable conditions. Since our differential geometric proof also includes the case where…

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…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

We give criteria for the existence of geometric smoothings of a proper lci scheme or a DM stack $X$ as well as for a polarized lci scheme $(X,L)$, without assuming that $X$ is reduced. As applications, we give criteria for the smoothability…

We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.

Let $X$ be a smooth projective variety. Define a stable map $f:C\to X$ to be "eventually smoothable" if there is an embedding $X\hookrightarrow\mathbb{P}^N$ such that $(C,f)$ occurs as the limit of a $1$-parameter family of stable maps to…

We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic…

In this paper we study the deformation and Q-Gorenstein deformation theory of schemes with non-isolated singularities. We obtain obstruction spaces for the existence of deformations and also for local deformations to exist globally. Finally…

For a local analytic diffeomorphism of the plane with an irrational elliptic fixed point at 0, we introduce the notion of ``geometric normalization'', which includes the classical formal normalizations as a special case: it is a formal…

A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation…

The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild…

Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.

Let $X$ be a simple normal crossing (SNC) compact complex surface with trivial canonical bundle which includes triple intersections. We prove that if $X$ is $d$-semistable, then there exists a family of smoothings in a differential…

For a reduced pure dimensional complex space $X$, we show that if Barlet's recently introduced sheaf $\alpha_X^1$ of holomorphic $1$-forms or the sheaf of germs of weakly holomorphic $1$-forms is locally free, then $X$ is smooth. Moreover,…