arXiv++ Combinatorics

Inflation of a simplicial complex $K$ is a construction well known in combinatorial topology. It replaces each vertex $i$ of $K$ with a finite number $n_i$ of its copies, and each simplex $\{i_0,\ldots,i_k\}$ with $n_{i_0}n_{i_1}\cdots n_{i_k}$ many copies so that the collection of vertex-copies is spanned by a simplex in the inflation if and only if their originals were spanned by a simplex in the original complex. The celebrated poset fiber theorem of Björner, Wachs, and Welker describes the homotopy type of such inflation in terms of homotopy types of $K$ and its links. In the current paper, we introduce more general inflations over simplicial posets: we replace each simplex with an arbitrary finite set of copies. The way how these sets patch together is specified by a commutative diagram, or, equivalently, a sheaf on the corresponding finite topology. The generalized inflation can be understood as étale space of such sheaf. We prove that, whenever this inflation sheaf is flabby, the poset fiber theorem still applies. We prove all results similar to those known for vertex inflations. We also cover the previous result of the first author about homotopy types of clique complexes of multigraphs.

In this paper we study the nerves of two types of coverings of a sphere $S^{d-1}$: (1) coverings by open hemispheres; (2) antipodal coverings by closed hemispheres. In the first case, nerve theorem implies that the nerve is homotopy equivalent to $S^{d-1}$. In the second case, we prove that the nerve is homotopy equivalent to a wedge of $(2d-2)$-dimensional spheres. The number of wedge summands equals the Möbius invariant of the geometric lattice (or hyperplane arrangement) associated with the covering. This result explains some observed large-scale phenomena in topological data analysis. We review the particular case, when the coverings are centered in the root system $A_d$. In this case the nerve of the covering by open hemispheres is the space of directed acyclic graphs (DAGs), and the nerve of the covering by closed hemispheres is the space of non-strongly connected directed graphs. The homotopy types of these spaces were described by Björner and Welker, and the incarnation of these spaces appeared independently as "the poset of orders" and "the poset of preorders" respectively in the works of Bouc. We study the space of DAGs in terms of Gale and combinatorial Alexander dualities, and propose how this space can be applied in automated machine learning.

We characterize the actions of compact tori on smooth manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds the result was originally proved by Styrt in 2009. We give a new proof for closed manifolds which is also applicable to manifolds with boundary. In our arguments we use the result of Provan and Billera who characterized matroid complexes which are pseudomanifolds. We study the combinatorial structure of torus actions whose orbit spaces are manifolds. In two appendix sections we give an overview of two theories related to our work. The first one is the combinatorial theory of Leontief substitution systems from mathematical economics. The second one is the topological Kaluza--Klein model of Dirac's monopole studied by Atiyah. The aim of these sections is to draw some bridges between disciplines and motivate further studies in toric topology.

In this paper we prove that there exists an asymptotical diagonalization algorithm for a class of sparse Hermitian (or real symmetric) matrices if and only if the matrices become Hessenberg matrices after some permutation of rows and columns. The proof is based on Morse theory, Roberts' theorem on indifference graphs, toric topology, and computer-based homological calculations.

In 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 $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, 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 $Γ$-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.

In this paper we study general torus actions on manifolds with isolated fixed points from combinatorial point of view. The main object of study is the poset of face submanifolds of such actions. We introduce the notion of a locally geometric poset -- the graded poset locally modelled by geometric lattices, and prove that for any torus action, the poset of its faces is locally geometric. Next we discuss the relations between posets of faces and GKM-theory. In particular, we define the face poset of an abstract GKM-graph and show how to reconstruct the face poset of a manifold from its GKM-graph.

In this paper we introduce and study the topology of clique complexes of multigraphs without loops. These clique complexes generalize tournaplexes, which were recently introduced by Govc, Levi, and Smith for the topological study of brain functional networks. We study a general construction of edge-inflated simplicial posets, which generalize clique complexes of multigraphs. The poset fiber theorem of Björner, Wachs, and Welker is applied to obtain the homotopy wedge decomposition of an edge-inflated simplicial poset. The homological corollary of this result allows to parallelize the homology computations for edge inflated complexes, in particular, for clique complexes of multigraphs and tournaplexes. We provide functorial versions of some results to be used in computations of persistent homology. Finally, we introduce a general notion of simplex inflations and prove homotopy wedge decompositions for this class of spaces.

Let a compact torus $T=T^{n-1}$ act on an orientable smooth compact manifold $X=X^{2n}$ effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If $H^{odd}(X)=0$ and the weights of tangent representation at each fixed point are in general position, we prove that the orbit space $Q=X/T$ is a homology $(n+1)$-sphere. If, in addition, $π_1(X)=0$, then $Q$ is homeomorphic to $S^{n+1}$. We introduce the notion of $j$-generality of tangent weights of torus action. For any action of $T^k$ on $X^{2n}$ with isolated fixed points and $H^{odd}(X)=0$, we prove that $j$-generality of weights implies $(j+1)$-acyclicity of the orbit space $Q$. This statement generalizes several known results for actions of complexity zero and one. In complexity one, we give a criterion of equivariant formality in terms of the orbit space. In this case, we give a formula expressing Betti numbers of a manifold in terms of certain combinatorial structure that sits in the orbit space.

The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial simplification of simplicial complexes and allows to see a certain duality on a class of simplicial complexes. This duality generalizes Poincare duality on cell subdivisions of manifolds. On the other hand, with the notion of a topological formal context, we review the classical proofs of two basic theorems of homotopy topology: Alexandrov Nerve theorem and Quillen--McCord theorem, which are both important in the applications. A brief overview of the applications of the Nerve theorem in brain studies is given. The focus is made on the task of the external stimuli space reconstruction from the activity of place cells. We propose to use the combination of FCA and topology in the analysis of neural codes. The lattice of formal concepts of a neural code is homotopy equivalent to the nerve complex, but, moreover, it allows to analyse certain implication relations between collections of neural cells.

Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically equivariantly formal (which essentially means that $H^{odd}(X^{2n};\mathbb{Z})=0$). It happens that homology of the orbit space can be arbitrary in degrees $3$ and higher. For any finite simplicial complex $L$ we construct an equivariantly formal manifold $X^{2n}$ such that $X^{2n}/T^{n-1}$ is homotopy equivalent to $Σ^3L$. The constructed manifold $X^{2n}$ is the total space of the projective line bundle over the permutohedral variety hence the action on $X^{2n}$ is Hamiltonian and cohomologically equivariantly formal. We introduce the notion of the action in $j$-general position and prove that, for any simplicial complex $M$, there exists an equivariantly formal action of complexity one in $j$-general position such that its orbit space is homotopy equivalent to $Σ^{j+2}M$.

A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,λ}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $λ$. Using the discretized Shrödinger operator we describe all spectra $λ$ for which $X_{n,λ}$ is a topological manifold. The space $X_{n,λ}$ carries a natural effective action of a compact $(n-1)$-torus. We describe the topology of its orbit space and, in particular, show that whenever the isospectral space is a manifold, its orbit space is homeomorphic to $S^4\times T^{n-3}$. There is a classical dynamical system: the flow of the periodic Toda lattice, acting on $X_{n,λ}$. Except for the degenerate locus $X_{n,λ}^0$, the Toda lattice exhibits Liouville--Arnold behavior, so that the space $X_{n,λ}\setminus X_{n,λ}^0$ is fibered into tori. The degenerate locus of the Toda system is described in terms of combinatorial geometry: its structure is encoded in the special cell subdivision of a torus, which is obtained from the regular tiling of the euclidean space by permutohedra. We apply methods of commutative algebra and toric topology to describe the cohomology and equivariant cohomology modules of $X_{n,λ}$.

An arrow matrix is a matrix with zeroes outside the main diagonal, first row, and first column. We consider the space $M_{St_n,λ}$ of Hermitian arrow $(n+1)\times (n+1)$-matrices with fixed simple spectrum $λ$. We prove that this space is a smooth $2n$-manifold, and its smooth structure is independent on the spectrum. Next, this manifold carries the locally standard torus action: we describe the topology and combinatorics of its orbit space. If $n\geqslant 3$, the orbit space $M_{St_n,λ}/T^n$ is not a polytope, hence this manifold is not quasitoric. However, there is a natural permutation action on $M_{St_n,λ}$ which induces the combined action of a semidirect product $T^n\rtimesΣ_n$. The orbit space of this large action is a simple polytope. The structure of this polytope is described in the paper. In case $n=3$, the space $M_{St_3,λ}/T^3$ is a solid torus with boundary subdivided into hexagons in a regular way. This description allows to compute the cohomology ring and equivariant cohomology ring of the 6-dimensional manifold $M_{St_3,λ}$ using the general theory developed by the first author. This theory is also applied to a certain $6$-dimensional manifold called the twin of $M_{St_3,λ}$. The twin carries a half-dimensional torus action and has nontrivial tangent and normal bundles.

We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its smooth type is independent of the spectrum. Morse theory is then used to show the vanishing of odd degree cohomology, so that $X_h$ is an equivariantly formal manifold. The equivariant and ordinary cohomology of $X_h$ are described using GKM-theory. The main goal of this paper is to show the connection between the manifolds $X_h$ and the semisimple Hessenberg varieties well-known in algebraic geometry. Both the spaces $X_h$ and Hessenberg varieties form wonderful families of submanifolds in the complete flag variety. There is a certain symmetry between these families which can be generalized to other submanifolds of the flag variety.

Given an arbitrary non-zero simplicial cycle and a generic vector coloring of its vertices, there is a way to produce a graded Poincare duality algebra associated with these data. The procedure relies on the theory of volume polynomials and multi-fans. This construction includes many important examples, such as cohomology of toric varieties and quasitoric manifolds, and Gorenstein algebras of triangulated homology manifolds, introduced by Novik and Swartz. In all these examples the dimensions of graded components of such duality algebras do not depend on the vector coloring. It was conjectured that the same holds for any simplicial cycle. We disprove this conjecture by showing that the colors of singular points of the cycle may affect the dimensions. However, the colors of smooth points are irrelevant. By using bistellar moves we show that the number of different dimension vectors arising on a given 3-dimensional pseudomanifold with isolated singularities is a topological invariant. This invariant is trivial on manifolds, but nontrivial in general.

In this note we gather and review some facts about existence of toric spaces over 3-dimensional simple polytopes. First, over every combinatorial 3-polytope there exists a quasitoric manifold. Second, there exist combinatorial 3-polytopes, that do not correspond to any smooth projective toric variety. We restate the proof of the second claim which does not refer to complicated algebro-geometrical technique. If follows from these results that any fullerene supports quasitoric manifolds but does not support smooth projective toric varieties.

We introduce a theory of volume polynomials and corresponding duality algebras of multi-fans. Any complete simplicial multi-fan $Δ$ determines a volume polynomial $V_Δ$ whose values are the volumes of multi-polytopes based on $Δ$. This homogeneous polynomial is further used to construct a Poincare duality algebra $\mathcal{A}^*(Δ)$. We study the structure and properties of $V_Δ$ and $\mathcal{A}^*(Δ)$ and give applications and connections to other subjects, such as Macaulay duality, Novik--Swartz theory of face rings of simplicial manifolds, generalizations of Minkowski's theorem on convex polytopes, cohomology of torus manifolds, computations of volumes, and linear relations on the powers of linear forms. In particular, we prove that the analogue of the $g$-theorem does not hold for multi-polytopes.

Any manifold with boundary gives rise to a Poincare duality algebra in a natural way. Given a simplicial poset $S$ whose geometric realization is a closed orientable homology manifold, and a characteristic function, we construct a manifold with boundary such that graded components of its Poincare duality algebra have dimensions $h_k"(S)$. This gives a clear topological evidence for two well-known facts about simplicial manifolds: the nonnegativity of $h"$-numbers (Novik--Swartz theorem) and the symmetry $h"_k=h"_{n-k}$ (generalized Dehn--Sommerville relations).

Let $X$ be a $2n$-manifold with a locally standard action of a compact torus $T^n$. If the free part of action is trivial and proper faces of the orbit space $Q$ are acyclic, then there are three types of homology classes in $X$: (1) classes of face submanifolds; (2) $k$-dimensional classes of $Q$ swept by actions of subtori of dimensions $<k$; (3) relative $k$-classes of $Q$ modulo $\partial Q$ swept by actions of subtori of dimensions $\geqslant k$. The submodule of $H_*(X)$ spanned by face classes is an ideal in $H_*(X)$ with respect to the intersection product. It is isomorphic to $(\mathbb{Z}[S_Q]/Θ)/W$, where $\mathbb{Z}[S_Q]$ is the face ring of the Buchsbaum simplicial poset $S_Q$ dual to $Q$; $Θ$ is the linear system of parameters determined by the characteristic function; and $W$ is a certain submodule, lying in the socle of $\mathbb{Z}[S_Q]/Θ$. Intersections of homology classes different from face submanifolds are described in terms of intersections on $Q$ and $T^n$.

We consider the orbit type filtration on a manifold $X$ with locally standard action of a compact torus and the corresponding homological spectral sequence $(E_X)^r_{*,*}$. If all proper faces of the orbit space $Q=X/T$ are acyclic, and the free part of the action is trivial, this spectral sequence can be described in full. The ranks of diagonal terms are equal to the $h'$-numbers of the Buchsbaum simplicial poset $S_Q$ dual to $Q$. Betti numbers of $X$ depend only on the orbit space $Q$ but not on the characteristic function. If $X$ is a slightly different object, namely the model space $X=(P\times T^n)/\sim$ where $P$ is a cone over Buchsbaum simplicial poset $S$, we prove that $\dim (E_X)^{\infty}_{p,p} = h''_p(S)$. This gives a topological evidence for the fact that $h''$-numbers of Buchsbaum simplicial posets are nonnegative.

We construct quasitoric manifolds of dimension 6 and higher which are not equivariantly homeomorphic to any toric origami manifold. All necessary topological definitions and combinatorial constructions are given and the statement is reformulated in discrete geometrical terms. The problem reduces to existence of planar triangulations with certain coloring and metric properties.