ぺんぱ石「複数点の幾何#2」

ごめん,今回は難しい
2
前へ 1 2 ・・ 5 次へ
リング @matsumoring

ややこしい定理(Elkies?)を経て3つの有理数を見つけたくなった #kansaimath #kansaimath307

2015-09-23 10:15:25
リング @matsumoring

その有理数の式も書き下されたぞ #kansaimath #kansaimath307

2015-09-23 10:16:13
s.t. @simizut22

x+ z ≠ 0 または y+w≠0⇒ a, b, c は x, y, z の 2 次(斉次)式で書ける #kansaimath307 書くのつらいので,詳細の式は略(僕の都合)

2015-09-23 10:17:49
リング @matsumoring

そのmapで、さきほどの有理点全体と有理数体上の射影平面とが1対1に対応する! #kansaimath #kansaimath307

2015-09-23 10:17:56
s.t. @simizut22

上記の map で F∩P_Q^3 ↔ P_Q^2 が 1:1 #kansaimath307

2015-09-23 10:18:42
s.t. @simizut22

Rmk: x^3 + y^3 = z^3 の整数解には役立たない #kansaimath307

2015-09-23 10:19:18
リング @matsumoring

w=0とするとn=3のときのFermatの定理になるのか。次元を下げる役には立たないとのこと #kansaimath #kansaimath307

2015-09-23 10:19:30
れんま(休職中) @tononro

解集合はP^2_Qと一対一対応するらしい。 #kansaimath #kansaimath307

2015-09-23 10:20:01
リング @matsumoring

複素射影平面からFermat3次曲面にmapを入れたい #kansaimath #kansaimath307

2015-09-23 10:21:04
s.t. @simizut22

π :F → P^2 ν : P^2 ⇢ F とπ,ν を定義 #kansaimath307

2015-09-23 10:21:50
リング @matsumoring

今日の講演の目的は、 ・これらのmapがどこからきたのか ・複数点の幾何とどう関係するか #kansaimath #kansaimath307

2015-09-23 10:22:16
s.t. @simizut22

目的: π.ν はどこから来たのか?? 複数点の幾何との関係は?? #kansaimath307

2015-09-23 10:22:26
s.t. @simizut22

ν の作り方の説明(先ほどは ⇢ で書いていた #kansaimath307

2015-09-23 10:23:44
リング @matsumoring

さっきのFermat曲面からのmapは有理点以外も入れると単射ではない #kansaimath #kansaimath307

2015-09-23 10:24:06
s.t. @simizut22

fermat 曲面上にはわかりやすい 27 本の直線が入っている #kansaimath307

2015-09-23 10:24:29
リング @matsumoring

Fermat曲面の中に27本のlineがあること #kansaimath #kansaimath307

2015-09-23 10:24:41
s.t. @simizut22

x^3 + y^3 = z^3 + w^3 = 0 が 9 本 x^3 + z^3 = y^3 + w^3 = 0 が 9 本 x^3 + w^3 = y^3 + z^3 = 0 が 9 本 の合わせて 27 本 #kansaimath307

2015-09-23 10:25:44
s.t. @simizut22

x + ζ_3^ky = z + ζ_3^kw = 0 x + ζ_3^kz = w + ζ_3^ky = 0 x + ζ_3^kw = y + ζ_3^kz = 0 (k = 1, 2) の 6 本の line を考えます #kansaimath307

2015-09-23 10:28:01
リング @matsumoring

6本の直線が6点に写り、単射になってない全ての点を尽くしている #kansaimath #kansaimath307

2015-09-23 10:28:48
s.t. @simizut22

π は 1. 上の 6 本の lines を 6 pts につぶす(blow-down) 2. それ以外は 1:1 #kansaimath307

2015-09-23 10:29:52
リング @matsumoring

昨日ワヘイヘイ氏が書いてたブローダウンの図だ! #kansaimath #kansaimath307

2015-09-23 10:30:14
リング @matsumoring

そしてその6本のlineの像は有理点にならない #kansaimath #kansaimath307

2015-09-23 10:31:41
リング @matsumoring

というわけで6本のlineの上に有理点はない #kansaimath #kansaimath307

2015-09-23 10:32:46
s.t. @simizut22

この 6 本の lines は [0, 1, -ζ_3^k] [-ζ_3^k, 1, 1] [1, -ζ_3^k, -ζ_3^{-k}] (k=1,2) に行く #kansaimath307

2015-09-23 10:32:50
前へ 1 2 ・・ 5 次へ