arXiv++ Combinatorics

For any cluster-tilting object $\mathsf{T}$ in the cluster category $\mathscr{C}_{n}$ of type $\mathbb{A}_{n}$, we construct a rank-four oriented matroid $\mathcal{M}_{\mathsf{T}}$ such that stackable triangulations of $\mathcal{M}_{\mathsf{T}}$ are in bijection with equivalence classes of maximal green sequences with initial cluster $\mathsf{T}$. This generalises the result that equivalence classes of maximal green sequences of linearly oriented $\mathbb{A}_{n}$ are in bijection with triangulations of a three-dimensional cyclic polytope. The definition of the oriented matroid $\mathcal{M}_{\mathsf{T}}$ arises from the extriangulated structure on $\mathscr{C}_{n}$ which makes $\mathsf{T}$ projective.

Let $\mathscr{M}$ be a conditional oriented matroid. We define a graded algebra $\widehat{\mathscr{VG}}_\mathscr{M}$ with vector space dimension given by the number of covectors in $\mathscr{M}$ which admits a distinguished filtration indexed by the poset $\mathscr{L}(\mathscr{M})$ of flats of $\mathscr{M}$. The subquotients of this filtration are isomorphic to graded Varchenko-Gelfand rings of contractions of $\mathscr{M}$, so we call $\widehat{\mathscr{VG}}_\mathscr{M}$ the {\em graded big Varchenko-Gelfand ring of $\mathscr{M}$.} We describe a no broken circuit type basis of $\widehat{\mathscr{VG}}_\mathscr{M}$ and study its equivariant structure under the action of $\mathrm{Aut}(\mathscr{M})$. Our key technique is the orbit harmonics deformation which encodes $\widehat{\mathscr{VG}}_\mathscr{M}$ (as well as the classical Varchenko-Gelfand ring) in terms of a locus of points.

We introduce a combinatorial model for the Milnor fibration of a complexified real arrangement using oriented matroids. It is a poset quasi-fibration, a notion recently introduced by the first author, whose domain is a subdivision of the Salvetti complex stemming from a natural subdivision of the dual oriented matroid complex. This yields a concrete finite regular CW complex which is homotopy equivalent to the Milnor fiber of the complexified real arrangement and implies that the homotopy type of the Milnor fiber of a complexified real arrangement only depends on the underlying combinatorial structure given by its oriented matroid. Moreover, our construction works for any oriented matroid, disregarding realizability, so we obtain a notion of a combinatorial Milnor fibration for any oriented matroid.

Motivated by the Gray code interpretation of Hamiltonian cycles in Cayley graphs, we investigate the existence of Hamiltonian cycles in tope graphs of hyperplane arrangements, with a focus on simplicial, reflection, and supersolvable arrangements. We confirm Hamiltonicity for all 3-dimensional simplicial arrangements listed in the Grünbaum--Cuntz catalogue. Extending earlier results by Conway, Sloane, and Wilks, we prove that all restrictions of finite reflection arrangements, including all Weyl groupoids and crystallographic arrangements, admit Hamiltonian cycles. Finally, we further establish that all supersolvable hyperplane arrangements and supersolvable oriented matroids have Hamiltonian cycles, offering a constructive proof based on their inductive structure.

We give a new proof of the fact that the complement of the complexification of a real hyperplane arrangement is homotopy equivalent to the Salvetti complex of the associated oriented matroid. Our proof involves no choices, is relatively easy to visualize, and generalizes to the setting of conditional oriented matroids.

We present a comprehensive overview of Ardila and Develin's (generic) tropical oriented matroids, as well as many related objects and their axiomatics. Moreover, we use a unifying framework that elucidates the connections between these objects, including several new cryptomorphisms and properties.

Genevois introduced and investigated mediangle graphs as a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter systems) and studied groups acting on them. He asked if mediangle graphs can be endowed with the structure of a contractible cell complex. We answer this in the affirmative by proving that bipartite mediangle graphs are tope graphs of finitary Complexes of Oriented Matroids (COMs). We also show that the oriented matroids (OMs) constituting the cells of COMs arising from bipartite mediangle graphs are exactly the simplicial OMs.

The Varchenko matrix is known to have a well-structured determinant for complexes of oriented matroids (COMs). COMs can be characterized as partial cubes that do not have certain forbidden pc-minors. In this work, we generalize the Varchenko matrix and its determinant to partial cubes. We identify examples of partial cubes whose Varchenko determinants lack a clean factorization, as well as those that exhibit such a structure. These findings open the door for further research into the properties and potential characterizations of partial cubes with well-behaved Varchenko determinants.

Planes are familiar mathematical objects which lie at the subtle boundary between continuous geometry and discrete combinatorics. A plane is geometrical, certainly, but the ways that two planes can interact break cleanly into discrete sets: the planes can intersect or not. Here we review how oriented matroids can be used to try to capture the combinatorial aspect, giving a way to encode with finite sets all the ways that $n$ planes can interact. We mention how the one-to-one correspondence breaks down in 2 dimensions for 9 lines, and in 3D for 8 planes. We include illustrations of all the types of plane arrangements using $n=4$ and 5.

Positive geometries are semialgebraic sets equipped with a canonical differential form whose residues mirror the boundary structure of the geometry. Every full-dimensional projective polytope is a positive geometry. Motivated by the canonical forms of polytopes, we construct a canonical form for any tope of an oriented matroid, inside the Orlik--Solomon algebra of the underlying matroid. Using these canonical forms, we construct bases for the Orlik--Solomon algebra of a matroid, and for the Aomoto cohomology. These bases of canonical forms are a foundational input in the theory of matroid amplitudes introduced by the second author.

We prove that a lexicographical extension of a Euclidean oriented matroid remains Euclidean.

We call an oriented matroid Mandel if it has an extension in general position which makes all programs with that extension Euclidean. If $L$ is the minimum number of mutations adjacent to an element of the groundset, we call an oriented matroid Las Vergnas if $L > 0$. If $\frak{O}_{\mathcal{property}}$ is the class of oriented matroids having a certain property, it holds $\frak{O} \supset \frak{O}_{\mathcal{Las Vergnas}} \supset \frak{O}_{\mathcal{Mandel}} \supset \frak{O}_{\mathcal{Euclidean}} \supset \frak{O}_{\mathcal{realizable}}.$ All these inclusions are proper, we give explicit proofs/examples for the parts of this chain that were not known. For realizable hyperplane arrangements of rank $r$ we have $L = r$ which was proved by Shannon. Under the assumption that a (modified) intersection property holds we give an analogon to Shannons proof and show that uniform rank $4$ Euclidean oriented matroids with that property have $L = 4$. Using the fact that the lexicographic extension creates and destroys certain mutations, we show that for Euclidean oriented matroids holds $L \ge 3$. We give a survey of preservation of Euclideaness and prove that Euclideaness remains after a certain type of mutation-flips. This yields that a path in the mutation graph from a Euclidean oriented matroid to a totally non-Euclidean oriented matroid (which has no Euclidean oriented matroid programs) must have at least three mutation-flips. Finally, a minimal non-Euclidean or rank $4$ uniform oriented matroid is Mandel if it is connected to a Euclidean oriented matroid via one mutation-flip, hence we get many examples for Non-Euclidean but Mandel oriented matroids and have $L \le 3$ for those of rank $4$.

We compare three filtrations of the tope space of an oriented matroid. The first is the dual Varchenko-Gelfand degree filtration, the second filtration is from Kalinin's spectral sequence, and the last one derives from Quillen's augmentation filtration. We show that all three filtrations and the respective maps coincide over $\mathbb{Z}/ 2\mathbb{Z}$. We also show that the dual Varchenko-Gelfand degree filtration can be made into a filtration of the $\mathbb{Z}$-sign cosheaf on the fan of the underlying matroid. This was previously carried out with $\mathbb{Z}/ 2\mathbb{Z}$-coefficients by the first author and Renaudineau using the Quillen filtration and has applications to real algebraic geometry via patchworking.

Matroids give rise to several natural constructions of polytopes. Inspired by this, we examine polytopes that arise from the signed circuits of an oriented matroid. We give the dimensions of these polytopes arising from graphical oriented matroids and their duals. Moreover, we consider polytopes constructed from cocircuits of oriented matroids generated by the positive roots in any type A root system. We give an explicit description of their face structure and determine the Ehrhart series. We also study an action of the symmetric group on these polytopes, giving a full description the subpolytopes fixed by each permutation. These type A polytopes are graphic zonotopes, are polar duals of symmetric edge polytopes, and also make an appearance in Stapledon's paper introducing Equivariant Ehrhart Theory.

The higher Bruhat orders $\mathcal{B}(n,k)$ were introduced by Manin-Schechtman to study discriminantal hyperplane arrangements and subsequently studied by Ziegler, who connected $\mathcal{B}(n,k)$ to oriented matroids. In this paper, we consider the enumeration of $\mathcal{B}(n,k)$ and improve upon Balko's asymptotic lower and upper bounds on $|\mathcal{B}(n,k)|$ by a factor exponential in $k$. A proof of Ziegler's formula for $|\mathcal{B}(n,n-3)|$ is given and a bijection between a certain subset of $\mathcal{B}(n,n-4)$ and totally symmetric plane partitions is proved. Central to our proofs are deletion and contraction operations for the higher Bruhat orders, defined in analogy with matroids. Dual higher Bruhat orders are also introduced, and we construct isomorphisms relating the higher Bruhat orders and their duals. Additionally, weaving functions are introduced to generalize Felsner's encoding of elements in $\mathcal{B}(n,2)$ to all higher Bruhat orders $\mathcal{B}(n,k)$.

This work builds on Varchenko et al's introduction of bilinear forms for hyperplane arrangements, where the determinant of the associated matrices factorizes into simple components. While one of the determinant formula developed by Varchenko has been generalized to complexes of oriented matroids (COMs) already, this question was open for another, distinct form. Motivated by work from Varchenko and Brylawski, who generalized the alternative bilinear form and its determinant formula from hyperplane arrangements to matroids, we examine whether this formula can similarly be generalized to COMs. Our findings affirm this generalization, and we further extend the determinant formula to bouquets of geometric lattices as introduced by Laurent et al.

We show that, given a rank 3 affine root system $Φ$ with Weyl group $W$, there is a unique oriented matroid structure on $Φ$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented matroids were called oriented matroid root systems in Dyer-Wang (2021), and are known to be non-unique in higher rank. We also show uniqueness for any finite root system or "clean" rank 3 root system (which conjecturally includes all rank 3 root systems).

There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.

We establish two explicit bijections: from acyclic reorientations of an oriented matroid to no broken circuit (NBC) subsets of its underlying matroid, and from regions of a real hyperplane arrangement to its affine NBC subsets.

For a real affine hyperplane arrangement, we define an integer intersection matrix with a natural $q$-deformation related to the intersections of bounded chambers of the arrangement. By connecting the integer matrix to a bilinear form of Schechtman-Varchenko, we show that there is a closed formula for its determinant that only depends on the combinatorics of the underlying matroid. We conjecture an analogous formula for its $q$-deformation. Our work also applies more generally in the setting of affine oriented matroids. Additionally, we give a representation-theoretic interpretation of our $q$-intersection matrix using Braden-Licata-Proudfoot-Websters's hypertoric category $\mathcal{O}$ (or more generally Kowalenko-Mautner's category $\mathcal{O}$ for oriented matroid programs). This paper is part of a broader program to categorify matroidal Schur algebras defined by Braden-Mautner.