■地図と三角法(その26)

【2】2元3次形式(ケイリー)

  f=ax^3+3bx^2y+3xy^2+dy^3   (係数についての次数1)

h=H/6^2   (Hはfのヘシアン,次数2)

j=J/3    (Jは(f,h)のヤコビアン,次数3)

  D=a^2d^2−6abcd+4ac^3+4b^3d−3b^2c^2   (判別式,次数4)

 これらの間の関係は,6次の多項式

  j^2=f^2D−4h^3</P>

で与えられる.

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

【3】2元5次形式(ケイリー・ゴルダン)

  f=Σ(5,k)akx^5-ky^kには,係数akについてそれぞれ4,8,12,18次の不変式I4,I8,I12,I18があって,その間の関係は36次の多項式

  16I18^2=I4I8^4+8I8^3I12−2I4^2I12−72I4I8I12^2−432I12^3+I4^3I12^2

で与えられる.

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

【4】2元6次形式(クレブシュ・ゴルダン)

  f=Σ(6,k)akx^6-ky^kには,係数akについてそれぞれ2,4,6,10,15次の不変式I2,I4,I6,I10,I15があって,その間の関係は30個の多項式

  I15^2=G(I2,I4,I6,I10)

で与えられる.

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