3重根の判別式①　序論

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

　以下、複素数の範囲で考えます。特に断りが無ければ、多項式の係数などはすべて複素数とします。

$(x-a)^4$で割り切れる場合も3乗根の一種と見なすことにします。

　さて、以下の問題を考えます。

　「判別することは出来るか？」というのは曖昧ですが、あとで厳密に定式化します。

　通常の重根の場合はよく知られた結果がありますが、3重根の場合はそういうものがないようです(筆者調べ)。なので、自分なりに考えてみたところ、意外と奥が深そうだったので、皆さんと共有したいなと思い記事を書きました。もし何かご存じの方、もしくは何か思いついた方がいれば、お知らせいただけると幸いです。

　長くなってしまったので、記事を3つに分けることにしました。この記事では、よく知られた事実や簡単な場合の結果を確認し、それを元に考察の方針を立てます。また、扱う概念や記号を整備します。続く2つの記事では、ここで立てた方針を元に考察した結果を紹介します。 　

重根(2重根)の場合の復習

　以下のことはよく知られています。

　念のため、判別式の定義を書いておきます。$f(x)=a(x-a_1)\cdots(x-a_n)$としたとき、$f(x)$の判別式$D(f)$は
$$ D(f)=\prod_{i< j}(a_i-a_j)^2$$
と定義されます。 $\displaystyle \prod_{i< j}$というのは、$i< j$であるようなすべての$i,j$の組にわたって積を取るという意味です。これに何かしらの定数をかけて定義される場合もありますが、ここではこの定義を採用します。
　式を見れば、「$f(x)$が重根を持つ $\Longleftrightarrow D(f)=0$」が成り立つことは明らかですね。また、$D(f)$は$a_1,\ldots,a_n$についての対称式なので、$f(x)$の係数で表せます。したがって、$f(x)$が因数分解されていない状態でも、(理論上は)判別式を求めることが出来ます。
　(3)についても証明を書いておきます。

　一般に、2つの多項式$f(x),g(x)$が共通根を持つことは、$f(x)$と$g(x)$の"終結式"と呼ばれる値が$0$になることと同値です。終結式については、例えば こちら を参照して下さい。したがって、
$$ f(x)\text{ が重根を持つ } \Longleftrightarrow f(x)\text{ と } f'(x)\text{ の終結式が }0$$
とも言えます。

3次の場合

　では、3重根の話を始めましょう。簡単のため、以降はモニック(最高次係数が$1$)な多項式のみ扱います。
　$f(x)$が3次の場合、比較的容易に結論を得ることが出来ます。$f(x)=x^3+bx^2+cx+d$とおきます。$f(x)$が3重根$\alpha$を持つとき、根と係数の関係から
$$ 3\alpha = -b, \qquad 3\alpha^2 = c, \qquad \alpha^3 = -d$$
となります。第1式より$\displaystyle \alpha=-\frac b{3}$なので、第2式、第3式に代入して整理すれば
$$ b^2 - 3c=0,\ \qquad b^3 - 27d=0$$
が得られます。逆に、この2つの式が成り立つならば、$\displaystyle c=\frac {b^2}{3}, \ d=\frac{b^3}{27}$より
$$ f(x)=x^3+bx^2+cx+d = x^3 + bx^2 + \frac {b^2}{3} + \frac{b^3}{27} = \left(x+\frac b{3}\right)^3$$
となるので、$f(x)$は3重根を持ちます。以上から、

と結論づけられます。

　注目すべきは、式が2つ必要になったことです。これは2重根の場合との大きな違いであり、話を複雑化する要因になっています。(厳密に言えば、1つの式にまとめられないかどうかはきちんと議論する必要がありますが、ひとまず置いておきます。)
　$f(x)$が一般の次数の場合も、同様に2つ以上の式が必要になると予想されます。というわけで、我々の目標は、"いくつかの"多項式$D_1,\ldots,D_k$をうまく見つけて、
$$ f(x)=x^n + s_1x^{n-1}+\cdots+s_n \text{ が3重根を持つ }\Longleftrightarrow D_i(s_1,\ldots,s_n)=0 \ (i=1,\ldots, k)$$
が成り立つようにすること、となります。

　ここで、$\mathbb C[t_1,\ldots,t_n]$は$t_1,\ldots,t_n$についての$\mathbb C$係数多項式全体の集合です。
　問題2の解答は既に得られています。次の記事で紹介します。

方針

　問題2の条件を満たす$D_1,\ldots,D_k$を得るためにはどうすれば良いでしょうか。考えられる方針をいくつか挙げます。

方針1:　3次の場合と同様の方法

　3次の場合と同様に、$n$次多項式の場合も①根を文字で置き、②根と係数の関係を用いて式を立て、③根を消去する、という方針が考えられます。ただ、一般の$n$で考えた場合、筆者は特に手が着けられませんでした。何か分かる方がいらっしゃればお知らせ下さい。

方針2:　$f(x),f'(x),f''(x)$が共通根を持つことを利用

　2重根の場合と同様に、
$$ f(x)\text{ が3重根を持つ } \Longleftrightarrow f(x),f'(x),f''(x) \text{ が共通根を持つ }$$
が成り立つことが証明できます。3つの多項式が共通根を持つかどうかの判別方法を探したところ、1つ見つかりました。次の記事で、それを使った議論を紹介したいと思います。この方針により、問題2の解答を得ることが出来ます。

方針3:　通常の判別式の類似を探す

　通常の重根(2重根)についての判別式は、「$a_1,\ldots,a_n$のうち2つが等しければ$0$になるような、$a_1,\ldots,a_n$の対称式」を考えると自然に見つかります。となれば、3重根の判別式を探すには「$a_1,\ldots,a_n$のうち3つが等しければ$0$になるような、$a_1,\ldots,a_n$の対称式」を考えれば良いと考えられます。実際にそのような多項式をいくつか見つけましたので、次とその次の記事で紹介します。皆さんは見つけられますか？

　本格的な考察に入る前に、以下でもう少し議論の土台を固めます。

3次の場合の補足

　3次の場合については、補足すべき話があります。3重根を持つかどうかを判別する条件式は、実は定理2で挙げたものだけではありません。
　定理2で得られた式$b^2 - 3c=0, \ b^3 - 27d=0$を順に①、②とします。例えば①を$b$倍して②を引くと
$$ 27d-3bc=0$$
すなわち
$$ 9d-bc=0$$
が得られます。これを③とします。①と②から③が示されたわけですが、実は①と③から②を導くことも出来ます。実際、①の$b$倍から③の$3$倍を引くと②になります。したがって、

とも言えるわけです。
　一意性が無いことについては、もうそういうものだと割り切ってしまうのが良いと筆者は思います。何かしらの理由をつけて1つに決めることは出来るかもしれませんが、この記事ではそういった話題は扱いません。

　このように一意性が無い状況において、数学ではしばしば取られる手段があります。それは、考え得る対象を全て集めた集合を考えることです。

3重根判別イデアル

　この節で定義される記号や用語は、筆者独自のものです。
　集合$\mathcal D_3(n)$を、次のように定義します。

　$\mathcal D_3(n)$の元を$n$次多項式の3重根判別式と呼ぶことにします。上で見た通り、1つの判別式だけでは3重根を持つかどうかを判別することはできません。そこで、以下の表現を用います。

　問題2は、次のように言い換えることが出来ます。

　また、環論を知っている方向けに言えば、$\mathcal D_3(n)$は$\mathbb C[t_1,\ldots,t_n]$のイデアルになります。そこで、$\mathcal D_3(n)$を$n$次多項式の3重根判別イデアルと呼ぶことにします。
　集合$\mathcal D_3(n)$に着目することですぐに何かが分かる、というわけでは無いのですが、概念に記号や名前を与えるだけでもいろいろ考えやすくなるものです。また、以下の代数幾何の話に繋がります。 　

ちょっと代数幾何

　鋭い方であれば、問題2や問題3は代数幾何の問題と見なせる、ということにお気づきのことと思います。ただ、筆者の浅い知識では、代数幾何を応用して何かするということは今のところ出来ておりません。この節では、代数幾何の言葉への言い換えを紹介するに留めます。何か分かる方がいらっしゃいましたらお知らせください。

　どのようにして幾何の話に持っていくのかというと、多項式$x^n+s_1x^{n-1}+\cdots + s_n$を$\mathbb C^n$の点$(s_1,\ldots,s_n)$と同一視することによって行います。これにより、「3重根を持つ$n$次モニック多項式全体の集合」を$\mathbb C^n$の部分集合とみなすことが出来ます。
$$ X_3(n)=\{ (s_1,\ldots,s_n) \in \mathbb C^n \ | \ x^n + s_1x^{n-1} + \cdots + s_n \in \mathbb C[x] \text{ が3重根を持つ } \}$$
とおきます。この集合についてどのようなことが分かるかを考えるわけです。なお、$X_3(n)$という記号も筆者独自のものです。

　以下、代数幾何の用語や記号を用います。

　多項式$D\in \mathbb C[t_1,\ldots,t_n]$が3重根判別式であることは、$X_3(n) \subset V(D)$が成り立つこと、と言い換えられます。さらに、$\mathcal D_3(n)$の定義と$I(X)$の定義を見比べると、
$$ \mathcal D_3(n)=I(X_3(n))$$
であることが分かります。
　また、$n$次多項式の3重根判別式の組$\{ D_1,\ldots,D_k \}$が十分であるということは、
$$ V(D_1,\ldots,D_k)=X_3(n)$$
と同値です。したがって、問題3はさらに次のように言い換えられます。

　このように、代数幾何の概念が綺麗に当てはまります。言い換えたことによる恩恵は今のところ得られていないのですが、代数幾何の問題として考えるのが自然である、というのは間違いないと思います。

　 3重根の判別式②　考察・前編 　に続きます。