[论文解读] The SL(2)-type and Base Change

Omer Offen, Eitan Sayag|ArXiv.org|Aug 25, 2008

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

一句话总结

该论文通过局部兰兰兹互反映射，将文卡泰什关于 SL(2)-型的概念从单位可化情形推广至 p-进域 F 上 GL_n 的所有光滑、不可约表示。证明了基域扩张保持 SL(2)-型不变，从而也保持 Klyachko 模型（包括辛区分）不变，将已知的关于辛区分的结果推广至任意有限扩张。

ABSTRACT

The SL(2)-type of any smooth, irreducible and unitarizable representation of GL(n) over a p-adic field was defined by Venkatesh. We provide a natural way to extend the definition to all smooth and irreducible representations. For unitarizable representations we show that the SL(2)-type of a representation is preserved under base change with respect to any finite extension. The Klyachko model of a smooth, irreducible and unitarizable representation πof GL(n) depends only on the SL(2)-type of π. As a consequence we observe that the Klyachko model of πand of its base-change are of the same type.

研究动机与目标

• 将 SL(2)-型的定义从单位可化表示推广至 p-进域 F 上 GL_n(F) 的所有光滑、不可约表示。
• 建立关于任意有限扩张 E/F 的基域扩张 bc_{E/F}，保持 GL_n(F) 的光滑、不可约且单位可化表示 π 的 SL(2)-型不变。
• 证明 π 的 Klyachko 模型型（仅依赖于其 SL(2)-型）在基域扩张下保持不变。
• 利用 SL(2)-型框架重新解释并推广关于 Klyachko 模型的已有结果，特别是辛区分。
• 证明 π 对 Sp_{2n}(F) 的区分性，等价于其基域扩张 bc_{E/F}(π) 对 Sp_{2n}(E) 的区分性，对任意有限扩张 E/F 成立。

提出的方法

• 通过局部兰兰兹互反映射将 GL_n(F) 的表示提升为韦伊-德利涅表示，从而自然地将 SL(2)-型推广至非单位可化表示。
• 将表示 π 的 SL(2)-型定义为：通过互反映射对应于 π 的韦伊-德利涅表示中，单峰算子的若尔当代数分解所关联的分拆。
• 应用互反映射，将基域扩张定义为韦伊-德利涅表示上限制的“镜像”：bc_{E/F}(π) 对应于将 π 的韦伊-德利涅表示限制到 W_E。
• 通过互反映射与限制的相容性，证明 SL(2)-型在基域扩张下保持不变，即 P_F(rec_F(π)) = P_E(rec_E(bc_{E/F}(π)))。
• 利用塔迪奇对单位对偶的分类，将表示表示为片段的组合，并推导 SL(2)-型与 Klyachko 型的公式。
• 利用 Klyachko 型 (r(π), 2k(π)) 由 SL(2)-型中奇数部分的数量决定（即 r(π) = odd(𝒱(π))），从而证明其在基域扩张下的不变性。

实验结果

研究问题

• RQ1 SL(2)-型原本仅定义于单位可化表示，能否自然地推广至 GL_n(F) 的所有光滑、不可约表示？
• RQ2 对于任意有限扩张 E/F，基域扩张 bc_{E/F} 是否保持 GL_n(F) 的光滑、不可约且单位可化表示 π 的 SL(2)-型不变？
• RQ3 Klyachko 模型——特别是辛区分——在多大程度上依赖于表示的 SL(2)-型？
• RQ4 表示 π 对 Sp_{2n}(F) 的区分性，是否等价于其基域扩张 bc_{E/F}(π) 对 Sp_{2n}(E) 的区分性？
• RQ5 能否利用 SL(2)-型框架重新解释并推广关于 Klyachko 模型的已有结果？

主要发现

• 通过局部兰兰兹互反映射，任何光滑、不可约表示 π 的 SL(2)-型被自然扩展：即赋予 π 与其韦伊-德利涅实现中单峰算子相关的分拆。
• 对于任意有限扩张 E/F，GL_n(F) 的光滑、不可约且单位可化表示 π 的基域扩张 bc_{E/F}(π) 与 π 具有相同的 SL(2)-型。
• π 的 Klyachko 型 (r(π), 2k(π)) 在基域扩张下保持不变，其中 r(π) = odd(𝒱(π))，𝒱(π) 为 π 的 SL(2)-型。
• 对于任意有限扩张 E/F，GL_{2n}(F) 的光滑、不可约且单位可化表示 π 是 Sp_{2n}(F)-区分的，当且仅当其基域扩张 bc_{E/F}(π) 是 Sp_{2n}(E)-区分的。
• 证明的关键在于：单峰算子的分拆在韦伊-德利涅表示的限制下保持不变，从而推出 SL(2)-型在基域扩张下的不变性。
• 该结果推广了早期关于辛区分的结果，表明此类区分性之所以在基域扩张下保持不变，正是由于其底层 SL(2)-型的不变性。