安定曲線のソースを表示

'''安定曲線'''（あんていきょくせん、{{lang-en-short|stable curve}}）とは、[[代数幾何学]]の用語で、[[幾何学的不変式論]]の意味で漸近的に安定な[[代数曲線]]のことである。

この条件は、完備連結曲線であって、その特異点は通常[[曲線の特異点#二重点|二重点]]のみであり、かつ{{仮リンク|自己同形群|en|automorphism group}}が有限群であることと同値である。自己同形群が有限であるという条件は、{{仮リンク|算術種数|en|arithmetic genus}}が1ではなく、かつ全ての非特異{{仮リンク|有理曲線|en|rational curve}}成分が他の成分と少なくとも3点で交叉するという条件に置き換えられる<ref>{{harv|Deligne|Mumford|1969}}</ref>。

自己同形群に[[有限群]]ではなく簡約（reductive）群を許し（これは連結成分にトーラスを許すという条件と同値である）、ほかは同様の条件を満たすものを'''半安定曲線'''（semi-stable curve）という{{要出典|date=2021年10月}}。あるいは、非特異有理成分が他の成分と少なくとも3点で交叉するという条件を、少なくとも2点で交叉するという条件に置き換えたものである。

同様に、有限個の標点付き曲線が安定とは、完備連結であって特異点は通常2重点のみを持ち自己同形群が有限であることをいう。例えば、[[楕円曲線]]（種数1の1標点付き非特異曲線）は安定である。

複素数体上では、連結な曲線が安定であることと、全ての特異点と標点を除くと各成分の{{仮リンク|普遍被覆|en|universal cover}}が単位円板と同型になることは同値である。

== 定義 ==

<math>S</math> を任意のスキーム、<math>g \geq 2</math> を整数とする。
<math>S</math> 上の種数 g の''安定''曲線とは、[[固有射|固有]][[平坦射]] <math>\pi: C \to S</math> であって、
その幾何学的ファイバー <math>C_s</math> が[[被約環#被約スキーム|被約]]な連結1次元スキームで以下の条件を満たすものを言う。

# <math>C_s</math> は通常2重点のみを特異点として持つ
# 全ての有理曲線成分（rational component） <math>E</math> は他の成分と<math>2</math> 点以上で交叉する
# <math>\dim H^1(\mathcal{O}_{C_s}) = g</math>

これらのテクニカルな条件は、（1）技術的な複雑性を減らし、そしてピカール・レフシェッツ理論の適用を可能にし、（2）あとで構築するモジュライ・スタックが無限小自己同型を持たないように曲線を硬化（rigidify）し、（3）全てのファイバーが同じ算術種数をもつことを保証するために
必要である。なお、（１）に関連して、[[楕円曲面]]に生じ得る特異点の種類は完全に分類することが可能であることに言及しておく。

=== 安定曲線の例 ===

安定曲線族の古典的な例はワイエルシュトラス曲線族

:<math>
\begin{matrix}
\operatorname{Proj}\left( \frac{\mathbb{Q}[t][x,y,z]}{(y^2z - x(x-z)(x-tz)} \right) \\
\downarrow \\
\operatorname{Spec}(\mathbb{Q}[t])
\end{matrix}
</math>

である。この曲線族は、<math>0,1</math> を除く全ての点の上でそのファイバーは滑らかで、退化する点でもそのファイバーは2重点を特異点として持つのみである。この例は、有限個の点のみで退化する滑らかな[[超楕円曲線]]の 1 パラメータ族に一般化できる。

=== 安定曲線ではない例 ===

パラメータの数が1よりも大きな一般の場合では、2重点よりも悪い特異点を含む曲線を取り除くのに注意が必要である。例として、次の多項式

:<math>
y^2 = x(x-s)(x-t)(x-1)(x-2)
</math>

を考える。これが定義する <math>\mathbb{A}^2_{s,t}</math> 上の族は、対角線 <math>s = t</math> 上に2重点ではない特異点がある。もう一つの安定曲線ではない例は、次の多項式

:<math>
x^3 -y^2 + t
</math>

で与えられる <math>\mathbb{A}^1_t</math> 上の族である。これは[[尖点]]を1つ持つ有理曲線に退化する楕円曲線の族である。

== 性質 ==

安定曲線の最も重要な性質の一つは、局所的に完全交叉であることである。これにより、標準的な[[セール双対性]]の理論を適用することができる。特に、任意の安定曲線に対して <math>\omega_{C/S}^{\otimes 3}</math> は相対的に[[豊富な直線束|非常に豊富な層]]（relatively very-ample sheaf）であることが示される。これを使って安定曲線を <math>\mathbb{P}^{5g - 6}_S</math> へ埋め込むことができる。射影空間に埋め込まれた種数 <math>g</math> の曲線のモジュライ・スキームは、[[ヒルベルトスキーム]]の標準的な理論を用いて構築することができる。そのときの[[ヒルベルト多項式]]は

:<math>
P_g(n) = (6n-1)(g-1)
</math>

で与えられる。このヒルベルトスキームには、安定曲線に対応する点からなる部分空間

:<math>
H_g \subset \textbf{Hilb}^{P_g}_{\mathbb{P}^{5g - 6}_\mathbb{Z}}
</math>

が含まれている。この空間は、[[関手]]

:<math>
\mathcal{M}_g(S) \cong \left. \left\{
\begin{matrix}
& \text{stable curves } \pi: C \to S \\
& \text{ with an iso } \\
& \mathbb{P}(\pi_*(\omega_{C/S}^{\otimes 3})) \cong \mathbb{P}^{5g-6}\times S
\end{matrix}
\right\}\Bigg/ {\sim} \right. \cong \operatorname{Hom}(S,H_g)
</math>

の[[表現可能関手|表現]]になっている。ここで、<math>\sim</math> は安定曲線の同型写像による同値関係である。この空間から、射影空間への埋め込みを外した曲線そのもののモジュライ空間を得るためには、射影空間への埋め込みは射影空間の同型写像に対応させることができるので、
<math>PGL(5g - 6)</math> による商を取ればよい。こうしてモジュライ・スタック

:<math>
\mathcal{M}_g := [\underline{H}_g / \underline{PGL}(5g-6)]
</math>
が得られる。

==脚注==

{{reflist|2}}

==関連項目==

*{{仮リンク|代数曲線のモジュライ|en|Moduli of algebraic curves}}

== 参考文献 ==

*[[ミハイル・アルティン|Artin, M.]]; Winters, G. (1971-11-01). "[https://www.sciencedirect.com/science/article/pii/0040938371900280 Degenerate fibres and stable reduction of curves]". ''Topology''. '''10''' (4): 373–383. [[デジタルオブジェクト識別子|doi]]:10.1016/0040-9383(71)90028-0. [[ISSN]]&nbsp;0040-9383.
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | last2=Mumford | first2=David | author2-link=David Mumford | title=The irreducibility of the space of curves of given genus | url=http://www.numdam.org/item?id=PMIHES_1969__36__75_0 |mr=0262240 | year=1969 | journal=[[Publications Mathématiques de l'IHÉS]] | issue=36 | pages=75–109 | doi=10.1007/BF02684599 | volume=36| citeseerx=10.1.1.589.288 | s2cid=16482150 }}
*{{Citation | last1=Gieseker | first1=D. | title=Lectures on moduli of curves | publisher=Published for the Tata Institute of Fundamental Research, Bombay | series=Tata Institute of Fundamental Research Lectures on Mathematics and Physics | isbn=978-3-540-11953-1 |mr=691308 | year=1982 | volume=69|url=http://www.math.tifr.res.in/~publ/ln/tifr69.pdf}}
*{{Citation | last1=Harris | first1=Joe | author1-link=Joe Harris (mathematician) | last2=Morrison | first2=Ian | title=Moduli of curves | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-98429-2 |mr=1631825 | year=1998 | volume=187}}

== 外部リンク ==

*{{cite arXiv |last=Casalaina-Martin|first=Sebastian|title=A tour of stable reduction with applications |class=math |date=2021  |language=en |eprint=1207.1048}}


{{Algebraic curves navbox}}
[[Category:代数曲線]]
[[Category:数学に関する記事]]
{{DEFAULTSORT:あんていきよくせん}}