arXiv++ Combinatorics

In this paper we provide a classification of all regular maps on surfaces of Euler characteristic $-r^d$ for some odd prime $r$ and integer $d\ge 1$. Such maps are necessarily non-orientable, and the cases where $d = 1$ or $2$ have been dealt with previously. This classification splits naturally into three parts, based on the nature of the automorphism group $G$ of the map, and particularly the structure of its quotient $G/O(G)$ where $O(G)$ is the largest normal subgroup of $G$ of odd order. In fact $G/O(G)$ is isomorphic to either a $2$-group (in which case $G$ is soluble), or $\textrm{PSL}(2,q)$ or $\textrm{PGL}(2,q)$ where $q$ is an odd prime power. The result is a collection of $18$ non-empty families of regular maps, with conditions on the associated parameters.

We provide a natural definition of an elliptic arrangement, extending the classical framework to an elliptic curve E with complex multiplication. We analyse the intersections of elements of the arrangement and their connected components as End(E)-modules. Furthermore, we prove that the combinatorial data of elliptic arrangements define both an arithmetic matroid and a matroid over the ring End(E). In this way, we obtain a class of arithmetic matroids that is different from the class of arithmetic matroids realizable via toric arrangements. Finally, we show that the Euler characteristic of the complement is an evaluation of the arithmetic Tutte polynomial.

We study an alternating sum involving factorials and Stirling numbers of the first kind. We give an exponential generating function for these numbers and show they are nonnegative and enumerate the number of increasing trees on $n$ vertices that are won by the second of two players when interpreted as a game tree. We also give a simple description of the quotient from the weak order to the Tamari lattice in terms of plane trees, and give bijections between plane trees, 213-avoiding permutations, and 312-avoiding permutations. Finally, for a rooted tree, we give equivalent characterizations of when it describes a game won by the first or second player in terms of the rank-generating function of the lattice of prunings and the Euler characteristic of an associated real variety.

After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees of the graph that is chain homotopy equivalent to the chromatic complex. We employ the spanning tree model over $\mathcal{A}_m:= \frac{\mathbb{Z}[x]}{<x^m>}$ algebra to answer two open questions. First, we establish the conjecture posed by Sazdanovic and Scofield regarding the homological span of chromatic homology over $\\mathcal{A}_m$ algebra, demonstrating that for any graph $G$ with $v$ vertices and $b$ blocks, the homological span is $v - b$. Additionally, we prove a conjecture of Helme-Guizon, Przytycki, and Rong concerning the existence of torsion of order dividing $m$ in chromatic homology over $\mathcal{A}_m$ algebra.

This paper studies rings of integral piecewise-exponential functions on rational fans. Motivated by lattice-point counting in polytopes, we introduce a special class of unimodular fans called Ehrhart fans, whose rings of integral piecewise-exponential functions admit a canonical linear functional that behaves like a lattice-point count. In particular, we verify that all complete unimodular fans are Ehrhart and that the Ehrhart functional agrees with lattice-point counting in corresponding polytopes, which can otherwise be interpreted as holomorphic Euler characteristics of vector bundles on smooth toric varieties. We also prove that all Bergman fans of matroids are Ehrhart and that the Ehrhart functional in this case agrees with the Euler characteristic of matroids, introduced recently by Larson, Li, Payne, and Proudfoot. A key property that we prove about the Ehrharticity of fans is that it only depends on the support of the fan, not on the fan structure, thus providing a uniform framework for studying K-rings and Euler characteristics of complete fans and Bergman fans simultaneously.

Let $(S,p)$ be a smooth pointed surface. In the first part of this paper we study motivic invariants of punctual nested Hilbert schemes attached to $(S,p)$ using the Hilbert-Samuel stratification. We compute two infinite families of motivic classes of punctual nested Hilbert schemes, corresponding to nestings of the form $(2,n)$ and $(3,n)$. As a consequence, we are able to give a lower bound for the number of irreducible components of $S_p^{[2,n]}$ and $S_p^{[3,n]}$. In the second part of this paper we characterise completely the generating series of Euler characteristics of all nested Hilbert and Quot schemes. This is achieved via a novel technique, involving differential operators modelled on the enumerative problem, which we introduce. From this analysis, we deduce that in the Hilbert scheme case the generating series is the product of a rational function by the celebrated Euler's product formula counting integer partitions. In higher rank, we derive functional equations relating the nested Quot scheme generating series to the rank one series, corresponding to nested Hilbert schemes.

We introduce a new class of combinatorial objects, named tight gradings, which are certain nonnegative integer-valued functions on maximal Dyck paths. Using tight gradings, we derive a manifestly positive formula for any wall-function in a rank-2 generalized cluster scattering diagram. We further prove that any consistent rank-2 scattering diagram is positive with respect to the coefficients of initial wall-functions. Moreover, our formula yields explicit expressions for relative Gromov-Witten invariants on weighted projective planes and the Euler characteristics of moduli spaces of framed stable representations on complete bipartite quivers. Finally, by leveraging the rank-2 positivity, we show that any higher-rank generalized cluster scattering diagram has positive wall-functions, which leads to a proof of the positivity of the Laurent phenomenon and the strong positivity of Chekhov-Shapiro's generalized cluster algebras.

Double ramification loci parametrise marked curves where a weighted sum of the markings is linearly trivial; higher rank loci are obtained by imposing several such conditions simultaneously. We obtain closed formulae for the orbifold Euler characteristics of double ramification loci, and their higher rank generalisations, in genus one. The rank one formula is a polynomial, while the higher rank formula involves greatest common divisors of matrix minors. The proof is based on a recurrence relation, which allows for induction on the rank and number of markings.

It has been noticed since around 2007 that certain enumeration problems can be solved when an analytic or algebraic curve is identified. This curve is the key to the problem. In these lectures, a few such examples are presented. One is a detailed account on counting simple Hurwitz numbers, explaining how the problem was solved by discovering this key curve. The formula for the curve allows us to write the generating functions of Hurwitz numbers in terms of polynomials. This unexpected polynomiality produces, as a byproduct, straightforward and short proofs of the Witten-Kontsevich theorem and the $λ_g$-theorem of Faber-Pandharipande. An analogous enumeration problem associated with Catalan numbers is also presented, which has a simpler feature in terms of analysis. The asymptotic behavior of counting leads this time to the Euler characteristic of the moduli spaces of smooth curves. We then discuss another enumeration problem, the Apéry sequences. The quest of identifying the hidden curve for this case remains open. These curves, also known as spectral curves, are discovered via solving ordinary differential equations. The counting problem of geometric origin associated with the genus 0, one marked point case is encoded in the spectral curve. It is explained that going from the $(g,n)=(0,1)$-case to arbitrary $(g,n)$ is a process of quantization of the spectral curve. This perspective of quantization is discussed in a geometric setting, when the differential equations are linear with holomorphic coefficients, in terms of Higgs bundles, opers, and Gaiotto's conformal limit construction. In this context, however, there are no counting problems behind the scene.

This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one establishes a framework and carries out the classification work for arc-transitive maps with solvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the constructions of various new and interesting arc-regular maps.

Given a partition $μ$ of $-2$, the stratum $\mathcal{H}(μ)$ parametrizes meromorphic differential one-forms on the Riemann sphere $\mathbb{CP}^{1}$ with~$n$ zeros and $p$ poles of orders prescribed by $μ$. The isoresidual fibration is defined by assigning to each differential in $\mathcal{H}(μ)$ its configuration of residues at the poles. In the case of differentials with $n=2$ zeros, generic isoresidual fibers are complex curves endowed with a canonical translation structure, which we describe extensively in this paper. Quantitative characteristics of the translation structure on isoresidual fiber curves, including the orders of the singularities and a period central charge encapsulating the linear dependence of periods on the underlying configuration of residues, provide rich discrete invariants for these fibers. We also determine the Euler characteristic of generic isoresidual fiber curves from intersection-theoretic computations, relying on the multi-scale compactification of strata of differentials. In particular, we describe a wall and chamber structure for the Euler characteristic of generic isoresidual fiber curves in terms of the partition $μ$. Additionally, we classify the connected components of generic isoresidual fibers for strata in genus zero with an arbitrary number of zeros.

We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(¶^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$ in terms of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)$ and plethysm with a genus-zero contribution determined by Getzler and Pandharipande. Fixing a generic $\mathbb{C}^\star$-action on $\mathbb{P}^r$, we derive a closed formula for the Euler characteristic of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)^{\mathbb{C}^\star}$ as an $S_n$-equivariant virtual mixed Hodge structure, which leads to our main formula for the Euler characteristic of $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$. Our approach connects the geometry of torus actions on Kontsevich moduli spaces with symmetric functions in Coxeter types $A$ and $B$, as well as the enumeration of graph colourings with prescribed symmetry. We also prove a structural result about the $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{g, n}(\mathbb{P}^r, d)$ in arbitrary genus.

Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature. In this paper we introduce an inductive method of constructing elements of the path homology chain modules $Ω_n(G;R)$ from elements in the proceeding two dimensions. This proceeds via the formation of what we call upper and lower \emph{extensions}, that are parametrised by certain labeled multihypergraphs which we introduce and call \emph{face multihypergraphs}. When the coefficient ring $R$ is a finite field the inductive elements we construct generate $Ω_*(G;R)$. With integral or rational coefficients, the inductive elements generate at least $Ω_i(G;R)$ for $i=0,1,2,3$. Since in low dimensions the inductive elements extended over labeled multigraphs coincide with naturally occurring generating sets up to sign, they are excellent candidates to reduce to a basis. Inductive elements provide a new concrete structure on the path chain complex that can be directly applied to understand path homology, under no restriction on the digraph $G$. We employ inductive elements to construct a sequence of digraphs whose path Euler characteristic can differ arbitrarily depending on the choice of field coefficients. In particular, answering an open question posed by Fu and Ivanov.

We develop a cohomological approach to Möbius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define Möbius cohomology as the derived functors of an enriched hom functor on the category of $P$-modules. We prove that the Euler characteristic of our cohomology theory recovers the classical Möbius inversion, providing a natural categorification. As a key application, we prove a categorical version of Rota's Galois Connection. Our approach unifies classical ideas from combinatorics with homological algebra.

To a graph $Γ$, one can associate a hypertoric variety $\mathcal{M}(Γ)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(Γ)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(Γ)$ is computed by the CKS complex, which is a finite dimensional complex attached to $Γ$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric variety by a lattice action. In this paper, we show that the group cohomology of the lattice with coefficients in the cohomology of the prequotient is isomorphic to the cohomology of the CKS complex using a spectral sequence argument. Therefore, the group cohomology can serve as an alternative way to compute the cohomology of multiplicative hypertoric varieties. We also found graph-theoretic descriptions for the Euler characteristics of the graded pieces in a certain decomposition of $\mathrm{H}^\bullet(\mathcal{M}^{\mathrm{mul}}(Γ))$.

We extend the Wirtinger number of links, an invariant originally defined by Blair, Kjuchukova, Velazquez, and Villanueva in terms of extending initial colorings of some strands of a diagram to the entire diagram, to spatial graphs. We prove that the Wirtinger number equals the bridge index of spatial graphs, and we implement an algorithm in Python which gives a more efficient way to estimate upper bounds of bridge indices. Combined with lower bounds from diagram colorings by elements from certain algebraic structures and clasping techniques, we obtain exact bridge indices for a large family of almost unknotted spatial graphs. We also show that for every possible negative Euler characteristic, there exist almost unknotted graphs of arbitrarily large bridge index.

Simplicial surfaces describe the incidence relations between vertices, edges and faces of triangulated 2-dimensional manifolds in a purely combinatorial way. By considering only the incidences of edges and faces, simplicial surfaces are closely related to cubic graphs. In this paper we investigate how properties of simplicial surfaces and cubic graphs can be transferred to each other. Furthermore, we study embeddings of cubic graphs on simplicial surfaces and how they are connected to strong graph embeddings. For instance, 3-connected cubic planar graphs are uniquely embeddable on simplicial spheres, which is a direct consequence of Whitney's embedding theorem. Moreover, 3-connected cubic planar graphs can also be embedded on simplicial surfaces of higher genus. We characterise the properties that a simplicial sphere must possess such that the cubic graph describing its edge-face incidence relation can be embedded on a simplicial surface of non-negative Euler characteristic.

The basis number of a graph $G$ is the smallest integer $k$ such that $G$ admits a basis $B$ for its cycle space, where each edge of $G$ belongs to at most $k$ members of $B$. In this note, we show that every non-planar graph that can be embedded on a surface with Euler characteristic $0$ has a basis number of exactly $3$, proving a conjecture of Schmeichel from 1981. Additionally, we show that any graph embedded on a surface $Σ$ (whether orientable or non-orientable) of genus $g$ has a basis number of $O(\log^2 g)$.

One of the most common and effective methods of obtaining structural information on simplicial complexes is to use tools from algebraic geometry/commutative algebra (often motivated by properties of toric varieties). However, there is no general algebro-geometric description of components of the gamma vector holding for arbitary flag simplicial spheres. This invariant occurs in many different contexts including permutation statistics, signatures of toric varieties, and Euler characteristics of nonpositively curved piecewise Euclidean manifolds. Combinatorial methods resulting from an explicit inverted Chebyshev expansion give rise to new positivity properties and cell complex structures that are of interest in their own right. Note that the focus is on the $f$-vector rather than the $h$-vector in ``algebraic'' settings. For flag simplicial spheres $Δ$, the fact that $h(Δ) = f(Γ)$ and compatibility between Chebyshev expansions and a modification of the $f$-polynomial by work of Hetyei are the key inputs. In the main formula implying new positivity results, local structures of $CAT(0)$ complexes and cubical analogues of barycentric subdivisions give deeper connections with cubical complex structures complementing earlier work related to the top gamma vector component. Afterwards, we return to the motivating example of barycentric subdivisions and consider how $f$-vectors of Cohen--Macaulay and vertex decomposable flag complexes in geometric settings decompose and interact with geometric transformations. This includes subdivisions of simplicial complexes and recursive properties they share with vertex decomposable flag complexes.

This thesis investigates geometric descriptions of scattering amplitudes, with a specific focus on scattering amplitudes in N=4 SYM and ABJM theory. The recent development of the field of positive geometries provides us with a suitable framework for this endeavour. In particular, we will give a detailed account of the amplituhedron, the momentum amplituhedron, and the ABJM momentum amplituhedron. Alongside these geometries, we will also discuss the ABHY associahedron, which encapsulates tree-level scattering amplitudes in bi-adjoint scalar theory. We provide a detailed introduction to these positive geometries, which includes a comprehensive discussion of their structure. For the momentum amplituhedron, ABJM momentum amplituhedron, and ABHY associahedron we give a full stratification of their boundaries, which equivalently elucidates the singularity structure of the tree-level scattering amplitudes. Notably, we show that the ABJM momentum amplituhedron has an Euler characteristic equal to one. Furthermore, we explore the interconnections between these, and other, positive geometries. These connections are in part obtained via push forwards through the scattering equations. We develop techniques to calculate these push forwards which circumvents the necessity to solve the scattering equations explicitly. Beyond tree-level, we illustrate how positive geometries can be used to describe loop integrands in planar N=4 SYM and ABJM. A new framework is established to investigate these loop geometries in the space of dual momenta. The construction relies solely on lightcones and their intersections, and the framework simultaneously encompasses the loop level structure of the amplituhedron, momentum amplituhedron, and the ABJM momentum amplituhedron. This further leads to compact general formulae for all one-loop integrands in N=4 SYM and ABJM.