Buchstaber invariants of skeleta of a simplex

From MaRDI portal
Publication:661399



Abstract: A moment-angle complex mathcalZK is a compact topological space associated with a finite simplicial complex K. It is realized as a subspace of a polydisk (D2)m, where m is the number of vertices in K and D2 is the unit disk of the complex numbers C, and the natural action of a torus (S1)m on (D2)m leaves mathcalZK invariant. The Buchstaber invariant s(K) of K is the maximum integer for which there is a subtorus of rank s(K) acting on mathcalZK freely. The story above goes over the real numbers R in place of C and a real analogue of the Buchstaber invariant, denoted sR(K), can be defined for K and s(K)leqqsR(K). In this paper we will make some computations of sR(K) when K is a skeleton of a simplex. We take two approaches to find sR(K) and the latter one turns out to be a problem of integer linear programming and of independent interest.


This paper provides some computations of the real Buchstaber invariant of the skeleta of a simplex. The Buchstaber invariant of a finite simplicial complex \(K\) is defined in the following way: \textit{M. W. Davis} and \textit{T. Januszkiewicz} [Duke Math. J. 62, No. 2, 417--451 (1991; Zbl 0733.52006)] associated to \(K\) a space \({\mathcal Z}_K\), referred to as the moment-angle complex of \(K\), and [\textit{V. M. Buchstaber} and \textit{T. E. Panov}, Torus actions and their applications in topology and combinatorics. University Lecture Series. 24. Providence, RI:American Mathematical Society (AMS). (2002; Zbl 1012.52021)] realized it as an \((S^1)^m\)-invariant subspace of the polydisc \((D^2)^m\subset {\mathbb C}^m\), where \(m\) is the number of vertices of \(K\). Then the Buchstaber invariant of \(K\) is the largest dimension of a subtorus of \((S^1)^m\) acting freely on \({\mathbb Z}_K\). It is bounded from above by the real Buchstaber invariant, which is defined analogously by replacing the action of \((S^1)^m\) on the moment-angle complex \({\mathcal Z}_K\) by an action of the two-torus \((S^0)^m\) on the real moment-angle complex \({\mathbb R}{\mathcal Z}_K\). The authors denote the real Buchstaber invariant of the \((m-p-1)\)-skeleton of the \((m-1)\)-simplex by \(s_{\mathbb R}(m,p)\) and prove several results about these numbers; for instance, they calculate \(s_{\mathbb R}(m,p)\) for \(m-3 \leq p\leq m\). Moreover, they investigate the values of \(m\) and \(p\) for which \(s_{\mathbb R}(m,p)\) equals a fixed number \(k\), and formulate the problem of finding the range of \(m\) for which this equality holds (depending on fixed \(p\) and \(k\)) as a problem of integer linear programming. For various choices of \(p\) and \(k\) they are able to solve it, and they formulate a conjecture for the general case.











This page was built for publication: Buchstaber invariants of skeleta of a simplex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q661399)