Showing 1–43 of 43 results for author: Seceleanu, A

Polarization and Gorenstein liaison

Authors: Sara Faridi, Patricia Klein, Jenna Rajchgot, Alexandra Seceleanu

Abstract: A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen-Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete… ▽ More A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen-Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme. Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley-Reisner complexes. Given a monomial ideal $I$ and a vertex decomposition of the Stanley-Reisner complex of its polarization $\mathcal{P}(I)$, we give conditions that allow for the lifting of an associated basic double G-link of $\mathcal{P}(I)$ to a basic double G-link of $I$ itself. We use the relationship we develop in the process to show that the Stanley-Reisner complexes of polarizations of artinian monomial ideals and of stable Cohen-Macaulay monomial ideals are vertex decomposable, recovering and strengthening the recent result of Fløystad and Mafi that these complexes are shellable. We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on vertex decomposition and basic double G-linkage. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 30 pages, comments welcome

Products and powers of principal symmetric ideals

Authors: Eric Dannetun, Riccardo Formenti, Bo Y. Gao, Juliann Geraci, Ross Kogel, Yuelin Li, Shreya Mandal, Vinuge Rupasinghe, Alexandra Seceleanu, Duc Van Khank Tran, Noah Walker

Abstract: Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial ring. In this paper we seek to determine when a product of two principal symmetric ideals is principal symmetric and when all the powers of a principal symmetri… ▽ More Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial ring. In this paper we seek to determine when a product of two principal symmetric ideals is principal symmetric and when all the powers of a principal symmetric ideal are again principal symmetric ideals. We characterize the ideals that have the latter property as being generated by polynomials invariant up to a scalar multiple under permutation of variables. Recognizing principal symmetric ideals is an open question for the purpose of which we produce certain obstructions. We also demonstrate that the Hilbert functions of symmetric monomial ideals are not all given by symmetric monomial ideals, in contrast to the non-symmetric case. △ Less

Submitted 17 June, 2024; v1 submitted 25 February, 2024; originally announced February 2024.

Comments: A flaw in the proof of Theorem 3.5 in version 1 = Theorem 3.6 in version 2 was remedied

MSC Class: Primary: 13A50; 13C13; Secondary: 13D40; 13F20

Betti numbers for connected sums of graded Gorenstein artinian algebras

Authors: Nasrin Altafi, Roberta Di Gennaro, Federico Galetto, Sean Grate, Rosa M. Miro-Roig, Uwe Nagel, Alexandra Seceleanu, Junzo Watanabe

Abstract: The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous res… ▽ More The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous result was obtained in the local case by Geller. We relate the connected sum construction to the doubling construction, which also produces Gorenstein rings. Specifically, we show that a connected sum of doublings is the doubling of a fiber product ring. △ Less

Submitted 19 January, 2024; originally announced January 2024.

MSC Class: 13D02; 13H10

The minimal free resolution of a generic symmetric principal ideal

Authors: Megumi Harada, Alexandra Seceleanu, Liana Şega

Abstract: We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a nonempty Zariski open subs… ▽ More We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a nonempty Zariski open subset of this projective space and we determine this resolution explicitly. Along the way, we study two classes of graded algebras which we term narrow and extremely narrow; both of which are instances of compressed artinian algebras. △ Less

Submitted 6 August, 2023; originally announced August 2023.

Comments: 50 pages

MSC Class: Primary: 13D02 primary. Secondary 13A50; 20C30; 13D07

Duality for asymptotic invariants of graded families

Authors: Michael DiPasquale, Thai Thanh Nguyen, Alexandra Seceleanu

Abstract: The starting point of this paper is a duality for sequences of natural numbers which, under mild hypotheses, interchanges subadditive and superadditive sequences and inverts their asymptotic growth constants. We are motivated to explore this sequence duality since it arises naturally in at least two important algebraic-geometric contexts. The first context is Macaulay-Matlis duality, where the s… ▽ More The starting point of this paper is a duality for sequences of natural numbers which, under mild hypotheses, interchanges subadditive and superadditive sequences and inverts their asymptotic growth constants. We are motivated to explore this sequence duality since it arises naturally in at least two important algebraic-geometric contexts. The first context is Macaulay-Matlis duality, where the sequence of initial degrees of the family of symbolic powers of a radical ideal is dual to the sequence of Castelnuovo-Mumford regularity values of a quotient by ideals generated by powers of linear forms. This philosophy is drawn from an influential paper of Emsalem and Iarrobino. We generalize this duality to differentially closed graded filtrations of ideals. In a different direction, we establish a duality between the sequence of Castelnuovo-Mumford regularity values of the symbolic powers of certain ideals and a geometrically inspired sequence we term the jet separation sequence. We show that this duality underpins the reciprocity between two important geometric invariants: the multipoint Seshadri constant and the asymptotic regularity of a set of points in projective space. △ Less

Submitted 23 August, 2022; originally announced August 2022.

MSC Class: Primary: 13A02; 13N10; 14N05; Secondary: 13E10; 14C20

The combinatorial structure of symmetric strongly shifted ideals

Authors: Alessandra Costantini, Alexandra Seceleanu

Abstract: Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations… ▽ More Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, convex polytopes, and permutohedral toric varieties. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 42 pages

MSC Class: Primary: 13C70; 05E40. Secondary: 13B22; 13F55; 14M25

Higher Lorentzian Polynomials, Higher Hessians, and the Hodge-Riemann Property for Graded Oriented Artinian Gorenstein Algebras in Codimension Two

Authors: Pedro Macias Marques, Chris McDaniel, Alexandra Seceleanu, Junzo Watanabe

Abstract: A (standard graded) oriented Artinian Gorenstein algebra over the real numbers is uniquely determined by a real homogeneous polynomial called its Macaulay dual generator. We study the mixed Hodge-Riemann relations on oriented Artinian Gorenstein algebras for which we give a signature criterion on the higher mixed Hessian matrices of its Macaulay dual generator. Inspired by recent work of Brändén a… ▽ More A (standard graded) oriented Artinian Gorenstein algebra over the real numbers is uniquely determined by a real homogeneous polynomial called its Macaulay dual generator. We study the mixed Hodge-Riemann relations on oriented Artinian Gorenstein algebras for which we give a signature criterion on the higher mixed Hessian matrices of its Macaulay dual generator. Inspired by recent work of Brändén and Huh, we introduce a class of homogeneous polynomials in two variables called $i$-Lorentzian polynomials, and show that these are exactly the Macaulay dual generators of oriented Artinian Gorenstein algebras in codimension two satisfying mixed Hodge-Riemann relations up to degree $i$ on the positive orthant of linear forms. We further show that the set of $i$-Lorentzian polynomials of degree $d$ are in one-to-one correspondence with the set of totally nonnegative Toeplitz matrices of size depending on $i$ and $d$. A corollary is that all normally stable polynomials, i.e. polynomials whose normalized coefficients form a PF sequence, are $i$-Lorentzian. Another corollary is an analogue of Whitney's theorem for Toeplitz matrices, which appears to be new: the closure of the set of totally positive Toeplitz matrices, in the Euclidean space of all real matrices of a given size, is equal to the set of totally nonnegative Toeplitz matrices. △ Less

Submitted 12 June, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: Rewritten in parts, other minor edits made, 1 figure added, comments still welcome

MSC Class: 13H10; 11B83; 13E10; 14F45; 15B05; 15B35

Polynomial growth of Betti sequences over local rings

Authors: Luchezar L. Avramov, Alexandra Seceleanu, Zheng Yang

Abstract: This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{β^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given by polynomials in i with equal leading terms. We show that these polynomials coincide if $I^\square$, the ideal generated by the quadratic relations of the associat… ▽ More This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{β^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given by polynomials in i with equal leading terms. We show that these polynomials coincide if $I^\square$, the ideal generated by the quadratic relations of the associated graded ring of $R$, satisfies ${\rm height}\ I^\square \ge {\rm codim}\ R -1$, and that the converse holds if $R$ is homogeneous or ${\rm codim}\ R \le 4$. Subsequently Avramov, Packauskas, and Walker proved that the terms of degree $j > {\rm codim}\ R - {\rm height}\ I^\square$ of the even and odd Betti polynomials are equal. We give a new proof of that result, based on an intrinsic characterization of residue rings of c.i. local rings of minimal multiplicity obtained in this paper. We also show that that bound is optimal. △ Less

Submitted 4 January, 2024; v1 submitted 9 August, 2022; originally announced August 2022.

MSC Class: Primary: 13D02; 13D40. Secondary: 14M10; 16E45

Lefschetz properties of some codimension three Artinian Gorenstein algebras

Authors: Nancy Abdallah, Nasrin Altafi, Anthony Iarrobino, Alexandra Seceleanu, Joachim Yaméogo

Abstract: Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artin… ▽ More Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is greater than the socle degree of $A$, we show that $A$ is almost strong Lefschetz. This quite modest result is nevertheless arguably the most encompassing so far concerning the strong Lefschetz property for graded codimension three AG algebras. △ Less

Submitted 2 March, 2022; originally announced March 2022.

MSC Class: 13E10; 13D40; 13H10

Axial constants and sectional regularity of homogeneous ideals

Authors: Michael DeBellevue, Audric Lebovitz, Yik Li, Mohamed Lotfi, Shivam Mohite, Xin Pan, Mrigank Shekhar Pathak, Shah Roshan Zamir, Alexandra Seceleanu, Sindy Xin Zhang

Abstract: A notion of sectional regularity for a homogeneous ideal $I$, which measures the regularity of its generic sections with respect to linear spaces of various dimensions, is introduced. It is related to axial constants defined as the intercepts on the coordinate axes of the set of exponents of monomials in the reverse lexicographic generic initial ideal of $I$. The equivalence of these notions and s… ▽ More A notion of sectional regularity for a homogeneous ideal $I$, which measures the regularity of its generic sections with respect to linear spaces of various dimensions, is introduced. It is related to axial constants defined as the intercepts on the coordinate axes of the set of exponents of monomials in the reverse lexicographic generic initial ideal of $I$. The equivalence of these notions and several other homological and ideal-theoretic invariants is shown. It is also established that these equivalent invariants grow linearly for the family of powers of a given ideal. △ Less

Submitted 2 August, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: Final version. To appear in PAMS

MSC Class: Primary 13P10; 13P20; Secondary: 13D02

Cohomological Blow Ups of Graded Artinian Gorenstein Algebras Along Surjective Maps

Authors: Anthony Iarrobino, Pedro Macias Marques, Chris McDaniel, Alexandra Seceleanu, Junzo Watanabe

Abstract: We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat… ▽ More We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are complete intersections. We have included many examples throughout this manuscript. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: Comments welcome!

MSC Class: 13H10; 13E10 (primary); 14D06; 14F45; 55R10 (secondary)

Rees algebras of filtrations of covering polyhedra and integral closure of powers of monomial ideals

Authors: Gonzalo Grisalde, Alexandra Seceleanu, Rafael H. Villarreal

Abstract: The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant… ▽ More The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant and the ic-resurgence of the filtration associated to a covering polyhedron and show how to compute these constants using linear programming. Then we show a lower bound for the ic-resurgence of the ideal of covers of a graph and prove that the lower bound is attained when the graph is perfect. We also show lower bounds for the ic-resurgence of the edge ideal of a graph and give an algorithm to compute the asymptotic resurgence of squarefree monomial ideals. A classification of when Newton's polyhedron is the irreducible polyhedron is presented using integral closure. △ Less

Submitted 8 August, 2021; v1 submitted 30 June, 2021; originally announced June 2021.

MSC Class: 13C70; 13F20; 13F55; 05E40; 13A30; 13B22

Journal ref: Res. Math. Sci. 9} (2022), no. 1, paper no. 13, 33 pp

Computing real powers of monomial ideals

Authors: Pratik Dongre, Benjamin Drabkin, Josiah Lim, Ethan Partida, Ethan Roy, Dylan Ruff, Alexandra Seceleanu, Tingting Tang

Abstract: This paper concerns the exponentiation of monomial ideals. While it is customary for the exponentiation operation on ideals to consider natural powers, we extend this notion to powers where the exponent is a positive real number. Real powers of a monomial ideal generalize the integral closure operation and highlight many interesting connections to the theory of convex polytopes. We provide multipl… ▽ More This paper concerns the exponentiation of monomial ideals. While it is customary for the exponentiation operation on ideals to consider natural powers, we extend this notion to powers where the exponent is a positive real number. Real powers of a monomial ideal generalize the integral closure operation and highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the real powers of a monomial ideal. An important result is that given any monomial ideal $I$, the function taking real numbers to the corresponding real power of $I$ is a step function whose jum** points are rational. This reduces the problem of determining real powers to rational exponents. △ Less

Submitted 31 August, 2022; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: Revised version. To appear in the Journal of Symbolic Computation

Consequences of the packing problem

Authors: Hrishikesh Bodas, Benjamin Drabkin, Caleb Fong, Su **, Justin Kim, Wenxuan Li, Alexandra Seceleanu, Tingting Tang, Brendan Williams

Abstract: We study several consequences of the packing problem, a conjecture from combinatorial optimization, using algebraic invariants of square-free monomial ideals. While the packing problem is currently unresolved, we successfully settle the validity of its consequences. Our work prompts additional questions and conjectures, which are presented together with their motivation. We study several consequences of the packing problem, a conjecture from combinatorial optimization, using algebraic invariants of square-free monomial ideals. While the packing problem is currently unresolved, we successfully settle the validity of its consequences. Our work prompts additional questions and conjectures, which are presented together with their motivation. △ Less

Submitted 4 May, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: Final version - Journal of Algebraic Combinatorics

MSC Class: 13C70; 13F55; 05E40; 05C65; 05C15

Convex bodies and asymptotic invariants for powers of monomial ideals

Authors: João Camarneiro, Benjamin Drabkin, Duarte Fragoso, William Frendreiss, Daniel Hoffman, Alexandra Seceleanu, Tingting Tang, Sewon Yang

Abstract: Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invaria… ▽ More Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invariants for these graded families are expressed as solutions to linear optimization problems on the respective convex bodies. This allows to establish a lower bound on the Waldschmidt constant of a monomial ideal by means of a more easily computable invariant, which we introduce under the name of naive Waldschmidt constant. △ Less

Submitted 9 February, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: final version - to appear in the Journal of Pure and Applied Algebra

MSC Class: 13F55; 13F20; 52B20; 14M25

Symbolic Rees algebras

Authors: Eloísa Grifo, Alexandra Seceleanu

Abstract: We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions. We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions. △ Less

Submitted 5 February, 2021; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: The changes in v2 are small, and mostly consist of typo corrections

Canonical Resolutions over Koszul Algebras

Authors: Eleonore Faber, Martina Juhnke-Kubitzke, Haydee Lindo, Claudia Miller, Rebecca R. G., Alexandra Seceleanu

Abstract: We generalize Buchsbaum and Eisenbud's resolutions for the powers of the maximal ideal of a polynomial ring to resolve powers of the homogeneous maximal ideal over graded Koszul algebras. Our approach has the advantage of producing resolutions that are both more explicit and minimal compared to those previously discovered by Green and Martínez-Villa \cite{GreenMartinezVilla} or Martínez-Villa and… ▽ More We generalize Buchsbaum and Eisenbud's resolutions for the powers of the maximal ideal of a polynomial ring to resolve powers of the homogeneous maximal ideal over graded Koszul algebras. Our approach has the advantage of producing resolutions that are both more explicit and minimal compared to those previously discovered by Green and Martínez-Villa \cite{GreenMartinezVilla} or Martínez-Villa and Zacharia \cite{MartinezVillaZacharia}. △ Less

Submitted 5 May, 2021; v1 submitted 24 November, 2020; originally announced November 2020.

Comments: To appear in the Springer volume "Women in Commutative Algebra-Proceedings of the 2019 WICA Workshop"

MSC Class: 16E05 13D02

Quadratic Gorenstein algebras with many surprising properties

Authors: Jason McCullough, Alexandra Seceleanu

Abstract: Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of Mastroeni, Schenck, and Stillman. We also show that this example is minimal in the sense that no other idealization that is non-Koszul, quadratic, Artinian, Gorenst… ▽ More Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of Mastroeni, Schenck, and Stillman. We also show that this example is minimal in the sense that no other idealization that is non-Koszul, quadratic, Artinian, Gorenstein algebra, with regularity $3$ has smaller codimension. We also construct an infinite family of graded, quadratic, Artinian, Gorenstein algebras $A_m$, indexed by an integer $m \ge 2$, with the following properties: (1) there are minimal first syzygies of the defining ideal in degree $m+2$, (2) for $m \ge 3$, $A_m$ is not Koszul, (3) for $m \ge 7$, the Hilbert function of $A_m$ is not unimodal, and thus (4) for $m \ge 7$, $A_m$ does not satisfy the weak or strong Lefschetz properties. In particular, the subadditivity property fails for quadratic Gorenstein ideals. Finally, we show that the idealization of a construction of Roos yields non-Koszul quadratic Gorenstein algebras such that the residue field $k$ has a linear resolution for precisely $α$ steps for any integer $α\ge 2$. Thus there is no finite test for the Koszul property even for quadratic Gorenstein algebras. △ Less

Submitted 1 June, 2020; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: Added new section showing there is no finite test for the Koszul property for quadratic Gorenstein algebras

Singular loci of reflection arrangements and the containment problem

Authors: Ben Drabkin, Alexandra Seceleanu

Abstract: This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study conta… ▽ More This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study containments between the ordinary and symbolic powers of these ideals. △ Less

Submitted 13 February, 2021; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: Minor revision: proof of Proposition 6.3 corrected. To appear in Mathematische Zeitschrift

MSC Class: Primary: 13A02; 13A50; Secondary: 14N20; 20F55

Implicitization of tensor product surfaces via virtual projective resolutions

Authors: Eliana Duarte, Alexandra Seceleanu

Abstract: We derive the implicit equations for certain parametric surfaces in three-dimensional projective space termed tensor product surfaces. Our method computes the implicit equation for such a surface based on the knowledge of the syzygies of the base point locus of the parametrization by means of constructing an explicit virtual projective resolution. We derive the implicit equations for certain parametric surfaces in three-dimensional projective space termed tensor product surfaces. Our method computes the implicit equation for such a surface based on the knowledge of the syzygies of the base point locus of the parametrization by means of constructing an explicit virtual projective resolution. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Comments: 30 pages

MSC Class: 13P15

Betti numbers of symmetric shifted ideals

Authors: Jennifer Biermann, Hernán De Alba, Federico Galetto, Satoshi Murai, Uwe Nagel, Augustine O'Keefe, Tim Römer, Alexandra Seceleanu

Abstract: We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute… ▽ More We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations. △ Less

Submitted 28 October, 2020; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: Corrected typo in Example 5.8

MSC Class: 13D02 (Primary) 13A15; 13A50 (Secondary)

Journal ref: Journal of Algebra, Volume 560, 15 October 2020, Pages 312-342

Connected Sums of Graded Artinian Gorenstein Algebras and Lefschetz Properties

Authors: Anthony Iarrobino, Chris McDaniel, Alexandra Seceleanu

Abstract: A connected sum construction for local rings was introduced in a paper by H. Ananthnarayan, L. Avramov, and W.F. Moore. In the graded Artinian Gorenstein case, this can be viewed as an algebraic analogue of the topological construction of the same name. We give two alternative description of this algebraic connected sum: the first uses algebraic analogues of Thom classes of vector bundles and Gysi… ▽ More A connected sum construction for local rings was introduced in a paper by H. Ananthnarayan, L. Avramov, and W.F. Moore. In the graded Artinian Gorenstein case, this can be viewed as an algebraic analogue of the topological construction of the same name. We give two alternative description of this algebraic connected sum: the first uses algebraic analogues of Thom classes of vector bundles and Gysin homomorphisms, the second is in terms of Macaulay dual generators. We also investigate the extent to which the connected sum construction preserves the weak or strong Lefschetz property, thus providing new classes of rings which satisfy these properties. △ Less

Submitted 3 May, 2021; v1 submitted 12 April, 2019; originally announced April 2019.

Comments: Final version

MSC Class: Primary: 13H10; Secondary: 13E10; 14C99; 14D06

Journal ref: J. Pure and Applied Algebra 226 (2022), no. 1, Paper No. 106787, 52 pp

Generalized minimum distance functions and algebraic invariants of Geramita ideals

Authors: Susan M. Cooper, Alexandra Seceleanu, Stefan O. Tohaneanu, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $δ_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $δ_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $δ_I$ is strictly decreasing a… ▽ More Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $δ_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $δ_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $δ_I$ is strictly decreasing as a function of $d$ until it stabilizes. We also study algebraic invariants of Geramita ideals. Those ideals are graded, unmixed, $1$-dimensional and their associated primes are generated by linear forms. We also examine GMD functions of complete intersections and show some special cases of two conjectures of Tohăneanu--Van Tuyl and Eisenbud-Green-Harris. △ Less

Submitted 11 September, 2019; v1 submitted 16 December, 2018; originally announced December 2018.

MSC Class: 13P25; 14G50; 94B27; 11T71

Journal ref: Adv. in Appl. Math. 112 (2020), 101940

Frieze varieties : A characterization of the finite-tame-wild trichotomy for acyclic quivers

Authors: Kyungyong Lee, Li Li, Matthew Mills, Ralf Schiffler, Alexandra Seceleanu

Abstract: We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver… ▽ More We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, respectively, if and only if the dimension of its frieze variety is $0,1$, or $\ge2$, respectively. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Comments: 27 pages, 2 figures

MSC Class: 13F60; 14M99; 05E10

Computations involving symbolic powers

Authors: Ben Drabkin, Eloísa Grifo, Alexandra Seceleanu, Branden Stone

Abstract: Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously difficult to compute, and there are seemingly simple questions related to symbolic powers that remain open even over polynomial rings. In this paper, we describe a Ma… ▽ More Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously difficult to compute, and there are seemingly simple questions related to symbolic powers that remain open even over polynomial rings. In this paper, we describe a Macaulay2 software package that allows for computations of symbolic powers of ideals and which can be used to study the equality and containment problems, among others. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Journal ref: J. Softw. Alg. Geom. 9 (2019) 71-80

Negative curves on symmetric blowups of the projective plane, resurgences and Waldschmidt constants

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Alexandra Seceleanu, Tomasz Szemberg

Abstract: The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these lin… ▽ More The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these line configurations. We study invariant curves on X in detail, with a particular emphasis on curves of negative self-intersection. We use the representation theory of the stabilizers of the singular points to discover several invariant curves of negative self-intersection on X, and use these curves to study Nagata-type questions for linear series on X. The homogeneous ideal I of the collection of points in the configuration is an example of an ideal where the symbolic cube of the ideal is not contained in the square of the ideal; ideals with this property are seemingly quite rare. The resurgence and asymptotic resurgence are invariants which were introduced to measure such failures of containment. We use our knowledge of negative curves on X to compute the resurgence of I exactly. We also compute the asymptotic resurgence and Waldschmidt constant exactly in the case of the Wiman configuration of lines, and provide estimates on both for the Klein configuration. △ Less

Submitted 10 October, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 39 pages. In v2: Section 4.1 rewritten for clarity and other minor changes

MSC Class: 14C20; 14J26; 13A50; 13P10 (Primary); 14J50; 14Q20; 11H46; 52C30; 32S22 (Secondary)

Symbolic powers of codimension two Cohen-Macaulay ideals

Authors: Susan Cooper, Giuliana Fatabbi, Elena Guardo, Anna Lorenzini, Juan Migliore, Uwe Nagel, Alexandra Seceleanu, Justyna Szpond, Adam Van Tuyl

Abstract: Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when… ▽ More Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when $I_X^{(m)} = I_X^m$ for all $m \geq 1$. We then discuss how one might weaken these hypotheses, but still obtain equality between the symbolic and ordinary powers. Finally, we show that this classification allows one to: (1) simplify known results about symbolic powers of ideals of points in $\mathbb{P}^1 \times \mathbb{P}^1$; (2) verify a conjecture of Guardo, Harbourne, and Van Tuyl, and (3) provide additional evidence to a conjecture of Römer. △ Less

Submitted 11 May, 2020; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: This project was started at the Mathematisches Forschungsinstitut Oberwolfach (MFO) as part of the mini-workshop "Ideals of Linear Subspaces, Their Symbolic Powers and Waring Problems" held in February 2015. Final version of paper; to appear in Communications in Algebra

Ordinary and symbolic Rees algebras for ideals of Fermat point configurations

Authors: Uwe Nagel, Alexandra Seceleanu

Abstract: Fermat ideals define planar point configurations that are closely related to the intersection locus of the members of a specific pencil of curves. These ideals have gained recent popularity as counterexamples to some proposed containments between symbolic and ordinary powers. We give a systematic treatment of the family of Fermat ideals, describing explicitly the minimal generators and the minimal… ▽ More Fermat ideals define planar point configurations that are closely related to the intersection locus of the members of a specific pencil of curves. These ideals have gained recent popularity as counterexamples to some proposed containments between symbolic and ordinary powers. We give a systematic treatment of the family of Fermat ideals, describing explicitly the minimal generators and the minimal free resolutions of all their ordinary powers as well as many symbolic powers. We use these to study the ordinary and the symbolic Rees algebra of Fermat ideals. Specifically, we show that the symbolic Rees algebras of Fermat ideals are Noetherian. Along the way, we give formulas for the Castelnuovo-Mumford regularity of the powers of Fermat ideals and we determine their reduction ideals. △ Less

Submitted 16 September, 2015; originally announced September 2015.

The Waldschmidt constant for squarefree monomial ideals

Authors: Cristiano Bocci, Susan Cooper, Elena Guardo, Brian Harbourne, Mike Janssen, Uwe Nagel, Alexandra Seceleanu, Adam Van Tuyl, Thanh Vu

Abstract: Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constr… ▽ More Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of $I$. Moreover, expressing $\widehatα(I)$ as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on $\widehatα(I)$, thus verifying a conjecture of Cooper-Embree-Hà-Hoefel for monomial ideals in the squarefree case. As an application, we compute the Waldschmidt constant and the resurgence for some families of squarefree monomial ideals. For example, we determine both constants for unions of general linear subspaces of $\mathbb{P}^n$ with few components compared to $n$, and we find the Waldschmidt constant for the Stanley-Reisner ideal of a uniform matroid. △ Less

Submitted 25 May, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 26 pages. This project was started at the Mathematisches Forschungsinstitut Oberwolfach (MFO) as part of the mini-workshop "Ideals of Linear Subspaces, Their Symbolic Powers and Waring Problems" held in February 2015. Comments are welcome. Revised version corrects some typos, updates the references, and clarifies some hypotheses. To appear in the Journal of Algebraic Combinatorics

MSC Class: Primary 13F20; Secondary 13A02; 14N05

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

Authors: Alexandra Seceleanu

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

Submitted 24 March, 2015; v1 submitted 1 October, 2014; originally announced October 2014.

Comments: Final version. Some statements reformulated to emphasize more general applicability. Minor improvements and corrections

Determinants of incidence and Hessian matrices arising from the vector space lattice

Authors: Saeed Nasseh, Alexandra Seceleanu, Junzo Watanabe

Abstract: Let $\mathcal{V}=\bigsqcup_{i=0}^n\mathcal{V}_i$ be the lattice of subspaces of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and let $\mathcal{A}$ be the graded Gorenstein algebra defined over $\mathbb{Q}$ which has $\mathcal{V}$ as a $\mathbb{Q}$ basis. Let $F$ be the Macaulay dual generator for $\mathcal{A}$. We compute explicitly the Hessian determinant… ▽ More Let $\mathcal{V}=\bigsqcup_{i=0}^n\mathcal{V}_i$ be the lattice of subspaces of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and let $\mathcal{A}$ be the graded Gorenstein algebra defined over $\mathbb{Q}$ which has $\mathcal{V}$ as a $\mathbb{Q}$ basis. Let $F$ be the Macaulay dual generator for $\mathcal{A}$. We compute explicitly the Hessian determinant $|\frac{\partial ^2F}{\partial X_i \partial X_j}|$ evaluated at the point $X_1 = X_2 = \cdots = X_N=1$ and relate it to the determinant of the incidence matrix between $\mathcal{V}_1$ and $\mathcal{V}_{n-1}$. Our exploration is motivated by the fact that both of these matrices arise naturally in the study of the Sperner property of the lattice and the Lefschetz property for the graded Artinian Gorenstein algebra associated to it. △ Less

Submitted 14 September, 2016; v1 submitted 9 August, 2014; originally announced August 2014.

MSC Class: 05B20; 05B25; 51D25; 13A02; 13F20;

Resurgences for ideals of special point configurations in ${\bf P}^N$ coming from hyperplane arrangements

Authors: Marcin Dumnicki, Brian Harbourne, Uwe Nagel, Alexandra Seceleanu, Tomasz Szemberg, Halszka Tutaj-Gasińska

Abstract: Symbolic powers of ideals have attracted interest in commutative algebra and algebraic geometry for many years, with a notable recent focus on containment relations between symbolic powers and ordinary powers. Several invariants have been introduced and studied in the latter context, including the resurgence and asymptotic resurgence. There have been exciting new developments in this area recent… ▽ More Symbolic powers of ideals have attracted interest in commutative algebra and algebraic geometry for many years, with a notable recent focus on containment relations between symbolic powers and ordinary powers. Several invariants have been introduced and studied in the latter context, including the resurgence and asymptotic resurgence. There have been exciting new developments in this area recently. It had been expected for several years that $I^{Nr-N+1}\subseteq I^r$ should hold for the ideal $I$ of any finite set of points in ${\bf P}^N$ for all $r>0$, but in the last year various counterexamples have now been constructed, all involving point sets coming from hyperplane arrangements. In the present work, we compute their resurgences and obtain in particular the first examples where the resurgence and the asymptotic resurgence are not equal. △ Less

Submitted 19 April, 2014; originally announced April 2014.

Comments: 9 pages, 1 figure

MSC Class: 13F20; 13A02; 14N05

Journal ref: Journal of Algebra 443 (2015), 383-394

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.

Comments: 34 pages (to appear in Journal of Pure and Applied Algebra)

MSC Class: 13D02; 13D05

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.

Comments: 14 pages, comments are welcome

Containment Counterexamples for ideals of various configurations of points in ${\bf P}^N$

Authors: Brian Harbourne, Alexandra Seceleanu

Abstract: When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples show that this can fail when N=r=2. We study properties of the resulting ideals. We also show that failures occur for infinitely many $r$ in every characteristic… ▽ More When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples show that this can fail when N=r=2. We study properties of the resulting ideals. We also show that failures occur for infinitely many $r$ in every characteristic $p>2$ when N=2, and we find additional positive characteristic failures when $N>2$. △ Less

Submitted 16 June, 2013; originally announced June 2013.

Comments: 11 pages

MSC Class: 13F20; 13A02; 14N05

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.

Comments: 21 pages (fixed typo in statement of main theorem from version 1)

MSC Class: 13D05; 14M06; 14M07; 13D02

Syzygies and singularities of tensor product surfaces of bidegree (2,1)

Authors: Hal Schenck, Alexandra Seceleanu, Javid Validashti

Abstract: Let U be a basepoint free four-dimensional subspace of the space of sections of O(2,1) on P^1 x P^1. The sections corresponding to U determine a regular map p_U: P^1 x P^1 --> P^3. We study the associated bigraded ideal I_U in k[s,t;u,v] from the standpoint of commutative algebra, proving that there are exactly six numerical types of possible bigraded minimal free resolution. These resolutions pla… ▽ More Let U be a basepoint free four-dimensional subspace of the space of sections of O(2,1) on P^1 x P^1. The sections corresponding to U determine a regular map p_U: P^1 x P^1 --> P^3. We study the associated bigraded ideal I_U in k[s,t;u,v] from the standpoint of commutative algebra, proving that there are exactly six numerical types of possible bigraded minimal free resolution. These resolutions play a key role in determining the implicit equation of the image p_U(P^1 x P^1), via work of Buse-Jouanolou, Buse-Chardin, Botbol and Botbol-Dickenstein-Dohm on the approximation complex. In four of the six cases I_U has a linear first syzygy; remarkably from this we obtain all differentials in the minimal free resolution. In particular this allows us to describe the implicit equation and singular locus of the image. △ Less

Submitted 7 November, 2012; originally announced November 2012.

Comments: 35 pages 1 figure

MSC Class: 65D17; 13D02; 41A15

Journal ref: Mathematics of Computation, 83 (2014), 1337-1372

Computations in intersection rings of flag bundles

Authors: Daniel R. Grayson, Alexandra Seceleanu, Michael E. Stillman

Abstract: Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of total Chern classes. In this paper we describe the Groebner bases of the ideals of relations and give applications to computation of intersections, as implemented in Macaulay2. Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of total Chern classes. In this paper we describe the Groebner bases of the ideals of relations and give applications to computation of intersections, as implemented in Macaulay2. △ Less

Submitted 11 April, 2022; v1 submitted 18 May, 2012; originally announced May 2012.

MSC Class: 14C17; 13P10

Syzygy Theorems via Comparison of Order Ideals on a Hypersurface

Authors: Phillip A. Griffith, Alexandra Seceleanu

Abstract: We introduce a weak order ideal property that suffices for establishing the Evans-Griffith Syzygy Theorem. We study this weak order ideal property in settings that allow for comparison between homological algebra over a local ring $R$ versus a hypersurface ring $R/(x^n)$. Consequently we solve some relevant cases of the Evans-Griffith syzygy conjecture over local rings of unramified mixed characte… ▽ More We introduce a weak order ideal property that suffices for establishing the Evans-Griffith Syzygy Theorem. We study this weak order ideal property in settings that allow for comparison between homological algebra over a local ring $R$ versus a hypersurface ring $R/(x^n)$. Consequently we solve some relevant cases of the Evans-Griffith syzygy conjecture over local rings of unramified mixed characteristic $p$, with the case of syzygies of prime ideals of Cohen-Macaulay local rings of unramified mixed characteristic being noted. We reduce the remaining considerations to modules annihilated by $p^s$, $s>0$, that have finite projective dimension over a hypersurface ring. △ Less

Submitted 18 June, 2011; originally announced June 2011.

Comments: To appear in JPAA

Ideals with Larger Projective Dimension and Regularity

Authors: Jesse Beder, Jason McCullough, Luis Nunez-Betancourt, Alexandra Seceleanu, Bart Snapp, Branden Stone

Abstract: We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In particular, we describe a family of three-generated homogeneous ideals in arbitrary characteristic whose projective dimension grows asymptotically as sqrt{d}^(sqrt(d)… ▽ More We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In particular, we describe a family of three-generated homogeneous ideals in arbitrary characteristic whose projective dimension grows asymptotically as sqrt{d}^(sqrt(d) - 1). △ Less

Submitted 17 January, 2011; originally announced January 2011.

Comments: 10 pages. This work was completed at the MRC for Commutative Algebra in Snowbird, UT, which was generously supported by the AMS

MSC Class: 13D05

Inverse systems, Gelfand-Tsetlin patterns and the weak Lefschetz property

Authors: Brian Harbourne, Hal Schenck, Alexandra Seceleanu

Abstract: Migliore-Miró-Roig-Nagel [Trans. A.M.S. 2011, arXiv: 0811.1023] show that the weak Lefschetz property (WLP) can fail for an ideal I in K[x_1,x_2,x_3,x_4] generated by powers of linear forms. This is in contrast to the analogous situation in K[x_1,x_2,x_3], where WLP always holds [H.Schenck, A.Seceleanu, Proc. A.M.S. 2010, arXiv:0911.0876]. We use the inverse system dictionary to connect I to an id… ▽ More Migliore-Miró-Roig-Nagel [Trans. A.M.S. 2011, arXiv: 0811.1023] show that the weak Lefschetz property (WLP) can fail for an ideal I in K[x_1,x_2,x_3,x_4] generated by powers of linear forms. This is in contrast to the analogous situation in K[x_1,x_2,x_3], where WLP always holds [H.Schenck, A.Seceleanu, Proc. A.M.S. 2010, arXiv:0911.0876]. We use the inverse system dictionary to connect I to an ideal of fat points and show that failure of WLP for powers of linear forms is connected to the geometry of the associated fat point scheme. Recent results of Sturmfels-Xu in [J. Eur. Math. Soc. 2010, arXiv:0803.0892] allow us to relate WLP to Gelfand-Tsetlin patterns. See the paper "On the weak Lefschetz property for powers of linear forms" by Migliore-Miró-Roig-Nagel [arXiv:1008.2149] for related results. △ Less

Submitted 4 July, 2011; v1 submitted 13 August, 2010; originally announced August 2010.

Comments: to appear in J. London Math. Soc

The Weak Lefschetz Property and powers of linear forms in K[x,y,z]

Authors: Hal Schenck, Alexandra Seceleanu

Abstract: We show that an Artinian quotient of K[x, y, z] by an ideal I generated by powers of linear forms has the Weak Lefschetz property. If the syzygy bundle of I is semistable this follows from results of Brenner-Kaid; our proof works without this hypothesis, which typically does not hold. We show that an Artinian quotient of K[x, y, z] by an ideal I generated by powers of linear forms has the Weak Lefschetz property. If the syzygy bundle of I is semistable this follows from results of Brenner-Kaid; our proof works without this hypothesis, which typically does not hold. △ Less

Submitted 4 November, 2009; originally announced November 2009.

Comments: 5 pages, to appear in PAMS

MSC Class: 13D02; 14J60; 13C13; 13C40; 14F05

Journal ref: Proceedings of the A.M.S., 138 (2010) 2335-2339