[論文レビュー] A computational approach to the discriminant of homogeneous polynomials

Laurent Busé, Jean-Pierre Jouanolou|arXiv (Cornell University)|Oct 17, 2012

Polynomial and algebraic computation参考文献 9被引用数 3

ひとこと要約

本稿は、結果式を用いて、一般の係数環上で不変な基底に関する判別式の計算的定義を提示する。これは基底変換に対して安定であり、係数環が整域で2 ≠ 0であるとき、判別式は単位を除き素多項式であり、さもなければ素多項式の平方であることが示され、代数幾学および数論への応用において形式的かつ明確な枠組みを提供する。

ABSTRACT

In this paper, the discriminant of homogeneous polynomials is studied in two particular cases: a single homogeneous polynomial and a collection of n-1 homogeneous polynomials in n variables. In these two cases, the discriminant is defined over a large class of coefficient rings by means of the resultant. Many formal properties and computational rules are provided and the geometric interpretation of the discriminant is investigated over a general coefficient ring, typically a domain.

研究の動機と目的

• 判別式理論における基礎的問題、すなわち特殊化に対しての不安定性や定数因子による曖昧性を解消すること。
• 体の仮定や定数因子に依存しない、一般の係数環（整域や任意の可換環を含む）上で判別式を明確に定義すること。
• 基底変換に対して安定で、計算的にも堅牢な判別式の形式的枠組みを提供すること。
• 判別式を結果式の理論に統合することで、既存の定義を一般化し、厳密な代数的性質を保証すること。
• 1つの斉次多項式およびn変数に於けるn-1個の多項式の状況における、判別式の幾何学的および代数的性質を確立すること。

提案手法

• 判別式は、基底変換に対して不変を保つためにジュアノルーの形式的枠組みを用いて、結果式の特定の例として定義される。
• c = n-1 の場合、結果式を用いて判別式の特徴的多様体の普遍方程式が構成され、完全な基底変換公式が導出される。
• c = 1 の場合、判別式はヘッセ行列式として定義され、結果式と関連づけられ、明確な代数的特徴付けが可能になる。
• 理想論的技法、特に転置ヤコビアンの理論およびTor函手を用いて、判別式理想の構造を分析する。
• 主な代数的道具にはクラメルの公式、正則列、商環におけるゼロでない因子の概念が含まれ、単射性および同型定理の証明に用いられる。
• graded ringの同型および商環 kC / TFₘ(𝒟) の性質を用いて、構成の妥当性を検証し、異なる設定間での一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般の係数環上で、体の仮定や定数因子に依存しない、斉次多項式の判別式を明確に定義する方法は何か？
• RQ2 整域上でのn変数に於けるn-1個の斉次多項式に対して、判別式理想の正確な代数的構造は何か？
• RQ3 判別式は基底変換に対してどのように振る舞い、その幾何的意味を保つ普遍的な公式を導出できるか？
• RQ4 係数環における判別式が素多項式または素多項式の平方であるための条件は何か？
• RQ5 判別式を計算的および形式的性質を保ちつつ、結果式と厳密に結びつける方法は何か？

主な発見

• 判別式は特定の結果式として定義され、任意の係数環上で基底変換に対して不変であり、特殊化に対しても安定であることが保証される。
• 整域 k 上では、k において 2 ≠ 0 であれば判別式は素多項式であり、さもなければ素多項式の平方である。
• n が奇数であるか、k において 2 がゼロでない因子であるとき、写像 ̄φ は同型写像であることが示され、不変式の環と商環との間の明確な同型が確立される。
• 多項式の非斉次化されたヘッセ行列式は特定の理想を割り、これにより a ∈ TFₘ(𝒟²) が導かれる。これは理想の属する性質を確認する。
• 上記の条件下で、商環 kC / TFₘ(𝒟) における判別式はゼロでない因子であることが示され、これは同型写像の単射性にとって不可欠である。
• n が奇数であるか、k において 2 がゼロでない因子であるとき、商環における ∂D / ∂ℰₙ がゼロでない因子であることが証明され、これは最終的な同型写像の結果にとって不可欠である。