Search

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\"oderberg decompositions of cohomology tables of vector bundles, yielding a proof of concept for the idea that those positive rational decompositions should admit meaningful categorifications., Comment: 17 pages; v2: added Prop. 4.4, expanded some proofs and corrected some typos

We describe a computational proof that the fifth secant variety of the Segre product of five copies of the projective line is a codimension 2 complete intersection of equations of degree 6 and 16. Our computations rely on pseudo-randomness, and numerical accuracy, so parts of our proof are only valid "with high probability"., Comment: 7 pages, supporting code included as ancillary files; v2: reorganized and expanded text

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that certain degree two twisted commutative algebras are noetherian. This example appears to have some fundamental differences from previous examples, and is therefore especially interesting. Reflective of this, our proof introduces new methods for establishing noetherianity that are likely to be applicable in other situations. The algebras considered in this paper are closely related to the stable representation theory of classical groups, which is one source of motivation for their study., Comment: 21 pages; v2: small corrections and added Example 1.4

We prove a conjecture of Stembridge concerning stability of Kronecker coefficients that vastly generalizes Murnaghan's theorem. The main idea is to identify the sequences of Kronecker coefficients in question with Hilbert functions of modules over finitely generated algebras. The proof only uses Schur-Weyl duality and the Borel-Weil theorem and does not rely on any existing work on Kronecker coefficients., Comment: 8 pages, v2: Added references, Remark 4.5, and Section 4.3 on stability result for plethysms

We describe the cone of Betti tables of all finitely generated graded modules over the homogeneous coordinate ring of three non-collinear points in the projective plane. We also describe the cone of Betti tables of all finite length modules., Comment: 7 pages

We study representations of wreath product analogues of categories of finite sets. This includes the category of finite sets and injections (studied by Church, Ellenberg, and Farb) and the opposite of the category of finite sets and surjections (studied by the authors in previous work). We prove noetherian properties for the injective version when the group in question is polycyclic-by-finite and use it to deduce general twisted homological stability results for such wreath products and indicate some applications to representation stability. We introduce a new class of formal languages (quasi-ordered languages) and use them to deduce strong rationality properties of Hilbert series of representations for the surjective version when the group is finite., Comment: 27 pages, split off from arXiv:1409.1670v1; v2: added Section 5.2 on wreath product version of Murnaghan's stability theorem; v3: significant rewrite; v4: corrected some proofs

Given a partition $\lambda$ of n, consider the subspace $E_\lambda$ of $C^n$ where the first $\lambda_1$ coordinates are equal, the next $\lambda_2$ coordinates are equal, etc. In this paper, we study subspace arrangements $X_\lambda$ consisting of the union of translates of $E_\lambda$ by the symmetric group. In particular, we focus on determining when $X_\lambda$ is Cohen-Macaulay. This is inspired by previous work of the third author coming from the study of rational Cherednik algebras and which answers the question positively when all parts of $\lambda$ are equal. We show that $X_\lambda$ is not Cohen-Macaulay when $\lambda$ has at least 4 distinct parts, and handle a large number of cases when $\lambda$ has 2 or 3 distinct parts. Along the way, we also settle a conjecture of Sergeev and Veselov about the Cohen-Macaulayness of algebras generated by deformed Newton sums. Our techniques combine classical techniques from commutative algebra and invariant theory, in many cases we can reduce an infinite family to a finite check which can sometimes be handled by computer algebra., Comment: 16 pages, supporting computations included as ancillary files, v2: Conjecture 5.13 changed to Proposition, Proposition 7.5 added

Given a category C of a combinatorial nature, we study the following fundamental question: how does the combinatorial behavior of C affect the algebraic behavior of representations of C? We prove two general results. The first gives a combinatorial criterion for representations of C to admit a theory of Gr\"obner bases. From this, we obtain a criterion for noetherianity of representations. The second gives a combinatorial criterion for a general "rationality" result for Hilbert series of representations of C. This criterion connects to the theory of formal languages, and makes essential use of results on the generating functions of languages, such as the transfer-matrix method and the Chomsky-Sch\"utzenberger theorem. Our work is motivated by recent work in the literature on representations of various specific categories. Our general criteria recover many of the results on these categories that had been proved by ad hoc means, and often yield cleaner proofs and stronger statements. For example: we give a new, more robust, proof that FI-modules (originally introduced by Church-Ellenberg-Farb), and a family of natural generalizations, are noetherian; we give an easy proof of a generalization of the Lannes-Schwartz artinian conjecture from the study of generic representation theory of finite fields; we significantly improve the theory of $\Delta$-modules, introduced by Snowden in connection to syzygies of Segre embeddings; and we establish fundamental properties of twisted commutative algebras in positive characteristic., Comment: 41 pages; v2: Moved old Sections 3.4, 10, 11, 13.2 and connected text to arxiv:1410.6054v1, Section 13.1 removed and will appear elsewhere; v3: substantial revision and reorganization of sections

We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include a proof of the Lannes--Schwartz Artinian conjecture in the generic representation theory of finite fields, very general homological stability theorems with twisted coefficients for the general linear and symplectic groups over finite rings, and representation-theoretic versions of homological stability for congruence subgroups of the general linear group, the automorphism group of a free group, the symplectic group, and the mapping class group., Comment: 53 pages, 5 figures; major revision; to appear in Duke Math J

We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show that they have a linear free resolution over the complete intersection and that their Koszul dual is an infinite-dimensional irreducible representation of the orthosymplectic Lie superalgebra. We calculate the algebra of cohomology operators acting on this free resolution. We prove analogous results for powers of the ideals of maximal minors in the variety of length 2 complexes when it is a complete intersection, and show that their Koszul dual is an infinite-dimensional irreducible representation of the general linear Lie superalgebra. This generalizes work of Akin, J\'ozefiak, Pragacz, Weyman, and the author on resolutions of determinantal ideals in polynomial rings to the setting of complete intersections and provides a new connection between representations of classical Lie superalgebras and commutative algebra. As a curious application, we prove that the cohomology of a class of reducible homogeneous bundles on symplectic and orthogonal Grassmannians and 2-step flag varieties can be calculated by an analogue of the Borel-Weil-Bott theorem., Comment: 35 pages; v2: updated references

In their study of characters of minimal affinizations of representations of orthogonal and symplectic Lie algebras, Chari and Greenstein conjectured that certain Jacobi-Trudi determinants satisfy an alternating sum formula. In this note, we prove their conjecture and slightly more. The proof relies on some symmetries of the ring of symmetric functions discovered by Koike and Terada. Using results of Hernandez, Mukhin-Young, and Naoi, this implies that the characters of minimal affinizations in types B, C, and D are given by a Jacobi-Trudi determinant., Comment: 6 pages; v2: added references

We calculate the homology of three families of 2-step nilpotent Lie (super)algebras associated with the symplectic, orthogonal, and general linear groups. The symplectic case was considered by Getzler and the main motivation for this work was to complete the calculations started by him. In all three cases, these algebras can be realized as the nilpotent radical of a parabolic subalgebra of a simple Lie algebra, and our first approach relies on a theorem of Kostant, but is otherwise elementary and involves combinatorics of Weyl groups and partitions which may be of independent interest. Our second approach is an application of (un)stable representation theory of the classical groups in the sense of recent joint work of the author with Snowden, which is shorter and more conceptual., Comment: 13 pages; v2: small corrections and added Remark 1.6

We study lowest-weight irreducible representations of rational Cherednik algebras attached to the complex reflection groups G(m,r,n) in characteristic p. Our approach is mostly from the perspective of commutative algebra. By studying the kernel of the contravariant bilinear form on Verma modules, we obtain formulas for Hilbert series of irreducible representations in a number of cases, and present conjectures in other cases. We observe that the form of the Hilbert series of the irreducible representations and the generators of the kernel tend to be determined by the value of n modulo p, and are related to special classes of subspace arrangements. Perhaps the most novel (conjectural) discovery from the commutative algebra perspective is that the generators of the kernel can be given the structure of a "matrix regular sequence" in some instances, which we prove in some small cases., Comment: 23 pages; v2: clarified statement of Lemma 3.2

We show that for Jack parameter \alpha = -(k+1)/(r-1), certain Jack polynomials studied by Feigin-Jimbo-Miwa-Mukhin vanish to order r when k+1 of the coordinates coincide. This result was conjectured by Bernevig and Haldane, who proposed that these Jack polynomials are model wavefunctions for fractional quantum Hall states. Special cases of these Jack polynomials include the wavefunctions of Laughlin and Read-Rezayi. In fact, along these lines we prove several vanishing theorems known as clustering properties for Jack polynomials in the mathematical physics literature, special cases of which had previously been conjectured by Bernevig and Haldane. Motivated by the method of proof, which in case r = 2 identifies the span of the relevant Jack polynomials with the S_n-invariant part of a unitary representation of the rational Cherednik algebra, we conjecture that unitary representations of the type A Cherednik algebra have graded minimal free resolutions of Bernstein-Gelfand-Gelfand type; we prove this for the ideal of the (k+1)-equals arrangement in the case when the number of coordinates n is at most 2k+1. In general, our conjecture predicts the graded S_n-equivariant Betti numbers of the ideal of the (k+1)-equals arrangement with no restriction on the number of ambient dimensions., Comment: 19 pages; v2: corrected typos and updated first author's name

The image of the complement of a hyperplane arrangement under a monomial map can be tropicalized combinatorially using matroid theory. We apply this to classical moduli spaces that are associated with complex reflection arrangements. Starting from modular curves, we visit the Segre cubic, the Igusa quartic, and moduli of marked del Pezzo surfaces of degrees 2 and 3. Our primary example is the Burkhardt quartic, whose tropicalization is a 3-dimensional fan in 39-dimensional space. This effectuates a synthesis of concrete and abstract approaches to tropical moduli of genus 2 curves., Comment: 33 pages

One interesting combinatorial feature of classical determinantal varieties is that the character of their coordinate rings give a natural truncation of the Cauchy identity in the theory of symmetric functions. Natural generalizations of these varieties exist and have been studied for the other classical groups. In this paper we develop the relevant properties from scratch. By studying the isotypic decomposition of their minimal free resolutions one can recover classical identities due to Littlewood for expressing an irreducible character of a classical group in terms of Schur functions. We propose generalizations for the exceptional groups. In type G_2, we completely analyze the variety and its minimal free resolution and get an analogue of Littlewood's identities. We have partial results for the other cases. In particular, these varieties are always normal with rational singularities., Comment: 31 pages; v2: added more details to proofs and calculations; v3: corrected typos and changed section/theorem numbering

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is an array of equivalences between the stable representation category and various other categories, each of which has its own flavor (representation theoretic, combinatorial, commutative algebraic, or categorical) and offers a distinct perspective on the stable category. We use this theory to produce a host of specific results, e.g., the construction of injective resolutions of simple objects, duality between the orthogonal and symplectic theories, a canonical derived auto-equivalence of the general linear theory, etc., Comment: 79 pages; v2: increased font size, added 1.4.7, 3.3.8, Remark 6.2.6, and references

We describe the cone of Betti tables of Cohen-Macaulay modules over the homogeneous coordinate ring of a rational normal curve., Comment: 9 pages; v2: corrected typos, added references, Section 5, and details to proofs

We give a detailed analysis of the semisimple elements, in the sense of Vinberg, of the third exterior power of a 9-dimensional vector space over an algebraically closed field of characteristic different from 2 and 3. To a general such element, one can naturally associate an Abelian surface X, which is embedded in 8-dimensional projective space. We study the combinatorial structure of this embedding and explicitly recover the genus 2 curve whose Jacobian variety is X. We also classify the types of degenerations of X that can occur. Taking the union over all Abelian surfaces in Heisenberg normal form, we get a 5-dimensional variety which is a birational model for a genus 2 analogue of Shioda's modular surfaces. We find determinantal set-theoretic equations for this variety and present some additional equations which conjecturally generate the radical ideal., Comment: 30 pages; v2: small corrections

This article is an expository account of the theory of twisted commutative algebras, which simply put, can be thought of as a theory for handling commutative algebras with large groups of linear symmetries. Examples include the coordinate rings of determinantal varieties, Segre-Veronese embeddings, and Grassmannians. The article is meant to serve as a gentle introduction to the papers of the two authors on the subject, and also to point out some literature in which these algebras appear. The first part reviews the representation theory of the symmetric groups and general linear groups. The second part introduces a related category and develops its basic properties. The third part develops some basic properties of twisted commutative algebras from the perspective of classical commutative algebra and summarizes some of the results of the authors. We have tried to keep the prerequisites to this article at a minimum. The article is aimed at graduate students interested in commutative algebra, algebraic combinatorics, or representation theory, and the interactions between these subjects., Comment: 56 pages

Let V be a symplectic vector space of dimension 2n. Given a partition \lambda with at most n parts, there is an associated irreducible representation S_{[\lambda]}(V) of Sp(V). This representation admits a resolution by a natural complex L^\lambda, which we call the Littlewood complex, whose terms are restrictions of representations of GL(V). When \lambda has more than n parts, the representation S_{[\lambda]}(V) is not defined, but the Littlewood complex L^\lambda still makes sense. The purpose of this paper is to compute its homology. We find that either L^\lambda is acyclic or that it has a unique non-zero homology group, which forms an irreducible representation of Sp(V). The non-zero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel-Weil-Bott theorem. This result can be interpreted as the computation of the "derived specialization" of irreducible representations of Sp(\infty), and as such categorifies earlier results of Koike-Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology., Comment: 32 pages; v2: corrected minor typos and changed theorem/equation numbering

The universal Kummer threefold is a 9-dimensional variety that represents the total space of the 6-dimensional family of Kummer threefolds in 7-dimensional projective space. We compute defining polynomials for three versions of this family, over the Satake hypersurface, over the G\"opel variety, and over the reflection representation of type E7. We develop classical themes such as theta functions and Coble's quartic hypersurface using current tools from combinatorics, geometry, and commutative algebra. Symbolic and numerical computations for genus 3 moduli spaces appear alongside toric and tropical methods., Comment: 50 pages; v2: added Remark 4.3, strengthened Lemma 8.3; v3: added references and added supplementary files to source

We show that the linear strands of the Tor of determinantal varieties in spaces of symmetric and skew-symmetric matrices are irreducible representations for the periplectic (strange) Lie superalgebra. The structure of these linear strands is explicitly known, so this gives an explicit realization of some representations of the periplectic Lie superalgebra. This complements results of Pragacz and Weyman, who showed an analogous statement for the generic determinantal varieties and the general linear Lie superalgebra. We also give a simpler proof of their result. Via Koszul duality, this is an odd analogue of the fact that the coordinate rings of these determinantal varieties are irreducible representations for a certain classical Lie algebra., Comment: 17 pages

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly. Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable., Comment: 59 pages, uses ytableau.sty; v2: expanded details in many proofs especially in Sections 2 and 4, Section 6 substantially expanded, added references; v3: corrected typos and Remark 4.3.3 from published version

Consider Kashiwara's crystal associated to a highest weight representation of a symmetric Kac-Moody algebra. There is a geometric realization of this object using Nakajima's quiver varieties, but in many particular cases it can also be realized by elementary combinatorial methods. Here we propose a framework for extracting combinatorial realizations from the geometric picture: We construct certain torus actions on the quiver varieties and use Morse theory to index the irreducible components by connected components of the subvariety of torus fixed points. We then discuss the case of affine sl(n). There the fixed point components are just points, and are naturally indexed by multi-partitions. There is some choice in our construction, leading to a family of combinatorial models for each highest weight crystal. Applying this construction to the crystal of the fundamental representation recovers a family of combinatorial realizations recently constructed by Fayers. This gives a more conceptual proof of Fayers' result as well as a generalization to higher level. We also discuss a relationship with Nakajima's monomial crystal., Comment: 23 pages, v2: added Section 8 on monomial crystals and some references; v3: many small corrections

In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider the Huneke-Ulrich deviation 2 ideals., Comment: 7 pages

We present a systematic approach to studying the geometric aspects of Vinberg theta-representations. The main idea is to use the Borel-Weil construction for representations of reductive groups as sections of homogeneous bundles on homogeneous spaces, and then to study degeneracy loci of these vector bundles. Our main technical tool is to use free resolutions as an "enhanced" version of degeneracy loci formulas. We illustrate our approach on several examples and show how they are connected to moduli spaces of Abelian varieties. To make the article accessible to both algebraists and geometers, we also include background material on free resolutions and representation theory., Comment: 41 pages, uses tabmac.sty, Dedicated to David Eisenbud on the occasion of his 65th birthday; v2: fixed some typos and added references

Given a subspace L of a vector space V, the Kalman variety consists of all matrices of V that have a nonzero eigenvector in L. Ottaviani and Sturmfels described minimal equations in the case that dim L = 2 and conjectured minimal equations for dim L = 3. We prove their conjecture and describe the minimal free resolution in the case that dim L = 2, as well as some related results. The main tool is an exact sequence which involves the coordinate rings of these Kalman varieties and the normalizations of some related varieties. We conjecture that this exact sequence exists for all values of dim L., Comment: 13 pages, no figures; v2: Removed Remark 1.6 and corrected Corollary 2.4 and proof of Proposition 2.5. Some other minor updates

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 streamlined

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., Comment: 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

We study the functions that count matrices of given rank over a finite field with specified positions equal to zero. We show that these matrices are $q$-analogues of permutations with certain restricted values. We obtain a simple closed formula for the number of invertible matrices with zero diagonal, a $q$-analogue of derangements, and a curious relationship between invertible skew-symmetric matrices and invertible symmetric matrices with zero diagonal. In addition, we provide recursions to enumerate matrices and symmetric matrices with zero diagonal by rank, and we frame some of our results in the context of Lie theory. Finally, we provide a brief exposition of polynomiality results for enumeration questions related to those mentioned, and give several open questions., Comment: 29 pages, 2 figures, v2: one additional result, some formulas simplified, and a new reference; v3: corrected typos

Boij-S\"oderberg 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\"oderberg 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\"oderberg theory to other graded rings and projective varieties., Comment: 23 pages; v2: Added Section 8, reordered previous sections

Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product V_{N\lambda^1} \otimes ... \otimes V_{N\lambda^r} contains nonzero G-invariants for some N \ge 1, we show that the tensor product V_{2\lambda^1} \otimes ... \otimes V_{2\lambda^r} also contains nonzero G-invariants. This extends results of Kapovich-Millson and Belkale-Kumar and complements similar results for the general linear group due to Knutson-Tao and Derksen-Weyman. Our techniques involve the invariant theory of quivers equipped with an involution and the generic representation theory of certain quivers with relations., Comment: 29 pages, no figures; v2: updated Theorem 2.4 to odd characteristic, added Remark 3.9, added references, corrected some definitions and typos

Given a generic map between flagged vector bundles on a Cohen-Macaulay variety, we construct maximal Cohen-Macaulay modules with linear resolutions supported on the Schubert-type degeneracy loci. The linear resolution is provided by the Schubert complex, which is the main tool introduced and studied in this paper. These complexes extend the Schubert functors of Kra\'skiewicz and Pragacz, and were motivated by the fact that Schur complexes resolve maximal Cohen-Macaulay modules supported on determinantal varieties. The resulting formula in K-theory provides a "linear approximation" of the structure sheaf of the degeneracy locus, which can be used to recover a formula due to Fulton., Comment: 23 pages, uses tabmac.sty; v2: corrected typos and added references

Let $P$ be a polytope with rational vertices. A classical theorem of Ehrhart states that the number of lattice points in the dilations $P(n) = nP$ is a quasi-polynomial in $n$. We generalize this theorem by allowing the vertices of P(n) to be arbitrary rational functions in $n$. In this case we prove that the number of lattice points in P(n) is a quasi-polynomial for $n$ sufficiently large. Our work was motivated by a conjecture of Ehrhart on the number of solutions to parametrized linear Diophantine equations whose coefficients are polynomials in $n$, and we explain how these two problems are related., Comment: 18 pages, no figures; v2: Sections 4 and 5 added, proofs and exposition have been expanded and clarified

We generalize the constructions of Eisenbud, Fl{\o}ystad, and Weyman for equivariant minimal free resolutions over the general linear group, and we construct equivariant resolutions over the orthogonal and symplectic groups. We also conjecture and provide some partial results for the existence of an equivariant analogue of Boij-S\"oderberg decompositions for Betti tables, which were proven to exist in the non-equivariant setting by Eisenbud and Schreyer. Many examples are given., Comment: 40 pages, no figures; v2: corrections to sections 2.2, 3.1, 3.3, and some typos; v3: important corrections to sections 2.2, 2.3 and Prop. 4.9 added, plus other minor corrections; v4: added assumptions to Theorem 3.6 and updated its proof; v5: Older versions misrepresented Peter Olver's results. See "New in this version" at the end of the introduction for more details

For a lattice polytope P, define A_P(t) as the sum of the solid angles of all the integer points in the dilate tP. Ehrhart and Macdonald proved that A_P(t) is a polynomial in the positive integer variable t. We study the numerator polynomial of the solid-angle series sum_{t >= 0} A_P(t) z^t. In particular, we examine nonnegativity of its coefficients, monotonicity and unimodality questions, and study extremal behavior of the sum of solid angles at vertices of simplices. Some of our results extend to more general valuations., Comment: 10 pages; v2: fixed errors in Section 4; v3: Removed Theorems 3 and 4 due to a mistake, see Section 6 or corrigendum in ancillary files for details. Numbering kept consistent

A rational polytope is the convex hull of a finite set of points in $\R^d$ with rational coordinates. Given a rational polytope $P \subseteq \R^d$, Ehrhart proved that, for $t\in\Z_{\ge 0}$, the function $#(tP \cap \Z^d)$ agrees with a quasi-polynomial $L_P(t)$, called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new proof of Ehrhart's theorem. This proof also allows us to quickly prove two other facts about Ehrhart quasi-polynomials: McMullen's theorem about the periodicity of the individual coefficients of the quasi-polynomial and the Ehrhart-Macdonald theorem on reciprocity., Comment: 13 pages, 1 figure; v2: added examples and Section 4, final version

We describe a software package for constructing minimal free resolutions of GL_n(Q)-equivariant graded modules M over Q[x_1, ..., x_n] such that for all i, the ith syzygy module of M is generated in a single degree. We do so by describing some algorithms for manipulating polynomial representations of the general linear group GL_n(Q) following ideas of Olver and Eisenbud-Floystad-Weyman., Comment: 7 pages, no figures. v2: updated with examples of code use. Package may be downloaded here: http://math.mit.edu/~ssam/PieriMaps.m2

We give a new proof for a theorem of Ehrhart regarding the quasi-polynomiality of the function that counts the number of integer points in the integral dilates of a rational polytope. The proof involves a geometric bijection, inclusion-exclusion, and recurrence relations, and we also prove Ehrhart reciprocity using these methods., Comment: 14 pages, 4 figures; v5: polished exposition, final version

We examine domino tilings of rectangular boards, which are in natural bijection with perfect matchings of grid graphs. This leads to the study of their associated perfect matching polytopes, and we present some of their properties, in particular, when these polytopes are Gorenstein. We also introduce the notion of domino stackings and present some results and several open questions. Our techniques use results from graph theory, polyhedral geometry, and enumerative combinatorics., Comment: 14 pages, 6 figures, uses graphs package

This article has been replaced by arXiv:0906.4031, Comment: withdrawn