arXiv++ Combinatorics

For several important classes of manifolds acted on by the torus, the information about the action can be encoded combinatorially by a regular n-valent graph with vector labels on its edges, which we refer to as the torus graph. By analogy with the GKM-graphs, we introduce the notion of equivariant cohomology of a torus graph, and show that it is isomorphic to the face ring of the associated simplicial poset. This extends a series of previous results on the equivariant cohomology of torus manifolds. As a primary combinatorial application, we show that a simplicial poset is Cohen-Macaulay if its face ring is Cohen-Macaulay. This completes the algebraic characterisation of Cohen-Macaulay posets initiated by Stanley. We also study blow-ups of torus graphs and manifolds from both the algebraic and the topological points of view.

We introduce the notion of a standard weighted graph and show that every weighted graph has an essentially unique standard model. Moreover we classify birational transformations between such models. Our central result shows that these are composed of elementary transformations. The latter ones are defined similarly to the well known elementary transformations of ruled surfaces. In a forthcoming paper, we apply these results in the geometric setup to obtain standard equivariant completions of affine surfaces with an action of certain algebraic groups. We show that these completions are unique up to equivariant elementary transformations.

We show Péter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows to replace the complexes Hom(G, K_n) by smaller complexes that are homeomorphic to them whenever G is a graph for which those complexes are manifolds. The equivariant version of Csorba's conjecture is proved up to homotopy. We also study certain subdivisions of simplicial manifolds that are related to the interval poset of their face posets and their connection with geometric approximations to diagonal maps.

Let $\mathcal{A}_n^k$ denote all nonbounding effective smooth $({\Bbb Z}_2)^k$-actions on $n$-dimensional smooth closed connected manifolds, each of which is cobordant to one with finite fixed set. Motivated by GKM theory, one can associate to each action of $\mathcal{A}_n^k$ a $({\Bbb Z}_2)^k$-colored regular graph of valence $n$. Together with the combinatorics of colored graphs, equivariant cobordism and the tom Dieck-Kosniowski-Stong localization theorem, we give a lower bound for the number of fixed points of an action in $\mathcal{A}_n^k$, which can become the best possible in some cases; we determine the existence and the equivariant cobordism classification of all actions in $\mathcal{A}_n^k(h)$ with $h=3,4$, where $\mathcal{A}_n^k(h)$ is the subset of $\mathcal{A}_n^k$, each of which is equivariantly cobordant to an effective $({\Bbb Z}_2)^k$-action fixing just $h$ isolated points, and it is well-known that $\mathcal{A}_n^k(h)$ is empty if $h=1,2$; we characterize the explicit relationships among tangent representations at fixed points of each action in $\mathcal{A}_n^k(h)$ with $h=3,4$, which actually give the explicit solution of the Smith problem in such cases. As an application, we also study the minimum number of fixed points of all actions in $\mathcal{A}_n^k$.

We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around the coordinate hyperplanes and trivial monodromy around all other hyperplanes. In the case where the local system is equivariant for the symmetric group, we write the cohomology groups as direct sums of inductions of one-dimensional characters of subgroups. This relies on an equivariant description of the Orlik-Solomon algebras of full monomial reflection groups (wreath products of the symmetric group with a cyclic group). The combinatorial models involved are certain representations of these wreath products which possess bases indexed by labelled trees.

Let $LG_n$ denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension $2n.$ For each strict partition $λ=(λ_1,...,λ_k)$ with $λ_1\leq n$ there is a Schubert variety $X(λ).$ Let $T$ denote a maximal torus of the symplectic group acting on $LG_n.$ Consider the $T$-equivariant cohomology of $LG_n$ and the $T$-equivariant fundamental class $σ(λ)$ of $X(λ).$ The main result of the present paper is an explicit formula for the restriction of the class $σ(λ)$ to any torus fixed point. The formula is written in terms of factorial analogue of the Schur $Q$-function, introduced by Ivanov. As a corollary to the restriction formula, we obtain an equivariant version of the Giambelli-type formula for $LG_n.$ As another consequence of the main result, we obtained a presentation of the ring $H_T^*(LG_n).$

We find presentations by generators and relations for the equivariant quantum cohomology of the Grassmannian. For these presentations, we also find determinantal formulae for the equivariant quantum Schubert classes. To prove this, we use the theory of factorial Schur functions and a characterization of the equivariant quantum cohomology ring.

To any moment graph G we assign a subcategory V of the category of sheaves on G together with an exact structure. We show that in the case that the graph is associated to a non-critical block of the equivariant category O over a symmetrizable Kac-Moody algebra, V is equivalent (as an exact category) to the subcategory of modules that admit a Verma flag. The projective modules correspond under this equivalence to the intersection cohomology sheaves on the graph.

In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we apply to construct global resolutions for equivariant sheaves. Our constructions give a natural correspondence between resolutions for reflexive equivariant sheaves and free resolutions of vector space arrangements.

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.

We interpret the number of good four-colourings of the faces of a trivalent, spherical polyhedron as the 2-holonomy of the 2-connection of a fibered category, phi, modeled on Rep(sl(2)) and defined over the dual triangulation, T. We also build an sl(2)-bundle with connection over T, that is a global, equivariant section of phi, and we prove that the four-colour theorem is equivalent to the fact that the connection of this sl(2)-bundle vanishes nowhere. This interpretation may be a first step toward a cohomological proof of the four-colour theorem.

We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that satisfy the normal flatness criterion of Hironaka. The results extend to more general varieties defined locally by binomial equations.

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.

Combining a selection of tools from modern algebraic geometry, representation theory, the classical invariant theory of binary forms, together with explicit calculations with hypergeometric series and Feynman diagrams, we obtain the following interrelated results. A Castelnuovo-Mumford regularity bound and a projective normality result for the locus of hypersufaces that are equally supported on two hyperplanes. The surjectivity of an equivariant map between two plethystic compositions of symmetric powers; a statement which is reminiscent of the Foulkes-Howe conjecture. The nonvanishing of even transvectants of exact powers of generic binary forms. The nonvanishing of a collection of symmetric functions defined by sums over magic squares and transportation matrices with nonnegative integer entries. An explicit set of generators, in degree three, for the ideal of the coincident root locus of binary forms with only two roots of equal multiplicity.

We study the Z/2-equivariant K-theory of the complement of the complexification of a real hyperplane arrangement. We compute the rational K and KO rings, and give two different combinatorial descriptions of the subring of the integral KO ring generated by line bundles.

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.

We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of calculating the obstructions for the existence of equivariant maps. A variety of techniques are introduced and discussed with the emphasis on concrete and explicit calculations. This eventually leads (Theorems 18 and 19) to an almost exhaustive analysis of when such maps do or do not exist in the particular case of interest.

\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.

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.