Showing 1–48 of 48 results for author: Varbaro, M

From a local ring to its associated graded algebra

Authors: Alessandro De Stefani, Maria Evelina Rossi, Matteo Varbaro

Abstract: Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a "Gröbner-like" deformation. Using this technique we prove sharp results concerning the connectedness of $R$ and $G$. We also construct a family of local domains wh… ▽ More Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a "Gröbner-like" deformation. Using this technique we prove sharp results concerning the connectedness of $R$ and $G$. We also construct a family of local domains which fail to satisfy Abhyankar's inequality for the Hilbert-Samuel multiplicity. However, we prove a version of the inequality which holds when $R$ is connected in codimension one. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

Authors: Aldo Conca, Anurag K. Singh, Matteo Varbaro

Abstract: For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Has… ▽ More For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Ladder determinantal varieties and their symbolic blowups

Authors: Alessandro De Stefani, Jonathan Montaño, Luis Núñez-Betancourt, Lisa Seccia, Matteo Varbaro

Abstract: In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure alge… ▽ More In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure algebras with straightening law. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 19 pages, 2 figures

Lefschetz duality for local cohomology

Authors: Matteo Varbaro, Hongmiao Yu

Abstract: Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties: it is no… ▽ More Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties: it is not misleading to think that quasi-Gorenstein rings are to Gorenstein rings as manifolds are to spheres. As applications, we derive a connectedness property of quasi-Gorenstein subspace arrangements generalizing previous results by Benedetti and the second author, and we deduce the classical topological Lefschetz duality via the Stanley-Reisner correspondence. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: 12 pages

MSC Class: 13C40; 14M10; 13D45; 05E40; 05E45; 13D09

Castelnuovo-Mumford regularity and powers

Authors: Winfried Bruns, Aldo Conca, Matteo Varbaro

Abstract: This note has two goals. The first is to give a short and self contained introduction to the Castelnuovo-Mumford regularity for standard graded ring $R$ over a general base ring. The second is to present a simple and concise proof of a classical result due to Cutkosky, Herzog and Trung and, independently, to Kodiyalam asserting that the regularity of powers of an homogeneous ideal $I$ of $R$ is ev… ▽ More This note has two goals. The first is to give a short and self contained introduction to the Castelnuovo-Mumford regularity for standard graded ring $R$ over a general base ring. The second is to present a simple and concise proof of a classical result due to Cutkosky, Herzog and Trung and, independently, to Kodiyalam asserting that the regularity of powers of an homogeneous ideal $I$ of $R$ is eventually a linear function in $v$. Finally we show how the flexibility of the definition of the Castelnuovo-Mumford regularity over general base rings can be used to give a simple characterization of the ideals whose powers have a linear resolution in terms of the regularity of the Rees ring. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Comments: The paper is dedicated to David Eisenbud on the occasion of his seventy-fifth birthday

MSC Class: 13D02

Gröbner deformation and $F$-singularities

Authors: Mitra Koley, Matteo Varbaro

Abstract: 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… ▽ More 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. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: Comments are welcome

MSC Class: 13P10; 13A35

Hamiltonian paths, unit-interval complexes, and determinantal facet ideals

Authors: Bruno Benedetti, Lisa Seccia, Matteo Varbaro

Abstract: We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval,… ▽ More We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are: (1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".) (2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".) (3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.) (4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure. △ Less

Submitted 12 April, 2021; v1 submitted 22 January, 2021; originally announced January 2021.

Comments: 41 pages, 5 figures; improved and extended version, with Main Theorem V, Lemma 48, and Corollary 81 added, plus minor corrections and strengthenings

MSC Class: 05C45; 05C65; 05C38; 05C07; 13P10; 13F50; 55U10

Singularities and radical initial ideals

Authors: Alexandru Constantinescu, Emanuela De Negri, Matteo Varbaro

Abstract: 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… ▽ More 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. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Comments: 12 pages

MSC Class: 13P10; 13F55; 05E40; 14B07; 13A35; 13F50

CCM property and Lyubeznik numbers under Groebner deformations

Authors: Parvaneh Nadi, Matteo Varbaro

Abstract: In this note we draw some interesting consequences of the recent results on squarefree Groebner degenerations obtained by Conca and the second author. In this note we draw some interesting consequences of the recent results on squarefree Groebner degenerations obtained by Conca and the second author. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Regularity, singularities and $h$-vector of graded algebras

Authors: Hailong Dao, Linquan Ma, Matteo Varbaro

Abstract: Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that if $R$ satisfies Serre's condition $(S_r)$ and have reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0,\dots, h_r\geq 0$. Furth… ▽ More Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that if $R$ satisfies Serre's condition $(S_r)$ and have reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0,\dots, h_r\geq 0$. Furthermore the multiplicity of $R$ is at least $h_0+h_1+\dots+h_{r-1}$. We also prove that equality in many cases forces $R$ to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain Ext modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others. △ Less

Submitted 28 January, 2019; v1 submitted 4 January, 2019; originally announced January 2019.

Comments: We fixed a few typos and added some minor changes

Simplicial complexes of small codimension

Authors: Matteo Varbaro, Rahim Zaare-Nahandi

Abstract: We show that a Buchsbaum simplicial complex of small codimension must have large depth. More generally, we achieve a similar result for ${\rm CM}_t$ simplicial complexes, a notion generalizing Buchsbaum-ness, and we prove more precise results in the codimension 2 case. Along the paper, we show that the ${\rm CM}_t$ property is a topological invariant of a simplicial complex. We show that a Buchsbaum simplicial complex of small codimension must have large depth. More generally, we achieve a similar result for ${\rm CM}_t$ simplicial complexes, a notion generalizing Buchsbaum-ness, and we prove more precise results in the codimension 2 case. Along the paper, we show that the ${\rm CM}_t$ property is a topological invariant of a simplicial complex. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: 9 pages, 1 figure

MSC Class: 13H10; 13F55

Square-free Groebner degenerations

Authors: Aldo Conca, Matteo Varbaro

Abstract: Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and reg(S/I)=reg(S/J). Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and reg(S/I)=reg(S/J). △ Less

Submitted 11 March, 2020; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: Minor changes throughout. A compressed version of the paper will appear in Inventions Mathematicae

MSC Class: 13D02; 13D10; 13D45; 13P10

Connectivity of hyperplane sections of domains

Authors: Matteo Varbaro

Abstract: During the conference held in 2017 in Minneapolis for his 60th birthday, Gennady Lyubeznik proposed the following problem: Find a complete local domain and an element in it having three minimal primes such that the sum of any two of them has height 2 and the sum of the three of them has height 4. In this note this beautiful problem will be discussed, and will be shown that the principle leading to… ▽ More During the conference held in 2017 in Minneapolis for his 60th birthday, Gennady Lyubeznik proposed the following problem: Find a complete local domain and an element in it having three minimal primes such that the sum of any two of them has height 2 and the sum of the three of them has height 4. In this note this beautiful problem will be discussed, and will be shown that the principle leading to the fact that such a ring cannot exist is false. The specific problem, though, remains open △ Less

Submitted 28 February, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: A relevant typo fixed!

MSC Class: 13A15

Hankel determinantal rings have rational singularities

Authors: Aldo Conca, Maral Mostafazadehfard, Anurag K. Singh, Matteo Varbaro

Abstract: Hankel determinantal rings, i.e., determinantal rings defined by minors of Hankel matrices of indeterminates, arise as homogeneous coordinate rings of higher order secant varieties of rational normal curves; they may also be viewed as linear specializations of generic determinantal rings. We prove that, over fields of characteristic zero, Hankel determinantal rings have rational singularities; in… ▽ More Hankel determinantal rings, i.e., determinantal rings defined by minors of Hankel matrices of indeterminates, arise as homogeneous coordinate rings of higher order secant varieties of rational normal curves; they may also be viewed as linear specializations of generic determinantal rings. We prove that, over fields of characteristic zero, Hankel determinantal rings have rational singularities; in the case of positive prime characteristic, we prove that they are F-pure. Independent of the characteristic, we give a complete description of the divisor class groups of these rings, and show that each divisor class group element is the class of a maximal Cohen-Macaulay module. △ Less

Submitted 14 July, 2018; v1 submitted 17 September, 2017; originally announced September 2017.

On the diameter of an ideal

Authors: Michela Di Marca, Matteo Varbaro

Abstract: We begin the study of the notion of diameter of an ideal I of a polynomial ring S over a field, an invariant measuring the distance between the minimal primes of I. We provide large classes of Hirsch ideals, i.e. ideals with diameter not larger than the codimension, such as: quadratic radical ideals of codimension at most 4 and such that S/I is Gorenstein, or ideals admitting a square-free complet… ▽ More We begin the study of the notion of diameter of an ideal I of a polynomial ring S over a field, an invariant measuring the distance between the minimal primes of I. We provide large classes of Hirsch ideals, i.e. ideals with diameter not larger than the codimension, such as: quadratic radical ideals of codimension at most 4 and such that S/I is Gorenstein, or ideals admitting a square-free complete intersection initial ideal. △ Less

Submitted 9 May, 2017; originally announced May 2017.

MSC Class: 13A15; 13C40

Linear syzygies, hyperbolic Coxeter groups and regularity

Authors: Alexandru Constantinescu, Thomas Kahle, Matteo Varbaro

Abstract: We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We constru… ▽ More We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We construct examples of such ideals which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We give a doubly logarithmic bound on the regularity as a function of the number of variables if these ideals are Cohen--Macaulay. △ Less

Submitted 7 June, 2019; v1 submitted 4 May, 2017; originally announced May 2017.

Comments: 22 pages, v2: final version as in Compositio Math

MSC Class: Primary: 13F55; 20F55; Secondary: 13D02

Journal ref: Compositio Math. 155 (2019), 1076-1097

Regularity of Line Configurations

Authors: Bruno Benedetti, Michela Di Marca, Matteo Varbaro

Abstract: We show that in arithmetically-Gorenstein line arrangements with only planar singularities, each line intersects the same number of other lines. This number has an algebraic interpretation: it is the Castelnuovo-Mumford regularity of the coordinate ring of the arrangement. We also prove that every (d-1)-dimensional simplicial complex whose 0-th and 1-st homologies are trivial is the nerve comple… ▽ More We show that in arithmetically-Gorenstein line arrangements with only planar singularities, each line intersects the same number of other lines. This number has an algebraic interpretation: it is the Castelnuovo-Mumford regularity of the coordinate ring of the arrangement. We also prove that every (d-1)-dimensional simplicial complex whose 0-th and 1-st homologies are trivial is the nerve complex of a suitable d-dimensional standard graded algebra of depth $\ge 3$. This provides the converse of a recent result by Katzman, Lyubeznik and Zhang. △ Less

Submitted 2 October, 2017; v1 submitted 6 August, 2016; originally announced August 2016.

Comments: 13 pages; minor modifications throughout; to appear in J Pure Applied Algebra

MSC Class: 14N20; 13C40; 14N10; 05C07; 14J28

F-thresholds, integral closure and convexity

Authors: Matteo Varbaro

Abstract: The purpose of this note is to revisit the results of ar** numbers of all the ideals formed by taking sums of products of the original ones. The note concludes wit… ▽ More The purpose of this note is to revisit the results of ar** numbers of all the ideals formed by taking sums of products of the original ones. The note concludes with the suggestion of a possible source of examples falling in such a framework. △ Less

Submitted 5 July, 2016; originally announced July 2016.

MSC Class: 13A35; 13B22; 13A18

A Gorenstein criterion for strongly $F$-regular and log terminal singularities

Authors: Anurag K. Singh, Shunsuke Takagi, Matteo Varbaro

Abstract: A conjecture of Hirose, Watanabe, and Yoshida offers a characterization of when a standard graded strongly $F$-regular ring is Gorenstein, in terms of an $F$-pure threshold. We prove this conjecture under the additional hypothesis that the anti-canonical cover of the ring is Noetherian. Moreover, under this hypothesis on the anti-canonical cover, we give a similar criterion for when a normal $F$-p… ▽ More A conjecture of Hirose, Watanabe, and Yoshida offers a characterization of when a standard graded strongly $F$-regular ring is Gorenstein, in terms of an $F$-pure threshold. We prove this conjecture under the additional hypothesis that the anti-canonical cover of the ring is Noetherian. Moreover, under this hypothesis on the anti-canonical cover, we give a similar criterion for when a normal $F$-pure (resp. log canonical) singularity is quasi-Gorenstein, in terms of an $F$-pure (resp. log canonical) threshold. △ Less

Submitted 19 May, 2024; v1 submitted 28 March, 2016; originally announced March 2016.

Comments: This version corrects some errors in Proposition 4.9, Remark 4.10, and Proposition 4.13; the main theorems stay the same

An alternative algorithm for computing the Betti table of a monomial ideal

Authors: Maria-Laura Torrente, Matteo Varbaro

Abstract: In this paper we develop a new technique to compute the Betti table of a monomial ideal. We present a prototype implementation of the resulting algorithm and we perform numerical experiments suggesting a very promising efficiency. On the way of describing the method, we also prove new constraints on the shape of the possible Betti tables of a monomial ideal. In this paper we develop a new technique to compute the Betti table of a monomial ideal. We present a prototype implementation of the resulting algorithm and we perform numerical experiments suggesting a very promising efficiency. On the way of describing the method, we also prove new constraints on the shape of the possible Betti tables of a monomial ideal. △ Less

Submitted 28 July, 2015; v1 submitted 5 July, 2015; originally announced July 2015.

Comments: Minor changes, especially the addition of reference [Ya15]

MSC Class: 13P20; 13D02

Regulating Hartshorne's connectedness theorem

Authors: Bruno Benedetti, Barbara Bolognese, Matteo Varbaro

Abstract: A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we… ▽ More A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we show that the dual graph of $X$ is $\lfloor{\frac{r+r'-1}{r'}}\rfloor$-connected. The bound is sharp. We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph of a suitable arithmetically Cohen-Macaulay projective curve of regularity $\le 3$, whose components are all rational normal curves. The regularity bound is smallest possible in general. Further consequences of our work are: (1) Any graph is the Hochster-Huneke graph of a complete equidimensional local ring. (This answers a question by Sather-Wagstaff and Spiroff.) (2) The regularity of a curve is not larger than the sum of the regularities of its primary components. △ Less

Submitted 9 February, 2017; v1 submitted 20 June, 2015; originally announced June 2015.

Comments: Added Remark 1.1 and Example 4.3; improved exposition

MSC Class: 14N20; 14E25; 13C40; 13C14; 05C25; 05C40

Linear syzygies, flag complexes, and regularity

Authors: Alexandru Constantinescu, Thomas Kahle, Matteo Varbaro

Abstract: We show that for every positive integer R there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to R. Such examples can not be found among Gorenstein ideals since the regularity of their quotients is at most four. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity grows at most doubly… ▽ More We show that for every positive integer R there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to R. Such examples can not be found among Gorenstein ideals since the regularity of their quotients is at most four. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity grows at most doubly logarithmically in the number of variables. △ Less

Submitted 16 October, 2014; originally announced October 2014.

MSC Class: 13F55; 13D02; 20F55

Connectivity of pseudomanifold graphs from an algebraic point of view

Authors: Karim A. Adiprasito, Afshin Goodarzi, Matteo Varbaro

Abstract: The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectiv… ▽ More The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectivity problems to graded Betti numbers of the associated Stanley--Reisner rings. △ Less

Submitted 11 November, 2014; v1 submitted 23 September, 2014; originally announced September 2014.

Comments: 4 pages, minor changes

Test, multiplier and invariant ideals

Authors: Inês B. Henriques, M. Varbaro

Abstract: This paper gives an explicit formula for the multiplier ideals, and consequently for the log canonical thresholds, of any GL(V)xGL(W)-invariant ideal in the symmetric algebra S of the tensor product of V with the dual of W, where V and W are vector spaces over a field of characteristic 0. This characterization is done in terms of a polytope constructed from the set of Young diagrams corresponding… ▽ More This paper gives an explicit formula for the multiplier ideals, and consequently for the log canonical thresholds, of any GL(V)xGL(W)-invariant ideal in the symmetric algebra S of the tensor product of V with the dual of W, where V and W are vector spaces over a field of characteristic 0. This characterization is done in terms of a polytope constructed from the set of Young diagrams corresponding to the Schur modules generating the ideal. Our approach consists in computing the test ideals of some invariant ideals of S in positive characteristic: Namely, we will compute the test ideals (and so the F-pure thresholds) of any sum of products of determinantal ideals. Even in characteristic 0, not all the invariant ideals are as the latter, but they are up to integral closure, and this is enough to reach our goals. The results concerning the test ideals are obtained as a consequence of general results holding true in a special situation. Within such framework fall determinantal objects of a generic matrix, as well as of a symmetric matrix and of a skew-symmetric one. Similar results are thus deduced for the GL(V)-invariant ideals in the symmetric algebra of the second symmetric (or alternating) power of V. (Also monomial ideals fall in this framework, thus we recover Howald's formula for their multiplier ideals and, more generally, we get the formula for their test ideals). During the proof, we introduce the notion of "floating test ideals", a property that in a sense is satisfied by ideals defining schemes with singularities as nice as possible. As we will see, products of determinantal ideals, and by passing to characteristic 0 ideals generated by a single Schur module, have this property. △ Less

Submitted 16 July, 2014; originally announced July 2014.

MSC Class: 13A50; 13A35; 14F18; 13C40; 14M12

When does depth stabilize early on?

Authors: Le Dinh Nam, Matteo Varbaro

Abstract: In this paper we study graded ideals I in a polynomial ring S such that the numerical function f(k)=depth(S/I^k) is constant. We show that, if (i) the Rees algebra of I is Cohen-Macaulay, (ii) the cohomological dimension of I is not larger than the projective dimension of S/I and (iii) the K-algebra generated by some generators of I is a direct summand of S, then f(k) is constant. When I is a squa… ▽ More In this paper we study graded ideals I in a polynomial ring S such that the numerical function f(k)=depth(S/I^k) is constant. We show that, if (i) the Rees algebra of I is Cohen-Macaulay, (ii) the cohomological dimension of I is not larger than the projective dimension of S/I and (iii) the K-algebra generated by some generators of I is a direct summand of S, then f(k) is constant. When I is a square-free monomial ideal, the above criterion includes as special cases all the results of a recent paper by Herzog and Vladoiu. In this combinatorial setting there is a chance that the converse of the above fact holds true. △ Less

Submitted 4 September, 2015; v1 submitted 15 July, 2014; originally announced July 2014.

Comments: The title has been changed and other minor changes have been done. The paper will appear in Journal of Algebra

MSC Class: 13A15; 13A30

On the dual graph of Cohen-Macaulay algebras

Authors: Bruno Benedetti, Matteo Varbaro

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 subsp… ▽ More 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.) △ Less

Submitted 24 August, 2022; v1 submitted 13 March, 2014; originally announced March 2014.

Comments: Minor changes throughout, Remark 4.1 expanded

MSC Class: 13C14; 14M06; 52C45; 05C40; 05C12

An intriguing ring structure on the set of d-forms

Authors: Jürgen Herzog, Leila Sharifan, Matteo Varbaro

Abstract: The purpose of this note is to introduce a multiplication on the set of homogeneous polynomials of fixed degree d, in a way to provide a duality theory between monomial ideals of K[x_1,\ldots,x_d] generated in degrees \leq n and block stable ideals (a class of ideals containing the Borel fixed ones) of K[x_1,\ldots,x_n] generated in degree d. As a byproduct we give a new proof of the characterizat… ▽ More The purpose of this note is to introduce a multiplication on the set of homogeneous polynomials of fixed degree d, in a way to provide a duality theory between monomial ideals of K[x_1,\ldots,x_d] generated in degrees \leq n and block stable ideals (a class of ideals containing the Borel fixed ones) of K[x_1,\ldots,x_n] generated in degree d. As a byproduct we give a new proof of the characterization of Betti tables of ideals with linear resolution given by Murai. △ Less

Submitted 28 August, 2013; originally announced August 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1111.0442

MSC Class: 13A02

Componentwise regularity (I)

Authors: Giulio Caviglia, Matteo Varbaro

Abstract: We define the notion of componentwise regularity and study some of its basic properties. We prove an analogue, when working with weight orders, of Buchberger's criterion to compute Gröbner bases; the proof of our criterion relies on a strengthening of a lifting lemma of Buchsbaum and Eisenbud. This criterion helps us to show a stronger version of Green's crystallization theorem in a quite general… ▽ More We define the notion of componentwise regularity and study some of its basic properties. We prove an analogue, when working with weight orders, of Buchberger's criterion to compute Gröbner bases; the proof of our criterion relies on a strengthening of a lifting lemma of Buchsbaum and Eisenbud. This criterion helps us to show a stronger version of Green's crystallization theorem in a quite general setting, according to the componentwise regularity of the initial object. Finally we show a necessary condition, given a submodule $M$ of a free one over the polynomial ring and a weight such that $in(M)$ is componentwise linear, for the existence of an $i$ such that $β_i(M)=β_i(in(M))$. △ Less

Submitted 27 August, 2013; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: Minor changes to the introduction. Added Corollary 5.6. Strengthened conclusion of Theorem 5.7

MSC Class: 13A02; 13B25; 13D02; 13P10; 13P20

Multiplicities of Classical Varieties

Authors: Jack Jeffries, Jonathan Montaño, Matteo Varbaro

Abstract: The $j$-multiplicity plays an important role in the intersection theory of Stückrad-Vogel cycles, while recent developments confirm the connections between the $ε$-multiplicity and equisingularity theory. In this paper we establish, under some constraints, a relationship between the $j$-multiplicity of an ideal and the degree of its fiber cone. As a consequence, we are able to compute the $j$-mult… ▽ More The $j$-multiplicity plays an important role in the intersection theory of Stückrad-Vogel cycles, while recent developments confirm the connections between the $ε$-multiplicity and equisingularity theory. In this paper we establish, under some constraints, a relationship between the $j$-multiplicity of an ideal and the degree of its fiber cone. As a consequence, we are able to compute the $j$-multiplicity of all the ideals defining rational normal scrolls. By using the standard monomial theory, we can also compute the $j$- and $ε$-multiplicity of ideals defining determinantal varieties: The found quantities are integrals which, quite surprisingly, are central in random matrix theory. △ Less

Submitted 17 December, 2014; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 27 pages; to appear in Proc. London Math. Soc

Partitions of single exterior type

Authors: Winfried Bruns, Matteo Varbaro

Abstract: We characterize the irreducible representations of the general linear group GL(V) that have multiplicity 1 in the direct sum of all Schur modules of a given exterior power of V. These have come up in connection with the relations of the lower order minors of a generic matrix. We show that the minimal relations conjectured by Bruns, Conca and Varbaro are exactly those coming from partitions of sing… ▽ More We characterize the irreducible representations of the general linear group GL(V) that have multiplicity 1 in the direct sum of all Schur modules of a given exterior power of V. These have come up in connection with the relations of the lower order minors of a generic matrix. We show that the minimal relations conjectured by Bruns, Conca and Varbaro are exactly those coming from partitions of single exterior type. △ Less

Submitted 1 August, 2013; originally announced August 2013.

MSC Class: 13A50; 14M12; 14L30

On a conjecture by Kalai

Authors: Giulio Caviglia, Alexandru Constantinescu, Matteo Varbaro

Abstract: We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular we give a partial answer to a conjecture of Kalai by proving that $h$-vectors of flag Cohen-Macaulay simplicial complexes are $h$-vectors of Cohen-Macaulay balanced simplicial complexes. We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular we give a partial answer to a conjecture of Kalai by proving that $h$-vectors of flag Cohen-Macaulay simplicial complexes are $h$-vectors of Cohen-Macaulay balanced simplicial complexes. △ Less

Submitted 15 December, 2012; originally announced December 2012.

Comments: 3 pages

MSC Class: 13D40; 13F55; 05E45

Generic and special constructions of pure O-sequences

Authors: Alexandru Constantinescu, Thomas Kahle, Matteo Varbaro

Abstract: It is shown that the h-vectors of Stanley-Reisner rings of three classes of matroids are pure O-sequences. The classes are (a) matroids that are truncations of other matroids, or more generally of Cohen-Macaulay complexes, (b) matroids whose dual is (rank + 2)-partite, and (c) matroids of Cohen-Macaulay type at most five. Consequences for the computational search for a counterexample to a conjectu… ▽ More It is shown that the h-vectors of Stanley-Reisner rings of three classes of matroids are pure O-sequences. The classes are (a) matroids that are truncations of other matroids, or more generally of Cohen-Macaulay complexes, (b) matroids whose dual is (rank + 2)-partite, and (c) matroids of Cohen-Macaulay type at most five. Consequences for the computational search for a counterexample to a conjecture of Stanley are discussed. △ Less

Submitted 9 May, 2014; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: 16 pages, v2: various small improvements, accepted by Bulletin of the London Math. Society

MSC Class: 52B05; 05E40 (Primary) 13D40; 13E10; 13F55 (Secondary)

Journal ref: Bull. London Math. Soc. (2014) 46 (5): 924-942

h-vectors of matroid complexes

Authors: Alexandru Constantinescu, Matteo Varbaro

Abstract: We partition in classes the set of matroids of fixed dimension on a fixed vertex set. In each class we identify two special matroids, respectively with minimal and maximal h-vector in that class. Such extremal matroids also satisfy a long-standing conjecture of Stanley. As a byproduct of this theory we establish Stanley's conjecture in various cases, for example the case of Cohen-Macaulay type les… ▽ More We partition in classes the set of matroids of fixed dimension on a fixed vertex set. In each class we identify two special matroids, respectively with minimal and maximal h-vector in that class. Such extremal matroids also satisfy a long-standing conjecture of Stanley. As a byproduct of this theory we establish Stanley's conjecture in various cases, for example the case of Cohen-Macaulay type less than or equal to 3. △ Less

Submitted 14 December, 2012; v1 submitted 13 December, 2012; originally announced December 2012.

Comments: 18 pages, 2 figures

MSC Class: 52B05; 05E40 (Primary) 13D40; 13E10; 13F55 (Secondary)

The $F$-pure threshold of a determinantal ideal

Authors: Lance Edward Miller, Anurag K. Singh, Matteo Varbaro

Abstract: 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. 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. △ Less

Submitted 18 December, 2013; v1 submitted 24 October, 2012; originally announced October 2012.

MSC Class: Primary 13A35; Secondary 13C40; 13A50

Cohomological and projective dimensions

Authors: Matteo Varbaro

Abstract: In this paper we give an upper bound, in characteristic 0, for the cohomological dimension of a graded ideal in a polynomial ring such that the quotient has depth at least 3. In positive characteristic the same bound holds true by a well-known theorem of Peskine and Szpiro. As a corollary, we give new examples of prime ideals that are not set-theoretically Cohen-Macaulay. In this paper we give an upper bound, in characteristic 0, for the cohomological dimension of a graded ideal in a polynomial ring such that the quotient has depth at least 3. In positive characteristic the same bound holds true by a well-known theorem of Peskine and Szpiro. As a corollary, we give new examples of prime ideals that are not set-theoretically Cohen-Macaulay. △ Less

Submitted 13 November, 2012; v1 submitted 15 April, 2012; originally announced April 2012.

Comments: 6 pages. Corrected some typos and added details in Example 3.9. Added Example 2.3 and rearranged the proof of Proposition 3.1. To appear in Compositio Math

MSC Class: 13D45; 14B15

Journal ref: Compositio Math. 149 (2013) 1203-1210

Maximal minors and linear powers

Authors: Winfried Bruns, Aldo Conca, Matteo Varbaro

Abstract: An ideal I in a polynomial ring S has linear powers if all the powers I^k of I have a linear free resolution. We show that the ideal of maximal minors of a sufficiently general matrix with linear entries has linear powers. The required genericity is expressed in terms of the heights of the ideals of lower order minors. In particular we prove that every rational normal scroll has linear powers. An ideal I in a polynomial ring S has linear powers if all the powers I^k of I have a linear free resolution. We show that the ideal of maximal minors of a sufficiently general matrix with linear entries has linear powers. The required genericity is expressed in terms of the heights of the ideals of lower order minors. In particular we prove that every rational normal scroll has linear powers. △ Less

Submitted 2 January, 2013; v1 submitted 8 March, 2012; originally announced March 2012.

Comments: Final version, minor changes, to appear in Journal für die reine und angewandte Mathematik (Crelles Journal)

MSC Class: 13D02; 13C40; 14M12

Relations between the minors of a generic matrix

Authors: Winfried Bruns, Aldo Conca, Matteo Varbaro

Abstract: It is well-known that the Plücker relations generate the ideal of relations of the maximal minors of a generic matrix. In this paper we discuss the relations between minors of a (non-maximal) fixed size. We will exhibit minimal relations in degrees 2 (non-Plücker in general) and 3, and give some evidence for our conjecture that we have found the generating system of the ideal of relations. The app… ▽ More It is well-known that the Plücker relations generate the ideal of relations of the maximal minors of a generic matrix. In this paper we discuss the relations between minors of a (non-maximal) fixed size. We will exhibit minimal relations in degrees 2 (non-Plücker in general) and 3, and give some evidence for our conjecture that we have found the generating system of the ideal of relations. The approach is through the representation theory of the general linear group. △ Less

Submitted 11 May, 2013; v1 submitted 30 November, 2011; originally announced November 2011.

Comments: Final version, minor changes, to appear in Advances in Mathematics

MSC Class: 13A50; 14L30

The possible extremal Betti numbers of a homogeneous ideal

Authors: Jürgen Herzog, Leila Sharifan, Matteo Varbaro

Abstract: We give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of any homogeneous ideal in a polynomial ring over a field. We give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of any homogeneous ideal in a polynomial ring over a field. △ Less

Submitted 28 August, 2013; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: To appear in Proc. Amer. Math. Soc.. Changed title and abstract from the previous version. Essentially, this version (which is the one that will be published in PAMS) differs from the previous one because the removal of the first part, that has however been enclosed in the new article of the same three authors entitled "An intriguing ring structure on the set of d-forms"

MSC Class: 13D02

Cohen-Macaulayness of generically complete intersection monomial ideals

Authors: Le Dinh Nam, Matteo Varbaro

Abstract: In this paper we discuss the problem of characterizing the Cohen-Macaulay property of certain families of monomial ideals with fixed radical. More precisely, we consider generically complete intersection monomial ideals whose radical corresponds to special classes of simplicial complexes. In this paper we discuss the problem of characterizing the Cohen-Macaulay property of certain families of monomial ideals with fixed radical. More precisely, we consider generically complete intersection monomial ideals whose radical corresponds to special classes of simplicial complexes. △ Less

Submitted 25 July, 2011; originally announced July 2011.

Comments: To appear in Comm. Alg

MSC Class: 13H10; 05E45

Cohomological and Combinatorial Methods in the Study of Symbolic Powers and Equations defining Varieties

Authors: Matteo Varbaro

Abstract: In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior d… ▽ More In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior during a Groebner deformation and the arithmetical rank of certain varieties. In the third chapter, we will investigate the relations between the minors of a fixed size of a generic matrix by using tools from the representation theory of the general linear group (the results of this chapter will appear in a joint paper with Bruns and Conca). In the last chapter we will use combinatorial methods to study the Cohen-Macaulay property of the symbolic powers of Stanley-Reisner ideals. In the thesis are included five appendixes with some basic needed facts and a preliminary chapter introducing to local cohomology. △ Less

Submitted 27 May, 2011; originally announced May 2011.

Comments: This is the PhD thesis of the author. Most of the results appeared (or are going to appear) in some paper. However throughout the thesis there are also unpublished results, proofs and remarks

MSC Class: 13D45; 14B15; 14F20; 14M10; 14M99; 13P10; 13A15; 20G05; 13F50; 05E10; 05E40; 13A50; 13F55; 13H10

On the Arithmetical Rank of Certain Segre Embeddings

Authors: Matteo Varbaro

Abstract: We study the number of (set-theoretically) defining equations of Segre products of projective spaces times certain projective hypersurfaces, extending results by Singh and Walther. Meanwhile, we prove some results about the cohomological dimension of certain schemes. In particular, we solve a conjecture of Lyubeznik about an inequality involving the cohomological dimension and the etale cohomologi… ▽ More We study the number of (set-theoretically) defining equations of Segre products of projective spaces times certain projective hypersurfaces, extending results by Singh and Walther. Meanwhile, we prove some results about the cohomological dimension of certain schemes. In particular, we solve a conjecture of Lyubeznik about an inequality involving the cohomological dimension and the etale cohomological dimension of a scheme, in the characteristic-zero-case and under a smoothness assumption. Furthermore, we show that a relationship between depth and cohomological dimension discovered by Peskine and Szpiro in positive characteristic holds true also in characteristic-zero up to dimension three. △ Less

Submitted 30 July, 2010; originally announced July 2010.

Comments: 20 pages, to appear on Transaction of the AMS

MSC Class: 14F17; 13D05; !3D45; 14A25

Koszulness, Krull Dimension and Other Properties of Graph-Related Algebras

Authors: Alexandru Constantinescu, Matteo Varbaro

Abstract: The algebra of basic covers of a graph G, denoted by \A(G), was introduced by Juergen Herzog as a suitable quotient of the vertex cover algebra. In this paper we show that if the graph is bipartite then \A(G) is a homogeneous algebra with straightening laws and thus is Koszul. Furthermore, we compute the Krull dimension of \A(G) in terms of the combinatorics of G. As a consequence we get new uppe… ▽ More The algebra of basic covers of a graph G, denoted by \A(G), was introduced by Juergen Herzog as a suitable quotient of the vertex cover algebra. In this paper we show that if the graph is bipartite then \A(G) is a homogeneous algebra with straightening laws and thus is Koszul. Furthermore, we compute the Krull dimension of \A(G) in terms of the combinatorics of G. As a consequence we get new upper bounds on the arithmetical rank of monomial ideals of pure codimension 2. Finally, we characterize the Cohen-Macaulay property and the Castelnuovo-Mumford regularity of the edge ideal of a certain class of graphs. △ Less

Submitted 28 April, 2010; originally announced April 2010.

Comments: 23 pages

MSC Class: 13F50; 13F55; 05E40

Journal ref: J. Algebr. Comb. vol. 34 (2011), pp. 375-400

On the h-vectors of Cohen-Macaulay Flag Complexes

Authors: Alexandru Constantinescu, Matteo Varbaro

Abstract: Starting from an unpublished conjecture of Kalai and from a conjecture of Eisenbud, Green and Harris, we study several problems relating h-vectors of Cohen-Macaulay, flag simplicial complexes and face vectors of simplicial complexes. Starting from an unpublished conjecture of Kalai and from a conjecture of Eisenbud, Green and Harris, we study several problems relating h-vectors of Cohen-Macaulay, flag simplicial complexes and face vectors of simplicial complexes. △ Less

Submitted 16 September, 2011; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: 20 pages, 3 figures. To appear in Math. Scand

MSC Class: 13A02; 05E99

Symbolic Powers and Matroids

Authors: Matteo Varbaro

Abstract: We prove that all the symbolic powers of a Stanley-Reisner ideal are Cohen-Macaulay if and only if the associated simplicial complex is a matroid. We prove that all the symbolic powers of a Stanley-Reisner ideal are Cohen-Macaulay if and only if the associated simplicial complex is a matroid. △ Less

Submitted 16 September, 2011; v1 submitted 15 March, 2010; originally announced March 2010.

Comments: 10 pages, some minor changes

MSC Class: 13A15; 05B35; 13A30

Journal ref: Proc. Amer. Math. Soc. Vol. 139, n. 7, July 2011, pp. 2357-2366

Unmixed Graphs that are Domains

Authors: Bruno Benedetti, Matteo Varbaro

Abstract: Given an arbitrary graph G, we study its basic covers algebra, which is the symbolic fiber cone of the Alexander dual of the edge ideal of G. Extending results of Villarreal and Benedetti-Constantinescu-Varbaro, valid only in the case when G is bipartite, we characterize in a combinatorial fashion the situations when: 1) the basic covers algebra is a domain, and 2) it is a domain and in addition (… ▽ More Given an arbitrary graph G, we study its basic covers algebra, which is the symbolic fiber cone of the Alexander dual of the edge ideal of G. Extending results of Villarreal and Benedetti-Constantinescu-Varbaro, valid only in the case when G is bipartite, we characterize in a combinatorial fashion the situations when: 1) the basic covers algebra is a domain, and 2) it is a domain and in addition (the edge ideal of) G is unmixed. It turns out that the last result gives a complete characterization of those graphs for which any symbolic power of the edge ideal is generated by monomials of the same degree. △ Less

Submitted 16 September, 2011; v1 submitted 25 January, 2009; originally announced January 2009.

Comments: Revised version, 8 pages

MSC Class: 05C70; 13A30

Journal ref: Comm. Alg. vol. 39 n. 7 (2011), pp. 2260-2267

Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph

Authors: Bruno Benedetti, Alexandru Constantinescu, Matteo Varbaro

Abstract: We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geome… ▽ More We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank. △ Less

Submitted 25 January, 2009; originally announced January 2009.

Comments: 31 pages

Journal ref: Le Matematiche 63 (2008), 117-156

Graded Betti numbers of ideals with linear quotients

Authors: Leila Sharifan, Matteo Varbaro

Abstract: In the present paper we prove that all homogeneous ideals with linear quotients are componentwise linear. Moreover we establish an extended version of Eliahou-Kervaire formula for graded Betti numbers. In the present paper we prove that all homogeneous ideals with linear quotients are componentwise linear. Moreover we establish an extended version of Eliahou-Kervaire formula for graded Betti numbers. △ Less

Submitted 16 September, 2011; v1 submitted 20 January, 2009; originally announced January 2009.

Comments: 6 pages

Journal ref: Le Matematiche, V. LXIII (2008) - Fasc. II, pp. 257-265

Groebner deformations, connectedness and cohomological dimension

Authors: Matteo Varbaro

Abstract: This paper is an outcome of the author's master thesis written under the supervision of Aldo Conca. We prove some results relating connectedness properties with (local) cohomological dimension. As an interesting corollary we have that every initial complex of a Cohen-Macaulay ideal is strongly connected. This paper is an outcome of the author's master thesis written under the supervision of Aldo Conca. We prove some results relating connectedness properties with (local) cohomological dimension. As an interesting corollary we have that every initial complex of a Cohen-Macaulay ideal is strongly connected. △ Less

Submitted 16 September, 2011; v1 submitted 13 February, 2008; originally announced February 2008.

Comments: 17 pages

Journal ref: Journal of Algebra 322 (2009) 2492-2507