2025-11-10T03:13:09.242901

Stable hyperplane arrangements

Oshima

We classify complex hyperplane arrangements $\mathcal A$ whose intersection posets $L(\mathcal A)$ satisfy $L(\mathcal A)=Ï_i^{-1}\circÏ_i\bigl(L(\mathcal A)\bigr)$ for $i=1,\dots,n$. Here $Ï_i$ denotes the projection from $\mathbb C^n$ onto $\mathbb C^{n-1}$ defined by that forgets the coordinate $x_i$ of $(x_1,\dots,x_n)\in\mathbb C^n$, and $Ï_i\bigl(L(\mathcal A)\bigr)=\{Ï_i(S)\mid S\in L(\mathcal A)\}$. We show that such arrangements $\mathcal A$ arise as pullbacks of the mirror hyperplanes of complex reflection groups of type $A$ or $B$.

academic

Stable hyperplane arrangements

基本信息

论文ID: 2510.11099
标题: Stable hyperplane arrangements
作者: Toshio Oshima
分类: math.CO (组合数学)
发表时间: 2025年10月13日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.11099

摘要

本文对满足 $L(\mathcal{A}) = \pi_i^{-1} \circ \pi_i(L(\mathcal{A}))$ 条件的复超平面配置 $\mathcal{A}$ 进行分类，其中 $i = 1, \ldots, n$ 。这里 $\pi_i$ 表示从 $\mathbb{C}^n$ 到 $\mathbb{C}^{n-1}$ 的投影，定义为忘记坐标 $x_i$ 。作者证明了这类配置恰好是 $A$ 型或 $B$ 型复反射群的镜像超平面的拉回。

研究背景与动机

问题定义：研究具有特殊稳定性质的超平面配置。这些配置的交集格 $L(\mathcal{A})$ 在坐标投影下保持不变性。
重要性：
- 超平面配置是代数组合学的核心研究对象
- 与复反射群理论密切相关
- 在微分方程系统(特别是Pfaffian系统)中有重要应用
现有局限：之前缺乏对稳定超平面配置的系统分类
研究动机：
- 来自对具有对数奇点的Pfaffian系统的研究
- 中间卷积运算在保持奇点位置不变时的分析需求
- KZ型系统的变换理论应用

核心贡献

完整分类定理：给出了所有稳定、约化且不可分解的超平面配置的完整分类
构造性结果：证明了这些配置都来源于 $A$ 型或 $B$ 型反射群的镜像超平面
结构理论：建立了稳定性与坐标投影不变性之间的等价关系
应用基础：为Pfaffian系统的中间卷积理论提供了组合基础

方法详解

任务定义

输入：复超平面配置 $\mathcal{A} = \{H_1, H_2, \ldots, H_k\}$ ，其中每个 $H_i = \{x \in \mathbb{C}^n : f_i(x) = 0\}$

输出：判断 $\mathcal{A}$ 是否为稳定配置，并给出分类

约束条件：

存在 $n$ 个线性无关向量 $v_1, \ldots, v_n$ 使得 $\mathcal{A}$ 对每个 $v_i$ 都是闭合的
等价地， $L(\mathcal{A}) = \pi_i^{-1}(\pi_i(L(\mathcal{A})))$ 对所有 $i = 1, \ldots, n$ 成立

核心概念

稳定性定义：

定义 1.3: 向量 v ∈ V 称为与 S ∈ L(A) 平行，当且仅当 ⟨v,S⟩ = S
配置 A 称为 v-闭合的，当且仅当对每个 S ∈ L(A)^(2)，都有 ⟨v,S⟩ ∈ L(A)
配置 A 称为稳定的，当且仅当存在 n 个线性无关向量使得 A 对每个都是闭合的

中间卷积运算： $\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)}\}$

分类策略

分解定理：将问题分解为不可分解部分
约化理论：区分约化与可约化配置
维数归纳：从低维到高维的系统分析
特殊化技术：通过坐标特殊化降低问题复杂度

主要结果

分类定理 (Theorem 2.1)

设 $\mathcal{A}$ 是 $\mathbb{C}^n$ 中稳定、约化且不可分解的超平面配置，且 $\#L^{(2)} > 1$ 。在适当坐标系下，存在正整数 $m$ 、非负整数 $r$ 和非零复数 $\alpha_1, \ldots, \alpha_r$ 使得：

记号：

$\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\}$

分类结果：

$n = 2$ 情形： $r \geq 1$ 且 $\mathcal{A} = \{\{x_1 = \omega x_2\} : \omega \in \Omega'\} \cup \mathcal{A}_c \cup \mathcal{A}_0$ 其中 $1 \in \Omega' \subset \Omega$
$n \geq 3$ 情形： $\mathcal{A} = \mathcal{A}' \text{ (当 } m = 1 \text{ 且 } n > 3\text{)} \text{ 或 } \mathcal{A} = \mathcal{A}' \cup \mathcal{A}_c \cup \mathcal{A}_0$ 其中 $\mathcal{A}' := \{\{x_i = \omega x_j\} : \omega \in \Omega, 1 \leq i < j \leq n\}$