Related papers: A short proof of smooth implies flat

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…

We give a short proof that any smooth (means formally smooth and finitely presented) homomorphism of rings can be obtained by base change from a smooth homomorphism of noetherian rings. Together with the elegant short proof by J. Conde-Lago…

Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $\pi\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is…

We provide a short proof of the 1-dimensional flat chain conjecture.

We give a proof of the well-known fact that the $\Ok$-module $\E$ of smooth functions is flat by means of residue theory and integral formulas. A variant of the proof gives a related statement for classes of functions of lower regularity.…

One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a…

In this paper we study flatness of the restriction on some special subgerms (e.g. the reduction and the unmixed part) of the total space of a flat morphism over a smooth base space. We give a relationship between reducedness of the total…

We construct flat metrics in a given conformal class with prescribed singularities of real orders at marked points of a closed real surface. The singularities can be small conical, cylindrical, and large conical with possible translation…

We discuss the flatness property of some fiber type contractions of complex smooth projective varieties of arbitrary dimensions. We relate the flatness of some morphisms having one-dimensional fibers with their conic bundles structures,…

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

Flatness of discrete-time systems can be characterized by two simple properties. There exists a map, a submersion, from the flat coordinates and their forward shifts to the state and the input of the discrete-time system, such that the…

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

The proof of Theorem 7.12 of "Uniqueness of smooth cohomology theories" by the authors of this note is not correct. The said theorem identifies the flat part of a differential extension of a generalized cohomology theory E with ER/Z (there…

In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…

We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.

In this paper we consider the question of smoothness of slowly varying functions satisfying the modern definition that, in the last two decades, gained prevalence in the applications concerning function spaces and interpolation. We show,…

In this note we provide a direct proof of the complete classification of conformally flat isoparametric submanifolds of Euclidean space.

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.