[論文レビュー] Secant dimensions of low-dimensional homogeneous varieties

Karin Baur, Jan Draisma|arXiv (Cornell University)|Jul 11, 2007

Tensor decomposition and applications参考文献 7被引用数 4

ひとこと要約

本稿は、すべての同調的埋め込みにおける次元が3以下の連結な同次的射影的多様体の高次接続次元を、トロピカル的多面体的手法を用いて完全に特定する。P²×P¹およびP²における点-直線対の多様体Fについて、新たな結果を得るとともに、P¹×P¹およびP¹×P¹×P¹の既知の事例についてより簡潔な証明を提供し、期待される次元が達成されない場合に、特定の欠陥を持つ接続多様体（codimension 1以上）を同定する。

ABSTRACT

We completely describe the higher secant dimensions of all connected homogeneous projective varieties of dimension at most 3, in all possible equivariant embeddings. In particular, we calculate these dimensions for all Segre-Veronese embeddings of P^1 * P^1, P^1 * P^1 * P^1, and P^2 * P^1, as well as for the variety F of incident point-line pairs in P^2. For P^2 * P^1 and F the results are new, while the proofs for the other two varieties are more compact than existing proofs. Our main tool is the second author's tropical approach to secant dimensions.

研究の動機と目的

• 次元≤3の連結な同次的射影的多様体について、すべての等変埋め込みにおける高次接続次元を分類すること。
• P²×P¹のSegre-Veronese埋め込みおよびP²における点-直線対の多様体Fについて、未解決の事例を解消すること。
• P¹×P¹およびP¹×P¹×P¹について、既知の結果をより簡潔かつ明確な証明で提示すること。
• 接続次元にトロピカル的手法を統一的かつ計算的に有効な方法として適用すること。

提案手法

• 著者らは、第二著者により開発された、G-加群Vにおける基底をパラメトライズするR^dim X内の有限集合Bに基づく、接続次元の多面体的・組合せ的下界を用いる。
• 各fᵢが他のすべてのfⱼ（j≠i）より厳密に小さい点の集合における、アフィン次元に1を加えた各項の、k個のアフィン線形関数f = (f₁,…,fₖ)の組み合わせの和を最大化する。
• この最適化により、dim kι(X)の下界が得られ、非欠陥の場合には期待される次元と一致する。
• 下界が不足する場合には、幾何的構成と帰納的で図式に基づく議論を用いて欠陥性を検証する。
• 高次元の場合には、頂点数が整除可能なブロックを積み重ねることで、非欠陥の図式を再帰的に構築する。
• 特にP¹×P¹埋め込みにおける偶数mおよびnについて、周期性と対称性を活用して、問題を有限個のケースに還元する。

実験結果

リサーチクエスチョン

• RQ1 P¹×P¹のSegre-Veronese埋め込みにおいて、k番目の接続多様体が欠陥的であるのはどのような場合か。その欠陥のcodimensionは？
• RQ2 P²×P¹およびFのSegre-Veronese埋め込みの接続次元は何か。期待される次元からどれほど逸脱するか？
• RQ3 トロピカル的多面体手法は、P¹×P¹およびP¹×P¹×P¹のような既知の事例について、従来の手法よりもより簡潔で明確な証明を可能にするか？
• RQ4 再帰的ブロック積み重ねを用いて、高次の埋め込みにおける非欠陥的配置を体系的に構築できるか？
• RQ5 最大トーラスがGにおいて稠密な軌道を持たない場合、例えばFの場合に、それらの役割は何か？

主な発見

• P¹×P¹の次数(d,e)（d≥e≥1）のSegre-Veronese埋め込みは、e=2かつdが偶数である場合に限り欠陥的であり、このとき(d+1)-番目の接続多様体のcodimensionは1である。
• P¹×P¹×P¹の次数(d,e,f)（d≥e≥f≥1）の埋め込みは2通りの欠陥的状況がある：(1) e=f=1かつdが偶数のとき、(d+1)-番目の接続多様体のcodimensionは1、(2) d=e=f=2のとき、7番目の接続多様体のcodimensionは1。
• P²×P¹の次数(d,e)の埋め込みは、d=2かつe=2k（kは偶数）のとき欠陥的であり、(3k+1)-番目の接続多様体のcodimensionは3、(3k+2)-番目の接続多様体のcodimensionは1。また、d=3かつe=1のときも欠陥的であり、5番目の接続多様体のcodimensionは1。
• P²における点-直線対の多様体Fは、d=e=1（2番目の接続多様体のcodimensionは1）またはd=e=2（7番目の接続多様体のcodimensionは1）のとき欠陥的であり、それ以外の場合は非欠陥的。
• トロピカル的手法は、特にP¹×P¹およびP¹×P¹×P¹において、統一的かつ簡潔な証明戦略を提供する。また、再帰的積み重ねによる非欠陥的配置の体系的構築を可能にする。
• 本稿は、最大トーラスが稠密な軌道を持たない最初の既知の事例（Fの場合）を解消し、この手法が標準的でない設定にも適用可能であることを示している。