[論文レビュー] Covariants and the no-name lemma

M. Domokos|ArXiv.org|Mar 9, 2008

Advanced Algebra and Geometry参考文献 15被引用数 3

ひとこと要約

本稿は不変体論における有理的コバリアントとノーナーム補題の間の深い関係を確立し、$G$-多様体 $X$ から $G$-加群 $W$ への十分に多くの一般に独立な有理的コバリアントの存在がノーナーム補題を示すことへと導くことを示している。主な貢献は、コバリアントを用いたノーナーム補題の新しい構成的証明であり、線型再帰的群に対しては整コバリアントに基づく改良版が得られ、相対不変量によって定義されるアフィン開集合上で $G$--equivariant 同型が得られる。

ABSTRACT

A close connection between the no-name lemma (concerning algebraic groups acting on vector bundles) and the existence of sufficiently many independent rational covariants is pointed out. In particular, this leads to a new natural proof of the no-name lemma. For linearly reductive groups, the approach has a refined variant based on integral covariants. This fits into the usual context of invariant theory, and yields a version of the no-name lemma that has a constructive nature.

研究の動機と目的

• 代数的群作用におけるノーナーム補題と独立な有理的コバリアントの存在との関係を明確化すること。
• 任意の特徴値において有効である、コバリアントを用いたノーナーム補題の新しい構成的証明を提供すること。
• 相対不変量によって定義されるアフィン開部分集合上で、ノーナーム補題をより強い、$G$--equivariant な有理同型の文に拡張すること。
• 線型再帰的群に対して整コバリアントを用いたノーナーム補題の改良版を構築し、アルゴリズム的計算を可能にすること。
• 幾何的および群論的設定においてコバリアントが自然に生じることを示し、不変体論におけるその有用性を実証すること。

提案手法

• 適切な相対不変量 $f \in k[X]$ を用いて、$X_f \times W$ と $X_f \times k^d$ の間の $G$-equivariant 同型を、$G$-多様体 $X$ から $W$ への一般に独立な有理的コバリアント $F_1, \dots, F_d \in \mathrm{Cov}_G(X,W)$ を用いて構成する。
• 重み $\det(g_W)^{-1}$ を持つ相対不変量 $f = \det(F_{ij})$ を構成し、$X_f$ が $G$-安定で、一般に $F_j(x)$ が $W$ を生成することを保証する。
• 相対不変量の理論と $G$-加群の理論を応用して、このような $f$ の存在を保証し、$X_f$ 上での同型を定義する。
• $\mathrm{Cov}_G(X,W)$ の $k[X]^G$-加群構造を活用してコバリアントの独立性を分析し、それらの間の関係を構成する。
• $G$ が超平面を固定する元によって生成されることを仮定して、$k[V]^G$-独立性が $k[V]$-独立性を導くことを証明する。
• 線型再帰的群の場合に、コバリアント加群の生成元を計算するアルゴリズム的手法を用いて、ノーナーム補題の構成的バージョンを実現する。

実験結果

リサーチクエスチョン

• RQ1 代数的群作用の文脈において、有理的コバリアントとノーナーム補題とはどのように関係しているか？
• RQ2 $\dim(W)$ 個の一般に独立な有理的コバリアントが存在する条件は何か？ そのときノーナーム補題が成立するか？
• RQ3 ノーナーム補題は、相対不変量によって定義されるアフィン開部分集合上で、$G$--equivariant な有理同型に強化できるか？
• RQ4 線型再帰的群に対して、$X_f$ 上で $G$-equivariant 同型をもたらす整コバリアントが存在するための条件は何か？
• RQ5 どのような自然な幾何的または群論的設定において、必要なコバリアントが自動的に生じるか？

主な発見

• 一般の $x \in X$ に対して安定化群 $G_x$ が $W$ 上に自明に作用する限り、$X$ から $W$ への $\dim(W)$ 個の一般に独立な有理的コバリアントの存在からノーナーム補題が導かれる。
• $X_f$ という $G$-安定な開集合上で、コバリアント行列の行列式を用いて、$X \times W$ と $X \times k^{\dim(W)}$ の間の有理的 $G$-equivariant 同型が存在する。
• 線型再帰的群の場合、整コバリアントの存在により、相対不変量 $f$ によって定義されるアフィン開集合 $X_f$ 上で $G$-equivariant 同型が保証される。
• この構成により、この設定でコバリアント加群の生成元を計算するアルゴリズムが存在するため、ノーナーム補題の構成的バージョンが得られる。
• $G$ が超平面を固定する元によって生成される場合（例：複素数の擬似反射群）、コバリアントの $k[V]^G$-独立性は $k[V]$-独立性を意味する。
• 例として $GL(V)$, $SL(V)$, $O(V)$, ユニポテンツ上三角行列、および単項群が挙げられ、これらはすべて独立性結果を満たす条件を満たしている。