相关论文: Pure subrings of regular rings are pseudo-rational

We prove the following. Let $R$ be a Noetherian ring, $B$ a finitely generated $R$-algebra, and $A$ a pure $R$-subalgebra of $B$. Then $A$ is finitely generated over $R$.

For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R,…

L. Avramov, following D. Quillen, posed a conjecture to the effect that if $R \to A$ is a homomorphism of Noetherian rings then the Andr\'e-Quillen homology on the category of A-modules satisfies: $D_{s}(A|R;-) = 0$ for $s\gg 0$ implies…

We investigate the transfer of regularity between commutative, noetherian, local rings through a class of local homomorphisms which we call basically regular. We give numerical characterizations of these maps, investigate their behavior…

In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means…

We extend the notion of a purely infinite simple C*-algebra to the context of unital rings, and we study its basic properties, specially those related to K-Theory. For instance, if $R$ is a purely infinite simple ring, then $K_0(R)^+=…

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…

For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…

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 $R$ be a complete regular local ring with an algebraically closed residue field and let $A$ be a Noetherian $R$-subalgebra of the polynomial ring $R[X]$. It has been shown in \cite{DO2} that if $\dim R=1$, then $A$ is necessarily…

In this paper, we prove an extension of Zaks' conjecture on integral domains with semi-regular proper homomorphic images (with respect to finitely generated ideals) to arbitrary rings (i.e., possibly with zero-divisors). The main result…

Given a commutative ring $R$, a $\pi_1$-$R$-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an $R$-homology equivalence between universal covers. When $R$ is an algebraically closed field, Raptis…

In this note, we show that a ring $R$ is $S$-coherent if and only if every finitely presented $R$-module is $S$-coherent, providing a positive answer to a question proposed in [D. Bennis, M. El Hajoui, {\it On $S$-coherence}, J. Korean…

The purpose of this note is to verify that several basic rings appearing in transchromatic homotopy theory are Noetherian excellent normal domains and thus amenable to standard techniques from commutative algebra. In particular, we show…

We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring…

We prove that rational and 1-rational singularities of complex spaces are stable under taking quotients by holomorphic actions of reductive and compact Lie groups. This extends a result of Boutot to the analytic category and yields a…

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…

Let $R \to S$ be a cyclically pure map of Noetherian $\mathbb{Q}$-algebras. In this paper, we show that if $S$ has Du Bois singularities, then $R$ has Du Bois singularities. Our result is new even when $R \to S$ is faithfully flat. Our…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

A rational pseudo-rotation $f$ of the torus is a homeomorphism homotopic to the identity with a rotation set consisting of a single vector $v$ of rational coordinates. We give a classification for rational pseudo-rotations with an invariant…