Showing 1–8 of 8 results for author: Quinlan-Gallego, E

Plus-pure thresholds of some cusp-like singularities in mixed characteristic

Authors: Hanlin Cai, Suchitra Pande, Eamon Quinlan-Gallego, Karl Schwede, Kevin Tucker

Abstract: Log-canonical and $F$-pure thresholds of pairs in equal characteristic admit an analog in the recent theory of singularities in mixed characteristic, which is known as the plus-pure threshold. In this paper we study plus-pure thresholds for singularities of the form $p^a + x^b \in {\bf Z}_p [[ x ]]$, showing that in a number of cases this plus-pure threshold agrees with the $F$-pure threshold of t… ▽ More Log-canonical and $F$-pure thresholds of pairs in equal characteristic admit an analog in the recent theory of singularities in mixed characteristic, which is known as the plus-pure threshold. In this paper we study plus-pure thresholds for singularities of the form $p^a + x^b \in {\bf Z}_p [[ x ]]$, showing that in a number of cases this plus-pure threshold agrees with the $F$-pure threshold of the singularity $t^a + x^b \in {\bf F}_p [[ t, x ]]$. We also discuss a few other sporadic examples. △ Less

Submitted 13 January, 2025; originally announced January 2025.

Comments: 15 pages, 1 table, 1 figure

Bernstein-Sato theory modulo $p^m$

Authors: Thomas Bitoun, Eamon Quinlan-Gallego

Abstract: For fixed prime integer $p > 0$ we develop a notion of Bernstein-Sato polynomial for polynomials with $\mathbb{Z} / p^m$-coefficients, compatible with existing theory in the case $m = 1$. We show that the ``roots" of such polynomials are rational and we show that the negative roots agree with those of the mod-$p$ reduction. We give examples to show that, surprisingly, roots may be positive in this… ▽ More For fixed prime integer $p > 0$ we develop a notion of Bernstein-Sato polynomial for polynomials with $\mathbb{Z} / p^m$-coefficients, compatible with existing theory in the case $m = 1$. We show that the ``roots" of such polynomials are rational and we show that the negative roots agree with those of the mod-$p$ reduction. We give examples to show that, surprisingly, roots may be positive in this context. Moreover, our construction allows us to define a notion of ``strength" for roots by measuring $p$-torsion, and we show that ``strong" roots give rise to roots in characteristic zero through mod-$p$ reduction. △ Less

Submitted 6 March, 2025; v1 submitted 13 January, 2024; originally announced January 2024.

Comments: Comments welcome. v2: fixed typos, small changes in notation, and additional example following suggestions from the referee

Flat morphisms with regular fibers do not preserve $F$-rationality

Authors: Eamon Quinlan-Gallego, Austyn Simpson, Anurag K. Singh

Abstract: For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R, \mathfrak{m}) \to (S, \mathfrak{n})$ such that $R$ is $F$-rational, $S/\mathfrak{m} S$ is regular (in fact, a field), but $S$ is not $F$-rational. In the proce… ▽ More For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R, \mathfrak{m}) \to (S, \mathfrak{n})$ such that $R$ is $F$-rational, $S/\mathfrak{m} S$ is regular (in fact, a field), but $S$ is not $F$-rational. In the process we also obtain standard graded $F$-rational rings $R$ for which $R\otimes_K R$ is not $F$-rational. △ Less

Submitted 2 June, 2024; v1 submitted 7 July, 2023; originally announced July 2023.

A formalism of $F$-modules for rings with complete local finite $F$-representation type

Authors: Eamon Quinlan-Gallego

Abstract: We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such a ring then the iterated local cohomology modules $H^{n_1}_{I_1} \circ \cdots \circ H^{n_s}_{I_s}(R)$ have finitely many associated primes, and that all local c… ▽ More We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such a ring then the iterated local cohomology modules $H^{n_1}_{I_1} \circ \cdots \circ H^{n_s}_{I_s}(R)$ have finitely many associated primes, and that all local cohomology modules $H^n_I(R / gR)$ have closed support when $g$ is a nonzerodivisor on $R$. △ Less

Submitted 12 March, 2024; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: v2: fixed typos and extended introduction to Section 4. v1: 25 pages, comments appreciated

Bernstein-Sato theory for singular rings in positive characteristic

Authors: Jack Jeffries, Luis Núñez-Betancourt, Eamon Quinlan-Gallego

Abstract: The Bernstein-Sato polynomial is an important invariant of an element or an ideal in a polynomial ring or power series ring of characteristic zero, with interesting connections to various algebraic and topological aspects of the singularities of the vanishing locus. Work of Mustaţă, later extended by Bitoun and the third author, provides an analogous Bernstein-Sato theory for regular rings of posi… ▽ More The Bernstein-Sato polynomial is an important invariant of an element or an ideal in a polynomial ring or power series ring of characteristic zero, with interesting connections to various algebraic and topological aspects of the singularities of the vanishing locus. Work of Mustaţă, later extended by Bitoun and the third author, provides an analogous Bernstein-Sato theory for regular rings of positive characteristic. In this paper, we extend this theory to singular ambient rings in positive characteristic. We establish finiteness and rationality results for Bernstein-Sato roots for large classes of singular rings, and relate these roots to other classes of numerical invariants defined via the Frobenius map. We also obtain a number of new results and simplified arguments in the regular case. △ Less

Submitted 22 February, 2023; v1 submitted 30 September, 2021; originally announced October 2021.

Comments: v2: minor fixes after referee report; 58 pages; comments appreciated

Symmetry on rings of differential operators

Authors: Eamon Quinlan-Gallego

Abstract: If $k$ is a field and $R$ is a commutative $k$-algebra, we explore the question of when the ring $D_{R|k}$ of $k$-linear differential operators on $R$ is isomorphic to its opposite ring. Under mild hypotheses, we prove this is the case whenever $R$ Gorenstein local or when $R$ is a ring of invariants. As a key step in the proof we show that in many cases of interest canonical modules admit right… ▽ More If $k$ is a field and $R$ is a commutative $k$-algebra, we explore the question of when the ring $D_{R|k}$ of $k$-linear differential operators on $R$ is isomorphic to its opposite ring. Under mild hypotheses, we prove this is the case whenever $R$ Gorenstein local or when $R$ is a ring of invariants. As a key step in the proof we show that in many cases of interest canonical modules admit right $D$-module structures. After this work was completed we realized that some of our results were already proved in higher generality by Yekutieli, albeit using more sophisticated methods. △ Less

Submitted 16 September, 2021; v1 submitted 17 May, 2020; originally announced May 2020.

Comments: v2: some results are shifted to improve readability. 16 pages, comments welcome

Bernstein-Sato roots for monomial ideals in positive characteristic

Authors: Eamon Quinlan-Gallego

Abstract: Following work of Mustaţă and Bitoun we recently developed a notion of Bernstein-Sato roots for arbitrary ideals, which is a prime characteristic analogue for the roots of the Bernstein-Sato polynomial. Here we prove that for monomial ideals the roots of the Bernstein-Sato polynomial (over $\mathbb{C}$) agree with the Bernstein-Sato roots of the mod-$p$ reductions of the ideal for $p$ large enough… ▽ More Following work of Mustaţă and Bitoun we recently developed a notion of Bernstein-Sato roots for arbitrary ideals, which is a prime characteristic analogue for the roots of the Bernstein-Sato polynomial. Here we prove that for monomial ideals the roots of the Bernstein-Sato polynomial (over $\mathbb{C}$) agree with the Bernstein-Sato roots of the mod-$p$ reductions of the ideal for $p$ large enough. We regard this as evidence that the characteristic-$p$ notion of Bernstein-Sato root is reasonable. △ Less

Submitted 13 November, 2019; v1 submitted 25 July, 2019; originally announced July 2019.

Comments: v2: we use a new characterization of Bernstein-Sato roots to simplify some of the proofs. We include examples in small characteristic. Other minor changes. 9 pages. arXiv admin note: text overlap with arXiv:1907.07297

Bernstein-Sato theory for arbitrary ideals in positive characteristic

Authors: Eamon Quinlan-Gallego

Abstract: Mustaţă defined Bernstein-Sato polynomials in prime characteristic for principal ideals and proved that the roots of these polynomials are related to the $F$-jumping numbers of the ideal. This approach was later refined by Bitoun. Here we generalize these techniques to develop analogous notions for the case of arbitrary ideals and prove that these have similar connections to $F$-jumping numbers. Mustaţă defined Bernstein-Sato polynomials in prime characteristic for principal ideals and proved that the roots of these polynomials are related to the $F$-jumping numbers of the ideal. This approach was later refined by Bitoun. Here we generalize these techniques to develop analogous notions for the case of arbitrary ideals and prove that these have similar connections to $F$-jumping numbers. △ Less

Submitted 13 November, 2019; v1 submitted 16 July, 2019; originally announced July 2019.

Comments: v2: added Subsections 6.1 (some remarks about compatibility with char. 0) 6.5 (other characterizations of Bernstein-Sato roots) and 6.6 (examples). Relaxed assumptions on R. 33 pages