Affiliation:
1. Faculty of Computer Science, National Research University Higher School of Economics , Moscow 109028, Russian Federation
2. V.A. Steklov Mathematical Institute, RAS, and Faculty of Computer Science , National Research University Higher School of Economics, Moscow 119991, Russian Federation
Abstract
AbstractIn this paper, we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010 and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $\Gamma $. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $\Gamma $. This poset is similar to the graphicahedron of $\Gamma $, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $\Gamma $-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.
Publisher
Oxford University Press (OUP)
Reference32 articles.
1. A Survey of Recent Developments on Hessenberg Varieties;Abe,2017
2. The graphicahedron;Araujo-Pardo;European J. Combin.,2010
3. Manifolds of isospectral arrow matrices;Ayzenberg;Mat. Sb.,2021
4. Manifolds of isospectral matrices and Hessenberg varieties;Ayzenberg;Int. Math. Res. Not. IMRN,2021
5. How is a graph not like a manifold?;Ayzenberg