arXiv++ Combinatorics

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in a succession of simplifications of the cohomological approach. Our proof is inductive, and requires Tardos' previous result settling the rank two case of the conjecture.

Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of numerous classical results, and give applications to the Ehrhart theory of rational polytopes and centrally symmetric polytopes. We also recover a character formula of Procesi, Dolgachev, Lunts and Stembridge for the action of a Weyl group on the cohomology of a toric variety associated to a root system.

We show that the vanishing of certain cohomology groups of polyhedral complexes imply upper bounds on Ramsey numbers. Lovasz bounded the chromatic numbers of graphs using Hom complexes. Babson and Kozlov proved Lovasz conjecture and developed a Hom complex theory. We generalize the Hom complexes to Ramsey complexes. The main theorem states that if certain cohomology groups of the Ramsey complex Ram(dDelta_{p^k}, Sigma) are trivial, then the vertices of the simplicial complex Sigma cannot be n-colored such that every color correspond to a face of Sigma. In a corollary, we give an explicit description of the Ramsey complexes used for upper bounds on Ramsey numbers.

The purpose of this paper is applying minimality of hyperplane arrangements to local system cohomology groups. It is well known that twisted cohomology groups with coefficients in a generic rank one local system vanish except in the top degree, and bounded chambers form a basis of the remaining cohomology group. We determine precisely when this phenomenon happens for two-dimensional arrangements.

The face ring of a simplicial complex modulo m generic linear forms is shown to have finite local cohomology if and only if the link of every face of dimension m or more is `nonsingular', i.e., has the homology of a wedge of spheres of the expected dimension. This is derived from an enumerative result for local cohomology of face rings modulo generic linear forms, as compared with local cohomology of the face ring itself. The enumerative result is generalized in slightly weaker form to squarefree modules. A concept of `Cohen-Macaulay in codimension c' is defined and characterized for arbitrary finitely generated modules and coherent sheaves. For the face ring of an r-dimensional complex Delta, it is equivalent to nonsingularity of Delta in dimension r-c; for a coherent sheaf on projective space, this condition is shown to be equivalent to the same condition on any single generic hyperplane section. The characterization of nonsingularity in dimension m via finite local cohomology thus generalizes from face rings to arbitrary graded modules.

Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.

The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this variety's cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springer's work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extends it to a family of varieties called Hessenberg varieties, a two-parameter generalization of Springer varieties. Little is known about their cohomology. For the class of regular nilpotent Hessenberg varieties, we conjecture a quotient presentation for the cohomology ring and exhibit an explicit basis. Tantalizing new evidence supports our conjecture for a subclass of regular nilpotent varieties called Peterson varieties.

This is an introductory paper about the category of regular oriented matroids (ROMs). We compare the homotopy types of the categories of regular and binary matroids. For example, in the unoriented case, they have the same fundamental group but we show that the higher homotopy groups are different for rank three regular and binary matroids. We also speculate on the possible impact of a recent theorem of Galatius [Gal] computing the stable cohomology of the category of graphs and on possible applications to higher Reidemeister torsion.

When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups.

For a Specht module S^λfor the symmetric group Σ_d, the cohomology H^i(Σ_d, S^λ) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd characteristic. Our condition generalizes James' solution in degree zero. We apply this combinatorial description to give some computations of Specht module cohomology, together with an explicit description of the corresponding modules. Finally we suggest some general conjectures that might be particularly amenable to proof using this description.

The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(μ)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\quad\quad f_1,f_2\in L^\infty(μ) associated to an arbitrary probability-preserving \bbZ^2-system (X,μ,T_1,T_2). This is a special case of the Bergelson-Leibman conjecture on the norm convergence of polynomial nonconventional ergodic averages. That proof relied on some new machinery for extending probability-preserving $\bbZ^d$-systems to obtain simplified asymptotic behaviour for various nonconventional averages such as the above. The engine of this machinery is formed by some detailed structure theorems for the `characteristic factors' that are available for some such averages after ascending to a suitably-extended system. However, these new structure theorems underwent two distinct phases of development, separated by the discovery of some new technical results in Moore's cohomology theory for locally compact groups (arXiv:1004.4937). That discovery enabled a significant improvement to the main structure theorem (Theorem 1.1 in (arXiv:0905.0518)), which in turn afforded a much shortened proof of convergence. However, since the proof of convergence using the original structure theorem required some quite different ideas that are now absent from these other papers, I have recorded it here in case it has some independent interest.

In this paper we deal with the action of the symmetric group on the cohomology of the configuration space $C_n(d)$ of $n$ points in $\mathbb{R}^d$. This topic has been studied by several authors (see the introduction). On the cohomology algebra $H^*(C_n(d); \mathbb{C})$ there is, in addition to the natural $S_n$-action, an extended action of $S_{n+1}$; this was first shown for the case when $d$ is even by Mathieu, Robinson and Whitehouse and the second author. For the case when $d$ is odd it was shown by Mathieu (anyway we will give an elementary algebraic construction of the extended action for this case). The purpose of this article is to present some results that can be obtained, in an elementary way, exploiting the interplay between the extended action and the standard action.

We generalize the construction of connected branched polymers and the notion of the volume of the space of connected branched polymers studied by Brydges and Imbrie, and Kenyon and Winkler to any hyperplane arrangement A. The volume of the resulting configuration space of connected branched polymers associated to the hyperplane arrangement A is expressed through the value of the characteristic polynomial of A at 0. We give a more general definition of the space of branched polymers, where we do not require connectivity, and introduce the notion of q-volume for it, which is expressed through the value of the characteristic polynomial of A at -q. Finally, we relate the volume of the space of branched polymers to broken circuits and show that the cohomology ring of the space of branched polymers is isomorphic to the Orlik-Solomon algebra.

A class of simplicial complexes, which we call Buchsbaum* over a field, is introduced. Buchsbaum* complexes generalize triangulations of orientable homology manifolds as well as doubly Cohen-Macaulay complexes. By definition, the Buchsbaum* property depends only on the geometric realization and the field. Characterizations in terms of simplicial and local cohomology are given. It is proved that Buchsbaum* complexes are doubly Buchsbaum. Enumerative and graph theoretic properties of Buchsbaum* complexes are investigated. It is shown that various constructions, among them one which generalizes convex ear decompositions, yield Buchsbaum* simplicial complexes.

Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac-Moody flag varieties $G/P$. Our main results are as follows. First, we identify a computationally convenient basis of $H^*_{S^1}(Y)$, which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley-Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both $H^*_{S^1}(Y)$ and $H^*(Y)$ are generated in degree 2. Finally, by using our Chevalley-Monk formula we give explicit descriptions (via generators and relations) of both the $S^1$-equivariant cohomology ring $H^*_{S^1}(Y)$ and the ordinary cohomology ring $H^*(Y)$ of the type $A_{n-1}$ Peterson variety. Our methods are both directly from and inspired by those of GKM (Goresky-Kottwitz-MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.

Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.

The ring of symmetric functions $Λ$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the symmetric group. One may define a coproduct on $Λ$ by the plethystic addition on alphabets. In this way the ring of symmetric functions becomes a Hopf algebra. The Littlewood--Richardson numbers may be viewed as the structure constants for the co-product in the Schur basis. In the first part of this thesis we show that by using a generalization of the classical umbral calculus of Gian-Carlo Rota, one may deform the basis of Schur functions to find many other bases for which the Littlewood--Richardson numbers as coproduct structure constants. The Macdonald polynomials are a somewhat mysterious qt-deformation of the Schur functions. The second part of this thesis contains a proof a generating function identity for the Macdonald polynomials which was originally conjectured by Kawanaka.

We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.

The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial proof of Sperner's Lemma can be considered as a cochain-level version, written in the combinatorial language, of a standard cohomological argument; (ii) the standard deduction of Brouwer's theorem from Sperner's lemma is similar to the usual deduction of Brouwer's theorem from the no-retraction theorem and is closely related to the notion of a simplicial approximation. In order to make these connections transparent, we included the above mentioned standard arguments, so the note is self-contained modulo some basic ideas of combinatorial topology.

We prove the Strengthened Hanna Neumann Conjecture. We give a more direct cohomological interpretation of the conjecture in terms of "typical" covering maps, and use graph Galois theory to "symmetrize" the conjecture. The conjecture is then related to certain kernel of a morphism of sheaves, and is implied provided these kernels are co-acyclic in the covering cohomology theory. This allows us to prove a slightly generalized Strengthened Hanna Neumann Conjecture; this conjecture is false if generalized to all sheaves. The kernels we use do not exist in the theory of graphs, so our use of sheaf theory seems essential to this approach.