Related papers: From formal smoothings to geometric smoothings
Given a (singular, codimension 1) holomorphic foliation F on a complex projective manifold X, we study the group PsAut(X, F) of pseudo-automorphisms of X which preserve F ; more precisely, we seek sufficient conditions for a finite index…
This is a survey on formality results relying on weight structures. A weight structure is a naturally occurring grading on certain differential graded algebras. If this weight satisfies a purity property, one can deduce formality. Algebraic…
In this paper, we investigate the geometric invariant properties of a normal curve on a smooth immersed surface under conformal transformation. We obtain an invariant-sufficient condition for the conformal image of a normal curve. We also…
The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…
That short note, meant as an addendum to [CCE14], enhances the results contained in loc. cit. In particular it is proven here that a linear K{\"a}hler group is already the fundamental group of a smooth complex projective variety. This is…
We use gauge theoretic and algebraic methods to examine sufficient conditions for smooth points on the moduli space of flat connections on a compact manifold and on the character variety of a finitely generated and presented group. We give…
This paper studies the obstructions to deforming a map from a complex variety to another variety which is an immersion of codimension one. We extend the classical notion of semiregularity of subvarieties to maps between varieties, and show…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
We consider the question whether a real threefold X fibred into quadric surfaces over the real projective line is stably rational (over R) if the topological space X(R) is connected. We give a counterexample. When all geometric fibres are…
Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…
We think about what the subscheme of the formal scheme is. Differently form the ordinary scheme, the formal scheme has different notions of ``subscheme''. We lay a foundation for these notions and compare them. We also relate them to…
We give a criterion for a continuous family of curves on a nodal $K$-trivial threefold $X_0$ to contribute geometrically rigid curves to a general smoothing of $X_0$. As an application, we prove the existence of geometrically rigid curves…
Motivated by a conjecture of Xiao, we study supporting divisors of fibred surfaces. On the one hand, after developing a formalism to treat one-dimensional families of varieties of any dimension, we give a structure theorem for fibred…
Using a recent description of the geometric stability manifold, we show the geometric stability manifold associated to any smooth projective complex surface is contractible. We then use this result to demonstrate infinitely many new…
While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity,…
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…
We consider the quotient X of bi-elliptic surface by a finite automorphism group. If X is smooth, then it is a bi-elliptic surface or ruled surface with irregularity one. As a corollary any bi-elliptic surface cannot be Galois covering of…
We study the deformation theory of a Fano variety X with normal crossing singularities of dimension at most three. We obtain a formula for the sheaf T^1(X) of first order deformations of X in a suitable log resolution of X and its singular…
This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product…
I give various criteria for singularities to appear on geometric generic fibers of morphism between smooth schemes in positive characteristics. This involves local fundamental groups, jacobian ideals, projective dimension, tangent and…