715 research outputs found
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
- …