arXiv++ Combinatorics

In these notes, we introduce the 50-year-old $K(π, 1)$ conjecture alongside Coxeter and Artin groups. Roughly speaking, the conjecture states that the complement in $\mathbb{C}^n$ of a "symmetric" configuration of hyperplanes is a $K(π, 1)$ space. Our end goal is to present a proof of the conjecture in the so-called spherical case, where only a finite number of hyperplanes are removed, through methods from combinatorial topology. This proof draws inspiration from the original proof of the spherical case, which is a special case of a celebrated 1972 theorem by Pierre Deligne.

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. Since classical methods are unavailable in this setting, we use a homological method to compute the cohomology ring. 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.

We prove unicity of $q$-rational numbers up to conjugacy, using character varieties. Despite the unicity, we exhibit a two-parameter family of deformations of rationals with a modular symmetry. We prove that there are exactly two deformations which deliver the usual $q$-integers: the original $q$-rationals defined by Morier-Genoud and Ovsienko, and another new one. Although the new family can be obtained by conjugacy from the old one, new positivity properties appear. In addition, this new family provides a direct computation of the Jones polynomial of rational knots.

In 1976, George Spencer-Brown announced a proof of the four color theorem, using operations on Tait colorings for trivalent plane graphs. In subsequent work he formulated these operations in terms of an algorithm that he called a parity-pass and claimed that when the parity pass algorithm is performed on a non-polar pentagon region, it necessarily terminates in an edge coloring that is extendable to the entire graph. We provide here a counterexample to show that this claim is false. We then raise questions related to the existence of this sort of counterexample.

We investigate constraints on the existence of topological and smooth realisations of combinatorial line arrangements and $(n_k)$-configurations in the complex projective plane. By replacing complex lines with locally-flatly or smoothly embedded 2-spheres, we explore the extent to which classical geometric results, such as Hirzebruch's inequality, persist in the topological or smooth category. We introduce two classes of special line arrangements that we call odd and even. We provide constraints for any smoothly realised, non-trivial, odd arrangement via Furuta's 10/8-Theorem. By looking at branched double covers and using the G-signature theorem, we study topologically realised, non-trivial, even arrangement. Finally, we establish a new lower bound for $(n_k)$-configurations, showing that for any topologically realised configuration we have $n \geq k^2-5$, which implies the non-existence of topological realisations for finite projective planes.

We study the problem of realizing line configurations as collections of 2-spheres smoothly embedded in the complex projective plane. Building upon prior work by Ruberman and Starkston on topological realizations, we establish a stronger obstruction in the smooth category. Our proof relies on lattice-theoretic arguments based on Donaldson's diagonalization theorem.

We construct doubly- and triply-graded Penrose-type homologies for ribbon graphs. The construction is a TQFT-valued cube of resolutions built from two-dimensional cobordisms, which may be nonorientable. Their Euler characteristics recover specializations of some Penrose polynomials; in particular, the four color case comes with a refinement of the classical Penrose criterion.

Alexander's conjecture states that for every two finite triangulations of the same topological space, if they have a common subdivision, then they have a common stellar subdivision. We generalize the recent result of Adiprasito and Pak, who resolved Alexander's conjecture for finite simplicial complexes, to infinite simplicial complexes.

A simple undirected graph $M$ is called a discrete $d$-pseudomanifold if, for every vertex $v$, the induced subgraph $N_M(v)$ on the neighbors of $v$ is a discrete $(d-1)$-pseudomanifold, where a discrete $1$-pseudomanifold is defined to be an $n$-cycle with $n\geq 4$. These objects arise naturally as graph-theoretic analogues of simplicial pseudomanifolds and provide a purely combinatorial framework for studying manifold-like structures through local neighborhood conditions. Understanding discrete pseudomanifolds with a small number of vertices is therefore a fundamental problem in combinatorial topology and extremal graph theory. In this article, we first prove that every discrete $d$-pseudomanifold has at least $2(d+1)$ vertices. We then provide a complete classification of discrete $d$-pseudomanifolds with at most $2d+6$ vertices by determining all possible combinatorial types of such pseudomanifolds. Further, we establish an equivalence between discrete $d$-pseudomanifolds and edge graphs of flag normal $d$-pseudomanifolds. As a consequence, we derive a purely combinatorial characterization of flag normal $d$-pseudomanifolds with at most $2d+6$ vertices and prove that each such complex is a simplicial $d$-sphere. Finally, we show that this sphere characterization is optimal within the class of flag normal $d$-pseudomanifolds by constructing examples on $2d+7$ vertices that are not spheres. Specifically, we prove that, for $d\geq 3$, every flag normal $d$-pseudomanifold with at most $2d+7$ vertices is either a simplicial $d$-sphere or a flag triangulation of the $(d-2)$-fold suspension of $\mathbb{RP}^{2}$.

A classical theorem of Frucht states that every finite group occurs as the automorphism group of a finite graph. We prove an embedded analogue for regular graphs of arbitrary degree. In particular, we show that for every $d\geq 3$ and every finite group $G$, there exists a $d$-regular graph $Γ$ with a strong embedding $β$ such that $\mathrm{Aut}(Γ) \cong \mathrm{Aut}(β(Γ)) \cong G.$ Further, we prove that for every such $d$ and $G$ there exists a sequence of $d$-regular graphs with corresponding strong embeddings whose genera form an unbounded sequence and whose automorphism groups are isomorphic to $G$. Along the way, we identify an oversight in Sabidussi's classical construction of regular graphs with prescribed automorphism group. We give an alternative construction that corrects this issue and strengthens Sabidussi's result by producing an automorphism group-invariant proper $d$-edge-colouring.

We introduce a binary matroid approach to the enumeration of mod 2 toric-colorable seeds of fixed Picard number. We organize these matroids by their contraction category and enumerate weak pseudomanifold subcomplexes by a dynamic programming algorithm. The main computational step uses a Gray code traversal of the mod 2 kernel of the ridge-facet incidence matrix. As the main new result, we find that there are 198,846 mod 2 toric-colorable seeds of dimension four and Picard number five. We also check that they all are toric-colorable. Finally, the same framework independently reproduces the Picard number 4 enumeration of Choi, Jang, and Vallée much faster than their previous method.

We show that when the number of zeros or poles is at least four, every connected component of the strata of differentials in genus one with prescribed zero and pole orders is not an orbifold $K(π,1)$. For quadratic differentials, this provides infinitely many counterexamples to a conjecture attributed to Kontsevich, as well as to a folklore conjecture concerning the contractibility of spaces of Bridgeland stability conditions.

A cyclic meander is an embedded oriented loop in the plane intersecting a fixed infinite line, or circle, transversely in a linearly ordered set of $2n$ points. By keeping track of the order in which the loop visits these points, the cyclic meander induces a cyclic permutation on these marked points. Correspondingly, given a permutation on $n$ letters, one can ask whether or not a cyclic meander induces the permutation in this manner, and if not, what is the most efficient way of doing so if we allow more points of intersection? This process gives a way of associating to a permutation on $n$ letters a measurement of complexity of the permutation in question. The principal result of this work shows that the maximum of this quantity, the \emph{meander number}, over all cyclic permutations on $n$ letters, is bounded above and below quadratically in $n$. This result resolves a conjecture of Schwartz~\cite{richtpss} in relation to his work on the topological salesman problem. We conclude this work by constructing families of cyclic permutations on $n$ letters whose meander numbers realize a continuum of growth rates between linear and quadratic.

We consider the skein algebra of an unpunctured marked surface. Thurston previously constructed its band basis topologically. We show that this band basis coincides with the common triangular basis, which is a Kazhdan-Lusztig type basis for quantum cluster algebras analogous to the dual canonical basis of quantum groups. Our result confirms a conjecture of Thurston. It also provides new cases for the existence of the common triangular basis. In addition, we discover a phenomenon where certain unknots are arranged in configurations resembling beads on a necklace.

The Moebius-Kantor graph MK=G(8,3) is a Cayley graph of three non-abelian groups, the Pauli group P(1), the semi-dihedral group SD(16), as well as the dihedral group D(16) of order 16. In topological graph theory, it illustrates the Heawood number 7 of the torus and leads to the Tucker group Aut(MK), the unique group of genus 2. We compute the Lefschetz numbers to illustrate the Brouwer-Lefschetz fixed point theorem. MK is also the dual of the 2-skeleton complex of the 3-sphere G. The graph represents one of flat Clifford tori of a Hopf fibration in the 3-sphere G=K(2,2,2,2) reflecting that Coxeter saw that MK is a subgraph of the tesseract G*. It carries a metric d so that (MK,d) has only one algebraic group structure (P(1),*) that preserves the metric. It makes the Pauli group natural, similarly as the Moebius ladder M(16) makes the dihedral group D(16) natural, forcing the algebraic structure from the metric structure.

We study the minimum number of inflection points among generic immersed closed plane curves with a fixed embedded shadow. The word immersed is essential: a genuinely embedded Jordan curve has inflection minimum zero. For tree-like shadows, inflection criterion converts inflection-free realizability into a finite coorientation problem on the building polygons of the shadow. We sharpen this viewpoint into an exact finite formula for the minimum number of normalized inflections and record a dynamic-programming computation on the block tree. We then push the method beyond the tree-like case. For every embedded shadow the same coorientation model gives a universal lower bound. For a natural larger class, called tree--necklace shadows, in which the non-tree-like blocks are separated annular cycles, the lower bound is exact after imposing an explicit $\mathbb Z_2$ holonomy condition around each necklace. We also record the algorithmic status of the exact minimization problem and formulate a likely NP-hardness problem for unrestricted shadows. Finally, we introduce a related invariant: the minimum possible least multiplicity of the Gauss map, equivalently the smallest guaranteed number of oriented parallel tangencies. This ``parallel-tangent load'' is controlled by the same inflection folds but is not determined by their number alone.

We introduce lattice-filtered move graphs as finite-state experimental models for knot types. At level N, vertices are lattice-polygon representatives of a fixed knot type with lattice length at most N, modulo orientation-preserving lattice isometries, and edges are prescribed local moves. Connected components of these graphs are discrete analogues of admissible components in ropelength-filtered knot spaces. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level, the resulting function is an ultrapseudometric whenever the relevant initial components eventually merge. The general framework is move-system independent. We then specialize to the simple cubic lattice and BFACF-type moves, treating BFACF as a chosen local move system rather than as a complete lattice-isotopy calculus. The main seed-generated computation uses a 30-edge simple cubic lattice seed for the figure-eight knot and its reflected mirror seed. With mirror symmetries not identified, the two BFACF components are separated at N=30 and merge at N=32. We also extract an explicit merge certificate: a 21-state, 20-move BFACF path through a 32-edge connecting state. Thus, relative to the supplied seeds and the BFACF move system, the seed-generated merge scale is 32. The result is seed-specific and move-system-specific, not a claim about the global merge matrix of the full minimal lattice layer.

We introduce the moduli space of metric Möbius graphs, which extend ribbon graphs to the non-orientable world. This space contains both the moduli space of Riemann surfaces and the moduli space of non-orientable Klein surfaces. Each metric Möbius graph is equipped with a measure of non-orientability. We count lattice points in this moduli space, weighted by the measure of non-orientability, and prove a refined version of Norbury's recursion for this count. Taking the limit as the mesh becomes finer, we deduce a recursion for the Euclidean volumes, yielding a refined version of the Witten--Kontsevich recursion. As an application, we give a geometric definition of the refined Euler characteristic of the moduli space and compute it explicitly, thereby answering a question of Goulden, Harer, and Jackson.

We give an expression for the frequency of non-simple curves in closed surfaces and exploit it to study relative frequencies of such curves in large genus. This extend to the case of non-simple curves Mirzakhani's expressions of frequencies in terms of Konsevitch polynomials and Delecroix-Goujard-Zograf-Zorich large genus asymptotics for those frequencies. In particular, with K fixed, we identify which types of curves with K intersections are most common.

We establish a colorful, and more generally matroidal, solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d - 1$ is an integer and $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ is a field. Our results unify several classical and recent theorems. In the case $k=0$, we recover the colorful Helly theorem of Bárány and Lovász, together with a matroidal extension due to Kalai and Meshulam. In the opposite extremal case $k=d-1$, we obtain Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem. Additionally, we extend the recent noncolorful solution of the Goodman-Pollack problem by McGinnis and the author. Our methods are topological. We introduce matroidal joins, defined as homotopy colimits of diagrams indexed by face posets of matroidal complexes, and derive estimates on their connectivity. The proof also relies on adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.