SearcharxivSearch

arXiv subjects

Janet Vassilev

Publications and source records attributed to Janet Vassilev.

9 recordsLinked to original sources

A common framework for test ideals, closure operations, and their duals

Closure operations such as tight and integral closure and test ideals have appeared frequently in the study of commutative algebra. This articles serves as a survey of the authors' prior results connecting closure operations, test ideals, and interior operations via the more general structure of pair operations. Specifically, we describe a duality between closure and interior operations generalizing the duality between tight closure and its test ideal, provide methods for creating pair operations that are compatible with taking quotient modules or submodules, and describe a generalization of core and its dual. Throughout, we discuss how these ideas connect to common constructions in commutative algebra.

math.AC

Differential operators, retracts, and toric face rings

We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms of its differential operators. Our main technique is to realize the k-algebras we study in terms of a suitable family of their algebra retracts in a way that is compatible with the characterization of differential operators. This strategy allows us to describe differential operators of any k-algebra realized by retracts in terms of the differential operators on these retracts, without restriction on char(k).

math.AC

${\rm cl}$-prereductions, ${\rm i}$-postexpansions, and related structures

Expanding on the work of Kemp, Ratliff and Shah, for any closure ${\rm cl}$ defined on a class of modules over a Noetherian ring, we develop the theory of ${\rm cl}$-prereductions of submodules. For any interior ${\rm i}$ on a class of $R$-modules, we also develop the theory of {\rm i}-postexpansions. Using the duality of Epstein, R.G. and Vassilev, we show that if ${\rm i}$ is the interior dual to ${\rm cl}$, then these notions are in fact dual to each other. We consider the ${\rm cl}$-precore (${\rm i}$-postcore), the intersection of all ${\rm cl}$-prereductions ${\rm i}$-postexpansions) of a submodule and the ${\rm cl}$-prehull (${\rm i}$-posthull), the sum of all ${\rm cl}$-prereductions (${\rm i}$-postexpansions) of a submodule and give comparisons with the ${\rm cl}$-core (${\rm i}$-hull). We further give a classification of ${\rm cl}$-prereductions of ${\rm cl}$-closed ideals of a Noetherian ring where ${\rm cl}$ is a closure with a special part.

math.AC

How to extend closure and interior operations to more modules

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.

math.AC

Differentially fixed ideals in toric varieties

This article concerns monomial ideals fixed by differential operators of affine semi-group rings over $\mathbb{C}$. We give a complete characterization of when this happens. Perhaps surprisingly, every monomial ideal is fixed by an infinite set of homogeneous differential operators and is in fact determined by them. This opens up a new tool for studying monomial ideals. We explore applications of this to (mixed) multiplier ideals and other variants as well as give examples of detecting ideal membership in integrally closed powers and symbolic powers of squarefree monomial ideals.

math.AC

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

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.

math.AC

Nakayama closures, interior operations, and core-hull duality

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.

math.AC

The $cl-core$ of an ideal

We expand the notion of core to $cl$-core for Nakayama closures $cl$. In the characteristic $p>0$ setting, when $cl$ is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that *-core$(I)=$ core$(I)$, if $I$ is an ideal in a one-dimensional domain with infinite residue field or if $I$ is an ideal generated by a system of parameters in any Noetherian ring. More generally, we show the same result in a Cohen--Macaulay normal local domain with infinite perfect residue field, if the analytic spread, $\ell$, is equal to the *-spread and $I$ is $G_{\ell}$ and weakly-$(\ell-1)$-residually $S_2$. This last is dependent on our result that generalizes the notion of general minimal reductions to general minimal *-reductions. We also determine that the *-core of a tightly closed ideal in certain one-dimensional semigroup rings is tightly closed and therefore integrally closed.

math.AC