Hochster-Eagon type theorem for Serre's $(S_n)$ condition

TL;DR

This paper extends the Hochster-Eagon theorem to show that Serre's $(S_n)$ condition is preserved under pure homomorphisms between Noetherian rings, especially in invariant theory with finite group actions.

Contribution

It proves a new criterion for the preservation of Serre's $(S_n)$ condition under pure homomorphisms, generalizing Hochster-Eagon's theorem and applying to invariant rings.

Findings

If $B/rak m B$ is Artinian, then $ ext{dim }A= ext{dim }B$ and $ ext{depth }A extgreater= ext{depth }B$.

Under certain conditions, $A$ inherits the $(S_n)$ property from $B$ via pure homomorphisms.

The invariance of the $(S_n)$ condition under finite group actions with invertible order in $B$.

Abstract

Let $(A,\mathfrak m)\rightarrow (B,\mathfrak n)$ be a pure homomorphism between Noetherian commutative rings. If $B/\mathfrak m B$ is an Artinian ring, then we have $\dim A=\dim B$ and $\mathop{\mathrm{depth}} A\geq \mathop{\mathrm{depth}} B$. Using this version of Hochster-Eagon theorem, we prove the following: Let $A\rightarrow B$ be a pure homomorphism between Noetherian commutative rings. Assume that the fiber ring $\kappa(\mathfrak p)\otimes_A B$ is Artinian for each $\mathfrak p\in\mathop{\mathrm{Spec}} A$, and $B$ satisfies Serre's $(S_n)$ condition. Then $A$ also satisfies Serre's $(S_n)$ condition. In particular, if a finite group $G$ acts on $B$ and the order $|G|$ of $G$ is invertible in $B$, and if $B$ is Noetherian with the $(S_n)$ condition, then the ring of invariants $A=B^G$ also satisfies the $(S_n)$ condition.