Showing 1–46 of 46 results for author: Núñez-Betancourt, L

Ladder determinantal varieties and their symbolic blowups

Authors: Alessandro De Stefani, Jonathan Montaño, Luis Núñez-Betancourt, Lisa Seccia, Matteo Varbaro

Abstract: In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure alge… ▽ More In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure algebras with straightening law. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 19 pages, 2 figures

Regularity index of the generalized minimum distance function

Authors: Carlos Espinosa-Valdéz, Luis Núñez-Betancourt, Yuriko Pitones

Abstract: We show that the generalized minimum distance function is non-increasing as the degree varies for reduced standard graded algebras over a field. This allows us to define its regularity index and its stabilization value. The stabilization value is computed for every cases. We study how the regularity index varies as the number of polynomial increases, and use this to give bounds for it. We show that the generalized minimum distance function is non-increasing as the degree varies for reduced standard graded algebras over a field. This allows us to define its regularity index and its stabilization value. The stabilization value is computed for every cases. We study how the regularity index varies as the number of polynomial increases, and use this to give bounds for it. △ Less

Submitted 8 April, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

MSC Class: 11T71; 13D40; 13H10; 13P25; 14G50

Purity of monoids and characteristic-free splittings in semigroup rings

Authors: Alessandro De Stefani, Jonathan Montaño, Luis Núñez-Betancourt

Abstract: Inspired by methods in prime characteristic in commutative algebra, we introduce and study combinatorial invariants of seminormal monoids. We relate such numbers with the singularities and homological invariants of the semigroup ring associated to the monoid. Our results are characteristic independent. Inspired by methods in prime characteristic in commutative algebra, we introduce and study combinatorial invariants of seminormal monoids. We relate such numbers with the singularities and homological invariants of the semigroup ring associated to the monoid. Our results are characteristic independent. △ Less

Submitted 1 September, 2023; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: to appear in Mathematische Zeitschrift

Nash blowups of toric varieties in prime characteristic

Authors: Daniel Duarte, Jack Jeffries, Luis Núñez-Betancourt

Abstract: We initiate the study of the resolution of singularities properties of Nash blowups over fields of prime characteristic. We prove that the iteration of normalized Nash blowups desingularizes normal toric surfaces. We also introduce a prime characteristic version of the logarithmic Jacobian ideal of a toric variety and prove that its blowup coincides with the Nash blowup of the variety. As a conseq… ▽ More We initiate the study of the resolution of singularities properties of Nash blowups over fields of prime characteristic. We prove that the iteration of normalized Nash blowups desingularizes normal toric surfaces. We also introduce a prime characteristic version of the logarithmic Jacobian ideal of a toric variety and prove that its blowup coincides with the Nash blowup of the variety. As a consequence, the Nash blowup of a, not necessarily normal, toric variety of arbitrary dimension in prime characteristic can be described combinatorially. △ Less

Submitted 6 April, 2023; v1 submitted 10 August, 2022; originally announced August 2022.

Frobenius methods in combinatorics

Authors: Alessandro De Stefani, Jonathan Montaño, Luis Núñez-Betancourt

Abstract: We survey results produced from the interaction between methods in prime characteristic and combinatorial commutative algebra. We showcase results for edge ideals, toric varieties, Stanley-Reisner rings, and initial ideals that were proven via Frobenius. We also discuss results for monomial ideals obtained using Frobenius-like maps. Finally, we present results for $F$-pure rings that were inspired… ▽ More We survey results produced from the interaction between methods in prime characteristic and combinatorial commutative algebra. We showcase results for edge ideals, toric varieties, Stanley-Reisner rings, and initial ideals that were proven via Frobenius. We also discuss results for monomial ideals obtained using Frobenius-like maps. Finally, we present results for $F$-pure rings that were inspired by work done for Stanley-Reisner rings. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Comments: 35 pages

Bernstein-Sato polynomial and related invariants for meromorphic functions

Authors: Josep Àlvarez Montaner, Manuel González Villa, Edwin León-Cardenal, Luis Núñez-Betancourt

Abstract: We develop a theory of Bernstein-Sato polynomials for meromorphic functions and we use it to study the analytic continuation of Archimedian local zeta functions in this setting. We also introduce both an analytic and an algebraic theory of multiplier ideals for meromorphic functions and relate the jum** numbers of these multiplier ideals to the roots of the Bernstein-Sato polynomials. We develop a theory of Bernstein-Sato polynomials for meromorphic functions and we use it to study the analytic continuation of Archimedian local zeta functions in this setting. We also introduce both an analytic and an algebraic theory of multiplier ideals for meromorphic functions and relate the jum** numbers of these multiplier ideals to the roots of the Bernstein-Sato polynomials. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: 26 pages. Comments welcome

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

Blowup algebras of determinantal ideals in prime characteristic

Authors: Alessandro De Stefani, Jonathan Montaño, Luis Núñez-Betancourt

Abstract: We study when blowup algebras are $F$-split or strongly $F$-regular. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals of Pfaffians of a skew-symmetric matrix. We use these results to obtain bounds on the degrees of the defining equations for these algebras. We also prove that t… ▽ More We study when blowup algebras are $F$-split or strongly $F$-regular. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals of Pfaffians of a skew-symmetric matrix. We use these results to obtain bounds on the degrees of the defining equations for these algebras. We also prove that the limit of the normalized regularity of the symbolic powers of these ideals exists and that their depth stabilizes. Finally, we show that, for determinantal ideals, there exists a monomial order for which taking initial ideals commutes with taking symbolic powers. To obtain these results we develop the notion of $F$-split filtrations and symbolic $F$-split ideals. △ Less

Submitted 18 June, 2024; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: Final version. This preprint corrects, replaces, and expands the work done in preprint arXiv:2004.03831, which contains a mistake Lemma 5.4. The new version changes some terminology. We also added a new result about F-regularity for symbolic Rees algebras of ideals associated to symmetric matrices (Theorem 6.16)

MSC Class: 13A30; 13A35; 13A02; 13C15

Bernstein-Sato polynomials in commutative algebra

Authors: Josep Àlvarez Montaner, Jack Jeffries, Luis Núñez-Betancourt

Abstract: This is an expository survey on the theory of Bernstein-Sato polynomials with special emphasis in its recent developments and its importance in commutative algebra. This is an expository survey on the theory of Bernstein-Sato polynomials with special emphasis in its recent developments and its importance in commutative algebra. △ Less

Submitted 21 August, 2021; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: 64 pages. Minor changes

Bernstein's inequality and holonomicity for certain singular rings

Authors: Josep Àlvarez Montaner, Daniel J. Hernández, Jack Jeffries, Luis Núñez-Betancourt, Pedro Teixeira, Emily E. Witt

Abstract: In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-m… ▽ More In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-modules, in this context, have finite length. We obtain these results using a more general version of Bernstein filtrations. △ Less

Submitted 15 April, 2022; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 40 pages. Added new Section 4.3 and Section 5.3. Comments welcome

Poincaré series of multiplier and test ideals

Authors: Josep Àlvarez Montaner, Luis Núñez-Betancourt

Abstract: We prove the rationality of the Poincaré series of multiplier ideals in any dimension and thus extending the main results for surfaces of Galindo and Monserrat and Alberich-Carramiñana et al. Our results also hold for Poincaré series of test ideals. In order to do so, we introduce a theory of Hilbert functions indexed over $\mathbb{R}$ which gives an unified treatment of both cases. We prove the rationality of the Poincaré series of multiplier ideals in any dimension and thus extending the main results for surfaces of Galindo and Monserrat and Alberich-Carramiñana et al. Our results also hold for Poincaré series of test ideals. In order to do so, we introduce a theory of Hilbert functions indexed over $\mathbb{R}$ which gives an unified treatment of both cases. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Comments: 16 pages. Comments welcome

Bounds for the Minimum Distance Function

Authors: Luis Núñez-Betancourt, Yuriko Pitones, Rafael H. Villarreal

Abstract: Let $I$ be a homogeneous ideal in a polynomial ring $S$. In this paper, we extend the study of the asymptotic behavior of the minimum distance function $δ_I$ of $I$ and give bounds for its stabilization point, $r_I$, when $I$ is an $F$-pure or a square-free monomial ideal. These bounds are related with the dimension and the Castelnuovo--Mumford regularity of $I$. Let $I$ be a homogeneous ideal in a polynomial ring $S$. In this paper, we extend the study of the asymptotic behavior of the minimum distance function $δ_I$ of $I$ and give bounds for its stabilization point, $r_I$, when $I$ is an $F$-pure or a square-free monomial ideal. These bounds are related with the dimension and the Castelnuovo--Mumford regularity of $I$. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 11 pages

$F$-thresholds and test ideals of Thom-Sebastiani type polynomials

Authors: Manuel González Villa, Delio Jaramillo-Velez, Luis Núñez-Betancourt

Abstract: We provide a formula for $F$-thresholds of a Thom-Sebastiani type polynomial over a perfect field of prime characteristic. This result extends the formula for the $F$-pure threshold of a diagonal hypersurface. We also compute the first test ideal of Thom-Sebastiani type polynomials. Finally, we apply our result to find hypersurfaces where the log canonical thresholds equals the $F$-pure thresholds… ▽ More We provide a formula for $F$-thresholds of a Thom-Sebastiani type polynomial over a perfect field of prime characteristic. This result extends the formula for the $F$-pure threshold of a diagonal hypersurface. We also compute the first test ideal of Thom-Sebastiani type polynomials. Finally, we apply our result to find hypersurfaces where the log canonical thresholds equals the $F$-pure thresholds for infinitely many prime numbers. △ Less

Submitted 18 May, 2020; originally announced May 2020.

Comments: 15 pages, comments welcome

MSC Class: Primary 13A35; Secondary 14B05

Connectedness of square-free Groebner Deformations

Authors: Lilia Alanís-López, Luis Núñez-Betancourt, Pedro Ramírez-Moreno

Abstract: Let $I\subseteq S=K[x_1,\ldots,x_n]$ be a homogeneous ideal equipped with a monomial order $<$. We show that if $\operatorname{in}_<(I)$ is a square-free monomial ideal, then $S/I$ and $S/\operatorname{in}_<(I)$ have the same connectedness dimension. We also show that graphs related to connectedness of these quotient rings have the same number of components. We also provide consequences regarding… ▽ More Let $I\subseteq S=K[x_1,\ldots,x_n]$ be a homogeneous ideal equipped with a monomial order $<$. We show that if $\operatorname{in}_<(I)$ is a square-free monomial ideal, then $S/I$ and $S/\operatorname{in}_<(I)$ have the same connectedness dimension. We also show that graphs related to connectedness of these quotient rings have the same number of components. We also provide consequences regarding Lyubeznik numbers. We obtain these results by furthering the study of connectedness modulo a parameter in a local ring. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 14 pages. Comments welcome

MSC Class: Primary 13E05; 05E40; 13C15; 13H99; 13J10; Secondary 13B25; 13P10

Symbolic powers of determinantal ideals in prime characteristic

Authors: Jonathan Montaño, Luis Núñez-Betancourt

Abstract: We study the symbolic powers of determinantal ideals of generic, generic symmetric, and Hankel matrices of variables, and of Pfaffians of generic skew-symmetric matrices, in prime characteristic. Specifically, we show that the limit $\lim\limits_{n\to\infty} \frac{\textrm{reg}(I^{(n)})}{n}$ exists and that $\textrm{depth}(R/I^{(n)})$ stabilizes for $n\gg 0$. Furthermore, we give explicit formulas… ▽ More We study the symbolic powers of determinantal ideals of generic, generic symmetric, and Hankel matrices of variables, and of Pfaffians of generic skew-symmetric matrices, in prime characteristic. Specifically, we show that the limit $\lim\limits_{n\to\infty} \frac{\textrm{reg}(I^{(n)})}{n}$ exists and that $\textrm{depth}(R/I^{(n)})$ stabilizes for $n\gg 0$. Furthermore, we give explicit formulas for the stable value of $\textrm{depth}(R/I^{(n)})$ in the generic and skew-symmetric cases. In order to show these results, we introduce the notion of symbolic $F$-purity of ideals which is satisfied by the classes of ideals mentioned above. Moreover, we find several properties satisfied by symbolic $F$-pure ideals. For example, we show that their symbolic Rees algebras and symbolic associated graded algebras are $F$-pure. As a consequence, their $a$-invariants and depths present good behaviors. In addition, we provide a Fedder's-like Criterion for symbolic $F$-purity. △ Less

Submitted 14 September, 2021; v1 submitted 8 April, 2020; originally announced April 2020.

Comments: This preprint contained an error in the proof of Lemma 5.4. The mistake has been corrected and the paper has been vastly expanded in another paper available at arXiv:2109.00592

Higher Nash blowups of normal toric varieties in prime characteristic

Authors: Daniel Duarte, Luis Núñez-Betancourt

Abstract: We prove that the higher Nash blowup of a normal toric variety defined over a field of positive characteristic is an isomorphism if and only if it is non-singular. We also extend a result by R. Toh-Yama which shows that higher Nash blowups do not give a one-step resolution of the $A_3$-singularity. These results were previously known only in characteristic zero. We prove that the higher Nash blowup of a normal toric variety defined over a field of positive characteristic is an isomorphism if and only if it is non-singular. We also extend a result by R. Toh-Yama which shows that higher Nash blowups do not give a one-step resolution of the $A_3$-singularity. These results were previously known only in characteristic zero. △ Less

Submitted 26 June, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 12 pages, comments welcome

MSC Class: 14B05; 14E15; 14M25

Nash blowups in prime characteristic

Authors: Daniel Duarte, Luis Núñez-Betancourt

Abstract: We initiate the study of Nash blowups in prime characteristic. First, we show that a normal variety is non-singular if and only if its Nash blowup is an isomorphism, extending a theorem by A. Nobile. We also study higher Nash blowups, as defined by T. Yasuda. Specifically, we give a characteristic-free proof of a higher version of Nobile's Theorem for quotient varieties and hypersurfaces. We also… ▽ More We initiate the study of Nash blowups in prime characteristic. First, we show that a normal variety is non-singular if and only if its Nash blowup is an isomorphism, extending a theorem by A. Nobile. We also study higher Nash blowups, as defined by T. Yasuda. Specifically, we give a characteristic-free proof of a higher version of Nobile's Theorem for quotient varieties and hypersurfaces. We also prove a weaker version for $F$-pure varieties. △ Less

Submitted 29 January, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: 10 pages, comments welcome

MSC Class: 14B05; 14E15; 16S32; 13A35; 14J70

$F$-Volumes

Authors: Wágner Badilla-Céspedes, Luis Núñez-Betancourt, Sandra Rodríguez-Villalobos

Abstract: In this work we define a numerical invariant called $F$-volume. This number extends the definition of $F$-threshold of a pair of ideals $I$ and $J$, $c^J(I)$ to a sequence of ideals $J$, $I_1, \ldots, I_t$. We obtain several properties that emulate those of the $F$-threshold. In particular, the $F$-volume detects $F$-pure complete intersections. In addition, we relate this invariant to the Hilbert… ▽ More In this work we define a numerical invariant called $F$-volume. This number extends the definition of $F$-threshold of a pair of ideals $I$ and $J$, $c^J(I)$ to a sequence of ideals $J$, $I_1, \ldots, I_t$. We obtain several properties that emulate those of the $F$-threshold. In particular, the $F$-volume detects $F$-pure complete intersections. In addition, we relate this invariant to the Hilbert-Kunz multiplicity. △ Less

Submitted 25 March, 2024; v1 submitted 8 December, 2019; originally announced December 2019.

Comments: 20 pages

MSC Class: 13D40; 13A35; 14B05

Bernstein-Sato functional equations, $V$-filtrations, and multiplier ideals of direct summands

Authors: Josep Àlvarez Montaner, Daniel J. Hernández, Jack Jeffries, Luis Núñez-Betancourt, Pedro Teixeira, Emily E. Witt

Abstract: This paper investigates the existence and properties of a Bernstein-Sato functional equation in nonregular settings. In particular, we construct $D$-modules in which such formal equations can be studied. The existence of the Bernstein-Sato polynomial for a direct summand of a polynomial over a field is proved in this context. It is observed that this polynomial can have zero as a root, or even pos… ▽ More This paper investigates the existence and properties of a Bernstein-Sato functional equation in nonregular settings. In particular, we construct $D$-modules in which such formal equations can be studied. The existence of the Bernstein-Sato polynomial for a direct summand of a polynomial over a field is proved in this context. It is observed that this polynomial can have zero as a root, or even positive roots. Moreover, a theory of $V$-filtrations is introduced for nonregular rings, and the existence of these objects is established for what we call differentially extensible summands. This family of rings includes toric, determinantal, and other invariant rings. This new theory is applied to the study of multiplier ideals and Hodge ideals of singular varieties. Finally, we extend known relations among the objects of interest in the smooth case to the setting of singular direct summands of polynomial rings. △ Less

Submitted 4 March, 2021; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 42 pages. A new section on Hodge ideals is included. Comments welcome

Quantifying singularities with differential operators

Authors: Holger Brenner, Jack Jeffries, Luis Núñez-Betancourt

Abstract: The $F$-signature of a local ring of prime characteristic is a numerical invariant that detects many interesting properties. For example, this invariant detects (non)singularity and strong $F$-regularity. However, it is very difficult to compute. Motivated by different aspects of the $F$-signature, we define a numerical invariant for rings of characteristic zero or $p>0$ that exhibits many of the… ▽ More The $F$-signature of a local ring of prime characteristic is a numerical invariant that detects many interesting properties. For example, this invariant detects (non)singularity and strong $F$-regularity. However, it is very difficult to compute. Motivated by different aspects of the $F$-signature, we define a numerical invariant for rings of characteristic zero or $p>0$ that exhibits many of the useful properties of the $F$-signature. We also compute many examples of this invariant, including cases where the $F$-signature is not known. We also obtain a number of results on symbolic powers and Bernstein-Sato polynomials. △ Less

Submitted 26 September, 2019; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 76 pages. Comments welcome

MSC Class: 14F10; 16S32; 14B05; 13A35

Splittings and symbolic powers of square-free monomial Ideals

Authors: Jonathan Montaño, Luis Núñez-Betancourt

Abstract: We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism which resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung which sta… ▽ More We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism which resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung which states that the normalized $a$-invariants and the Castelnuovo-Mumford regularity of the symbolic powers converge. In addition, we give a sufficient condition for the equality of the ordinary and symbolic powers of this family of ideals, and relate it to Conforti-Cornuéjols conjecture. Finally, we interpret this condition in the context of linear optimization. △ Less

Submitted 25 July, 2019; v1 submitted 7 September, 2018; originally announced September 2018.

Comments: 12 pages. To appear in IMRN

MSC Class: 05C65; 90C27; 13F20; 13F55; 13A35

Local m-adic constancy of F-pure thresholds and test ideals

Authors: Daniel J. Hernández, Luis Núñez-Betancourt, Emily E. Witt

Abstract: In this note, we consider a corollary of the ACC conjecture for F-pure thresholds. Specifically, we show that the F-pure threshold (and more generally, the test ideals) associated to a polynomial with an isolated singularity are locally constant in the m-adic topology of the corresponding local ring. As a by-product of our methods, we also describe a simple algorithm for computing all of the F-jum… ▽ More In this note, we consider a corollary of the ACC conjecture for F-pure thresholds. Specifically, we show that the F-pure threshold (and more generally, the test ideals) associated to a polynomial with an isolated singularity are locally constant in the m-adic topology of the corresponding local ring. As a by-product of our methods, we also describe a simple algorithm for computing all of the F-jum** numbers and test ideals associated to an arbitrary polynomial over an F-finite field. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Comments: 12 pages, to appear in Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 13A35 (primary); 14B05 (secondary)

Footprint and minimum distance functions

Authors: Luis Núñez-Betancourt, Yuriko Pitones, Rafael H. Villarreal

Abstract: Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${\rm fp}_I$. It is shown that $δ_I$ is positive and that ${\rm fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radic… ▽ More Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${\rm fp}_I$. It is shown that $δ_I$ is positive and that ${\rm fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radical and its associated primes are generated by linear forms, then $δ_I$ is strictly decreasing until it reaches the asymptotic value $1$. If $I$ is the edge ideal of a Cohen--Macaulay bipartite graph, we show that $δ_I(d)=1$ for $d$ greater than or equal to the regularity of $S/I$. For a graded ideal of dimension $\geq 1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function. △ Less

Submitted 1 December, 2017; originally announced December 2017.

Comments: Commun. Korean Math. Soc., to appear

MSC Class: Primary 13P25

Journal ref: Commun. Korean Math. Soc. 33 (2018), No. 1, pp. 85--101

Connectedness and Lyubeznik numbers

Authors: Luis Núñez-Betancourt, Sandra Spiroff, Emily Witt

Abstract: We investigate the relationship between connectedness properties of spectra and the Lyubeznik numbers, numerical invariants defined via local cohomology. We prove that for complete equidimensional local rings, the Lyubeznik numbers characterize when connectedness dimension equals one. More generally, these invariants determine a bound on connectedness dimension. Additionally, our methods imply tha… ▽ More We investigate the relationship between connectedness properties of spectra and the Lyubeznik numbers, numerical invariants defined via local cohomology. We prove that for complete equidimensional local rings, the Lyubeznik numbers characterize when connectedness dimension equals one. More generally, these invariants determine a bound on connectedness dimension. Additionally, our methods imply that the Lyubeznik number with indices (1,2) of the local ring at the vertex of the affine cone over a projective variety is independent of the choice of its embedding into projective space. △ Less

Submitted 9 November, 2017; originally announced November 2017.

Comments: 20 pages, comments welcome

MSC Class: 13D45 (Primary); 13H99 (Secondary)

Local cohomology and Lyubeznik numbers of $F$-pure rings

Authors: Alessandro De Stefani, Eloísa Grifo, Luis Núñez-Betancourt

Abstract: In this article, we study certain local cohomology modules over $F$-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula for computing these invariants when the $F$-pure ring is standard graded and, by its means, we provide some new examples of Lyubeznik tables. We study associated primes of certain Ext-modules, showing that they are all compatibl… ▽ More In this article, we study certain local cohomology modules over $F$-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula for computing these invariants when the $F$-pure ring is standard graded and, by its means, we provide some new examples of Lyubeznik tables. We study associated primes of certain Ext-modules, showing that they are all compatible ideals. Finally, we focus on properties that Lyubeznik numbers detect over a globally $F$-split projective variety. △ Less

Submitted 18 September, 2019; v1 submitted 1 October, 2017; originally announced October 2017.

Comments: Fixed errors in the proof of Lemma 3.7 and in Example 4.11 of previous version

MSC Class: 13A35 (Primary) 13D45; 14B05 (Secondary)

Symbolic powers of ideals

Authors: Hailong Dao, Alessandro De Stefani, Eloísa Grifo, Craig Huneke, Luis Núñez-Betancourt

Abstract: We survey classical and recent results on symbolic powers of ideals. We focus on properties and problems of symbolic powers over regular rings, on the comparison of symbolic and regular powers, and on the combinatorics of the symbolic powers of monomial ideals. In addition, we present some new results on these aspects of the subject. We survey classical and recent results on symbolic powers of ideals. We focus on properties and problems of symbolic powers over regular rings, on the comparison of symbolic and regular powers, and on the combinatorics of the symbolic powers of monomial ideals. In addition, we present some new results on these aspects of the subject. △ Less

Submitted 9 August, 2017; originally announced August 2017.

Comments: 31 pages. Comments welcome

MSC Class: 13A15; 113F20; 3N10; 13F55; 14B05

$D$-modules, Bernstein-Sato polynomials and $F$-invariants of direct summands

Authors: Josep Àlvarez Montaner, Craig Huneke, Luis Núñez-Betancourt

Abstract: We study the structure of $D$-modules over a ring $R$ which is a direct summand of a polynomial or a power series ring $S$ with coefficients over a field. We relate properties of $D$-modules over $R$ to $D$-modules over $S$. We show that the localization $R_f$ and the local cohomology module $H^i_I(R)$ have finite length as $D$-modules over $R$. Furthermore, we show the existence of the Bernstein-… ▽ More We study the structure of $D$-modules over a ring $R$ which is a direct summand of a polynomial or a power series ring $S$ with coefficients over a field. We relate properties of $D$-modules over $R$ to $D$-modules over $S$. We show that the localization $R_f$ and the local cohomology module $H^i_I(R)$ have finite length as $D$-modules over $R$. Furthermore, we show the existence of the Bernstein-Sato polynomial for elements in $R$. In positive characteristic, we use this relation between $D$-modules over $R$ and $S$ to show that the set of $F$-jum** numbers of an ideal $I\subseteq R$ is contained in the set of $F$-jum** numbers of its extension in $S$. As a consequence, the $F$-jum** numbers of $I$ in $R$ form a discrete set of rational numbers. We also relate the Bernstein-Sato polynomial in $R$ with the $F$-thresholds and the $F$-jum** numbers in $R$. △ Less

Submitted 14 November, 2016; originally announced November 2016.

Comments: 24 pages. Comments welcome!

MSC Class: 14F10; 13N10; 13A35; 16S32

Cohomological dimension, Lyubeznik numbers, and connectedness properties in mixed characteristic

Authors: Daniel J. Hernández, Luis Núñez-Betancourt, Felipe Pérez, Emily E. Witt

Abstract: We establish a "second vanishing theorem" for local cohomology modules over regular rings of unramified mixed characteristic, which relates the connectedness of the spectrum of a ring with the vanishing of local cohomology. Applying this, and new results on the mixed characteristic Lyubeznik numbers, we further study connectedness properties of the spectra of a certain class of rings. We establish a "second vanishing theorem" for local cohomology modules over regular rings of unramified mixed characteristic, which relates the connectedness of the spectrum of a ring with the vanishing of local cohomology. Applying this, and new results on the mixed characteristic Lyubeznik numbers, we further study connectedness properties of the spectra of a certain class of rings. △ Less

Submitted 19 September, 2016; originally announced September 2016.

Comments: 21 pages, comments welcome!

On the existence of $F$-thresholds and related limits

Authors: Alessandro De Stefani, Luis Núñez-Betancourt, Felipe Pérez

Abstract: The $F$-thresholds are important numerical invariants in prime characteristic, whose existence had been established only under certain assumptions. We show the existence of $F$-thresholds in full generality. We study properties of standard graded algebras over a field for which $F$-pure threshold and $F$-threshold at the irrelevant maximal ideal agree. We also exhibit explicit bounds for the $a$-i… ▽ More The $F$-thresholds are important numerical invariants in prime characteristic, whose existence had been established only under certain assumptions. We show the existence of $F$-thresholds in full generality. We study properties of standard graded algebras over a field for which $F$-pure threshold and $F$-threshold at the irrelevant maximal ideal agree. We also exhibit explicit bounds for the $a$-invariants and Castelnuovo-Mumford regularity of Frobenius powers of ideals in terms of $F$-thresholds and $F$-pure thresholds, obtaining existence of related limits in certain cases. △ Less

Submitted 11 January, 2017; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: 21 pages

Graph Connectivity and Binomial Edge Ideals

Authors: Arindam Banerjee, Luis Núñez-Betancourt

Abstract: We relate homological properties of a binomial edge ideal $\mathcal{J}_G$ to invariants that measure the connectivity of a simple graph $G$. Specifically, we show if $R/\mathcal{J}_G$ is a Cohen-Macaulay ring, then graph toughness of $G$ is exactly $\frac{1}{2}$. We also give an inequality between the depth of $R/\mathcal{J}_G$ and the vertex-connectivity of $G$. In addition, we study the Hilbert-… ▽ More We relate homological properties of a binomial edge ideal $\mathcal{J}_G$ to invariants that measure the connectivity of a simple graph $G$. Specifically, we show if $R/\mathcal{J}_G$ is a Cohen-Macaulay ring, then graph toughness of $G$ is exactly $\frac{1}{2}$. We also give an inequality between the depth of $R/\mathcal{J}_G$ and the vertex-connectivity of $G$. In addition, we study the Hilbert-Samuel multiplicity, and the Hilbert-Kunz multiplicity of $R/\mathcal{J}_G$. △ Less

Submitted 1 May, 2016; originally announced May 2016.

Comments: 12 pages, 1 figure

MSC Class: 13C14; 05C40; 05E40

Lyubeznik numbers and injective dimension in mixed characteristic

Authors: Daniel J. Hernández, Luis Núñez-Betancourt, Felipe Pérez, Emily E. Witt

Abstract: We investigate the Lyubeznik numbers, and the injective dimension of local cohomology modules, of finitely generated $\mathbb{Z}$-algebras. We prove that the mixed characteristic Lyubeznik numbers and the standard ones agree locally for almost all reductions to positive characteristic. Additionally, we address an open question of Lyubeznik that asks whether the injective dimension of a local cohom… ▽ More We investigate the Lyubeznik numbers, and the injective dimension of local cohomology modules, of finitely generated $\mathbb{Z}$-algebras. We prove that the mixed characteristic Lyubeznik numbers and the standard ones agree locally for almost all reductions to positive characteristic. Additionally, we address an open question of Lyubeznik that asks whether the injective dimension of a local cohomology module over a regular ring is bounded above by the dimension of its support. Although we show that the answer is affirmative for several families of $\mathbb{Z}$-algebras, we also exhibit an example where this bound fails to hold. This example settles Lyubeznik's question, and illustrates one way that the behavior of local cohomology modules of regular rings of equal characteristic and of mixed characteristic can differ. △ Less

Submitted 7 December, 2015; originally announced December 2015.

F-thresholds of graded rings

Authors: Alessandro De Stefani, Luis Núñez-Betancourt

Abstract: The a-invariant, the F-pure threshold, and the diagonal F-threshold are three important invariants of a graded K-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly F-regular rings. In this article, we prove that these relations hold only assuming that the algebra is F-pure. In addition, we present an interpretation of the a-invariant for F-pure Go… ▽ More The a-invariant, the F-pure threshold, and the diagonal F-threshold are three important invariants of a graded K-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly F-regular rings. In this article, we prove that these relations hold only assuming that the algebra is F-pure. In addition, we present an interpretation of the a-invariant for F-pure Gorenstein graded K-algebras in terms of regular sequences that preserve F-purity. This result is in the spirit of Bertini theorems for projective varieties. Moreover, we show connections with projective dimension, Castelnuovo-Mumford regularity, and Serre's condition $S_k$. We also present analogous results and questions in characteristic zero. △ Less

Submitted 20 July, 2015; originally announced July 2015.

Comments: 20 pages

MSC Class: Primary 13A35; Secondary 13H10; 14B05

Frobenius Betti numbers and modules of finite projective dimension

Authors: Alessandro De Stefani, Craig Huneke, Luis Núñez-Betancourt

Abstract: Let $(R,\mathfrak{m},K)$ be a local ring, and let $M$ be an $R$-module of finite length. We study asymptotic invariants, $β^F_i(M,R),$ defined by twisting with Frobenius the free resolution of $M$. This family of invariants includes the Hilbert-Kunz multiplicity ($e_{HK}(\mathfrak{m},R)=β^F_0(K,R)$). We discuss several properties of these numbers that resemble the behavior of the Hilbert-Kunz mult… ▽ More Let $(R,\mathfrak{m},K)$ be a local ring, and let $M$ be an $R$-module of finite length. We study asymptotic invariants, $β^F_i(M,R),$ defined by twisting with Frobenius the free resolution of $M$. This family of invariants includes the Hilbert-Kunz multiplicity ($e_{HK}(\mathfrak{m},R)=β^F_0(K,R)$). We discuss several properties of these numbers that resemble the behavior of the Hilbert-Kunz multiplicity. Furthermore, we study when the vanishing of $β^F_i(M,R)$ implies that $M$ has finite projective dimension. In particular, we give a complete characterization of the vanishing of $β^F_i(M,R)$ for one-dimensional rings. As a consequence of our methods, we give conditions for the non-existence of syzygies of finite length. △ Less

Submitted 7 September, 2015; v1 submitted 13 December, 2014; originally announced December 2014.

Comments: 25 pages

MSC Class: 13

A sufficient condition for strong $F$-regularity

Authors: Alessandro De Stefani, Luis Núñez-Betancourt

Abstract: Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular ring. In particular, under these assumptions, $R$ is a Cohen-Macaulay normal domain. Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular ring. In particular, under these assumptions, $R$ is a Cohen-Macaulay normal domain. △ Less

Submitted 25 November, 2014; originally announced November 2014.

Comments: 9 pages, to appear in Proceedings of the American Mathematical Society

MSC Class: 13

Properties of Lyubeznik numbers under localization and polarization

Authors: Arindam Banerjee, Luis Núñez-Betancourt, Kohji Yanagawa

Abstract: We exhibit a global bound for the Lyubeznik numbers of a ring of prime characteristic. In addition, we show that for a monomial ideal, the Lyubeznik numbers of the quotient rings of its radical and its polarization are the same. Furthermore, we present examples that show striking behavior of the Lyubeznik numbers under localization. We also show related results for generalizations of the Lyubeznik… ▽ More We exhibit a global bound for the Lyubeznik numbers of a ring of prime characteristic. In addition, we show that for a monomial ideal, the Lyubeznik numbers of the quotient rings of its radical and its polarization are the same. Furthermore, we present examples that show striking behavior of the Lyubeznik numbers under localization. We also show related results for generalizations of the Lyubeznik numbers. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 17 pages

MSC Class: 13D45; 13N10; 13F55; 13A35

A survey on the Lyubeznik numbers

Authors: Luis Núñez-Betancourt, Emily E. Witt, Wenliang Zhang

Abstract: The Lyubeznik numbers are invariants of a local ring containing a field that capture ring-theoretic properties, but also have numerous connections to geometry and topology. We discuss basic properties of these integer-valued invariants, as well as describe some significant results and recent developments (including certain generalizations) in the area. The Lyubeznik numbers are invariants of a local ring containing a field that capture ring-theoretic properties, but also have numerous connections to geometry and topology. We discuss basic properties of these integer-valued invariants, as well as describe some significant results and recent developments (including certain generalizations) in the area. △ Less

Submitted 29 June, 2014; originally announced June 2014.

Comments: Comments welcome. Workshop: "Taller de Vinculación: Matemáticos Mexicanos Jóvenes en el Mundo."

MSC Class: 13D45; 13N10; 13H99

On the Hyperhomology of the Small Gobelin in Codimension 2

Authors: Xavier Gómez-Mont, Luis Núñez-Betancourt

Abstract: Given a zero-dimensional Gorenstein algebra $\mathbb{B}$ and two syzygies between two elements $f_1,f_2\in\mathbb{B}$, one constructs a double complex of $\mathbb{B}$-modules, ${\cal G}_\mathbb{B},$ called the small Gobelin. We describe an inductive procedure to construct the even and odd hyperhomologies of this complex. For high degrees, the difference… ▽ More Given a zero-dimensional Gorenstein algebra $\mathbb{B}$ and two syzygies between two elements $f_1,f_2\in\mathbb{B}$, one constructs a double complex of $\mathbb{B}$-modules, ${\cal G}_\mathbb{B},$ called the small Gobelin. We describe an inductive procedure to construct the even and odd hyperhomologies of this complex. For high degrees, the difference $\dim \mathbb{H}_{j+2}({\cal G}_\mathbb{B}) - \dim\mathbb{H}_j({\cal G}_\mathbb{B})$ is constant, but possibly with a different value for even and odd degrees. We describe two flags of ideals in $\mathbb{B}$ which codify the above differences of dimension. The motivation to study this double complex comes from understanding the tangency condition between a vector field and a complete intersection, and invariants constructed in the zero locus of the vector field $\hbox{Spec}(\mathbb{B})$. △ Less

Submitted 22 May, 2014; originally announced May 2014.

Comments: 22 pages

MSC Class: 14B05; 32S65; 13D02; 13E10

F-pure thresholds of homogeneous polynomials

Authors: Daniel J. Hernández, Luis Núñez-Betancourt, Emily E. Witt, Wenliang Zhang

Abstract: In this article, we investigate F-pure thresholds of polynomials that are homogeneous under some N-grading, and have an isolated singularity at the origin. We characterize these invariants in terms of the base p expansion of the corresponding log canonical threshold. As an application, we are able to make precise some bounds on the difference between F-pure and log canonical thresholds established… ▽ More In this article, we investigate F-pure thresholds of polynomials that are homogeneous under some N-grading, and have an isolated singularity at the origin. We characterize these invariants in terms of the base p expansion of the corresponding log canonical threshold. As an application, we are able to make precise some bounds on the difference between F-pure and log canonical thresholds established by Mustaţă and the fourth author. We also examine the set of primes for which the F-pure and log canonical threshold of a polynomial must differ. Moreover, we obtain results in special cases on the ACC conjecture for F-pure thresholds, and on the upper semi-continuity property for the F-pure threshold function. △ Less

Submitted 14 April, 2014; originally announced April 2014.

Comments: 24 pages; comments welcome

MSC Class: 13A35 (primary); 14B05 (secondary)

$F$-jum** and $F$-Jacobian ideals for hypersurfaces

Authors: Luis Núñez-Betancourt, Felipe Pérez

Abstract: We introduce two families of ideals, $F$-jum** ideals and $F$-Jacobian ideals, in order to study the singularities of hypersurfaces in positive characteristic. Both families are defined using the $D$-modules $M_α$ that were introduced by Blickle, Mustaţă and Smith. Using strong connections between $F$-jum** ideals and generalized test ideals, we give a characterization of $F$-jum** numbers f… ▽ More We introduce two families of ideals, $F$-jum** ideals and $F$-Jacobian ideals, in order to study the singularities of hypersurfaces in positive characteristic. Both families are defined using the $D$-modules $M_α$ that were introduced by Blickle, Mustaţă and Smith. Using strong connections between $F$-jum** ideals and generalized test ideals, we give a characterization of $F$-jum** numbers for hypersurfaces. Furthermore, we give an algorithm that determines whether certain numbers are $F$-jum** numbers. In addition, we use $F$-Jacobian ideals to study intrinsic properties of the singularities of hypersurfaces. In particular, we give conditions for $F$-regularity. Moreover, $F$-Jacobian ideals behave similarly to Jacobian ideals of polynomials. Using techniques developed to study these two new families of ideals, we provide relations among test ideals, generalized test ideals, and generalized Lyubeznik numbers for hypersurfaces. △ Less

Submitted 30 April, 2013; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: References updated, 32 pages

MSC Class: 13A35; 14B05

Associated primes of local cohomology of flat extensions with regular fibers and $Σ$-finite $D$-modules

Authors: Luis Núñez-Betancourt

Abstract: In this article, we study the following question raised by Mel Hochster: let $(R,m,K)$ be a local ring and $S$ be a flat extension with regular closed fiber. Is $\cV(mS)\cap\Ass_S H^i_I(S)$ finite for every ideal $I\subset S$ and $i\in \NN?$ We prove that the answer is positive when $S$ is either a polynomial or a power series ring over $R$ and $\dim(R/I\cap R)\leq 1.$ In addition, we analyze when… ▽ More In this article, we study the following question raised by Mel Hochster: let $(R,m,K)$ be a local ring and $S$ be a flat extension with regular closed fiber. Is $\cV(mS)\cap\Ass_S H^i_I(S)$ finite for every ideal $I\subset S$ and $i\in \NN?$ We prove that the answer is positive when $S$ is either a polynomial or a power series ring over $R$ and $\dim(R/I\cap R)\leq 1.$ In addition, we analyze when this question can be reduced to the case where $S$ is a power series ring over $R$. An important tool for our proof is the use of $Σ$-finite $D$-modules, which are not necessarily finitely generated as $D$-modules, but whose associated primes are finite. We give examples of this class of $D$-modules and applications to local cohomology. △ Less

Submitted 10 October, 2012; originally announced October 2012.

Comments: 15 pages

MSC Class: 13D45; 13N10

Lyubeznik numbers in mixed characteristic

Authors: Luis Núñez-Betancourt, Emily E. Witt

Abstract: This manuscript defines a new family of invariants, analogous to the Lyubeznik numbers, associated to any local ring whose residue field has prime characteristic. In particular, as their nomenclature suggests, these "Lyubeznik numbers in mixed characteristic" are defined for all local rings of mixed characteristic. Some properties similar to those in equal characteristic hold for these new invaria… ▽ More This manuscript defines a new family of invariants, analogous to the Lyubeznik numbers, associated to any local ring whose residue field has prime characteristic. In particular, as their nomenclature suggests, these "Lyubeznik numbers in mixed characteristic" are defined for all local rings of mixed characteristic. Some properties similar to those in equal characteristic hold for these new invariants. Notably, the "highest" Lyubeznik number in mixed characteristic is a well-defined notion. Although the Lyubeznik numbers in mixed characteristic and their equal-characteristic counterparts are the same for certain local rings of equal characteristic p>0, we also provide an example where they differ. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: 19 pages; comments welcome

MSC Class: 13D45; 13H99

Generalized Lyubeznik numbers

Authors: Luis Núñez-Betancourt, Emily E. Witt

Abstract: Given a local ring containing a field, we define and investigate a family of invariants that includes the Lyubeznik numbers, but that captures finer information. These "generalized Lyubeznik numbers" are defined as lengths of certain iterated local cohomology modules in a category of D-modules, and in order to define them, we develop the theory of a functor Lyubeznik utilized in proving that his o… ▽ More Given a local ring containing a field, we define and investigate a family of invariants that includes the Lyubeznik numbers, but that captures finer information. These "generalized Lyubeznik numbers" are defined as lengths of certain iterated local cohomology modules in a category of D-modules, and in order to define them, we develop the theory of a functor Lyubeznik utilized in proving that his original invariants are well defined. In particular, this functor gives an equivalence of categories with a category of D-modules. These new invariants are indicators of F-regularity and F-rationality in characteristic p>0, and have close connections with characteristic cycle multiplicities in characteristic zero. We compute the generalized Lyubeznik numbers associated to monomial ideals using interpretations as lengths in a category of straight modules, as well as provide examples of these invariants associated to certain determinantal ideals. △ Less

Submitted 22 October, 2012; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 25 pages; comments welcome

MSC Class: 13D45; 13N10; 13H99

Local cohomology modules of polynomial or power series rings over rings of small dimension

Authors: Luis Nunez-Betancourt

Abstract: Let $A$ be a ring and $R$ be a polynomial or a power series ring over $A$. When $A$ has dimension zero, we show that the Bass numbers and the associated primes of the local cohomology modules over $R$ are finite. Moreover, if $A$ has dimension one and $π$ is an nonzero divisor, then the same properties hold for prime ideals that contain $π.$ These results do not require that $A$ contains a field.… ▽ More Let $A$ be a ring and $R$ be a polynomial or a power series ring over $A$. When $A$ has dimension zero, we show that the Bass numbers and the associated primes of the local cohomology modules over $R$ are finite. Moreover, if $A$ has dimension one and $π$ is an nonzero divisor, then the same properties hold for prime ideals that contain $π.$ These results do not require that $A$ contains a field. As a consequence, we give a different proof for the finiteness properties of local cohomology over unramified regular local rings. In addition, we extend previous results on the injective dimension of local cohomology modules over certain regular rings of mixed characteristic. △ Less

Submitted 30 October, 2013; v1 submitted 8 July, 2012; originally announced July 2012.

Comments: 16 pages. Minor corrections from previous version. Accepted in Illinois Journal of Mathematics

MSC Class: 13D45

On certain rings of differentiable type and finiteness properties of local cohomology

Authors: Luis Nunez-Betancourt

Abstract: Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of $F,$ and $\Der_F (R)$ is a finitely generated projective $R$-module of rank $n$ such that $R_m\otimes_R \Der_F (R)=\Der_F(R_m)$. We show that the associated gra… ▽ More Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of $F,$ and $\Der_F (R)$ is a finitely generated projective $R$-module of rank $n$ such that $R_m\otimes_R \Der_F (R)=\Der_F(R_m)$. We show that the associated graded ring of the ring of differentiable operators, $D(R,F)$, is a commutative Noetherian regular with unity and pure graded dimension equal to $2\dim(R)$. Moreover, we prove that $D(R,F)$ has weak global dimension equal to $\dim(R)$ and that its Bernstein class is closed under localization at one element. Using these properties of $D(R,F)$, we show that the set of associated primes of every local cohomology module, $H^i_I(R)$, is finite. If $(S,m,K)$ is a complete regular local ring of mixed characteristic $p>0$, we show that the localization of $S$ at $p$, $S_p$, is such a ring. As a consequence, the set of associated primes of $H^i_I (S)$ that does not contain $p$ is finite. Moreover, we prove this finiteness property for a larger class of functors. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: 13 pages

MSC Class: 13D45; 13N10

Local cohomology properties of direct summands

Authors: Luis Nunez-Betancourt

Abstract: In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a Cohen-Macaulay ring that is finitely generated as an $R$-module, such that all the Bass numbers of $H^i_{IS}(S)$, as an $S$-module, are finite, then all the Bass numbe… ▽ More In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a Cohen-Macaulay ring that is finitely generated as an $R$-module, such that all the Bass numbers of $H^i_{IS}(S)$, as an $S$-module, are finite, then all the Bass numbers of $H^i_{I}(R)$, as an $R$-module, are finite. Moreover, we show these results for a larger class a functors introduced by Lyubeznik. As a consequence, we exhibit a Gorenstein $F$-regular UFD of positive characteristic that is not a direct summand, not even a pure subring, of any regular ring. △ Less

Submitted 8 July, 2012; v1 submitted 22 August, 2011; originally announced August 2011.

Comments: 8 pages. References updated. Minor changes

MSC Class: 13D45

Journal ref: J. Pure Appl. Algebra 216 (2012) no. 10, 2137-2140

Ideals with Larger Projective Dimension and Regularity

Authors: Jesse Beder, Jason McCullough, Luis Nunez-Betancourt, Alexandra Seceleanu, Bart Snapp, Branden Stone

Abstract: We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In particular, we describe a family of three-generated homogeneous ideals in arbitrary characteristic whose projective dimension grows asymptotically as sqrt{d}^(sqrt(d)… ▽ More We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In particular, we describe a family of three-generated homogeneous ideals in arbitrary characteristic whose projective dimension grows asymptotically as sqrt{d}^(sqrt(d) - 1). △ Less

Submitted 17 January, 2011; originally announced January 2011.

Comments: 10 pages. This work was completed at the MRC for Commutative Algebra in Snowbird, UT, which was generously supported by the AMS

MSC Class: 13D05