Related papers: Equidimensional morphisms onto splinters are pure

Let (R,m) -> (S,n) be a flat local homomorphism of excellent local rings. We investigate the conditions under which the weak or strong F-regularity of R passes to S. We show that is suffices that the closed fiber S/mS be Gorenstein and…

We show that for a Noetherian ring $A$ that is $I$-adically complete for an ideal $I$, if $A/I$ admits a dualizing complex, so does $A$. This gives an alternative proof of the fact that a Noetherian complete local ring admits a dualizing…

An equidimensional local ring is F-rational if and only if one ideal generated by a system of parameters is tightly closed. The question of whether a non-equidimensional local ring can have a tightly closed ideal generated by a system of…

In the past, it has been shown that the Leavitt path algebra $L(E)=L_K(E)$ of a graph $E$ over a field $K$ is left and right noetherian if and only if the graph $E$ is finite and no cycle of $E$ has an exit. If $Q(E)=Q_K(E)$ denotes the…

Let $f: X \to Y$ be a dominant morphism of smooth, proper and geometrically integral varieties over a number field $k$, with geometrically integral generic fibre. We give a necessary and sufficient geometric criterion for the induced map…

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…

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…

In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…

Let $\mathcal I=\{I_n\}$ be a divisorial filtration on a two dimensional normal excellent local ring $(R,m_R)$. Let $R[\mathcal I]=\oplus_{n\ge 0}I_n$ be the Rees algebra of $\mathcal I$ and $\tau:\mbox{Proj}R[\mathcal I])\rightarrow…

Let (S,0) be a germ of complex analytic normal surface. On its minimal resolution, we consider the reduced exceptional divisor E and its irreducible components E_i. The Nash map associates to each irreducible component C_k of the space 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…

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…

A splinter is a notion of singularity that has seen numerous recent applications, especially in connection with the direct summand theorem, the mixed characteristic minimal model program, Cohen-Macaulayness of absolute integral closures and…

A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel…

This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…

Let R be a regular semi-local integral domain containing a field and K be its fraction field. Let mu: G --> T be an R-group schemes morphism between reductive R-group schemes, which is smooth as a scheme morphism. Suppose that T is an…

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.…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a…

An integral domain R is said to be a splinter if it is a direct summand, as an R-module, of every module-finite extension ring. Hochster's direct summand conjecture is precisely the conjecture that every regular local ring is a splinter. An…