[論文レビュー] An introduction to varieties in weighted projective space

Timothy Hosgood|arXiv (Cornell University)|Apr 8, 2016

Algebraic Geometry and Number Theory参考文献 10被引用数 7

ひとこと要約

この論文は、Riemann-Roch を用いた $\mathbb{P}(1,2,3)$ への楕円曲線の埋め込みと、線形束を分析するためのヒルベルト系列の構築を通じて、アクセス可能な代数幾何学的手法を用いて重み付き射影空間およびその多様体を導入する。主な貢献は、リーマン＝フルヴィッツの公式を用いて、高次の代数的構造を避けて非特異平面曲線の次数・ genus 公式を導出することであり、特に canonical divisor の文脈におけるヒルベルト系列係数とシンジーギーのパターンの明示的計算が行われる。

ABSTRACT

Weighted projective space arises when we consider the usual geometric definition for projective space and allow for non-trivial weights. On its own, this extra freedom gives rise to more than enough interesting phenomena, but it is the fact that weighted projective space arises naturally in the context of classical algebraic geometry that can be surprising. Using the Riemann-Roch theorem to calculate l(E,nD) where E is a non-singular cubic curve inside projective 2-space and D=p is a point in E we obtain a non-negatively graded ring R(E) by taking the direct sum of the L(E,nD) for n greater than or equal to 0. This gives rise to an embedding of E inside the weighted projective space P(1,2,3). To understand a space it is always a good idea to look at the things inside it. The main content of this paper is the introduction and explanation of many basic concepts of weighted projective space and its varieties. There are already many brilliant texts on the topic but none of them are aimed at an audience with only an undergraduate's knowledge of mathematics. This paper hopes to partially fill this gap whilst maintaining a good balance between 'interesting' and 'simple'. The main result of this paper is a reasonably simple degree-genus formula for non-singular 'sufficiently general' plane curves, proved using not much more than the Riemann-Hurwitz formula.

研究の動機と目的

• 数学的背景が学部レベルに限られる読者に対して、重み付き射影空間およびその多様体について自己完結的かつアクセス可能な紹介を提供すること。
• リーマン＝ローチや線形束といった古典的代数幾何学的概念が、重み付き射影空間への埋め込みへ自然に導く仕組みを示すこと。
• リーマン＝フルヴィッツの公式を用いて、高次の道具を用いずに、重み付き射影空間内の非特異平面曲線の次数・ genus 公式を導出すること。
• ヒルベルト系列とシンジーギーのパターンが、曲線上の除数に関連する次数付き環の構造を理解する上で果たす役割を明らかにすること。

提案手法

• $\mathbb{G}_m$-作用による非自明な重みをもつ $\mathbb{A}^{n+1} \setminus \{0\}$ の幾何的商構成により、重み付き射影空間を構成する。
• リーマン＝ローチ定理を用いて、非特異な三次曲線 $E$ と点 $D = p$ に対して $\ell(E, nD)$ を計算し、次数付き環 $R(E) = \oplus_{n \geq 0} \mathcal{L}(E, nD)$ を得る。
• 十分大きな $n$ に対して、完全線形系統 $|nD|$ を用いて楕円曲線 $E$ を $\mathbb{P}(1,2,3)$ に埋め込む。
• リーマン＝フルヴィッツの公式を適用し、重み付き射影空間内の非特異平面曲線の次数・ genus 公式を導出する。
• 生成関数 $\lambda(t) = \frac{1}{(1-t)(1-t^4)(1-t^5)(1-t^6)(1-t^7)}$ を分析してヒルベルト系列 $P_C(t)$ を計算し、分母の補正項を用いてシンジーギーを調整する。
• 組合せ論的考察により、ヒルベルト系列の分子における符号と次数の変化を解釈し、関係式や高次のシンジーギーの存在を示す。

実験結果

リサーチクエスチョン

• RQ1 重み付き射影空間は、学部レベルの代数幾何学的知識のみを用いてどのように導入され、理解されるか？
• RQ2 特に楕円曲線を含む、重み付き射影空間に埋め込まれた多様体の幾何学的・代数的構造はどのようなものか？
• RQ3 リーマン＝フルヴィッツの公式は、重み付き射影空間内の非特異平面曲線に対してどのように次数・ genus 公式を導くか？
• RQ4 ヒルベルト系列とシンジーギーのパターンは、曲線上の除数に関連する次数付き環の構造を理解する上で果たす役割は何か？
• RQ5 ヒルベルト系列の係数は、座標環における関係式や高次のシンジーギーの存在をどのように反映しているか？

主な発見

• 非特異な三次曲線 $E$ は、$n \geq 3$ のとき、リーマン＝ローチによる $\ell(E, nD)$ の計算から生じる完全線形系統 $|nD|$ を用いて $\mathbb{P}(1,2,3)$ に埋め込まれる。
• リーマン＝フルヴィッツの公式を用いて、重み付き射影空間内の非特異平面曲線の次数・ genus 公式が導出され、これは「十分一般な」曲線に対して有効である。
• genus 3 の曲線 $C_4 \subset \mathbb{P}^2$ に対して、ヒルベルト系列 $P_C(t) = \frac{1 - t + t^4}{(1-t)^2}$ が得られ、系列 $1 + t + t^2 + t^3 + 2t^4 + 3t^5 + \cdots$ と一致する。
• ヒルベルト系列は分母が $(1-t)(1-t^4)(1-t^5)(1-t^6)(1-t^7)$ である有理関数として表現され、分子には度数 10～25 の負と正の補正項が含まれており、関係式やシンジーギーの存在を示している。
• 度数 10 の関係式が確認され、符号の変化に基づいて度数 16～20 に高次のシンジーギーが検出され、さらに度数 23～25 にさらなるシンジーギーが存在することが判明する。