Semi-log canonical vs \(F\)-pure singularities
type: Item
instance of: scholarly article
title: Semi-log canonical vs \(F\)-pure singularities
zbMATH Open document ID: 1239.13010
author: Lance Edward Miller
author: Karl Schwede
published in: Journal of Algebra
publication date: 2012-05-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/1101.1033
reviewed by: Wenliang Zhang
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 14E30
Mathematics Subject Classification ID: 14B05
zbMATH DE Number: 6037571
zbMATH Keywords: Frobenius map
zbMATH Keywords: F-purity
zbMATH Keywords: normalization
zbMATH Keywords: semimornal
zbMATH Keywords: semi-log canonical
zbMATH Keywords: log canonical
MaRDI profile type: Publication
OpenAlex ID: W2962776441
arXiv ID: 1101.1033
cites work: Frobenius splitting methods in geometry and representation theory
cites work: F-Purity and Rational Singularity
cites work: Q3154990
cites work: The structure of one-dimensional F-pure rings
cites work: Q4200313
cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
cites work: Conducteur, descente et pincement
cites work: F-regular and F-pure rings vs. log terminal and log canonical singularities
cites work: Generalized divisors on Gorenstein schemes
cites work: Generalized divisors and biliaison
cites work: Resolution of singularities of an algebraic variety over a field of characteristic zero. I
cites work: Cyclic Purity Versus Purity in Excellent Noetherian Rings
cites work: Q3414477
cites work: Inversion of adjunction on log canonicity
cites work: Q3136464
cites work: Characterizations of Regular Local Rings of Characteristic p
cites work: On Noetherian Rings of Characteristic p
cites work: Q3714169
cites work: Q4650504
cites work: Weakly normal varieties: The multicross singularity and some vanishing theorems on local cohomology
cites work: Frobenius splitting and cohomology vanishing for Schubert varieties
cites work: Q3015018
cites work: \(F\)-adjunction
cites work: Centers of \(F\)-purity
cites work: On the behavior of test ideals under finite morphisms
cites work: F-singularities of pairs and inversion of adjunction of arbitrary codimension
cites work: Weak normality and seminormality
DOI: 10.1016/J.JALGEBRA.2011.08.035
review text: Let \(R\) be a reduced ring of characteristic \(p>0\) and let \(R^N\) denote its normalization. It is known that each \(R\)-linear map \(\phi:F^e_*R\to R\) admits a unique extension \(\widetilde{\phi}:F^e_*R^N\to R^N\). The paper under review investigates an interesting question:NEWLINENEWLINEQuestion. Let \(R\), \(R^N\), \(\phi\) and \(\widetilde{\phi}\) be as above. Assume that \(\widetilde{\phi}\) is surjective, is \(\phi\) also surjective?NEWLINENEWLINEIt has been known that, without any further assumptions on \(R\), this question has a negative answer. The paper under review discovers a class of rings, called rings with \textit{hereditary surjective trace}, where this question has a positive answer. A ring with \textit{hereditary surjective trace} is defined recursively as follows (note that this definition is characteristic-free).NEWLINENEWLINEDefinition. A reduced ring \(A\) is said to have \textit{hereditary surjective trace} if there exist minimal associated prim ideals of the conductor ideal \(\mathfrak{c}\), \(\mathfrak{p}\in \mathrm{Spec}(A)\) and \(\mathfrak{q}\in \mathrm{Spec}(A^N)\) such that \(A\cap \mathfrak{q}=\mathfrak{p}\) satisfyingNEWLINENEWLINE (1). \(Tr:(A^N/\mathfrak{q})^N\to (A/\mathfrak{p})^N\) is surjective;NEWLINENEWLINE (2). \(A/\mathfrak{p}\) has hereditary surjective trace.NEWLINENEWLINEThe main theorem of the paper under review is:NEWLINENEWLINEMain Theorem. Let \(R\) be a reduced \(F\)-finite ring of characteristic \(p>0\) that has hereditary surjective trace. Assume that \(\phi:F^e_*R\to R\) is an \(R\)-linear map and that its extension \(\widetilde{\phi}:F^e_*R^N\to R^N\) is surjective. Then \(\phi\) is also surjective.NEWLINENEWLINEOne of the corollaries of the main theorem is an analogue of a well-known criterion for semi-log canonicity:NEWLINENEWLINECorollary. Suppose that \(X=\text{Spec}(R)\) is an affine \(F\)-finite scheme satisfying hereditary surjective trace and which is also \(S_2\), \(G_1\) and \(\mathbb{Z}_{(p)}\)-Gore…
description: scientific article; zbMATH DE number 6037571