Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/9912199

Torus actions, equivariant moment-angle complexes, and coordinate subspace arrangements

Victor M. Buchstaber·Taras E. Panov
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in m-dimensional complex space is isomorphic to the cohomology algebra of Stanley-Reisner 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.) Then we calculate the latter cohomology algebra by means of the standard Koszul resolution of polynomial ring. To prove these facts we construct an equivariant with respect to the torus action homotopy equivalence between the complement of a coordinate subspace arrangement and the moment-angle complex defined by the simplicial complex. The moment-angle complex is a certain subset of a unit poly-disk in m-dimensional complex space invariant with respect to the action of an m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere, but otherwise has more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the Eilenberg-Moore spectral sequence. We also relate our results with well known facts in the theory of toric varieties and symplectic geometry.

Explore related subjects

math.ATmath.ACmath.AGmath.COmath.RAmath.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Victor M. Buchstaber, Taras E. Panov. 1999-12-24. Torus actions, equivariant moment-angle complexes, and coordinate subspace arrangements. https://arxiv.org/abs/math/9912199

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Uniqueness of differential Poincaré duality models

We prove the remaining even-dimensional case of the Lambrechts--Stanley "uniqueness" conjecture for 1-connected differential Poincaré duality models. Together with our previous odd-dimensional result, this shows that any two such algebras weakly homotopy equivalent as PDGAs admit direct PDGA quasi-isomorphisms into a common connected differential Poincaré duality algebra. We use our previous method of obtaining differential Poincaré duality models as nondegenerate quotients of Hodge extensions, the new ingredient being a Hodge extension in the middle degree.

math.AT↗
arXiv2026

Coulomb branches for quaternionic representations

I describe the \emph{Chiral rings} $\caR_{3,4}$ for $3$D, $N=4$ supersymmetric $G$-gauge theory and matter fields in quaternionic representations~$E$: first, by incorporating \emph{twisted} real structures in the construction of~\cite{bfn}, and second, more explicitly, by Weyl group descent from the maximal torus. A topological obstruction $w_4(E)$ (modulo squares) appears for $\caR_3$; a secondary obstruction $η\cdot E$, appears for $\caR_4$. The two combine to a gauging obstruction of~$E$ by~$G$ in $4$D, $N=2$ supersymmetry, enhancing Witten's original obstruction. I classify the obstructions for connected~$G$. Freedom of the chiral rings over the Toda bases reduces calculations to the case of semi-simple rank~$1$. For representations whose weights include the roots of~$G$, an Abelianization formula describes the $\caR$ in terms of the maximal torus and the Weyl group. My approach an alternative and generalization to a recent paper arXiv:2201.09475.}

math.AT↗
arXiv2026

Homotopy Theory for Ordered Simplicial Complexes

We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a new model for the homotopy theory of spaces.

math.AT↗