---
abstract: 'We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $\pi : X \to {\operatorname{Spec}}R$, we have that $\myR \pi_* \O_X$ has finite (equivalently zero in characteristic zero) projective dimension.'
address:
- |
    Department of Mathematics\
    Purdue University\
    West Lafayette\
    IN 47907
- |
    Department of Mathematics\
    University of Utah\
    Salt Lake City\
    UT 84112
author:
- Linquan Ma
- Karl Schwede
bibliography:
- 'MainBib.bib'
title: 'A Kunz-type characterization of regular rings via alterations'
---

Introduction
============

In [@KunzCharacterizationsOfRegularLocalRings] Kunz proved that a Noetherian ring of characteristic $p > 0$ is regular if and only if the $e$-th iterated Frobenius map $$\xymatrix@R=3pt{
R \ar[r] & R \\
x \ar@{|->}[r] & x^{p^e}
}$$ is flat for some, or equivalently every, $e > 0$. This is generalized in [@RodicioOnaResultAvramov]: the condition ${\operatorname{fd}}_RR^{(e)}<\infty$ (for some, or equivalently every, $e>0$) implies $R$ is regular, where $R^{(e)}$ denotes the target of the $e$-th Frobenius map. Moreover, the direct limit of $R^{(e)}$ is the perfection $R^\infty$ of $R$. Kunz’s theorem can also be generalized using perfection: $R$ is regular if and only if ${\operatorname{fd}}_RR^{\infty}<\infty$ [@AberbachLiAsymptoticVanishingRegular; @BhattIyengarMaRegularRingsPerfectoidAlgebras].

However, in all these characterizations, the Frobenius map plays a prominent role and hence they do not extend to characteristic zero. In this paper, motivated by the connections between multiplier ideals and test ideals [@BlickleSchwedeTuckerTestAlterations], we prove the following characterization of regularity using alterations.

Suppose $(R, \fram)$ is a local domain essentially of finite type over a field. Then the following conditions are equivalent.

-   $R$ is regular.

-   For every regular alteration $\pi : X \to {\operatorname{Spec}}R$, ${\operatorname{pd}}_R \myR \pi_* \O_X < \infty$ (i.e., the derived image of the structure sheaf has finite projective dimension).

Moreover, when $R$ has characteristic $0$, the above are also equivalent to

-   For every regular alteration $\pi : X \to {\operatorname{Spec}}R$, ${\operatorname{pd}}_R \myR \pi_* \O_X = 0$.

This result is also motivated by the fact that there is close connection between big Cohen-Macaulay algebras and $\myR \pi_* \O_X$ (recall that the latter is a Cohen-Macaulay complex, [@RobertsCohenMacaulayComplexes]).

In fact, this theorem in characteristic $p>0$ essentially follows from a result of Bhatt on killing cohomology using finite covers [@BhattDerivedsplintersinpositivecharacteristic] and the characterization of regularity using $R^+$, see [@AberbachLiAsymptoticVanishingRegular; @BhattIyengarMaRegularRingsPerfectoidAlgebras]. Our main contribution is the characteristic zero case. Meanwhile, it is quite natural to ask whether the same characterization of regularity holds in mixed characteristic:

Suppose $(R, \fram)$ is an excellent local domain essentially of finite type over the integers. If for every regular alteration $\pi : X \to {\operatorname{Spec}}R$, we have that ${\operatorname{pd}}_R \myR \pi_* \O_X < \infty$, then is $R$ regular?

See for some additional discussion.

### Acknowledgements {#acknowledgements .unnumbered}

We thank Bhargav Bhatt for comments on a previous draft of this article.

Preliminaries
=============

Suppose $R$ is a Noetherian ring. For a bounded above cochain complex of $R$-modules $C$, we define the *projective dimension of $C$*, denoted ${\operatorname{pd}}_R C$ to be $$\inf \{ \sup \{ i \;|\; P^{-i} \neq 0 \} \;|\; P^{\bullet} \text{ is a projective resolution of $C$} \}.$$ Here a projective resolution is a cochain complex of projective modules quasi-isomorphic to $C$. If $(R, \fram)$ is additionally local, we also define $${\operatorname{depth}}C = \inf \{ i \;|\; H^i_{\fram}(C) \neq 0 \}.$$ These are natural extensions of the projective dimension and the depth of a finitely generated $R$-module.

We will need the following result of Foxby and Iyengar, which is a vast generalization of the classical Auslander-Buchsbaum formula.

\[thm.BuchEisComplex\] Let $(R,{\mathfrak{m}})$ be a local ring and let $M$ and $P$ be complexes of $R$-modules. If ${\operatorname{pd}}_R P$ is finite and ${\mathrm{H}}(P)$ is nonzero and finitely generated, then $${\operatorname{depth}}_R M = {\operatorname{depth}}_R(M \otimes^{\bf L}_R P) + {\operatorname{pd}}_R P.$$

We can now prove our main result in positive characteristic.

First of all by , $${\operatorname{pd}}_R \myR\pi_*\O_X+{\operatorname{depth}}\myR\pi_*\O_X={\operatorname{depth}}R.$$ Since ${\operatorname{depth}}\myR\pi_*\O_X{\geqslant}0$ (as $\myR\pi_*\O_X$ lives in positive degree), we know that for all regular alteration, ${\operatorname{pd}}_R\myR\pi_*\O_X{\leqslant}{\operatorname{depth}}R$.

By [@BhattDerivedsplintersinpositivecharacteristic Theorem 1.5], for every regular alteration $\pi$: $X\to {\operatorname{Spec}}R$, there exists another regular alteration $\pi'$: $Y\xrightarrow{f} X\to {\operatorname{Spec}}R$ such that $f^*$: $\tau_{{\geqslant}1}\myR \pi_*\O_X\to \tau_{{\geqslant}1}\myR \pi'_*\O_Y$ is $0$. Consider the following commutative diagram: $$\xymatrix{
\pi_*\O_X \ar[r] \ar[d] & \myR \pi_*\O_X \ar[r] \ar[d] & \tau_{{\geqslant}1}\myR \pi_*\O_X \ar[d]^0 \\
\pi'_*\O_Y \ar[r] & \myR \pi'_*\O_Y \ar[r] & \tau_{{\geqslant}1}\myR \pi'_*\O_Y
}$$ Tensoring with $k=R/{\mathfrak{m}}$ and taking cohomology, for all $i>{\operatorname{depth}}R$ we get: $$\xymatrix{
0=h^{-i-1}(\myR \pi_*\O_X\otimes^\myL k) \ar[r]& h^{-i-1} (\tau_{{\geqslant}1}\myR \pi_*\O_X \otimes^\myL k)\ar[d]^0 \ar[r] & h^{-i}(\pi_*\O_X\otimes^\myL k) \ar[r] \ar[d] & 0=h^{-i}(\myR \pi_*\O_X\otimes^\myL k)  \\
0=h^{-i-1}(\myR \pi'_*\O_Y\otimes^\myL k) \ar[r]& h^{-i-1} (\tau_{{\geqslant}1}\myR \pi_*\O_X \otimes^\myL k)   \ar[r] & h^{-i}(\pi'_*\O_Y\otimes^\myL k) \ar[r] & 0=h^{-i}(\myR \pi_*\O_X\otimes^\myL k)
}$$

An easy diagram chasing shows that for all regular alteration $X$, we can find another regular alteration $Y$ such that $h^{-i}(\pi_*\O_X\otimes^\myL k)\to  h^{-i}(\pi'_*\O_Y\otimes^\myL k)$ is $0$. Taking direct limits, this implies that $h^{-i}(R^+\otimes^\myL k)=\Tor_i^R(R^+,k)=0$ for all $i>{\operatorname{depth}}R$. Now by [@AberbachLiAsymptoticVanishingRegular Corollary 3.5] or [@BhattIyengarMaRegularRingsPerfectoidAlgebras Theorem 4.13], $R$ is regular.

We recall the following very useful result of Corso-Huneke-Katz-Vasconcelos.

[([@CorsoHunekeKatzVasconcelos Corollary 3.3])]{.nodecor} \[thm.CorsoHunekeKatzVasconcelos\] Suppose that $(R, \fram)$ is a Noetherian local ring and that $I$ is integrally closed and $\fram$-primary. Then $M$ has projective dimension less than $t$ if and only if $\Tor^R_t(R/I,M) = 0$.

We specialize it in the following corollary that we will use in the next section.

\[cor.CorsoHunekeKatzVasconcelos\] Suppose that $(R, \fram)$ is a Noetherian local ring and that $I$ is an integrally closed $\fram$-primary ideal of finite projective dimension. Then $R$ is regular.

Since $I$ has finite projective dimension, we see that $\Tor^R_i(R/I,k) = 0$ for $i \gg 0$. But now taking $M = k = R/\fram$ in the statement of we see that $k$ has finite projective dimension since $I$ is integrally closed and $\fram$-primary. The result follows.

Multiplier ideals and multiplier submodules
-------------------------------------------

For references in this section, see [@LazarsfeldPositivity2; @SchwedeTakagiRationalPairs; @BlickleSchwedeTuckerTestAlterations].

Suppose that $\pi : X \to {\operatorname{Spec}}R$ is a resolution of singularities. Then the *multiplier submodule* of $R$, denoted $\mJ(\omega_R)$ is just $\pi_* \omega_X \subseteq \omega_R$.

We now generalize this a bit. Suppose $R$ is a normal domain, $\Gamma {\geqslant}0$ is a $\bQ$-Cartier divisor, and $\pi$ is a log resolution of $(X, \Gamma)$. Then we define $\mJ(\omega_R, \Gamma) = \pi_* \O_X(\lceil K_X - \pi^* \Gamma \rceil)$. If we choose $0 \neq f \in R$ and $t \in \bQ_{{\geqslant}0}$, then we set $\mJ(\omega_R, \Gamma, f^t) = \mJ(\omega_R, \Gamma + t \Div(f))$. Finally, if $\fra \subseteq R$ is an ideal and $\pi$ is a log resolution of $(R, \Gamma, \fra^t)$ with $\fra \cdot \O_X = \O_X(-G)$, then we define $$\mJ(\omega_R, \Gamma, \fra^t) = \pi_* \O_X(\lceil K_X - \pi^* \Gamma - t G \rceil) \subseteq \omega_R.$$ All of this is independent of the choice of resolution.

In the above, if $\Gamma$ is ever left out, it is treated as zero.

Suppose that $R$ is a normal domain, $\Delta {\geqslant}0$ is a $\bQ$-divisor such that $K_R + \Delta$ is $\bQ$-Cartier, $\fra \subseteq R$ is an ideal and $t \in \bQ_{{\geqslant}0}$, then we define the *multiplier ideal* $$\mJ(R, \Delta, \fra^t) = \pi_* \O_X(\lceil K_X - \pi^*(K_R + \Delta) - tG\rceil)$$ where $\pi : X \to {\operatorname{Spec}}R$ is a log resolution of $(R, \Delta, \fra^t)$ and $\fra \cdot \O_X  = \O_X(-G)$. Again, this is independent of the choice of resolution.

If $\Delta$ is left off, then it is treated as zero and if $\fra$ is left off, it is treated as $R$.

The main result in characteristic zero
======================================

We begin with the “easy” direction.

Suppose that $(R, \fram)$ is a regular local ring essentially of finite type over a field of characteristic zero. If $\pi : X \to {\operatorname{Spec}}R$ is a regular alteration, then ${\operatorname{pd}}_R \myR \pi_* \O_X = 0$.

Since $R$ is regular, the bounded complex $\myR \pi_* \O_X$ has finite projective dimension. By , taking $M = R$ and $P = \myR \pi_* \O_X$ we have that $${\operatorname{pd}}_R \myR \pi_* \O_X + {\operatorname{depth}}_R(\myR \pi_* \O_X) = \dim R.$$ By the Matlis-dual version of Grauert-Riemenschneider vanishing [@GRVanishing], $H^i_{\fram}(\myR \pi_* \O_X) = 0$ for all $i < \dim R$ and hence ${\operatorname{depth}}_R(\myR \pi_* \O_X) {\geqslant}\dim R$. Thus ${\operatorname{pd}}_R \myR \pi_* \O_X{\leqslant}0$. But clearly ${\operatorname{pd}}_R \myR \pi_* \O_X{\geqslant}0$ since $h^0(\myR \pi_* \O_X)\neq 0$. The result follows.

\[lem.FPDImpliesCM\] Suppose $(R, \fram)$ is a local domain essentially of finite type over a field of characteristic zero and that $\pi : X \to {\operatorname{Spec}}R$ is a resolution of singularities. If ${\operatorname{pd}}_R \myR \pi_* \O_X < \infty$, then $R$ is Cohen-Macaulay.

Since ${\operatorname{pd}}_R \myR \pi_* \O_X < \infty$, we see that the injective dimension of the Grothendieck dual, $\myR \pi_* \omega_X^{\mydot} \cong \pi_* \omega_X[\dim R]$ (by Grauert-Riemenschneider vanishing), is finite. But then $\pi_* \omega_X$ is a finitely generated $R$-module of finite injective dimension and so $R$ is Cohen-Macaulay by Bass’ question [@PeskineSzpiroDimensionProjective; @HochsterTopicsInTheHomologicalTheory; @RobertsIntersectionTheorems].

By the Matlis-dual version of the Grauert-Riemenschneider vanishing, we see that $H^i_{\fram}(\myR \pi_* \O_X) = 0$ for all $i < \dim R$. Hence ${\operatorname{depth}}\myR \pi_* \O_X = \dim R$. Note also that ${\operatorname{pd}}_R \myR \pi_* \O_X {\geqslant}0$ since $h^0(\myR \pi_* \O_X)\neq 0$. Thus we have $${\operatorname{depth}}R = {\operatorname{depth}}(\myR \pi_* \O_X) + {\operatorname{pd}}_R(\myR \pi_* \O_X) {\geqslant}\dim R$$ by and hence $R$ is Cohen-Macaulay.

We are ready to prove the following characterization of rational singularities, this result is an important step towards proving the main theorem and is interesting in its own right.

\[thm.RationalSing\] Suppose $(R, \fram)$ is a local domain essentially of finite type over a field of characteristic zero. Let $\pi : X \to {\operatorname{Spec}}R$ be a resolution of singularities. Then $R$ has rational singularities if and only if ${\operatorname{pd}}_R \myR \pi_* \O_X<\infty$.

If $R$ has rational singularities then obviously ${\operatorname{pd}}_R \myR \pi_* \O_X<\infty$ since $\myR \pi_* \O_X\cong R$. We now assume that ${\operatorname{pd}}_R \myR \pi_* \O_X<\infty$. We already see that $R$ is Cohen-Macaulay by . Hence, it is sufficient to show that $\pi_* \omega_X = \omega_R$.

So we suppose $\pi_* \omega_X \neq \omega_R$. By choosing a minimal prime $P$ of $\Supp (\omega_R/\pi_*\omega_X)$ and replacing $R$ by $R_P$, we may assume $R$ has rational singularities on the punctured spectrum (i.e., $\omega_R/\pi_*\omega_X$ has finite length). Since $\pi_* \omega_X$ has finite injective dimension (see the proof of ), by [@SharpFinitelyGeneratedmodulesFiniteInjectiveDimension Theorem 2.9], $\Hom_R(\omega_R, \pi_* \omega_X)$ has finite projective dimension. But $$\Hom_R(\omega_R, \pi_* \omega_X) = \pi_* \sHom_{\O_X}(\pi^* \omega_R, \omega_X).$$ Now $\sHom_{\O_X}(\pi^* \omega_R, \omega_X)$ is a rank $1$ reflexive sheaf on $X$. Since $X$ is regular, $\sHom_{\O_X}(\pi^* \omega_R, \omega_X)$ is locally free and so its pushforward, which is isomorphic to $$\Hom_R(\omega_R, \pi_* \omega_X) \subseteq \Hom_R(\omega_R, \omega_R) \subseteq R,$$ is an integrally closed ideal. Since our assumption is $0\neq \omega_R/\pi_*\omega_X$ has finite length, it follows that $\Hom_R(\omega_R, \pi_* \omega_X)\neq R$ is an ${\mathfrak{m}}$-primary integrally closed ideal. But then by , ${\operatorname{pd}}_R\Hom_R(\omega_R, \pi_* \omega_X)<\infty$ already implies $R$ is regular and thus $\pi_* \omega_X =\omega_R$ which is a contradiction.

Bhargav Bhatt communicated to us an alternate proof of , which we now sketch. Since $\myR \pi_* \O_X$ is a perfect complex, there exists a trace map $$\myR \Hom_R(\myR \pi_* \O_X, \myR\pi_* \O_X) \to R.$$ On the other hand, we have the map $\myR \pi_* \O_X \to \Hom_R(\myR \pi_* \O_X, \myR\pi_* \O_X)$ coming from $\O_X$’s left multiplication action on itself. We the have the composition $$R \to \myR \pi_* \O_X \to \myR \Hom_R(\myR \pi_* \O_X, \myR\pi_* \O_X) \to R$$ which is an isomorphism generically (on the open set where $\pi$ is an isomorphism), hence an isomorphism. But then $R$ has rational singularities by [@KovacsRat] (note that that result still utilizes Grauert-Riemenschneider vanishing).

An aside on multiplier ideals
-----------------------------

We assume the following is essentially well known to experts, but we do not know a reference.

\[prop.MultiplierIdeal\] Suppose $(R,\fram)$ is a normal local domain essentially of finite type over a field of characteristic zero. Suppose $0\neq f\in R$ such that $\Div_R(f)$ is reduced. Fix $N{\geqslant}0$ and let $S=R[f^{1\over N+1}]$ be the normal cyclic cover. Then $\mJ(\omega_S)$ has an $R$-summand isomorphic to $\mJ(\omega_R, f^{N \over N+1})$.

Since $\Div_R(f)$ is reduced, $S$ is regular in codimension $1$ and hence $S$ is normal. Choose $-K_R$ effective. By [@LazarsfeldPositivity2 Theorem 9.5.42] (see also [@BlickleSchwedeTuckerTestAlterations Theorem 8.1]) we see that $$\mJ(R, -K_R + {N \over N+1} \Div_R f) = R \cap \mJ(S, -\Ram_{S/R}  - \rho^* K_R + {N \over N+1} \Div_S f ).$$ Again since $\Div_R f$ is reduced, we see that $\Ram_{S/R} = {N \over N+1} \Div_S f$ and hence $$\mJ(R, -K_R + {N \over N+1} \Div_R f) \subseteq \mJ(S, -\rho^* K_R).$$ On the other hand, by [@BlickleSchwedeTuckerTestAlterations Theorem 8.1], we have a splitting (up to scalars) $$\begin{array}{rl}
& \Tr(\mJ(S, -\rho^* K_R)) \\
= & \Tr(\mJ(S, -\rho^* K_R - \Ram_{S/R} + {N \over N+1} \Div_S f )) \\
= & \mJ(R, -K_R + {N \over N+1} \Div_R f)\\
 = & \mJ(\omega_R, f^{N \over N+1}).
\end{array}$$ But we have $$\begin{array}{rl}
& \mJ(S, -\rho^* K_R)\\
 = & \mJ(S, -\rho^* K_R - \Ram_{S/R} + {N \over N+1} \Div_S f ) \\
 = & \mJ(S, -K_S + {N \over N+1} \Div_S f ) \\
 = & \mJ(\omega_S, f^{N \over N+1}).
 \end{array}$$ We have just shown that $\mJ(\omega_S, f^{N \over N+1})$ has an $R$-summand isomorphic to $\mJ(\omega_R, f^{N \over N+1})$. But even as an $S$-module $\mJ(\omega_S, f^{N \over N+1}) = f^{N \over N+1} \mJ(\omega_S) \cong \mJ(\omega_S)$, and hence $\mJ(\omega_S)$ has an $R$-summand isomorphic to $\mJ(\omega_R, f^{N \over N+1})$.

Proof of Main Theorem in characteristic zero
--------------------------------------------

We now complete the proof of our main result in characteristic zero.

Suppose $(R, \fram)$ is a local domain essentially of finite type over a field of characteristic zero. Suppose that for every regular alteration $\pi : X \to {\operatorname{Spec}}R$, ${\operatorname{pd}}_R \myR \pi_* \O_X<\infty$. Then $R$ is regular.

By , we already know that $R$ has rational singularities. Choose $N >0$ so that $\mJ(\omega_R, \fram^N)\neq \omega_R$. Then choose a general $f \in \fram^{N+1}$ and by [@LazarsfeldPositivity2 Proposotion 9.2.28] we know that $\mJ(R, -K_R + {N \over N+1} \Div_R f ) = \mJ(R, -K_R, \fram^N) = \mJ(\omega_R, \fram^N)$.

Consider the normal cyclic cover $S = R[f^{1\over N+1}]$. Since $f$ is general, $\Div_R(f)$ is reduced and by , we know that $\mJ(\omega_S)$ has an $R$-summand isomorphic to $\mJ(\omega_R, f^{N \over N+1})$.

Next consider a resolution of singularities $\pi$: $X\to {\operatorname{Spec}}S$, then the composition $X\to {\operatorname{Spec}}S\to {\operatorname{Spec}}R$ is a regular alteration. Moreover, $\pi_*\omega_X=\mJ(\omega_S)$ has finite injective dimension over $R$ (because $\pi_*\omega_X[\dim R]$ is the Grothendieck dual of $\myR\pi_*\O_X$), so does its direct summand $\mJ(\omega_R, f^{N \over N+1})$. Therefore by [@SharpFinitelyGeneratedmodulesFiniteInjectiveDimension Theorem 2.9], $$\Hom_R(\omega_R, \mJ(\omega_R, f^{N \over N+1})) \subseteq \Hom_R(\omega_R, \omega_R) \cong R$$ has finite projective dimension. Since $\mJ(\omega_R, f^{N \over N+1})=\mJ(\omega_R,{\mathfrak{m}}^N)$ agrees with $\omega_R$ except at the origin (where it *does not* agree). Thus $\Hom_R(\omega_R, \mJ(\omega_R, f^{N \over N+1}))$ lacks the identity map $\omega_R \to \omega_R$ and hence it is identified with an $\fram$-primary ideal of $R$.

Next we show that $\Hom_R(\omega_R, \mJ(\omega_R, f^{N \over N+1})) \subseteq R$ is an integrally closed ideal. Take a log resolution of singularities $\pi : X \to {\operatorname{Spec}}R$ of $(R, \Div_R(f))$. By definition we have $\mJ(\omega_R, f^{N \over N+1}) = \pi_* \O_X(\lceil K_X - {N \over N+1} \Div_X(f)\rceil )$. Thus $$\begin{array}{rl}
& \Hom_R(\omega_R, \mJ(\omega_R, f^{N \over N+1}))  \\
= &\Hom_R(\omega_R, \pi_* \O_X(\lceil K_X - {N \over N+1} \Div_X(f)\rceil )) \\
= & \pi_* \sHom_{\O_X}(\pi^* \omega_R, \O_X(\lceil K_X - {N \over N+1} \Div_X(f)\rceil )).
\end{array}$$ As in the proof of , since $\sL := \sHom_{\O_X}(\pi^* \omega_R, \O_X(\lceil K_X - {N \over N+1} \Div_X(f)\rceil ))$ is a rank 1 reflexive sheaf and $X$ is regular, $\sL$ is invertible. Thus $\Hom_R(\omega_R, \pi_* \O_X(\lceil K_X - {N \over N+1} \Div_X(f)\rceil ))$ is an integrally closed ${\mathfrak{m}}$-primary ideal of finite projective dimension. Therefore $R$ is regular by .

\[rmk.MixedCharacteristicSurface\] We believe that the above proof can be run (essentially without change) for excellent surfaces even in mixed characteristic. The key facts we need are that Grauert-Riemenschneider still holds for excellent surfaces [@LipmanDesingularizationOf2Dimensional Corollary 2.10] and that we can choose a general element $f$ in $\fram^{N+1}$ so that $\mJ(R, f^{N/N+1})$ is $\fram$-primary [@TrivediLocalBertini; @TrivediLocalBertiniErratum] (using that $R$ is regular outside of the origin since we may reduce to the case that $R$ is normal).
