[论文解读] Poincaré families of G-bundles on a curve

Indranil Biswas, Norbert Hoffmann|arXiv (Cornell University)|Jan 13, 2010

Advanced Algebra and Geometry参考文献 8被引用 5

一句话总结

本文確立了在曲線上穩定 G-主叢模空間的開子集上存在 Poincaré 家族（通用 G-主叢）的必要且充分條件，將先前結果推廣至所有半單群、所有拓撲類型及任意特徵。關鍵結果識別出 Brauer 群中的障礙類，其階由 G 的根系明確計算得出，且此類的存在性等價於該類為階整除根系不變量的扭類。

ABSTRACT

Let G be a reductive group over an algebraically closed field k. Consider the moduli space of stable principal G-bundles on a smooth projective curve C over k. We give necessary and sufficient conditions for the existence of Poincaré bundles over open subsets of this moduli space, and compute the orders of the corresponding obstruction classes. This generalizes the previous results of Newstead, Ramanan and Balaji-Biswas-Nagaraj-Newstead to all reductive groups, to all topological types of bundles, and also to all characteristics.

研究动机与目标

• 將曲線上 G-主叢 Poincaré 家族的存在條件推廣至非拓撲平凡情形，並適用於所有半單群。
• 將 Newstead、Ramanan 及 Balaji-Biswas-Nagaraj-Newstead 的先前結果擴展至所有拓撲類型與所有特徵。
• 計算決定 Poincaré 家族在模空間開子集上是否存在之 Brauer 群中障礙類的階。
• 建立障礙由 G 的根系編碼，提供適用於任意特徵的統一準則。

提出的方法

• 作者分析主 G-叢的模堆疊，並證明正則穩定部分是粗模空間上的 2-叢，其 Brauer 類即為提升通用叢的障礙。
• 他們利用模堆疊的 Picard 群與 G 的中心 Z 對應的權重映射，將線叢與 Z 的特徵聯繫起來，進而計算障礙類。
• 證明依賴於 Picard 群上限制映射的本質上滿性，使問題可簡化至粗模空間層次。
• 作者透過分析中心特徵上評價映射的余核，利用 Hom(Z, Gm) 為有限生成阿貝爾群的結構，計算障礙類的階。
• 他們利用根系資料與群論構造，證明在正特徵下正則穩定部分非空。
• 關鍵技術工具為引理 7.4，其將具有指定權重的線叢存在性與上同調中障礙類的消失聯繫起來。

实验结果

研究问题

• RQ1 在曲線上穩定 G-主叢模空間的某開子集上，Poincaré 家族存在的條件為何？
• RQ2 阻止此類 Poincaré 家族存在的 Brauer 群中障礙類的精確階為何？
• RQ3 障礙如何依賴於半單群 G 的根系？是否可在所有特徵下統一計算？
• RQ4 在正特徵下，正則穩定部分是否非空？此性質如何影響通用叢的存在性？
• RQ5 通用叢提升的障礙能否以 G 的中心與共特徵格點來表徵？

主要发现

• Poincaré 家族在正則穩定部分的某開子集 U 上存在，當且僅當障礙類 ψ_G^d 為階整除 n 的扭類，其中 n 為最小正整數使得 n·ψ_G^d = 0 於 étale 上同調群 H^2(𝔐_G^{d,rs}, Z) 中。
• 障礙類的階由 G 的根系決定，可明確計算為由余根與 G 的中心所導出的某些不變量的最小公倍數。
• 對於整個正則穩定部分，Poincaré 家族存在當且僅當障礙類 ψ_G^d 在 H^2(𝔐_G^{d,rs}, Z) 中消失，此情形恰好發生於評價映射 ev_G^d 的余核被障礙階數消滅時。
• 障礙類消失當且僅當權重映射 wt_G^d: Pic(𝔐_G^{d,rs}) → Hom(Z, Gm) 的余核被障礙階數消滅，從而將存在性與 Picard 群及 G 中心的結構聯繫起來。
• 特別地，當 G 的中心為平凡時，障礙類消失，且 Poincaré 家族在整個正則穩定部分上存在，此結果推廣了先前對半單群的結果。
• 結果適用於所有特徵，包括正特徵，且正則穩定部分非空性透過第 5 節的根系資料與群論論證建立。