[論文レビュー] Full heaps and representations of affine Weyl groups

R. M. Green|ArXiv.org|Aug 4, 2006

Algebraic structures and combinatorial models参考文献 14被引用数 4

ひとこと要約

この論文は、Kac–Moody代数や分配的ラティスに関連する組合せ論的構造、すなわちフルヒープを用いて、根系への作用をカテゴライゼーションすることで、アフィンワイル群の忠実な置換表現を構成する。主な貢献は、フルヒープの適切なイデアルのラティスを通じて、一様的かつ初等的なこれらの表現の構成であり、具体的な実現例として、A型、B型、C型、D型におけるℤ上の標準的作用、およびE₆型における27本の直線の作用が含まれる。ここで、ヒープのねじれ（skewness）は幾何的ねじれと一致する。

ABSTRACT

We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of faithful permutation representations of Weyl groups. Examples include the standard representations of affine Weyl groups as permutations of ${\Bbb Z}$ and geometrical examples such as the realization of the Weyl group of type $E_6$ as permutations of 27 lines on a cubic surface; in the latter case, we also show how to recover the incidence relations between the lines from the structure of the heap. Another class of examples involves the action of certain Weyl groups on sets of pairs $(t, f)$, where $t \in {\Bbb Z}$ and $f$ is a function from a suitably chosen set to the two-element set $\{+, -\}$. Each of the permutation representations corresponds to a module for a Kac--Moody algebra, and gives an explicit basis for it.

研究の動機と目的

• フルヒープを用いて、アフィンワイル群の忠実な置換表現を一様的かつ初等的に構成すること。
• フルヒープの適切なイデアルのラティスを通じて、Weyl群の根系への作用をカテゴライゼーションすること。
• 特に、立方曲面上の27本の直線といった重要な例において、イデアルラティスにおける組合せ論的ねじれが、幾何的ねじれと一致することを示すこと。
• ヒープ構造が全順序でない場合にもこの枠組みを拡張し、f: S → {+, −} である (t, f) ペアによってパラメトライズされる新しい表現を含めること。

提案手法

• フルヒープの適切なイデアルのペア (F, F′) から、Weyl群の根ラティスへの脱カテゴライゼーション写像 χ を定義する。
• χ(F, F′) が実根である場合に、イデアル F と F′ 間のねじれの概念を導入する。
• B × B における対角的Weyl群作用を用いて、χ を通じて根系への標準的作用を誘導する。
• 3つの場合について、イデアルラティス B の明示的パラメトライゼーションを構成する：(1) 短い反鎖（例：ℤ作用）、(2) 長い反鎖（例：(t, f) パラメトライゼーション）、(3) 中間の反鎖（例：E₆型）。
• E₆型においては、27個のイデアルが立方曲面上の27本の直線に一対一に対応し、ヒープのねじれが幾何的ねじれと一致することを示す。
• G₂⁽¹⁾ や H₃ のような非フルヒープの場合には、χ 写像を再定義することで枠組みを適応させ、例えば χ({E(2,2k+1)}) = 2α₂ とすることで忠実性を保つ。

実験結果

リサーチクエスチョン

• RQ1 アフィンワイル群の根系への作用は、フルヒープのイデアルラティスを用いてどのようにカテゴライゼーション可能か？
• RQ2 既知の例（例えば立方曲面上の27本の直線）において、イデアルラティス内の2つのイデアル間の組合せ論的ねじれは、幾何的・代数的ねじれとどのように対応するか？
• RQ3 A型、B型、C型、D型、E₆型など、すべてのアフィン型において、フルヒープを用いてWeyル群の忠実な置換表現を一様に構成できるか？
• RQ4 Kac–Moody代数の表現論は、フルヒープやそのイデアルラティスといった組合せ論的構造を通じてどのように明示的に記述可能か？
• RQ5 G₂⁽¹⁾ や H₃ のような非アフィン的・非フルヒープのケースに対しても、忠実性を保ちつつこの枠組みを拡張できるか？

主な発見

• 対角的Weyl群作用が B × B に作用するとき、脱カテゴライゼーション写像 χ を通じて根系への標準的作用が誘導され、B への作用の忠実性が証明される。
• A型、B型、C型、D型において、イデアルラティス B は ℤ に同型であり、Weyl群は ℤ の置換として作用し、標準的実現が回復される。
• E₆型においては、27個のイデアルが立方曲面上の27本の直線に一対一に対応し、ヒープのねじれが直線間の幾何的ねじれと一致する。
• 長い反鎖を持つヒープでは、t ∈ ℤ および f: S → {+, −} であるペア (t, f) によってイデアルがパラメトライズされ、ℤ作用とは同型でない新しい忠実な表現が得られる。
• G₂⁽¹⁾ や H₃ のような非フルヒープ構造に対しても、χ を変更して二重頂点に対して χ({E(2,2k+1)}) = 2α₂ を割り当てることで、忠実性を保ったまま枠組みを拡張できる。
• この構成は初等的であり、高階のリー理論を用いず、Coxeter群および根系理論のみに依拠している。