[论文解读] Galois Cohomology of Real Groups

Jeffrey Adams|arXiv (Cornell University)|Oct 29, 2013

Advanced Algebra and Geometry参考文献 15被引用 9

一句话总结

本文建立了实李群的伽罗瓦上同调 $ H^1_\theta(\bbZ_2, G) $ 与伽罗瓦上同调 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $ 之间的典范同构，将卡坦对合的 $ \theta $-上同调与实半单群的经典伽罗瓦上同调联系起来。关键贡献是一个统一的框架，通过强实形式与中心不变量简化了 $ H^1(\text{Gal}(\bbC/\bbR), G) $ 的计算，并对经典群与例外群给出了显式计算。

ABSTRACT

Real forms of a complex reductive group are classified in terms of Galois cohomology $H^1(Γ,G_{ad})$ where $G_{ad}$ is the adjoint group. Alternatively, the theory of the Cartan involution gives a description in terms of cohomology with respect to a holomorphic involution: $H^1(\mathbb Z/2\mathbb Z,G_{ad})$ where the non trivial element acts by a holomorphic involution $θ$. The main theorem is that in general, if $θ$ is the Cartan involution of a real form $σ$, there is a canonical isomorphism $H^1(Γ,G)\simeq H^1(\mathbb Z/2\mathbb Z,G)$. This has applications to the structure and representation theory of real groups. We give two such applications. The first is a simple proof of Matsuki's result on conjugacy classes of tori in real groups. The second is a computation of $H^1(Γ,G)$ in general. The answer is expressed in terms of the notion of strong real forms. We include tables for all simply connected simple groups.

研究动机与目标

• 统一两种实形式的分类方法：一种是通过伽罗瓦上同调 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $，另一种是通过卡坦对合 $ \theta $。
• 在 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $ 与 $ H^1_\theta(\bbZ_2, G) $ 之间建立典范同构，将伽罗瓦上同调与带对合作用的群上同调联系起来。
• 对所有单连通、基本群平凡的实半单群 $ G $，计算 $ H^1(\text{Gal}(\bbC/\bbR), G) $，利用中心不变量与强实形式。
• 以经典伽罗瓦上同调的术语解释强实形式，为局部兰兰德猜想的精确表述提供支持。

提出的方法

• 将 $ H^i_\tau(\text{Gal}(\bbC/\bbR), G) $ 定义为 $ \tau $ 作用在 $ G(\bbC) $ 上的伽罗瓦上同调，其中 $ G $ 是定义在 $ \bbR $ 上的半单群。
• 引入卡坦对合 $ \theta $，即 $ G $ 上的全纯对合，与 $ \tau $ 交换，使得 $ G(\bbR)^\theta $ 为极大紧致子群。
• 将 $ H^i_\theta(\bbZ_2, G) $ 定义为 $ G $ 关于 $ \bbZ_2 $ 通过 $ \theta $ 作用的群上同调，并建立典范同构 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) \to H^1_\theta(\bbZ_2, G) $。
• 利用中心不变量 $ \text{inv}(\sigma) \in Z^\Gamma / (1 + \sigma)Z $ 分类强实形式，并证明 $ H^1(\Gamma, G) $ 与具有固定中心不变量 $ z \in Z^\Gamma $ 的强实形式之间存在双射。
• 应用该同构计算经典群与例外群的 $ |H^1(\Gamma, G)| $，使用表格与软件（Lie群的Atlas）。
• 利用克内泽在 $ \bbR $ 上的定理：对单连通 $ G $，有 $ H^1(\Gamma, G) = 1 $，并通过同构将其推广至非平凡情形。

实验结果

研究问题

• RQ1 是否存在伽罗瓦上同调 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $ 与 $ \theta $-扭群上同调 $ H^1_\theta(\bbZ_2, G) $ 之间的典范同构？
• RQ2 能否通过中心不变量，利用伽罗瓦上同调对 $ G $ 的强实形式进行参数化？
• RQ3 对所有单连通、基本群平凡的实半单群 $ G $，$ H^1(\text{Gal}(\bbC/\bbR), G) $ 的大小是多少？
• RQ4 $ \theta $-上同调图像如何与实形式的 $ \sigma $-上同调分类相联系？

主要发现

• 存在典范同构 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) \simeq H^1_\theta(\bbZ_2, G) $，统一了实形式的两种上同调分类。
• 对 $ SL(n,\bbR) $、$ GL(n,\bbR) $ 与 $ Sp(2n,\bbR) $，有 $ |H^1(\Gamma, G)| = 1 $，表明在内自同构意义下仅存在唯一实形式。
• 对 $ SU(p,q) $，有 $ |H^1(\Gamma, G)| = \lfloor p/2 \rfloor + \lfloor q/2 \rfloor + 1 $，对应于秩为 $ p+q $、判别式为 $ (-1)^q $ 的厄米特形式。
• 对 $ SL(n,\bbH) $，有 $ |H^1(\Gamma, G)| = 2 $，对应于四元数乘法群 $ \mathbb{H}^* \to \mathbb{R}^* $ 的约化范数映射的像。
• 对 $ SO(p,q) $，有 $ |H^1(\Gamma, G)| = \lfloor p/2 \rfloor + \lfloor q/2 \rfloor + 1 $，参数化秩为 $ p+q $、判别式为 $ (-1)^q $ 的实对称双线性型。
• 对 $ Spin(p,q) $，有 $ |H^1(\Gamma, G)| = \lfloor (p+q)/4 \rfloor + \delta(p,q) $，其中 $ \delta(p,q) $ 依赖于 $ p,q \mod 4 $，取值于 $ \{0,1,2,3\} $。