The hypertoric intersection cohomology ring

We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we show that this ring structure is induced by a ring structure on the equivariant intersection cohomology sheaf in the equivariant derived category. The computation is given in terms of a localization functor which takes equivariant sheaves on a sufficiently nice stratified space to sheaves on a poset. T. Braden’s research was supported in part by NSF grant DMS-0201823. N. Proudfoot’s research was supported in part by an NSF Postdoctoral Research Fellowship and NSF grant DMS-0738335.     

On Intersection Lattices of Hyperplane Arrangements Generated by Generic Points

We consider hyperplane arrangements generated by generic points and study their intersection lattices. These arrangements are known to be equivalent to discriminantal arrangements. We show a fundamental structure of the intersection lattices by decomposing the poset ideals as direct products of smaller lattices corresponding to smaller dimensions. Based on this decomposition we compute the M?bius functions of the lattices and the characteristic polynomials of the arrangements up to dimension six.     

The ring structure on the cohomology of coordinate subspace arrangements

Every simplicial complex on the vertex set defines a real resp. complex arrangement of coordinate subspaces in resp. via the correspondence The linear structure of the cohomology of the complement of such an arrangement is explicitly given in terms of the combinatorics of and its links by the Goresky–MacPherson formula. Here we derive, by combinatorial means, the ring structure on the integral cohomology in terms of data of . We provide a non-trivial example of different cohomology rings in the real and complex case. Furthermore, we give an example of a coordinate arrangement that yields non-trivial multiplication of torsion elements. Received March 3, 1999; in final form June 24, 1999     

Cohomology of partially ordered sets and local cohomology of section rings

We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face poset of the fan. Thus we obtain a decomposition of the local cohomology of such face rings. Since the Stanley-Reisner ring of a simplicial complex is the face ring of a rational pointed fan, our main result can be interpreted as a generalization of Hochster's decomposition of local cohomology of Stanley-Reisner rings.     

Hyperplane arrangements with a lattice of regions

A hyperplane arrangement is a finite set of hyperplanes through the origin in a finite-dimensional real vector space. Such an arrangement divides the vector space into a finite set of regions. Every such region determines a partial order on the set of all regions in which these are ordered according to their combinatorial distance from the fixed base region.We show that the base region is simplicial whenever the poset of regions is a lattice and that conversely this condition is sufficient for the lattice property for three-dimensional arrangements, but not in higher dimensions. For simplicial arrangements, the poset of regions is always a lattice.In the case of supersolvable arrangements (arrangements for which the lattice of intersections of hyperplanes is supersolvable), the poset of regions is a lattice if the base region is suitably chosen. We describe the geometric structure of such arrangements and derive an expression for the rank-generating function similar to a known one for Coxeter arrangements. For arrangements with a lattice of regions we give a geometric interpretation of the lattice property in terms of a closure operator defined on the set of hyperplanes.The results generalize to oriented matroids. We show that the adjacency graph (and poset of regions) of an arrangement determines the associated oriented matroid and hence in particular the lattice of intersections.The work of Anders Björner was supported in part by a grant from the NSF. Paul Edelman's work was supported in part by NSF Grants DMS-8612446 and DMS-8700995. The work of Günter Ziegler was done while he held a Norman Levinson Graduate Fellowship at MIT.     

二次图构形的边搜索法及其Orlik-Solomon代数的上同调

本文研究了一类特殊的图构形,即二次图构形.首先,给出了弦图的边搜索法,用边搜索法可以决定弦图所对应的超平面构形中超平面的哪些排序使构形是二次均.其次,对二次图构形的Orlik-Solomon代数作为线性空间的维数进行了计算,得到了它的Poincare多项式的表达式.最后,对二次图构形Orlik-Solomon代数的上同调进行了研究,对边缘算子集中在秩为二的模元时,得到了二次图构形的Orlik-Solomon代数的上同调的维数计算公式.     

Mod 2 cohomology of combinatorial Grassmannians

Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles. It defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles. It then gives a transformation from matroid bundles to spherical quasifibrations, by showing that the geometric realization of a matroid bundle is a spherical quasifibration. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. A consequence is that the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes.     

Cohomology of open torus manifolds

The notion of an open torus manifold is introduced. A compact open torus manifold is a torus manifold introduced earlier. It is shown that the equivariant cohomology ring of an open torus manifold M is the face ring of a simplicial poset when every face of the orbit space Q is acyclic. This result extends an earlier result by Masuda and Panov, and the proof here is more direct. Reisner’s theorem is then applied to our setting, and a necessary and sufficient condition is given for the equivariant cohomology ring of M to be Cohen-Macaulay in terms of the orbit space Q.     

On cohomology algebras of complex subspace arrangements

The integer cohomology algebra of the complement of a complex subspace arrangement with geometric intersection lattice is completely determined by the combinatorial data of the arrangement. We give a combinatorial presentation of the cohomology algebra in the spirit of the Orlik-Solomon result on the cohomology algebras of complex hyperplane arrangements. Our methods are elementary: we work with simplicial models for the complements that are induced by combinatorial stratifications of complex space. We describe simplicial cochains that generate the cohomology. Among them we distinguish a linear basis, study cup product multiplication, and derive an algebra presentation in terms of generators and relations.

     

Cohomology of Real Diagonal Subspace Arrangements via Resolutions

We express the cohomology of the complement of a real subspace arrangement of diagonal linear subspaces in terms of the Betti numbers of a minimal free resolution. This leads to formulas for the cohomology in some cases, and also to a cohomology vanishing theorem valid for all arrangements.     

Faces of a Hyperplane Arrangement Enumerated by Ideal Dimension, with Application to Plane, Plaids, and Shi

The ideal dimension of a real affine set is the dimension of the intersection of its projective topological closure with the infinite hyperplane. We obtain a formula for the number of faces of a real hyperplane arrangement having given dimension and ideal dimension. We apply the formula to the plane, to plaids, which are arrangements of parallel families in general position, and to affinographic arrangements. We compare two definitions of ideal dimension and ask about a complex analog of the enumeration.     

Fano surfaces of real quartics

We prove certain properties of the Fano surface of bitangents to the real quartic in projective 3-space. In particular, we estimate the dimension of the cohomology of the real part of this surface in terms of the dimension of the cohomology of the real part of the quartic, and compute its Euler characteristic.     

The combinatorics of the bar resolution in group cohomology

We study a combinatorially defined double complex structure on the ordered chains of any simplicial complex. Its columns are related to the cell complex K_n whose face poset is isomorphic to the subword ordering on words without repetition from an alphabet of size n. This complex is shellable and as an application we give a representation theoretic interpretation for derangement numbers and a related symmetric function considered by Désarménien and Wachs [11].

We analyze the two spectral sequences arising from the double complex in the case of the bar resolution for a group. This spectral sequence converges to the cohomology of the group and provides a method for computing group cohomology in terms of the cohomology of subgroups. Its behavior is influenced by the complex of oriented chains of the simplicial complex of finite subsets of the group, and we examine the Ext class of this complex.     

Poset Loops

Given a ring and a locally finite poset, an incidence loop or poset loop is obtained from a new and natural extended convolution product on the set of functions mapping intervals of the poset to elements of the ring. The paper investigates the interplay between properties of the ring, the poset, and the loop. The annihilation structure of the ring and extremal elements of the poset determine commutative and associative properties for loop elements. Nilpotence of the ring and height restrictions on the poset force the loop to become associative, or even commutative. Constraints on the appearance of nilpotent groups of class 2 as poset loops are given. The main result shows that the incidence loop of a poset of finite height is nilpotent, of nilpotence class bounded in terms of the height of the poset.     

Decomposition theorem for the cd-index of Gorenstein<Superscript>*</Superscript> posets

We prove a decomposition theorem for the cd-index of a Gorenstein^* poset analogous to the decomposition theorem for the intersection cohomology of a toric variety. From this we settle a conjecture of Stanley that the cd-index of Gorenstein* lattices is minimized on Boolean algebras.     

General lexicographic shellability and orbit arrangements

We introduce a new poset property which we call EC-shellability. It is more general than the more established concept of EL-shellability, but it still implies shellability. Because of Theorem 3.10, EC-shellability is entitled to be called general lexicographic shellability. As an application of our new concept, we prove that intersection lattices Π_λ of orbit arrangementsA _λ are EC-shellable for a very large class of partitions λ. This allows us to compute the topology of the link and the complement for these arrangements. In particular, for this class of λs, we are able to settle a conjecture of Björner [B94, Conjecture 13.3.2], stating that the cohomology groups of the complement of the orbit arrangements are torsion-free. We also present a class of partitions for which Π_λ is not shellable, along with other issues scattered throughout the paper.     

Homology and cohomology in hypo-analytic structures of the hypersurface type

The work is concerned with local exactness in the cohomology of the differential complex associated with a hypo-analytic structure on a smooth manifold. Only structures of the hypersurface type are considered, i.e., structures in which the rank of the characteristic set does not exceed one. Among them are the CR structures of real hypersurfaces in a complex manifold. The main theorem states anecessary condition for local exactness in dimensionq to hold. The condition is stated in terms of the natural homology associated with the differential complex, as inherited by the level sets of the imaginary part of an arbitrary solutionw whose differential spans the characteristic set at the central point. An intersection number, which generalizes the standard number in singular homology, is defined; the condition is that this number, applied to the intersection of the level sets ofImw with the hypersurfaceRew=0, vanish identically. In a CR structure, and in top dimension, this is shown to be equivalent to the property that the Levi form not be definite at any point—a property, that is likely to be also sufficient for local solvability.