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 compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

We develop a discrete Morse-Bott theory for Lefschetz complexes with real-valued incidence functions and finitely many cells in each dimension. Our main result is a reduction procedure, based on four elementary operations called Moves, for computing the remainder series $R_t$ associated with the Morse-Bott inequality. These Moves preserve $R_t$, and the procedure recursively constructs, using finitely many Moves in each dimension, a disjoint union of two-cell elementary blocks with vanishing Poincaré series. The resulting decomposition computes the coefficients of $R_t$ by counting the blocks in the corresponding dimensions. The same procedure also computes the Betti numbers of the original complex by counting the cells removed as isolated cells. As consequences, we obtain the nonnegativity of the coefficients of $R_t$ and the Morse-Bott inequality for Lefschetz complexes. The method applies in particular to CW complexes, where the nonnegativity is obtained by identifying each coefficient of $R_t$ with the number of elementary blocks in the corresponding dimension.

In a paper by Lin an interesting family of semipermutations comes out to index the elements of a cohomology basis of a Hessenberg type variety. The corresponding Betti numbers are a generalization of Eulerian numbers. We show three different subsets of the symmetric group that are in bijection with the set of these semipermutations. These bijections preserve the statistics lec and des: one of these is first obtained by an algebraic-topological argument, and all of them are explicitly described in combinatorial terms.

Let $G_n$ be the bipartite complement of the even cycle $C_{2n}$, and let $J_{G_n}$ be its binomial edge ideal. For $n\geq5$, we study the interaction between the combinatorial structure of $G_n$ and the algebraic invariants of $S_{G_n}/J_{G_n}$. Our main combinatorial ingredient is a classification of the subsets of $V(G_n)$ having the cut point property, obtained through an analysis of disconnected induced subgraphs of $G_n$. We use this classification to describe the minimal primes and to study dimension and degree-theoretic invariants of $J_{G_n}$ and $S_{G_n}/J_{G_n}$. We also study local Vasconcelos numbers, graded Betti numbers and the Hilbert series, and obtain information on projective dimension and depth. Finally, we analyze induced paths in $G_n$ and derive corresponding bounds for the Castelnuovo--Mumford regularity.

Given a point set $[n]$ and a collection $B$ of $k$-subsets of $[n]$, we create a monomial ideal whose Betti numbers completely determine whether the pair $([n],B)$ is a Steiner system $S(t,k,n)$. In particular, our construction characterizes Steiner triple systems and Steiner quadruple systems solely on the basis of Betti numbers of monomial ideals. Moreover, these monomial ideals allow us to reformulate the renowned prime power conjecture as follows: If a monomial ideal $M$ of $S = K[x_1, \dots, x_{q^2+q+1}]$ generated by squarefree monomials of degree $q+1$ has Betti numbers $\mathrm{b}_s(S/M) = {{q^2+q+1} \choose s} \text{ for all } s=0,\ldots,q$ then $q$ is a prime power.

In 2006, Katzman showed that the first six Betti numbers of the Stanley--Reisner ring of a flag complex are field independent. He also found flag complexes on eleven vertices whose eighth Betti number depends on the field, and asked whether the seventh is always field independent. We answer this affirmatively by proving a stronger, purely topological result. Let $τ(d)$ be the least number of vertices of a flag complex whose $d$-th reduced integral homology has torsion. We prove that $τ(d)\geq d+10$ for every $d\ge0$. This bound yields the field independence of the seventh Betti number. Equivalently, combining our result with Katzman's, for every finite simple graph $G$, the first seven Betti numbers of the edge ideal $I(G)$ are field independent.

We show that a sequence of simplicial polytopes approximating a smooth convex body has primitive Betti numbers diverging from the upper bound given by the $g$-theorem. This complements a result of Adiprasito-Nevo-Samper, who proved the corresponding divergence from the lower bound. The proof uses a new lower bound for the size of the shadow of a set of monomials.

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 how a prescribed second Betti number constrains the largest eigenvalue of the signless Laplacian on edges of a pure two-dimensional simplicial complex. For each fixed positive second Betti number, we determine all maximizing complexes provided that the number of vertices is sufficiently large. Every maximizer consists of a full cone over a complete graph together with a family of triangles avoiding the apex, any two of which share an edge; the number of added triangles equals the prescribed Betti number. The maximizer is unique up to isomorphism except when this number is three or four, for which we describe all additional extremal complexes. The proof uses homological constraints and Perron vector estimates to establish the full cone structure, followed by an exact Schur complement comparison to classify the added triangles. We also obtain an asymptotic expansion of the maximum spectral radius and extend the extremal result to Betti numbers growing more slowly than the fourth root of the number of vertices. These results provide a two-dimensional counterpart of spectral extremal theorems for connected graphs with a prescribed cyclomatic number.

Graded Möbius algebras were a key tool in the proof of the Dowling-Wilson Top Heavy Conjecture. They are commutative algebras whose Hilbert functions recover the Whitney numbers of the second kind, i.e. the number of flats of a given rank. The graded Betti numbers of the defining ideal of a graded Möbius algebra refine the Hilbert function and describe its minimal free resolution. In this paper we derive precise formulas for the graded Betti numbers of the defining ideals of graded Möbius algebra for any uniform matroid. We also study when the graded Möbius algebra of an arbitrary matroid is linearly presented.

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.

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 prove an asymptotic structural property of generic initial ideals. This single phenomenon yields results on Hilbert functions, persistence, hyperplane restriction, graded Betti numbers, combinatorial shadow minimization, and Lefschetz properties.

The Bier sphere of a simplicial complex $K$ is defined as the deleted join of $K$ and its combinatorial Alexander dual. We focus on the class of Bier spheres of the skeleta of a simplex. Since these Bier spheres are known to be polytopal, they give rise to small covers. We classify small covers over these Bier spheres up to Davis--Januszkiewicz equivalence. As applications, for all $m \geq 4$, we determine the homeomorphism types of small covers over the Bier spheres of the $0$-skeleton and the $(m-3)$-skeleton of an $(m-1)$-simplex. For the remaining cases $0<r<m-3$, we compute their rational Betti numbers.

We prove that the full spectrum of the graph $p$-Laplacian is finite for every finite graph and every real $p>1$. This resolves the problem of finiteness of the full graph spectrum posed by Amghibech (2003). More generally, for signed weighted graph $p$-Schrödinger operators with arbitrary real potentials, we obtain bounds in terms of the numbers of vertices and positive-weight edges, uniform in all coefficients and in $p$. On $n$ vertices with $m$ positive-weight edges, the logarithms of the spectral cardinality and of the total number of connected components of the normalised eigenvector sets are $O((n+m)^2)$; the sum over the full spectrum of their rational Betti numbers is at most $\exp(C(n+m)^2)$ for an absolute constant $C$. These topological bounds extend to homogeneous eigenproblems built from arbitrary finite families of linear forms, including generalised $p$-eigenvalue problems for matrix pairs. For the uniformly weighted $K_n$ and $p\ne2$, we identify the nonconstant eigenlines with the barycentres of the coordinate-hyperplane cell decomposition of $\mathbb RP^{n-2}$ and determine their local Morse data on either side of $p=2$. A renormalised logarithmic limit describes the transition at $p=2$. Positive integer weights then separate these critical values, giving at least $(3^n-2^{n+1}+3)/2$ distinct spectral values for every fixed $p\ne2$ and every $n\geq2$. By contrast, the maximal spectral cardinality at $p=2$ is $n$; at $p=4$, the maximal spectral cardinalities in the unsigned and general classes both have exponential growth rate exactly $3$. For $n\geq3$ the same examples resolve Amghibech's extremal question. The proof combines o-minimal and Pfaffian geometry with projective $L^p$-duality, Morse theory, critical groups, and tensor eigenvalue bounds.

In this paper, we revisit the Poincaré polynomials, Betti numbers, and Euler characteristics of the Deligne-Mumford moduli spaces $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves. We give elementary derivations of two recent closed formulas for their Poincaré polynomials, due respectively to Aluffi-Marcolli-Nascimento (arXiv:2406.13095) and to Eur-Ferroni-Matherne-Pagaria-Vecchi (arXiv:2504.16776). Our approach shows that both formulas are already implicit in the generating-series results of Getzler and Manin, and can be extracted from them by elementary manipulations of generating functions, the binomial series, and standard identities for Stirling numbers. Beyond these new derivations, the same method also yields new linear recurrence relations for refined invariants associated with these Poincaré polynomials, namely distinguished summands and a bivariate refinement. As a further consequence, we obtain two additional formulas for the Betti numbers, not previously recorded in this form. We also study the Euler characteristics $χ(\overline{\mathcal M}_{0,n})$. Using the Taylor expansion of a suitable branch of the Lambert $W$-function, we show that their sequence is obtained by evaluating complete Bell polynomials at an explicit auxiliary integer sequence. This Bell-polynomial representation yields Hessenberg determinantal formulas and a new linear recursion, distinct from the well-known quadratic Keel-Manin recursion. It also provides an explicit extraction of the Euler characteristics from the Lambert $W$-function expression considered by Aluffi-Marcolli-Nascimento. Finally, we refine the Manin-Zagier asymptotic estimate for these Euler characteristics by computing the full asymptotic expansion.

Alesandroni proved that Betti numbers of monomial ideals in at most four variables are independent of the characteristic of the base field, while Peeva exhibited characteristic-dependent Betti numbers in six variables. We prove that the five-variable case is characteristic-independent. More precisely, if $S=k[x_1,\ldots,x_5]$ and $M\subseteq S$ is a monomial ideal, then the multigraded, graded, and total Betti numbers of $S/M$ are independent of $\operatorname{char}(k)$. The proof reduces arbitrary monomial ideals to squarefree twin ideals and then applies Hochster's formula. The topological input is that simplicial complexes on at most five vertices have torsion-free integral homology. Peeva's example arising from the six-vertex triangulation of $\mathbb{RP}^2$ shows that the bound is sharp. We also record a computation of the graded Betti tables of squarefree monomial ideals in five variables up to relabeling.

We determine the full graded Betti tables of graph families that subsume several classes studied recently in the literature, namely the generalized multiple complete split-like graphs and the generalized clique-star graphs with arbitrary clique block sizes. The method combines Hochster's formula with a precise decomposition of the associated independence complexes into disjoint unions of simplices and iterated joins of discrete complexes. This reduces every graded Betti number to an explicit coefficient extraction formula and yields closed expressions for the linear strand, higher strands, Hilbert series, regularity, projective dimension, and extremal Betti numbers. In particular, we prove a sharp criterion for $2$-linear resolution and identify the regularity corner in terms of the number of nontrivial clique blocks. As applications, we recover and extend earlier results on equal-block split-like graphs, obtain complete formulas for pineapple graphs, and derive consequences for power graphs of cyclic groups, elementary abelian groups, and prime-power dihedral groups.

We study sequentially Cohen-Macaulay co-chordal graphs through the glued clique complexes of their chordal complements. Using the characterization of these complements as $(d_1,\ldots,d_q)$-trees, we derive explicit formulas for the graded Betti numbers of the associated edge ideals, yielding a complete homological characterization of sequentially Cohen-Macaulay co-chordal graphs. As applications, we determine exact homological invariants for several important graph families, including split graphs, threshold graphs, and prime ideal graphs, and classify their Cohen-Macaulay cases. We further characterize the sequentially Cohen-Macaulay nilpotent graphs of finite direct products of Artinian chain rings and establish a closed formula for their graded Betti numbers in terms of local nilpotency indices and residue field cardinalities. Finally, we classify the zero-divisor graphs of $\mathbb{Z}_n$, proving that they are sequentially Cohen-Macaulay if and only if $n=2p$ or $n=p^a$, where $p$ is a prime.