[論文レビュー] The line geometry of resonance varieties

Michael Falk|ArXiv.org|May 12, 2004

Advanced Combinatorial Mathematics参考文献 24被引用数 10

ひとこと要約

本稿は、射影的直線複体と則線的多様体を用いて、超平面配置の1次共鳴多様体の幾何的特徴付けを提供し、成分が隣接する分割とグラフから生じることを示している。特に対特異的3次元のヘシアン配置では、非線形な3次超曲面成分を有することを証明し、スィウチの未解決問題を解決した。

ABSTRACT

Let R^1(A,R) be the degree-one resonance variety over a field R of a hyperplane arrangement A. We give a geometric description of R^1(A,R) in terms of projective line complexes. The projective image of R^1(A,R) is a union of ruled varieties, parametrized by neighborly partitions of subarrangements of A. The underlying line complexes are intersections of special Schubert varieties, easily described in terms of the corresponding partition. We generalize the definition and decomposition of R^1(A,R) to arbitrary commutative rings, and point out the anomalies that arise. In general the decomposition is parametrized by neighborly graphs, which need not induce neighborly partitions of subarrangements of A. We use this approach to show that the resonance variety of the Hessian arrangement over a field of characteristic three has a nonlinear component, a cubic threefold with interesting line structure. This answers a question of A. Suciu. We show that Suciu's deleted B_3 arrangement has resonance components over Z_2 that intersect nontrivially. We also exhibit resonant weights over Z_4 supported on the deleted B_3, which has no neighborly partitions. The modular resonant weights on the deleted B_3 exponentiate to points on the complex torus which lie on, and determine, the translated 1-torus in the first characteristic variety.

研究の動機と目的

• 射影的直線複体を用いて、$\mathcal{R}^1(\mathcal{A}, R)$ の幾何的記述を提供すること。
• 任意の可換環への $\mathcal{R}^1(\mathcal{A}, R)$ の分解を一般化し、一般の場合における異常性を同定すること。
• ヘシアン配置における非線形成分の存在という未解決問題を、特異的3次元超曲面成分の構成により解決すること。
• 特に体でない状況において、隣接するグラフと分割が共鳴成分をパラメトライズする役割を分析すること。
• $\mathbb{Z}_N$ 上のモジュラー共鳴と、特に削除された $B_3$ 配置における特徴的多様体内の平行移動成分との関係を接続すること。

提案手法

• 部分配置の隣接する分割による共鳴成分のパラメトライズを用い、射影空間内の則線的多様体を導出する。
• グラスマン多様体内の特別なシューベルト多様体の交わりとして直線複体を構成し、シューベルト計算とピエリ則を用いる。
• Macaulay2を用いて直母線の結合を計算し、関連する則線的多様体が $\mathbb{P}^4$ 内の既約な3次超曲面であることを検証する。
• 交差理論を用いて、直線複体の次数と余次元を計算し、有理同値と深さの議論を活用する。
• 特異点集合と埋め込まれた成分、特に6点の交点を含む平面内の2次曲面に着目し、$|\mathsf{L}|$ の3次超曲面の幾何を分析する。
• $\mathbb{Z}_4$ および $\mathbb{Z}_2$ 上での共鳴を分析し、非自明な交わりとモジュラー共鳴重みを検出する。これにより、特徴的多様体内の平行移動トーラスと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 特異的3次体上のヘシアン配置の共鳴多様体は非線形成分を含むか？
• RQ2 隣接する分割が存在しない場合でも、任意の環上の隣接グラフが共鳴成分をパラメトライズできるか？
• RQ3 $\mathbb{Z}_N$ 上のモジュラー共鳴重みは、特徴的多様体における平行移動成分をどのように生じさせるか？
• RQ4 超平面配置の隣接する分割に関連する直線複体の幾何的構造は何か？
• RQ5 複素数体上での共鳴多様体の線形性と自明な交わりの性質は、隣接グラフ／直線複体フレームワークから導けるか？

主な発見

• 特異的3次体上のヘシアン配置の共鳴多様体は、非線形成分を含み、具体的には $\mathbb{P}^4$ 内の既約な3次超曲面である。
• $\mathcal{R}^1(\mathcal{A}, R)$ の射影的像は、部分配置の隣接する分割によってパラメトライズされる則線的多様体の和集合である。
• 削除された $B_3$ 配置について、$\mathbb{Z}_2$ 上の共鳴多様体は非自明に交わる成分を有し、特徴的多様体における非自明な位相的性質を示している。
• $\mathbb{Z}_4$ 上のモジュラー共鳴重みは、削除された $B_3$ の指数に支持され、複素トーラス上の点に指数化され、第一の特徴的多様体内の平行移動1次元トーラスを決定づける。
• ヘシアン配置の隣接グラフに関連する直線複体 $\mathsf{L}(\mathcal{D}_\Gamma)$ は次数3、次元3であり、6点の特異的平面を有する3次超曲面を形成する。
• $G(2,5)$ 内の4つのシューベルト多様体 $W_{(1,0)}$ の交わりは、サイクル類 $3W_{(3,1)} + 2W_{(2,2)}$ を与え、シューベルト計算により期待される余次元と次数が確認された。