Stable Hyperplane Arrangements

Basic Information

• Paper ID: 2510.11099
• Title: Stable Hyperplane Arrangements
• Author: Toshio Oshima
• Classification: math.CO (Combinatorics)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11099

Abstract

This paper classifies complex hyperplane arrangements $\mathcal{A}$ satisfying the condition $L(\mathcal{A}) = \pi_i^{-1} \circ \pi_i(L(\mathcal{A}))$ for $i = 1, \ldots, n$, where $\pi_i$ denotes the projection from $\mathbb{C}^n$ to $\mathbb{C}^{n-1}$ defined by forgetting the coordinate $x_i$. The author proves that such arrangements are precisely the pullbacks of mirror hyperplanes of complex reflection groups of type $A$ or $B$.

Research Background and Motivation

1. Problem Definition: Investigation of hyperplane arrangements with special stability properties. The intersection lattice $L(\mathcal{A})$ of these arrangements remains invariant under coordinate projections.
2. Significance:
   • Hyperplane arrangements are central objects in algebraic combinatorics
   • Closely related to the theory of complex reflection groups
   • Important applications in systems of differential equations (particularly Pfaffian systems)
3. Existing Limitations: Previous lack of systematic classification of stable hyperplane arrangements
4. Research Motivation:
   • Arising from the study of Pfaffian systems with logarithmic singularities
   • Analysis requirements for intermediate convolution operations in preserving singularity locations
   • Applications to transformation theory of KZ-type systems

Core Contributions

1. Complete Classification Theorem: Provides a complete classification of all stable, reduced, and indecomposable hyperplane arrangements
2. Constructive Results: Proves that these arrangements all originate from mirror hyperplanes of reflection groups of type $A$ or $B$
3. Structure Theory: Establishes equivalence between stability and invariance under coordinate projections
4. Application Foundation: Provides combinatorial foundations for intermediate convolution theory of Pfaffian systems

Detailed Methodology

Task Definition

Input: Complex hyperplane arrangement $\mathcal{A} = \{H_1, H_2, \ldots, H_k\}$, where each $H_i = \{x \in \mathbb{C}^n : f_i(x) = 0\}$

Output: Determine whether $\mathcal{A}$ is a stable arrangement and provide classification

Constraints:

• There exist $n$ linearly independent vectors $v_1, \ldots, v_n$ such that $\mathcal{A}$ is closed with respect to each $v_i$
• Equivalently, $L(\mathcal{A}) = \pi_i^{-1}(\pi_i(L(\mathcal{A})))$ holds for all $i = 1, \ldots, n$

Core Concepts

Stability Definition:

Definition 1.3: A vector v ∈ V is called parallel to S ∈ L(A) if and only if ⟨v,S⟩ = S
An arrangement A is called v-closed if and only if for each S ∈ L(A)^(2), we have ⟨v,S⟩ ∈ L(A)
An arrangement A is called stable if and only if there exist n linearly independent vectors 
such that A is closed with respect to each of them

Intermediate Convolution Operation: $\text{mc}_v \mathcal{A} := \mathcal{A} \cup \{\langle v, S \rangle : \text{codim}\langle v, S \rangle = 1, S \in L(\mathcal{A})^{(2)}\}$

Classification Strategy

1. Decomposition Theorem: Decompose the problem into indecomposable parts
2. Reduction Theory: Distinguish between reduced and reducible arrangements
3. Dimensional Induction: Systematic analysis from low to high dimensions
4. Specialization Technique: Reduce problem complexity through coordinate specialization

Main Results

Classification Theorem (Theorem 2.1)

Let $\mathcal{A}$ be a stable, reduced, and indecomposable hyperplane arrangement in $\mathbb{C}^n$ with $\#L^{(2)} > 1$. In appropriate coordinates, there exist positive integers $m$, non-negative integers $r$, and nonzero complex numbers $\alpha_1, \ldots, \alpha_r$ such that:

Notation:

• $\Omega := \{e^{2\pi k\sqrt{-1}/m} : k = 1, \ldots, m\}$
• $\mathcal{A}_c := \{\{x_i = \omega\alpha_j\} : \omega \in \Omega, i = 1, \ldots, n, j = 1, \ldots, r\}$
• $\mathcal{A}_0 := \{\{x_i = 0\} : 1 \leq i \leq n\}$

Classification Results:

1. Case $n = 2$: $r \geq 1$ and $\mathcal{A} = \{\{x_1 = \omega x_2\} : \omega \in \Omega'\} \cup \mathcal{A}_c \cup \mathcal{A}_0$ where $1 \in \Omega' \subset \Omega$
2. Case $n \geq 3$: $\mathcal{A} = \mathcal{A}' \text{ (when } m = 1 \text{ and } n > 3\text{)} \text{ or } \mathcal{A} = \mathcal{A}' \cup \mathcal{A}_c \cup \mathcal{A}_0$ where $\mathcal{A}' := \{\{x_i = \omega x_j\} : \omega \in \Omega, 1 \leq i < j \leq n\}$

Key Lemmas

Lemma 3.4: Under the conditions of the theorem, $\mathcal{A}_{x_i} \cap \mathcal{A}_{x_j} \cap \mathcal{A}_{x_k} = \emptyset$ for all $1 \leq i < j < k \leq n$.

This is central to the proof, established through proof by contradiction and dimensional induction.

Proof Techniques

Two-Dimensional Case Analysis

For $n = 2$, the core is analyzing combinations of hyperplanes of the form $\{y = \alpha_1 x\}, \{y = \alpha_2 x + \alpha_3\}$:

Lemma 3.1: If a finite set $F \subset \mathbb{C}$ satisfies $T_1(F) = T_2(F) = F$, where $T_1(z) = \alpha_1 z$ and $T_2(z) = \alpha_2 z + \alpha_3$, then necessarily $\alpha_3 = 0$ and there exists an integer $m \geq 2$ such that $\alpha_1^m = \alpha_2^m = 1$.

Higher-Dimensional Strategy

1. Specialization Technique (Lemma 3.2): Reduce high-dimensional problems to lower dimensions by fixing partial coordinates
2. Disjointness Proof: Prove that three or more coordinate directions cannot simultaneously intersect
3. Structure Analysis: Utilize transitivity properties of the stability condition

Related Applications

Connection to Pfaffian Systems

Stable hyperplane arrangements play a key role in Pfaffian systems with logarithmic singularities:

$\mathcal{M}: du = \Omega u, \quad \Omega = \sum_{H \in \mathcal{A}} A_H d\log f_H$

The intermediate convolution operation $\text{mc}_{x_i,\mu} \mathcal{M}$ produces new Pfaffian systems that preserve singularity structure when $\mathcal{A}$ is stable.

Reflection Group Theory

The results show that stable arrangements correspond precisely to:

• Type $A$: Braid arrangements $\{x_i = x_j : 1 \leq i < j \leq n\}$
• Type $B$: Extended arrangements containing coordinate hyperplanes

Technical Innovations

1. Stability Characterization: Establishes connections between abstract stability conditions and concrete geometric structures
2. Classification Method: Comprehensive approach combining combinatorial, algebraic, and geometric techniques
3. Induction Strategy: Effective dimensional induction and specialization techniques
4. Application-Oriented: Deep integration with differential equation theory

Conclusions and Discussion

Main Conclusions

1. Complete classification of stable hyperplane arrangements has been established
2. These arrangements all originate from mirror hyperplanes of classical reflection groups
3. Stability is equivalent to invariance under coordinate projections

Theoretical Significance

• Provides new structural results for hyperplane arrangement theory
• Establishes a bridge between combinatorial geometry and differential equation theory
• Provides new combinatorial characterizations for reflection group theory

Application Prospects

• Transformation theory of Pfaffian systems
• Study of KZ-type equations
• Development of special function theory

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete classification of stable hyperplane arrangements
2. Methodological Innovation: Comprehensive approach combining multiple mathematical tools
3. Application Value: Deep connections with important differential equation theory
4. Technical Depth: Elegant proof techniques, particularly the use of dimensional induction

Technical Contributions

1. New Concept Introduction: Precise mathematical definition of stability concept
2. Classification Theorem: Complete and constructive classification results
3. Proof Techniques: Effective induction and specialization methods

Potential Impact

This work may have significant impact on:

• Further research in hyperplane arrangements
• Geometric theory of differential equation systems
• Development of reflection group and root system theory

Future Research Directions

Future work mentioned by the author includes:

• Treatment of non-stable cases
• More general transformation theory of Pfaffian systems
• Further connections with special function theory

This paper provides important structural results for hyperplane arrangement theory. Its classification theorem not only has theoretical value but also provides a solid combinatorial foundation for related differential equation theory.