[論文レビュー] Existence of the lattice on general $H$-type groups

Kenrô Furutani, Irina Markina|arXiv (Cornell University)|May 29, 2013

Advanced Algebra and Geometry参考文献 23被引用数 7

ひとこと要約

本稿は、一般のH型リーリー代数—中心上のクラッパー代数モジュールである水平空間を備えた非退化内積を持つ2段階可解リーリー代数—に対して、すべての構造定数が±1または0に等しい基底が存在することを証明する。この結果により、特定の幾何学的・代数的条件下で構造定数の整数性が示されることにより、このような代数に格子が存在することを確立する。

ABSTRACT

Let $\mathscr N$ be a two step nilpotent Lie algebra endowed with non-degenerate scalar product $\langle\cdot\,,\cdot angle$ and let $\mathscr N=V\oplus_{\perp}Z$, where $Z$ is the center of the Lie algebra and $V$ its orthogonal complement with respect to the scalar product. We prove that if $(V,\langle\cdot\,,\cdot angle_V)$ is the Clifford module for the Clifford algebra $\Cl(Z,\langle\cdot\,,\cdot angle_Z)$ such that the homomorphism $J\colon \Cl(Z,\langle\cdot\,,\cdot angle_Z) o\End(V)$ is skew symmetric with respect to the scalar product $\langle\cdot\,,\cdot angle_V$, or in other words the Lie algebra $\mathscr N$ satisfies conditions of general $H$-type Lie algebras ~\cite{Ciatti, GKM}, then there is a basis with respect to which the structural constants of the Lie algebra $\mathscr N$ are all $\pm 1$ or 0.

研究の動機と目的

• 一般H型リーリー代数（非退化内積を持つ2段階可解リーリー代数）に格子が存在することを確立すること。
• そのような代数が、すべての構造定数が整数（特に±1または0）に等しくなるような基底を有するかどうかを調査すること。
• クラッパー代数モジュール構造および歪対称表現が、構造定数の整数性をもたらす幾何学的・代数的条件を分析すること。
• 古典的状況に限らない、一般H型設定におけるH型リーマン群への格子理論を拡張すること。
• 正規直交基底およびクラッパー代数表現を用いた構成的基準により、リーリー代数構造の整数性を提供すること。

提案手法

• 一般H型リーリー代数を、$\mathscr{N} = V \oplus_{\perp} Z$ と分解する2段階可解リーリー代数として定義する。ここで$Z$は中心、$V$は直交補空間である。
• 内積$\langle\cdot,\cdot\rangle_Z$を備えたクラッパー代数$\mathrm{Cl}(Z, \langle\cdot,\cdot\rangle_Z)$を$V$に作用させ、$J_z: V \to V$ が$J_z^2 = -\|z\|^2 \mathrm{Id}_V$ を満たす表現を用いる。
• すべての$u,v \in V$に対して$\langle J_z u, v \rangle_V = -\langle u, J_z v \rangle_V$ を満たす歪対称性の条件を課すことで、$V$ 上の内積と整合性を保つ。
• 内積$\mathscr{N} = V \oplus Z$ を用いて、$\langle J_z u, v \rangle_V = \langle z, [u,v] \rangle$ によりリーブラケットを構成する。
• これらの条件下で、$Z$ の正規直交基底および$V$ に整合する基底が存在し、リーブラケットの構造定数$c_{ij}^k$ が$\{0, \pm 1\}$ に属することを示す。
• 演算子$J_{z_j}$ が生成する群が有限かつ$V$ 上の内積に関してユニタリであることを利用し、このような整数基底の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般H型リーリー代数が格子を有するための条件は何か？
• RQ2 適切な基底の選択により、一般H型リーリー代数の構造定数を整数（つまり±1または0）にできるか？
• RQ3 $\mathrm{Cl}(Z, \langle\cdot,\cdot\rangle_Z)$ 上の$V$ におけるクラッパー代数モジュール構造が、リーリー代数構造の整数性を保証するために果たす役割は何か？
• RQ4 $V$ 上の内積に関して表現$J_z$ の歪対称性が、整数基底の存在とどのように関係しているか？
• RQ5 幾何的・代数的制約のもとで、リーブラケットの構造定数が±1および0のみをとるような基底を構成することは可能か？

主な発見

• クラッパー代数モジュールおよび歪対称表現の条件を満たす任意の一般H型リーリー代数に対して、すべての構造定数が$\{0, \pm 1\}$ に属する基底が存在する。
• このような基底の存在は、演算子$J_{z_j}$ が生成する有限群構造および$V$ 上の不変内積の存在によって保証される。
• $V$ 上の内積は、表現$J_z$ が歪対称になるように選べる。これにより、$\langle J_z u, v \rangle_V = \langle z, [u,v] \rangle$ により定義されるリーマン代数ブラケットと整合性が保たれる。
• $Z$ の基底が正規直交であり、$V$ の基底がクラッパー代数モジュール作用と整合するように選ばれた場合、リーリー代数の構造定数は整数（±1または0）に等しくなる。
• この結果により、構造定数が整数であることから、対応する単連結リーマン群における離散的かつコアーマンな部分群（格子）が構成可能であるため、このようなリーリー代数は格子を有することが示される。
• この構成は、古典的H型状況に限らない、より広い一般H型代数のクラスへと理論を一般化し、古典的設定を超えた既知の格子存在結果を拡張する。