-
The Structure of Symbolic Powers of Matroids
Authors:
Paolo Mantero,
Vinh Nguyen
Abstract:
We describe the structure of the symbolic powers $I^{(\ell)}$ of the Stanley-Reisner ideals, and cover ideals, $I$, of matroids. We (a) prove a structure theorem describing a minimal generating set for every $I^{(\ell)}$; (b) describe the (non--standard graded) symbolic Rees algebra $\mathcal{R}_s(I)$ of $I$ and show its minimal algebra generators have degree at most ht $I$; (c) provide an explici…
▽ More
We describe the structure of the symbolic powers $I^{(\ell)}$ of the Stanley-Reisner ideals, and cover ideals, $I$, of matroids. We (a) prove a structure theorem describing a minimal generating set for every $I^{(\ell)}$; (b) describe the (non--standard graded) symbolic Rees algebra $\mathcal{R}_s(I)$ of $I$ and show its minimal algebra generators have degree at most ht $I$; (c) provide an explicit, simple formula to compute the largest degree of a minimal algebra generator of $\mathcal{R}_s(I)$; (d) provide algebraic applications, including formulas for the symbolic defects of $I$, the initial degree of $I^{(\ell)}$, and the Waldschmidt constant of $I$; (e) provide a new algorithm allowing fast computations of very large symbolic powers of $I$.
One of the by-products is a new characterization of matroids in terms of minimal generators of $I^{(\ell)}$ for some $\ell\geq 2$. In particular, it yields a new, simple characterization of matroids in terms of the minimal generators of $I^{(2)}$. This is the first characterization of matroids in terms of $I^{(2)}$, and it complements a celebrated theorem by Minh-Trung, Varbaro, and Terai-Trung which requires the investigation of homological properties of $I^{(\ell)}$ for some $\ell\geq 3$.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
A formula for symbolic powers
Authors:
Paolo Mantero,
Cleto B. Miranda-Neto,
Uwe Nagel
Abstract:
Let $S$ be a Cohen-Macaulay ring which is local or standard graded over a field, and let $I$ be an unmixed ideal that is also generically a complete intersection. Our goal in this paper is multi-fold. First, we give a multiplicity-based characterization of when an unmixed subideal $J \subseteq I^{(m)}$ equals the $m$-th symbolic power $I^{(m)}$ of $I$. Second, we provide a saturation-type formula…
▽ More
Let $S$ be a Cohen-Macaulay ring which is local or standard graded over a field, and let $I$ be an unmixed ideal that is also generically a complete intersection. Our goal in this paper is multi-fold. First, we give a multiplicity-based characterization of when an unmixed subideal $J \subseteq I^{(m)}$ equals the $m$-th symbolic power $I^{(m)}$ of $I$. Second, we provide a saturation-type formula to compute $I^{(m)}$ and employ it to deduce a theoretical criterion for when $I^{(m)}=I^m$. Third, we establish an explicit linear bound on the exponent that makes the saturation formula effective, and use it to obtain lower bounds for the initial degree of $I^{(m)}$. Along the way, we prove a conjecture (in fact, a generalized version of it) due to Eisenbud and Mazur about ${\rm ann}_S(I^{(m)}/I^m)$, and we propose a conjecture connecting the symbolic defect of an ideal to Jacobian ideals.
△ Less
Submitted 24 August, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
The structure of Koszul algebras defined by four quadrics
Authors:
Paolo Mantero,
Matthew Mastroeni
Abstract:
Avramov, Conca, and Iyengar ask whether $β_i^S(R) \leq \binom{g}{i}$ for all $i$ when $R=S/I$ is a Koszul algebra minimally defined by $g$ quadrics. In recent work, we give an affirmative answer to this question when $g \leq 4$ by completely classifying the possible Betti tables of Koszul algebras defined by height-two ideals of four quadrics. Continuing this work, the current paper proves a struc…
▽ More
Avramov, Conca, and Iyengar ask whether $β_i^S(R) \leq \binom{g}{i}$ for all $i$ when $R=S/I$ is a Koszul algebra minimally defined by $g$ quadrics. In recent work, we give an affirmative answer to this question when $g \leq 4$ by completely classifying the possible Betti tables of Koszul algebras defined by height-two ideals of four quadrics. Continuing this work, the current paper proves a structure theorem for Koszul algebras defined by four quadrics. We show that all these Koszul algebras are LG-quadratic, proving that an example of Conca of a Koszul algebra that is not LG-quadratic is minimal in terms of number of defining equations. We then characterize precisely when these rings are absolutely Koszul, and establish the equivalence of the absolutely Koszul and Backelin--Roos properties up to field extensions for such rings (in characteristic zero). The combination of the above paper with the current one provides a fairly complete picture of all Koszul algebras defined by $g \leq 4$ quadrics.
△ Less
Submitted 24 February, 2022; v1 submitted 24 January, 2021;
originally announced January 2021.
-
The Alexander-Hirschowitz theorem and related problems
Authors:
Huy Tai Ha,
Paolo Mantero
Abstract:
We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we…
▽ More
We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we could not find in the literature). Also, considering our intended audience, we have added (a) short appendices to make this survey more accessible and (b) a few open problems related to the Alexander-Hirschowitz theorem and the interpolation problems.
△ Less
Submitted 13 August, 2021; v1 submitted 24 January, 2021;
originally announced January 2021.
-
Betti numbers of Koszul algebras defined by four quadrics
Authors:
Paolo Mantero,
Matthew Mastroeni
Abstract:
Let $I$ be an ideal generated by quadrics in a standard graded polynomial ring $S$ over a field. A question of Avramov, Conca, and Iyengar asks whether the Betti numbers of $R = S/I$ over $S$ can be bounded above by binomial coefficients on the minimal number of generators of $I$ if $R$ is Koszul. This question has been answered affirmatively for Koszul algebras defined by three quadrics and Koszu…
▽ More
Let $I$ be an ideal generated by quadrics in a standard graded polynomial ring $S$ over a field. A question of Avramov, Conca, and Iyengar asks whether the Betti numbers of $R = S/I$ over $S$ can be bounded above by binomial coefficients on the minimal number of generators of $I$ if $R$ is Koszul. This question has been answered affirmatively for Koszul algebras defined by three quadrics and Koszul almost complete intersections with any number of generators. We give a strong affirmative answer to the above question in the case of four quadrics by completely determining the Betti tables of height two ideals of four quadrics defining Koszul algebras.
△ Less
Submitted 8 June, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
The structure and free resolutions of the symbolic powers of star configurations of hypersurfaces
Authors:
Paolo Mantero
Abstract:
Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of d…
▽ More
Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of determining the structure of symbolic powers of a wide generalization of star configurations of points (introduced by Geramita, Harbourne, Migliore and Nagel) called star configurations of hypersurfaces in $\mathbb P_k^n$. Here (1) we provide explicit minimal generating sets of the symbolic powers $I^{(m)}$ of these ideals $I$, (2) we introduce a notion of $δ$-c.i. quotients, which generalize ideals with linear quotients, and show that $I^{(m)}$ have $δ$-c.i. quotients, (3) we show that the shape of the Betti tables of these symbolic powers is determined by certain "Koszul" strands and we prove that a little bit more than the bottom half of the Betti table has a regular, almost hypnotic, pattern, and (4) we provide a closed formula for all the graded Betti numbers in these strands. As a special case of (2) we deduce that symbolic powers of ideals of star configurations of points have linear quotients. We also improve and extend results by Galetto, Geramita, Shin and Van Tuyl, and provide explicit new general formulas for the minimal number of generators and the symbolic defects of star configurations. Finally, inspired by Young tableaux, we introduce a technical tool which may be of independent interest: it is a "canonical" way of writing any monomial in any given set of polynomials. Our methods are characteristic--free.
△ Less
Submitted 2 June, 2020; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Singularities of Rees-like Algebras
Authors:
Paolo Mantero,
Jason McCullough,
Lance Edward Miller
Abstract:
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open.…
▽ More
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open. The purpose of this paper is to study the singularities inherent in this process. We compute the codimension of the singular locus of an arbitrary Rees-like algebra over a polynomial ring. We then show that the relative size of the singular locus can increase under step-by-step homogenization. To address this defect, we construct a new process, we call prime standardization, which plays a similar role as step-by-step homogenization but also preserves the codimension of the singular locus. This is derived from ideas of Ananyan and Hochster and we use this to study the regularity of certain smooth hyperplane sections of Rees-like algebras, showing that they all satisfy the Eisenbud-Goto Conjecture, as expected. On a more qualitative note, while Rees-like algebras are almost never Cohen-Macaulay and never normal, we characterize when they are seminormal, weakly normal, and, in positive characteristic, F-split. Finally, we construct a finite free resolution of the canonical module of a Rees-like Algebra over the presenting polynomial ring showing that it is always Cohen-Macaulay and has a surprising self-dual structure.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
The projective dimension of three cubics is at most 5
Authors:
Paolo Mantero,
Jason McCullough
Abstract:
Let $R$ be a polynomial ring over a field and $I$ an ideal generated by three forms of degree three. Motivated by Stillman's question, Engheta proved that the projective dimension $\mathrm{pd}(R/I)$ of $R/I$ is at most 36, although the example with largest projective dimension he constructed has $\mathrm{pd}(R/I)=5$. Based on computational evidence, it had been conjectured that…
▽ More
Let $R$ be a polynomial ring over a field and $I$ an ideal generated by three forms of degree three. Motivated by Stillman's question, Engheta proved that the projective dimension $\mathrm{pd}(R/I)$ of $R/I$ is at most 36, although the example with largest projective dimension he constructed has $\mathrm{pd}(R/I)=5$. Based on computational evidence, it had been conjectured that $\mathrm{pd}(R/I)\leq 5$. In the present paper we prove this conjectured sharp bound.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Chudnovsky's Conjecture for very general points in $\mathbb{P}_k^{N}$
Authors:
Louiza Fouli,
Paolo Mantero,
Yu Xie
Abstract:
We prove a long-standing conjecture of Chudnovsky for very general and generic points in $\mathbb{P}_k^N$, where $k$ is an algebraically closed field of characteristic zero, and for any finite set of points lying on a quadric, without any assumptions on $k$. We also prove that for any homogeneous ideal $I$ in the homogeneous coordinate ring $R=k[x_0, \ldots, x_N]$, Chudnovsky's conjecture holds fo…
▽ More
We prove a long-standing conjecture of Chudnovsky for very general and generic points in $\mathbb{P}_k^N$, where $k$ is an algebraically closed field of characteristic zero, and for any finite set of points lying on a quadric, without any assumptions on $k$. We also prove that for any homogeneous ideal $I$ in the homogeneous coordinate ring $R=k[x_0, \ldots, x_N]$, Chudnovsky's conjecture holds for large enough symbolic powers of $I$.
△ Less
Submitted 7 December, 2017; v1 submitted 7 April, 2016;
originally announced April 2016.
-
Hypergraphs with high projective dimension and 1-dimensional Hypergraphs
Authors:
Kuei-Nuan Lin,
Paolo Mantero
Abstract:
We prove a sufficient and a necessary condition for a square-free monomial ideal $J$ associated to a (dual) hypergraph to have projective dimension equal to the minimal number of generators of $J$ minus 2. We also provide an effective explicit procedure to compute the projective dimension of 1-dimensional hypergraphs $\mathcal{H}$ when each connected component contains at most one cycle. An algori…
▽ More
We prove a sufficient and a necessary condition for a square-free monomial ideal $J$ associated to a (dual) hypergraph to have projective dimension equal to the minimal number of generators of $J$ minus 2. We also provide an effective explicit procedure to compute the projective dimension of 1-dimensional hypergraphs $\mathcal{H}$ when each connected component contains at most one cycle. An algorithm to compute the projective dimension is also included. Applications of these results are given; they include, for instance, computing the projective dimension of monomial ideals whose associated hypergraph has a spanning Ferrers graph.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Ubiquity of complete intersection liaison classes
Authors:
Mark Johnson,
Paolo Mantero
Abstract:
In this paper, we provide constructions to enumerate large numbers of CI-liaison classes. To this end, we introduce a liaison invariant and prove several results concerning it, notably that it commutes with hypersurface sections. This theory is applied to the CI-liaison classes of ruled joins of projective schemes, yielding strong obstructions for such joins to lie in the same liaison class. A sec…
▽ More
In this paper, we provide constructions to enumerate large numbers of CI-liaison classes. To this end, we introduce a liaison invariant and prove several results concerning it, notably that it commutes with hypersurface sections. This theory is applied to the CI-liaison classes of ruled joins of projective schemes, yielding strong obstructions for such joins to lie in the same liaison class. A second construction arises from the actions of automorphisms on liaison classes, allowing the enumeration of many liaison classes of perfect ideals of codimension at least three.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.
-
Arithmetical rank of strings and cycles
Authors:
Kyouko Kimura,
Paolo Mantero
Abstract:
Let $R$ be a polynomial ring over a field $K$. To a given squarefree monomial ideal $I \subset R$, one can associate a hypergraph $H(I)$. In this article, we prove that the arithmetical rank of $I$ is equal to the projective dimension of $R/I$ when $H(I)$ is a string or a cycle hypergraph.
Let $R$ be a polynomial ring over a field $K$. To a given squarefree monomial ideal $I \subset R$, one can associate a hypergraph $H(I)$. In this article, we prove that the arithmetical rank of $I$ is equal to the projective dimension of $R/I$ when $H(I)$ is a string or a cycle hypergraph.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
A Tight Bound on the Projective Dimension of Four Quadrics
Authors:
Craig Huneke,
Paolo Mantero,
Jason McCullough,
Alexandra Seceleanu
Abstract:
Motivated by Stillman's question, we show that the projective dimension of an ideal generated by four quadric forms in a polynomial ring is at most 6; moreover, this bound is tight. We achieve this bound, in part, by giving a characterization of the low degree generators of ideals primary to height three primes of multiplicities one and two.
Motivated by Stillman's question, we show that the projective dimension of an ideal generated by four quadric forms in a polynomial ring is at most 6; moreover, this bound is tight. We achieve this bound, in part, by giving a characterization of the low degree generators of ideals primary to height three primes of multiplicities one and two.
△ Less
Submitted 12 October, 2017; v1 submitted 25 March, 2014;
originally announced March 2014.
-
A multiplicity bound for graded rings and a criterion for the Cohen-Macaulay property
Authors:
Craig Huneke,
Paolo Mantero,
Jason McCullough,
Alexandra Seceleanu
Abstract:
Let $R$ be a polynomial ring over a field. We prove an upper bound for the multiplicity of $R/I$ when $I$ is a homogeneous ideal of the form $I=J+(F)$, where $J$ is a Cohen-Macaulay ideal and $F\notin J$. The bound is given in terms of two invariants of $R/J$ and the degree of $F$. We show that ideals achieving this upper bound have high depth, and provide a purely numerical criterion for the Cohe…
▽ More
Let $R$ be a polynomial ring over a field. We prove an upper bound for the multiplicity of $R/I$ when $I$ is a homogeneous ideal of the form $I=J+(F)$, where $J$ is a Cohen-Macaulay ideal and $F\notin J$. The bound is given in terms of two invariants of $R/J$ and the degree of $F$. We show that ideals achieving this upper bound have high depth, and provide a purely numerical criterion for the Cohen-Macaulay property. Applications to quasi-Gorenstein rings and almost complete intersections are given.
△ Less
Submitted 23 January, 2014;
originally announced January 2014.
-
Generalized stretched ideals and Sally Conjecture
Authors:
Paolo Mantero,
Yu Xie
Abstract:
We introduce the concept of $j$-stretched ideals in a Noetherian local ring. This notion generalizes to arbitrary ideals the classical notion of stretched $\mathfrak{m}$-primary ideals of Sally and Rossi-Valla, as well as the concept of ideals of minimal and almost minimal $j$-multiplicity introduced by Polini-Xie. One of our main theorems states that, for a $j$-stretched ideal, the associated gra…
▽ More
We introduce the concept of $j$-stretched ideals in a Noetherian local ring. This notion generalizes to arbitrary ideals the classical notion of stretched $\mathfrak{m}$-primary ideals of Sally and Rossi-Valla, as well as the concept of ideals of minimal and almost minimal $j$-multiplicity introduced by Polini-Xie. One of our main theorems states that, for a $j$-stretched ideal, the associated graded ring is Cohen-Macaulay if and only if two classical invariants of the ideal, the reduction number and the index of nilpotency, are equal. Our second main theorem, presenting numerical conditions which ensure the almost Cohen-Macaulayness of the associated graded ring of a $j$-stretched ideal, provides a generalized version of Sally's conjecture. This work, which also holds for modules, unifies the approaches of Rossi-Valla and Polini-Xie and generalizes simultaneously results on the Cohen-Macaulayness or almost Cohen-Macaulayness of the associated graded module by several authors, including Sally, Rossi-Valla, Wang, Elias, Corso-Polini-Vaz Pinto, Huckaba, Marley and Polini-Xie.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
Projective Dimension of String and Cycle Hypergraphs
Authors:
Kuei-Nuan Lin,
Paolo Mantero
Abstract:
We present a closed formula and a simple algorithmic procedure to compute the projective dimension of square-free monomial ideals associated to string or cycle hypergraphs. As an application, among these ideals we characterize all the Cohen-Macaulay ones.
We present a closed formula and a simple algorithmic procedure to compute the projective dimension of square-free monomial ideals associated to string or cycle hypergraphs. As an application, among these ideals we characterize all the Cohen-Macaulay ones.
△ Less
Submitted 8 May, 2014; v1 submitted 30 September, 2013;
originally announced September 2013.
-
The projective dimension of codimension two algebra presented by quadrics
Authors:
Craig Huneke,
Paolo Mantero,
Jason McCullough,
Alexandra Seceleanu
Abstract:
We prove a sharp upper bound for the projective dimension of ideals of height two generated by quadrics in a polynomial ring with arbitrary large number of variables.
We prove a sharp upper bound for the projective dimension of ideals of height two generated by quadrics in a polynomial ring with arbitrary large number of variables.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Multiple Structures with Arbitrarily Large Projective Dimension on Linear Subspaces
Authors:
Craig Huneke,
Paolo Mantero,
Jason McCullough,
Alexandra Seceleanu
Abstract:
Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $¶^n_K$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no such finite characterization of multiple structures is possible if one only assumes Serre's $(S_1)$ property holds. Specifically, we prove that for any positive i…
▽ More
Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $¶^n_K$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no such finite characterization of multiple structures is possible if one only assumes Serre's $(S_1)$ property holds. Specifically, we prove that for any positive integers $h, e \ge 2$ with $(h,e) \neq (2,2)$ and $p \ge 5$ there is a homogeneous ideal $I$ in a polynomial ring over $K$ such that (1) the height of $I$ is $h$, (2) the Hilbert-Samuel multiplicity of $R/I$ is $e$, (3) the projective dimension of $R/I$ is at least $p$ and (4) the ideal $I$ is primary to a linear prime $(x_1,..., x_h)$. This result is in stark contrast to Manolache's characterization of Cohen-Macaulay multiple structures in codimension 2 and multiplicity at most 4 and also to Engheta's characterization of unmixed ideals of height 2 and multiplicity 2.
△ Less
Submitted 19 January, 2013; v1 submitted 17 January, 2013;
originally announced January 2013.
-
Generalized stretched ideals and Sally's Conjecture
Authors:
Paolo Mantero,
Yu Xie
Abstract:
Given a finite module $M$ over a Noetherian local ring $(R, \m)$, we introduce the concept of $j$-stretched ideals on $M$. Thanks to a crucial specialization lemma, we show that this notion greatly generalizes (to arbitrary ideals, and with respect to modules) the classical definition of stretched $\m$-primary ideals of Sally and Rossi-Valla, as well as the notion of minimal and almost minimal…
▽ More
Given a finite module $M$ over a Noetherian local ring $(R, \m)$, we introduce the concept of $j$-stretched ideals on $M$. Thanks to a crucial specialization lemma, we show that this notion greatly generalizes (to arbitrary ideals, and with respect to modules) the classical definition of stretched $\m$-primary ideals of Sally and Rossi-Valla, as well as the notion of minimal and almost minimal $j$-multiplicity given recently by Polini-Xie. For $j$-stretched ideals $I$ on a Cohen-Macaulay module $M$, we show that ${\rm gr}_I(M)$ is Cohen-Macaulay if and only if two classical invariants of $I$, the reduction number and the index of nilpotency, are equal. Moreover, for the same class of ideals, we provide a generalized version of Sally's conjecture (proving the almost Cohen-Macaulayness of associated graded rings). Our work unifies the approaches of Rossi-Valla and Polini-Xie and generalizes simultaneously results on the (almost) Cohen-Macaulayness %and almost Cohen-Macaulayness of associated graded modules by several authors, including Sally, Rossi-Valla, Wang, Elias, Rossi, Corso-Polini-Vaz Pinto, Huckaba and Polini-Xie.
△ Less
Submitted 30 November, 2011;
originally announced December 2011.
-
On the Cohen-Macaulayness of the conormal module of an ideal
Authors:
Paolo Mantero,
Yu Xie
Abstract:
In the present paper we investigate a question stemming from a long-standing conjecture of Vasconcelos: given a generically a complete intersection perfect ideal I in a regular local ring R, is it true that if I/I^2 (or R/I^2) is Cohen-Macaulay then R/I is Gorenstein? Huneke and Ulrich, Minh and Trung, Trung and Tuan and - very recently - Rinaldo Terai and Yoshida, already considered this question…
▽ More
In the present paper we investigate a question stemming from a long-standing conjecture of Vasconcelos: given a generically a complete intersection perfect ideal I in a regular local ring R, is it true that if I/I^2 (or R/I^2) is Cohen-Macaulay then R/I is Gorenstein? Huneke and Ulrich, Minh and Trung, Trung and Tuan and - very recently - Rinaldo Terai and Yoshida, already considered this question and gave a positive answer for special classes of ideals. We give a positive answer for some classes of ideals, however, we also exhibit prime ideals in regular local rings and homogeneous level ideals in polynomial rings showing that in general the answer is negative. The homogeneous examples have been found thanks to the help of J. C. Migliore. Furthermore, the counterexamples show the sharpness of our main result. As a by-product, we exhibit several classes of Cohen-Macaulay ideals whose square is not Cohen-Macaulay. Our methods work both in the homogeneous and in the local settings.
△ Less
Submitted 17 April, 2011; v1 submitted 28 March, 2011;
originally announced March 2011.