■an+b型素数(その35)
【2】2元n次形式
P=ax^3+3bx^2y+3cxy^2+dy^3
の最も簡単な不変式は
F=3b^2c^2+6abcd−4b^3d−4ac^3−a^2d^2
であるが,これはヘシアン
H=[∂^2P/∂^2x,∂^2P/∂x∂y]
[∂^2P/∂y∂x,∂^2P/∂^2y]
に定数倍を除いて等しい.
ヘッセは2元n次形式に対して,2階偏微分行列式(ヘシアン)が不変式となることを示した.
また,
P=ax^4+4bx^3y+6cx^2y^2+4cxy^3+ey^4
の判別式は
D=g2^3−27g3^2
g2=ae−4bd+3c^2
[a,b,c]
g3=[b,c,d]
[c,d,e]
で与えられる.
2元n次形式の不変式について書き下すことができるのはせいぜい7次元くらいまでである.
===================================