Showing 1–14 of 14 results for author: Boocher, A

Lower bounds on Betti numbers

Authors: Adam Boocher, Eloísa Grifo

Abstract: We survey recent results on bounds for Betti numbers of modules over polynomial rings, with an emphasis on lower bounds. Along the way, we give a gentle introduction to free resolutions and Betti numbers, and discuss some of the reasons why one would study these. We survey recent results on bounds for Betti numbers of modules over polynomial rings, with an emphasis on lower bounds. Along the way, we give a gentle introduction to free resolutions and Betti numbers, and discuss some of the reasons why one would study these. △ Less

Submitted 12 August, 2021; originally announced August 2021.

MSC Class: 13D02

Large lower bounds for the betti numbers of graded modules with low regularity

Authors: Adam Boocher, Derrick Wigglesworth

Abstract: Suppose that $M$ is a finitely-generated graded module of codimension $c\geq 3$ over a polynomial ring and that the regularity of $M$ is at most $2a-2$ where $a\geq 2$ is the minimal degree of a first syzygy of $M$. Then we show that the sum of the betti numbers of $M$ is at least $β_0(M)(2^c + 2^{c-1})$. In addition, if $c \geq 9$ then for each $1\leq i\leq \lceil c/2\rceil$, we show… ▽ More Suppose that $M$ is a finitely-generated graded module of codimension $c\geq 3$ over a polynomial ring and that the regularity of $M$ is at most $2a-2$ where $a\geq 2$ is the minimal degree of a first syzygy of $M$. Then we show that the sum of the betti numbers of $M$ is at least $β_0(M)(2^c + 2^{c-1})$. In addition, if $c \geq 9$ then for each $1\leq i\leq \lceil c/2\rceil$, we show $β_i(M)\geq 2β_0(M){c \choose i}$. △ Less

Submitted 25 October, 2019; v1 submitted 29 March, 2019; originally announced March 2019.

Comments: 14 pages, 2 figures

MSC Class: 13D02

Lower Bounds for Betti Numbers of Monomial Ideals

Authors: Adam Boocher, James Seiner

Abstract: Let I be a monomial ideal of height c in a polynomial ring S over a field k. If I is not generated by a regular sequence, then we show that the sum of the betti numbers of S/I is at least 2^c + 2^{c-1} and characterize when equality holds. Lower bounds for the individual betti numbers are given as well. Let I be a monomial ideal of height c in a polynomial ring S over a field k. If I is not generated by a regular sequence, then we show that the sum of the betti numbers of S/I is at least 2^c + 2^{c-1} and characterize when equality holds. Lower bounds for the individual betti numbers are given as well. △ Less

Submitted 29 June, 2017; originally announced June 2017.

Comments: 11 pages

MSC Class: 13D02

Koszul Algebras Defined by Three Relations

Authors: Adam Boocher, S. Hamid Hassanzadeh, Srikanth B. Iyengar

Abstract: This work concerns commutative algebras of the form $R=Q/I$, where $Q$ is a standard graded polynomial ring and $I$ is a homogenous ideal in $Q$. It has been proposed that when $R$ is Koszul the $i$th Betti number of $R$ over $Q$ is at most $\binom gi$, where $g$ is the number of generators of $I$; in particular, the projective dimension of $R$ over $Q$ is at most $g$. The main result of this work… ▽ More This work concerns commutative algebras of the form $R=Q/I$, where $Q$ is a standard graded polynomial ring and $I$ is a homogenous ideal in $Q$. It has been proposed that when $R$ is Koszul the $i$th Betti number of $R$ over $Q$ is at most $\binom gi$, where $g$ is the number of generators of $I$; in particular, the projective dimension of $R$ over $Q$ is at most $g$. The main result of this work settles this question, in the affirmative, when $g\le 3$. △ Less

Submitted 3 May, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: Minor corrections; a slightly modified version will appear in the Springer INdAM Volume in honor of Winfried Bruns

MSC Class: 13D02

The software package SpectralSequences

Authors: Adam Boocher, Nathan Grieve, Eloísa Grifo

Abstract: We describe the computer algebra software package SpectralSequences for the computer algebra system Macaulay2. This package implements many data types, objects and algorithms which pertain to, among other things, filtered complexes, spectral sequence pages and maps therein. We illustrate some of the syntax and capabilities of SpectralSequences by way of several examples. We describe the computer algebra software package SpectralSequences for the computer algebra system Macaulay2. This package implements many data types, objects and algorithms which pertain to, among other things, filtered complexes, spectral sequence pages and maps therein. We illustrate some of the syntax and capabilities of SpectralSequences by way of several examples. △ Less

Submitted 17 October, 2016; originally announced October 2016.

Edge ideals and DG algebra resolutions

Authors: Adam Boocher, Alessio D'Alì, Eloísa Grifo, Jonathan Montaño, Alessio Sammartano

Abstract: Let $R= S/I$ where $S=k[T_1, \ldots, T_n]$ and $I$ is a homogeneous ideal in $S$. The acyclic closure $R \langle Y \rangle $ of $k$ over $R$ is a DG algebra resolution obtained by means of Tate's process of adjoining variables to kill cycles. In a similar way one can obtain the minimal model $S[X]$, a DG algebra resolution of $R$ over $S$. By a theorem of Avramov there is a tight connection betwee… ▽ More Let $R= S/I$ where $S=k[T_1, \ldots, T_n]$ and $I$ is a homogeneous ideal in $S$. The acyclic closure $R \langle Y \rangle $ of $k$ over $R$ is a DG algebra resolution obtained by means of Tate's process of adjoining variables to kill cycles. In a similar way one can obtain the minimal model $S[X]$, a DG algebra resolution of $R$ over $S$. By a theorem of Avramov there is a tight connection between these two resolutions. In this paper we study these two resolutions when $I$ is the edge ideal of a path or a cycle. We determine the behavior of the deviations $\varepsilon_i(R)$, which are the number of variables in $R\langle Y \rangle$ in homological degree $i$. We apply our results to the study of the $k$-algebra structure of the Koszul homology of $R$. △ Less

Submitted 6 April, 2015; originally announced April 2015.

MSC Class: Primary: 16E45; Secondary: 16S37; 13D02; 05C38

Journal ref: Le Matematiche, Vol. 70, pp 215-237 (2015)

On the growth of deviations

Authors: Adam Boocher, Alessio D'Alì, Eloísa Grifo, Jonathan Montaño, Alessio Sammartano

Abstract: The deviations of a graded algebra are a sequence of integers that determine the Poincare series of its residue field and arise as the number of generators of certain DG algebras. In a sense, deviations measure how far a ring is from being a complete intersection. In this paper we study extremal deviations among those of algebras with a fixed Hilbert series. In this setting, we prove that, like th… ▽ More The deviations of a graded algebra are a sequence of integers that determine the Poincare series of its residue field and arise as the number of generators of certain DG algebras. In a sense, deviations measure how far a ring is from being a complete intersection. In this paper we study extremal deviations among those of algebras with a fixed Hilbert series. In this setting, we prove that, like the Betti numbers, deviations do not decrease when passing to an initial ideal and are maximized by the Lex-segment ideal. We also prove that deviations grow exponentially for Golod rings and for certain quadratic monomial algebras. △ Less

Submitted 20 October, 2017; v1 submitted 4 April, 2015; originally announced April 2015.

Comments: Corrected some minor typos in the version published in PAMS

MSC Class: 13D02 (Primary); 16E45; 13D40; 16S37; 05C25; 05C38 (Secondary)

Journal ref: Proceedings of the American Mathematical Society, Vol. 144, pp 5049-5060 (2016)

The closure of a linear space in a product of lines

Authors: Federico Ardila, Adam Boocher

Abstract: Given a linear space L in affine space A^n, we study its closure L' in the product of projective lines (P^1)^n. We show that the degree, multigraded Betti numbers, defining equations, and universal Grobner basis of its defining ideal I(L') are all combinatorially determined by the matroid M of L. We also prove I(L') and all of its initial ideals are Cohen-Macaulay with the same Betti numbers. In s… ▽ More Given a linear space L in affine space A^n, we study its closure L' in the product of projective lines (P^1)^n. We show that the degree, multigraded Betti numbers, defining equations, and universal Grobner basis of its defining ideal I(L') are all combinatorially determined by the matroid M of L. We also prove I(L') and all of its initial ideals are Cohen-Macaulay with the same Betti numbers. In so doing, we prove that the initial ideals of I(L') are the Stanley-Reisner ideals of an interesting family of simplicial complexes related to the basis activities of M. We also describe the state polytope of I(L'), which is related to the matroid basis polytope of M. △ Less

Submitted 29 September, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: 33 pages, 5 figures

MSC Class: 13P10; 05E40; 05E45

Robust Graph Ideals

Authors: Adam Boocher, Bryan Christopher Brown, Timothy Duff, Laura Lyman, Takumi Murayama, Amy Nesky, Karl Schaefer

Abstract: Let I be a toric ideal. We say I is robust if its universal Groebner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on t… ▽ More Let I be a toric ideal. We say I is robust if its universal Groebner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on the set of circuits of G. △ Less

Submitted 29 September, 2013; originally announced September 2013.

Comments: 16 pages, 9 figures

MSC Class: 05; 13

Robust Toric Ideals

Authors: Adam Boocher, Elina Robeva

Abstract: We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gröbner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible generalizations to higher degree, providing a tight classification for determinantal ideals, and a counterexample to a natural extension for Lawrence ideals. We cl… ▽ More We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gröbner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible generalizations to higher degree, providing a tight classification for determinantal ideals, and a counterexample to a natural extension for Lawrence ideals. We close with a discussion of robustness of higher Betti numbers. △ Less

Submitted 19 June, 2013; v1 submitted 2 April, 2013; originally announced April 2013.

Comments: Minor corrections and new introduction

MSC Class: 13; 05; 14

Free Resolutions and Sparse Determinantal Ideals

Authors: Adam Boocher

Abstract: A sparse generic matrix is a matrix whose entries are distinct variables and zeros. Such matrices were studied by Giusti and Merle who computed some invariants of their ideals of maximal minors. In this paper we extend these results by computing a minimal free resolution for all such sparse determinantal ideals. We do so by introducing a technique for pruning minimal free resolutions when a subset… ▽ More A sparse generic matrix is a matrix whose entries are distinct variables and zeros. Such matrices were studied by Giusti and Merle who computed some invariants of their ideals of maximal minors. In this paper we extend these results by computing a minimal free resolution for all such sparse determinantal ideals. We do so by introducing a technique for pruning minimal free resolutions when a subset of the variables is set to zero. Our technique correctly computes a minimal free resolution in two cases of interest: resolutions of monomial ideals, and ideals resolved by the Eagon-Northcott Complex. As a consequence we can show that sparse determinantal ideals have a linear resolution over the integers, and that the projective dimension depends only on the number of columns of the matrix which are identically zero. Finally, we show that all such ideals have the property that regardless of the term order chosen, the Betti numbers of the ideal and its initial ideal are the same. In particular the nonzero generators of these ideals form a universal Gröbner basis. △ Less

Submitted 5 December, 2012; v1 submitted 1 November, 2011; originally announced November 2011.

Comments: Minor edits, final version. To Appear in Math. Research Letters

MSC Class: 13C40 (Primary) 13P10; 13D02; 14M12 (Secondary)

On the Rank of Multigraded Differential Modules

Authors: Adam Boocher, Justin W. DeVries

Abstract: A $\mathbb{Z}^d$-graded differential $R$-module is a $\mathbb{Z}^d$-graded $R$-module $D$ equipped with an endomorphism, $δ$, that squares to zero. For $R=k[x_1,\ldots,x_d]$, this paper establishes a lower bound on the rank of such a differential module when the underlying R-module is free. We define the Betti number of a differential module and use it to show that when the homology… ▽ More A $\mathbb{Z}^d$-graded differential $R$-module is a $\mathbb{Z}^d$-graded $R$-module $D$ equipped with an endomorphism, $δ$, that squares to zero. For $R=k[x_1,\ldots,x_d]$, this paper establishes a lower bound on the rank of such a differential module when the underlying R-module is free. We define the Betti number of a differential module and use it to show that when the homology $H(D)=\mathrm{ker}(δ)/\mathrm{im}(δ)$ of $D$ is non-zero and finite dimensional over $k$ then there is an inequality $\mathrm{rank}_R D \geqslant 2^d$. △ Less

Submitted 6 August, 2021; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: 21 pages

MSC Class: 13Dxx (Primary); 55Uxx (Secondary)

On generators of bounded ratios of minors for totally positive matrices

Authors: Adam Boocher, Bradley Froehle

Abstract: We provide a method for factoring all bounded ratios of the form $$\det A(I_1|I_1')\det A(I_2|I_2')/\det A(J_1|J_1')\det A(J_2|J_2')$$ where $A$ is a totally positive matrix, into a product of more elementary ratios each of which is bounded by 1, thus giving a new proof of Skandera's result. The approach we use generalizes the one employed by Fallat et al. in their work on principal minors. We a… ▽ More We provide a method for factoring all bounded ratios of the form $$\det A(I_1|I_1')\det A(I_2|I_2')/\det A(J_1|J_1')\det A(J_2|J_2')$$ where $A$ is a totally positive matrix, into a product of more elementary ratios each of which is bounded by 1, thus giving a new proof of Skandera's result. The approach we use generalizes the one employed by Fallat et al. in their work on principal minors. We also obtain a new necessary condition for a ratio to be bounded for the case of non-principal minors. △ Less

Submitted 20 April, 2008; originally announced April 2008.

Comments: 27 pages, 2 figures

MSC Class: 15A45; 15A48

Journal ref: Linear Algebra and Its Applications (2008) Vol 428/7 pp 1664-1684

Sampling Lissajous and Fourier knots

Authors: Adam Boocher, Jay Daigle, Jim Hoste, Wenjing Zheng

Abstract: A Lissajous knot is one that can be parameterized by a single cosine function in each coordinate. Lissajous knots are highly symmetric, and for this reason, not all knots are Lissajous. We prove several theorems which allow us to place bounds on the number of Lissajous knot types with given frequencies and to efficiently sample all possible Lissajous knots with a given set of frequencies. In par… ▽ More A Lissajous knot is one that can be parameterized by a single cosine function in each coordinate. Lissajous knots are highly symmetric, and for this reason, not all knots are Lissajous. We prove several theorems which allow us to place bounds on the number of Lissajous knot types with given frequencies and to efficiently sample all possible Lissajous knots with a given set of frequencies. In particular, we systematically tabulate all Lissajous knots with small frequencies and as a result substantially enlarge the tables of known Lissajous knots. A Fourier (i, j, k) knot is similar to a Lissajous knot except that each coordinate is now described by a finite sum of i, j, and k cosine functions respectively. According to Lamm, every knot is a Fourier-(1,1,k) knot for some k. By randomly searching the set of Fourier-(1,1,2) knots we find that all 2-bridge knots up to 14 crossings are either Lissajous or Fourier-(1,1,2) knots. We show that all twist knots are Fourier-(1,1,2) knots and give evidence suggesting that all torus knots are Fourier-(1,1,2) knots. As a result of our computer search, several knots with relatively small crossing numbers are identified as potential counterexamples to interesting conjectures. △ Less

Submitted 28 July, 2007; originally announced July 2007.

Comments: 34 pages, 5 figures, 18 tables

MSC Class: 57M25