二次曲面 (射影幾何学)

射影幾何学における二次曲面（にじきょくめん、）とは、何らかの二次形式の斉次座標系における零点集合として与えられるような射影空間内の点集合を言う。これはまた、射影幾何学における双対性を考えれば、双対超平面上の点全体の成す集合としても定義できる。
厳密な定義.
より正確に、"V" を体 "K" に係数を持つ formula_1-次元ベクトル空間とし、"F" を "V" 上の二次形式、"P" を "V" に対応する "n"-次元射影空間
とする（ここで formula_3 はベクトル "v" の非零定数倍として得られるベクトル全体の成す集合）とき、二次形式 "F" によって定められる "K" 上の（射影）二次超曲面とは
を満たす "P" 内の点 formula_3 全体の成す集合として定義される。注意すべき点として、 
かつ、二次形式の定義から 
が成り立つので、先の条件によって "P" 内の二次曲面が定義されるという主張は正当である。
"P" として実射影平面や複素射影平面を取るときの射影二次超曲面は、特に（射影）二次曲線や（射影）円錐曲線と呼ばれる。また "P" が三次元の実射影空間や複素射影空間であるときを特に（射影）二次曲面と呼ぶ場合もあるが、射影二次超曲面全般を指す意味で射影二次曲面と呼ぶことも多い。
一般に、"K" が実数体であれば、射影二次超曲面は "n"-次元射影空間 "P" の formula_8-次元部分多様体になる。例外は、ある特別な性質を持つ二次形式に対応する退化二次曲面である。例えば、"F" が（任意のベクトル "v" を零化する）零形式 ("trivial form", "null form") のときは対応する射影二次超曲面は "P" 全体になり、また "F" が定符号二次形式（つまり至る所正値もしくは至る所負値）ならば対応する射影二次超曲面は空になり、あるいは "F" が二つの非自明な一次形式の積に分解されるときには対応する射影二次超曲面は二つの超平面の合併になる、といった具合である。文献によっては、「二次曲面」の中にこれら特別の場合の一部または全てを含めないこともある。
二次曲面の行列表示.
ベクトル空間 "V" の基底を選び、それに関するベクトル "v" の座標が formula_9 であるとき、任意の二次形式 "F" は "V" の係数体 "K" に成分 "m""ij" を持つ適当な ("n"+1)-次対称行列 "M" = ("m""ij") を用いて
と書くことができる。行列 "M" は "F" および "V" の基底の取り方のみによって決まる。この式は、各 "i"-成分が
で与えられる "K""n"+1 のベクトル "F"′("v") と標準内積formula_12 を用いれば、
と書いてもよい。
二次形式 "F" が零形式であることと、"M" が零行列となることとは同値である。係数体 "K" が実数体であるならば、"M" を対角行列とするような基底が必ずとれる。この場合に、対角成分 "m""ii" の符号を見れば、二次曲面が退化しているか否かを知ることができる（後述）。
極性・接超平面・特異点.
一般に、射影二次曲面 "Q" はと呼ばれるものを定める。これは、点と超平面の間の接続関係を保ちながら、"P" の任意の点 formula_14 を "P" の超平面 formula_15 へ、あるいはその逆へ写すような写像 ∗ を言う。"V" の基底を決めれば、極超平面 formula_16 の係数ベクトルは前節の formula_17 で与えられる。
二次曲面と直線との交点.
射影空間において、各直線は二次曲面 "Q" と高々二点で交わる（交点数が零として、交わらない場合も含む）か、さもなくば "Q" に全く含まれる。実際、相異なる二点 formula_25 の定める直線は、係数体 "K" からとった、同時に零となることはない任意のスカラー "a", "b" によって formula_26 の形に書くことのできる点全体の成す集合であり、この一般の点が二次曲面 "Q" に載っていることと formula_27, 即ち
が成り立つこととは同値であって、交点数は三つの係数
に依存して決まる。"A", "B", "C" が三つとも零ならば、任意の "a", "b" が等式を満たすから、直線は "Q" に全く含まれることになる。そうでない場合には、
が負、零、正となるのに従って、それぞれ交点数が 0, 1, 2 で与えられる。