[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
393(8): 2021/02/13(土)00:04 ID:wXktx3pj(1/18) AAS
>>388 補足
>2 - 2g - n < 0
>これ、>>333 伊原先生の
>「ここにXが双曲型とは,その種数をg,穴の個数をnとす
>るとき2gー2+n>0が満されることです.」
>と同じだね
下記の作間 誠 (広島大学)氏「2.3. 双曲曲面とタイヒミュラー空間」に説明があるね
省32
394(2): 2021/02/13(土)00:05 ID:wXktx3pj(2/18) AAS
>>393
つづき
2.3. 双曲曲面とタイヒミュラー空間
種数g の有向曲面Σg からn個の点を除いて得られる曲面をΣg,n で表す。任意の有限
面積有向双曲曲面は，オイラー標数が&χ(Σg,n) = 2 - 2g - n < 0 を満たすΣg,n に同相
である。更に，それぞれの穴はカスプ{z ∈ H2 ｜ Ι(z) ≧ c}=(z 〜 z + 1) （c > 0 は定
数）と等長的な近傍を持つ。
省23
395(2): 2021/02/13(土)00:05 ID:wXktx3pj(3/18) AAS
>>394
つづき
定理2.1 (フェンチェル・ニールセン座標)
Teich(Σg,n)=〜R+ ^3g-3+n x R^3g-3+n =〜R^6g-6+2n
古典的一意化定理により， Teich(Σ) はΣ 上の共形構造全体が作る空間でもあるこ
とを注意する。
Σの双曲構造は上で述べた自由度を持つが，その面積はガウス・ボンネの定理によ
省6
399(1): 2021/02/13(土)10:01 ID:wXktx3pj(4/18) AAS
>>390-392
おじさんさ、
あんた証明抜きで語っていえるよね
それが、数学じゃん
コテコテした証明はあっても良いが、無くてもいい
作間 誠 (広島大学)氏>>393「2.3. 双曲曲面とタイヒミュラー空間」も
コテコテした証明なしで語っているよね
省2
401(3): 2021/02/13(土)10:23 ID:wXktx3pj(5/18) AAS
>>395
>定理2.1 (フェンチェル・ニールセン座標)
これ、タイヒミュラーでは重要みたい（下記など）
（参考）
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
河澄響矢 東大
20 年度前期「幾何学 IV/幾何 III/幾何学特論」（青山学院大学理工学部）関係ファイル
省27
402(1): 2021/02/13(土)10:26 ID:wXktx3pj(6/18) AAS
>>400
心配するな
おれなんか、人のうちには入らない
望月には、G（GOD）くんに
スター（星）もいる
なんの心配もない
そもそも、こんな場末の5ｃｈの議論と、本来のIUT数学の議論とを混同している時点で、アウトでしょ
403(1): 2021/02/13(土)10:48 ID:wXktx3pj(7/18) AAS
>>401
追加
外部ﾘﾝｸ:ja.wikipedia.org
低次元トポロジー
目次
1 歴史
2 二次元
省10
407(1): 2021/02/13(土)15:14 ID:wXktx3pj(8/18) AAS
>>393
・a+b=c を使って、楕円曲線を作ると、スピロ予想が出る
・楕円曲線にピンホールを開けると、
・オイラー標数がχ(Σg,n) = 2 - 2g - n < 0 となって、
・伊原先生などによれば、双曲構造が入る
・そこから、タイヒミュラーが出る。遠アーベルもかな？
418(2): 2021/02/13(土)18:17 ID:wXktx3pj(9/18) AAS
>>375 より
>エタール基本群 Etale fundamental group
>(参考)
>外部ﾘﾝｸ:en.wikipedia.org
>Etale fundamental group
(引用開始)
（原文）
省13
419(2): 2021/02/13(土)18:18 ID:wXktx3pj(10/18) AAS
>>418
つづき
（原文）
Examples and theorems
The most basic example of a fundamental group is π1(Spec k), the fundamental group of a field k. Essentially by definition, the fundamental group of k can be shown to be isomorphic to the absolute Galois group Gal (ksep / k). More precisely, the choice of a geometric point of Spec (k) is equivalent to giving a separably closed extension field K, and the fundamental group with respect to that base point identifies with the Galois group Gal (K / k). This interpretation of the Galois group is known as Grothendieck's Galois theory.
More generally, for any geometrically connected variety X over a field k (i.e., X is such that Xsep := X ×k ksep is connected) there is an exact sequence of profinite groups
1 → π1(Xsep, x) → π1(X, x) → Gal(ksep / k) → 1.
省8
423(1): 2021/02/13(土)18:34 ID:wXktx3pj(11/18) AAS
（>>377より再録）
外部ﾘﾝｸ:ja.wikipedia.org
遠アーベル幾何学
遠アーベル幾何学（えんアーベルきかがく、Anabelian geometry）は数学の理論であり、代数多様体 V 上の代数的基本群（英語版）(algebraic fundamental group) G や関連する幾何学的対象を記述する。
曲線上のグロタンディークの予想の定式化
「遠アーベル的問題」とは次のように定式化される。
「 多様体 X の同型類についてのどのくらいの情報が、エタール基本群（英語版）(etale fundamental group)の知識には含まれているのであろうか？[2] 」
省16
424(2): 2021/02/13(土)19:25 ID:wXktx3pj(12/18) AAS
>>423
補足
”Etale fundamental group”で、下記の場合分け大事だね
外部ﾘﾝｸ:en.wikipedia.org
Etale fundamental group
Examples and theorems
Schemes over a field of characteristic zero（標数0）
省4
425(1): 2021/02/13(土)19:26 ID:wXktx3pj(13/18) AAS
>>424
つづき
Affine schemes over a field of characteristic p （標数ｐで”Affine schemes”）
It turns out that every affine scheme {\displaystyle X\subset \mathbf {A} _{k}^{n}}{\displaystyle X\subset \mathbf {A} _{k}^{n}} is a {\displaystyle K(\pi ,1)}K(\pi ,1)-space, in the sense that the etale homotopy type of {\displaystyle X}X is entirely determined by its etale homotopy group.[5] Note {\displaystyle \pi =\pi _{1}^{et}(X,{\overline {x}})}{\displaystyle \pi =\pi _{1}^{et}(X,{\overline {x}})} where {\displaystyle {\overline {x}}}{\overline {x}} is a geometric point.
Further topics（”From a category-theoretic point of view”）
From a category-theoretic point of view, the fundamental group is a functor
{Pointed algebraic varieties} → {Profinite groups}.
省4
426(2): 2021/02/13(土)21:41 ID:wXktx3pj(14/18) AAS
>>424-425
機械翻訳
外部ﾘﾝｸ:en.wikipedia.org
Etale fundamental group
Examples and theorems
Schemes over a field of characteristic zero
For a scheme X that is of finite type over C, the complex numbers, there is a close relation between the etale fundamental group of X and the usual, topological, fundamental group of X(C), the complex analytic space attached to X. The algebraic fundamental group, as it is typically called in this case, is the profinite completion of π1(X). This is a consequence of the Riemann existence theorem, which says that all finite etale coverings of X(C) stem from ones of X. In particular, as the fundamental group of smooth curves over C (i.e., open Riemann surfaces) is well understood; this determines the algebraic fundamental group. More generally, the fundamental group of a proper scheme over any algebraically closed field of characteristic zero is known, because an extension of algebraically closed fields induces isomorphic fundamental groups.
省8
427: 2021/02/13(土)21:42 ID:wXktx3pj(15/18) AAS
>>426
つづき
Affine schemes over a field of characteristic p
It turns out that every affine scheme X⊂ {A} _{k}^{n} is a K(π ,1)-space, in the sense that the etale homotopy type of X is entirely determined by its etale homotopy group.[5]
Note π =π_{1}^et(X, ￣x) where ￣x is a geometric point.
標数pの体上のアフィンスキーム
Xのetaleホモトピー型がそのetaleホモトピー群によって完全に決定されるという意味で、すべてのアフィンスキームX⊂{A} _ {k} ^ {n}はK（π、1）空間であることがわかります。 [5]
省13
428: 2021/02/13(土)21:52 ID:wXktx3pj(16/18) AAS
>>426 補足
(引用開始)
Schemes over a field of characteristic zero
For a scheme X that is of finite type over C, the complex numbers, there is a close relation between the etale fundamental group of X and the usual, topological, fundamental group of X(C), the complex analytic space attached to X. The algebraic fundamental group, as it is typically called in this case, is the profinite completion of π1(X). This is a consequence of the Riemann existence theorem, which says that all finite etale coverings of X(C) stem from ones of X. In particular, as the fundamental group of smooth curves over C (i.e., open Riemann surfaces) is well understood; this determines the algebraic fundamental group. More generally, the fundamental group of a proper scheme over any algebraically closed field of characteristic zero is known, because an extension of algebraically closed fields induces isomorphic fundamental groups.
標数ゼロの場の上のスキーム
（Google訳（以下同じ））
複素数であるC上で有限型のスキームXの場合、エタール基本群Xと、Xに付加された複素解析空間であるX（C）の通常の位相幾何学的基本群との間には密接な関係があります。 この場合に一般的に呼ばれる代数的基本群は、π1（X）の有限型の完了です。 これは、リーマン存在定理の結果であり、X（C）のすべての有限エタール射影はXのものに由来するというものです。特に、C上の滑らかな曲線の基本群（つまり、開いたリーマン面）はよく理解されています。 ; これは代数的基本群を決定します。 より一般的には、標数的閉体の拡張が同型の基本群を誘発するため、標数的閉体の任意の代数的閉体に対する適切なスキームの基本群が知られています。
省4
429(1): 2021/02/13(土)23:14 ID:wXktx3pj(17/18) AAS
エタール基本群つながり、再録
(>>323 再録)
外部ﾘﾝｸ[pdf]:www.math.sci.hokudai.ac.jp
1 点抜き楕円曲線の同型類の幾何的基本群による復元
京都大学大学院 数学・数理解析専攻 数理解析系 更科明
概要
1980 年代、Grothendieck により素体の有限次拡大体上の双曲的曲線の幾何が (ある意味
省23
430(1): 2021/02/13(土)23:15 ID:wXktx3pj(18/18) AAS
>>429
つづき
(>>336 再録)
外部ﾘﾝｸ:www.jstage.jst.go.jp
J-STAGEトップ/数学/50巻(1998)2号/p.113-129(1997年12月1日提出)
代数曲線の基本群に関するGrothendieck予想（論説）
中村博昭,玉川安騎男,望月新一
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s