[論文レビュー] A generalized logarithmic module and duality of Coxeter multiarrangements

Takuro Abe|EPrints - Department of Mathematics, Hokkaido University|Jul 16, 2008

Advanced Combinatorial Mathematics参考文献 9被引用数 9

ひとこと要約

本稿は、整数乗数（正および負を含む）を持つコクセター多重配置図に対して一般化された対数的モジュールを導入し、対数的導分と微分形式を統一する。斎藤幸治の原始的導分とアフィン接続を用いて、$D({\rm\bf A},2k+m)(kh)$ と $D({\rm\bf A},2k-m)(kh)$ 間のシフト同型と双対性を確立し、既知の自由多重配置図の結果を符号付き乗数へと拡張する。

ABSTRACT

We introduce a new definition of a generalized logarithmic module of multiarrangements by uniting those of the logarithmic derivation and the differential modules. This module is realized as a logarithmic derivation module of an arrangement of hyperplanes with a multiplicity consisting of both positive and negative integers. We consider several properties of this module including Saito's criterion and reflexivity. As applications, we prove a shift isomorphism and duality of some Coxeter multiarrangements by using the primitive derivation.

研究の動機と目的

• 整数乗数（正および負を含む）を持つ多重配置図に対して、対数的導分と微分形式のモジュールを一般化すること。
• 導分と微分構造の両方を統合する統一された一般化された対数的モジュールを定義すること。
• 非負乗数にとどまらず、コクセター多重配置図における自由性および双対性の理論を符号付き乗数へと拡張すること。
• 原始的導分 $D$ とアフィン接続 $\nabla$ を用いて、$D({\rm\bf A},2k+m)(kh)$ と $D({\rm\bf A},2k-m)(kh)$ 間のシフト同型と双対性を確立すること。
• ブレード配置図および準定数乗数を持つコクセター配置図に関する先行結果を、符号付き乗数へと一般化すること。

提案手法

• 整数乗数（正および負を含む）を持つ多重配置図に対して、対数的導分と微分形式を統合した一般化された対数的モジュール $D\Omega({\rm\bf A},m)$ を定義する。
• 乗数 $m: {\rm\bf A} \to \mathbb{Z}$ を持つ多重配置図 $({\rm\bf A},m)$ に対して、正負の部分に分離する「定義関数」$Q_+/Q_-$ の概念を導入する。
• 斎藤幸治の原始的導分 $D$ とアフィン接続 $\nabla$ を用いて、ねじれモジュール $D({\rm\bf A},2k+m)(kh)$ と $D({\rm\bf A},2k-m)(kh)$ 間の同型を構成する。
• $D\Omega({\rm\bf A},m)$ が原始的導分を介して $D({\rm\bf A},m)$ に同型であることを証明し、双対性フレームワークを確立する。
• 一般化されたモジュールをコクセター配置図に適用し、$({\rm\bf A},2k+m)$ の自由性が $({\rm\bf A},m)$ の自由性と同値であることを示し、[1] および [4] の結果を拡張する。
• $I^*$, $\nabla_D$, および $\Omega^1_{S^W}$ を含む可換図式を用いて、一般化されたモジュールが既知の双対性構造と整合することを支援する。

実験結果

リサーチクエスチョン

• RQ1 符号付き乗数を持つ多重配置図に対して、対数的導分と微分形式のモジュールを一つの一般化されたモジュールに統合できるか？
• RQ2 $D({\rm\bf A},2k+m)(kh)$ と $D({\rm\bf A},2k-m)(kh)$ 間のシフト同型と双対性は、$m: {\rm\bf A} \to \{+1,0,-1\}$ を持つ多重配置図へと拡張可能か？
• RQ3 $m$ が $\{+1,0,-1\}$ 値をとるとき、$({\rm\bf A},2k+m)$ の自由性が $({\rm\bf A},m)$ の自由性と同値であるか？
• RQ4 原始的導分 $D$ とアフィン接続 $\nabla$ を用いて、一般化された設定におけるねじれモジュール間の同型を構成できるか？
• RQ5 一般化されたモジュール $D\Omega({\rm\bf A},m)$ は、コクセター配置図における既知の双対性およびシフト同型定理とどのように関係するか？

主な発見

• 本稿は、整数乗数（正および負を含む）を持つ多重配置図に対して、対数的導分と微分形式を統合する一般化された対数的モジュール $D\Omega({\rm\bf A},m)$ を導入する。
• コクセター数 $h$ を持つコクセター配置図 ${\rm\bf A}$ に対して、モジュール $D({\rm\bf A},2k+m)(kh)$ と $D({\rm\bf A},2k-m)(kh)$ が $S$-双対であることが示され、[4] の双対性結果を一般化する。
• 原始的導分 $D$ とアフィン接続 $\nabla$ を用いて、$D({\rm\bf A},2k+m)(kh)$ と $D({\rm\bf A},2k-m)(kh)$ 間にシフト同型を確立し、既知の結果を符号付き乗数へと拡張する。
• $k \in \mathbb{Z}_{>0}$ かつ $m: {\rm\bf A} \to \{+1,0,-1\}$ のとき、$({\rm\bf A},2k+m)$ の自由性が $({\rm\bf A},m)$ の自由性と同値であることが示され、[1] の定理 0.3 を一般化する。
• 一般化されたモジュール $D\Omega({\rm\bf A},m)$ が原始的導分を介して $D({\rm\bf A},m)$ に同型であることが確認され、既知の双対性構造と整合することが裏付けられる。
• 結果は、$I^*$, $\nabla_D$, および $\Omega^1_{S^W}$ を含む可換図式によって支援され、符号付き乗数のための理論的枠組みを強化する。