-
- いいね！3
s.t.
@simizut22
この 6 lines の中には P_Q^3 の点はない ↝ π|_{P_Q^3∩F} は injective #kansaimath307
2015-09-23 10:34:17
れんま（休職中）
@tononro
この解集合はフェルマー曲面(?)として知られていて27本の線が入っている。 #kansaimath #kansaimath307
2015-09-23 10:36:14
s.t.
@simizut22
a, b, c の 3 次式は a^3, a^2b, a^2c, ab^2, ...(中略)... ,c^3 を 基底に持つ 複素ベクトル空間 #kansaimath307
2015-09-23 10:36:53
リング
@matsumoring
今の場合6点が一般的とは、その6点で消える3次式がC上10-6=4次元分あること #kansaimath #kansaimath307
2015-09-23 10:37:28
s.t.
@simizut22
{P_k}_{k=1}^6 が一般的な 6 点 ⇔ {P_1 ~ P_6 で消える a, b, c の惨事式} : 複素 4 次元 #kansaimath307
2015-09-23 10:39:27
れんま（休職中）
@tononro
この六本の直線には有理点が含まれておらす、πで送ると前回の講演で定義した一般的な六点に潰される。 #kansaimath #kansaimath307
2015-09-23 10:39:34
リング
@matsumoring
複素射影平面から6点を除いたところから、Fermat3次曲面から6lineを除いたところに1対1にmapが入っている #kansaimath #kansaimath307
2015-09-23 10:40:25
リング
@matsumoring
Fermat曲面とその中の6lineから、Fermat曲面から射影平面へのmapを作る #kansaimath #kansaimath307
2015-09-23 10:42:30
れんま（休職中）
@tononro
P^2_C上の三次斉次多項式の複素次元は10であって先程の六点は一般的な位置にあるので、この六点で０となる多項式の集合の次元は10-6次元で四次元。この基底のひとつが先程のνの写像の定義になる。 #kansaimath #kansaimath307
2015-09-23 10:47:27
リング
@matsumoring
なんか行列が与えられてそれの行列式がFermat曲面の定義方程式になってる #kansaimath #kansaimath307
2015-09-23 10:47:45
リング
@matsumoring
というわけでFermat曲面上の点ではrankが2以下になる（さっきの行列は3次正方行列でした） #kansaimath #kansaimath307
2015-09-23 10:49:12
れんま（休職中）
@tononro
先程のπについて具体的に見ていく。前の六本の直線は互いに交わらず、フェルマー曲面(?)の27本の直線からこのような6本の直線をとるのは144通りあってπの作り方は72通りある。#kansaimath #kansaimath307
2015-09-23 10:51:24
リング
@matsumoring
余因子行列の行ベクトルを射影平面の点と思ったものがFermat曲面から射影平面へのmapを与えている！ #kansaimath #kansaimath307
2015-09-23 10:52:19