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