This paper mainly focuses on commutative local domains of dimension one. We then obtain a criterion for a ring to have a finite number of trace ideals in terms of integrally closed ideals. We also explore properties of such rings related to birational extensions, reflexive ideals, and reflexive Ulrich modules. Special attention is given in the case of numerical semigroup rings of non-gap four. We then obtain a criterion for a ring to have a finite number of reflexive ideals up to isomorphism. Non-domains arising from fiber products are also explored.
We consider a classification problem of ideals by codimension in case rings are the local rings of irreducible curve singularities. In this paper, we introduce a systematic method to solve this problem.
For polynomial ideals in positive charachteristic, defining $F$-split rings and admitting a squarefree monomial initial ideal are different notions. In this note we show that, however, there are strong interactions in both directions. Moreover we provide an overview on which $F$-singularities are Gröbner deforming. Also, we prove the following characteristic-free statement: if $\mathfrak{p}$ is a height $h$ prime ideal such that $\textrm{in}(\mathfrak{p}^{(h)})$ contains at least one squarefree monomial, then $\textrm{in}(\mathfrak{p})$ is a squarefree monomial ideal.
We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.
A criterion is given in order that the ideals of a one branch curve singularity form at most 2-parameter families. Namely, we present a list of plane curve singularities from the Arnold's classification which are the smallest among all one branch singularities having at most 2-parameter families of ideals.
In this paper, we study a class of toric ideals obtained by using some geometric data of ADE trees which are the minimal resolution graphs of rational surface singularities. We compute explicit Gröbner bases for these toric ideals that are also minimal generating sets consisting of large number of binomials of degree $\leq 4$. In particular, they give rise to squarefree initial ideals as well.
We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals.
Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a complete answer is given in the case where R is local: it is proved in this paper that every ideal of R is isomorphic to a trace ideal if and only if R is an artinian Gorenstein ring, or a 1-dimensional hypersurface with multiplicity at most 2, or a unique factorization domain.
Let $R$ be a commutative ring with the unit element. It is shown that an ideal $I$ in $R$ is pure if and only if Ann$(f)+I=R$ for all $f\in I$. If $J$ is the trace of a projective $R$-module $M$, we prove that $J$ is generated by the ``coordinates" of $M$ and $JM = M$. These lead to a few new results and alternative proofs for some known results.
The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen-Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals.
The aim of this paper is to study mixed multiplier ideals associated to a tuple of ideals in a two-dimensional local ring with a rational singularity. We are interested in the partition of the real positive orthant given by the regions where the mixed multiplier ideals are constant. In particular we reveal which information encoded in a mixed multiplier ideal determines its corresponding jumping wall and we provide an algorithm to compute all the constancy regions, and their corresponding mixed multiplier ideals, in any desired range.
We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair $(X,Δ)$ is plt if and only if the modulo $p$ reduction of $(X,Δ)$ is divisorially F-regular for all large $p \gg 0$. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe in terms of Frobenius splitting.
Let R be a local Noetherian commutative ring. We prove that R is an Artinian Gorenstein ring if and only if every ideal in R is a trace ideal. We discuss when the trace ideal of a module coincides with its double annihilator.
Given a commutative Noetherian ring $R$ with total ring of fractions $Q(R)$, and a finitely generated $R$-submodule $M$ of $Q(R)$, we prove an equality between trace ideal, and certain annihilator of Ext and Tor of $M$. As a consequence, we answer in one-dimensional local analytically unramified case, a question raised by the present author and R. Takahashi. As another application, we give an alternative proof of a recent result of Ö. Esentepe that for one-dimensional analytically unramified Gorenstein local rings, the cohomology annihilator of Iyengar and Takahashi coincides with the conducto…
The aim of this paper is to study jumping numbers and multiplier ideals of any ideal in a two-dimensional local ring with a rational singularity. In particular we reveal which information encoded in a multiplier ideal determines the next jumping number. This leads to an algorithm to compute sequentially the jumping numbers and the whole chain of multiplier ideals in any desired range. As a consequence of our method we develop the notion of jumping divisor that allows to describe the jump between two consecutive multiplier ideals. In particular we find a unique minimal jumping divisor that is s…
We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associated to $\mathfrak a$ proving, in particular, that it is a rational function.
For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring. We remark that the canonical trace ideal contains the conductor ideal, and we study bounds for the residue. For $3$-generated numerical semigroups we give explicit formulas for the canonical trace ideal and the residue of $H$. Thus, in this setting we can classify those whose residue is at most one (the nearly-Gorenstein ones), and we show the eventual peri…
Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. Under various hypotheses, it is proved that the center of $\mbox{End}_R(M)$ coincides with the endomorphism ring of the trace ideal of $M$. These results are exploited to establish results for balanced and rigid modules, and to settle certain cases of a conjecture of Huneke and Wiegand.
We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely $F$-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristi…
We study one-dimensional Cohen-Macaulay rings whose trace ideal of the canonical module is as small as possible. In this paper we call such rings far-flung Gorenstein rings. We investigate far-flung Gorenstein rings in relation with the endomorphism algebras of the maximal ideals and numerical semigroup rings. We show that the solution of the Rohrbach problem in additive number theory provides an upper bound for the multiplicity of far-flung Gorenstein numerical semigroup rings. Reflexive modules over far-flung Gorenstein rings are also studied.
Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace modul…
In the present paper we investigate reflexive modules over the endomorphism algebras of reflexive trace ideals in a one-dimensional Cohen-Macaulay local ring. The main theorem generalizes both of the results of S. Goto, N. Matsuoka, and T. T. Phuong and T. Kobayashi concerning the endomorphism algebra of its maximal ideal. We also explore the question of when the category of reflexive modules is of finite type, i.e., the base ring has only finitely many isomorphism classes of indecomposable reflexive modules. We show that, if the category is of finite type, the ring is analytically unramified …
We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these.
In this paper we construct a combinatorial algorithm of resolution of singularities for binomial ideals, over a field of arbitrary characteristic. This algorithm is applied to any binomial ideal. This means ideals generated by binomial equations without any restriction, including monomials and $p$-th powers, where $p$ is the characteristic of the base field. In particular, this algorithm works for toric ideals. However, toric geometry tools are not needed, the algorithm is constructed following the same point of view as Villamayor algorithm of resolution of singularities in characteristic zero…
Let $V$ be a projective hypersurface having only isolated singularities. We show that these singularities are weighted homogeneous if and only if the Koszul syzygies among the partial derivatives of an equation for $V$ are exactly the syzygies with a generic first component vanishing on the singular locus subscheme of $V$. This yields in particular a positive answer in this setting to a question raised by Morihiko Saito and the first author. Finally we explain how our result can be used to improve the listing of Jacobian syzygies of a given degree by a computer algebra system such as Singular,…
For any finitely generated module $M$ with non-zero rank over a commutative one dimensional Noetherian local domain, the numerical invariant $h(M)$ was introduced and studied in the author's previous work "Partial Trace Ideals and Berger's Conjecture". We establish a bound on it which helps capture information about the torsion submodule of $M$ when $M$ has rank one and it also generalizes the discussion in the mentioned previous article. We further study bounds and properties of $h(M)$ in the case when $M$ is the canonical module $ω_R$. This in turn helps in answering a question of S. Greco a…
We study several classes of isolated singularities of plurisubharmonic functions that can be approximated by analytic singularities with control over their residual Monge--Ampère masses. They are characterized in terms of Green functions for Demailly's approximations, relative types, and valuations. Furthermore, the classes are shown to appear when studying graded families of ideals of analytic functions and the corresponding asymptotic multiplier ideals.
What kind of reduced monomial schemes can be obtained as a Gröbner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.
The $F$-pure threshold is a numerical invariant of prime characteristic singularities, that constitutes an analogue of the log canonical thresholds in characteristic zero. We compute the $F$-pure thresholds of determinantal ideals, i.e., of ideals generated by the minors of a generic matrix.
In this paper we consider the problem of finding explicitly canonical ideals of one-dimensional Cohen-Macaulay local rings. We show that Gorenstein ideals contained in a high power of the maximal ideal are canonical ideals. In the codimension two case, from a Hilbert-Burch resolution, we show how to construct canonical ideals of curve singularities. Finally, we translate the problem of the analytic classification of curve singularities to the classification of local Artin Gorenstein rings with suitable length.
Using the minors in Hessian matrices, we introduce new graded algebras associated to a homogeneous polynomial. When the associated projective hypersurface has isolated singularities, these algebras are related to some new local algebras associated to isolated hypersurface singularities, which generalize their Tjurina algebras. One consequence of our results is a new way to determine the number of weighted homogeneous singularities of such a hypersurface.
We describe the roots of the Bernstein-Sato polynomial of a monomial ideal using reduction mod p and invariants of singularities in positive chracteristic. We give in this setting a positive answer to a problem of Takagi, Watanabe and the second author, concerning the dependence on the characteristic for these invariants of singularities.
For a normal F-finite variety $X$ and a boundary divisor $Δ$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,Δ)$. Our description is in terms of regular alterations over $X$, and one consequence of it is a common characterization of rational singularities (in characteristic zero) and F-rational singularities (in characteristic $p$) by the surjectivity of the trace map $π_* ω_Y \to ω_X$ for every such alteration $π\: Y \to X$. Furthermore, building on work of B. Bhatt, we establish …
Let $(R, \mathfrak m)$ be a Noetherian local ring and $I$ a $\mathfrak m$-primary ideal. In this paper, we study an inequality involving the number of generators, the Loewy length and the multiplicity of $I$. There is strong evidence that the inequality holds for all integrally closed ideals of finite colength if and only if $R$ has sufficiently nice singularities. We verify the inequality for regular local rings in all dimensions, for rational singularity in dimension $2$, and cDV singularities in dimension $3$. In addition, we can classify when the inequality always hold for a Cohen-Macaulay…
Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$-injective and Du Bois singularities. Finally, using an unpublished result of Gabber, we also show that $F$-injective and Du Bois singularities have a common definition in terms of smooth hypercovers.
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 use…
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)$.
For any finitely generated module $M$ with non-zero rank over a commutative one-dimensional Noetherian local domain, we study a numerical invariant $\operatorname{h}(M)$ based on a partial trace ideal of $M$. We study its properties and explore relations between this invariant and the colength of the conductor. Finally we apply this to the universally finite module of differentials $Ω_{R/k}$, where $R$ is a complete $k$-algebra with $k$ any perfect field, to study a long-standing conjecture due to R. W. Berger.
