Related papers: A short proof of smooth implies flat

We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms.

Conditions for Bayesian posterior robustness have been examined in recent literature. However, many of the proofs seem to be long and complicated. In this paper, we first summarize some basic lemmas that have been applied implicitly or…

We prove some restriction theorems for flat homogeneous surfaces of codimension greater than one.

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…

In this paper we prove the Knop conjecture asserting that two smooth affine spherical varieties with the same weight monoids are equivariantly isomorphic. We also state and prove a uniqueness property for not necessarily smooth affine…

The notion of smoothness was introduced originally in the context of step systems on connected graphs. Smoothness turns out to be a very general property of metrics defined by a five-point condition. Restricted to graphs, it is closely…

In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence.…

In this sequel paper we give a shorter, second proof of the monotonicity of the Hawking mass for time flat surfaces under spacelike uniformly area expanding flows in spacetimes that satisfy the dominant energy condition. We also include a…

After giving a short introduction on smooth lattice polytopes, I will present a proof for the finiteness of smooth lattice polytopes with few lattice points. The argument is then turned into an algorithm for the classification of smooth…

In this paper, we give a new proof of the foundational result, due to S. Cutkosky, on the existence of a monomialisation of a morphism from a 3-fold to a surface. Our proof brings to the fore the notion of log-Fitting ideals, and requires…

In this paper we give a geometric cobordism description of smooth integral cohomology. This model allows for simple descriptions of both the cup product and the integration, so that it is easy to verify the compatibilty of these structures.

We prove that there exist rational but not uniformly rational smooth algebraic varieties. The proof is based on computing a certain numerical obstruction developed in the case of compactifications of affine spaces. We show that for some…

Flatness of a plate is a parameter has been put under consideration for long time. Factors influencing the accuracy of this parameter have been recognized and examined carefully but placed scatterringly. Beside that those reports have not…

We give a simple proof of a recently result concerning Hardy $q$-inequalities.

In this short paper we show that the inequality of arithmetic and geometric means is reduced to another interesting inequality, and a proof is provided.

We compare two henselisations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathematics. Although this isomorphism is implicitly accepted as…

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…

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 revisit the notion of one-sided recognizability of morphisms and its relation to two-sided recognizability.

Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an under-examined notion of correspondence, or what it means for…