Semi-log canonical vs \(F\)-pure singularities (Q420678): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / 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: Question. Let \(R\), \(R^N\), \(\phi\) and \(\widetilde{\phi}\) be as above. Assume that \(\widetilde{\phi}\) is surjective, is \(\phi\) also surjective? It 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). Definition. 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}\) satisfying (1). \(Tr:(A^N/\mathfrak{q})^N\to (A/\mathfrak{p})^N\) is surjective; (2). \(A/\mathfrak{p}\) has hereditary surjective trace. The main theorem of the paper under review is: Main 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. One of the corollaries of the main theorem is an analogue of a well-known criterion for semi-log canonicity: Corollary. 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)}\)-Gorenstein. Set \(X^N\) to be the normalization of \(X\) and \(B\) to be the divisor on \(X^N\) corresponding to the conductor ideal. Then \(X\) is \(F\)-pure if and only \((X^N,B)\) is \(F\)-pure. A result on inversion of adjunction for schemes with hereditary surjective trace is also obtained. | |||
Property / 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: Question. Let \(R\), \(R^N\), \(\phi\) and \(\widetilde{\phi}\) be as above. Assume that \(\widetilde{\phi}\) is surjective, is \(\phi\) also surjective? It 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). Definition. 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}\) satisfying (1). \(Tr:(A^N/\mathfrak{q})^N\to (A/\mathfrak{p})^N\) is surjective; (2). \(A/\mathfrak{p}\) has hereditary surjective trace. The main theorem of the paper under review is: Main 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. One of the corollaries of the main theorem is an analogue of a well-known criterion for semi-log canonicity: Corollary. 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)}\)-Gorenstein. Set \(X^N\) to be the normalization of \(X\) and \(B\) to be the divisor on \(X^N\) corresponding to the conductor ideal. Then \(X\) is \(F\)-pure if and only \((X^N,B)\) is \(F\)-pure. A result on inversion of adjunction for schemes with hereditary surjective trace is also obtained. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Wenliang Zhang / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14B05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6037571 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius map | |||
Property / zbMATH Keywords: Frobenius map / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
F-purity | |||
Property / zbMATH Keywords: F-purity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
normalization | |||
Property / zbMATH Keywords: normalization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semimornal | |||
Property / zbMATH Keywords: semimornal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semi-log canonical | |||
Property / zbMATH Keywords: semi-log canonical / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
log canonical | |||
Property / zbMATH Keywords: log canonical / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962776441 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1101.1033 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius splitting methods in geometry and representation theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: F-Purity and Rational Singularity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3154990 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of one-dimensional F-pure rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4200313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / 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é / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conducteur, descente et pincement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: F-regular and F-pure rings vs. log terminal and log canonical singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized divisors on Gorenstein schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized divisors and biliaison / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resolution of singularities of an algebraic variety over a field of characteristic zero. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cyclic Purity Versus Purity in Excellent Noetherian Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3414477 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inversion of adjunction on log canonicity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3136464 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterizations of Regular Local Rings of Characteristic p / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Noetherian Rings of Characteristic p / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3714169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4650504 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly normal varieties: The multicross singularity and some vanishing theorems on local cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius splitting and cohomology vanishing for Schubert varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3015018 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(F\)-adjunction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Centers of \(F\)-purity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the behavior of test ideals under finite morphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: F-singularities of pairs and inversion of adjunction of arbitrary codimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak normality and seminormality / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:51, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semi-log canonical vs \(F\)-pure singularities |
scientific article |
Statements
Semi-log canonical vs \(F\)-pure singularities (English)
0 references
23 May 2012
0 references
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: Question. Let \(R\), \(R^N\), \(\phi\) and \(\widetilde{\phi}\) be as above. Assume that \(\widetilde{\phi}\) is surjective, is \(\phi\) also surjective? It 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). Definition. 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}\) satisfying (1). \(Tr:(A^N/\mathfrak{q})^N\to (A/\mathfrak{p})^N\) is surjective; (2). \(A/\mathfrak{p}\) has hereditary surjective trace. The main theorem of the paper under review is: Main 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. One of the corollaries of the main theorem is an analogue of a well-known criterion for semi-log canonicity: Corollary. 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)}\)-Gorenstein. Set \(X^N\) to be the normalization of \(X\) and \(B\) to be the divisor on \(X^N\) corresponding to the conductor ideal. Then \(X\) is \(F\)-pure if and only \((X^N,B)\) is \(F\)-pure. A result on inversion of adjunction for schemes with hereditary surjective trace is also obtained.
0 references
Frobenius map
0 references
F-purity
0 references
normalization
0 references
semimornal
0 references
semi-log canonical
0 references
log canonical
0 references
0 references
0 references