arXiv++ Combinatorics

We define a new family of symmetric functions which are affine analogues of Stanley symmetric functions. We establish basic properties of these functions including symmetry, dominance and conjugation. We conjecture certain positivity properties in terms of a subfamily of symmetric functions called affine Schur functions. As applications, we show how affine Stanley symmetric functions generalise the (dual of the) $k$-Schur functions of Lapointe, Lascoux and Morse as well as the cylindric Schur functions of Postnikov. Conjecturally, affine Stanley symmetric functions should be related to the cohomology of the affine flag variety.

We prove a Chevalley formula for the equivariant quantum multiplication of two Schubert classes in the homogeneous variety X=G/P. As in the case when X is a Grassmannian, studied by the author in a previous paper, this formula implies an effective algorithm to compute the structure constants of the equivariant quantum cohomology algebra of X.

The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.

For each graph we construct graded cohomology groups whose graded Euler characteristic is the chromatic polynomial of the graph. We show the cohomology groups satisfy a long exact sequence which corresponds to the well-known deletion-contraction rule. This work is motivated by Khovanov's work on categorification of the Jones polynomial of knots.

For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein* complexes X, and also orientable manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and describe the simplicial complexes we then get. They are block designs and include Steiner systems S(c,d,n) and cyclic polytopes of even dimension.

A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.

We prove the strong Macdonald conjecture of Hanlon and Feigin for reductive groups G. In a geometric reformulation, we show that the Dolbeault cohomology $H^q(X;Ω^p)$ of the loop Grassmannian X is freely generated by de Rham's forms on the disk coupled to algebra generators of $H*(BG)$. Equating Euler characteristics of the two gives an identity, independently known to Macdonald [M], which generalises Ramanujan's_1ψ_1 sum. Simply laced root systems at level 1 are related to a `strong'_4ψ_4 sum. Failure of Hodge decomposition implies the singularity of X, and of the algebraic loop groups.

We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven.

We exhibit an identity of abstract simplicial complexes between the well-studied complex of trees and the reduced minimal nested set complex of the partition lattice. We conclude that the order complex of the partition lattice can be obtained from the complex of trees by a sequence of stellar subdivisions. We provide an explicit cohomology basis for the complex of trees that emerges naturally from this context. Motivated by these results, we review the generalization of complexes of trees to complexes of $k$-trees by Hanlon, and we propose yet another, in the context of nested set complexes more natural, generalization.

Define a ``truncation'' $r_{t}(p)$ of a polynomial $p$ in $\{x_1,x_2,x_3,...\}$ as the polynomial with all but the first $t$ variables set to zero. In certain good cases, the truncation of a Schubert or Grothendieck polynomial may again be a Schubert or Grothendieck polynomial. We use this phenomenon to give subtraction-free formulae for certain Schubert structure constants in $K(Flags({\mathbb C}^n))$, in particular generalizing those from [Kogan '00] in which only cohomology was treated, and from [Buch `02] on the Grassmannian case. The terms of the answer are computed using ``marching'' operations on permutation diagrams.

By p(|K|) denote the characteristic class of a combinatorial manifold K given by the polynomial p in Pontrjagin classes of K. We prove that for any polynomial p there exists a function taking each combinatorial manifold K to a rational simplicial cycle z(K) such that: (1) the Poincare dual of z(K) represents the cohomology class p(|K|); (2) a coefficient of each simplex in the cycle z(K) is determined only by the combinatorial type of the link of this simplex. We also prove that if a function z satisfies the condition (2), then this function automatically satisfies the condition (1) for some polynomial p. We describe explicitly all such functions z for the first Pontrjagin class. We obtain estimates for denominators of coefficients of simplices in the cycles z(K).

We study the T-equivariant quantum cohomology of the Grassmannian. We prove the vanishing of a certain class of equivariant quantum Littlewood-Richardson coefficients, which implies an equivariant quantum Pieri rule. As in the equivariant case, this implies an algorithm to compute the equivariant quantum Littlewood-Richardson coefficients.

K. Ding studied a class of Schubert varieties X_λin type A partial flag manifolds, corresponding to integer partitions λand in bijection with dominant permutations. He observed that the Schubert cell structure of X_λis indexed by maximal rook placements on the Ferrers board B_λ, and that the integral cohomology groups H^*(X_λ; Zz), H^*(X_μ; Zz) are additively isomorphic exactly when the Ferrers boards B_λ, B_μsatisfy the combinatorial condition of rook-equivalence. We classify the varieties X_λup to isomorphism, distinguishing them by their graded cohomology rings with integer coefficients. The crux of our approach is studying the nilpotence orders of linear forms in the cohomology ring.

\noindent The simultaneous partition problems are classical problems of the combinatorial geometry which have the natural flavor of the equivariant topology. The $k$-fan partition problems have attracted a lot of attention \cite{Aki2000}, \cite{BaMa2001}, \cite{BaMa2002} and forced some hard concrete combinatorial calculations in the equivariant cohomology \cite% {Bl-Vr-Ziv}. These problems can be reduced, by a beautiful scheme of \cite% {BaMa2001}, to a \textquotedblright typical\textquotedblright question of the existence of a $\mathbb{D}_{2n}$ equivariant map $f:V_{2}(\mathbb{R}% ^{3})\to W_{n}-\cup \mathcal{A}(α)$, where $V_{2}(\mathbb{R}% ^{3})$ is the space of all orthonormal 2-frames in $\mathbb{R}^{3}$ and $% W_{n}-\cup \mathcal{A}(α)$ is the complement of the appropriate arrangement. We introduce the \textit{target extension scheme} which allow us to use the equivariant obstruction theory as a tool for proving that: for every two proper measures on the sphere $S^{2}$, and any $α=(a,a+b,b)\in \mathbb{R}_{>0}^{3}$, there exists an $α$-partition of theses measures by a 3-fan. \noindent The significance of these results, among other, is that, beside negative results \cite{Bl-Vr-Ziv}, the equivariant obstruction theory can pull off some positive results, which were not attained by other means.

We propose a new approach to the multiplication of Schubert classes in the K-theory of the flag variety. This extends the work of Fomin and Kirillov in the cohomology case, and is based on the quadratic algebra defined by them. More precisely, we define K-theoretic versions of the Dunkl elements considered by Fomin and Kirillov, show that they commute, and use them to describe the structure constants of the K-theory of the flag variety with respect to its basis of Schubert classes.

Let A be an integer (d x n) matrix, and assume that the convex hull conv(A) of its columns is a simplex of dimension d-1. Write \NA for the semigroup generated by the columns of A. It was proved by M. Saito [math.AG/0012257] that the semigroup ring \CC[\NA] over the complex numbers \CC is Cohen-Macaulay if and only if the rank of the GKZ hypergeometric system H_A(beta) equals the normalized volume of conv(A) for all complex parameters beta in \CC^d. Our refinement here shows, in this simplicial case, that H_A(beta) has rank strictly larger than the volume of conv(A) if and only if beta lies in the Zariski closure in \CC^d of all \ZZ^d-graded degrees where the local cohomology H^i_m(\CC[\NA]) at the maximal ideal m is nonzero for some i < d.

Let X(G) denote the flag complex of a graph G=(V,E) on n vertices. We study relations between the first eigenvalues of successive higher Laplacians of X(G). One consequence is the following result: Let λ_2(G) denote the second smallest eigenvalue of the Laplacian of G. If λ_2(G)> \frac{kn}{k+1} then the real k-th reduced cohomology group H^k(X(G)) is zero. Applications include a lower bound on the homological connectivity of the independent sets complex I(G), in terms of a new graph domination parameter Γ(G) defined via certain vector representations of G. This in turns implies a Hall type theorem for systems of disjoint representatives in hypergraphs.

We give a formula for the character of the representation of the symmetric group $S_n$ on each isotypic component of the cohomology of the set of regular elements of a maximal torus of $SL_n$, with respect to the action of the centre.

One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the question of (non)existence of a $W_k$-equivariant map where $W_k$ is the group of symmetries of a $k$-cube. We show that the computation of relevant cohomology/bordism obstruction classes often reduces to the question of enumerating the classes of immersed curves in $\mathbb{R}^2$ with a prescribed type and number of intersections with the coordinate axes, which in turn leads to a problem of enumerating classes of cyclic signed $AB$-words.

We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.