[论文解读] 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-型李代数——即具有非退化内积的两步幂零李代数，且水平空间是中心上关于 Clifford 代数的模——存在一个基，使得该李代数的所有结构常数均为 ±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-型李代数中格的存在性，这类代数是具有非退化内积的两步幂零李代数。
• 研究此类代数是否允许存在一个基，使得所有结构常数为整数，特别是 ±1 或 0。
• 分析 Clifford 模结构与反对称表示在何种几何与代数条件下可导致结构常数的整性。
• 将 H-型李群中格的理论从经典情形推广至一般 H-型情形。
• 提供一种通过标准正交基与 Clifford 代数表示来实现李代数结构整性的构造性准则。

提出的方法

• 将一般 H-型李代数定义为具有非退化内积的两步幂零李代数，分解为 $\mathscr{N} = V \oplus_{\perp} Z$，其中 $Z$ 为中心，$V$ 为正交补空间。
• 利用 Clifford 代数 $\mathrm{Cl}(Z, \langle\cdot,\cdot\rangle_Z)$ 在 $V$ 上的作用，其中表示 $J_z: V \to V$ 满足 $J_z^2 = -\|z\|^2 \mathrm{Id}_V$。
• 施加反对称性条件 $\langle J_z u, v \rangle_V = -\langle u, J_z v \rangle_V$，对所有 $u,v \in V$ 成立，以确保与 $V$ 上内积的相容性。
• 通过 $\langle J_z u, v \rangle_V = \langle z, [u,v] \rangle$ 构造李括积，利用 $\mathscr{N} = V \oplus Z$ 上的内积。
• 证明在这些条件下，存在 $Z$ 的标准正交基与相容的 $V$ 的基，使得李括积的结构常数 $c_{ij}^k$ 属于 $\{0, \pm 1\}$。
• 利用由算子 $J_{z_j}$ 生成的群是有限且关于 $V$ 上内积酉的这一事实，实现此类整基的构造。

实验结果

研究问题

• RQ1 在何种条件下，一般 H-型李代数允许存在格？
• RQ2 能否通过适当选择基，使一般 H-型李代数的结构常数为整数（即 ±1 或 0）？
• RQ3 在 $V$ 上关于 $\mathrm{Cl}(Z, \langle\cdot,\cdot\rangle_Z)$ 的 Clifford 模结构在确保李代数结构整性方面起什么作用？
• RQ4 表示 $J_z$ 相对于 $V$ 上内积的反对称性如何与整基的存在性相关联？
• RQ5 在给定几何与代数约束下，是否可能构造一个李代数的基，使得李括积仅含 ±1 和 0 的结构常数？

主要发现

• 对于满足 Clifford 模与反对称表示条件的任意一般 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$ 的基被选择为与 Clifford 模作用相容时，李代数的结构常数为整数（±1 或 0）。
• 该结果意味着此类李代数存在格，因为整结构常数允许在相应单连通李群中构造离散且余紧的子群。
• 该构造将经典 H-型情形推广至更广泛的普通 H-型代数类，将已知的格存在性结果从经典设定扩展至一般情形。