Related papers: A short proof of smooth implies flat

Some symmetry problems are formulated and solved. New simple proofs are given for the earlier studied symmetry problems.

We describe an obstruction to smoothing stable maps in smooth projective varieties, which generalizes some previously known obstructions. Our obstruction comes from the non-existence of certain rational functions on the ghost components,…

We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of which we can produce a finite number of normal proofs. This…

We present a proof of the Chevalley-Weil Theorem that is somewhat different from the proofs appearing in the literature and with somewhat weaker hypotheses, of purely topological type. We also provide a discussion of the assumptions, and an…

The aim of this note is to give a quick algebraic proof of (the combinatorial part of) the classification theorem for compact real surfaces, whose classical proofs (as in the Massey book and in the Conway ZIP proof) are based on surgery…

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…

We establish a smoothness result for families of biholomorphisms between smooth families of strongly pseudoconvex domains, each with trivial biholomorphism group. This is accomplished by considering the Riemannian geometry of their Bergman…

We show that smooth well formed weighted complete intersections have finite automorphism groups, with several obvious exceptions.

A smooth variety is said to satisfy Condition (A) if every finite abelian subgroup of its automorphism group has a fixed point. We classify smooth Fano 3-folds that satisfy Condition (A).

We prove several results on the additivity of Kodaira dimension under smooth morphisms of smooth projective varieties.

We discuss the connection between the smooth and metric structure on quotient spaces, prove smoothness of isometries in special cases and discuss an application to a conjecture of Molino.

Here we outline a proof for the 4-dimensional smooth Poincare Conjecture.

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 present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

We give a simple and direct proof that super-consistency implies the cut elimination property in deduction modulo. This proof can be seen as a simplification of the proof that super-consistency implies proof normalization. It also takes…

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,…

This is an expository paper giving a proof of the existence and uniqueness of smooth structures (hence also PL structures) on topological surfaces. Most published proofs rely on the topological Schoenflies theorem, but here we use instead…

A non-algorithmic, generalized version of a recent result, asserting that a natural relaxation of the Koml\'os conjecture from boolean discrepancy to spherical discrepancy is true, is proved by a very short argument using convex geometry.

The recently developed proof of Fermat's Last Theorem is very lengthy and difficult, so much so as to be beyond all but a small body of specialists. While certainly of value in the developments that resulted, that proof could not be, nor…

In this paper, we consider a Generalized Bernstein Theorem for a type of generalized minimal surfaces, namely minimal Plateau surfaces. We show that if an orientable minimal Plateau surface is stable and has quadratic area growth in…