Related papers: A short proof of smooth implies flat

Given a smooth curve $\gamma$ in some $m$-dimensional surface $M$ in $\mathbb{R}^{m+1}$, we study existence and uniqueness of a flat surface $H$ having the same field of normal vectors as $M$ along $\gamma$, which we call a flat…

Let $X$ be a normal complex space such that the tangent sheaf $T_X$ is locally free and locally admits a basis consisting of pairwise commuting vector fields. Then $X$ is smooth.

We aim at giving a rigorous proof of the state-ments on the smoothness and the dimension of Severi varieties wherethere are gaps in the proofs in some standard literature. The method isa mixture of algebraic and analytic methods.

In this paper we try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should to have.

Assuming the Riemann hypothesis we demonstrate the existence of smooth numbers in certain short intervals.

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…

Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that…

In this note we give a p-adic proof of Hodge symmetry for smooth, projective threefolds over complex numbers.

We give some results concerning the smoothness of the image of a real-analytic submanifold in complex space under the action of a finite holomorphic mapping. For instance, if the submanifold is not contained in a proper complex subvariety,…

This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the…

We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.

We study weaker variations of the property of flatness in matroid theory. We show that these variations form a chain of increasingly stronger properties all implying pseudomodularity on its lattice of flats. We show examples in the gammoid…

Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule…

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

In this article, we show that a flat morphism of $k$-varieties ($\mathop{\mathrm{char}} k=0$) with locally constant geometric fibers becomes finite \'etale after reduction. When $k$ is a real closed field, we prove that such a morphism…

After surveying some known properties of compact convex sets in the plane, we give a two rigorous proofs of the general feeling that supporting lines can be slide-turned slowly and continuously. Targeting a wide readership, our treatment is…

A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…

We provide an axiomatic framework for the study of smooth extensions of generalized cohomology theories. Our main results are about the uniqeness of smooth extensions, and the identification of the flat theory with the R/Z-theory. In…

We give cohomological criteria for logarithmic good reduction of elliptic surfaces up to modification. Along the way, we prove several more general results about such surfaces in positive characteristic, as well as about log smooth…