arXiv++ Combinatorics

Given a matroid $M$ one can define its Orlik-Solomon algebra $OS(M)$ and the Bergman fan $Σ_0(M)$. On the other hand to any rational polyhedral fan $Σ$ one can associate its tropical homology and cohomology groups $\F_\bullet(Σ)$, $\F^\bullet (Σ)$. We will show that the projective Orlik-Solomon algebra $OS_0(M)$ is canonically isomorphic to $\F^\bullet (Σ_0(M))$.

An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.

Suppose a compact torus $T$ acts on a closed smooth manifold $M$. Under certain conditions, Guillemin and Zara associate to $(M, T)$ a labeled graph $\mG_M$ where the labels lie in $H^2(BT)$. They also define the subring $H_T^*(\mG_M)$ of $\bigoplus_{v\in V(\mG_M)}H^*(BT)$, where $V(\mG_M)$ is the set of vertices of $\mG_M$ and we call $H_T^*(\mG_M)$ the "graph cohomology" ring of $\mG_M$. It is known that the equivariant cohomology ring of $M$ can be described by using combinatorial data of the labeled graph. The main result of this paper is to determine the ring structure of equivariant cohomology ring of a flag manifold of type $G_2$ directly, using combinatorial techniques on the graph $\mG_M$. This gives a new computation of the equivariant cohomology ring of a flag manifold of type $G_2$.

In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.

We study a finite dimensional quadratic graded algebra R defined from a finite ranked poset. This algebra has been central to the study of the splitting algebra of the poset, A, as introduced by Gelfand, Retakh, Serconek and Wilson . The algebra A is known to be quadratic when the poset satisfies a combinatorial condition known as uniform, and R is the quadratic dual of an associated graded algebra of A. We prove that R is Koszul and the poset is uniform if and only if the poset is Cohen-Macaulay. Koszulity of R implies Koszulity of A. We also show that when R is Koszul, the cohomology of the order complex of the poset can be identified with certain cohomology groups defined internally to the ring R. Finally, we settle in the negative the long-standing question: Does numerically Koszul imply Koszul for algebras of the form R?

For every $k \ge 1$, the $k$th cohomology group $H^k(X, \Q)$ of the random flag complex $X \sim X(n,p)$ passes through two phase transitions: one where it appears, and one where it vanishes. We describe the vanishing threshold and show that it is sharp. Using the same spectral methods, we also find a sharp threshold for the fundamental group $π_1(X)$ to have Kazhdan's property (T). Combining with earlier results, we obtain as a corollary that for every $k \ge 3$ there is a regime in which the random flag complex is rationally homotopy equivalent to a bouquet of $k$-dimensional spheres.

Let X=G/P be a homogeneous space and e_k be the class of a simple coroot in H_2(X). A theorem of Strickland shows that for almost all X, the variety of pointed lines of degree e_k, denoted Z_k(X), is again a homogeneous space. For these X we show that the 3-point, genus 0, equivariant K-theoretic Gromov-Witten invariants of lines of degree e_k are equal to quantities obtained in the (ordinary) equivariant K-theory of Z_k(X). We apply this to compute the structure constants N_{u,v}^{w, e_k} for degree e_k from the multiplication of two Schubert classes in the equivariant quantum K-theory ring of X. Using geometry of spaces of lines through Schubert or Richardson varieties we prove vanishing and positivity properties of N_{u,v}^{w,e_k}. This generalizes many results about K-theory and quantum cohomology of X, and also gives new identities among the structure constants in equivariant K-theory of X.

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.

A direct proof is presented of a form of Alvise Trevisan's result, that every monomial ideal ring is represented by the cohomology of topological space. Certain of these rings are shown to be realized by polyhedral products indexed by simplicial complexes.

In a highly influential paper, Bidigare, Hanlon and Rockmore showed that a number of popular Markov chains are random walks on the faces of a hyperplane arrangement. Their analysis of these Markov chains took advantage of the monoid structure on the set of faces. This theory was later extended by Brown to a larger class of monoids called left regular bands. In both cases, the representation theory of these monoids played a prominent role. In particular, it was used to compute the spectrum of the transition operators of the Markov chains and to prove diagonalizability of the transition operators. In this paper, we establish a close connection between algebraic and combinatorial invariants of a left regular band: we show that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. For instance, we show that the global dimension of these algebras is bounded above by the Leray number of the associated order complex. Conversely, we associate to every flag complex a left regular band whose algebra has global dimension precisely the Leray number of the flag complex.

In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold - the diagonal coinvariant algebra on r sets of n variables - the cohomology and tautological ring of the moduli space of n-pointed curves - the space of polynomials on rank varieties of n x n matrices - the subalgebra of the cohomology of the genus n Torelli group generated by H^1 and more. The symmetric group S_n acts on each of these vector spaces. In most cases almost nothing is known about the characters of these representations, or even their dimensions. We prove that in each fixed degree the character is given, for n large enough, by a polynomial in the cycle-counting functions that is independent of n. In particular, the dimension is eventually a polynomial in n. In this framework, representation stability (in the sense of Church-Farb) for a sequence of S_n-representations is converted to a finite generation property for a single FI-module.

We relate the counting of rational curves intersecting Schubert varieties of the Grassmannian to the counting of certain non-intersecting lattice paths on the cylinder, so-called vicious and osculating walkers. These lattice paths form exactly solvable statistical mechanics models and are obtained from solutions to the Yang-Baxter equation. The eigenvectors of the transfer matrices of these models yield the idempotents of the Verlinde algebra of the gauged u(n)-WZNW model. The latter is known to be closely related to the small quantum cohomology ring of the Grassmannian. We establish further that the partition functions of the vicious and osculating walker model are given in terms of Postnikov's toric Schur functions and can be interpreted as generating functions for Gromov-Witten invariants.

This is a survey paper. We study the Ricci curvature and spectrum of graphs, as well as the exterior forms and deRahm cohomology on graphs.

In this paper we construct binary self-dual codes using the étale cohomology of $\mathbb{Z}/2$ on the spectra of rings of $S$-integers of global fields. We will show that up to equivalence, all self-dual codes of length at least 4 arise from Hilbert pairings on rings of $S$-integers of $\Q$. This is an arithmetic counterpart of a result of Kreck and Puppe, who used cobordism theory to show that all self-dual codes arise from Poincaré duality on real three manifolds.

There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X can be interpreted as a flat conifold degeneration of some smooth Fano 3-folds Y whose classification up to deformation was obtained by Iskovskikh, Mori and Mukai. In this case, both Fano varieties X and Y have the same Picard number r. Using toric mirror symmetry, we define a r-dimensional generalized hypergeometric power series associated to the dual reflexive polytope. We show that if r =1 then this series is a normalized regular solution of a modular D3-equation that appears in the Golyshev correspondence. We expect that the multidimensional power series can be used to compute the small quantum cohomology ring of all Fano 3-folds Y with the Picard number r >1 if Y admit a conifold degeneration X.

In their paper "1-skeleta, Betti numbers, and equivariant cohomology" Guillemin and Zara described some beautiful constructions enabling them to use Morse theory on a certain class 1-skeleta including 1-skeleta of simple polytopes. In this paper we extend some of the notions and constructions from that paper to a larger class of 1-skeleta that includes 1-skeleta of projected simple polytopes. As an application of these ideas we prove a lifting result for 1-skeleta, which yields a characterization of 1-skeleta coming from projected simple polytopes.

Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology ring of the affine Grassmannian Gr_G. Peterson furthermore connected this ring to the quantum cohomology rings of partial flag varieties G/P. The first aim of this paper is to study three different notions of positivity on X: (1) Schubert positivity arising via Peterson's work, (2) total positivity in the sense of Lusztig, and (3) Mirkovic-Vilonen positivity obtained from the MV-cycles in Gr_G. Our first main theorem establishes that these three notions of positivity coincide. The second aim of this paper is to parametrize the totally nonnegative part of X, confirming a conjecture of the second author. In type A a substantial part of our results were previously established by the second author. The crucial new component of this paper is the connection with the affine Grassmannian and the geometric Satake correspondence.

We study the space of all tilings which can be obtained using the Robinson tiles (this is a two-dimensional subshift of finite type). We prove that it has a unique minimal subshift, and describe it by means of a substitution. This description allows to compute its cohomology groups, and prove that it is a model set.

We identify the ring of odd symmetric functions introduced by Ellis and Khovanov as the space of skew polynomials fixed by a natural action of the Hecke algebra at q=-1. This allows us to define graded modules over the Hecke algebra at q=-1 that are `odd' analogs of the cohomology of type A Springer varieties. The graded module associated to the full flag variety corresponds to the quotient of the skew polynomial ring by the left ideal of nonconstant odd symmetric functions. The top degree component of the odd cohomology of Springer varieties is identified with the corresponding Specht module of the Hecke algebra at q=-1.

We generalise statements known about Springer fibres associated to nilpotents with 2 Jordan blocks to Spaltenstein varieties. We study the geometry of generalised irreducible components (i.e. Bialynicki-Birula cells) and their pairwise intersections. In particular we develop a graphical calculus which encodes their structure as iterated fibre bundles with CP^1 as base spaces and compute their cohomology. At the end we present a connection with coloured cobordisms generalising a construction of Khovanov and Stroppel.