複素解析・リーマン面の問題
複素アフィン平面曲線
を考える。多項式 は で既約であり、このアフィン曲線は非特異である。この曲線の非特異射影モデルとして得られるコンパクトリーマン面を とする。座標関数 は次数 の正則写像 を定める。 の種数 を求めよ。
この問題で使うもの
- リーマン・フルヴィッツの公式(説明と入口の問題)
- 正則写像の次数と分岐指数(説明と入口の問題)
この問題を解けるようになるまで(60 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 比例・反比例の式とグラフ
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 剰余の定理・因数定理と高次方程式
- 増減表と極値
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 関数の連続性と中間値の定理
- 平均値の定理
- 積と商の微分
- 第 2 次導関数とグラフの凹凸
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 増減・凹凸・漸近線とグラフ
- テイラー展開
- 無限等比級数と無限級数
- べき級数と収束半径
- 多項式の不定積分
- 基本的な関数の不定積分
- 分数関数の積分(部分分数分解)
- ローラン展開
- 偏微分と全微分
- 正則写像の次数と分岐指数
- リーマン・フルヴィッツの公式
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
は次数 。有限の分岐点と 上の分岐を別々に調べ、リーマン・フルヴィッツの公式に代入する。
ヒント 2
上のファイバーが重なるのは が重根をもつとき。 次式 の判別式は 。 上では付値を比べて 。
ヒント 3
重根をもつのは となる 個の で、各ファイバーに分岐指数 の点が つある。 の上は 点で分岐指数 。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
(次数 )にリーマン・フルヴィッツの公式
を用いる( は での分岐指数)。
有限部分の分岐. 上のファイバーは の根に対応する。 の判別式 に を代入すると
なので、重根をもつのは 、すなわち のときで、そのような は 個ある。
- のとき 、
- のとき
で、どちらも重根を つだけもつ。重根に対応する点 では について なので が局所座標になり、 は について 位で消える。よってこの点の分岐指数は 、もう一方の点は分岐しない。有限部分の寄与は 。
無限遠点上. の上の点 で とすると、 での付値は 。このとき も極をもち なので 。方程式から となり 、よって 。 より で、 の上にはただ 点があり完全分岐する。寄与は 。
結論.
検算(別の射影 ). より は次数 の巡回被覆で、 では完全分岐(各 )。 では から となり 。よって で、やはり 。
別解
は次数 3 なので、リーマン・フルヴィッツの公式 を使う。
有限の について: が重根をもつ条件は すなわち で 。 のとき 、 のとき 。それぞれ の 4 個ずつ、合計 8 個の で重根をもつ。そこでは の根は 1 つが二重根、もう 1 つが単根で、曲線は非特異()なので、二重根の位置の点は を局所座標として と合わせ が局所座標になる。この点で , だから が の 2 位の分岐を起こし、 である。各点が寄与 1 なので有限部分の寄与は 。ほかの有限の では 3 根が相異なり不分岐。
について: で、 なのでただ 1 点が の上にあり、(完全分岐)。寄与は 。
合計 。 より 。
検算: ニュートン多角形 の内部格子点数は ( 型の曲線の種数 と一致、非退化なので種数はこれに等しい)。