arXiv++ Combinatorics

For a finite group \(G\), let \(N(G)\) be the simplicial complex of subsets that do not generate \(G\). We separate a general Frattini-topological reduction from the structure special to finite \(p\)-groups. For every finite noncyclic group, the non-cone Frattini core is homotopy equivalent to the order complex of the proper part of the subgroup lattice of \(G/Φ(G)\). For a finite \(p\)-group this quotient is an elementary abelian vector space, and the core becomes the non-spanning complex of a uniform parallel extension of \(\mathrm{PG}(r-1,p)\), where \(r=d(G)\) and \(q=|Φ(G)|\). We use this geometry to determine the exact simplicial isomorphism data and full simplicial automorphism group, identify top homology equivariantly with the appropriate restriction of the Steinberg module, and derive modular consequences. We also give an explicit supportwise formula for every multigraded Betti number and compare it with a closed single-sum formula for the \(\mathbb Z\)-graded Betti numbers. Known matroidal and building-theoretic inputs are stated separately from the group-specific consequences. The resulting framework also yields the homotopy type, depth, regularity, projective dimension, face enumeration, and the complete Cohen--Macaulay classification.

We introduce three homology theories for hypergraphs, namely $Γ$-homology, $\Box$-homology, and $\times$-homology, and show that they are pairwise non-isomorphic and distinct from the embedded homology of hypergraphs. We further introduce a notion of homotopy for hypergraphs that extends the discrete homotopy theory of graphs. Among the homology theories considered, we prove that $\Box$-homology is invariant under this homotopy, whereas $Γ$-homology and $\times$-homology fail to satisfy homotopy invariance. Based on excision, we also identify a distinctive structural behavior exhibited by $Γ$-homology that further differentiates it from $\Box$-homology.

Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all model category structures on a finite lattice, using transfer systems as our main tool, resulting in new connections between abstract homotopy theory and equivariant methods.

Sperner's lemma guarantees a fully labeled simplex under a boundary labeling rule. We ask how many fully labeled simplices are forced by the homotopy class of the boundary map. For a geometrically triangulated convex ball, we compare this number with the least number of simplices over a target facet among representatives of the boundary class on smoothly triangulated spheres. The comparison holds in equal and consecutive dimensions, and whenever the number of fully labeled simplices is at most twice the number of colors. A pyramid construction gives a comparison with the suspended class in all dimensions. If the boundary sphere has dimension one or two greater than the target sphere, a nonzero boundary class forces at least nine fully labeled simplices. We construct geometric examples attaining nine when the difference is one. When the difference is two, we prove that the spherical minima eventually become constant as the dimensions increase. We also show that the choice of triangulation matters: the smooth Hopf minimum is nine for every nonzero Hopf invariant, whereas for convex polytopal spheres the minimum grows as the square root of its absolute value. The proofs use framed fibres, monochromatic cycles, and maps on vertex links.

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.

Let $\mathcal{F}^{m}=\{A\subset[m]\}$, endowed with the symmetric difference metric and the Cardinality Reverse-Lexicographic order. That way, we compute the homotopy type $\operatorname{Čech}\left(\mathcal{F}_{\preceq a}^m; \frac{r}{2}=1\right)$ by relating it to consecutively adding vertices of $\mathbb{I}^m$, the unit hypercube of $m$th dimension, to point $0$. Further, for higher $r$, we propose a conjecture regarding contractibility of a subcomplex implying a formula for the exact number of wedges of $\mathbb{S}^ 3$'s and $\mathbb{S}^ 4$'s in the $\operatorname{Čech}$ complex.

Let $G$ be a compact, connected, simply connected semisimple Lie group with Weyl group $W$ and simple reflections $S$. For a simplicial complex $\mathcal K$ on $S$, form the homotopy colimit $X_{\mathcal K}(G)=\operatorname*{hocolim}_{I\in\mathcal K}G/G_I$ of standard partial flag manifolds. We compute its integral homology. If $\operatorname{Des}_R(w)$ is the right descent set of $w\in W$ and $\ell(w)$ its Coxeter length, then $$ H_n(X_{\mathcal K}(G);\mathbb Z)\cong \bigoplus_{w\in W}\widetilde H_{n-2\ell(w)-1}(\mathcal K_{\operatorname{Des}_R(w)};\mathbb Z). $$ Thus the induced subcomplexes of $\mathcal K$ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.

An inclusion of nonvoid simplicial complexes induces an arrow of polyhedral products. Applying Ayzenberg's polyhedral join to both complexes gives a symmetric relative join operad. Its endpoint suboperads recover Abramyan--Panov substitution and Ayzenberg composition. Neither endpoint operad nor either relative join operad is finitely generated. The suboperad with nonvoid lower complex arises as the nonempty power-set quotient of the subset-inclusion operad. When tensoring preserves colimits of nonempty finite diagrams, the suboperad acts on arrows by polyhedral colimits up to coherent natural isomorphism. The action induces a set-operad algebra on isomorphism classes of arrows. The dual construction produces Stanley--Reisner quotient arrows, and the colimit action refines Eldridge's loop-space decomposition to arrows. PL ball--boundary pairs form a suboperad of the relative join operad, and minimal interior faces give an operad morphism. Principal pairs have odd-dimensional spherical moment-angle homotopy fibers and yield a closure result for Eldridge's loop-space class.

For a finite simple graph $G$, the matching complex $M(G)$ is the simplicial complex whose vertex set is the edge set of $G$ and whose simplices are all the matchings in $G$. The topology of the matching complex of the $m\times n$ grid graph $G_{m\times n}$ is known only for $m = 1,2$, in which cases it is homotopy equivalent to a wedge of spheres. In this article, we study the matching complex $M(G_{3 \times n})$. We prove that for $n\ge2$, its reduced homology vanishes in dimensions $i \leq n-2$ and in top dimension, while $\tilde{H}_{n-1}(M(G_{3\times n}))\neq 0$. We also show that $M(G_{3 \times n})$ is simply connected for $n \geq 3$. Consequently, the topological connectivity of $M(G_{3\times n})$ is $n-2$.

An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.

A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.

Let $G_{n,m}=\overline{\C_n^{[m]}}$, where $\C_n^{[m]}$ denotes the closed $m$th power of the $n$-cycle. We study the graded Betti numbers and homological invariants of the edge ring of $G_{n,m}$ in the range $n\geq 3m+1$. These graphs form a natural family for the study of edge rings whose regularity can be compared explicitly with the induced matching number. In particular, for $n\geq4m+1$, the graph $G_{n,m}$ has induced matching number one, whereas its edge ring has regularity two. Our approach is based on a characterization of the homology of the induced subcomplexes of the independence complex $Δ(G_{n,m})$. We introduce a family $\mathcal{S}_V(k,m)$ of vertex subsets characterized by their successive gaps around the cycle and show that, for $W\in\mathcal{S}_V(k,m)$, the induced subcomplex $Δ[W]$ has the homotopy type of $\mathbb{S}^1$, whereas for $W\notin\mathcal{S}_V(k,m)$ all its positive-dimensional reduced homology groups vanish. Combining this characterization with Hochster's formula and an explicit enumeration of $\mathcal{S}_V(k,m)$, we obtain a closed formula for the graded Betti numbers in the second strand. We further determine the extremal Betti number, regularity, and projective dimension of the edge ring of $G_{n,m}$. Finally, we compute the $f$- and $h$-vectors of the independence complex and use the Hilbert series to determine the graded Betti numbers in the linear strand. The case $m=2$ recovers the corresponding results for complements of squares of cycles obtained in~\cite{RatherSquare}.

We study stylic monoids from the viewpoint of higher-dimensional rewriting. A coherent presentation records not only the defining relations of a monoid, but also the relations among them. Using the $N$-tableau model, we construct a finite coherent presentation for every stylic monoid of finite rank. We start from the known finite convergent row presentation. By adjoining one generating confluence for each critical branching, Squier's coherence theorem yields a finite coherent extension. We then simplify the resulted coherent presentation by two successive homotopical reductions adapted to the row combinatorics of $N$-tableaux. Finally, coherent Tietze transformations and a further homotopical reduction transfer the construction from the auxiliary row generators to the standard letter generators. This gives an effectively computable finite homotopy basis for the standard letter presentation. The construction is illustrated in detail in rank $2$.

The independence complex and perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining their homotopy types is generally difficult, with explicit descriptions known mainly for highly structured graph families. In this article, we determine the homotopy types of these complexes for the Möbius ladder graphs $M_{2n}$ and circular ladder graphs $\mathcal{C}_{2n}$. The Möbius ladder graphs $M_{2n}$ are highly symmetric cubic graphs obtained from a $2n$-cycle by joining opposite vertices, while the circular ladder graphs $\mathcal{C}_{2n}$ are the Cartesian products of an $n$-cycle and a path of length one. We show that $\operatorname{Ind}(M_{2n})$ and $\operatorname{Ind}(\mathcal{C}_{2n})$ have the homotopy type of wedges of spheres, with the numbers and dimensions of the spheres exhibiting periodic behavior according to $n$ modulo $4$. For the perfect matching complex $\mathcal{M}_p(M_{2n})$, its homotopy type is a wedge of two copies of $\mathbb{S}^{(n-2)/2}$ when $n$ is even, while for odd $n$ it has the homotopy type of a wedge of spheres whose numbers and dimensions depend periodically on $n$ modulo $6$. The perfect matching complex $\mathcal{M}_p(\mathcal{C}_{2n})$ is contractible for odd $n$, whereas for even $n$ its homotopy type is a wedge of spheres, with the numbers and dimensions determined periodically by $n$ modulo $6$. Thus, we obtain explicit homotopy types for the independence and perfect matching complexes of two highly symmetric families of cubic graphs, which are also relevant in crystallization theory and the combinatorial representation of PL manifolds.

Shellable complexes are homotopy equivalent to a wedge of spheres of possibly different dimensions, so that the (co)homology of the constant functor over the complex is concentrated in those degrees. In this work, we introduce the concept of a stable functor -a local weakening of fibrancy- over a shellable poset, which ensures the vanishing of the (co)homology of such a functor in specific degrees. The methods are based on a model category structure on the category of functors indexed by a filtered poset and the combinatorial structure of shellable posets. Our techniques work over non-finite and non-pure posets and employ a description of (co)homology via explicit fibrant replacements. Applications include acyclicity criteria for Mackey functors, computation of cohomology of $j$-th exterior powers over arrangement lattices, and homological decompositions for Bianchi groups $Γ_d$ for $d=1,2$.

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also known as $A$-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, denoted by ${\sf DGra}_\infty$. We prove that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces, establishing a directed version of the discrete homotopy hypothesis of Carranza and Kapulkin.

We construct a faithful functor from the category of cubespaces, arising in structured ergodic theory and nilspace theory, to the category of (condensed) simplicial sets. This functor translates the weak structure theorem of a nilspace to a Postnikov tower of the corresponding simplicial set. In particular, nilspaces are mapped to Kan complexes and the structure groups of the nilspace correspond to the simplicial homotopy groups of the Kan complex. The functor is constructed via pullback along a special cosimplicial cubical set, whose combinatorial properties may be of independent interest.

Using the strong discrete Morse theory developed by Fernández, we define the complex $\mathcal{SM}(K)$ of strong discrete Morse matchings on a simplicial complex $K$, as well as the pure subcomplex $\mathcal{SM}_{pure}(K)$ generated by the facets in $\mathcal{SM}(K)$ of maximal dimension. For most complexes $K$ these objects are proper subcomplexes of the complexes ${\mathfrak M}(K)$ and ${\mathfrak M}_{\textrm{pure}}(K)$ defined by Chari--Joswig using all Morse matchings on $K$. The homotopy types of the latter are not well-understood in general, but they are known when $K$ is the path $P_n$ with $n$ edges, the cycle $C_n$ with $n$ edges, the star $S_n$ with $n$ leaves, the $n$-simplex $Δ^n$ ($n\le 3$), and the boundary $\partialΔ^n$ ($n\le 3$). in this paper we compute the homotopy types of $\mathcal{SM}_{pure}(C_n)$ and $\mathcal{SM}(K)$ for $K=P_n,S_n,Δ^n,\partialΔ^n$ for all $n$. We also compute the homology of $\mathcal{SM}(C_n)$ for $n\le 21$.

We analyse topology of random simplicial complexes in the medial regime. We show that these complexes are highly connected and have homotopy type of iterated suspensions. One of our main tools is a new combinatorial criterion for high connectivity of simplicial complexes, which is more flexible than conicity. We show that topological complexity of random simplical complexes in the medial regime is bounded above by 2 and it equals 2 for a class of homogenous medial regime random simplicial complexes, a.a.s.

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.