[論文レビュー] On the determinantal representations of singular plane curves

Dmitry Kerner, Victor Vinnikov|arXiv (Cornell University)|Jun 16, 2009

Algebraic Geometry and Number Theory参考文献 14被引用数 1

ひとこと要約

本稿では、線形形式を成分とする行列を用いて、特異的・可約的・非単純な平面曲線の行列式表現を確立し、グローバルに可約な超曲面の分解可能性に関する基準を提示するとともに、核層を用いた表現の分類を実施する。さらに、対称的／自己随伴的表現への拡張を図り、双曲的多項式および一般化されたLax予想に対する新たな知見を提供する。

ABSTRACT

A (global) determinantal representation of hypersurface in P^n is a matrix, whose entries are linear forms in homogeneous coordinates and whose determinant defines the hypersurface. We study the properties of such representations for singular (possibly reducible or non-reduced) hypersurfaces. In particular, we obtain the decomposability criteria for determinantal representations of globally reducible hypersurfaces. Further, we classify the determinantal representations in terms of the corresponding kernel sheaves on $X$. Finally, we extend the results to the case of symmetric/self-adjoint representations, with implications to hyperbolic polynomials and generalized Lax conjecture.

研究の動機と目的

• 射影空間内の特異的・可約的・非単純な超曲面に対するグローバル行列式表現の枠組みを構築すること。
• グローバルに可約な超曲面の行列式表現の分解可能性に関する必要十分条件を確立すること。
• 基礎となる多様体上の関連する核層の観点から、行列式表現を分類すること。
• 対称的および自己随伴的表現への理論の拡張を図り、双曲的多項式および一般化されたLax予想への影響を明らかにすること。

提案手法

• 同次座標における線形形式を成分とする行列表現を構成し、その行列式が与えられた超曲面を定義するようにすること。
• 各行列式表現に関連する核層の構造を解析することで、異なる表現を分類・区別すること。
• 特に層論的技法を用いた代数幾何学的手法を用い、超曲面の幾何学的性質と行列表現の性質を関連させること。
• 双対性およびコホホロジー的道具を用いて、グローバルに可約な超曲面の分解可能性基準を導出すること。
• 対称的および自己随伴行列への枠組みの拡張を図り、表現を双曲的多項式および実代数幾何学に関連付けること。
• 行列式イデアルおよびシンジーキーの理論を用いて、このような表現の存在および一意性を特徴付けること。

実験結果

リサーチクエスチョン

• RQ1 グローバルに可約な超曲面が、分解可能な行列式表現をもつのはいつか？
• RQ2 特異的または非単純な平面曲線の行列式表現は、その核層を用いてどのように分類できるか？
• RQ3 与えられた超曲面に対して、対称的または自己随伴の行列式表現が存在するための条件は何か？
• RQ4 これらの表現は双曲的多項式および一般化されたLax予想とどのように関係するか？
• RQ5 同じ超曲面の非同値な行列式表現を区別する際に、核層は果たす役割は何か？

主な発見

• 本稿では、グローバルに可約な超曲面の行列式表現の完全な分解可能性基準を提供し、このような表現がその既約成分に対応するブロックに分解可能である条件を特徴づけている。
• 行列式表現は、関連する核層によって完全に分類され、表現の同値類とこれらの層の同型類との間の一対一対応が確立されている。
• 行列式表現の核層は、階数1の局所自由層であることが示され、その同型類が表現の同値類までを決定することが分かっている。
• 対称的または自己随伴の表現に関しては、その存在に必要な十分条件を同定し、それらを双曲的多項式に関連づけている。
• 結果として、特定の双曲的多項式が構築された枠組みを用いて対称的行列式表現をもつことが示され、一般化されたLax予想を支持する。
• この枠組みは特異的・可約的・非単純な曲線に一様に適用可能であり、通常は正則性や既約性を仮定する古典的結果を拡張している。