[论文解读] Essential dimension and algebraic stacks

Patrick Brosnan, Zinovy Reichstein+1 more|ArXiv.org|Jan 31, 2007

Algebraic Geometry and Number Theory参考文献 33被引用 31

一句话总结

本文引入並發展了代數堆疊的本質維度概念，建立了基礎理論，並應用於計算曲線模堆疊 $χ_{g,n}$ 和 $\overline{\mathcal{M}}_{g,n}$ 的本質維度，同時為旋轉群導出新的指數下界，並給出 $p$-群的公式。本文證明了當 $2g-2+n > 0$ 且 $(g,n) \neq (1,0)$ 時，$\operatorname{ed}\mathcal{M}_{g,n} = 3g-3+n$，且 $\operatorname{ed}\mathcal{M}_{1,0} = \infty$，並將這些結果與 Pfister 數的二次型理論聯繫起來。

ABSTRACT

We define and study the essential dimension of an algebraic stack. We compute the essential dimension of the stacks Mgn and MgnBar of smooth, or stable, n-pointed curves of genus g. We also prove a general lower bound for the essential dimension of algebraic groups with a non-trivial center. Using this, we find new exponential lower bounds for the essential dimension of spin groups and new formulas for the essential dimension of some finite p-groups. Finally, we apply the lower bound for spin groups to the theory of the Witt ring of quadratic forms over a field k.

研究动机与目标

• 定義並發展代數堆疊的本質維度理論，將此概念從代數群與概形推廣。
• 計算 genus $g$ 的 $n$-標記光滑與穩定曲線的模堆疊 $\mathcal{M}_{g,n}$ 和 $\overline{\mathcal{M}}_{g,n}$ 的本質維度。
• 為旋轉群的本質維度建立新的指數下界，並為 $p$-群推導公式。
• 將這些結果應用於二次型理論，特別是透過 Witt 環中的 Pfister 數概念。

提出的方法

• 將函子 $F: \operatorname{Fields}_k \to \operatorname{Sets}$ 的本質維度定義為 $F(L)$ 中元素的最小超越次數的上確界。
• 將代數堆疊 $\mathcal{X}$ 的本質維度定義為函子 $F_{\mathcal{X}}(L) = \text{Isom}^{\text{cl}}(\mathcal{X}(L))$ 的本質維度，即 $L$ 上對象的同構類集合。
• 應用商堆疊的有限性結果，並利用光滑射影概形的標準維度理論來界定本質維度。
• 使用主齊性空間與中心擴張來分析具有非平凡中心的代數群的本質維度。
• 運用 Tate 曲線理論與形變理論來計算 $\operatorname{ed}\mathcal{M}_{1,0}$。
• 應用 Pfister 型與 Witt 消去理論的結果，推導 $p$-群與旋轉群本質維度的下界。

实验结果

研究问题

• RQ1 模堆疊 $\mathcal{M}_{g,n}$ 的本質維度為何？此模堆疊參照 genus $g$ 的 $n$-標記光滑曲線。
• RQ2 當 $2g-2+n > 0$ 時，$\overline{\mathcal{M}}_{g,n}$ 的本質維度與 $\mathcal{M}_{g,n}$ 相比如何？
• RQ3 旋轉群與有限 $p$-群的本質維度邊界為何？
• RQ4 代數堆疊的本質維度結果如何與二次型理論及 Witt 環聯繫？
• RQ5 $\mathcal{M}_{1,0}$ 的本質維度能否被確定？為何其值為無窮？

主要发现

• 當 $2g-2+n > 0$ 且 $(g,n) \neq (1,0)$ 時，$\mathcal{M}_{g,n}$ 的本質維度為 $3g-3+n$，與其粗模空間的維度一致。
• $\mathcal{M}_{1,0}$ 的本質維度為無窮，這是因為存在在小域上無有理點的非平凡橢圓曲線族。
• 當 $2g-2+n > 0$ 時，$\operatorname{ed}\overline{\mathcal{M}}_{g,n} = \operatorname{ed}\mathcal{M}_{g,n}$，顯示本質維度在緊化下不變。
• 本文為具有非平凡中心的代數群建立了一般性下界，進而導出 $\operatorname{ed}\mathrm{Spin}_n$ 的指數下界。
• 利用 Pfister 型與 Witt 消去理論，為 $p$-群（特別是循環 $p$-群）推導出本質維度的新公式。
• $\mathrm{T}_n$（具有旋轉結構的 $n$-維二次型群）的本質維度滿足 $\operatorname{ed}_{n}(q) \geq \frac{2^{(n+4)/4} - n - 2}{7}$，為 $\operatorname{ed}\mathrm{Spin}_n$ 提供新的下界。