arXiv++ Combinatorics

Let $A(\ell,n,k)$ denote the number of $\ell$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We provide a new proof of an explicit formula for $A(\ell,n,k)$ which is essentially due to Bryan and Fulman, in their work on orbifold higher equivariant Euler characteristics. Our proof is self-contained, elementary, and relies on the construction of an explicit bijection, in order to perform the $\ell+1\rightarrow \ell$ reduction. We also investigate a conjecture by the first author, regarding the log-concavity of $A(\ell,n,k)$ with respect to $k$. The conjecture generalizes a previous one by Heim and Neuhauser related to the Nekrasov-Okounkov formula.

Let $A(p,n,k)$ be the number of $p$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We formulate the conjecture that, for every fixed $p$ and $n$, the $A(p,n,k)$ form a log-concave sequence with respect to $k$. For $p=1$ this is a well known property of unsigned Stirling numbers of the first kind. As the $p=2$ case, our conjecture includes a previous one by Heim and Neuhauser, which strengthens a unimodality conjecture for the Nekrasov-Okounkov hook length polynomials. In this article, we prove the $p=\infty$ case of our conjecture. We start from an expression for the $A(p,n,k)$ which follows from an identity by Bryan and Fulman, obtained in the their study of orbifold higher equivariant Euler characteristics. We then derive the $p\rightarrow\infty$ asymptotics. The last step essentially amounts to the log-concavity in $k$ of a generalized Turán number, namely, the maximum product of $k$ positive integers whose sum is $n$.

This paper calculates the number of full exceptional collections modulo an action of a free abelian group of rank one for an abelian category of coherent sheaves on an orbifold projective line with a positive orbifold Euler characteristic, which is equivalent to the one of finite dimensional modules over an extended Dynkin quiver of ADE type by taking their derived categories. This is done by a recursive formula naturally generalizing the one for the Dynkin case by Deligne whose categorical interpretation is due to Obaid--Nauman--Shammakh--Fakieh--Ringel. Moreover, the number coincides with the degree of the Lyashko--Looijenga map of the Frobenius manifold for the orbifold projective line, which hints a consistency in some problems in Bridgeland's stability conditions and mirror symmetry.

For $g\ge 2$ and $n\ge 0$, let $\mathcal{H}_{g,n}\subset \mathcal{M}_{g,n}$ denote the complex moduli stack of $n$-marked smooth hyperelliptic curves of genus $g$. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb{Z}/2\mathbb{Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$. Using this graph complex, we give a sum-over-graphs formula for the $S_n$-equivariant weight zero compactly supported Euler characteristic of $\mathcal{H}_{g, n}$. This formula allows for the computer-aided calculation, for each $g\le 7$, of the generating function $\mathsf{h}_g$ for these equivariant Euler characteristics for all $n$. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissible $G$-covers of genus zero curves, when $G$ is abelian, as a symmetric $Δ$-complex. We use these complexes to generalize our formula for $\mathsf{h}_g$ to moduli spaces of $n$-pointed smooth abelian covers of genus zero curves.

This paper introduces and develops Möbius homology, a homology theory for representations of finite posets into abelian categories. Although the connection between poset topology and Möbius functions is classical, we go further by establishing a direct connection between poset topology and Möbius inversions. In particular, we show that Möbius homology categorifies the Möbius inversion, as its Euler characteristic coincides with the Möbius inversion applied to the dimension function of the representation. We also present a homological version of Rota's Galois Connection Theorem, relating the Möbius homologies of two posets connected by a Galois connection. Our main application concerns persistent homology over general posets. We prove that, under a suitable definition, the persistence diagram arises as an Euler characteristic over a poset of intervals, and thus Möbius homology provides a categorification of the persistence diagram. This furnishes a new invariant for persistent homology over arbitrary finite posets. Finally, leveraging our homological variant of Rota's Galois Connection Theorem, we establish several results about the persistence diagram.

The Chen-Lih-Wu Conjecture states that each connected graph with maximum degree $Δ\geq 3$ that is not the complete graph $K_{Δ+1}$ or the complete bipartite graph $K_{Δ,Δ}$ admits an equitable coloring with $Δ$ colors. For planar graphs, the conjecture has been confirmed for $Δ\geq 13$ by Yap and Zhang and for $9\leq Δ\leq 12$ by Nakprasit. In this paper, we present a proof that confirms the conjecture for graphs embeddable into a surface with non-negative Euler characteristic with maximum degree $Δ\geq 9$ and for planar graphs with maximum degree $Δ\geq 8$.

In this paper, we study some useful properties of persistent pairs in a discrete Morse function on a simplicial complex $K$. In case of $\dim K=1$ (i.e., a graph), by using the properties, we characterize strongly connectedness of critical simplices between two distinct discrete Morse functions, and relate the number of such pairs to the Euler characteristic of $K$.

The higher characteristics w_m(G) for a finite abstract simplicial complex G are topological invariants that satisfy k-point Green function identities and can be computed in terms of Euler characteristic in the case of closed manifolds, where we give a new proof of w_m(G)=w_1(G). Also the sphere formula generalizes: for any simplicial complex, the total higher characteristics of unit spheres at even dimensional simplices is equal to the total higher characteristic of unit spheres at odd dimensional simplices.

Inspired by Kontsevich's graphic orbifold Euler characteristic we define a virtual Euler characteristic for any finite set of isomorphism classes of matroids of rank $r$. Our main result provides a simple formula for the virtual Euler characteristic for the set of isomorphism classes of matroids of rank $r$ realizable over $\mathbb{F}_2$ (i.e., binary matroids). We prove this formula by relating the virtual Euler characteristic for binary matroids to the point counts of certain subsets of Grassmanians over finite fields. We conclude by providing several follow-up questions in relation to matroids realizable over other finite prime fields, matroid homology, and beta invariants.

An almost self-conjugate (ASC) partition has a Young diagram in which each arm along the diagonal is exactly one box longer than its corresponding leg. Classically, the ASC partitions and their conjugates appear in two of Littlewood's symmetric function identities. These identities can be viewed as Euler characteristics of BGG complexes of the trivial representation, for classical Hermitian symmetric pairs. In this paper, we consider partitions in which the arm-leg difference is an arbitrary constant $m$. By viewing these partitions as highest weights, we establish an infinite family of dimension identities between $\mathfrak{gl}_n$- and $\mathfrak{gl}_{n+m}$-modules. We then interpret this result in the context of blocks in parabolic category $\mathcal{O}$: in particular, we exhibit six infinite families of congruent blocks whose corresponding posets of highest weights consist of the partitions in question. These posets, in turn, lead to generalizations of the Littlewood identities and their corresponding BGG complexes. Our results in this paper shed light on the surprising combinatorics underlying the work of Enright and Willenbring (2004).

The sphere formula states that in an arbitrary finite abstract simplicial complex, the sum of the Euler characteristic of unit spheres centered at even-dimensional simplices is equal to the sum of the Euler characteristic of unit spheres centered at odd-dimensional simplices. It follows that if a geometry has constant unit sphere Euler characteristic, like a manifold, then all its unit spheres have zero Euler characteristic or the space itself has zero Euler characteristic. Especially, odd-dimensional manifolds have zero Euler characteristic, a fact usually verified either in algebraic topology using Poincaré duality together with Riemann-Hurwitz then deriving it from the existence of a Morse function, using that the Morse indices of the function and its negative add up to zero in odd dimensions. Gauss Bonnet also shows that odd-dimensional Dehn-Sommerville spaces have zero Euler characteristic because they have constant zero curvature. Zero curvature phenomenons can be understood integral geometrically as index expectation or as Dehn-Sommerville relations.

Khovanov introduced a bigraded cohomology theory of links whose graded Euler characteristic is the Jones polynomial. The theory was subsequently applied to the chromatic polynomial of graph, resulting in a categorification known as the ``chromatic homology''. Much as in the Khovanov homology, the chromatic polynomial can be obtained by taking the Euler characteristic of the chromatic homology. In the present paper, we introduce a combinatorial description of enhanced states that can be applied to analysis of the homology in an explicit way by hand. Using the new combinatorial description, we show a splitting property of the chromatic homology for a certain class of graphs. Finally, as an application of the description, we compute the chromatic homology of the complete graph.

In this paper, by developing several new adjacency lemmas about a path on $4$ or $5$ vertices, we show that the average degree of 7-critical graphs is at least 6. It implies Vizing's planar graph conjecture for planar graphs with maximum degree $7$ and its extension to graphs embeddable in a surface with nonnegative Euler characteristic due to Sanders and Zhao (J. Combin. Theory Ser. B 83 (2001) 201-212 and J. Combin. Theory Ser. B 87 (2003) 254-263) and Zhang (Graphs and Combinatorics 16 (2000) 467-495).

The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We find a relation between this function and the Euler characteristic of two simplicial complexes $Δ_1$ and $Δ_2$, the former raising from the lattice of the subspaces of $V$, the latter from the subgroup lattice of $G$.

Magnitude is a numerical invariant of metric spaces and graphs, analogous, in a precise sense, to Euler characteristic. Magnitude homology is an algebraic invariant constructed to categorify magnitude. Among the important features of the magnitude of graphs is its behaviour with respect to an operation known as the Whitney twist. We give a homological account of magnitude's invariance under Whitney twists, extending the previously known result to encompass a substantially wider class of gluings. As well as providing a new tool for the computation of magnitudes, this is the first new theorem about magnitude to be proved using magnitude homology.

We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the Möbius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.

This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect to traditional topological, structural, or combinatorial considerations. Generic orthotopes have a pleasant "homogeneity" property, somewhat like a smoothly bounded compact subset of Euclidean space. Thus, as soon as we demand that every vertex of an orthogonal polytope be a floral arrangement, as defined here, many derivative structures such as faces and cross-sections are also described by floral arrangements. We also give formulas for the volume and Euler characteristic of a generic orthotope using a couple of statistics that are defined naturally for floral arrangements.

We study the $K$-ring of the wonderful variety of a hyperplane arrangement and give a combinatorial presentation that depends only on the underlying matroid. We use this combinatorial presentation to define the $K$-ring of an arbitrary loopless matroid. We construct an exceptional isomorphism, with integer coefficients, to the Chow ring of the matroid that satisfies a Hirzebruch--Riemann--Roch-type formula, generalizing a recent construction of Berget, Eur, Spink, and Tseng for the permutohedral variety (the wonderful variety of a Boolean arrangement). As an application, we give combinatorial formulas for Euler characteristics of arbitrary line bundles on wonderful varieties. We give analogous constructions and results for augmented wonderful varieties, and for Deligne--Mumford--Knudsen moduli spaces of stable rational curves with marked points.

In this article we propose formulas for the connected K-theory class of the pointed Brill-Noether loci in Prym varieties, which extends the result by Concini and Pragacz. Applying the formulas, we compute the holomorphic Euler Characteristics of the loci.

In this paper, we study growth rates of Coxeter systems with Davis complexes of dimension at most $2$. We show that if the Euler characteristic $χ$ of the nerve of a Coxeter system is vanishing (resp. positive), then its growth rate is a Salem (resp. a Pisot) number. In this way, we extend results due to Floyd and Parry. Moreover, in the case where $χ$ is negative, we provide infinitely many non-hyperbolic Coxeter systems whose growth rates are Perron numbers.