[論文レビュー] Weighted projective lines and Riemann surfaces

Helmut Lenzing|arXiv (Cornell University)|Dec 9, 2016

Algebraic structures and combinatorial models参考文献 3被引用数 6

ひとこと要約

本稿は、有限群作用を通じて、重み付き射影直線上の整合的層とコンパクトなリーマン面上のG-不変整合的層の間で、圏的同値性を確立し、代数的位相幾何学と表現論の視点から、幾何的群論における古典的結果であるフェンケルの予想を証明する。主な貢献は、重み付き滑らかな射影曲線 $\mathbb{X}$ と有限群作用を伴うコンパクトなリーマン面 $M$ に対して、$\mathrm{coh}\,\mathbb{X} \simeq \mathrm{coh}_G M$ という同値性であり、$\mathbb{P}^1\langle p,q\rangle$ で $p \ne q$ の場合を除く。これは、オルビフォールド、リーマン面、表現論的視点を圏論によって統一する。

ABSTRACT

For the base field of complex numbers we discuss the relationship between categories of coherent sheaves on compact Riemann surfaces and categories of coherent sheaves on weighted smooth projective curves. This is done by bringing back to life an old theorem of Bundgaard-Nielsen-Fox proving Fenchel's conjecture for fuchsian groups.

研究の動機と目的

• 重み付き射影直線上の整合的層とコンパクトなリーマン面上のG-不変整合的層の間の圏的同値性を確立すること。
• 古典的フェンケルの予想（フォックスの定理）を代数的位相幾何学と圏論の言語に再解釈し、再証明すること。
• 重み付き射影曲線が、オルビフォールド、フクシアン群、表現論といった多様な数学的分野を統合するフレームワークとして機能することを示すこと。
• 特に14種のドルガチェフ重み型に対して、重み付き射影直線をコンパクトなリーマン面 $M$ と有限群 $G$ の商 $M/G$ として明示的に実現すること。

提案手法

• コンパクトなリーマン面上の整合的層および重み付き滑らかな射影曲線上の整合的層の理論を用い、圏的同値性を確立する。
• フクシアン群が有限指数のねじれなし正規部分群を持つという古典的結果（Bundgaard-Nielsen と Fox の結果）を、圏論的言語に再解釈して応用する。
• 群作用によるG-不変整合的層をモデル化するため、スケュー群圏 $(\mathrm{coh}\,M)[G]$ の概念を用い、重み付き曲線 $\mathbb{X}$ に対して $\mathrm{coh}\,\mathbb{X}$ と同値であることを示す。
• 関数体 $K = \mathbb{C}(M)$ を主要な不変量とし、$\mathrm{coh}\,M / \mathrm{coh}_0 M \cong \mathrm{mod}(K)$ を用いて、幾何的構造と代数的構造を関連付ける。
• ティルティング理論とオルビフォールド構造を用い、重み付き射影直線と、セレ・双対性を持つ遺伝的ネーター圏との関係を確立する。
• フェルマー曲線、クラインの四次曲線、ヤウ型曲線 $\mathbb{Y}[a^{[n]}]$ を用いて、14種の例外的重み型（ドルガチェフ数）に対して明示的な群商 $M/G$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 重み付き射影直線上の整合的層の圏は、どのようにコンパクトなリーマン面上のG-不変層の圏として実現可能か？
• RQ2 重み付き滑らかな射影曲線とコンパクトなリーマン面との間の、群作用と圏的同値性を通じた正確な関係は何か？
• RQ3 どの重み付き射影直線 $\mathbb{P}^1\langle p,q\rangle$ において、同値性 $\mathrm{coh}\,\mathbb{X} \simeq \mathrm{coh}_G M$ が成立せず、その理由は何か？
• RQ4 超曲面特異点から生じる14種の例外的重み型（ドルガチェフ数）は、有限群作用によるコンパクトなリーマン面の商 $M/G$ として実現可能か？
• RQ5 重み付き曲線の不変量（例えばオイラー標跡や genus）は、基礎となるリーマン面および群作用の不変量とどのように関係するか？

主な発見

• 有限群 $G \subset \mathrm{Aut}(M)$ に対して、重み付き滑らかな射影曲線 $\mathbb{X}$ 上の整合的層の圏 $\mathrm{coh}\,\mathbb{X}$ は、コンパクトなリーマン面 $M$ 上の $G$-不変整合的層の圏 $\mathrm{coh}_G M$ と同値であるが、$\mathbb{X} = \mathbb{P}^1\langle p,q\rangle$ で $p \ne q$ の場合は除く。
• アーノルドの奇妙双対性リストに含まれる14種の重み型（例：$\langle 2,3,7\rangle$、$\langle 3,4,5\rangle$）に対して、重み付き射影直線 $\mathbb{P}^1\langle a,b,c\rangle$ は、コンパクトなリーマン面 $M$ と有限群 $G$ を用いた商 $M/G$ として実現可能であり、明示的な構成が与えられている。
• リーマン面 $M$ の genus $g_M$ と重み付き曲線のオイラー標跡 $\chi_{\mathbb{X}}$ は、$-\chi_{\mathbb{X}} = \frac{1}{|G|} \cdot (-\chi_M)$ を満たし、$-\chi_M$ は $|G|^{-1}$ の整数倍である。
• $\langle 2,3,7\rangle$ の場合、$M$ は genus 3 のクラインの四次曲線 $\mathcal{K}_4$ であり、$G = \mathrm{PSL}_2(7)$（位数168）であり、$-\chi_{\mathbb{X}} = \frac{1}{42}$ である。
• $\langle 3,4,5\rangle$ の場合、$M$ の genus は $13 \cdot 2^{28} + 1$、$G = \frac{\mu_2^{30}}{\mu_2} \rtimes A_5$（位数 $2^{29} \cdot 60$）であり、$-\chi_{\mathbb{X}} = \frac{13}{60}$ であり、多面体的実現において非常に高い genus を示している。
• 本稿は、例外的点における非一様重みを許容する一般化を提示し、$\langle 2,4,6\rangle$ の場合（重みを $3,6,6$ に設定）に見られるように、一般化された多面体型の概念を導入している。