Search | arXiv e-print repository

Rationality for arbitrary closure operations and the test ideal of full extended plus closure

Abstract: We extend the notion of F-rationality to other closure operations, inspired by the work of Smith, Epstein and Schwede, and Ma and Schwede, which describe F-rationality in terms of the canonical module and top local cohomology module. We give conditions for a closure operation cl on a Cohen-Macaulay complete local ring under which cl-rationality is equivalent to parameter ideals being cl-closed. We… ▽ More We extend the notion of F-rationality to other closure operations, inspired by the work of Smith, Epstein and Schwede, and Ma and Schwede, which describe F-rationality in terms of the canonical module and top local cohomology module. We give conditions for a closure operation cl on a Cohen-Macaulay complete local ring under which cl-rationality is equivalent to parameter ideals being cl-closed. We also demonstrate that full extended plus closure as defined by Heitmann and weak full extended plus closure as defined by the first named author have no big test elements. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 11 pages, comments welcome

MSC Class: 13H10 (Primary) 13D45; 13C14; 13A35 (Secondary)

arXiv:2302.00238 [pdf, ps, other]

How to extend closure and interior operations to more modules

Authors: Neil Epstein, Rebecca R. G., Janet Vassilev

Abstract: There are several ways to convert a closure or interior operation to a different operation that has particular desirable properties. In this paper, we axiomatize 3 ways to do so, drawing on disparate examples from the literature, including tight closure, basically full closure, and various versions of integral closure. In doing so, we explore several such desirable properties, including *hereditar… ▽ More There are several ways to convert a closure or interior operation to a different operation that has particular desirable properties. In this paper, we axiomatize 3 ways to do so, drawing on disparate examples from the literature, including tight closure, basically full closure, and various versions of integral closure. In doing so, we explore several such desirable properties, including *hereditary*, *residual*, and *cofunctorial*, and see how they interact with other properties such as the *finitistic* property. △ Less

Submitted 3 November, 2023; v1 submitted 31 January, 2023; originally announced February 2023.

Comments: Accepted version. 56 pages

MSC Class: 13C60 (Primary) 13B22; 13A35; 13J10 (Secondary)

arXiv:2109.08772 [pdf, ps, other]

Integral closure, basically full closure, and duals of nonresidual closure operations

Authors: Neil Epstein, Rebecca R. G., Janet Vassilev

Abstract: We develop a duality for operations on nested pairs of modules that generalizes the duality between absolute interior operations and residual closure operations from [ER21], extending our previous results to the expanded context. We apply this duality in particular to integral and basically full closures and their respective cores to obtain integral and basically empty interiors and their respecti… ▽ More We develop a duality for operations on nested pairs of modules that generalizes the duality between absolute interior operations and residual closure operations from [ER21], extending our previous results to the expanded context. We apply this duality in particular to integral and basically full closures and their respective cores to obtain integral and basically empty interiors and their respective hulls. We also dualize some of the known formulas for the core of an ideal to obtain formulas for the hull of a submodule of the injective hull of the residue field. The article concludes with illustrative examples in a numerical semigroup ring. △ Less

Submitted 31 August, 2022; v1 submitted 17 September, 2021; originally announced September 2021.

Comments: Edited for readability and clarity. 39 pages, to appear in J. Pure Appl. Algebra

MSC Class: 13J10; 13B22; 13C60; 13C13

arXiv:2103.02529 [pdf, ps, other]

Cohen-Macaulay test ideals over rings of finite and countable Cohen-Macaulay type

Authors: Julian Benali, Shrunal Pothagoni, Rebecca R. G.

Abstract: The third named author and Pérez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the closures coming from their indecomposable maximal Cohen-Macaulay modules. We also give an easier way to compute the test ideal of a hypersurface ring in 3 variable… ▽ More The third named author and Pérez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the closures coming from their indecomposable maximal Cohen-Macaulay modules. We also give an easier way to compute the test ideal of a hypersurface ring in 3 variables coming from a module with a particular type of matrix factorization. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 18 pages, to appear in Involve, comments welcome

MSC Class: 13C14 (Primary) 13H10; 13P99; 13F70 (Secondary)

arXiv:2011.12409 [pdf, ps, other]

Canonical Resolutions over Koszul Algebras

Authors: Eleonore Faber, Martina Juhnke-Kubitzke, Haydee Lindo, Claudia Miller, Rebecca R. G., Alexandra Seceleanu

Abstract: We generalize Buchsbaum and Eisenbud's resolutions for the powers of the maximal ideal of a polynomial ring to resolve powers of the homogeneous maximal ideal over graded Koszul algebras. Our approach has the advantage of producing resolutions that are both more explicit and minimal compared to those previously discovered by Green and Martínez-Villa \cite{GreenMartinezVilla} or Martínez-Villa and… ▽ More We generalize Buchsbaum and Eisenbud's resolutions for the powers of the maximal ideal of a polynomial ring to resolve powers of the homogeneous maximal ideal over graded Koszul algebras. Our approach has the advantage of producing resolutions that are both more explicit and minimal compared to those previously discovered by Green and Martínez-Villa \cite{GreenMartinezVilla} or Martínez-Villa and Zacharia \cite{MartinezVillaZacharia}. △ Less

Submitted 5 May, 2021; v1 submitted 24 November, 2020; originally announced November 2020.

Comments: To appear in the Springer volume "Women in Commutative Algebra-Proceedings of the 2019 WICA Workshop"

MSC Class: 16E05 13D02

arXiv:2007.12209 [pdf, ps, other]

Nakayama closures, interior operations, and core-hull duality

Authors: Neil Epstein, Rebecca R. G., Janet Vassilev

Abstract: Exploiting the interior-closure duality developed by Epstein and R.G., we show that for the class of Matlis dualizable modules $\mathcal{M}$ over a Noetherian local ring, when cl is a Nakayama closure and i its dual interior, there is a duality between cl-reductions and i-expansions that leads to a duality between the cl-core of modules in $\mathcal{M}$ and the i-hull of modules in… ▽ More Exploiting the interior-closure duality developed by Epstein and R.G., we show that for the class of Matlis dualizable modules $\mathcal{M}$ over a Noetherian local ring, when cl is a Nakayama closure and i its dual interior, there is a duality between cl-reductions and i-expansions that leads to a duality between the cl-core of modules in $\mathcal{M}$ and the i-hull of modules in $\mathcal{M}^\vee$. We further show that many algebra and module closures and interiors are Nakayama and describe a method to compute the interior of ideals using closures and colons. We use our methods to give a unified proof of the equivalence of F-rationality with F-regularity, and of F-injectivity with F-purity, in the complete Gorenstein local case. Additionally, we give a new characterization of the finitistic tight closure test ideal in terms of maps from $R^{1/p^e}$. Moreover, we show that the liftable integral spread of a module exists. △ Less

Submitted 4 August, 2020; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: 39 pages. Apart from a couple minor corrections in section 3, the main change in this version is that we spruced up the introduction. Comments still very welcome!

MSC Class: Primary: 13J10; Secondary: 13A35; 13B22; 13C60

arXiv:1910.07565 [pdf, ps, other]

Betti numbers of the Frobenius powers of the maximal ideal over a general hypersurface

Authors: Claudia Miller, Hamidreza Rahmati, Rebecca R. G

Abstract: The main goal of this paper is to prove, in positive characteristic $p$, stability behavior for the graded Betti numbers in the periodic tails of the minimal resolutions of Frobenius powers of the homogeneous maximal ideals for very general choices of hypersurface in three variables whose degree has the opposite parity to that of $p$. We also find some of the structure of the matrix factorization… ▽ More The main goal of this paper is to prove, in positive characteristic $p$, stability behavior for the graded Betti numbers in the periodic tails of the minimal resolutions of Frobenius powers of the homogeneous maximal ideals for very general choices of hypersurface in three variables whose degree has the opposite parity to that of $p$. We also find some of the structure of the matrix factorization giving the resolution. We achieve this by develo** a method for obtaining the degrees of the generators of the defining ideal of an $\mathfrak{c}$-compressed Gorenstein Artinian graded algebra from its socle degree, where $\mathfrak{c}$ is a Frobenius power of the homogeneous maximal ideal. As an application, we also obtain the Hilbert-Kunz function of the hypersurface ring, as well as the Castelnuovo-Mumford regularity of the quotients by Frobenius powers of the homogeneous maximal ideal. △ Less

Submitted 21 March, 2023; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: 43 pages, corrected justification that results hold for general hypersurfaces, other minor changes

MSC Class: 13

arXiv:1907.02150 [pdf, ps, other]

Characteristic-free test ideals

Authors: Felipe Pérez, Rebecca R. G.

Abstract: Tight closure test ideals have been central to the classification of singularities in rings of characteristic $p>0$, and via reduction to characteristic $p$, in equal characteristic zero as well. A summary of their properties and applications can be found in "A survey of test ideals" by Karl Schwede and Kevin Tucker. In this paper, we extend the notion of a test ideal to arbitrary closure operatio… ▽ More Tight closure test ideals have been central to the classification of singularities in rings of characteristic $p>0$, and via reduction to characteristic $p$, in equal characteristic zero as well. A summary of their properties and applications can be found in "A survey of test ideals" by Karl Schwede and Kevin Tucker. In this paper, we extend the notion of a test ideal to arbitrary closure operations, particularly those coming from big Cohen-Macaulay modules and algebras, and prove that it shares key properties of tight closure test ideals. Our main results show how these test ideals can be used to give a characteristic-free classification of singularities, including a few specific results on the mixed characteristic case. We also compute examples of these test ideals. △ Less

Submitted 2 February, 2021; v1 submitted 3 July, 2019; originally announced July 2019.

Comments: 30 pages, minor revisions, to appear in Trans. Amer. Math. Soc. B

MSC Class: 13A35; 13C14; 13H05; 13H10; 13P99; 14B05

arXiv:1608.08193 [pdf, ps, other]

Big Cohen-Macaulay and seed algebras in equal characteristic zero via ultraproducts

Authors: Geoffrey D. Dietz, Rebecca R. G

Abstract: Let $R$ be a commutative, local, Noetherian ring. In a past article, the first author developed a theory of $R$-algebras, termed seeds, that can be mapped to balanced big Cohen-Macaulay $R$-algebras. In prime characteristic $p$, seeds can be characterized based on the existence of certain colon-killers, integral extensions of seeds are seeds, tensor products of seeds are seeds, and the seed proper… ▽ More Let $R$ be a commutative, local, Noetherian ring. In a past article, the first author developed a theory of $R$-algebras, termed seeds, that can be mapped to balanced big Cohen-Macaulay $R$-algebras. In prime characteristic $p$, seeds can be characterized based on the existence of certain colon-killers, integral extensions of seeds are seeds, tensor products of seeds are seeds, and the seed property is stable under base change between complete, local domains. As a result, there exist directed systems of big Cohen-Macaulay algebras over complete, local domains. In this work, we will show that these properties can be extended to analogous results in equal characteristic zero. The primary tool for the extension will be the notion of ultraproducts for commutative rings as developed by Schoutens and Aschenbrenner. △ Less

Submitted 5 March, 2017; v1 submitted 29 August, 2016; originally announced August 2016.

Comments: 15 pages, to appear in Journal of Commutative Algebra

MSC Class: 13C14 (Primary); 03C20 (Secondary)

arXiv:1607.03972 [pdf, ps, other]

$F$-singularities under generic linkage

Authors: Linquan Ma, Janet Page, Rebecca R. G., William Taylor, Wenliang Zhang

Abstract: Let $R=k[x_1,\dots,x_n]$ be a polynomial ring over a prefect field of positive characteristic. Let $I$ be an unmixed ideal in $R$ and let $J$ be a generic link of $I$ in $S=R[u_{ij}]_{c \times r}$. We describe the parameter test submodule of $S/J$ in terms of the test ideal of the pair $(R, I)$ when a reduction of $I$ is a complete intersection or almost complete intersection. As an application, w… ▽ More Let $R=k[x_1,\dots,x_n]$ be a polynomial ring over a prefect field of positive characteristic. Let $I$ be an unmixed ideal in $R$ and let $J$ be a generic link of $I$ in $S=R[u_{ij}]_{c \times r}$. We describe the parameter test submodule of $S/J$ in terms of the test ideal of the pair $(R, I)$ when a reduction of $I$ is a complete intersection or almost complete intersection. As an application, we deduce a criterion for when $S/J$ has $F$-rational singularities in these cases. We also compare the $F$-pure threshold of $(R, I)$ and $(S, J)$. △ Less

Submitted 18 March, 2018; v1 submitted 13 July, 2016; originally announced July 2016.

Comments: 11 pages, final version

arXiv:1512.07862 [pdf, ps, other]

Closure operations that induce big Cohen-Macaulay algebras

Authors: Rebecca R. G

Abstract: We study closure operations over a local domain R that satisfy a set of axioms introduced by Geoffrey Dietz. The existence of a closure operation satisfying the axioms (called a Dietz closure) is equivalent to the existence of a big Cohen-Macaulay module for R. We give an additional axiom (the Algebra Axiom), such that the existence of a Dietz closure satisfying this axiom is equivalent to the exi… ▽ More We study closure operations over a local domain R that satisfy a set of axioms introduced by Geoffrey Dietz. The existence of a closure operation satisfying the axioms (called a Dietz closure) is equivalent to the existence of a big Cohen-Macaulay module for R. We give an additional axiom (the Algebra Axiom), such that the existence of a Dietz closure satisfying this axiom is equivalent to the existence of a big Cohen-Macaulay algebra. We prove that many closure operations satisfy the Algebra Axiom, whether or not they are Dietz closures. We discuss the smallest big Cohen-Macaulay algebra closure on a given ring, and show that every Dietz closure satisfying the Algebra Axiom is contained in a big Cohen-Macaulay algebra closure. This leads to proofs that in rings of characteristic p > 0, every Dietz closure satisfying the Algebra Axiom is contained in tight closure, and there exist Dietz closures that do not satisfy the Algebra Axiom. Several of these results rely on work from arXiv:1512.06843. △ Less

Submitted 22 May, 2017; v1 submitted 24 December, 2015; originally announced December 2015.

Comments: 20 pages, comments welcome. Sequel to arXiv:1512.06843. Updated 5/22/17 based on referee report; some results clarified and exposition improved

MSC Class: 13D22 (Primary) 13C14; 13A35 (Secondary)

arXiv:1512.06843 [pdf, ps, other]

doi 10.1016/j.jalgebra.2016.08.009

Closure operations that induce big Cohen-Macaulay modules and classification of singularities

Authors: Rebecca R. G

Abstract: Geoffrey Dietz introduced a set of axioms for a closure operation on a complete local domain R so that the existence of such a closure operation is equivalent to the existence of a big Cohen-Macaulay module. These closure operations are called Dietz closures. In complete rings of characteristic p > 0, tight closure and plus closure satisfy the axioms. In order to study these closures, we define mo… ▽ More Geoffrey Dietz introduced a set of axioms for a closure operation on a complete local domain R so that the existence of such a closure operation is equivalent to the existence of a big Cohen-Macaulay module. These closure operations are called Dietz closures. In complete rings of characteristic p > 0, tight closure and plus closure satisfy the axioms. In order to study these closures, we define module closures and discuss their properties. For many of these properties, there is a smallest closure operation satisfying the property. We discuss properties of big Cohen-Macaulay module closures, and prove that every Dietz closure is contained in a big Cohen-Macaulay module closure. Using this result, we show that under mild conditions, a ring R is regular if and only if all Dietz closures on R are trivial. Finally, we show that solid closure in equal characteristic 0, integral closure, and regular closure are not Dietz closures, and that all Dietz closures are contained in liftable integral closure. △ Less

Submitted 1 July, 2016; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: 26 pages, comments welcome. V2: proof of 4.19 corrected, statement of 5.12 corrected, other minor changes. To appear in J. Algebra

MSC Class: 13D22 (Primary); 13C14; 13A35 (Secondary)

arXiv:cs/0702119

Ulam's Conjecture is True for Connected Graphs

Authors: Raju Renjit. G