Universal complexes in toric topology

DOI10.1007/S00025-023-01995-3MaRDI QIDQ6076658zbMATH OpenOpenAlexFDO

Authors Djordje Baralic, A. Vavpetič, Aleksandar Vučić

Publication date 21 September 2023

Published in Results in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2211.14937

bigraded Betti numbers Lusternik-Schnirelmann category moment-angle complex Tor-algebra universal complexes

Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Abstract complexes in algebraic topology (55U05) Discrete Morse theory and related ideas in manifold topology (57Q70) Toric topology (57S12)

Abstract: We study combinatorial and topological properties of the universal complexes

X (m a t h b b F_{p}^{n})

and

K (m a t h b b F_{p}^{n})

whose simplices are certain unimodular subsets of

m a t h b b F_{p}^{n}

. We calculate their

m a t h b f f

-vectors and their Tor-algebras, show that they are shellable but not shifted, and find their applications in toric topology and number theory. We showed that the Lusternick-Schnirelmann category of the moment angle complex of

X (m a t h b b F_{p}^{n})

is

n

, provided

p

is an odd prime, and the Lusternick-Schnirelmann category of the moment angle complex of

K (m a t h b b F_{p}^{n})

is

[f r a c n 2]

. Based on the universal complexes, we introduce the Buchstaber invariant

s_{p}

for a prime number

p

.

Review text

The paper is devoted to the so called universal complexes \(X(\mathbb F^n_p)\) and \(K(\mathbb F^n_p)\), that play an important role in mod \(p\) toric topology and its applications. The faces of those simplicial complexes are certain unimodular subsets of \(\mathbb F^n_p\). The authors compute \(f\)-vectors of those complexes as well as their bigraded Betti numbers. Furthermore, they show that the complexes are shellable. Turning from combinatorial commutative algebra to homotopy theory, the authors prove that the Lusternik-Schnirelmann category of the moment-angle-complex of the simplicial complex \(X(\mathbb F^n_p)\) equals \(n\), provided \(p\) is an odd prime, whereas the Lusternik-Schnirelmann category of the moment-angle-complex of the simplicial complex \(K(\mathbb F^n_p)\) equals \([n/2]\). Finally, they introduce the Buchstaber invariant \(s_p\) for a prime number \(p\) based on the theory of universal complexes.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Universal complexes in toric topology

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