■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次元くらいまでである.

===================================