Related papers: Equidimensionality and regularity

We show that non-flatness of a morphism f of complex-analytic spaces with a locally irreducible target Y of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of f to the…

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…

This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at…

Bertin (1972) defined regularity for coherent local rings, and Knaf (2004) studied the property for a local ring $A$ essentially finitely presented over a valuation ring $V$. We discuss several properties of this notion of regularity for…

We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…

Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…

Given a morphism $F : X \rightarrow Y$ from a Mori Dream Space $X$ to a smooth Mori Dream Space $Y$ and quasicoherent sheaves $\mathcal{F}$ on $X$ and $\mathcal{G}$ on $Y$ , we describe the inverse image of $\mathcal{G}$ by $F$ and the…

In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous…

There is a natural homomorphism of Lie pseudoalgebras from local vector fields to local rotations on a Riemannian manifold. We address the question whether this homomorphism is unique and give a positive answer in the perturbative regime…

Given a flat, projective morphism $Y \to T$ from an equidimensional scheme to a nonsingular curve and a subscheme $Z$ of $Y$, we give conditions under which specialization of the Segre class $s(N_{Z}Y)$ of the normal cone of $Z$ in $Y$…

Let $F$ be an affine flat group scheme over a commutative ring $R$, and $S$ an $F$-algebra (an $R$-algebra on which $F$ acts). We define an equivariant analogue $Q_F(S)$ of the total ring of fractions $Q(S)$ of $S$. It is the largest…

We prove a mixed-characteristic analogue of Kunz's theorem in terms of perfectoid towers: a Noetherian local ring of residue characteristic $p$ is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid…

An orthogonality space is a set together with a symmetric and irreflexive binary relation. Any linear space equipped with a reflexive and anisotropic inner product provides an example: the set of one-dimensional subspaces together with the…

In the presence of a nontrivial dual Selmer group, certain global even deformation rings are shown to be finite and flat over $\mathbb{Z}_p$. Previously, flatness was only known in established cases of Langlands reciprocity in the odd…

Let G be a connected reductive group defined over a non-archimedean local field of characteristic 0. We assume G is quasi-split, adjoint and absolutly simple. Let g be the Lie algebra of G. We consider the space of the invariant…

We characterize $Q$-dimensional Ahlfors regular spaces among trees' boundaries and show how to construct, for each $0 < \alpha < Q$, an $\alpha$-regular subspace. As an application, we give an alternative simple proof of the existence of…

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…

Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same…

Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the…

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…