arXiv++ Combinatorics

We introduce level structures on tropical abelian varieties and give a modular interpretation of $A_g[m]^{\mathrm{trop}}$, the tropicalization of the moduli space $\mathcal{A}_g[m]$ of principally polarized abelian varieties with level $m$ structure. We study the case of abelian surfaces in greater depth. The link of $A_2[m]^{\mathrm{trop}}$ is an explicit simplicial complex whose vertices are the primitive vectors of $(\mathbb{Z}/m\mathbb{Z})^4$ up to sign. As a topological space, this link is homotopic to a wedge sum of closed orientable surfaces and circles; we compute the number of each of these and the genera of the surfaces. We deduce the weight zero compactly supported rational cohomology of $\mathcal{A}_2[m]$, completing a calculation of Oda-Schwermer from 1990.

We introduce a new type of boundary condition for electrical networks by specifying a cohomology class on the underlying cell complex. As special and limiting cases, we recover the Dirichlet boundary condition, multiport condition, and prescribed voltage drops along nontrivial cycles on a surface. In this setting, we obtain a combinatorial formula for minors of the response matrix, generalizing the matrix-tree theorem, the Kenyon-Wilson formula, and a recently discovered formula for networks on surfaces due to Lam et al. To prove this formula, we develop a statistical-physics toolbox, including a new parafermionic observable for the uniform spanning tree model. This is the first parafermionic observable that is intrinsic, in the sense that it does not require an embedding of the graph in the plane or on a surface. Other ingredients are an intrinsic Temperley correspondence and source-synchronized networks, the latter providing a completely elementary reformulation of our results.

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$.

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

This paper establishes a formal framework for the cocyclic development of Hadamard matrices over loops based on a novel cohomology theory with associativity obstructions. In this context, we formalize the notion of a loop-cocyclic Hadamard matrix, so that both the classical cocyclic Hadamard matrices over groups and the recently introduced pseudococyclic Hadamard matrices over loops are naturally embedded within this broader algebraic architecture. To validate the computational viability of this framework, we prove the existence of four new Hadamard equivalence classes of order 24 and eight new classes of order 28 that are strictly non-cocyclic over any finite group, arising uniquely as loop-cocyclic developments over Moufang and right Bol loops.

We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.

Let $G$ be a finite group acting properly by lattice automorphisms on a complete simplicial fan $Σ$. An open question due to Stanley asked whether the (ungraded) representation carried by the cohomology $H^*(X_Σ)$ of the associated toric variety $X_Σ$ is isomorphic to a permutation representation of $G$. We prove that Stanley's question has an affirmative answer for all smooth projective toric varieties without the properness assumption on the action. The proof is inspired by toric mirror symmetry.

The cohomology ring of the complement of a complex hyperplane arrangement is given by its Orlik--Solomon algebra. It is known that the defining ideal of the Orlik--Solomon algebra has a quadratic Gröbner basis in the standard presentation if and only if the intersection lattice is supersolvable; such algebras are automatically Koszul. In 1997, Shelton and Yuzvinsky posed the question as to whether all Koszul Orlik--Solomon algebras arise from supersolvable arrangements. We answer this question negatively using three related constructions that produce non-supersolvable arrangements whose Orlik--Solomon algebras are Koszul. Moreover, these arrangements may be chosen to be irreducible, realizable over $\mathbb{Q}$, and of any rank $\geq 3$. Our constructions rely on a result of Falk and Proudfoot which we strengthen and generalize. In two of the three cases, we show non-supersolvability using a corrected form of a result of Ziegler regarding supersolvability of parallel connections. We also construct Koszul Orlik--Terao algebras coming from non-supersolvable arrangements.

An Euler circuit of a graph is a closed path that visits every edge of the graph exactly once. Euler circuit and circuit decomposition problems can also be formulated for higher dimensional simplicial complexes. An Euler k-circuit in K is a cyclic sequence of vertices v_1...v_n such that every k+1 adjacent terms { v_i,v_{i+1},...,v_{i+k} } (indexed modulo n) form a k-simplex, and every k-simplex of K appears exactly once in the sequence v_1v_2...v_n(v_1v_2...v_k). We investigate the 2-circuit decomposition problem for triangulated closed compact surfaces. For an orientable triangulated surface we use interior angles of paths to define an obstruction that lives in the first cohomology of the surface. It vanishes if and only if the surface has a 2-circuit decomposition. We also show that a non-orientable triangulated surface has a 2-circuit decomposition if and only if its orientable 2-fold cover does.

We develop a localized persistent theory of commutative algebra for Stanley-Reisner rings, based on local cohomology supported at a coordinate prime rather than at the maximal ideal. The construction is modeled on the persistent Stanley-Reisner theory of Suwayyid and Wei (arXiv:2503.23482) and its functorial development for graphs and hypergraphs (arXiv:2512.17619), in which invariants of the face ring such as graded Betti numbers and f- and h-vectors are persisted across a filtration. That framework is built from the minimal free resolution and is thus Tor-theoretic; we work instead on the injective side, and the resulting modules record information localized at a single vertex, complementing the global picture given by maximal-support local cohomology. For a vertex prime $p_i = (x_j : j \neq i)$ we prove an exact $\mathbb{Z}^n$-graded decomposition of $H^q_{p_i}(k[Δ])$ into the maximal-support local cohomology of the deletion and of the link of the vertex $i$, the first in $x_i$-degree zero and the second repeated in every positive $x_i$-degree; at the level of graded dimensions this recovers the vertex-prime case of Rahimi's bigraded formula. With Hochster's formula this yields a closed combinatorial description of every multigraded piece. Building on this structure we introduce per-vertex persistent local cohomology numbers, prove a persistent links-Hochster formula, obtain interval decompositions of the resulting reversed-arrow persistence modules and a bottleneck stability theorem, retain multiplication by the uninverted variable as a morphism of persistence modules that the two barcodes alone do not determine, and extend the theory to an arbitrary coordinate prime, where the multiplication maps of the uninverted variables assemble into a commuting Boolean diagram of persistence modules.

We investigate a combinatorial notion of orientability for abstract GKM graphs and its connections to graph cohomology in the sense of Guillemin--Zara. In particular, we prove that orientability of the GKM graph is equivalent to Poincaré duality of the rational (non-equivariant) graph cohomology algebra. As an application, we prove that orientable GKM graphs remain connected after removing any single vertex.

In this paper, after reviewing recent progress on the cohomology of $\overline{\cal M}_{0,n}$, we further our investigation on the cohomology of moduli spaces of pointed curves in continuation of [2,4,5,6,7,8]. In particular, we prove that the Betti number distribution of the Fulton-MacPherson compactification $C[n]$ of the space of $n$ ordered distinct points on any smooth projective curve $C$ is asymptotically Gaussian as $n$ goes to infinity.

We show that the operadic structure on the cohomology of the poset of noncrossing 2-partitions is isomorphic to the Brace operad.

Let $\mathcal{A}$ be a finite central real hyperplane arrangement and let $\mathcal{G}(\mathcal{A})$ be its tope graph. Koizumi recently proved that the crossing-graded magnitude homology of $\mathcal{G}(\mathcal{A})$ is torsion-free and is freely indexed by face flags. We refine his result by proving that a fixed crossing vector and terminal chamber determine a summand of rank at most one. Over $\mathbb{F}_2$, we use the canonical cohomology basis to determine the crossing-graded magnitude cohomology ring of $\mathcal{G}(\mathcal{A})$.

We construct a connected graph on 240 vertices in which every open neighborhood is isomorphic to $K(7,3)$. The graph arises as a binary voltage cover of $K(10,3)$. More generally, the gauge classes of local-neighborhood-preserving binary voltage covers over the fixed labeled base $K(10,3)$ are naturally identified with $H^1(M_3(10);\mathbb{F}_2)$, a vector space of dimension 42. Quotienting by the natural $S_{10}$ action gives 1,245,395 orbits, including 1,245,394 nonzero orbits, each consisting of connected covers. The cohomology class $[α]$ of the displayed 240-vertex graph has $S_{10}$-orbit size 126 and $\operatorname{Stab}_{S_{10}}([α])\cong S_5\wr C_2$. Thus fixed-base covers are classified cohomologically, while allowing base relabeling gives the stated $S_{10}$-orbit set.

Polygon equations form a family of equations generalizing the pentagon equation. In this paper, we construct semi-simplicial sets of permitted colorings associated with set-theoretic solutions of polygon equations and use them to define the corresponding (co)homology groups. We investigate several properties of these groups and establish an equivalence of categories between set-theoretic solutions of polygon equations and higher Segal semi-simplicial sets satisfying certain conditions. As a special case, our result recovers the correspondence between bijective set-theoretic solutions of the pentagon equation and $2$-Segal semi-simplicial sets proved by Dyckerhoff--Kapranov.

Toric varieties can be constructed from rational polytopes, and several invariants of toric varieties can be expressed in terms of the combinatorics of the corresponding polytope. Barthel-Brasselet-Fieseler-Kaup (BBFK) introduced combinatorial intersection cohomology for convex polytopes, which agrees with the intersection cohomology of the associated toric variety when the polytope is rational. Maxim-Schuermann computed the intersection cohomology signature of a projective toric variety, corresponding to the case of a polytope with rational vertices. Using the combinatorial framework of BBFK, we show that the Maxim-Schuermann formula extends to arbitrary convex polytopes. Finally, we discuss a version of the Hodge index theorem for polytopes.

The resonance graph of a hexagonal system is connected, which shows that a perfect matching can be transformed into any other perfect matchings by a series of flips along hexagons. However, the resonance graph of a coronoid system (with holes) is not necessarily connected. Saldanha et al. (Discrete Comput. Geom. 14 (1995) 207-233) used homology and cohomology theory to obtain three versions of criteria for two tilings of a quadriculated region in the plane to be in the same connected component of the flip graph. Inspiblack by the combinatorial version, in this paper we use a purely graph-theoretical approach to give a criterion in terms of simple invariant\textcolor{black}{---flow} across cuts between holes/exterior face for two perfect matchings of a coronoid system $G$ to be in the same connected component of its resonance graph. As a corollary we obtain a criterion for the resonance graph of a coronoid system to be connected. We also discuss whether such \textcolor{black}{criteria} are applicable to nanotubes, and construct a nanotube whose resonance graph is connected, which disproves a conjecture proposed by Tratnik et al. (MATCH Commun. Math. Comput. Chem. 74 (2015) 175-186).

We prove several bounds on the largest and smallest eigenvalues of the combinatorial Hodge Laplacian $Δ^H_k$ of a finite simplicial complex $Σ.$ As a consequence, we obtain new vanishing criteria for cohomology groups $H^k(Σ,\mathbb{R)}$ and confirm a conjecture of O on the dimensional monotonicity of the largest eigenvalue.

A graphic arrangement $\A_G$ associated with a simple graph $G$ is a classical and well-studied object in the theory of hyperplane arrangements. In this note, we show that, for a connected graph $G$, a slight modification of the logarithmic vector field $D(\A_G)$ of $\A_G$ is isomorphic to the face ring of a certain simplicial poset. This allows us to give formulas for several algebraic invariants of $D(\A_G)$, such as its Hilbert series, local cohomology, projective dimension, and Castelnuovo--Mumford regularity, in terms of combinatorial and topological information about the corresponding simplicial poset. As a by-product, we also give an explicit vector space basis of $D(\A_G)$.