arXiv++ Combinatorics

For any finite Coxeter system $(W,S)$ we construct a certain noncommutative algebra, so-called {\it bracket algebra}, together with a familiy of commuting elements, so-called {\it Dunkl elements.} Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the group $W.$ We prove this conjecture for classical Coxeter groups and $I_2(m)$. We define a ``quantization'' and a multiparameter deformation of our construction and show that for Lie groups of classical type and $G_2,$ the algebra generated by Dunkl elements in the quantized bracket algebra is canonically isomorphic to the small quantum cohomology ring of the corresponding flag variety, as described by B. Kim. For crystallographic Coxeter systems we define {\it quantum Bruhat representation} of the corresponding bracket algebra. We study in more detail relations and structure of $B_n$-, $D_n$- and $G_2$-bracket algebras, and as an application, discover {\it Pieri type formula} in the $B_n$-bracket algebra. As a corollary, we obtain Pieri type formula for multiplication of arbitrary $B_n$-Schubert classes by some special ones. Our Pieri type formula is a generalization of Pieri's formulas obtained by A. Lascoux and M.-P. Schützenberger for flag varieties of type $A.$ We also introduce a super-version of the bracket algebra together with a family of pairwise anticommutative elements which describes ``noncommutative differential geometry on a finite Coxeter group'' in a sense of S. Majid.

We give a series of successively weaker conjectures on the cohomology ring of the Grassmannian, starting with the Hilbert series of a certain natural filtration.

We study the space ${\mathcal X}^{d}(G)$ of pictures of a graph $G$ in complex projective $d$-space. The main result is that the homology groups (with integer coefficients) of ${\mathcal X}^{d}(G)$ are completely determined by the Tutte polynomial of $G$. One application is a criterion in terms of the Tutte polynomial for independence in the {\it $d$-parallel matroids} studied in combinatorial rigidity theory. For certain special graphs called \defterm{orchards}, the picture space is smooth and has the structure of an iterated projective bundle. We give a Borel presentation of the cohomology ring of the picture space of an orchard, and use this presentation to develop an analogue of the classical Schubert calculus.

The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of Joyal's theory of tensor species, which includes a link between polynomial functors and plethysm for general r. We also give a new proof of Lehrer's formula for the representations of W(r,n) on the cohomology groups of the hyperplane complement.

We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a complex rank one local system. We define formal Gauss-Manin connection matrices in the Aomoto complex and prove that, for all arrangements and all local systems, these formal connection matrices specialize to Gauss-Manin connection matrices.

Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger.

This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms for toric hyperkaehler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L^2 harmonic forms on complete hyperkaehler manifolds of linear growth.

In this paper, as in our previous "Descent-cycling in Schubert calculus" math.CO/0009112, we study the structure constants in equivariant cohomology of flag manifolds G/B. In this one we give a recurrence (which is frequently, but alas not always, positive) to compute these one by one, using the non-complex action of the Weyl group on G/B. Probably the most noteworthy feature of this recurrence is that to compute a particular structure constant c_{lambda,mu}^nu, one does not have to compute the whole product S_lambda * S_mu.

A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.

We study the geometry of Bott towers in the context of toric geometry, describing their associated fans arising from crosspolytopes. We compute the cohomology ring of each stage of the tower, and provide all monomial identities defining related affine toric varieties.

Given a real arrangement $A$, the complement $M(A)$ of the complexification of $A$ admits an action of $\mathbb{Z}_2$ by complex conjugation. We define the equivariant Orlik-Solomon algebra of $A$ to be the $\mathbb{Z}_2$-equivariant cohomology ring of $M(A)$ with coefficients in $\mathbb{Z}_2$. We give a combinatorial presentation of this ring, and interpret it as a deformation of the ordinary Orlik-Solomon algebra into the Varchenko-Gel'fand ring of locally constant $\mattbb{Z}_2$-valued functions on the complement $C(A)$ of $A$ in $\mathbb{R}^n$. We also show that the $\mathbb{Z}_2$-equivariant homotopy type of $M(A)$ is determined by the oriented matroid of $A$. As an application, we give two examples of pairs of arrangements $A$ and $A'$ such that $M(A)$ and $M(A')$ have the same nonequivariant homotopy type, but are distinguished by the equivariant Orlik-Solomon algebra.

In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements. Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc. All known examples of 3-nets in P^2 realize finite Abelian groups. We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.

We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.

The Hurwitz space is a compactification of the space of rational functions of a given degree. We study the intersection of various strata of this space with its boundary. A study of the cohomology ring of the Hurwitz space then allows us to obtain recurrence relations for certain numbers of ramified coverings of a sphere by a sphere with prescribed ramifications. Generating functions for these numbers belong to a very particular subalgebra of the algebra of power series.

For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the question for G=SL(7,C). In a separate paper we show that one of these criteria is in fact necessary and sufficient when the classes are pulled back from a Grassmannian. More generally If G' -> G is an inclusion of complex reductive connected Lie groups, there is an induced map H^*(G/B) -> H^*(G'/B') on the cohomology of the homogeneous spaces. The image of a Schubert class under this map is a positive sum of Schubert classes on G'/B'. We investigate the problem of determining which Schubert classes appear with non-zero coefficient. This is the vanishing problem for branching Schubert calculus, which plays an important role in representation theory and symplectic geometry, as shown in [Berenstein-Sjamaar 2000]. The root game generalises to give a vanishing criterion and a non-vanishing criterion for this problem.

It is known that the combinatorial classes in the cohomology of the mapping class group of punctures surfaces defined by Witten and Kontsevich are polynomials in the adjusted Miller-Morita-Mumford classes. The leading coefficient was computed in [Kiyoshi Igusa: Algebr. Geom. Topol. 4 (2004) 473-520]. The next coefficient was computed in [Kiyoshi Igusa: math.AT/0303157, to appear in Topology]. The present paper gives a recursive formula for all of the coefficients. The main combinatorial tool is a generating function for a new statistic on the set of increasing trees on 2n+1 vertices. As we already explained in the last paper cited this verifies all of the formulas conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705--749]. Mondello [math.AT/0303207, to appear in IMRN] has obtained similar results using different methods.

We give elementary geometric proofs of the main theorems about the (small) quantum cohomology of partial flag varieties SL(n)/P, including the quantum Pieri and quantum Giambelli formulas and the presentation.

Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves. When the Alexander dual D* is Cohen-Macaulay there is only one such non-zero cohomology sheaf. We investigate when this sheaf can be an a'th syzygy sheaf in a locally free resolution and show that this corresponds exactly to the case of D* being a+1-Cohen-Macaulay as defined by K.Baclawski. By putting further conditions on the sheaves we get nice subclasses of a+1- Cohen-Macaulay simplicial complexes whose f-vector depends only on a and the invariants n,d, and c. When a=0 these are the bi-Cohen-Macaulay simplicial complexes, when a=1 and d=2c cyclic polytopes are examples, and when a=c we get Alexander duals of the Steiner systems S(c,d,n). We also show that D* is Gorenstein* iff the associated coherent sheaf of D is an ideal sheaf.

The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_Φ$ on the intersection cohomology $IH(Φ)$ of a complete fan $Φ$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_Φ$.

In a previous article, we proved tight lower bounds for the coefficients of the generalized $h$-vector of a centrally symmetric rational polytope using intersection cohomology of the associated projective toric variety. Here we present a new proof based on the theory of combinatorial intersection cohomology developed by Barthel, Brasselet, Fieseler and Kaup. This theory is also valid for nonrational polytopes when there are no corresponding toric varieties. So we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational.