もやの測量
位相的な方法と解析的な方法によって同じ量を測ることができるというものがあるが, これはある意味では「おなじ操作」の異なる極限なのではないかと理解している. すなわち, その図形の「具体的な大きさ」にとらわれることなく, ただそのつながりに着目して「抽象的な」足し算を行って得られるものが「位相的量」であって, その図形を世界のなかに map して, 足し算を行って得られるものが「解析的量」であると考えられる. このとき, map の方法により位相的量から解析的量が得られるがこれは一致する, ということが起こるように思う.
これはある意味では「空間の質的変更」としても理解されるようにおもう: すなわち, 「解析的空間」から測量の情報を忘れることによって, 「位相的空間」を得ることができる. このとき, 「位相的計算」は「解析的計算」に引き戻される. 逆に, map とはある種にこの部分的な split を構成することでもあると理解される.
Hartshorne Ex.ii.6.12
だから,
なる degree map をとればこれが求めるもの.
Hartshorne Ex.ii.6.11
(a) なる射が作れるが, これが principal divisor を消すかが問題となる. ここで基本的な観察として, divisor
について,
は skyscraper sheaf になっていることに気付くと,
- \[\mathcal{L}*1/\mathcal{L}(D)\]] として [tex: *2] の行き先は実現できるため, よい.
(b) affine のレベルに制限すると, homotopy により同型射が作れることに気付くが, さらに行列計算によってこの同型射が homotopy に依らず決まるということに気づけば, 同型ははりあい, 大域的な同型が構成できる. 行列計算は, section もみてあげればいい.
(c) を捻れば大域切断で生成される.
の生成点での基底をとってあげれば, あとは
の kernel をみるだけだが Dedekind 環の加群論で終わる.
(d) obvi.
Hartshorne Ex.ii.6.9
主張 1. の元
について,
を表現する因子を, 有限個の特異点と無縁であるようにできる.
実際, は projective であるため, 有限個の点を含むような affine open がとれるが, それはまさに Dedekind 環である. 算術の基本定理より, 主張は示される.
の全射は主張 1 より従う. (特異点を含む適当な開集合に 1 を充てれば, よい.) 単射性についても, 明らか.
よって, あとは skyscraper sheaf が flasque であることから cohomology 長完全列をみればよい. これで (a) は示された.
(b) については, 計算すればよい: memo だけ残すと, は
と加法群として同型. また,
は演算が
なので,
とかで変換すれば
と乗法群として同型.
局所体上の cohomology (1)
続編があるかは不明.
局所体 について
の
-加群としての
次 cohomology
の次元は, 実はいくらか数論的な情報を含んでいる.
の
,
次の cohomology については easily に計算できる (
次の場合は duality を使う). また, Euler-Poincaré 標数に関する基本的な理論を用いれば, ここから
次の cohomology の大きさを計算できる.
[NSW, Corollary 7.3.9] の内容は以下の通り: . ただし,
は,
のとき
で, そうでなければ
である. また,
は,
(これは
の標数が
であることを含意する) のとき
で, そうでなければ
である.
この事実の easy な系として, なんらかの混標数局所体 の絶対 Galois 群と同型な副有限群
に対し, その剰余類体の標数
と, 次数
を復元できる.
(追記: 2022/12/01 22:43) [NSW] のゼミでこの小咄をしたところ, 標数と次数自体はもっと簡単に求まった気がすると指摘を受けた: 実際そうだと思う (乗法群がほぼすぐ局所類体論から復元されるから, それをみればよい).
monoanabelian reconstruction についてどこかでかけたらとは思う.
円分指標
いわれてみればそういうのもある, みたいな構成. J. Neukirch, A. Schmidt, K. Wingberg, "Cohomology of Number Fields", VII §3 を参照.
を体としたとき,
を
の代数閉体のなかの unity のなす群とする.
を
の絶対 Galois 群とすると,
は
-加群となるが,
は自然に
と同型であるため, 円分指標
が得られる.
この指標はすなわち, と
のあいだの乖離についてコードしたオブジェである.
と互いに素な有限
-加群
について, 円分指標を用いて捻ったものを Tate twist といい,
と表記することがある.
有限とかいたが副有限あるいは torsion module のクラスで定義できること, あとは捻れが functorial なことは容易に確認できる. ここで, のとき,
の twist
のことを円分物とよぶ. これは,
なる
-加群と同型である. しかしながらこの同型は非標準的なかたちで実現される.