Year: 2020
Type: preprint
Abstract: Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$ such that the ideal $I$ is the sum of images of all $R$-linear maps $S\to R$.
Source: arXiv (Cornell University)
Authors: Polstra, Thomas, Schwede, Karl
Institutions: University of Alabama, University of Utah
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
Awards: FRG: Collaborative Research: Algebraic Geometry and Singularities in Positive and Mixed Characteristic, CAREER: Test Ideals and the Geometry of Projective Varieties in Positive Characteristic, Commutative Algebra: Singularities in All Characteristics with Geometric Applications, A Unified Perspective on Singularities in Commutative Algebra and Algebraic Geometry, G6671297155, G7099643781, PostDoctoral Research Fellowship, CAREER: Test Ideals and the Geometry of Projective Varieties in Positive Characteristic, G8760004534
OpenAlex ID: W3045736973