Showing 1–50 of 51 results for author: Erman, D

About how large are algebraic Betti numbers?

Authors: Daniel Erman

Abstract: We use Boij-Söderberg theory to provide some order of magnitude bounds on algebraic Betti numbers. We use Boij-Söderberg theory to provide some order of magnitude bounds on algebraic Betti numbers. △ Less

Submitted 9 June, 2025; originally announced June 2025.

Comments: 12 pages

MSC Class: 13D02

King's Conjecture and Birational Geometry

Authors: Matthew R. Ballard, Christine Berkesch, Michael K. Brown, Lauren Cranton Heller, Daniel Erman, David Favero, Sheel Ganatra, Andrew Hanlon, Jesse Huang

Abstract: We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resol… ▽ More We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resolutions, monads, Frobenius generation, and window categories. △ Less

Submitted 30 December, 2024; originally announced January 2025.

Comments: 54 pages, 7 figures

MSC Class: 14M25; 14F08; 13D02; 14J33; 16E35

A transfer principle for unirationality

Authors: Daniel Erman, Eric Riedl

Abstract: We apply ideas related to the strength of polynomials to provide new cases of unirational hypersurfaces. It is famously known that hypersurfaces that are smooth in very high codimension are unirational, and a simple corollary then implies that any polynomial of sufficiently high strength will give rise to a unirational hypersurface. Our main result shows that unirationality is preserved under a su… ▽ More We apply ideas related to the strength of polynomials to provide new cases of unirational hypersurfaces. It is famously known that hypersurfaces that are smooth in very high codimension are unirational, and a simple corollary then implies that any polynomial of sufficiently high strength will give rise to a unirational hypersurface. Our main result shows that unirationality is preserved under a substitution of high collective strength. In particular, we prove that polynomials of sufficiently high secondary strength are unirational. Along the way, we introduce a ``transfer principle,'' showing that polynomials of high collective strength have Fano schemes defined by polynomials of high collective strength. This gives an alternate proof of a result of Xi Chen on unirationality of Fano schemes, and proves a weakened form of the de Jong-Debarre Conjecture. Combined with some ideas of Starr, this implies a version of Kazhdan and Ziegler's result about the universality of complete intersections of polynomials. △ Less

Submitted 25 October, 2024; originally announced October 2024.

Comments: 14 pages

MSC Class: 14M20; 14M10; 14E08; 13F20

A short proof of the Hanlon-Hicks-Lazarev Theorem

Authors: Michael K. Brown, Daniel Erman

Abstract: We give a short, new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case. We give a short, new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case. △ Less

Submitted 30 April, 2024; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: 6 pages. To appear in Forum of Mathematics, Sigma

MSC Class: 13D02; 14F08; 14M25

Journal ref: Forum of Mathematics, Sigma 12 (2024) e56

Positivity and nonstandard graded Betti numbers

Authors: Michael K. Brown, Daniel Erman

Abstract: A foundational principle in the study of modules over standard graded polynomial rings is that geometric positivity conditions imply vanishing of Betti numbers. The main goal of this paper is to determine the extent to which this principle extends to the nonstandard graded case. In this setting, the classical arguments break down, and the results become much more nuanced. We introduce a new notion… ▽ More A foundational principle in the study of modules over standard graded polynomial rings is that geometric positivity conditions imply vanishing of Betti numbers. The main goal of this paper is to determine the extent to which this principle extends to the nonstandard graded case. In this setting, the classical arguments break down, and the results become much more nuanced. We introduce a new notion of Castelnuovo-Mumford regularity and employ exterior algebra techniques to control the shapes of nonstandard graded minimal free resolutions. Our main result reveals a unique feature in the nonstandard graded case: the possible degrees of the syzygies of a graded module in this setting are controlled not only by its regularity, but also by its depth. As an application of our main result, we show that, given a simplicial projective toric variety and a module M over its coordinate ring, the multigraded Betti numbers of M are contained in a particular polytope when M satisfies an appropriate positivity condition. △ Less

Submitted 9 October, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 12 pages. To appear in the Bulletin of the London Mathematical Society

MSC Class: 13D02; 14M25; 13D45

Linear syzygies of curves in weighted projective space

Authors: Michael K. Brown, Daniel Erman

Abstract: We develop analogues of Green's $N_p$-conditions for subvarieties of weighted projective space, and we prove that such $N_p$-conditions are satisfied for high degree embeddings of curves in weighted projective space. A key technical result links positivity with low degree (virtual) syzygies in wide generality, including cases where normal generation fails. We develop analogues of Green's $N_p$-conditions for subvarieties of weighted projective space, and we prove that such $N_p$-conditions are satisfied for high degree embeddings of curves in weighted projective space. A key technical result links positivity with low degree (virtual) syzygies in wide generality, including cases where normal generation fails. △ Less

Submitted 22 January, 2023; originally announced January 2023.

Comments: 29 pages

MSC Class: 13D02

Linear strands of multigraded free resolutions

Authors: Michael K. Brown, Daniel Erman

Abstract: We develop a notion of linear strands for multigraded free resolutions, and we prove a multigraded generalization of Green's Linear Syzygy Theorem. We develop a notion of linear strands for multigraded free resolutions, and we prove a multigraded generalization of Green's Linear Syzygy Theorem. △ Less

Submitted 7 February, 2024; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: Minor edits. To appear in Mathematische Annalen

MSC Class: 13D02; 14M25

Matrix factorizations of generic polynomials

Authors: Daniel Erman

Abstract: We prove that the Buchweitz-Greuel-Schreyer Conjecture on the minimal rank of a matrix factorization holds for a generic polynomial of given degree and strength. The proof introduces a notion of the secondary strength of a polynomial, and uses a variant of the ultraproduct technique of Erman, Sam, and Snowden. We prove that the Buchweitz-Greuel-Schreyer Conjecture on the minimal rank of a matrix factorization holds for a generic polynomial of given degree and strength. The proof introduces a notion of the secondary strength of a polynomial, and uses a variant of the ultraproduct technique of Erman, Sam, and Snowden. △ Less

Submitted 26 September, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: References added

MSC Class: 13C14; 13L05; 14J60; 13F20

Tate resolutions on toric varieties

Authors: Michael K. Brown, Daniel Erman

Abstract: We develop an analogue of Eisenbud-Floystad-Schreyer's Tate resolutions for toric varieties. Our construction, which is given by a noncommutative analogue of a Fourier- Mukai transform, works quite generally and provides a new perspective on the relationship between Tate resolutions and Beilinson's resolution of the diagonal. We also develop a Beilinson-type resolution of the diagonal for toric va… ▽ More We develop an analogue of Eisenbud-Floystad-Schreyer's Tate resolutions for toric varieties. Our construction, which is given by a noncommutative analogue of a Fourier- Mukai transform, works quite generally and provides a new perspective on the relationship between Tate resolutions and Beilinson's resolution of the diagonal. We also develop a Beilinson-type resolution of the diagonal for toric varieties. △ Less

Submitted 1 November, 2022; v1 submitted 6 August, 2021; originally announced August 2021.

Comments: 31 pages. To appear in the Journal of the European Mathematical Society (JEMS)

MSC Class: 13D02; 14F06; 14F08; 14M25

Syzygies of $\mathbb{P}^{1}\times \mathbb{P}^{1}$: data and conjectures

Authors: Juliette Bruce, Daniel Corey, Daniel Erman, Steve Goldstein, Robert P. Laudone, Jay Yang

Abstract: We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing. We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing. △ Less

Submitted 29 April, 2021; originally announced April 2021.

MSC Class: 13D02

Minimal free resolutions of differential modules

Authors: Michael K. Brown, Daniel Erman

Abstract: We propose a notion of minimal free resolutions for differential modules, and we prove existence and uniqueness results for such resolutions. We also take the first steps toward studying the structure of minimal free resolutions of differential modules. Our main result in this direction explains a sense in which the minimal free resolution of a differential module is a deformation of the minimal f… ▽ More We propose a notion of minimal free resolutions for differential modules, and we prove existence and uniqueness results for such resolutions. We also take the first steps toward studying the structure of minimal free resolutions of differential modules. Our main result in this direction explains a sense in which the minimal free resolution of a differential module is a deformation of the minimal free resolution of its homology; this leads to structural results that mirror classical theorems about minimal free resolutions of modules. △ Less

Submitted 4 June, 2022; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 19 pages. To appear in Transactions of the AMS

MSC Class: 13D02

Characteristic dependence of syzygies of random monomial ideals

Authors: Caitlyn Booms, Daniel Erman, Jay Yang

Abstract: When do syzygies depend on the characteristic of the field? Even for well-studied families of examples, very little is known. For a family of random monomial ideals, namely the Stanley--Reisner ideals of random flag complexes, we prove that the Betti numbers asymptotically almost always depend on the characteristic. Using this result, we also develop a heuristic for characteristic dependence of as… ▽ More When do syzygies depend on the characteristic of the field? Even for well-studied families of examples, very little is known. For a family of random monomial ideals, namely the Stanley--Reisner ideals of random flag complexes, we prove that the Betti numbers asymptotically almost always depend on the characteristic. Using this result, we also develop a heuristic for characteristic dependence of asymptotic syzygies of algebraic varieties. △ Less

Submitted 6 January, 2021; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: We have reworked the title, abstract, and introduction to reflect the paper's primary focus on homological behavior of random flag complexes. Further, Section 1.1 was added, which tries to more clearly explain how questions about asymptotic syzygies provided motivation for this work and how we see our new results as providing motivation for new conjectures about syzygies in geometric settings

Small projective spaces and Stillman uniformity for sheaves

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: We prove an analogue of Ananyan--Hochster's small subalgebra theorem in the context of sheaves on projective space, and deduce from this a version of Stillman's Conjecture for cohomology tables of sheaves. The main tools in the proof are Draisma's GL-noetherianity theorem and the BGG correspondence. We prove an analogue of Ananyan--Hochster's small subalgebra theorem in the context of sheaves on projective space, and deduce from this a version of Stillman's Conjecture for cohomology tables of sheaves. The main tools in the proof are Draisma's GL-noetherianity theorem and the BGG correspondence. △ Less

Submitted 11 November, 2020; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: 15 pages

MSC Class: 14F05; 13D02

Journal ref: Algebr. Geom. 8 (2021), no. 3, 374-388

The Schur-Veronese package in Macaulay2

Authors: Juliette Bruce, Daniel Erman, Steve Goldstein, Jay Yang

Abstract: This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the Schur decompositions of the various spaces of syzygies. The package also includes a number of functions useful for manipulating and studying this data. This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the Schur decompositions of the various spaces of syzygies. The package also includes a number of functions useful for manipulating and studying this data. △ Less

Submitted 5 May, 2021; v1 submitted 29 May, 2019; originally announced May 2019.

Comments: Minor revisions

Journal ref: J. Softw. Alg. Geom. 11 (2021) 83-87

Interpolation over ZZ and torsion in class groups

Authors: John Berman, Daniel Erman

Abstract: We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of integers are torsion. In this short note, we provide an independent proof using elementary techniques. We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of integers are torsion. In this short note, we provide an independent proof using elementary techniques. △ Less

Submitted 22 September, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 6 pages. In the previous version, the proof of Theorem 0.4 suffered from a significant error. We thank Aurel Page for pointing this out to us

MSC Class: 13A02; 11R29

Tate Resolutions on Products of Projective Spaces: Cohomology and Direct Image Complexes

Authors: Daniel Erman, David Eisenbud, Frank-Olaf Schreyer

Abstract: We describe the Macaulay2 package TateOnProducts and its capabilities, which include computing cohomology tables and Beilinson monads of sheaves on products of projective spaces and the derived category pushForward of a sheaf under a morphism from a projective scheme to a projective space. We describe the Macaulay2 package TateOnProducts and its capabilities, which include computing cohomology tables and Beilinson monads of sheaves on products of projective spaces and the derived category pushForward of a sheaf under a morphism from a projective scheme to a projective space. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: 12 pages

MSC Class: 14F05; 13D02; 14Q99

Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: Hilbert famously showed that polynomials in n variables are not too complicated, in various senses. For example, the Hilbert Syzygy Theorem shows that the process of resolving a module by free modules terminates in finitely many (in fact, at most n) steps, while the Hilbert Basis Theorem shows that the process of finding generators for an ideal also terminates in finitely many steps. These results… ▽ More Hilbert famously showed that polynomials in n variables are not too complicated, in various senses. For example, the Hilbert Syzygy Theorem shows that the process of resolving a module by free modules terminates in finitely many (in fact, at most n) steps, while the Hilbert Basis Theorem shows that the process of finding generators for an ideal also terminates in finitely many steps. These results laid the foundations for the modern algebraic study of polynomials. Hilbert's results are not uniform in n: unsurprisingly, polynomials in n variables will exhibit greater complexity as n increases. However, an array of recent work has shown that in a certain regime---namely, that where the number of polynomials and their degrees are fixed---the complexity of polynomials (in various senses) remains bounded even as the number of variables goes to infinity. We refer to this as Stillman uniformity, since Stillman's Conjecture provided the motivating example. The purpose of this paper is to give an exposition of Stillman uniformity, including: the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture, the followup results that clarified and expanded on those ideas, and the implications for understanding polynomials in many variables. △ Less

Submitted 25 September, 2018; originally announced September 2018.

Comments: This expository paper was written in conjunction with Craig Huneke's talk on Stillman's Conjecture at the 2018 JMM Current Events Bulletin

MSC Class: 13A02; 13D02

Journal ref: Bull. Amer. Math. Soc. (N.S.) 56 (2019), no. 1, 87-114

Big polynomial rings with imperfect coefficient fields

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: We previously showed that the inverse limit of standard-graded polynomial rings with perfect coefficient field is a polynomial ring, in an uncountable number of variables. In this paper, we show that the same result holds with arbitrary coefficient field. We also prove an analogous result for ultraproducts of polynomial rings. We previously showed that the inverse limit of standard-graded polynomial rings with perfect coefficient field is a polynomial ring, in an uncountable number of variables. In this paper, we show that the same result holds with arbitrary coefficient field. We also prove an analogous result for ultraproducts of polynomial rings. △ Less

Submitted 22 June, 2021; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: 20 pages

MSC Class: 13A02; 13D02

Journal ref: Michigan Math. J. 70 (2021), 649-672

Generalizations of Stillman's conjecture via twisted commutative algebras

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: Combining recent results on noetherianity of twisted commutative algebras by Draisma and the resolution of Stillman's conjecture by Ananyan-Hochster, we prove a broad generalization of Stillman's conjecture. Our theorem yields an array of boundedness results in commutative algebra that only depend on the degrees of the generators of an ideal, and not the number of variables in the ambient polynomi… ▽ More Combining recent results on noetherianity of twisted commutative algebras by Draisma and the resolution of Stillman's conjecture by Ananyan-Hochster, we prove a broad generalization of Stillman's conjecture. Our theorem yields an array of boundedness results in commutative algebra that only depend on the degrees of the generators of an ideal, and not the number of variables in the ambient polynomial ring. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 16 pages

MSC Class: 13D02; 14F05; 14L30

Journal ref: Int. Math. Res. Not. IMRN (2021), no. 16, 12281-12304

Strength and Hartshorne's Conjecture in high degree

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: Hartshorne conjectured that a smooth, codimension c subvariety of n-dimensional projective space must be a complete intersection, whenever c is less than n/3. We prove this in the special case when n is much larger than the degree of the subvariety. Similar results were known in characteristic zero due to Hartshorne, Barth-Van de Ven, and others. Our proof is field independent and employs quite di… ▽ More Hartshorne conjectured that a smooth, codimension c subvariety of n-dimensional projective space must be a complete intersection, whenever c is less than n/3. We prove this in the special case when n is much larger than the degree of the subvariety. Similar results were known in characteristic zero due to Hartshorne, Barth-Van de Ven, and others. Our proof is field independent and employs quite different methods from those previous results, as we connect Hartshorne's Conjecture with the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture. △ Less

Submitted 11 November, 2020; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: 5 pages

MSC Class: 14M10; 13C40; 13L05

Journal ref: Math. Z. 297 (2021), 1467-1471

Big polynomial rings and Stillman's conjecture

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: The purpose of this paper is to prove that certain limits of polynomial rings are themselves polynomial rings, and show how this observation can be used to deduce some interesting results in commutative algebra. In particular, we give two new proofs of Stillman's conjecture. The first is similar to that of Ananyan-Hochster, though more streamlined; in particular, it establishes the existence of sm… ▽ More The purpose of this paper is to prove that certain limits of polynomial rings are themselves polynomial rings, and show how this observation can be used to deduce some interesting results in commutative algebra. In particular, we give two new proofs of Stillman's conjecture. The first is similar to that of Ananyan-Hochster, though more streamlined; in particular, it establishes the existence of small subalgebras. The second proof is completely different, and relies on a recent noetherianity result of Draisma. △ Less

Submitted 12 August, 2022; v1 submitted 30 January, 2018; originally announced January 2018.

Comments: 21 pages. v4: removes all hypotheses that we are working over an infinite ground field. v5: Fixes a gap in the proof of Lemma 5.11

MSC Class: 13A02; 13D02

Journal ref: Invent. Math. 218 (2019), no. 2, 413-439

An equivariant Hilbert basis theorem

Authors: Daniel Erman, Steven V Sam, Andrew Snowden

Abstract: We prove a version of the Hilbert basis theorem in the setting of equivariant algebraic geometry: given a group G acting on a finite type morphism of schemes X -> S, if S is topologically G-noetherian, then so is X. We prove a version of the Hilbert basis theorem in the setting of equivariant algebraic geometry: given a group G acting on a finite type morphism of schemes X -> S, if S is topologically G-noetherian, then so is X. △ Less

Submitted 8 April, 2020; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 7 pages

MSC Class: 14L30

Journal ref: Math. Res. Lett. 27 (2020), no. 1, 67-77

Conjectures and computations about Veronese syzygies

Authors: Juliette Bruce, Daniel Erman, Steve Goldstein, Jay Yang

Abstract: We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for $\mathbb{P}^2$. We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for $\mathbb{P}^2$. △ Less

Submitted 9 November, 2017; originally announced November 2017.

Comments: 25 pages

Random Flag Complexes and Asymptotic Syzygies

Authors: Daniel Erman, Jay Yang

Abstract: We use the probabilistic method to construct examples of conjectured phenomenon about asymptotic syzygies. In particular, we use the Stanley-Reisner ideals of random flag complexes to construct new examples of Ein and Lazarsfeld's nonvanishing for asymptotic syzygies and of Ein, Erman, and Lazarsfeld's conjectural on the asymptotic normal distribution of Betti numbers. We use the probabilistic method to construct examples of conjectured phenomenon about asymptotic syzygies. In particular, we use the Stanley-Reisner ideals of random flag complexes to construct new examples of Ein and Lazarsfeld's nonvanishing for asymptotic syzygies and of Ein, Erman, and Lazarsfeld's conjectural on the asymptotic normal distribution of Betti numbers. △ Less

Submitted 16 March, 2019; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: 15 pages

MSC Class: 13D02; 13F55; 14J40; 05C80

Journal ref: Alg. Number Th. 12 (2018) 2151-2166

Virtual Resolutions for a Product of Projective Spaces

Authors: Christine Berkesch, Daniel Erman, Gregory G. Smith

Abstract: Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox ring are too long and contain many geometrically superfluous summands. In this paper, we construct some much shorter free complexes that better encode the geome… ▽ More Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox ring are too long and contain many geometrically superfluous summands. In this paper, we construct some much shorter free complexes that better encode the geometry. △ Less

Submitted 5 December, 2019; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: 22 pages, 1 figure

Journal ref: Algebraic Geometry, 7 (2020) no. 4, 460-481

Questions about Boij-Söderberg theory

Authors: Daniel Erman, Steven V Sam

Abstract: Boij-Söderberg theory focuses on the properties and duality relationship between two types of numerical invariants. One side involves the Betti table of a graded free resolution over the polynomial ring. The other side involves the cohomology table of a coherent sheaf on projective space. We discuss open questions and problems in Boij-Söderberg theory. Boij-Söderberg theory focuses on the properties and duality relationship between two types of numerical invariants. One side involves the Betti table of a graded free resolution over the polynomial ring. The other side involves the cohomology table of a coherent sheaf on projective space. We discuss open questions and problems in Boij-Söderberg theory. △ Less

Submitted 6 June, 2016; originally announced June 2016.

Comments: 18 pages

MSC Class: 13D02

Journal ref: Surveys on recent developments in algebraic geometry, 285-304, Proc. Sympos. Pure Math. 95, Amer. Math. Soc., Providence, RI, 2017

A probabilistic approach to systems of parameters and Noether normalization

Authors: Juliette Bruce, Daniel Erman

Abstract: We study systems of parameters over finite fields from a probabilistic perspective, and use this to give the first effective Noether normalization result over a finite field. Our central technique is an adaptation of Poonen's closed point sieve, where we sieve over higher dimensional subvarieties, and we express the desired probabilities via a zeta function-like power series that enumerates higher… ▽ More We study systems of parameters over finite fields from a probabilistic perspective, and use this to give the first effective Noether normalization result over a finite field. Our central technique is an adaptation of Poonen's closed point sieve, where we sieve over higher dimensional subvarieties, and we express the desired probabilities via a zeta function-like power series that enumerates higher dimensional varieties instead of closed points. This also yields a new proof of a recent result of Gabber-Liu-Lorenzini and Chinburg-Moret-Bailly-Pappas-Taylor on Noether normalizations of projective families over the integers. △ Less

Submitted 21 September, 2017; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 20 pages. Minor revisions to exposition

MSC Class: 13B02; 14D10; 14G10; 14G15; 11G25

Journal ref: Alg. Number Th. 13 (2019) 2081-2102

Divergent Series and Serre's intersection formula for graded rings

Authors: Daniel Erman

Abstract: On a smooth variety, Serre's intersection formula computes intersection multiplicities via an alternating sum of the lengths of Tor groups. When the variety is singular, the corresponding sum can be a divergent series. But there are alternate geometric approaches for assigning (often fractional) intersection multiplicities in some singular settings. Our motivating question comes from Fulton, who a… ▽ More On a smooth variety, Serre's intersection formula computes intersection multiplicities via an alternating sum of the lengths of Tor groups. When the variety is singular, the corresponding sum can be a divergent series. But there are alternate geometric approaches for assigning (often fractional) intersection multiplicities in some singular settings. Our motivating question comes from Fulton, who asks whether an analytic continuation of the divergent series from Serre's formula can be related to these fractional multiplicities. By applying work of Avramov and Buchweitz, we positively answer Fulton's question in the context of graded rings. △ Less

Submitted 31 July, 2015; originally announced July 2015.

Comments: 8 pages, 1 figure

MSC Class: 13H15; 14C17; 13D40

Supernatural analogues of Beilinson monads

Authors: Daniel Erman, Steven V Sam

Abstract: We use supernatural bundles to build GL-equivariant resolutions supported on the diagonal of P^n x P^n, in a way that extends Beilinson's resolution of the diagonal. We thus obtain results about supernatural bundles that largely parallel known results about exceptional collections. We apply this construction to Boij-Söderberg decompositions of cohomology tables of vector bundles, yielding a proof… ▽ More We use supernatural bundles to build GL-equivariant resolutions supported on the diagonal of P^n x P^n, in a way that extends Beilinson's resolution of the diagonal. We thus obtain results about supernatural bundles that largely parallel known results about exceptional collections. We apply this construction to Boij-Söderberg decompositions of cohomology tables of vector bundles, yielding a proof of concept for the idea that those positive rational decompositions should admit meaningful categorifications. △ Less

Submitted 14 November, 2016; v1 submitted 24 June, 2015; originally announced June 2015.

Comments: 17 pages; v2: added Prop. 4.4, expanded some proofs and corrected some typos

MSC Class: 14F05; 13D02

Journal ref: Compositio Math. 152 (2016) 2545-2562

Furstenberg sets and Furstenberg schemes over finite fields

Authors: Jordan S. Ellenberg, Daniel Erman

Abstract: We give a lower bound for the size of a subset of $\mathbb F_q^n$ containing a rich k-plane in every direction, a k-plane Furstenberg set. The chief novelty of our method is that we use arguments on non-reduced subschemes and flat families to derive combinatorial facts about incidences between points and k-planes in space. We give a lower bound for the size of a subset of $\mathbb F_q^n$ containing a rich k-plane in every direction, a k-plane Furstenberg set. The chief novelty of our method is that we use arguments on non-reduced subschemes and flat families to derive combinatorial facts about incidences between points and k-planes in space. △ Less

Submitted 12 February, 2015; originally announced February 2015.

Comments: 16 pages

MSC Class: 14G15; 13P10; 42B25; 51E20

Journal ref: Algebra Number Theory 10 (2016) 1415-1436

A quick proof of nonvanishing for asymptotic syzygies

Authors: Lawrence Ein, Daniel Erman, Robert Lazarsfeld

Abstract: We give a quick new approach to the main cases of the nonvanishing theorems of first and third authors concerning the asymptotic behavior of the syzygies of a projective variety as the positivity of the embedding line bundle grows. Specifically, we present a surprisingly elementary and concrete proof of the asymptotic nonvanishing of Veronese syzygies, and we obtain effective results for arithmeti… ▽ More We give a quick new approach to the main cases of the nonvanishing theorems of first and third authors concerning the asymptotic behavior of the syzygies of a projective variety as the positivity of the embedding line bundle grows. Specifically, we present a surprisingly elementary and concrete proof of the asymptotic nonvanishing of Veronese syzygies, and we obtain effective results for arithmetically Cohen-Macaulay varieties. The idea is that one can reduce the statements to some simple computations with monomials. △ Less

Submitted 11 September, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: Typos corrected. Section numbering changed to conform to published version

MSC Class: 14J40; 13D02

Journal ref: Algebraic Geometry 3 (2016), 211-222

Tate Resolutions for Products of Projective Spaces

Authors: David Eisenbud, Daniel Erman, Frank-Olaf Schreyer

Abstract: We describe the Tate resolution of a coherent sheaf or complex of coherent sheaves on a product of projective spaces. Such a resolution makes explicit all the cohomology of all twists of the sheaf, including, for example, the multigraded module of twisted global sections, and also the Beilinson monads of all twists. Although the Tate resolution is highly infinite, any finite number of components c… ▽ More We describe the Tate resolution of a coherent sheaf or complex of coherent sheaves on a product of projective spaces. Such a resolution makes explicit all the cohomology of all twists of the sheaf, including, for example, the multigraded module of twisted global sections, and also the Beilinson monads of all twists. Although the Tate resolution is highly infinite, any finite number of components can be computed efficiently, starting either from a Beilinson monad or from a multigraded module. △ Less

Submitted 20 November, 2014; originally announced November 2014.

MSC Class: 14Q99; 14F05; 13D02

Journal ref: Acta Math Vietnam (2015) 40: 5

A heuristic for the distribution of point counts for random curves over a finite field

Authors: Jeffrey D. Achter, Daniel Erman, Kiran S. Kedlaya, Melanie Matchett Wood, David Zureick-Brown

Abstract: How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ te… ▽ More How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ tend to infinity, with $q$ much larger than $g$. △ Less

Submitted 21 November, 2014; v1 submitted 27 October, 2014; originally announced October 2014.

Comments: 16 pages; v2: refereed version, Philosophical Transactions of the Royal Society A 2015

Report number: AIM 2014-83

The Betti table of a high degree curve is asymptotically pure

Authors: Daniel Erman

Abstract: We prove that asymptotically in the degree, the main term of the Boij--Söderberg decomposition of a high degree curve is a single pure diagram that only depends on the genus of the curve. This answers a question of Ein and Lazarsfeld in the case of curves. We prove that asymptotically in the degree, the main term of the Boij--Söderberg decomposition of a high degree curve is a single pure diagram that only depends on the genus of the curve. This answers a question of Ein and Lazarsfeld in the case of curves. △ Less

Submitted 8 January, 2014; v1 submitted 21 August, 2013; originally announced August 2013.

Comments: 6 pages. Dedicated to Rob Lazarsfeld on the occasion of his sixtieth birthday. This version corrects a typo and adds a few clarifying details in the proof of Theorem 2.3

MSC Class: 14F05; 13D02

Semiample Bertini theorems over finite fields

Authors: Daniel Erman, Melanie Matchett Wood

Abstract: We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local probabilities taken over the fibers of the morphism determined by the relevant divisor. We give several applications including a negative answer to a question of Baker and… ▽ More We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local probabilities taken over the fibers of the morphism determined by the relevant divisor. We give several applications including a negative answer to a question of Baker and Poonen by constructing a variety (in fact one of each dimension) which provides a counterexample to Bertini over finite fields in arbitrarily large projective spaces. As another application, we determine the probability of smoothness for curves in Hirzebruch surfaces, and the distribution of points on those smooth curves. △ Less

Submitted 24 September, 2012; originally announced September 2012.

Report number: AIM 2012-57 MSC Class: 14J70; 14C20; 14G15; 11G20; 11G25

Journal ref: Duke Math. J. 164, no. 1 (2015), 1-38

Three flavors of extremal Betti tables

Authors: Christine Berkesch, Daniel Erman, Manoj Kummini

Abstract: We discuss extremal Betti tables of resolutions in three different contexts. We begin over the graded polynomial ring, where extremal Betti tables correspond to pure resolutions. We then contrast this behavior with that of extremal Betti tables over regular local rings and over a bigraded ring. We discuss extremal Betti tables of resolutions in three different contexts. We begin over the graded polynomial ring, where extremal Betti tables correspond to pure resolutions. We then contrast this behavior with that of extremal Betti tables over regular local rings and over a bigraded ring. △ Less

Submitted 24 July, 2012; originally announced July 2012.

Comments: 20 pages

MSC Class: 13D02; 13C05; 14F05

Journal ref: In: Peeva I. (eds) Commutative Algebra. Springer, New York, NY, p. 99--121, 2013

Asymptotics of random Betti tables

Authors: Lawrence Ein, Daniel Erman, Robert Lazarsfeld

Abstract: The purpose of this paper is twofold. First, we present a conjecture to the effect that the ranks of the syzygy modules of a smooth projective variety become normally distributed as the positivity of the embedding line bundle grows. Then, in an attempt to render the conjecture plausible, we prove a result suggesting that this is in any event the typical behavior from a probabilistic point of view.… ▽ More The purpose of this paper is twofold. First, we present a conjecture to the effect that the ranks of the syzygy modules of a smooth projective variety become normally distributed as the positivity of the embedding line bundle grows. Then, in an attempt to render the conjecture plausible, we prove a result suggesting that this is in any event the typical behavior from a probabilistic point of view. Specifically, we consider a "random" Betti table with a fixed number of rows, sampled according to a uniform choice of Boij-Soderberg coefficients. We compute the asymptotics of the entries as the length of the table goes to infinity, and show that they become normally distributed with high probability. △ Less

Submitted 23 July, 2012; originally announced July 2012.

Journal ref: Journal fur die reine und angewandte Mathematik (Crelles Journal), Volume 2015, Issue 702, Pages 55--75

Murphy's Law for Hilbert function strata in the Hilbert scheme of points

Authors: Daniel Erman

Abstract: An open question is whether the Hilbert scheme of points of a high dimensional affine space satisfies Murphy's Law, as formulated by Vakil. In this short note, we instead consider the loci in the Hilbert scheme parametrizing punctual schemes with a given Hilbert function, and we show that these loci satisfy Murphy's Law. We also prove a related result for equivariant deformations of curve singular… ▽ More An open question is whether the Hilbert scheme of points of a high dimensional affine space satisfies Murphy's Law, as formulated by Vakil. In this short note, we instead consider the loci in the Hilbert scheme parametrizing punctual schemes with a given Hilbert function, and we show that these loci satisfy Murphy's Law. We also prove a related result for equivariant deformations of curve singularities with $\mathbb G_m$-action. △ Less

Submitted 2 May, 2012; originally announced May 2012.

Comments: 5 pages

MSC Class: 14B12; 14C05; 14B07; 14H20;

Journal ref: Mathematical Research Letters 19(6), May 2012, 1277--1281

Categorified duality in Boij-Söderberg Theory and invariants of free complexes

Authors: David Eisenbud, Daniel Erman

Abstract: We present a robust categorical foundation for the duality theory introduced by Eisenbud and Schreyer to prove the Boij-Söderberg conjectures describing numerical invariants of syzygies. The new foundation allows us to extend the reach of the theory substantially. More explicitly, we construct a pairing between derived categories that simultaneously categorifies all the functionals used by Eisen… ▽ More We present a robust categorical foundation for the duality theory introduced by Eisenbud and Schreyer to prove the Boij-Söderberg conjectures describing numerical invariants of syzygies. The new foundation allows us to extend the reach of the theory substantially. More explicitly, we construct a pairing between derived categories that simultaneously categorifies all the functionals used by Eisenbud and Schreyer. With this new tool, we describe the cone of Betti tables of finite, minimal free complexes having homology modules of specified dimensions over a polynomial ring, and we treat many examples beyond polynomial rings. We also construct an analogue of our pairing between derived categories on a toric variety, yielding toric/multigraded analogues of the Eisenbud-Schreyer functionals. △ Less

Submitted 13 October, 2014; v1 submitted 2 May, 2012; originally announced May 2012.

Comments: 33 pages

MSC Class: 13D02; 14F05; 13D09

Journal ref: J. Eur. Math. Soc. 19 (2017), 2657-2695

Gauss Composition for P^1, and the universal Jacobian of the Hurwitz space of double covers

Authors: Daniel Erman, Melanie Matchett Wood

Abstract: We investigate the universal Jacobian of degree n line bundles over the Hurwitz stack of double covers of P^1 by a curve of genus g. Our main results are: the construction of a smooth, irreducible, universally closed (but not separated) moduli compactification of this universal Jacobian; a description of the global geometry and moduli properties of these stacks; and a computation of the Picard gro… ▽ More We investigate the universal Jacobian of degree n line bundles over the Hurwitz stack of double covers of P^1 by a curve of genus g. Our main results are: the construction of a smooth, irreducible, universally closed (but not separated) moduli compactification of this universal Jacobian; a description of the global geometry and moduli properties of these stacks; and a computation of the Picard groups of these stacks in the cases when n-g is even. An important ingredient of our work is the parametrization of line bundles on double covers by binary quadratic forms. This parametrization generalizes the classical number theoretic correspondence between ideal classes of quadratic rings and integral binary quadratic forms, which in particular gives the group law on integral binary quadratic forms first discovered by Gauss. △ Less

Submitted 17 July, 2016; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: mathematical and expositional updates and improvements, 29 pages, 5 figures

Report number: AIM 2011-25 MSC Class: 14D23; 14H10; 14H40; 11E16

Journal ref: Journal of Algebra, 470, 2017, 320-352

The cone of Betti diagrams over a hypersurface ring of low embedding dimension

Authors: Christine Berkesch, Jesse Burke, Daniel Erman, Courtney Gibbons

Abstract: We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including diagrams of infinite projective dimension, into pure diagrams. Boij--Soederberg theory completely describes the cone of Betti diagrams over a standard graded polyn… ▽ More We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including diagrams of infinite projective dimension, into pure diagrams. Boij--Soederberg theory completely describes the cone of Betti diagrams over a standard graded polynomial ring; our result provides the first example of another graded ring for which the cone of Betti diagrams is entirely understood. △ Less

Submitted 19 February, 2012; v1 submitted 23 September, 2011; originally announced September 2011.

Comments: Minor edits, references updated

Report number: MR2925819 MSC Class: 13D02; 05E40

Journal ref: Journal of Pure and Applied Algebra 216 (2012), no. 10, 2256--2268

Shapes of free resolutions over a local ring

Authors: Christine Berkesch, Daniel Erman, Manoj Kummini, Steven V Sam

Abstract: We classify the possible shapes of minimal free resolutions over a regular local ring. This illustrates the existence of free resolutions whose Betti numbers behave in surprisingly pathological ways. We also give an asymptotic characterization of the possible shapes of minimal free resolutions over hypersurface rings. Our key new technique uses asymptotic arguments to study formal Q-Betti sequence… ▽ More We classify the possible shapes of minimal free resolutions over a regular local ring. This illustrates the existence of free resolutions whose Betti numbers behave in surprisingly pathological ways. We also give an asymptotic characterization of the possible shapes of minimal free resolutions over hypersurface rings. Our key new technique uses asymptotic arguments to study formal Q-Betti sequences. △ Less

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

Comments: 14 pages, 1 figure; v2: sections have been reorganized substantially and exposition has been streamlined

Report number: Mittag-Leffler-2011spring MSC Class: 13D02 (Primary) 13C05; 13H05 (Secondary)

Journal ref: Math. Ann. 354 (2012), no. 3, 939-954

Tensor complexes: Multilinear free resolutions constructed from higher tensors

Authors: Christine Berkesch Zamaere, Daniel Erman, Manoj Kummini, Steven V Sam

Abstract: The most fundamental complexes of free modules over a commutative ring are the Koszul complex, which is constructed from a vector (i.e., a 1-tensor), and the Eagon-Northcott and the Buchsbaum-Rim complexes, which are constructed from a matrix (i.e., a 2-tensor). The subject of this paper is a multilinear analogue of these complexes, which we construct from an arbitrary higher tensor. Our construct… ▽ More The most fundamental complexes of free modules over a commutative ring are the Koszul complex, which is constructed from a vector (i.e., a 1-tensor), and the Eagon-Northcott and the Buchsbaum-Rim complexes, which are constructed from a matrix (i.e., a 2-tensor). The subject of this paper is a multilinear analogue of these complexes, which we construct from an arbitrary higher tensor. Our construction provides detailed new examples of minimal free resolutions, as well as a unifying view on a wide variety of complexes including: the Eagon-Northcott, Buchsbaum-Rim and similar complexes, the Eisenbud-Schreyer pure resolutions, and the complexes used by Gelfand-Kapranov-Zelevinsky and Weyman to compute hyperdeterminants. In addition, we provide applications to the study of pure resolutions and Boij-Soederberg theory, including the construction of infinitely many new families of pure resolutions and the first explicit description of the differentials of the Eisenbud-Schreyer pure resolutions. △ Less

Submitted 13 October, 2013; v1 submitted 24 January, 2011; originally announced January 2011.

Comments: 36 pages; v2: The material on hyperdeterminantal varieties is significantly clarified and strengthened; v3: Conjecture 1.10 (indecomposability) is now Proposition 1.10; v4: filled gaps in proof of Proposition 9.4; v5: corrected typos and updated first author's name

Report number: Mittag-Leffler-2011spring MSC Class: 13D02; 15A69; 14M12

Journal ref: J. Eur. Math. Soc. (JEMS) 15 (2013), no. 6, 2257-2295

Poset structures in Boij-Söderberg theory

Authors: Christine Berkesch, Daniel Erman, Manoj Kummini, Steven V Sam

Abstract: Boij-Söderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring. Each cone has a simplicial fan structure induced by a partial order on its extremal rays. We provide a new interpretation of these partial orders in terms of the existence of nonzero homomorphisms,… ▽ More Boij-Söderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring. Each cone has a simplicial fan structure induced by a partial order on its extremal rays. We provide a new interpretation of these partial orders in terms of the existence of nonzero homomorphisms, for both the general and the equivariant constructions. These results provide new insights into the families of sheaves and modules at the heart of Boij-Söderberg theory: supernatural sheaves and Cohen-Macaulay modules with pure resolutions. In addition, our results strongly suggest the naturality of these partial orders, and they provide tools for extending Boij-Söderberg theory to other graded rings and projective varieties. △ Less

Submitted 2 November, 2011; v1 submitted 13 October, 2010; originally announced October 2010.

Comments: 23 pages; v2: Added Section 8, reordered previous sections

Report number: Mittag-Leffler-2011spring MSC Class: 13D02; 14F05

Journal ref: Int. Math. Res. Not. IMRN (2012), no. 22, 5132-5160

Secant varieties of P^2 x P^n embedded by O(1,2)

Authors: Dustin Cartwright, Daniel Erman, Luke Oeding

Abstract: We describe the defining ideal of the rth secant variety of P^2 x P^n embedded by O(1,2), for arbitrary n and r at most 5. We also present the Schur module decomposition of the space of generators of each such ideal. Our main results are based on a more general construction for producing explicit matrix equations that vanish on secant varieties of products of projective spaces. This extends previo… ▽ More We describe the defining ideal of the rth secant variety of P^2 x P^n embedded by O(1,2), for arbitrary n and r at most 5. We also present the Schur module decomposition of the space of generators of each such ideal. Our main results are based on a more general construction for producing explicit matrix equations that vanish on secant varieties of products of projective spaces. This extends previous work of Strassen and Ottaviani. △ Less

Submitted 7 September, 2010; originally announced September 2010.

Comments: 21 pages

MSC Class: 14M15 (Primary) 14M12 (Secondary)

Journal ref: J. Londson Math. Soc. 85:1 (2012) 121-141

Filtering free resolutions

Authors: David Eisenbud, Daniel Erman, Frank-Olaf Schreyer

Abstract: A recent result of Eisenbud-Schreyer and Boij-Söderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resol… ▽ More A recent result of Eisenbud-Schreyer and Boij-Söderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resolutions with some plausible-looking Betti diagrams and to study the semigroup of quiver representations of the simplest "wild" quiver. △ Less

Submitted 5 March, 2014; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: We correct a mistake in the proof of Corollary 4.2 in the published version of this paper. The mistake involves an incorrect definition for when two degree sequences are "sufficiently separated". The new definition weakens Theorem 1.3 somewhat, but the examples survive. We thank Amin Nematbakhsh and to Gunnar Floystad for bringing this mistake to our attention. We also correct some minor typos

MSC Class: 13D02; 13C05; 13C14

Journal ref: Compositio Math. 149 (2013) 754-772

Laurent polynomials and Eulerian numbers

Authors: Daniel Erman, Gregory G. Smith, Anthony Várilly-Alvarado

Abstract: Duistermaat and van der Kallen show that there is no nontrivial complex Laurent polynomial all of whose powers have a zero constant term. Inspired by this, Sturmfels posed two questions: Do the constant terms of a generic Laurent polynomial form a regular sequence? If so, then what is the degree of the associated zero-dimensional ideal? In this note, we prove that the Eulerian numbers provide th… ▽ More Duistermaat and van der Kallen show that there is no nontrivial complex Laurent polynomial all of whose powers have a zero constant term. Inspired by this, Sturmfels posed two questions: Do the constant terms of a generic Laurent polynomial form a regular sequence? If so, then what is the degree of the associated zero-dimensional ideal? In this note, we prove that the Eulerian numbers provide the answer to the second question. The proof involves reinterpreting the problem in terms of toric geometry. △ Less

Submitted 24 January, 2010; v1 submitted 18 August, 2009; originally announced August 2009.

Comments: 7 pages; gave a new proof of Lemma 3; made minor corrections and improvements to exposition

MSC Class: 05A10; 14N15; 14M25

Journal ref: Journal of Combinatorial Theory, Series A 118 (2011) 396-402

A special case of the Buchsbaum-Eisenbud-Horrocks rank conjecture

Authors: Daniel Erman

Abstract: The Buchsbaum-Eisenbud-Horrocks rank conjecture proposes lower bounds for the Betti numbers of a graded module M based on the codimension of M. We prove a special case of this conjecture via Boij-Soederberg theory. More specifically, we show that the conjecture holds for graded modules where the regularity of M is small relative to the minimal degree of a first syzygy of M. Our approach also yie… ▽ More The Buchsbaum-Eisenbud-Horrocks rank conjecture proposes lower bounds for the Betti numbers of a graded module M based on the codimension of M. We prove a special case of this conjecture via Boij-Soederberg theory. More specifically, we show that the conjecture holds for graded modules where the regularity of M is small relative to the minimal degree of a first syzygy of M. Our approach also yields an asymptotic lower bound for the Betti numbers of powers of an ideal generated in a single degree. △ Less

Submitted 17 August, 2009; v1 submitted 2 February, 2009; originally announced February 2009.

Comments: 11 pages, 1 figure

MSC Class: 13D02; 13D25

Journal ref: Mathematical Research Letters, 17 (2010), 1079-1089

A syzygetic approach to the smoothability of zero-dimensional schemes

Authors: Daniel Erman, Mauricio Velasco

Abstract: We consider the question of which zero-dimensional schemes deform to a collection of distinct points; equivalently, we ask which Artinian k-algebras deform to a product of fields. We introduce a syzygetic invariant which sheds light on this question for zero-dimensional schemes of regularity two. This invariant imposes obstructions for smoothability in general, and it completely answers the ques… ▽ More We consider the question of which zero-dimensional schemes deform to a collection of distinct points; equivalently, we ask which Artinian k-algebras deform to a product of fields. We introduce a syzygetic invariant which sheds light on this question for zero-dimensional schemes of regularity two. This invariant imposes obstructions for smoothability in general, and it completely answers the question of smoothability for certain zero-dimensional schemes of low degree. The tools of this paper also lead to other results about Hilbert schemes of points, including a characterization of nonsmoothable zero-dimensional schemes of minimal degree in every embedding dimension d\geq 4. △ Less

Submitted 11 January, 2010; v1 submitted 17 December, 2008; originally announced December 2008.

Comments: 22 pages, 1 figure. Corrected typos. Included Macaulay2 code for computations cited in the paper at the end of the laTex version of the document

MSC Class: 14C05; 13D10; 13E10

Journal ref: Advances in Mathematics, 224 (2010), 1143-1166

The Semigroup of Betti Diagrams

Authors: Daniel Erman

Abstract: The recent proof of the Boij-Soederberg conjectures reveals new structure about Betti diagrams of modules, giving a complete description of the cone of Betti diagrams. We begin to expand on this new structure by investigating the semigroup of Betti diagrams. We prove that this semigroup is finitely generated, and we answer several other fundamental questions about this semigroup. The recent proof of the Boij-Soederberg conjectures reveals new structure about Betti diagrams of modules, giving a complete description of the cone of Betti diagrams. We begin to expand on this new structure by investigating the semigroup of Betti diagrams. We prove that this semigroup is finitely generated, and we answer several other fundamental questions about this semigroup. △ Less

Submitted 29 December, 2008; v1 submitted 26 June, 2008; originally announced June 2008.

Comments: 26 pages, 3 figures. Minor edits, references added

MSC Class: 13D02; 13D25

Journal ref: Algebra and Number Theory, 3 (2009), 341-365