Regularity of squarefree monomial ideals

We survey a number of recent studies of the Castelnuovo-Mumford regularity of squarefree monomial ideals. Our focus is on bounds and exact values for the regularity in terms of combinatorial data from associated simplicial complexes and/or hypergraphs.Comment: 23 pages; survey paper; minor changes in V.

Three flavors of extremal Betti tables

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.Comment: 20 page

Shapes of free resolutions over a local ring

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.Comment: 14 pages, 1 figure; v2: sections have been reorganized substantially and exposition has been streamline

Lifting Grobner bases from the exterior algebra

In the article "Non-commutative Grobner bases for commutative algebras", Eisenbud-Peeva-Sturmfels proved a number of results regarding Grobner bases and initial ideals of those ideals in the free associative algebra which contain the commutator ideal. We prove similar results for ideals which contains the anti-commutator ideal (the defining ideal of the exterior algebra). We define one notion of generic initial ideals in the free assoicative algebra, and show that gin's of ideals containing the commutator ideal, or the anti-commutator ideal, are finitely generated.Comment: 6 pages, LaTeX2

Solving rank-constrained semidefinite programs in exact arithmetic

We consider the problem of minimizing a linear function over an affine section of the cone of positive semidefinite matrices, with the additional constraint that the feasible matrix has prescribed rank. When the rank constraint is active, this is a non-convex optimization problem, otherwise it is a semidefinite program. Both find numerous applications especially in systems control theory and combinatorial optimization, but even in more general contexts such as polynomial optimization or real algebra. While numerical algorithms exist for solving this problem, such as interior-point or Newton-like algorithms, in this paper we propose an approach based on symbolic computation. We design an exact algorithm for solving rank-constrained semidefinite programs, whose complexity is essentially quadratic on natural degree bounds associated to the given optimization problem: for subfamilies of the problem where the size of the feasible matrix is fixed, the complexity is polynomial in the number of variables. The algorithm works under assumptions on the input data: we prove that these assumptions are generically satisfied. We also implement it in Maple and discuss practical experiments.Comment: Published at ISSAC 2016. Extended version submitted to the Journal of Symbolic Computatio

Syzygies of torsion bundles and the geometry of the level l modular variety over M_g

We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove that R_{g,3} is a variety of general type when g>11 and the Kodaira dimension of R_{11,3} is greater than or equal to 19. In the last section we explain probabilistically the unexpected failure of the Prym-Green conjecture in genus 8 and level 2.Comment: 35 pages, appeared in Invent Math. We correct an inaccuracy in the statement of Prop 2.

Remarks on endomorphisms and rational points

Let X be a variety over a number field and let f: X --> X be an "interesting" rational self-map with a fixed point q. We make some general remarks concerning the possibility of using the behaviour of f near q to produce many rational points on X. As an application, we give a simplified proof of the potential density of rational points on the variety of lines of a cubic fourfold (originally obtained by Claire Voisin and the first author in 2007).Comment: LaTeX, 22 pages. v2: some minor observations added, misprints corrected, appendix modified

Non-Gorenstein isolated singularities of graded countable Cohen-Macaulay type

In this paper we show a partial answer the a question of C. Huneke and G. Leuschke (2003): Let R be a standard graded Cohen-Macaulay ring of graded countable Cohen-Macaulay representation type, and assume that R has an isolated singularity. Is R then necessarily of graded finite Cohen-Macaulay representation type? In particular, this question has an affirmative answer for standard graded non-Gorenstein rings as well as for standard graded Gorenstein rings of minimal multiplicity. Along the way, we obtain a partial classification of graded Cohen-Macaulay rings of graded countable Cohen-Macaulay type.Comment: 15 Page

An inclusion result for dagger closure in certain section rings of abelian varieties

We prove an inclusion result for graded dagger closure for primary ideals in symmetric section rings of abelian varieties over an algebraically closed field of arbitrary characteristic.Comment: 11 pages, v2: updated one reference, fixed 2 typos; final versio