arXiv++ Combinatorics

Let $\mathcal{A}$ be a finite central real hyperplane arrangement and let $\mathcal{G}(\mathcal{A})$ be its tope graph. Koizumi recently proved that the crossing-graded magnitude homology of $\mathcal{G}(\mathcal{A})$ is torsion-free and is freely indexed by face flags. We refine his result by proving that a fixed crossing vector and terminal chamber determine a summand of rank at most one. Over $\mathbb{F}_2$, we use the canonical cohomology basis to determine the crossing-graded magnitude cohomology ring of $\mathcal{G}(\mathcal{A})$.

We prove that the filtered Varchenko--Gelfand algebra is invariant under a natural Cremona operation on a class of real hyperplane arrangements. Namely, suppose that an arrangement contains all coordinate hyperplanes and that every remaining defining form is supported on two coordinates. Swapping the two coefficients in each such form produces its Cremona transform. Coordinatewise inversion gives a chamber bijection and an isomorphism of the corresponding filtered Varchenko--Gelfand algebras over every commutative coefficient ring. As an application, we exhibit two arrangements of eight central planes in $\mathbb{R}^3$ with isomorphic filtered Varchenko--Gelfand algebras but non-isomorphic tope graphs. This disproves a conjecture of Yagi--Yoshinaga on reconstructing tope graphs from filtered Varchenko--Gelfand algebras.

We associate the Orlik--Solomon sheaf with a finite geometric lattice and compute its sheaf homology. We show that this homology concentrates in top degree, admitting a convolution-type decomposition into a principal ideal OS piece tensoring with a principal filter complement poset homology. Applications to uniform matroids provide interesting representations of symmetric groups.

We initiate the study of magnitude theory of real hyperplane arrangements. Magnitude is a cardinality-like invariant of metric spaces or enriched categories measuring the effective size. Its categorification, the magnitude homology, is a more powerful invariant. For a real hyperplane arrangement, or more generally, an oriented matroid, the tope graph encapsulates considerable amount of information. Since tope graphs are equipped with the shortest path metric, we feed them to the magnitude and magnitude homology machinery to derive new invariants of real hyperplane arrangements. We prove some structural results of the magnitude of arrangements, including reciprocity, palindromic numerator and denominator. For magnitude homology of arrangements, we give combinatorial descriptions in small length and prove that tope graphs are diagonal if and only if the arrangement is Boolean. We present a face decomposition of magnitude homology, using which we obtain a combinatorial formula of diagonal magnitude Betti numbers. Many open problems are posted for future study. In particular, we conjecture that magnitude and magnitude homology of arrangements are determined by the intersection lattice.

Motivated by Kohno's result on the holonomy Lie algebra of a hyperplane arrangement, we define the holonomy Lie algebra of a finite geometric lattice in a combinatorial way. For a solvable pair of lattices, we show that the holonomy Lie algebra is an almost-direct product of the holonomy Lie algebra of the sublattice and a free Lie subalgebra. This yields the structure of the holonomy Lie algebra of a finite hypersolvable (including supersolvable) lattice. As applications, we obtain the structure of the holonomy Lie algebra of (the Salvetti complex of) a supersolvable oriented matroid, and that of a hypersolvable arrangement.

We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γ$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$. The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, the characteristic quasi-polynomial for integral arrangements, Brändén-Moci's arithmetic version of the partition function of an abelian group-valued Potts model, and the modified Tutte-Krushkal-Renhardy polynomial for a finite CW-complex. As in the classical case, $G$-Tutte polynomials carry topological and enumerative information (e.g., the Euler characteristic, point counting and the Poincaré polynomial) of abelian Lie group arrangements. We also discuss differences between the arithmetic Tutte and the $G$-Tutte polynomials related to the axioms for arithmetic matroids and the (non-)positivity of coefficients.

The chromatic functor of a simple graph is a functorization of the chromatic polynomial. M. Yoshinaga showed in \cite{Yoshinaga2015} that two finite graphs have isomorphic chromatic functors if and only if they have the same chromatic polynomial. The key ingredient in the proof is the use of stable partitions of graphs. The latter is shown to be closely related to chromatic functors. In this note, we further investigate some interesting properties of chromatic functors associated to simple graphs using stable partitions. Our first result is the determination of the group of natural automorphisms of the chromatic functor, which is in general a larger group than the automorphism group of the graph. The second result is that the composition of the chromatic functor associated to a finite graph restricted to the category $\mathrm{FI}$ of finite sets and injections with the free functor into the category of complex vector spaces yields a consistent sequence of representations of symmetric groups which is representation stable in the sense of Church-Farb \cite{Church2013}.