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.

     

Persistent Intersection Homology

The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed framework of persistent homology. We demonstrate that persistent intersection homology gives useful information about the relationship between an embedded stratified space and its singularities. We give an algorithm for the computation of the persistent intersection homology groups of a filtered simplicial complex equipped with a stratification by subcomplexes, and we prove its correctness. We also derive, from Poincaré Duality, some structural results about persistent intersection homology.     

Some filtrations on higherK-theory and related invariants

We lift Bloch's higher Chow construction from the level of simplicial sets to the level of simplicial spaces. We construct a simplicial space that becomes isomorphic to the Bloch/Chow complex when the functor ₀ is applied in each degree. The homotopy groups of this space are theE ₂-terms in an Atiyah-Hirzebruch spectral sequence converging to algebraicK-theory. TheseE ₂-terms map nontrivially to the expected higher Chow groups. We define and compute several intermediate invariants associated to our simplicial space.     

Simplicial elimination schemes,extremal lattices and maximal antichain lattices

Fix a partial order P=(X, <). We first show that bipartite orders are sufficient to study structural properties of the lattice of maximal antichains. We show that all orders having the same lattice of maximal antichains can be reduced to one representative order (called the poset of irreducibles by Markowsky [14]). We then define the strong simplicial elimination scheme to characterize orders which have distributive lattice of maximal antichains. The notion of simplicial elimination corresponds to the decomposition process described in [14] for extremal lattices. This notion leads to simple greedy algorithms for distributivity checking, lattice recognition and jump number computation. In the last section, we give several algorithms for lattices and orders.     

Simple homotopy types and finite spaces

We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse X↘Y of finite spaces induces a simplicial collapse K(X)↘K(Y) of their associated simplicial complexes. Moreover, a simplicial collapse K↘L induces a collapse X(K)↘X(L) of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finite spaces. We also prove a similar result for maps: We give a complete characterization of the class of maps between finite spaces which induce simple homotopy equivalences between the associated polyhedra. This class describes all maps coming from simple homotopy equivalences at the level of complexes. The advantage of this theory is that the elementary move of finite spaces is much simpler than the elementary move of simplicial complexes: It consists of removing (or adding) just a single point of the space.     

On a conjecture by Kalai

We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular, we give a partial answer to a conjecture of Kalai by proving that h-vectors of flag Cohen-Macaulay simplicial complexes are h-vectors of Cohen-Macaulay balanced simplicial complexes.     

AN f-ALGEBRA APPROACH TO THE RIESZ TENSOR PRODUCT OF ARCHIMEDEAN RIESZ SPACES

Abstract

We construct the Riesz tensor product of Archimedean Riesz spaces and derive its properties using functional calculus and f-algebras. We improve results on the approximation of elements in the Riesz tensor product by means of elements in the vector space tensor product in such a way that the order density property is a consequence of the improved approximation result.     

Reconstructing the orbit type stratification of a torus action from its equivariant cohomology

We investigate what information on the orbit type stratification of a torus action on a compact space is contained in its rational equivariant cohomology algebra. Regarding the (labelled) poset structure of the stratification, we show that equivariant cohomology encodes the subposet of ramified elements. For equivariantly formal actions, we also examine what cohomological information of the stratification is encoded. In the smooth setting, we show that under certain conditions—which in particular hold for a compact orientable manifold with discrete fixed point set—the equivariant cohomologies of the strata are encoded in the equivariant cohomology of the manifold.

     

The Poincaré problem for foliations on compact toric orbifolds

We give an optimal upper bound of the degree of quasi-smooth hypersurfaces which are invariant by a one-dimensional holomorphic foliation on a compact toric orbifold, i.e. on a complete simplicial toric variety. This bound depends only on the degree of the foliation and of the degrees of the toric homogeneous coordinates.

     

Noncommutative simplicial complexes and the Baum—Connes conjecture

We associate a noncommutative C ^*-algebra with every locally finite simplicial complex.We determine the K-theory of these algebras and show that they can be used to obtain a conceptual explanation for the Baum—Connes conjecture. Our main technical result determines the algebra generated by the coefficients of a universal projection in an algebraic crossed product by a discrete group , in terms of such a noncommutative algebra associated with a simplicial complex defined by . Submitted: May 2001, Revised: October 2001, Revised: April 2002.     

Arrangements of hyperplanes with property D

We denote by the complement of the complexification of a real arrangement of hyperplanes. It is known that there is a certain technical property, called property D, on real arrangements of hyperplanes such that: if a real arrangement of hyperplanes is simplicial then has property D, and if has property D then is aK(, 1) space. Our main goal is to prove that: if has property D then is simplicial. We also prove that a quasi-simplicial arrangement is always simplicial.     

Stanley's Simplicial Poset Conjecture,After M. Masuda

ABSTRACT

M. Masuda recently provided the missing piece proving a conjecture of R.P. Stanley on the characterization of f-vectors for Gorenstein? simplicial posets. We propose a slight simplification of Masuda's proof.     

Torus Actions, Equivariant Moment-Angle Complexes, and Coordinate Subspace Arrangements

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in the m-dimensional complex space is isomorphic to the cohomology algebra of the StanleyReisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) After that we calculate the latter cohomology algebra by means of the standard Koszul resolution of a polynomial ring. To prove these facts, we construct a homotopy equivalence (equivariant with respect to the torus action) between the complement of a coordinate subspace arrangement and the moment-angle complex defined by a simplicial complex. The moment-angle complex is a certain subset of the unit polydisk in the m-dimensional complex space invariant with respect to the action of the m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere; otherwise, the complex has a more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the EilenbergMoore spectral sequence. We also relate our results with well-known facts in the theory of toric varieties and symplectic geometry. Bibliography: 23 titles.     

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.     

Spectral element methods on unstructured meshes: which interpolation points?

In the field of spectral element approximations, the interpolation points can be chosen on the basis of different criteria, going from the minimization of the Lebesgue constant to the simplicity of the point generation procedure. In the present paper, we summarize some recent nodal distributions for a high order interpolation in the triangle. We then adopt these points as approximation points for the numerical solution of an elliptic partial differential equation on an unstructured simplicial mesh. The L ²-norm of the approximation error is then analyzed for a model problem.     

Right-angularity, flag complexes, asphericity

The ??polyhedral product functor?? produces a space from a simplicial complex L and a collection of pairs of spaces, {(A(i), B(i))}, where i ranges over the vertex set of L. We give necessary and sufficient conditions for the resulting space to be aspherical. There are two similar constructions, each of which starts with a space X and a collection of subspaces, {X _i }, where ${i \in \{0,1. . . . , n\}}$ , and then produces a new space. We also give conditions for the results of these constructions to be aspherical. All three techniques can be used to produce examples of closed aspherical manifolds.     

Manifold-theoretic compactifications of configuration spaces

We present new definitions for and give a comprehensive treatment of the canonical compactification of configuration spaces due to Fulton–MacPherson and Axelrod–Singer in the setting of smooth manifolds, as well as a simplicial variant of this compactification initiated by Kontsevich. Our constructions are elementary and give simple global coordinates for the compactified configuration space of a general manifold embedded in Euclidean space. We stratify the canonical compactification, identifying the difieomorphism types of the strata in terms of spaces of configurations in the tangent bundle, and give completely explicit local coordinates around the strata as needed to define a manifold with corners. We analyze the quotient map from the canonical to the simplicial compactification, showing it is a homotopy equivalence. Using global coordinates we define projection maps and diagonal maps, which for the simplicial variant satisfy cosimplicial identities.