The core of ideals in arbitrary characteristic

The core of a module and the adjoint of an ideal over a two dimensional regular local ring

The core of an module is the intersection of all its reductions. The main result asserts that the core of a finitely generated, torsion-free, integrally closed module over a two dimensional regular local ring is the product of the module and the adjoint of an ideal. This generalizes the fundamental formula for the core of an integrally closed ideal in a two-dimensional regular local ring due to Huneke and Swanson. As an application, we show that for integrally closed modules $M$ and $N$ over a two-dimensional regular local ring with $M\subset N$ and $M^{**}=N^{**}$, the core of $M$ is containe…

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$ i…

Core and residual intersections of ideals

D. Rees and J. Sally defined the core of an $R$-ideal $I$ as the intersection of all $($minimal$)$ reductions of $I$. However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently, the only case in which a closed formula was known is the one of integrally closed ideals in a two-dimensional regular local ring, due to C. Huneke and I. Swanson. The main result of this paper explicitly describes the core of a broad class of ideals with good residual properties in an arbitrary local Cohen-Macaulay ring. We also find sharp bounds on the num…

二维正则局部环中完全理想乘积的核心与伴随理想研究

On the core and adjoint of the product of complete ideals in two-dimensional regular local rings

该研究借助完全理想的联合约化，给出二维正则局部环中完全理想乘积的核心、伴随理想表达式及其余长度计算方法，强化了Rees与Sally对Briançon-Skoda定理的推广结果。

Rees's theorem for arbitrary ideals

This paper has been withdrawn by the authors, due a crucial error in the proof of the main theorem.

On the core of ideals

Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal graded ideal m of an arbitrary standard graded algebra A over a field k. This formula allows us to study basic properties of the graded core and to construct counter-examples to some open questions on the core of ideals in a local ring. For instance, we can show that in general, core(m \otimes E) \neq core(m)\otimes E, where E is a field extension of k. From t…

Annihilators of Graded Components of the Canonical Module, and the Core of Standard Graded Algebras

We relate the annihilators of graded components of the canonical module of a graded Cohen-Macaulay ring to colon ideals of powers of the homogeneous maximal ideal. In particular, we connect them to the core of the maximal ideal. An application of our results characterizes Cayley-Bacharach sets of points in terms of the structure of the core of the maximal ideal of their homogeneous coordinate ring. In particular, we show that a scheme is Cayley-Bacharach if and only if the core is a power of the maximal ideal.

The $*$-core of the graded maximal ideal in a Stanley-Reisner ring

We consider ideals $I$ in a Stanley-Reisner ring $k[Δ]$ over the simplical complex $Δ$, such that the tight closure of $I$, $I^*$, is equal to $\mathfrak{m}$, the standard graded maximal ideal of $k[Δ]$. We determine the minimal number of generators of $I$ to be the $\dim Δ+1$ and note the important role this value plays in bounding the intersection of all such ideals $I$. We make mention of this intersection in special cases of Stanley-Reisner rings. We conclude with a description of how this work relates to integral closure.

Computing the core of ideals in arbitrary characteristic

Let $R$ be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let $I$ be an $R$--ideal with $g=\height I >0$, analytic spread $\ell$, and let $J$ be a minimal reduction of $I$. We further assume that $I$ satisfies $G_{\ell}$ and ${\depth} R/I^j \geq \dim R/I -j+1$ for $1 \leq j \leq \ell-g$. The question we are interested in is whether $\core{I}=J^{n+1}:\ds \sum_{b \in I} (J,b)^n$ for $n \gg 0$. In the case of analytic spread one Polini and Ulrich show that this is true with even weaker assumptions (\cite[Theorem 3.4]{PU}). We give a negative answer to this questi…

A formula for the core of an ideal

The core of an ideal is the intersection of all its reductions. For large classes of ideals I we explicitly describe the core as a colon ideal of a power of a single reduction and a power of I.

The Core of 0-Dimensional Monomial Ideals

The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas.

Desingularization of binomial varieties in arbitrary characteristic. Part II. Combinatorial desingularization algorithm

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…

Efficient generation of ideals in core subalgebras of the polynomial ring k[t] over a field k

This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call cores of $S$ includes the semigroup rings $k[H]$ of numerical semigroups $H$, but much larger than the class of numerical semigroup rings. For $R=k[H]$ and $M \in \operatorname{Max}R$, our result eventually shows that $μ_{R}(M) \in \{1,2,μ(H)\}$ where $μ_{R}(M)$ (resp. $μ(H)$) stands for the minimal number of generators of $M$ (resp. $H$), which covers in t…

通过理想核对二维有理奇点进行特征化

A characterization of two-dimensional rational singularities via Core of ideals

本文通过研究p_g-理想的核心，提出了一种利用积分闭合理想核包含关系来特征化二维有理奇点的方法。

Depth and Stanley depth of the edge ideals of the strong product of some graphs

In this paper we study depth and Stanley depth of the edge ideals and quotient rings of the edge ideals, associated to classes of graphs obtained by taking the strong product of two graphs. We consider the cases when either both graphs are arbitrary paths or one is an arbitrary path and the other is an arbitrary cycle. We give exact formulae for values of depth and Stanley depth for some sub classes. We also give some sharp upper bounds for depth and Stanley depth in the general cases.

The local cohomology of a parameter ideal with respect to an arbitrary ideal

Let $R$ be a regular ring, let $J$ be an ideal generated by a regular sequence of codimension at least $2$, and let $I$ be an ideal containing $J$. We give an example of a module $H^3_I(J)$ with infinitely many associated primes, answering a question of Hochster and Núñez-Betancourt in the negative. In fact, for $i\leq 4$, we show that under suitable hypotheses on $R/J$, $\text{Ass}\,H^{i}_I(J)$ is finite if and only if $\text{Ass}\,H^{i-1}_I(R/J)$ is finite. Our proof of this statement involves a novel generalization of an isomorphism of Hellus, which may be of some independent interest. The …

Multiplicities and Mixed Multiplicities of arbitrary Filtrations

We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on an analytically unramified local ring $R$ come from the coefficients of a suitable homogeneous polynomial in $r$ variables of degree equal to the dimension of the ring, analogously to the classical case of the mixed multiplicities of $m$-primary ideals in a local ring. We prove that the Minkowski inequalities hold for arbitrary filtrations. The characterizat…

Bernstein-Sato theory for arbitrary ideals in positive characteristic

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

De Jonquières transformations in arbitrary dimension. An ideal theoretic view

A generalization of the plane de Jonquières transformation to arbitrary dimension is studied, with an eye for the ideal theoretic side. In particular, one considers structural properties of the corresponding base ideal and of its defining relations. Useful throughout is the idea of downgraded sequences of forms, a tool considered in many sources for the rounding-up of ideals of defining relations. The emphasis here is on the case where the supporting Cremona transformation of the de Jonquières transformation is the identity map. In this case we establish aspects of the homological behavior of …

Hypergraph encodings of arbitrary toric ideals

Relying on the combinatorial classification of toric ideals using their bouquet structure, we focus on toric ideals of hypergraphs and study how they relate to general toric ideals. We show that hypergraphs exhibit a surprisingly general behavior: the toric ideal associated to any general matrix can be encoded by that of a $0/1$ matrix, while preserving the essential combinatorics of the original ideal. We provide two universality results about the unboundedness of degrees of various generating sets: minimal, Graver, universal Gröbner bases, and indispensable binomials. Finally, we provide a p…

任意闭包运算的有理性及全扩展加闭包的测试理想

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

本文将 F-有理性推广至任意闭包运算，给出 Cohen-Macaulay 完备局部环上 cl-有理性等价于参数理想为 cl-闭的条件，并证明全扩展加闭包与弱全扩展加闭包不存在大测试元素。

将任意有理单项式序下首项理想的有限生成问题归约到字典序

Reduction of the Finite Generation Problem for Leading Term Ideals under Arbitrary Rational Monomial Orders to the Lexicographic

研究将任意有理单项式序下首项理想的有限生成问题归约到字典序，通过带标签的单项式嵌入等方法证明相关性质等价，还应用此归约于赋值环，给出格罗贝纳环猜想有理单项式序版本的证明。

On a Non-Vanishing Conjecture of Kawamata and the Core of an Ideal

We show that under suitable hypothesis (which are sharp in certain sense) that the core of an m-primary ideal in a regular local ring of dimension d is equal to the adjoint (or multiplier) ideal of its d-th power, generalizing a result of Huneke and Swanson in dimension two. We also prove a version of this in the singular setting, which we show to be intimately related to the problem of finding global sections of ample line bundles on projective varieties. In particular, we show that a graded analog of our formula for core would imply a remarkable conjecture of Kawamata predicting that every a…

加权有向图的边理想的积分闭包的正则性

Regularity of integral closures of edge ideals of weighted oriented graphs

本文证明了任意加权有向图的边理想在取积分闭包后正则性不增，揭示了该代数操作对正则性的单调影响。

单圈图的3-路径理想的投射维数与正则度

Projective dimension and regularity of 3-path ideals of unicyclic graphs

本文针对至多含有一个圈的任意图，计算了其3-路径理想的投射维数与正则度，给出了完整的结果。

Flow-up Bases for Generalized Spline Modules on Arbitrary Graphs

Let R be a commutative ring with identity. An edge labeled graph is a graph with edges labeled by ideals of R. A generalized spline over an edge labeled graph is a vertex labeling by elements of R, such that the labels of any two adjacent vertices agree modulo the label associated to the edge connecting them. The set of generalized splines forms a subring and module over R. Such a module it is called a generalized spline module. We show the existence of a flow-up basis for the generalized spline module on an edge labeled graph over a principal ideal domain by using a new method based on trails…

Predicted decay ideal

For arbitrary positive integers $q_1 \ge q_2 \ge q_3 \ge \cdots$ we construct a family of monomial ideals such that for each positive integer $e$ and for each ideal $I$ in the family, the number of associated primes of $I^e$ is the $q_e$. We present the associated primes explicitly.

Lexsegment ideals are sequentially Cohen-Macaulay

The associated primes of an arbitrary lexsegment ideal $I\subset S=K[x_1,...,x_n]$ are determined. As application it is shown that $S/I$ is a pretty clean module, therefore, $S/I$ is sequentially Cohen-Macaulay and satisfies Stanley's conjecture.

Normal ideals of graded rings

For a graded domain $R=k[X_0,...,X_m]/J$ over an arbitrary domain $k$, it is shown that the ideal generated by elements of degree $\geq mA$, where $A$ is the least common multiple of the weights of the $X_i$, is a normal ideal.

Indecomposable integrally closed modules of arbitrary rank over a two-dimensional regular local ring

In this paper, we construct indecomposable integrally closed modules of arbitrary rank over a two-dimensional regular local ring. The modules are quite explicitly constructed from a given complete monomial ideal. We also give structural and numerical results on integrally closed modules. These are used in the proof of indecomposability of the modules. As a consequence, we have a large class of indecomposable integrally closed modules of arbitrary rank whose ideal is not necessarily simple. This extends the original result on the existence of indecomposable integrally closed modules and strengt…

Mixed multiplicities of graded families of ideals

We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary $\mathfrak{m}$-primary graded families. Furthermore, we provide a far-reaching "Volume = Multiplicity formula" for the mixed multiplicities of graded families of ideals.

Core versus graded core and global sections of line bundles

We find formulas for the graded core of certain m-primary ideals in a graded ring. In particular, if S is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under suitable hypothesis, the core and graded core of the ideal of S generated by all elements of degrees at least N (for some, equivalently every, large N) are equal if and only if the line bundle admits a non-zero global section. We also prove a formula for the graded core of the powers of the unique homogeneous maximal ideal in a standard graded Cohen-Macaulay ring of arbitrary charact…

Desingularization of binomial varieties in arbitrary characteristic. Part I. A new resolution function and their properties

This paper is devoted to give all the technical constructions and definitions that will lead to the construction of an algorithm of resolution of singularities for binomial ideals. We construct a resolution function that will provide a resolution of singularities for binomial ideals, over a field of arbitrary characteristic. For us, a binomial ideal means an ideal generated by binomial equations without any restriction, including monomials and $p$-th powers, where $p$ is the characteristic of the base field. This resolution function is based in a modified order function, called $E$-order. The …

k[x]-modules和核心-幂零态射

k[x]-modules and Core-Nilpotent endomorphisms

本文研究了向量空间上核心-幂零态射的性质，通过k[x]-module结构给出新的描述，并提出一种新的广义反演，扩展了Drazin逆的应用范围。

Cartier 代数的 Cartier 核心映射

The Cartier core map for Cartier algebras

本文为 Cartier 代数定义 Cartier 核心映射，证明其连续性、保包含性及对相容理想的固定作用，并推广至任意理想，还刻画了 Stanley-Reisner 环的素一致 F-相容理想。

A short note on containment of cores

We show that cores of ideals do not preserve the inclusion.

Hilbert Schemes with Two Borel-fixed Points in Arbitrary Characteristic

We extend the recent classification of Hilbert schemes with two Borel-fixed points to arbitrary characteristic. We accomplish this by synthesizing Reeves' algorithm for generating strongly stable ideals with the basic properties of Borel-fixed ideals and our previous work classifying Hilbert schemes with unique Borel-fixed points.

A numerical characterization of reduction for arbitrary modules

Let $(R, \mathfrak m)$ be a $d$-dimensional Noetherian local ring and $E$ a finitely generated $R$-submodule of a free module $R^p.$ In this work we introduce a multiplicity sequence $c_k(E), k=0,..., d+p-1$ for $E$ that generalize the Buchsbaum-Rim multiplicity defined when $E$ has finite colength in $R^p$ as well as the Achilles-Manaresi multiplicity sequence that applies when $E\subseteq R$ is an ideal. Our main result is that the new multiplicity sequence can indeed be used to detect integral dependence of modules. Our proof is self-contained and implies known numerical criteria for integr…

Bernstein-Sato polynomials of arbitrary varieties

We introduce the notion of Bernstein-Sato polynomial of an arbitrary variety (which is not necessarily reduced nor irreducible), using the theory of V-filtrations of M. Kashiwara and B. Malgrange. We prove that the decreasing filtration by multiplier ideals coincides essentially with the restriction of the V-filtration. This implies a relation between the roots of the Bernstein-Sato polynomial and the jumping coefficients of the multiplier ideals, and also a criterion for rational singularities in terms of the maximal root of the polynomial in the case of a reduced complete intersection. These…

表格理想的深度和正则度

Depth and regularity of tableau ideals

本文计算了表格理想的深度和正则度，这些理想由正整数填充杨图定义。

Newton trees for ideals in two variables and applications

We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[x,y]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For instance when the ideal is of finite codimension, invariants like integral closure and Hilbert-Samuel multiplicity were already combinatorially determined in the very special cases of monomial or non degenerate ideals, using the Newton polygon of the ideal. With our approach, we can generalize these results to arbitrary ideals. In particular the Rees valuati…

Multiplier Ideals and Modules on Toric Varieties

A simple formula computing the multiplier ideal of a monomial ideal on an arbitrary affine toric variety is given. Variants for the multiplier module and test ideals are also treated.

Toric ideals of phylogenetic invariants for the general group-based model on claw trees $K_{1,n}$

We address the problem of studying the toric ideals of phylogenetic invariants for a general group-based model on an arbitrary claw tree. We focus on the group $\mathbb Z_2$ and choose a natural recursive approach that extends to other groups. The study of the lattice associated with each phylogenetic ideal produces a list of circuits that generate the corresponding lattice ideal. In addition, we describe explicitly a quadratic lexicographic Gröbner basis of the toric ideal of invariants for the claw tree on an arbitrary number of leaves. Combined with a result of Sturmfels and Sullivant, this…

Geometric nullstellensatz and symbolic powers on arbitrary varieties

In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather multiplier ideal, has been developed independently by Ein-Ishii-Mustata, and de Fernex-Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstellensatz due to Ein-Lazarsfeld in nonsingular case to any projective varieties. Then we prove a result on comparison of symbolic powers with ordinary powers on any varieties, which extends results of Ei…

The Regularity of Powers of Edge Ideals

In this paper we prove the existence of a special order on the set of minimal monomial generators of powers of edge ideals of arbitrary graphs. Using this order we find new upper bounds on the regularity of powers of edge ideals of graphs whose complement does not have any induced four cycle.

An upper bound on the number of F-jumping coefficients of a principal ideal

We prove a result relating the Jacobian ideal and the generalized test ideal associated to a principal ideal in $R=k[x_1,...,x_n]$ with $[k:k^p]<\infty$ or in $R=k[[x_1,...,x_n]]$ with an arbitrary field $k$ of characteristic $p>0$. As a consequence of this result, we establish an upper bound on the number of $F$-jumping coefficients of a principal ideal with an isolated singularity.

Convex bodies and graded families of monomial ideals

We show that the mixed volumes of arbitrary convex bodies are equal to mixed multiplicities of graded families of monomial ideals, and to normalized limits of mixed multiplicities of monomial ideals. This result evinces the close relation between the theories of mixed volumes from convex geometry and mixed multiplicities from commutative algebra.