[論文レビュー] Localization and sheaves of glider representations

Frederik Caenepeel, F. Van Oystaeyen|arXiv (Cornell University)|Feb 17, 2016

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

ひとこと要約

本稿は、非可換かつほぼ可換な環上のフィルター付き加群の局所化を用いて、グライダー表現のスキーム理論を開発する。非可換グロテンディーク位相を導入し、フィルター構造に適合した局所化技術を適応することで、$(\kappa, \kappa_S)$-直交性のもとで、局所化された加群上の商フィルターがグライダー断片構造を保つことが示され、非可換幾何学における層論的枠組みが可能になる。

ABSTRACT

The notion of a glider representation of a chain of normal subgroups of a group is defined by a new structure, i.e. a fragment for a suitable filtration on the group ring. This is a special case of general glider representations defined for a positively filtered ring $R$ with filtration $FR$ and subring $S = F_0R$. Nice examples appear for chains of groups, chains of Lie algebras, rings of differential operators on some variety or $V$-gliders for $W$ for algebraic varieties $V$ and $W$. This paper aims to develop a scheme theory for glider representations via the localizations of filtered modules. With an eye to noncommutative geometry we allow schemes over noncommutative rings with particular attention to so-called almost commutative rings. We consider particular cases of $\mathrm{Proj}~ R$ (e.g. for some P.I. ring $R$) in terms of prime ideals, $R$-tors in terms of torsion theories and $\underline{\mathcal{W}}(R)$ in terms of a noncommutative Grothendieck topology based on words of Ore set localizations.

研究の動機と目的

• フィルター付き環および非可換基底上で、モジュールを一般化するグライダー表現へのスキーム理論の拡張を図ること。
• 標準的なモジュールでないグライダー表現の構造層の定義という課題に取り組むこと。
• モジュールからフィルター付き加群およびグライダー表現への局所化技術の一般化を図ること。
• 局所化がフィルター付き断片構造を保つための条件を確立すること、特に$(\kappa, \kappa_S)$-直交性によるものである。
• 群環の鎖、リー代数、多様体の座標環などの例にこの枠組みを適用すること、特にほぼ可換環の文脈において。

提案手法

• 環 $R$-mod 上の対称的核ファンクター $\kappa$ を用いて、フィルター付き加群 $M$ に対するフィルター付き商構成 $Q_\kappa(M)$ を導入する。
• グライダー構造を保つために、$Q_\kappa(\Omega)$ 上の商フィルター $FQ_\kappa(\Omega)$ を定義し、$F_0Q_\kappa(M) = Q_\kappa(M)$ とする。
• $(\kappa, \kappa_S)$-直交性を課す：すべての $d$ に対して $\Omega/F_d\Omega$ が $\kappa_S$- torsion-free であることで、局所化写像の厳密性が保証される。
• リース環 $\widetilde{R} = \sum F_nR X^n$ と関連付ける順次環 $G(R) = \bigoplus F_nR/F_{n-1}R$ を用いて、射影的スキームと関係づける。
• オア集合の語に基づく非可換グロテンディーク位相を用いて $\underline{\mathcal{W}}(R)$ を定義し、$\rm Proj~{}R$ を非可換設定に一般化する。
• $(\kappa, \kappa_S)$-直交性のもとで、局所化写像 $j: \Omega \to Q_\kappa(\Omega)$ が厳密なフィルター写像であることが証明され、断片構造が商においても保たれる。

実験結果

リサーチクエスチョン

• RQ1 グライダー表現は標準的な $R$-加群ではないが、どのようにしてそれらに対するスキーム理論を構築できるか？
• RQ2 フィルター付き加群の局所化が、グライダー表現のフィルター付き断片構造を保つための条件は何か？
• RQ3 非可換グロテンディーク位相を用いて $\underline{\mathcal{W}}(R)$ を定義し、フィルター付き設定における $\rm Proj~{}R$ をどのように一般化できるか？
• RQ4 $(\kappa, \kappa_S)$-直交性は、局所化された加群が元のグライダーフィルター構造をどのように引き継ぐかに果たす役割は何か？
• RQ5 座標環の鎖やほぼ可換環などの場合、$Q_\kappa(R)$ 上の商フィルターが $R$ における元の有限フィルターをどのように誘導するか？

主な発見

• 商加群 $Q_\kappa(M)$ は $Q_\kappa(\Omega)$ からwell-definedなフィルター構造を引き継ぎ、$F_0Q_\kappa(M) = Q_\kappa(M)$ であり、グライダー断片鎖が保たれる。
• $(\kappa, \kappa_S)$-直交性のもとで、局所化写像 $j: \Omega \to Q_\kappa(\Omega)$ は厳密なフィルター写像であるため、$F_dQ_\kappa(\Omega) \cap \overline{\Omega} = F_d\overline{\Omega}$ が成り立ち、構造の保存が保証される。
• 座標環の塔 $K[W] \subset \cdots \subset K[V]$ に対して、$K(V_i) \cap K[V] = K[V_i]$ が成り立つならば、$K[V]$ は $(\kappa, \kappa_W)$-直交的であるため、商フィルターは元の有限フィルターを誘導する。
• この構成により、$Q_\kappa(M)$ は $Q_\kappa(R)$ 上の有限長グライダー表現となり、有限長の離散的フィルターを持つ。
• 結果として、古典的なスキーム論的構成（例：$\rm Proj~{}R$）が、非可換かつフィルター付き設定へと非可換グロテンディーク位相を用いて一般化される。
• 本稿は、$Q_\kappa(R)$ および $Q_\kappa(M)$ が離散的フィルター的であることを確立し、$F_{-n-1}Q_\kappa(R) = 0$ が成り立つため、局所化されたグライダーの構造が単純化される。