この記事は3本立てとなっております。
・
①はこちら
・
②はこちら
方針3による考察を続けます。の場合は、ほど詳しいことは分かっておりません。
の場合
以下の判別式が見付かりました。
のうちどの3つが等しい場合もになります。確認してみて下さい。は、2重根の判別式を4つ足し合わせた形をしています。ちなみに、の添え字にはの時のような意味は無く、単純に名前をつけただけです。
の場合と同じように一般化したいところですが、についてはやや複雑です。結論だけ述べます。
- を、について対称、について対称かつ、「と,とを同時に入れ替える置換」について不変な多項式とすると、
は3重根判別式である。 - を、について対称な多項式とすると、
は3重根判別式である。
すみません、サボりました(笑)。の時と同じように、ということで読み取って下さい。読む側にとってもこの方が読みやすいかなと……。(1)の条件を満たすは、例えばなどがあります。
(略)だとちょっとカッコ悪いので、ちゃんと記号を作ります。
と書いて、自然に定まる対称式を表すことにします。
の厳密な定義
にの置換を施して得られる多項式全体の集合をとしたとき、
と定義します。扱う文字は文脈で判断します。例えばを扱う文脈なら、
となります。また、
のように、1つの式で複数用いることも許すとします。
と書いてしまうとかか判別できないので、このような書き方はしません。なお、いずれにせよ、最も自然と思われるは得られません。他にも混乱が生じるケースがあるかもしれませんが、この記事内では問題の無い使い方をしているつもりです。
十分な組はまだ見つけられていません。の場合の類似で
の3つからなる組が十分な組になっているかと思いきや、これらはとしてもになるので、十分な組ではありません。より一般に、定理4の(2)の形の式はすべてのときになるので、(2)の形の式だけでは十分な組は作れない、と言えます。
また、はを除いて最も次数の低い3重根判別式であることが分かりました。
4次多項式の3重根判別式で、3次以下のものはしかない。
3次以下のの対称式は、を用いて
と表せる。をで置き換えると
となる。これが多項式としてになるには、の係数に着目するとが必要と分かる。次にの係数に着目するとが必要と分かる。同様に考えていくことにより、を得る。
まだなんとかなりましたが、を大きくしていったときに同様の問題を考えると、同じ方針では難しそうです。
また、次のような予想も持っています。
の任意の元は、定理2の(1)の形のものと(2)の形のものの和として表せる。
の場合
式が長くなってしまうので、さらに記号を導入します。
とおきます。disc は discriminant(判別式) の略です。変数が1つの場合、と約束します。
さて、以下の判別式が見付かりました。
はからの流れですぐに見つかりましたが、を見つけるのが大変でした。ののようなものがでも存在するのではないかと考えた結果、このが見つかりました。
が3重根判別式になっていることはおわかり頂けるでしょうか。のうち3つが等しいとして、
がになることを確かめれば十分です。そこで、を2つの組とに分けて考えます。のうち3つが等しいとすると、その3つのうち少なくとも2つは同じ組に属します(鳩の巣原理)。に2つ属する場合でも、に2つ属する場合でも、
となることが確かめられます。
定理2と同様に一般化することができますが、割愛します。十分な組については、ですらろくな結果が得られていないので、言わずもがなです。
のについては次数の最小性を示しましたが、でも成り立つと予想しています。
5次多項式の3重根判別式で、でないものの最小次数はである。
の発見は、一般のの場合を考える上での大きな足がかりとなりました。は、以下のようにも表せます。
こうすると、一般のの場合が見えてきます。
一般のの場合
をを満たす整数とする。このとき
は次多項式の3重根判別式である。
これまで同様、さらに一般化することもできますが、割愛します。十分な組については言わずもがな。
が奇数のとき、のうち次数が最小のものはで、その次数は
です。
が偶数のとき、のうち次数が最小のものはで、その次数は
です。
- が奇数の時、のでない元の最小次数はである。
- が偶数の時、のでない元の最小次数はである。
方針3による考察は、以上とします。
もうちょっと代数幾何
最後に、また代数幾何の言葉への言い換えを紹介します。
とおきます。は、で定まる次元の線形部分空間全体の和集合です。線形部分空間はアフィン代数的集合であり、アフィン代数的集合の有限個の和集合はアフィン代数的集合であることが知られているので、はアフィン代数的集合です。
3重根判別イデアルは
と表すことが出来ます。方針3で3重根判別式を沢山見つけましたが、それらはの元であるというわけです。
前々回の記事で述べた話とは、
なる対応によって繋がります。これで何か分かる方、いらっしゃいませんか?