Semi-log canonical vs \(F\)-pure singularities (Q420678): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 21:36, 29 June 2023
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