[论文解读] Dirac Index and Twisted Characters

Dan Barbasch, Pavle Pandžić+1 more|arXiv (Cornell University)|Jun 17, 2016

Advanced Algebra and Geometry参考文献 30被引用 4

一句话总结

本文为实半单李群引入了一类扭曲的狄拉克指标，将经典狄拉克指标推广至群与最大紧致子群不具有相同秩的情形。通过一个归一化常数，精确建立了扭曲狄拉克指标与椭圆特征配对之间的关系，证明椭圆配对等于扭曲狄拉克指标乘以该常数，从而将狄拉克上同调与特征理论及Ext-群联系起来。

ABSTRACT

Let G be a real reductive Lie group with maximal compact sub- group K. We generalize the usual notion of Dirac index to a twisted version, which is nontrivial even in case G and K do not have equal rank. We compute ordinary and twisted indices of standard modules. As applications, we study extensions of Harish-Chandra modules and twisted characters.

研究动机与目标

• 将狄拉克指标推广为适用于实半单群与其最大紧致子群不具有相同秩情形的扭曲版本。
• 计算哈里什-钱德拉范畴中标准模的普通与扭曲狄拉克指标。
• 建立扭曲狄拉克指标与表示的椭圆特征配对之间的精确关系。
• 将狄拉克上同调与表示论不变量（如Ext-群和分布特征）联系起来。

提出的方法

• 通过最大紧致子群 $ K $ 的Pin双覆盖 $ K^{lat} $ 定义扭曲狄拉克指标，扩展标准狄拉克算子构造。
• 通过 $ \theta $-扭曲自同态在克利福德代数与普遍包络代数上的作用，构造扭曲狄拉克算子 $ D_{\theta} $。
• 利用外尔积分公式，将扭曲狄拉克指标配对表示为在最大环面 $ T $ 上的积分，包含 $ (1 - \operatorname{Ad}(t)) $ 在 $ \mathfrak{g}/\mathfrak{t} $ 上的行列式。
• 通过旋子模 $ S $ 的特征，利用恒等式 $ \operatorname{ch}(\textstyle{\bigwedge}^\bullet \mathfrak{s})(t) = |\operatorname{ch}(S)(t)|^2 $，将扭曲狄拉克指标与椭圆特征配对关联。
• 应用外尔特征公式及外尔群的性质，将配对约化为在 $ \theta $-扭曲环面 $ \widetilde{T} = \theta T $ 上的积分。
• 证明未扭曲环面 $ T $ 的贡献由于迹恒等式 $ \operatorname{tr}[\operatorname{Ad}(t); \textstyle{\bigwedge}^{\text{even}}\mathfrak{a} - \textstyle{\bigwedge}^{\text{odd}}\mathfrak{a}] = 0 $ 而消失，当 $ \mathfrak{a} \neq 0 $ 时成立。

实验结果

研究问题

• RQ1 如何将经典狄拉克指标推广至实半单群与其最大紧致子群不具有相同秩的情形？
• RQ2 扭曲狄拉克指标与表示的椭圆特征配对之间存在何种精确关系？
• RQ3 扭曲狄拉克指标如何与哈里什-钱德拉模的Ext-群及分布特征相关联？
• RQ4 能否利用表示的狄拉克上同调来计算或约束其特征与扩张性质？

主要发现

• 扭曲狄拉克指标配对 $ \langle X,Y\rangle_{\operatorname{DI},\theta} $ 等于 $ c^{-1} \langle X,Y\rangle_{\operatorname{ell},\theta} $，其中 $ c $ 是由旋子模特征导出的归一化常数。
• 椭圆配对 $ \langle X,Y\rangle_{\operatorname{ell},\theta} $ 的积分完全归结于 $ \theta $-扭曲环面 $ \widetilde{T} = \theta T $，因为 $ T $ 的贡献消失。
• $ T $-贡献的消失源于迹恒等式 $ \operatorname{tr}[\operatorname{Ad}(t); \textstyle{\bigwedge}^{\text{even}}\mathfrak{a} - \textstyle{\bigwedge}^{\text{odd}}\mathfrak{a}] = 0 $，当 $ \mathfrak{a} \neq 0 $ 时成立，这是由于 $ t \in T $ 在 $ \mathfrak{a} $ 上的恒等作用所致。
• $ \operatorname{det}[(1 - \operatorname{Ad}(\theta t))|_{\mathfrak{g}/\mathfrak{t}}] $ 在 $ \mathfrak{k}/\mathfrak{t} $ 和 $ \mathfrak{s} $ 上的分量可分离，后者通过外尔特征公式与 $ |\operatorname{ch}(S)(t)|^2 $ 匹配。
• 最终结果表明 $ \langle X,Y\rangle_{\operatorname{ell},\theta} = c \cdot \operatorname{Hom}_{K^\dagger}(I_\theta(X), I_\theta(Y)) $，证明了椭圆配对与扭曲狄拉克指标之间相差一个常数。