[論文レビュー] The invariant factors of the incidence matrices of points and subspaces in PG(n,q) and AG(n,q)

David B. Chandler, Peter Sin+1 more|arXiv (Cornell University)|Dec 30, 2003

Coding theory and cryptography参考文献 9被引用数 7

ひとこと要約

本稿は、すべての n, r, 素数べき q に対して射影幾何 PG(n,q) およびアフィン幾何 AG(n,q) における点と r 次元部分空間間のインシデント行列のスミス標準形（SNF）を決定する。p-進表現論と不変式論の技術を用いて、p-進不変因子の明示的公式を導出し、長年の予想を裏付け、r=2 や q=p の特殊ケースにおける p-ランクおよび SNF に関する先行結果を一般化する。

ABSTRACT

We determine the Smith normal forms of the incidence matrices of points and projective (r-1)-dimensional subspaces of PG(n,q) and of the incidence matrices of points and r-dimensional affine subspaces of AG(n,q) for all n, r, and arbitrary prime power q.

研究の動機と目的

• すべての n, r, 素数べき q に対して、PG(n,q) および AG(n,q) における点と r 次元部分空間間のインシデント行列のスミス標準形（SNF）を決定すること。
• PG(n,q) における点と r-部分空間間のインシデント行列の p-進不変因子に関する予想を解消すること。これは、これまで小さい q や r でのみ確認されていた。
• 特殊ケース（例：r=2, q=p, または超平面）における既知の p-ランクおよび SNF の結果を、任意の r および q に対する一般ケースに拡張すること。
• p-進表現論と不変式論を用いて、有限幾何におけるインシデント行列の SNF を計算する統一的枠組みを提供すること。
• インシデント行列の SNF と組合せデザインの間の関係を確立し、古典的パラメータを持つ 2-デザインのより細かい分類を可能にすること。

提案手法

• インシデント行列 A を (0,1)-行列として定義し、行は r-部分空間でインデックス付けされ、列は点でインデックス付けされ、A_{Y,Z} = 1 であるのは Z ⊂ Y のときのみである。
• 線形写像 η_{1,r} を ℤ^{ℒ₁} から ℤ^{ℒ_r} へ定義し、η_{1,r}(Z) = ∑_{Y∈ℒ_r, Z⊂Y} Y である。その行列表現が A である。
• 極大イデアル 𝔪 を持つ p-進局所環 R を用い、写像 η_{1,r+1} の SNF 基底を用いて、修正された基底 ℳ*ₜ を構成する。
• インシデント行列 A を、固定された超平面 H₀ に含まれない点に対応するブロック A₁、H₀ に含まれる点に対応するブロック A₂、および H₀ ≅ PG(n-1,q) 内のインシデントに対応するブロック A₃ に分割する。
• R 上でユニモジュラーな行列 P* および Q* を用いたブロック行列因数分解 P*D = A*Q* を行い、SNF D を A₁ および A₃ に対応する D₁ および D₂ に分解する。
• 帰納法と補題 7.3 を用いて、A₁ の SNF が、PG(n,q) と PG(n-1,q) の r+1 次元部分空間に対する SNF における p^α の重複度の差に依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の n, r, 素数べき q に対して、PG(n,q) における点と r 次元部分空間間のインシデント行列の不変因子は何か？
• RQ2 PG(n,q) および AG(n,q) の部分空間の幾何学的性質と、インシデント行列の p-進不変因子との関係は何か？
• RQ3 PG(n,q) における点と r-部分空間間のインシデント行列の不変因子に関する予想された公式が、一般の q に対して厳密に確認可能か？
• RQ4 アフィンケース AG(n,q) におけるインシデント行列の SNF の構造は何か？ そして、射影ケースとどのように関係するか？
• RQ5 インシデント行列の SNF と p-ランクは、古典的パラメータを持つ非同型の 2-デザインをどのように区別するか？

主な発見

• PG(n,q) における点と r 次元部分空間間のインシデント行列のスミス標準形（SNF）は、すべての n, r, 素数べき q に対して完全に決定されている。
• インシデント行列の p-進不変因子は、0 ≤ α ≤ rt の形の p^α であり、重複度は m(α,n,r+1) − m(α,n−1,r+1) である。ここで m(α,n,i) は、PG(n,q) における i−1 次元部分空間に対する SNF における p^α の重複度を表す。
• この結果により、Liebler と Sin が提起した一般ケース（任意の r および q）における不変因子に関する予想が裏付けられ、r=2 または q=p の場合の先行結果が拡張された。
• AG(n,q) におけるインシデント行列の SNF は、PG(n,q) の結果を応用して導出され、同じ構造的分解が用いられている。
• p-進表現論と不変式論を用いた、SNF を体系的に計算する手法が提供され、明示的なブロック因数分解と T(x₀^{q−1}⋯xₙ^{q−1}) を用いた基底の修正が行われた。
• SNF における p^α の重複度の公式は、PG(n,q) と PG(n−1,q) の間の重複度の差を用いて表現されており、再帰的計算が可能である。