[论文解读] 1998 Moursund Lectures at the University of Oregon

Jean-Pierre Serre|ArXiv.org|May 18, 2003

Homotopy and Cohomology in Algebraic Topology被引用 19

一句话总结

本文呈現了Serre於1998年在Moursund講座中關於李群的有限子群以及正特徵下完全可約性的推廣。它分類了有限群——特別是PSL₂(p)與PGL₂(p)——在李群中的嵌入，識別出在扭結素數處對初等阿貝爾p-群的例外嵌入，並透過表示理論與上同調方法建立G-cr（幾何完全可約）子群的判別準則，主要結果涵蓋正特徵下的半單性與張量積行為。

ABSTRACT

These informal notes are closely based on a series of eight lectures given by J.-P. Serre at the University of Oregon in October 1998. Professor Serre gave two talks per week for four weeks. The first talk each week was concerned with constructing embeddings of finite groups, especially $\PSL_2(p)$ and $\PGL_2(p)$, into Lie groups. The second talk each week was about generalizations of the notion of complete reducibility in group theory, especially in positive characteristic. The notes are divided into two parts, one for each of the topics of the lecture series. At the end of the notes, there is a short list of references as a guide to further reading.

研究动机与目标

• 透過幾何與代數方法，分類古典與例外李群的有限子群，特別是PSL₂(p)與PGL₂(p)。
• 理解扭結素數在限制半單代數群中初等阿貝爾p-群的環繞子群嵌入中的作用。
• 在代數群及其表示的脈絡下，推廣正特徵下的完全可約性概念。
• 利用表示理論與上同調工具，建立子群為G-cr（幾何完全可約）的判別準則。
• 探討有限群作用在射影直線、伽羅瓦覆疊與代數曲線自同構群結構之間的關聯。

提出的方法

• 利用最大環面與外爾群分析半單李群中阿貝爾有限子群的性質。
• 應用Chevalley的構造方法定義在Z上的代數群，並模掉素數以研究有限子群。
• 應用Minkowski定理，對格點的有限自同構群階數中素數的指數建立界。
• 分析上同調環H*(G, Z)以識別扭結素數，這些素數與根系資料及最高根係數相關。
• 使用伴隨表示與不變量n(V)來確定Γ-半單性是否推出G-cr的條件，針對子群Γ。
• 應用Serre關於張量積半單性的定理及其逆定理，透過表示理論特徵化G-cr子群。

实验结果

研究问题

• RQ1 哪些PSL₂(C)的有限子群可作為射影直線的分支覆疊的伽羅瓦群？它們與正多面體對稱性的關係為何？
• RQ2 對於哪些素數p，初等阿貝爾p-群E不包含於半單代數群G的任何最大環中？G與p需滿足何種條件？
• RQ3 上同調環H*(G, Z)如何偵測扭結素數？這些素數與G的根系有何關聯？
• RQ4 在何種特徵p的條件下，表示的Γ-半單性可推出Γ為G-cr？
• RQ5 伴隨表示的半單性與有限子群Γ的G-cr性之間的精確關係為何？

主要发现

• SO₃(R)與PGL₂(C)的有限子群可分類為循環群、二面體群及三種例外情形：A₄、S₄與A₅，分別對應四面體、立方體與二十面體的對稱性。
• 對於 simply connected、簡單代數群G，其扭結素數由根系決定：例如E₈的扭結素數為2、3、5。
• 未包含於任何最大環中的初等阿貝爾p-群（例外嵌入）僅在扭結素數時存在，其分類由Griess完成。
• 對於有限子群Γ ⊂ G(C)，若p > 2h − 2（其中h為對偶考瑟數），則Γ為G-cr當且僅當伴隨表示Lie(G)為Γ-半單。
• Γ-半單性推出G-cr的條件可進一步弱化：對於V = ⋀²W，只要p不整除dim W − 2，該推論即成立，無需p > 2(dim W − 2)。
• 正特徵域上表示張量積的半單性提供了Serre關於完全可約性定理的逆定理，其精確準則涉及表示的維數與素數p。