[論文レビュー] On crossed product rings with twisted involutions, their module categories and L-theory

Arthur Bartels, Wolfgang Lueck|ArXiv.org|Oct 11, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本稿は、自己対合を伴う加法的 G-圏を用いて、L-理論的 Farrell-Jones 猜想の一般化された枠組みを確立し、捩れた自己対合を伴う交叉積環に対する猜想が、ファイバリングされたバージョンを含むことを示している。主な貢献は、標準的猜想がファイバリングされたバージョンを含むことを証明することであり、等長的 K-理論および L-理論におけるホモトピー論的メソッドを用いて、広範な L-理論的同型の統一的取り扱いを可能にしている。

ABSTRACT

We study the Farrell-Jones Conjecture with coefficients in an additive G-category with involution. This is a variant of the L-theoretic Farrell-Jones Conjecture which originally deals with group rings with the standard involution. We show that this formulation of the conjecture can be applied to crossed product rings R*G equipped with twisted involutions and automatically implies the a priori more general fibered version.

研究の動機と目的

• 群 G と自己対合を伴う加法的 G-圏を係数にとる L-理論的 Farrell-Jones 猜想を、交叉積環 R∗G に拡張すること。
• 加法的 G-圏と自己対合の観点から、群環とねじれた構造の統一的取り扱いを可能にする形式化を行うこと。
• 非ファイバリング版の猜想がファイバリング版を含むことを証明し、広範な L-理論的同型を統一すること。
• G-ホモロジーおよびスペクトル値関手を用いたホモトピー論的枠組みを提供し、交叉積環の L-理論を分析すること。

提案手法

• 自己対合を伴う加法的 G-圏を係数にとる L-理論的 Farrell-Jones 猜想を形式化し、古典的群環設定の一般化を行う。
• データ (c, τ, w) を用いて、捩れた自己対合を伴う交叉積環 R∗c,τ,wG を定義し、捩れた群環の一般化を行う。
• 軌道族 Or(G) 上に G--equivariant なスペクトル値関手 L⟨−∞⟩R,c,τ,w を構成し、そのホモトピー群が交叉積の L-理論を計算する。
• 加法的 G-圏と自己対合の L-理論を、ランイキの環に対する L-理論の一般化として、ホモトピーコロイミット ∫G𝒜 を用いて定義する。
• G-集合上の等長的ホモロジーから交叉積の L-理論へのアセンブリーマップが、猜定のもとで同型であることを証明する。
• Sℤ/2 を用いた自己対合の厳密化による還元を適用し、厳密な自己対合を伴う圏に還元し、等長的構造とホモトピー型を保存する。

実験結果

リサーチクエスチョン

• RQ1 群 G と自己対合を伴う加法的 G-圏を係数にとる L-理論的 Farrell-Jones 猜想は、任意の群準同型 φ:K→G に対して、ファイバリングされたバージョンを含むか？
• RQ2 群環に対する標準的 L-理論的 Farrell-Jones 猜想は、捩れた自己対合を伴う交叉積環 R∗G に拡張可能か？
• RQ3 交叉積環 R∗c,τ,wG に定義された捩れた自己対合は、L-理論のアセンブリーマップおよびその全単射性にどのように影響を与えるか？
• RQ4 係数が自己対合を伴う加法的 G-圏であるとき、ファイバリングされたバージョンの猜定は非ファイバリング版と同値か？
• RQ5 ホモトピーコロイミット ∫G𝒜 および G-ホモロジー理論 HnG(−;L⟨−∞⟩𝒜) は、交叉積環の L-理論を制御するために果たす役割は何か？

主な発見

• 自己対合を伴う加法的 G-圏を係数にとる L-理論的 Farrell-Jones 猜定は、任意の群準同型 φ:K→G に対して、ファイバリングされたバージョンを含む。
• 捩れた自己対合を伴う交叉積環 R∗c,τ,wG に対して、G が対応する G-圏を係数にとる猜定を満たすならば、アセンブリーマップは同型である。
• Or(G) 上の関手 L⟨−∞⟩R,c,τ,w の構成により、G/H におけるその値が部分環 R∗c|H,τ|N,w|HH の L-理論を計算することが保証される。
• Sℤ/2-関手による自己対合の厳密化への還元は、等長的構造を保存し、L-理論スペクトルに弱同値を誘導する。
• 証明は、ホモロジー理論が直和と可換であること、および、軌道上の弱同値がすべての G-集合へと拡張されることに依存している。
• Eφ*VCyc(K)→pt の射影と、補題 9.4 および定理 11.3 による垂直射の同型を含む可換図式により、ファイバリングされたアセンブリーマップの全単射性が確認される。