Related papers: Equidimensionality and regularity

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…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

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…

In this paper, we prove the following differential analog of the Noether normalization lemma: for every $d$-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map…

Let $f:A\rightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we characterize $R\bowtie^fJ$ to be Von Neumann regular ring and SFT ring, respectively.

Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…

We show that complete conformally flat manifolds of dimension n>2 with nonnegative Ricci curvature enjoy nice rigidity properties: they are either flat, or locally isometric to a product of a sphere and a line, or are globally conformally…

Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat \'etale $R$-algebra are…

Let $\sigma:A\rightarrow B$ and $\rho:A\rightarrow C$\ be two homomorphisms of noetherian rings such that $B\otimes_{A}C$ is a noetherian ring. we show that if $\sigma$ is a regular (resp. complete intersection, resp. Gorenstein, resp.…

Let X, Y be nonsingular real algebraic sets. A map fi:X-->Y is said to be k-regulous, where k is a nonnegative integer, if it is of class C^k and the restriction of fi to some Zariski open dense subset of X is a regular map. Assuming that Y…

We extend the results of Schapira and Schneiders on relative regularity and finiteness of elliptic pairs to the framework of $\shd[[\hbar]]$-modules and $\R$-constructible sheaves of $\C[[\h]]$-modules. We also construct a relative duality…

In this paper we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over…

We prove that closed manifolds admitting a generic metric whose sectional curvature is locally quasi-constant are graphs of space forms. In the more general setting of QC spaces where sets of isotropic points are arbitrary, under suitable…

Over a right-noetherian algebra admitting a dualizing complex, any left-module with finite flat dimension also has finite projective dimension.

There are many examples of the fact that dimension and codimension behave somewhat counterintuitively. In EGA it is stated that a topological space is equidimensional, equicodimensional and catenary if and only if every maximal chain of…

The Einstein's equivalence principle is formulated in terms of the accuracy of measurements and its dependence of the size of the area of measurement. It is shown that different refinements of the statement 'the spacetime is locally flat'…

An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…

We prove that if $f: (R,\m) \to (S,\n)$ is a flat local homomorphism, $S/\m S$ is Cohen-Macaulay and $F$-injective, and $R$ and $S$ share a weak test element, then a tight closure analogue of the (standard) formula for depth and regular…

We consider a relation between local and global characteristics of a differential algebraic variety. We prove that dimension of tangent space for every regular point of an irreducible differential algebraic variety coincides with dimension…

Local and category-theoretical entropies associated with an endomorphism of finite length (i.e., with zero-dimensional closed fiber) of a commutative Noetherian local ring are compared. Local entropy is shown to be less than or equal to…