[論文レビュー] Reynolds operator

Amelia Álvarez, Carlos Sancho+1 more|arXiv (Cornell University)|Nov 10, 2006

Algebraic structures and combinatorial models参考文献 3被引用数 2

ひとこと要約

この論文は、代数的R-モノイドス킴Gに対して、G-加群の双対函手の圏とA*-加群の圏の間の同値性を確立し、Gが不変完全であるための必要十分条件としてA*がR × B*に分解すること、かつRが単位元であることを示している。さらに、w_G = (1,0)を用いてM上のレインボルド作用素を定義し、M^G = w_G · MおよびM = w_G · M ⊕ (1−w_G) · Mが成り立つことを示している。

ABSTRACT

Let $G= { m Spec} A$ be an affine $R$-monoid scheme. We prove that the category of dual functors (over the category of commutative $R$-algebras) of $G$-modules is equivalent to the category of dual functors of ${\mathcal A}^*$-modules. We prove that $G$ is invariant exact if and only if $A^*= R imes B^*$ as $R$-algebras and the first projection $A^* o R$ is the unit of $A$. If $\mathbb M$ is a dual functor of $G$-modules and $w_G := (1,0) \in R imes B^* = A^*$, we prove that $\mathbb M^G = w_G \cdot \mathbb M$ and $\mathbb F = w_G \cdot \mathbb M \oplus (1-w_G) \cdot \mathbb M$; hence, the Reynolds operator can defined on $\mathcal M$.

研究の動機と目的

• アフィンR-モノイドス킴Gに対して、G-加群の双対函手の圏とA*-加群の函手の圏との間の圏同値を確立すること。
• Gが不変完全である条件をA*の代数的構造の観点から特徴づけること。
• A*内の要素w_G = (1,0)を用いて、G-加群の双対函手上にレインボルド作用素を定義し、その性質を分析すること。

提案手法

• 可換R代数の圏上で双対函手の枠組みを用い、G-加群とA*-加群を関連付ける。
• A* ≅ R × B*であり、RがA*の単位元であるという条件を用いて、Gの不変完全性を特徴づける。
• A* = R × B*におけるw_G = (1,0) ∈ A*を、レインボルド作用素を構成するための重要な冪等元として定義する。
• M = w_G · M ⊕ (1−w_G) · Mという分解を導出し、レインボルド作用素をw_G · Mへの射影として定義する。
• R代数および加群函手の構造を用いて、同値性と不変性条件を証明する。
• A*への単位写像R → A*を用いて、A*の分解における整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 アフィンR-モノイドス킴Gが不変完全であるための条件は何か？ これはA*の構造とどのように関係するか？
• RQ2 G-加群の双対函手の圏は、A*-加群の観点からどのように同値に記述できるか？
• RQ3 A* = R × B*における要素w_G = (1,0)の代数的および圏論的役割は何か？
• RQ4 G-加群の双対函手上にレインボルド作用素はどのように定義され、どのような性質を満たすか？
• RQ5 レインボルド作用素の構成の背後にある、加群Mの分解は何か？

主な発見

• G-加群の双対函手の圏は、A*-加群の双対函手の圏と同値である。
• Gが不変完全であるための必要十分条件は、A* ≅ R × B*（R代数として）であり、射影A* → RがA*の単位元であることである。
• 要素w_G = (1,0) ∈ A*は射影子として作用し、w_G² = w_Gおよび(1−w_G)² = (1−w_G)を満たす。
• 双対函手MのG不変部分はM^G = w_G · Mとして与えられる。
• 加群MはM = w_G · M ⊕ (1−w_G) · Mに分解され、これによりレインボルド作用素がw_G · Mへの射影として定義可能である。
• w_Gの作用によりM上でレインボルド作用素が適切に定義され、G不変部分加群への標準的射影を提供する。