Showing 1–20 of 20 results for author: Polstra, T

Zariski-Nagata Theorems for Singularities and the Uniform Izumi-Rees Property

Authors: Thomas Polstra

Abstract: We introduce and explore the Uniform Izumi-Rees Property in Noetherian rings with applications to multiplicity theory and containment relationships among symbolic powers of ideals. As an application, we prove that if $R$ is a normal domain essentially of finite type over a field, there exists a constant $C$ so that for all prime ideals $\mathfrak{p}\subseteq \mathfrak{q}\in\mbox{Spec}(R)$, if… ▽ More We introduce and explore the Uniform Izumi-Rees Property in Noetherian rings with applications to multiplicity theory and containment relationships among symbolic powers of ideals. As an application, we prove that if $R$ is a normal domain essentially of finite type over a field, there exists a constant $C$ so that for all prime ideals $\mathfrak{p}\subseteq \mathfrak{q}\in\mbox{Spec}(R)$, if $\mathfrak{p}\subseteq \mathfrak{q}^{(t)}$, then for all $n\in\mathbb{N}$, there is a containment of symbolic powers $\mathfrak{p}^{(Cn)}\subseteq \mathfrak{q}^{(tn)}$. △ Less

Submitted 2 June, 2024; originally announced June 2024.

Comments: 21 pages, comments welcome

MSC Class: 13H15 (Primary) 13A18; 13A30; 14C17

On $F$-pure inversion of adjunction

Authors: Thomas Polstra, Austyn Simpson, Kevin Tucker

Abstract: We analyze adjunction and inversion of adjunction for the $F$-purity of divisor pairs in characteristic $p > 0$. In this vein, we give a complete answer for principal divisors under $\mathbb{Q}$-Gorenstein assumptions but without divisibility restrictions on the index. We also give a detailed analysis relating the $F$-purity of the pairs $(R,Δ+ D)$ and that of $(R_D, \text{Diff}_D(Δ))$ motivated b… ▽ More We analyze adjunction and inversion of adjunction for the $F$-purity of divisor pairs in characteristic $p > 0$. In this vein, we give a complete answer for principal divisors under $\mathbb{Q}$-Gorenstein assumptions but without divisibility restrictions on the index. We also give a detailed analysis relating the $F$-purity of the pairs $(R,Δ+ D)$ and that of $(R_D, \text{Diff}_D(Δ))$ motivated by Kawakita's log canonical inversion of adjunction via reduction to prime characteristic. △ Less

Submitted 27 May, 2023; originally announced May 2023.

Comments: 21 pages, comments welcome

Primary Decompositions of Regular Sequences

Authors: Thomas Polstra

Abstract: Let $R$ be a Noetherian ring and $x_1,\ldots,x_t$ a permutable regular sequence of elements in $R$. Then there exists a finite set of primes $Λ$ and natural number $C$ so that for all $n_1,\ldots,n_t$ there exists a primary decomposition $(x_1^{n_1},\ldots,x_t^{n_t})=Q_1\cap \cdots \cap Q_\ell$ so that $\sqrt{Q_i}\in Λ$ and $\sqrt{Q_i}^{C(n_1+\cdots + n_t)}\subseteq Q_i$ for all… ▽ More Let $R$ be a Noetherian ring and $x_1,\ldots,x_t$ a permutable regular sequence of elements in $R$. Then there exists a finite set of primes $Λ$ and natural number $C$ so that for all $n_1,\ldots,n_t$ there exists a primary decomposition $(x_1^{n_1},\ldots,x_t^{n_t})=Q_1\cap \cdots \cap Q_\ell$ so that $\sqrt{Q_i}\in Λ$ and $\sqrt{Q_i}^{C(n_1+\cdots + n_t)}\subseteq Q_i$ for all $1\leq i\leq \ell$. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: Comments welcome

On the Equality of Test Ideals

Authors: Ian Aberbach, Craig Huneke, Thomas Polstra

Abstract: We provide a natural criterion which implies equality of the finitistic test ideal and test ideal in local rings of prime characteristic. Most notably, we show that the criterion is met by every local weakly $F$-regular ring whose anti-canonical algebra is Noetherian on the punctured spectrum. We provide a natural criterion which implies equality of the finitistic test ideal and test ideal in local rings of prime characteristic. Most notably, we show that the criterion is met by every local weakly $F$-regular ring whose anti-canonical algebra is Noetherian on the punctured spectrum. △ Less

Submitted 16 January, 2024; v1 submitted 5 January, 2023; originally announced January 2023.

Comments: Comments welcome. arXiv admin note: substantial text overlap with arXiv:1909.11231

$F$-purity deforms in $\mathbb{Q}$-Gorenstein rings

Authors: Thomas Polstra, Austyn Simpson

Abstract: We show that $F$-purity deforms in local $\mathbb{Q}$-Gorenstein rings of prime characteristic $p>0$. Furthermore, we show that $F$-purity is $\mathfrak{m}$-adically stable in local Cohen-Macaulay $\mathbb{Q}$-Gorenstein rings. We show that $F$-purity deforms in local $\mathbb{Q}$-Gorenstein rings of prime characteristic $p>0$. Furthermore, we show that $F$-purity is $\mathfrak{m}$-adically stable in local Cohen-Macaulay $\mathbb{Q}$-Gorenstein rings. △ Less

Submitted 7 September, 2022; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: The introduction has been rewritten. The article is to appear in International Mathematics Research Notices

Compatible ideals in Gorenstein rings

Authors: Thomas Polstra, Karl Schwede

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$. 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$. △ Less

Submitted 7 November, 2022; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: Previous versions of the article proved the main theorem under the additional assumption that the $\mathbb{Q}$-Gorenstein index was relatively prime to the characteristic of $R$. Edits to the proof of the main theorem have been made

A theorem about maximal Cohen-Macaulay modules

Authors: Thomas Polstra

Abstract: It is shown in a local strongly $F$-regular ring there exits natural number $e_0$ so that if $M$ is any finitely generated maximal Cohen-Macaulay module then the pushforward of $M$ under the $e_0$th iterate of the Frobenius endomorphism contains a free summand. Consequently, the torsion subgroup of the divisor class group of a local strongly $F$-regular ring is finite. It is shown in a local strongly $F$-regular ring there exits natural number $e_0$ so that if $M$ is any finitely generated maximal Cohen-Macaulay module then the pushforward of $M$ under the $e_0$th iterate of the Frobenius endomorphism contains a free summand. Consequently, the torsion subgroup of the divisor class group of a local strongly $F$-regular ring is finite. △ Less

Submitted 2 June, 2020; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: Minor edits have been made to improve readability of the paper

$F$-nilpotent rings and permanence properties

Authors: Jennifer Kenkel, Kyle Maddox, Thomas Polstra, Austyn Simpson

Abstract: We explore the singularity classes $F$-nilpotent, weakly $F$-nilpotent, and generalized weakly $F$-nilpotent under faithfully flat local ring maps. As an application, we show that the loci of primes in a Noetherian ring of prime characteristic which define either weakly $F$-nilpotent or $F$-nilpotent local rings are open with respect to the Zariski topology whenever $R$ is $F$-finite or essentiall… ▽ More We explore the singularity classes $F$-nilpotent, weakly $F$-nilpotent, and generalized weakly $F$-nilpotent under faithfully flat local ring maps. As an application, we show that the loci of primes in a Noetherian ring of prime characteristic which define either weakly $F$-nilpotent or $F$-nilpotent local rings are open with respect to the Zariski topology whenever $R$ is $F$-finite or essentially of finite type over an excellent local ring. △ Less

Submitted 30 January, 2020; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: Improvements to the article have been made

Journal ref: J. Commut. Algebra 15(4): 559-575 (Winter 2023)

Local cohomology bounds and test ideals

Authors: Ian Aberbach, Thomas Polstra

Abstract: We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of $F$-regular and strongly $F$-regular for 4-dimensional rings essentially of finite type over a field of prime characteristic $p>5$. We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of $F$-regular and strongly $F$-regular for 4-dimensional rings essentially of finite type over a field of prime characteristic $p>5$. △ Less

Submitted 13 March, 2021; v1 submitted 24 September, 2019; originally announced September 2019.

Covers of rational double points in mixed characteristic

Authors: Javier Carvajal-Rojas, Linquan Ma, Thomas Polstra, Karl Schwede, Kevin Tucker

Abstract: We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an isolated rational singularity at the maximal ideal $\mathfrak{n}$. The classification of such functions are used to show that if $(R, \mathfrak{m}, \mathcal{k})$… ▽ More We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an isolated rational singularity at the maximal ideal $\mathfrak{n}$. The classification of such functions are used to show that if $(R, \mathfrak{m}, \mathcal{k})$ is an excellent, strictly Henselian, Gorenstein rational singularity of dimension $2$ and mixed characteristic $(0, p > 5)$, then there exists a split finite cover of $\mbox{Spec}(R)$ by a regular scheme. We give an application of our result to the study of $2$-dimensional BCM-regular singularities in mixed characteristic. △ Less

Submitted 16 August, 2022; v1 submitted 4 August, 2019; originally announced August 2019.

Comments: Comments welcome!

Journal ref: J. Singul. 23 (2021), 127--150

Equimultiplicity Theory of Strongly $F$-regular rings

Authors: Thomas Polstra, Ilya Smirnov

Abstract: We explore the equimultiplicity theory of the $F$-invariants Hilbert--Kunz multiplicity, $F$-signature, Frobenius Betti numbers, and Frobenius Euler characteristic over strongly $F$-regular rings. Techniques introduced in this article provide a unified approach to the study of these $F$-invariants under localization and as measurements of singularities. We explore the equimultiplicity theory of the $F$-invariants Hilbert--Kunz multiplicity, $F$-signature, Frobenius Betti numbers, and Frobenius Euler characteristic over strongly $F$-regular rings. Techniques introduced in this article provide a unified approach to the study of these $F$-invariants under localization and as measurements of singularities. △ Less

Submitted 25 September, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: 17 pages

MSC Class: 13A35; 13D40

Global Frobenius Betti numbers and F-splitting ratio

Authors: Alessandro De Stefani, Thomas Polstra, Yongwei Yao

Abstract: We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair $(R,\mathscr{D})$, where $\mathscr{D}$ is a Cartier algebra, is equivalent to the positivity of the global F-signature ${\rm s}(R,\mathscr{D})$ of the pair. Th… ▽ More We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair $(R,\mathscr{D})$, where $\mathscr{D}$ is a Cartier algebra, is equivalent to the positivity of the global F-signature ${\rm s}(R,\mathscr{D})$ of the pair. This extends a result previously proved by these authors, by removing an extra assumption on the Cartier algebra. △ Less

Submitted 27 November, 2018; originally announced November 2018.

Comments: 31 pages

$F$-signature under birational morphisms

Authors: Linquan Ma, Thomas Polstra, Karl Schwede, Kevin Tucker

Abstract: We study $F$-signature under proper birational morphisms $π: Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq π^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature drop** and Hilbert-Kunz multiplicity increasing under birational maps without these hypotheses… ▽ More We study $F$-signature under proper birational morphisms $π: Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq π^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature drop** and Hilbert-Kunz multiplicity increasing under birational maps without these hypotheses. △ Less

Submitted 28 September, 2018; originally announced October 2018.

Comments: 15 pages, comments welcome

MSC Class: 14F18; 13A35; 14J17; 14B05

Journal ref: Forum of Mathematics, Sigma 7 (2019) e11

Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals

Authors: Thomas Polstra, Pham Hung Quy

Abstract: The study of Frobenius actions on local cohomology modules over a local ring of prime characteristic has interesting connections with the theory of tight closure. This paper establishes new connections by develo** the notion of relative Frobenius actions on local cohomology. As an application, we show that a ring has $F$-nilpotent singularities if and only if the tight closure of every parameter… ▽ More The study of Frobenius actions on local cohomology modules over a local ring of prime characteristic has interesting connections with the theory of tight closure. This paper establishes new connections by develo** the notion of relative Frobenius actions on local cohomology. As an application, we show that a ring has $F$-nilpotent singularities if and only if the tight closure of every parameter ideal is equal to its Frobenius closure. △ Less

Submitted 26 March, 2019; v1 submitted 11 March, 2018; originally announced March 2018.

Comments: Final version, to appear in Journal of Algebra

MSC Class: 13A35; 13D45

Continuity of Hilbert-Kunz multiplicity and F-signature

Authors: Thomas Polstra, Ilya Smirnov

Abstract: We establish the continuity of Hilbert-Kunz multiplicity and F-signature as functions from a Cohen-Macaulay local ring $(R,\m,k)$ of prime characteristic to the real numbers at reduced parameter elements with respect to the $\m$-adic topology. We establish the continuity of Hilbert-Kunz multiplicity and F-signature as functions from a Cohen-Macaulay local ring $(R,\m,k)$ of prime characteristic to the real numbers at reduced parameter elements with respect to the $\m$-adic topology. △ Less

Submitted 9 December, 2019; v1 submitted 13 July, 2017; originally announced July 2017.

Comments: New version: as pointed out by Alessandro De Stefani the main theorem for F-signature holds only if the ring is Gorenstein

Generalizing Serre's Splitting Theorem and Bass's Cancellation Theorem via free-basic elements

Authors: Alessandro De Stefani, Thomas Polstra, Yongwei Yao

Abstract: We give new proofs of two results of Stafford, which generalize two famous Theorems of Serre and Bass regarding projective modules. Our techniques are inspired by the theory of basic elements. Using these methods we further generalize Serre's Splitting Theorem by imposing a condition to the splitting maps, which has an application to the case of Cartier algebras. We give new proofs of two results of Stafford, which generalize two famous Theorems of Serre and Bass regarding projective modules. Our techniques are inspired by the theory of basic elements. Using these methods we further generalize Serre's Splitting Theorem by imposing a condition to the splitting maps, which has an application to the case of Cartier algebras. △ Less

Submitted 30 August, 2016; originally announced August 2016.

Comments: 15 pages, comments welcome

Globalizing F-invariants

Authors: Alessandro De Stefani, Thomas Polstra, Yongwei Yao

Abstract: In this paper we define and study the global Hilbert-Kunz multiplicity and the global F-signature of prime characteristic rings which are not necessarily local. Our techniques are made meaningful by extending many known theorems about Hilbert-Kunz multiplicity and F-signature to the non-local case. In this paper we define and study the global Hilbert-Kunz multiplicity and the global F-signature of prime characteristic rings which are not necessarily local. Our techniques are made meaningful by extending many known theorems about Hilbert-Kunz multiplicity and F-signature to the non-local case. △ Less

Submitted 30 August, 2016; originally announced August 2016.

F-signature and Hilbert-Kunz Multipicity: a combined approach and comparison

Authors: Thomas Polstra, Kevin Tucker

Abstract: We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that give vastly simplified proofs of existence, semicontinuity, and positivity. Furthermore, we give an affirmative answer to a question of Watanabe and Yoshida allo… ▽ More We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that give vastly simplified proofs of existence, semicontinuity, and positivity. Furthermore, we give an affirmative answer to a question of Watanabe and Yoshida allowing the F-signature to be viewed as the infimum of relative differences in the Hilbert-Kunz multiplicites of the cofinite ideals in a local ring. △ Less

Submitted 28 October, 2016; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: Minor changes and corrections

MSC Class: 13A35; 14B05

Journal ref: Alg. Number Th. 12 (2018) 61-97

Uniform Bounds in F-Finite Rings and Lower Semi-Continuity of the F-Signature

Authors: Thomas Polstra

Abstract: This paper establishes uniform bounds in characteristic $p$ rings which are either F-finite or essentially of finite type over an excellent local ring. These uniform bounds are then used to show that the Hilbert-Kunz length functions and the normalized Frobenius splitting numbers defined on the Spectrum of a ring converge uniformly to their limits, namely the Hilbert-Kunz multiplicity function and… ▽ More This paper establishes uniform bounds in characteristic $p$ rings which are either F-finite or essentially of finite type over an excellent local ring. These uniform bounds are then used to show that the Hilbert-Kunz length functions and the normalized Frobenius splitting numbers defined on the Spectrum of a ring converge uniformly to their limits, namely the Hilbert-Kunz multiplicity function and the F-signature function. From this we establish that the F-signature function is lower semi-continuous. We also give a new proof of the upper semi-continuity of Hilbert-Kunz multiplicity, which was originally proven by Ilya Smirnov. △ Less

Submitted 11 December, 2015; v1 submitted 2 June, 2015; originally announced June 2015.

MSC Class: 13A35; 13D40; 13F40; 14B05

Depths and Cohen-Macaulay Properties of Path Ideals

Authors: Daniel Campos, Ryan Gunderson, Susan Morey, Chelsey Paulsen, Thomas Polstra

Abstract: Given a tree T on n vertices, there is an associated ideal I of a polynomial ring in n variables over a field, generated by all paths of a fixed length of T. We show that such an ideal always satisfies the Konig property and classify all trees for which R/I is Cohen-Macaulay. More generally, we show that an ideal I whose generators correspond to any collection of subtrees of T satisfies the Konig… ▽ More Given a tree T on n vertices, there is an associated ideal I of a polynomial ring in n variables over a field, generated by all paths of a fixed length of T. We show that such an ideal always satisfies the Konig property and classify all trees for which R/I is Cohen-Macaulay. More generally, we show that an ideal I whose generators correspond to any collection of subtrees of T satisfies the Konig property. Since the edge ideal of a simplicial tree has this form, this generalizes a result of Faridi. Moreover, every square-free monomial ideal can be represented (non-uniquely) as a subtree ideal of a graph, so this construction provides a new combinatorial tool for studying square-free monomial ideals. For a special class of trees, namely trees that are themselves a path, a precise formula for the depth is given and it is shown that the proof extends to provide a lower bound on the Stanley depth of these ideals. Combining these results gives a new class of ideals for which the Stanley Conjecture holds. △ Less

Submitted 19 November, 2012; originally announced November 2012.

MSC Class: Primary 05E40; 13C14; 13F55; Secondary 13A15; 05C25; 05C65; 05C05