Showing papers in "arXiv: Commutative Algebra in 2014"

Gr\"obner methods for representations of combinatorial categories

Abstract: Given a category C of a combinatorial nature, we study the following fundamental question: how does the combinatorial behavior of C affect the algebraic behavior of representations of C? We prove two general results. The first gives a combinatorial criterion for representations of C to admit a theory of Grobner bases. From this, we obtain a criterion for noetherianity of representations. The second gives a combinatorial criterion for a general "rationality" result for Hilbert series of representations of C. This criterion connects to the theory of formal languages, and makes essential use of results on the generating functions of languages, such as the transfer-matrix method and the Chomsky-Schutzenberger theorem. Our work is motivated by recent work in the literature on representations of various specific categories. Our general criteria recover many of the results on these categories that had been proved by ad hoc means, and often yield cleaner proofs and stronger statements. For example: we give a new, more robust, proof that FI-modules (originally introduced by Church-Ellenberg-Farb), and a family of natural generalizations, are noetherian; we give an easy proof of a generalization of the Lannes-Schwartz artinian conjecture from the study of generic representation theory of finite fields; we significantly improve the theory of $\Delta$-modules, introduced by Snowden in connection to syzygies of Segre embeddings; and we establish fundamental properties of twisted commutative algebras in positive characteristic.

Regularity of powers of forests and cycles

Abstract: Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G contains a Hamiltonian path and when G is a Hamiltonian graph.

Symmetry in the vanishing of Ext over Gorenstein rings

Abstract: We investigate symmetry in the vanishing of Ext for finitely generated modules over local Gorenstein rings. In particular, we define a class of local Gorenstein rings, which we call AB rings, and show that for finitely generated modules $M$ and $N$ over an AB ring $R$, $Ext^i_R(M,N)=0$ for all $i >> 0$ if and only if $Ext^i_R(N,M)=0$ for all $i >> 0$.

Regularity of Squarefree Monomial Ideals

Abstract: We survey a number of recent studies of the Castelnuovo–Mumford regularity of squarefree monomial ideals. Our focus is on bounds and exact values for the regularity in terms of combinatorial data from associated simplicial complexes and/or hypergraphs.

Absolutely superficial sequences

Abstract: Absolutely superficial sequences was introduced by P. Schenzel in order to study generalized Cohen-Macaulay (resp. Buchsbaum) modules. For an arbitrary local ring, they turned out to be d-sequences. This paper established properties of absolutely superficial sequences with respect to a module. It is shown that they are closely related to other sequences in the theory of generalized Cohen-Macaulay (resp. Buchsbaum) modules. In particular, there is a bounding function for the Hilbert-Samuel function of every parameter ideal such that this bounding function is attained if and only if the ideal is generated by an absolutely superficial sequence.

Prime congruences of idempotent semirings and a Nullstellensatz for tropical polynomials

Abstract: A new definition of prime congruences in idempotent semirings is given using twisted products. This class turns out to exhibit some analogous properties to the prime ideals of commutative rings. In order to establish a good notion of radical congruences it is shown that the intersection of all primes of a semiring can be characterized by certain twisted power formulas. A complete description of prime congruences is given in the polynomial and Laurent polynomial semirings over the tropical semifield TT, the semifield Zmax and the two element semifield B. The minimal primes of these semirings correspond to monomial orderings, and their intersection is the congruence that identifies polynomials that have the same Newton polytope. It is then shown that every finitely generated congruence in each of these cases is an intersection of prime congruences with quotients of Krull dimension 1. An improvement of a result from [BE13] is proven which can be regarded as a Nullstellensatz for tropical polynomials.

Koszul Algebras and Their Syzygies

Abstract: A Koszul algebra R is a N-graded K-algebra whose residue field K has a linear free resolution as an R-module. We present various characterizations of Koszul algebras and strong versions of Koszulness. Recent results on bounds of the degrees of the syzygies of a Koszul algebra are discussed. Finally we discuss in details the Koszul property of Veronese algebras and of algebras associated with collections of hyperspaces.

Vanishing of Ext and Tor over Cohen-Macaulay local rings

Abstract: We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.

Euler class group of a Noetherian ring

Abstract: We will study the Euler class group of a commutative Noetherian ring $A$ of dimension $d$, developed by S.M. Bhatwadekar and Raja Sridharan. This is my M.Phil thesis from 2001.

Homological dimensions of rigid modules

Abstract: We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective dimension of the maximal ideal $\fm$ of $R$ is finite. Furthermore we prove that $R$ must be regular if a single $\Ext_{R}^{n}(I,J)$ vanishes for some integrally closed $\fm$-primary ideals $I$ and $J$ of $R$ and for some integer $n\geq \dim(R)$. Along the way we observe that local rings that admit maximal Cohen-Macaulay Tor-rigid modules are Cohen-Macaulay.

A survey on the lyubeznik numbers

Abstract: The Lyubeznik numbers are invariants of a local ring containing a field that cap- ture ring-theoretic properties, but also have numerous connections to geometry and topol- ogy. 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. Since the introduction of the Lyubeznik numbers (Lyu93), the study of these invariants of local rings containing a field has grown in several compelling directions. One aim of this paper is to present definitions used in the study of the Lyubeznik numbers, along with examples and applications of these invariants, to those new to them. For those familiar with them, we also present recent results on, and generalizations of, the Lyubeznik numbers, as well as open problems in the area. Given a module M over a ring S, if Iis a minimal injective resolution of M, then each I i is isomorphic to a direct sum of indecomposable injective modules ES(S/p), p is a prime ideal of S; i.e., injective hulls over S of S/p. The number of copies of ES(S/p) in I i is the i-th Bass number of M with respect to p, denoted µi(p,M) and equals dimSp/pSp Ext i (Sp/pSp,Mp). Huneke and Sharp proved that if S is a regular ring of characteristic p > 0 and I is an ideal of S, then the Bass numbers of the local cohomology modules of the form H j I (S), j ∈ N, are finite, raising the analogous question in the characteristic zero case (HS93). Uti- lizing D-module theory, Lyubeznik proved the same statement for regular local rings of characteristic zero containing a field (Lyu93). Relying on the finiteness of the Bass numbers of local cohomology modules, Lyubeznik introduced a family of integer-valued invariants associated to a local ring containing a field, now called Lyubeznik numbers. They are defined as follows: Suppose that (R,m,K) is a local ring admitting a surjection from an n-dimensional regular local ring (S,n,K) containing a field, and let I denote the kernel of the surjection. Given i,j ∈ N, the Lyubeznik number of R with respect to i,j ∈ N, is defined as dimK Ext i

Computation of Delta sets of numerical monoids

Abstract: Let $\{a_1,\dots,a_p\}$ be the minimal generating set of a numerical monoid $S$. For any $s\in S$, its Delta set is defined by $\Delta(s)=\{l_{i}-l_{i-1}|i=2,\dots,k\}$ where $\{l_1<\dots

On the Witt vector Frobenius

Abstract: We study the kernel and cokernel of the Frobenius map on the $p$-typical Witt vectors of a commutative ring, not necessarily of characteristic $p$. We give some equivalent conditions to surjectivity of the Frobenus map on both finite and infinite length Witt vectors; the former condition turns out to be stable under certain integral extensions, a fact which relates closely to a generalization of Faltings's almost purity theorem.

Frobenius Splitting in Commutative Algebra

Abstract: This is a survey of Frobenius splitting techniques in commutative algebra, based on the first author's lectures at the introductory workshop for the special year in commutative algebra at MSRI in fall 2012.

Linkage of modules and the Serre conditions

Abstract: Let $R$ be semiperfect commutative Noetherian ring and $C$ be a semidualizing $R$--module. The connection of the Serre condition $(S_n)$ on a horizontally linked $R$-module of finite $\gc$-dimension with the vanishing of certain cohomology modules of its linked module is discussed. As a consequence, it is shown that under some conditions Cohen-Macaulayness is preserved under horizontally linkage.

On the dual graph of Cohen-Macaulay algebras

Abstract: Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshorne's result: 1) If X is a Gorenstein subspace arrangement, then G(X) is r-connected, where r is the Castelnuovo-Mumford regularity of X. (The bound is best possible; for coordinate arrangements, it yields an algebraic extension of Balinski's theorem for simplicial polytopes.) 2) If X is a canonically embedded arrangement of lines no three of which meet in the same point, then the diameter of the graph G(X) is not larger than the codimension of X. (The bound is sharp; for coordinate arrangements, it yields an algebraic expansion on the recent combinatorial result that the Hirsch conjecture holds for flag normal simplicial complexes.)

Good ideals and $p_g$-ideals in two-dimensional normal singularities

Abstract: In this paper, we introduce the notion of $p_g$-ideals and $p_g$-cycles, which inherits nice properties of integrally closed ideals on rational singularities. As an application, we prove an existence of good ideals for two-dimensional Gorenstein normal local rings. Moreover, we classify all Ulrich ideals for two-dimensional simple elliptic singularities with small degree.

Constructive description of monogenic functions in a finite-dimensional commutative associative algebra

Abstract: Let $\mathbb{A}_n^m$ be an arbitrary $n$-dimensional commutative associative algebra over the field of complex numbers with $m$ idempotents. Let $e_1=1,e_2,e_3$ be elements of $\mathbb{A}_n^m$ which are linearly independent over the field of real numbers. We consider monogenic (i.e. continuous and differentiable in the sense of Gateaux) functions of the variable $xe_1+ye_2+ze_3$ where $x,y,z$ are real, and obtain a constructive description of all mentioned functions by means of holomorphic functions of complex variables. It follows from this description that monogenic functions have Gateaux derivatives of all orders.

On the shape of possible counterexamples to the Jacobian Conjecture

Abstract: We improve the algebraic methods of Abhyankar for the Jacobian Conjecture in dimension two and describe the shape of possible counterexamples We give an elementary proof of the result of Heitmann, which states that gcd(deg(P),deg(Q)) is greater than or equal to 16 for any counterexample (P,Q) We also prove that gcd(deg(P),deg(Q)) e 2p for any prime p and analyze thoroughly the case 16, adapting a reduction of degree technique introduced by Moh

F-pure thresholds of homogeneous polynomials

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 by Mustaţa 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.

Integral Closure of Rings of Integer-Valued Polynomials on Algebras

Abstract: Let D be an integrally closed domain with quotient field K. Let A be a torsion-free D-algebra that is finitely generated as a D-module. For every a in A we consider its minimal polynomial μ a (X) ∈ D[X], i.e. the monic polynomial of least degree such that μ a (a) = 0. The ring Int K (A) consists of polynomials in K[X] that send elements of A back to A under evaluation. If D has finite residue rings, we show that the integral closure of Int K (A) is the ring of polynomials in K[X] which map the roots in an algebraic closure of K of all the μ a (X), a ∈ A, into elements that are integral over D. The result is obtained by identifying A with a D-subalgebra of the matrix algebra M n (K) for some n and then considering polynomials which map a matrix to a matrix integral over D. We also obtain information about polynomially dense subsets of these rings of polynomials.

A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems

Abstract: Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes in $\mathcal C$ and, for any module $M$ in $\mathcal C$, let $[M]$ denote the unique element in $\mathcal V (\mathcal C)$ isomorphic to $M$. Then $\mathcal V (\mathcal C)$ is a reduced commutative semigroup with operation defined by $[M] + [N] = [M \oplus N]$, and this semigroup carries all information about direct-sum decompositions of modules in $\mathcal C$. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if $\operatorname{End}_R (M)$ is semilocal for all $M\in \mathcal C$, then $\mathcal V (\mathcal C)$ is a Krull monoid. Suppose that the monoid $\mathcal V (\mathcal C)$ is Krull with a finitely generated class group (for example, when $\mathcal C$ is the class of finitely generated torsion-free modules and $R$ is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of $\mathcal V (\mathcal C)$ using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid $\mathcal V (\mathcal C)$ for certain classes of modules over Prufer rings and hereditary Noetherian prime rings.

On v-Marot Mori rings and C-rings

Abstract: C-domains are defined via class semigroups, and every C-domain is a Mori domain with nonzero conductor whose complete integral closure is a Krull domain with finite class group. In order to extend the concept of C-domains to rings with zero divisors, we introduce $v$-Marot rings as generalizations of ordinary Marot rings and study their theory of regular divisorial ideals. Based on this we establish a generalization of a result well-known for integral domains. Let $R$ be a $v$-Marot Mori ring, $\hat R$ its complete integral closure, and suppose that the conductor $\mathfrak f = (R : \hat R)$ is regular. If the residue class ring $R/\mathfrak f$ and the class group $\mathcal C (\hat R)$ are both finite, then $R$ is a C-ring. Moreover, we study both $v$-Marot rings and C-rings under various ring extensions.

Reduction of local uniformization to the rank one case

Abstract: The main result of this paper is that in order to prove the local uniformization theorem for local rings it is enough to prove it for rank one valuations. Our proof does not depend on the nature of the class of local rings for which we want to prove local uniformization. We prove also the reductions for different versions of the local uniformization theorem.

On the Stanley depth of edge ideals of line and cyclic graphs

Abstract: We prove that the edge ideals of line and cyclic graphs and their quotient rings satisfy the Stanley conjecture. We compute the Stanley depth for the quotient ring of the edge ideal associated to a cycle graph of length $n$, given a precise formula for $n\equiv 0,2 \pmod{3}$ and tight bounds for $n\equiv 1 \pmod{3}$. Also, we give bounds for the Stanley depth of a quotient of two monomial ideals, in combinatorial terms.

A homological criterion for the containment between symbolic and ordinary powers for some ideals of points in $\mathbb{P}^2$

Abstract: We establish a criterion for the (failure of) the containment $I^{(m)}\subset I^r$ for 3-generated ideals $I$ defining reduced sets of points in $\mathbb{P}^2$. Our criterion arises from studying the minimal free resolutions of the powers of $I$, specifically the minimal free resolutions for $I^m$ and $I^r$. We apply this criterion to two point configurations that have recently arisen as counterexamples to a question of B. Harbourne and C. Huneke: the Fermat configuration and the Klein configuration.

Lifting Markov Bases and Higher Codimension Toric Fiber Products

Abstract: We study how to lift Markov bases and Grobner bases along linear maps of lattices. We give a lifting algorithm that allows to compute such bases iteratively provided a certain associated semigroup is normal. Our main application is the toric fiber product of toric ideals, where lifting gives Markov bases of the factor ideals that satisfy the compatible projection property. We illustrate the technique by computing Markov bases of various infinite families of hierarchical models. The methodology also implies new finiteness results for iterated toric fiber products.

Koszul binomial edge ideals

Abstract: It is shown that if the binomial edge ideal of a graph G defines a Koszul algebra, then G must be chordal and claw free. A converse of this statement is proved for a class of chordal and claw-free graphs.

On the binomial edge ideals of block graphs

Abstract: We find a class of block graphs whose binomial edge ideals have minimal regularity. As a consequence, we characterize the trees whose binomial edge ideals have minimal regularity. Also, we show that the binomial edge ideal of a block graph has the same depth as its initial ideal.

Annihilation of cohomology and strong generation of module categories

Abstract: The cohomology annihilator of a noetherian ring that is finitely generated as a module over its center is introduced. Results are established linking the existence of non-trivial cohomology annihilators and the existence of strong generators for the category of finitely generated modules. Exploiting this link, results of Popescu and Roczen, and Wang concerning cohomology annihilators of commutative rings, and also results of Aihara and Takahashi, Keller and Van den Bergh, and Rouquier on strong finite generation of the corresponding bounded derived category, are generalized to cover excellent local rings and also rings essentially of finite type over a field.