Searcharxiv⌕ Search

arXiv subjects

Daniel Erman

Publications and source records attributed to Daniel Erman.

At least 37 records · Page 2Linked to original sources
arXiv2020

Strength and Hartshorne's Conjecture in high degree

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.

math.AG↗
arXiv2020

Small projective spaces and Stillman uniformity for sheaves

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.

math.AC↗
arXiv2020

Interpolation over ZZ and torsion in class groups

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.

math.AC↗
arXiv2020

An equivariant Hilbert basis theorem

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.

math.AG↗
arXiv2019

Virtual Resolutions for a Product of Projective Spaces

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.

math.AC↗
arXiv2019

Random Flag Complexes and Asymptotic Syzygies

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.

math.AC↗
arXiv2018

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

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.

math.AC↗
arXiv2018

Generalizations of Stillman's conjecture via twisted commutative algebras

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.

math.AC↗
arXiv2017

Conjectures and computations about Veronese syzygies

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$.

math.AC↗
arXiv2017

A probabilistic approach to systems of parameters and Noether normalization

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.

math.AC↗
arXiv2016

Supernatural analogues of Beilinson monads

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.

math.AG↗
arXiv2016

A quick proof of nonvanishing for asymptotic syzygies

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.

math.AG↗
arXiv2016

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

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.

math.AG↗
arXiv2016

Questions about 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.

math.AC↗
arXiv2015

Divergent Series and Serre's intersection formula for graded rings

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.

math.AC↗
arXiv2015

Furstenberg sets and Furstenberg schemes over finite fields

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.

math.AG↗
arXiv2014

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

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$.

math.NT↗