2

3重根の判別式③ 考察・後編

41
0

この記事は3本立てとなっております。
①はこちら
②はこちら


 方針3による考察を続けます。n4の場合は、n=3ほど詳しいことは分かっておりません。

n=4の場合

 以下の判別式が見付かりました。

D1=(a1a2)2(a3a4)2+(a1a3)2(a2a4)2+(a1a4)2(a2a3)2
D2=(a1a2)2(a1a3)2(a2a3)2+(a1a2)2(a1a4)2(a2a4)2+(a1a3)2(a1a4)2(a3a4)2+(a2a3)2(a2a4)2(a3a4)2
は3重根判別式である。

 a1,a2,a3,a4のうちどの3つが等しい場合も0になります。確認してみて下さい。D2は、2重根の判別式を4つ足し合わせた形をしています。ちなみに、D1,D2の添え字にはn=3の時のような意味は無く、単純に名前をつけただけです。  

 n=3の場合と同じように一般化したいところですが、D1についてはやや複雑です。結論だけ述べます。

  1. g(a1,a2,a3,a4)C[a1,a2,a3,a4]を、a1,a2について対称、a3,a4について対称かつ、「a1a3,a2a4を同時に入れ替える置換」について不変な多項式とすると、
    g(a1,a2,a3,a4)(a1a2)2(a3a4)2+g(a1,a3,a2,a4)(a1a3)2(a2a4)2+g(a1,a4,a2,a3)(a1a4)2(a2a3)2
    は3重根判別式である。
  2. g(a1,a2,a3,a4)C[a1,a2,a3,a4]を、a1,a2,a3について対称な多項式とすると、
    g(a1,a2,a3,a4)(a1a2)2(a1a3)2(a2a3)2+()
    は3重根判別式である。

 すみません、サボりました(笑)。n=3の時と同じように、ということで読み取って下さい。読む側にとってもこの方が読みやすいかなと……。(1)の条件を満たすgは、例えばa1a2+a3a4などがあります。

 (略)だとちょっとカッコ悪いので、ちゃんと記号を作ります。
f(a1,,an)+sym
と書いて、自然に定まる対称式を表すことにします。


symの厳密な定義

 f(a1,,an)a1,,anの置換を施して得られる多項式全体の集合を{f1,,fk}としたとき、
f(a1,,an)+sym=f1++fk
と定義します。扱う文字は文脈で判断します。例えばa1,a2,a3,a4を扱う文脈なら、
a1a2a3+sym=a1a2a3+a1a2a4+a1a3a4+a2a3a4
となります。また、
(a12+sym)+(a1a2+sym)=a12+a22+a32+a42+a1a2+a1a3+a1a4+a2a3+a2a4+a3a4
のように、1つの式で複数用いることも許すとします。
a1+a2+sym
と書いてしまうと(a1+a2)+syma1+(a2+sym)か判別できないので、このような書き方はしません。なお、いずれにせよ、最も自然と思われるa1+a2+a3+a4は得られません。他にも混乱が生じるケースがあるかもしれませんが、この記事内では問題の無い使い方をしているつもりです。


 十分な組はまだ見つけられていません。n=3の場合の類似で
(a1a2)2(a1a3)2(a2a3)2+sym,
a4(a1a2)2(a1a3)2(a2a3)2+sym,
a42(a1a2)2(a1a3)2(a2a3)2+sym
の3つからなる組が十分な組になっているかと思いきや、これらはa1=a2, a3=a4としても0になるので、十分な組ではありません。より一般に、定理4の(2)の形の式はすべてa1=a2, a3=a4のとき0になるので、(2)の形の式だけでは十分な組は作れない、と言えます。

 また、D10を除いて最も次数の低い3重根判別式であることが分かりました。

4次多項式の3重根判別式で、3次以下のものは0しかない。

3次以下のa1,a2,a3,a4の対称式は、c1,,c7Cを用いて
c1(a13+a23+a33+a43)+c2(a12a2+sym)+c3(a1a2a3+sym)+c4(a12+a22+a32+a42)+c5(a1a2+sym)+c6(a1+a2+a3+a4)+c7
と表せる。a2,a3a1で置き換えると
c1(3a13+a43)+c2(6a13+3a12a4+3a1a42)+c3(a13+3a12a4)+c4(3a12+a42)+c5(3a12+3a1a4)+c6(3a1+a4)+c7
となる。これが多項式として0になるには、a43の係数に着目するとc1=0が必要と分かる。次にa1a42の係数に着目するとc2=0が必要と分かる。同様に考えていくことにより、c1==c7=0を得る。

 まだなんとかなりましたが、nを大きくしていったときに同様の問題を考えると、同じ方針では難しそうです。

 また、次のような予想も持っています。

D3sym(4)の任意の元は、定理2の(1)の形のものと(2)の形のものの和として表せる。

n=5の場合

 式が長くなってしまうので、さらに記号を導入します。
disc(a1,,an)=i<j(aiaj)2
とおきます。disc は discriminant(判別式) の略です。変数が1つの場合、disc(a1)=1と約束します。
 さて、以下の判別式が見付かりました。

D1=(a1a2)2(a3a4)2(a3a5)2(a4a5)2+sym
D2=disc(a1,a2,a3,a4)+sym
は3重根判別式である。

 D2n=3,4からの流れですぐに見つかりましたが、D1を見つけるのが大変でした。n=4D1のようなものがn=5でも存在するのではないかと考えた結果、このD1が見つかりました。
 D1が3重根判別式になっていることはおわかり頂けるでしょうか。a1,,a5のうち3つが等しいとして、
(a1a2)2(a3a4)2(a3a5)2(a4a5)2
0になることを確かめれば十分です。そこで、a1,a2,a3,a4,a5を2つの組{a1,a2}{a3,a4,a5}に分けて考えます。a1,a2,a3,a4,a5のうち3つが等しいとすると、その3つのうち少なくとも2つは同じ組に属します(鳩の巣原理)。{a1,a2}に2つ属する場合でも、{a3,a4,a5}に2つ属する場合でも、
(a1a2)2(a3a4)2(a3a5)2(a4a5)2=0
となることが確かめられます。

 定理2と同様に一般化することができますが、割愛します。十分な組については、n=4ですらろくな結果が得られていないので、言わずもがなです。

 n=4D1については次数の最小性を示しましたが、n=5でも成り立つと予想しています。

5次多項式の3重根判別式で、0でないものの最小次数は8である。

 D1の発見は、一般のnの場合を考える上での大きな足がかりとなりました。D1は、以下のようにも表せます。
D1=disc(a1,a2)disc(a3,a4,a5)+sym
こうすると、一般のnの場合が見えてきます。

一般のnの場合

k1kn2を満たす整数とする。このとき
Dk=disc(a1,,ak)disc(ak+1,,an)+sym
n次多項式の3重根判別式である。

 これまで同様、さらに一般化することもできますが、割愛します。十分な組については言わずもがな。

 nが奇数のとき、D1,D2,,Dn12のうち次数が最小のものはDn12で、その次数は
n12C22+n+12C22=(n1)(n3)4+(n+1)(n1)4=(n1)22
です。
 nが偶数のとき、D1,D2,,Dn2のうち次数が最小のものはDn2で、その次数は
n2C22+n2C22=n(n2)4+n(n2)4=n(n2)2
です。

  1. nが奇数の時、D3sym(n)0でない元の最小次数は(n1)22である。
  2. nが偶数の時、D3sym(n)0でない元の最小次数はn(n2)2である。

方針3による考察は、以上とします。

もうちょっと代数幾何

 最後に、また代数幾何の言葉への言い換えを紹介します。
X3sym(n)={(z1,,zn)Cn | z1,,zn のうち3つが等しい }
とおきます。X3sym(n)は、zi=zj=zk (i<j<k)で定まるn2次元の線形部分空間全体の和集合です。線形部分空間はアフィン代数的集合であり、アフィン代数的集合の有限個の和集合はアフィン代数的集合であることが知られているので、X3sym(n)はアフィン代数的集合です。
 3重根判別イデアルは
D3sym(n)=I(X3sym(n))C[a1,,an]sym
と表すことが出来ます。方針3で3重根判別式を沢山見つけましたが、それらはI(X3sym(n))C[a1,,an]symの元であるというわけです。

 前々回の記事で述べた話とは、
t1(a1+sym)t2 a1a2+symt3 (a1a2a3+sym)tn (1)na1a2an
なる対応によって繋がります。これで何か分かる方、いらっしゃいませんか?

投稿日:20231220
更新日:20231220
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

koumei
koumei
18
2663
(2023/11/30)別名義を使ってましたが、OMCでの名義に揃えました。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. $n=4$の場合
  2. $n=5$の場合
  3. 一般の$n$の場合
  4. もうちょっと代数幾何