Affine Hyperplane Arrangements Research Articles

More Bisections by Hyperplane Arrangements

A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes of the arrangement. A finite Borel measure on $R^d$ is bisected by the arrangement of affine hyperplanes $H$ if the measure on the "non-negative side" of the arrangement $\{x\in R^d : p_{H}(x)\ge 0\}$ is the same as the measure on the "non-positive" side $\{x\in R^d : p_{H}(x)\le 0\}$. In 2017 Barba, Pilz \& Schnider considered special cases of the following measure partition hypothesis: For a given collection of $j$ finite Borel measures on $R^d$ there exists a $k$-element affine hyperplane arrangement that bisects each of the measures into equal halves simultaneously. They showed that there are simultaneous bisections in the case when $d=k=2$ and $j=4$. They conjectured that every collection of $j$ measures on $R^d$ can be simultaneously bisected with a $k$-element affine hyperplane arrangement provided that $d\ge \lceil j/k \rceil$. The conjecture was confirmed in the case when $d\ge j/k=2^a$ by Hubard and Karasev in 2018. In this paper we give a different proof of the Hubard and Karasev result using the framework of Blagojevi\'c, Frick, Haase \& Ziegler (2016), based on the equivariant relative obstruction theory of tom Dieck, which was developed for handling the Gr\"unbaum--Hadwiger--Ramos hyperplane measure partition problem. Furthermore, this approach allowed us to prove even more, that for every collection of $2^a(2h+1)+\ell$ measures on $R^{2^a+\ell}$, where $1\leq \ell\leq 2^a-1$, there exists a $(2h+1)$-element affine hyperplane arrangement that bisects all of them simultaneously. Our result was extended to the case of spherical arrangements and reproved by alternative methods in a beautiful way by Crabb in 2020.

Affine hyperplane arrangements and Jordan classes

We study the geometry of the stratification induced by an affine hyperplane arrangement H on the quotient of a complex affine space by the action of a discrete group preserving H. We give conditions ensuring normality or normality in codimension 1 of strata. As an application, we provide the list of those categorical quotients of closures of Jordan classes and of sheets in all complex simple algebraic groups that are normal. In the simply connected case, we show that normality of such a quotient is equivalent to its smoothness.

Cyclotomic Discriminantal Arrangements and Diagram Automorphisms of Lie Algebras

Abstract We identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac–Moody type Lie algebras with diagram automorphisms. As part of this construction, we find that flag complexes naturally give rise to a certain cocycle on the fixed-point subalgebras of such diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero. We also obtain the Poincare polynomial for the cyclotomic discriminantal arrangements.

The Steinberg torus of a Weyl group as a module over the Coxeter complex

Associated with each irreducible crystallographic root system $$\varPhi $$?, there is a certain cell complex structure on the torus obtained as the quotient of the ambient space by the coroot lattice of $$\varPhi $$?. This is the Steinberg torus. A main goal of this paper is to exhibit a module structure on (the set of faces of) this complex over the (set of faces of the) Coxeter complex of $$\varPhi $$?. The latter is a monoid under the Tits product of faces. The module structure is obtained from geometric considerations involving affine hyperplane arrangements. As a consequence, a module structure is obtained on the space spanned by affine descent classes of a Weyl group, over the space spanned by ordinary descent classes. The latter constitute a subalgebra of the group algebra, the classical descent algebra of Solomon. We provide combinatorial models for the module of faces when $$\varPhi $$? is of type A or C.

Bijections between affine hyperplane arrangements and valued graphs

We show new bijective proofs of previously known formulas for the number of regions of some deformations of the braid arrangement, by means of a bijection between the no-broken-circuit sets of the corresponding integral gain graphs and some kinds of labelled binary trees. This leads to new bijective proofs for the Shi, Catalan, and similar hyperplane arrangements.

Quantum Integrable Model of an Arrangement of Hyperplanes

The goal of this paper is to give a geometric construction of the Bethe algebra (of Hamiltonians) of a Gaudin model associated to a simple Lie algebra. More precisely, in this paper a quantum integrable model is assigned to a weighted arrangement of affine hyperplanes. We show (under certain assumptions) that the algebra of Hamiltonians of the model is isomorphic to the algebra of functions on the critical set of the corresponding master function. For a discriminantal arrangement we show (under certain assumptions) that the symmetric part of the algebra of Hamiltonians is isomorphic to the Bethe algebra of the corresponding Gaudin model. It is expected that this correspondence holds in general (without the assumptions). As a byproduct of constructions we show that in a Gaudin model (associated to an arbitrary simple Lie algebra), the Bethe vector, corresponding to an isolated critical point of the master function, is nonzero.

Quiver D-modules and homology of local systems over an arrangement of hyperplanes

Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached to strata of the arrangement, and suitable linear maps between the vector spaces . To a quiver we assign a $D$-module on $X$, called the quiver $D$-module. We describe basic operations for $D$-modules in terms of linear algebra of quivers. We give an explicit construction of a free resolution of a quive $D$-module and use the construction to describe the associated perverse sheaf. As an application, we calculate the cohomology of $X$ with coefficients in the quiver perverse sheaf (under certain assumptions).

A Combinatorial Reciprocity Theorem for Hyperplane Arrangements

AbstractGiven a nonnegative integer m and a finite collection of linear forms on ℚd, the arrangement of affine hyperplanes in ℚd defined by the equations α(x) = k for α ∈ and integers k ∈ [–m,m] is denoted by . It is proved that the coefficients of the characteristic polynomial of are quasi-polynomials in m and that they satisfy a simple combinatorial reciprocity law.

A simple bijection for the regions of the Shi arrangement of hyperplanes

The Shi arrangement L n is the arrangement of affine hyperplanes in R n of the form x i − x j = 0 or 1, for 1 ⩽ i < j ⩽ n. It dissects R n into ( n + 1) n−1 regions, as was first proved by Shi. We give a simple bijective proof of this result. Our bijection generalizes easily to any subarrangement of L n containing the hyperplanes x i − x j = 0 and to the extended Shi arrangements. It also implies the fact that the number of regions of L n which are relatively bounded is ( n − 1) n−1 .