[論文レビュー] Integral Structures on H-type Lie Algebras

G. Douglas Crandall, J. Dodziuk|ArXiv.org|Jan 28, 2001

Geometry and complex manifolds参考文献 8被引用数 24

ひとこと要約

この論文は、H型リーリー代数が、{0, 1, -1} に値をとる整数構造定数を持つ正規直交基底をもつことを証明し、クリフォードモジュール理論を用いて整数構造を確立する。これにより、対応する単連結H型リーリー群に、ココロプト格子が存在することが示され、キャンベル＝ハウスドルフ公式を用いて明示的に構成され、バースの多項式成長定理および等周不等式を用いて検証される。

ABSTRACT

In this paper we prove that every H-type Lie algebra possesses a basis with respect to which the structure constants are integers. Existence of such an integral basis implies via the Mal'cev criterion that all simply connected H-type Lie groups contain cocompact lattices. Since the Campbell-Hausdorff formula is very simple for two-step nilpotent Lie groups we can actually avoid invoking the Mal'cev criterion and exhibit our lattices in an explicit way. As an application, we calculate the isoperimetric dimensions of H-type groups.

研究の動機と目的

• すべてのH型リーリー代数に対して、構造定数が整数である整数基底の存在を確立すること。
• そのような代数が関連する単連結リーリー群にココロプト格子をもつことを示すこと。
• キャンベル＝ハウスドルフ公式および整数クリフォードモジュール構造を用いて、これらの格子の明示的構成を提供すること。
• その格子の多項式成長に基づいて、H型群の等周不等式を導出すること。

提案手法

• 実クリフォード代数上の無限小クリフォードモジュールの分類を用いて、整数クリフォード乗法係数を持つ正規直交基底を構成する。
• クリフォード代数の普遍性を適用して、直交乗法をEnd(V)への代数準同型に拡張し、反自己随伴作用を保証する。
• 各生成子eiが基底ベクトル上で符号付き置換として作用するように、クリフォードモジュールVの整数基底を構成し、構造定数を{0, 1, -1}に収める。
• H型群N = U ⊕ Vにおける格子Lを(1/2)Uℤ ⊕ Vℤとして定義する。ここでUℤとVℤはリーリー代数成分における格子である。
• キャンベル＝ハウスドルフ公式：X·Y = X + Y + ½[X,Y] を用いて、Lが離散的かつココロプト部分群であることを検証し、群の閉包性とココロプト性を保証する。
• バースの定理（有限生成ノルム群の成長）を適用して成長次数d = dim V + 2 dim Uを計算し、クーロン＝サロフ＝コステおよびカナイの定理を用いてd次元の等周不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべてのH型リーリー代数は、構造定数が{0,1,-1}に属する正規直交基底をもつか？
• RQ2 マリチェフの基準に依存せずに、単連結H型リーリー群にココロプト格子を明示的に構成できるか？
• RQ3 H型リーリー群の等周次元は何か？また、その格子の成長次数とどのように関係するか？
• RQ4 クリフォードモジュールの整数構造は、H型リーリー群の代数的および幾何的性質にどのように影響を与えるか？

主な発見

• すべてのH型リーリー代数は、UおよびVに対して正規直交基底をもち、構造定数A^k_{i,j}が{0, 1, -1}に属することを確認し、整数基底の存在を裏付けた。
• 格子L = (1/2)Uℤ ⊕ Vℤは、単連結H型リーリー群Nにおける離散的かつココロプト部分群であり、キャンベル＝ハウスドルフ公式を用いて明示的に構成された。
• 群Lはバースの定理により、成長次数d = dim V + 2 dim Uの多項式成長を示す。
• Lの下部中心系列はL₀ = L、L₁ = [L,L] = Uℤ、L₂ = 0であり、商L₀/L₁およびL₁/L₂のランクはそれぞれdim Vおよびdim Uである。
• H型群Nはd次元の等周不等式を満たす：あるc > 0に対して、すべての境界が滑らかな相対的にコンパクトなF ⊂ Nに対してA(∂F)/V(F)^{1−1/d} ≥ cである。
• 等周定数cは生成集合の選択にのみ依存し、Lの多項式成長およびカナイの有界幾何学に関する定理から不等式が導かれる。