[論文レビュー] Uniformly Presented Vector Spaces

John D. Wiltshire-Gordon|arXiv (Cornell University)|Jun 3, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 8

ひとこと要約

本稿では、有限集合の圏から有限次元有理数ベクトル空間への関手として一様に提示されたベクトル空間の形式的枠組みを導入し、その指標と次元のアルゴリズム的計算を可能にする。これらの関手が有限長を持ち、多項式的成長を示し、取り扱いやすい関手による有限左側分解を許容することを示すことにより、著者らは、dim V = n および χV(σ) = #fixed points(σ) といった閉形式の指標公式を、V = ⟨xi⊗xj⟩ / ⟨xi⊗xi + xj⊗xj + xk⊗xk − 3(xi⊗xj − xi⊗xk + xj⊗xk)⟩ といった一様な提示から体系的に導出する手法を提供する。

ABSTRACT

Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only once the number of generators is fixed. We develop a theory of "uniformly presented vector spaces" to compute with these uniform families, introducing a formalism of finitely generated functors from the category of finite sets to the category of finite dimensional Q-vector spaces. We show that these representations have finite length and polynomial dimension away from the empty set, and produce finite leftward resolutions by manageable functors.

研究の動機と目的

• 変数の生成子の数に応じて一様に提示されるベクトル空間の指標と次元を計算する一般的なアルゴリズム的枠組みの構築。
• 『一様に提示されたベクトル空間』の概念を、有限集合の圏から有限次元Q-ベクトル空間への関手として形式化すること。
• このような関手が有限長を持ち、次元の多項式的成長を示し、より単純な関手による有限でアルゴリズム的に計算可能な左側分解を許容することの証明。
• 特徴的な指標公式（例：χV(σ) = #fixed points(σ)）を、恣意的な計算を避け、一様な代数的提示から回復すること。

提案手法

• 一様に提示されたベクトル空間を、F（有限集合と写像の圏）からVへの関手V: F → Vとして表現する。
• 有限提示によるこれらの関手の特徴付け：生成子の数が未指定の一般関係を用いた自由関手の商。
• F-表現の圏を用いて、irreducible monomial representations（不可約単項表現）のゼロ次ホモロジーを、行簡約と群作用の分解を用いて定義・計算する。
• シュール射影関手とD-加群を用いて、左側の分解を構成し、射影性と完全性を用いて複体を構築する。
• 精練された形でのDold-Kan対応を適用し、ホモロジーを計算し、分解を導出することで、アルゴリズム的計算可能性を保証する。
• 対称群の作用を活用してホモロジーを同型成分に分解し、指標公式を抽出する。

実験結果

リサーチクエスチョン

• RQ1 n 個の生成子で定義された一様な代数的提示により、次元がnの関数として閉形式で得られるか？
• RQ2 このようなベクトル空間における対称群作用の指標が、提示からアルゴリズム的に計算可能か？
• RQ3 一様に提示されたベクトル空間は、有限長と有限分解を持つアーベル圏をなすか？
• RQ4 σの各べきの固定点数を変数とする多項式として、指標χV(σ)を体系的に計算できるか？
• RQ5 関係式と対称性構造のみを用いて、このような関手の分解をアルゴリズム的に計算できるか？

主な発見

• 式 (1) に示される一様提示によって定義されるベクトル空間Vの次元は、すべてのn ≥ 1に対して正確に dim V = n である。
• Vにおける対称群作用の指標χV(σ) は、χV(σ) = σの固定点数として与えられ、提示からアルゴリズム的に導出された結果である。
• F-表現Vは関手として有限長を持ち、n ≥ 1 に対してその階数次元はnの多項式である。
• 任意の一様に提示されたベクトル空間に対して、有限でアルゴリズム的に計算可能な左側分解が存在し、例として 0 → D₄ ⊕ D₃ ⊕ P → P ⊕ P ⊕ P → P ⊕ P → V → 0 に分解される。
• 提示におけるイデアルIのゼロ次ホモロジーは、H₀I[2] ≃ ⟨11−22, 12+21−2·22⟩ および H₀I[3] ≃ ⟨1/6(12−13−21+23+31−32)⟩ として計算され、反対称構造が確認された。
• シュール射影による分解は、 Koszul型複体と関係式行列の列簡約を用いて、次元公式 dim V[n] = n を確認した。