[论文解读] Le groupe fondamental d'un espace homogène d'un groupe algébrique linéaire

Mikhail Borovoi, Cyril Demarche|arXiv (Cornell University)|Jan 6, 2013

Advanced Topics in Algebra被引用 4

一句话总结

该论文在群G为阿贝尔群、Pic(G)=0且H连通或阿贝尔的条件下，为复数域上连通线性代数群的齐次空间的拓扑基本群建立了代数定义，并通过G和H的特征群计算了该基本群。此外，还利用相同的特征群数据，计算了此类空间在正特征代数闭域上的p-余素étale基本群，推广了关于半单群代数基本群的早期结果。

ABSTRACT

Soit X un espace homogène d'un groupe algébrique linéaire connexe G sur C. Soit x un C-point de X. On désigne par H le stabilisateur de x dans G. On montre qu'on peut définir algébriquement le groupe fondamental topologique π_1(X(C),x), si ce groupe fondamental topologique est abélien. Si Pic(G)=0 et H est connexe ou abélien, on calcule π_1(X(C),x) en termes des groupes de caractères de G et H. En outre, si G et X sont définis sur un corps algébriquement clos de caractéristique p quelconque, on calcule la partie première à p du groupe fondamental étale de X en termes des groupes de caractères de G et H (si Pic(G)=0 et H est connexe). Let X be a homogeneous space of a connected linear algebraic group G defined over C. Let x be a C-point of X. We denote by H the stabilizer of x in G. We show that if the topological fundamental group π_1(X(C),x) is abelian, then it can be defined algebraically. If Pic(G)=0 and H is connected or abelian, we compute π_1(X(C),x) in terms of the character groups of G and H. Furthermore, when G and X are defined over an algebraically closed field of arbitrary characteristic p, we compute the prime-to-p étale fundamental group of X in terms of the character groups of G and H (if Pic(G)=0 and H is connected).

研究动机与目标

• 在群X=G/H为阿贝尔群时，对复数域上齐次空间的拓扑基本群给出代数定义。
• 在Pic(G)=0且H连通或阿贝尔的条件下，用G和H的特征群计算π₁^top(X,x)。
• 将此计算扩展到当G和X定义在正特征代数闭域上时的p-余素étale基本群。
• 统一线性代数群及其齐次空间中代数与拓扑基本群的方法。
• 将早期关于半单群代数基本群的结果推广到更一般的齐次空间。

提出的方法

• 使用拓扑基本群π₁^top(X,x)及其通过标准生成元ξ的扭π₁^top(X,x)(-1)，其中ℤ(1)=π₁^top(ℂ×,1)。
• 将π₁^top(X,x)(-1)中的代数元素定义为从(G_m,1)到(X,x)的态射的像，构成子集π₁^top(X,x)(-1)_alg。
• 应用平坦解析与特征群对偶理论，将π₁^top(X,x)与ℤ上的Ext群联系起来。
• 利用G和H的共特征群与特征群之间的正合列，通过Ext^0(⟨Ĝ→Ĥ⟩, ℤ) ⊗ ℤ_(p’)计算基本群。
• 运用Brion与Szamuely关于p-余素étale覆叠及Pic(G)结构的结果，确保在给定条件下计算的有效性。
• 依赖于p-余素étale基本群与系数在ℤ_(p’)中的Ext群之间的典范同构，确立最终结果。

实验结果

研究问题

• RQ1 当X=G/H为阿贝尔群时，能否在复数域上对齐次空间的拓扑基本群给出代数定义？
• RQ2 在Pic(G)=0且H连通或阿贝尔的条件下，如何显式地用G和H的特征群计算π₁^top(X,x)？
• RQ3 当G和X定义在正特征代数闭域上时，X的p-余素étale基本群的结构是什么？
• RQ4 在相同条件下，G和H的特征群如何决定p-余素étale基本群？
• RQ5 从G_m到X的代数态射与X的基本群之间有何关系？

主要发现

• 当基本群为阿贝尔群时，其拓扑基本群π₁^top(X,x)可通过π₁^top(X,x)(-1)中的代数元素子集实现代数定义。
• 在Pic(G)=0且H连通或阿贝尔的条件下，π₁^top(X,x)同构于Ext群Ext^0_ℤ(⟨Ĝ→Ĥ⟩, ℤ)，该群通过特征群计算得出。
• p-余素étale基本群π₁^ét(X,x)^(p')与Ext^0_ℤ(⟨Ĝ→Ĥ⟩, ℤ) ⊗ ℤ_(p’)之间存在典范同构，该结果通过G和H的特征群计算得出。
• 基本群的计算与嵌入j:H^tor → Q的选择无关，确保了结果的典范性。
• 通过包含平坦解析与对偶的交换图，建立了基本群与Ext群之间的同构。
• 该结果将早期关于半单群代数基本群的工作推广到了具有连通或阿贝尔稳定子的任意齐次空间。