[論文レビュー] Subspace arrangements, configurations of linear spaces and the quadrics containing them

Enrico Carlini, Maria Virginia Catalisano+1 more|ArXiv.org|Sep 21, 2009

graph theory and CDMA systems参考文献 4被引用数 4

ひとこと要約

本稿は、射影空間内の一般な線型部分空間の配置に対して、その配置を含む二次形式の空間を分析することにより、2次のヒルベルト関数を決定する。ファイバーに基づく議論と次元および交差条件に基づくケース別分析を用いて、理想の2次成分の次元に対する完全な公式を提示し、部分空間配置の研究における重要なケースを解決する。

ABSTRACT

A subspace arrangement in a vector space is a finite collection of vector subspaces. Similarly, a configuration of linear spaces in a projective space is a finite collection of linear subspaces. In this paper we study the degree 2 part of the ideal of such objects. More precisely, for a generic configuration of linear spaces L we determine HF(L,2), i.e. the Hilbert function of L in degree 2.

研究の動機と目的

• 射影空間内の一般な線型部分空間の配置に対して、2次のヒルベルト関数を決定すること。
• このような配置に消える二次形式の空間の次元を特徴付けること。
• 成分が交差する可能性がある一般な配置のケースを解明し、交差しないまたは次元が低い場合の既知の結果を拡張すること。
• 一般な配置の定義イデアルの2次部分の完全な代数的記述を提供すること。
• 結果をアポラリティ理論を介して多項式分解問題に応用すること。

提案手法

• 著者たちは、問題を数値的不等式の連鎖に帰着させるファイバー論法を用い、ケースバイケースの分析を可能にする。
• 2つの最大成分の次元の和に基づいて、配置を「小さな」（交差する成分を含まない）と「大きな」（成分が強制的に交差する）に分類する。
• 「小さな」配置では、二次形式の空間の次元が期待値に達することを示し、これは全二次形式空間の次元から各成分に消える二次形式の次元の和を引いたものに等しい。
• 「大きな」配置では、閾値パラメータ τ と補正項 v を定義し、交差により予想される独立な二次形式の損失を補正する。
• τ と v を用いた、dim(I_Λ)₂ の区分的公式を導出する。この公式は、v が m₁ および n に対して相対的にどの程度大きいかに応じて異なるケースに分けられる。
• この手法は、線型空間のイデアル、アポラリティ双対性、ヒルベルト関数および多項式の使用を含む代数幾何学的道具に依存する。

実験結果

リサーチクエスチョン

• RQ1 射影空間内の一般な線型部分空間の配置に消える二次形式の空間の次元は何か？
• RQ2 配置内の成分の交差が、その配置を含む独立な二次形式の数にどのように影響するか？
• RQ3 一般な線型空間の配置に対して、二次形式の空間が完全に消えるのはどのような条件下か？
• RQ4 非交差する配置と交差する配置の両方を考慮に入れられる、2次のヒルベルト関数に対する一様な公式を導出可能か？
• RQ5 2次の理想の構造は、同次多項式を少ない変数の形の和に分解する問題とどのように関係するか？

主な発見

• m₁ + m₂ < n である一般な配置では、二次形式の空間の次元は正確に期待値に達する：max{ (n+2 choose 2) - sum over i of (m_i + 2 choose 2), 0 }。
• m₁ + m₂ ≥ n である場合、二次形式の空間の次元は閾値 τ と補正項 v に依存し、最大成分に交差する成分の数を補正する。
• v ≥ m₁ + 1 ならば、dim(I_Λ)₂ = 0 であり、これは非自明な二次形式が配置全体に消えないことを意味する。
• τ = 3 かつ s ≥ 4 で 2n ≥ ∑_{i=1}⁴ m_i + 2 のとき、または τ = s = 3 のとき、次元はペアごとの二項係数の和を含む補正公式で与えられる。
• 2m₁ - n + 2 ≤ v ≤ m₁ である中間的な v 値では、τ ≥ 4 または τ = 3 かつ s ≥ 4 かつ 2n ≤ ∑_{i=1}⁴ m_i + 2 である条件の下で次元は 0 になる。
• 残りのケース、すなわち v ≤ 2m₁ - n + 1 の場合、次元は期待値から、i = 2 から τ までの (m₁ + m_i - n + 2 choose 2) の和を引いたものに等しい。