arXiv++ Combinatorics

We study topological aspects of supersolvable abelian arrangements, toric arrangements in particular. The complement of such an arrangement sits atop a tower of fiber bundles, and we investigate the relationship between these bundles and bundles involving classical configuration spaces. In the toric case, we show that the monodromy of a supersolvable arrangement bundle factors through the Artin braid group, and that of a strictly supersolvable arrangement bundle factors further through the Artin pure braid group. The latter factorization is particularly informative -- we use it to determine a number of invariants of the complement of a strictly supersolvable arrangement, including the cohomology ring and the lower central series Lie algebra of the fundamental group.

We prove a purely combinatorial obstruction for the Bloch-Kato property within the class of fundamental groups of complement manifolds of toric arrangements (i.e., arrangements of hypersurfaces in the complex torus). As a stepping stone we obtain a combinatorial obstruction for the cohomology of a supersolvable arrangement to be generated in degree 1. Our result allows us to prove that - for all prime numbers $p$, the pro-$p$ completion of the pure braid group on $k$ strands has the Bloch-Kato property if and only if $k\leq 3$; - for all prime numbers $p$, the pro-$p$ completion of the pure mapping class group of the sphere $S^2$ with $k$ punctures has the Bloch-Kato property if and only if $k\leq 4$.

In 2010, Vershik proposed a new combinatorial invariant of metric spaces given by a class of polytopes that arise in the theory of optimal transport and are called ``Wasserstein polytopes'' or ``Kantorovich-Rubinstein polytopes'' in the literature. Answering a question posed by Vershik, we describe the stratification of the metric cone induced by the combinatorial type of these polytopes through a hyperplane arrangement. Moreover, we study its relationships with the stratification by combinatorial type of the injective hull (i.e., the tight span) and, in particular, with certain types of metrics arising in phylogenetic analysis. We also compute enumerative invariants in the case of metrics on up to six points.

We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.

We give a new combinatorial description of the cohomology ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ of the complement $M(\mathcal{A})$ of a real complexified toric arrangement $\mathcal{A}$ in $(\mathbb{C}^*)^d$. In particular, we correct an error in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., 2017.

We extend the theory of dual Coxeter and Artin groups to all rank-three Coxeter systems, beyond the previously studied spherical and affine cases. Using geometric, combinatorial, and topological techniques, we show that rank-three noncrossing partition posets are EL-shellable lattices and give rise to Garside groups isomorphic to the associated standard Artin groups. Within this framework, we prove the $K(π, 1)$ conjecture, the triviality of the center, and the solubility of the word problem for rank-three Artin groups. Some of our constructions apply to general Artin groups; we hope they will help develop complete solutions to the $K(π, 1)$ conjecture and other open problems in the area.

We present a combinatorial analysis of fiber bundles of generalized configuration spaces on connected abelian Lie groups. These bundles are akin to those of Fadell-Neuwirth for configuration spaces, and their existence is detected by a combinatorial property of an associated finite partially ordered set. This is consistent with Terao's fibration theorem connecting bundles of hyperplane arrangements to Stanley's lattice supersolvability. We obtain a combinatorially determined class of K($π$,1) toric and elliptic arrangements. Under a stronger combinatorial condition, we prove a factorization of the Poincaré polynomial when the Lie group is noncompact. In the case of toric arrangements, this provides an analogue of Falk-Randell's formula relating the Poincaré polynomial to the lower central series of the fundamental group.

We initiate the axiomatic study of affine oriented matroids (AOMs) on arbitrary ground sets, obtaining fundamental notions such as minors, reorientations and a natural embedding into the frame work of Complexes of Oriented Matroids. The restriction to the finitary case (FAOMs) allows us to study tope graphs and covector posets, as well as to view FAOMs as oriented finitary semimatroids. We show shellability of FAOMs and single out the FAOMs that are affinely homeomorphic to $\mathbb{R}^n$. Finally, we study group actions on AOMs, whose quotients in the case of FAOMs are a stepping stone towards a general theory of affine and toric pseudoarrangements. Our results include applications of the multiplicity Tutte polynomial of group actions of semimatroids, generalizing enumerative properties of toric arrangements to a combinatorially defined class of arrangements of submanifolds. This answers partially a question by Ehrenborg and Readdy.

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as an application, we treat the case of ordered configuration spaces of elliptic curves. Our models are finite polyhedral CW complexes, and our combinatorial tools of choice are acyclic categories (small categories without loops). As a stepping stone, we give a characterization of which acyclic categories arise as face categories of polyhedral CW complexes.

We point out two errors in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., Vol. 313, pp. 746-802, 2017. The main error concerns Theorem 4.2.17. In that theorem's proof, Diagram (8) does not commute in general but only under some restrictive hypotheses on the arrangement $\mathcal{A}$. This invalidates the description for the ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ given in Theorems A and B. We refer to alternative descriptions of the cohomology ring $H^*(M(\mathcal{A});\mathbb{Z})$. The second error concerns Theorem 7.2.1. The claim does hold, but the proof is incorrect. We refer to a counterexample for the argument given in the proof and we provide references for a correct proof.

Symmetric edge polytopes are a class of lattice polytopes constructed from finite simple graphs. In the present paper we highlight their connections to the Kuramoto synchronization model in physics -- where they are called adjacency polytopes -- and to Kantorovich--Rubinstein polytopes from finite metric space theory. Each of these connections motivates the study of symmetric edge polytopes of particular classes of graphs. We focus on such classes and apply algebraic-combinatorial methods to investigate invariants of the associated symmetric edge polytopes.

We give an explicit presentation for the integral cohomology ring of the complement of any arrangement of level sets of characters in a complex torus (alias "toric arrangement"). Our description parallels the one given by Orlik and Solomon for arrangements of hyperplanes, and builds on De Concini and Procesi's work on the rational cohomology of unimodular toric arrangements. As a byproduct we extend Dupont's rational formality result to formality over $\mathbb Z$. The data needed in order to state the presentation is fully encoded in the poset of connected components of intersections of the arrangement.

We extend the notion of face rings of simplicial complexes and simplicial posets to the case of finite-length (possibly infinite) simplicial posets with a group action. The action on the complex induces an action on the face ring, and we prove that the ring of invariants is isomorphic to the face ring of the quotient simplicial poset under a mild condition on the group action. We also identify a class of actions on simplicial complexes that preserve the homotopical Cohen-Macaulay property under quotients. When the acted-upon poset is the independence complex of a semimatroid, the $h$-polynomial of the ring of invariants can be read off the Tutte polynomial of the associated group action. Moreover, in this case an additional condition on the action ensures that the quotient poset is Cohen-Macaulay in characteristic 0 and every characteristic that does not divide an explicitly computable number. This implies the same property for the associated Stanley-Reisner rings. In particular, this holds for independence posets and rings associated to toric, elliptic and, more generally, $(p,q)$-arrangements. As a byproduct, we prove that posets of connected components (also known as posets of {layers}) of such arrangements are Cohen-Macaulay with the same condition on the characteristic.

We prove that the posets of connected components of intersections of toric and elliptic arrangements defined by root systems are EL-shellable and we compute their homotopy type. Our method rests on Bibby's description of such posets by means of "labeled partitions": after giving an EL-labeling and counting homology chains for general posets of labeled partitions, we obtain the stated results by considering the appropriate subposets.

We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik in 2010. In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid. We give explicit formulas for the face numbers of fundamental polytopes and Lipschitz polytopes of all tree-like metrics, and we characterize the metric trees for which the fundamental polytope is simplicial.

In this note we provide a higher-dimensional analogue of Tutte's celebrated theorem on colorings and flows of graphs, by showing that the theory of arithmetic Tutte polynomials and quasi-polynomials encompasses invariants defined for CW complexes by Beck-Breuer-Godkin-Martin and Duval-Klivans-Martin. Furthermore, we answer a question by Bajo-Burdick-Chmutov, concerning the modified Tutte-Krushkal-Renhardy polynomials defined by these authors: to this end, we prove that the product of two arithmetic multiplicity functions on a matroid is again an arithmetic multiplicity function.

We initiate the study of group actions on (possibly infinite) semimatroids and geometric semilattices. To every such action is naturally associated an orbit-counting function, a two-variable "Tutte" polynomial and a poset which, in the realizable case, coincides with the poset of connected components of intersections of the associated toric arrangement. In this structural framework we recover and strongly generalize many enumerative results about arithmetic matroids, arithmetic Tutte polynomials and toric arrangements by finding new combinatorial interpretations beyond the realizable case. In particular, we thus find a class of natural examples of nonrealizable arithmetic matroids. Moreover, under additional conditions these actions give rise to a matroid over the ring of integers. As a stepping stone toward our results we also prove an extension of the cryptomorphism between semimatroids and geometric semilattices to the infinite case.

We study realization spaces of matroids over hyperfields (in the sense of Baker and Bowler). More precisely, given a matroid M and a hyperfield H we determine the space of all H-matroids over M. This can be seen as the matroid stratum of the hyperfield Grassmannians in the sense of Anderson and Davis. We give different descriptions of these realization spaces (e.g., in terms of Tutte groups or projective classes), allowing for explicit computations. When the hyperfield at hand is topological, the realization spaces have a natural topology. In this case, our models carry the correct homeomorphism type. As applications of our methods we obtain a theorem on the existence of phased matroids that are not realizable over the complex field and are not chirotopal, as well as a result on the diffeomorphism type of complex hyperplane arrangements whose underlying matroid is uniform.

We compute the cohomology ring of the complement of a toric arrangement with integer coefficients and investigate its dependency from the arrangement's combinatorial data. To this end, we study a morphism of spectral sequences associated to certain combinatorially defined subcomplexes of the toric Salvetti category in the complexified case, and use a technical argument in order to extend the results to full generality. As a byproduct we obtain: -a "combinatorial" version of Brieskorn's lemma in terms of Salvetti complexes of complexified arrangements, -a uniqueness result for realizations of arithmetic matroids with at least one basis of multiplicity 1.

This note contributes to the structure theory of abstract rigidity matroids in general dimension. In the spirit of classical matroid theory, we prove several cryptomorphic characterizations of abstract rigidity matroids (in terms of circuits, cocircuits, bases, hyperplanes). Moreover, the study of hyperplanes in abstract rigidity matroids leads us to state (and support with significant evidence) a conjecture about characterizing the class of abstract rigidity matroids by means of certain "prescribed substructures". We then prove a recursive version of this conjecture.