[論文レビュー] Secondary Traces

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|May 30, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 5

ひとこと要約

この論文は、対称モノイダル高次圏における2-双対可能対象上の2つの可換自己準同型写像の不変量として、2次的トレースを導入する。モース理論的議論とマーク付き2トーラス上のcobordism理論を用いて、2次的トレースが反復トレースとして同定される公式を確立し、SL₂(ℤ)の生成子SとTを介して2つの表現を結びつける。また、モジュラー不変性と一般化されたアティヤ＝ボット＝リフシュッツの公式を導出する。

ABSTRACT

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this invariant, identifying different realizations as an iterated trace. The proof consists of elementary Morse-theoretic arguments (with many accompanying pictures included) and may be seen as a concrete realization of the cobordism hypothesis with singularities on a marked 2-torus. From this perspective, our main result identifies the secondary trace with two alternative presentations coming from the standard generators S and T of the mapping class group SL_2(Z). We include two immediate consequences of the established invariance. The first is a modular invariance property for the 2-class function on a group arising as the 2-character of a categorical representation. The second is a generalization (for coherent sheaves or D-modules) of the Atiyah-Bott-Lefschetz formula conjectured by Frenkel-Ng\^o in the case of a self-map of a smooth and proper stack over a general base.

研究の動機と目的

• 対称モノイダル高次圏における2-双対可能対象上の2つの可換自己準同型写像の不変量として2次的トレースを定義し、その性質を研究すること。
• 幾何的・位相的手段を用いて、2次的トレースが反復トレースとして同定される公式を確立すること。
• マーク付き2トーラス上で特異点付きcobordism仮説を用いて、2次的トレースを解釈し、SL₂(ℤ)の写像類群と関連付けること。
• カテゴリカル群表現の2次的特徴関数に対するモジュラー不変性を導出すること。
• 滑らかかつ固有なスタック上の両立的層およびD-モジュールに対して、アティヤ＝ボット＝リフシュッツの公式を一般化すること。

提案手法

• 視覚的図式を用いた基本的なモース理論的議論により、2次的トレースの構造を分析する。
• 特異点付きcobordism仮説を用いて、マーク付き2トーラス上での2次的トレースをモデル化する。
• 2次的トレースを、SL₂(ℤ)の標準的生成子SとTに対応する2つの実現として特定する。
• 対称モノイダル高次圏の形式的枠組みを用いて、双対性とトレース構造を扱う。
• 写像類群作用における不変性を、主要な技術的道具として導出する。
• カテゴリカル表現およびD-モジュールにこの枠組みを適用し、一般化されたリフシュッツ型定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 対称モノイダル高次圏における2-双対可能対象上の2つの可換自己準同型写像に対して、2次的トレースをどのように定義できるか？
• RQ2 2次的トレースの対称性の背後にある幾何的または位相的構造は何か？
• RQ3 2次的トレースは、2トーラス上の写像類群SL₂(ℤ)の作用とどのように関係しているか？
• RQ4 カテゴリカル表現の2次的特徴関数に対して、どのようなモジュラー不変性の性質が現れるか？
• RQ5 アティヤ＝ボット＝リフシュッツの公式は、一般の基底上の滑らかかつ固有なスタック上の両立的層およびD-モジュールに対して、どの程度まで一般化可能か？

主な発見

• 2次的トレースは写像類群SL₂(ℤ)の作用に対して不変であり、生成子SとTに対応する2つの異なる実現が存在する。
• 2次的トレースは、マーク付き2トーラス上の幾何的実現を通じて、自然に反復トレースとして同定される。
• この構成により、群のカテゴリカル表現の2次的特徴関数に対してモジュラー不変性の性質が得られる。
• 滑らかかつ固有なスタック上の自己写像に対して、両立的層およびD-モジュールの一般化されたアティヤ＝ボット＝リフシュッツの公式が確立される。これは、フレンケル＝ニョの予想を拡張する。
• 証明はモース理論的技法と視覚的推論に依拠しており、特異点付きcobordism仮説の明確な実現を提供する。
• 2次的トレースの構成は完全に函手的であり、対称モノイダル高次圏における双対性とトレース構造を尊重する。