[論文レビュー] Relative torsion for representations in finite type Hilbert modules

Dan Burghelea, Leonid Friedlander+1 more|ArXiv.org|Nov 25, 1997

Advanced Operator Algebra Research参考文献 8被引用数 3

ひとこと要約

本稿では、閉多様体にリーマン計量、三角形分割、および関連する平坦なバンドル上のヘルミート構造を備えた有限型ヒルベルトモジュール上の表現に対して定義される、相対 torsion と呼ばれる新しい数値的不変量を導入する。解析的 torsion や Reidemeister torsion とは異なり、常に定義可能であり、ペアが決定的クラスに属する場合には、解析的 torsion と Reidemeister torsion の商に等しくなる。これにより、決定的クラスでない設定における torsion 不変量の統一的枠組みが提供される。

ABSTRACT

For a closed manifold equipped with a Riemannian metric, a triangulation, a representation of its fundamental group on an Hilbert module of finite type (over of finite von Neumann algebra), and a Hermitian structure on the flat bundle associated to the representation, one defines a numerical invariant, the relative torsion. The relative torsion is a positive real number and unlike the analytic torsion or the Reidemeister torsion, which are defined only when the pair manifold- representation is of determinant class, is always defined. When the pair is of determinant class the relative torsionis equal to the quotient of the analytic and the Reidemeister torsion.We calculate the relative torsion.

研究の動機と目的

• 決定的クラス条件を満たさない状況にまで拡張可能な、torsion 理論を拡張する新しい不変量「相対 torsion」を定義すること。
• 解析的 torsion や Reidemeister torsion が定義可能であるためには決定的クラス条件が必要であるという制限を克服すること。
• 有限型ヒルベルトモジュールの設定において、常に定義可能な商の形で解析的 torsion と Reidemeister torsion を統一すること。
• フォン・ノイマン代数と平坦バンドルを含む幾何学的・位相的文脈における torsion 不変量のフレームワークを提供すること。
• 古典的 torsion 不変量を、有限型ヒルベルトモジュール上の表現へと一般化すること。

提案手法

• 閉多様体、リーマン計量、三角形分割、および有限型ヒルベルトモジュール上の基本群の表現に関連する正の実数として相対 torsion を定義する。
• 表現に付随する平坦バンドルにヘルミート構造を導入し、必要な幾何的データを定義する。
• 有限フォン・ノイマン代数の構造を活用して、解析的およびトポロジカルなデータを用いて相対 torsion を構成する。
• 計量や三角形分割の変更に対して相対 torsion が不変であることを確立し、その位相的意味を保証する。
• ペア（多様体、表現）が決定的クラスに属する場合、相対 torsion が解析的 torsion と Reidemeister torsion の商に等しくなることを証明する。
• well-defined かつ計算可能であることを保証するため、グローバル解析およびフォン・ノイマン代数論の技術を用いる。

実験結果

リサーチクエスチョン

• RQ1 古典的解析的 torsion や Reidemeister torsion が決定的クラス条件を満たさないために定義不能となる状況において、torsion 不変量を定義できるか？
• RQ2 決定的クラス条件が成立する場合、新しい相対 torsion と古典的解析的 torsion および Reidemeister torsion の関係は何か？
• RQ3 多様体上の計量や三角形分割の変更に対して、相対 torsion はどのように振る舞うか？
• RQ4 ヘルミート構造を備えた平坦バンドルの同型に関して、相対 torsion は不変か？
• RQ5 相対 torsion は、古典的でない設定におけるさまざまな torsion 理論を統一する不変量として機能できるか？

主な発見

• 任意の閉多様体にリーマン計量、三角形分割、および有限型ヒルベルトモジュール上の表現が与えられた場合、相対 torsion は常に定義可能である。
• 相対 torsion は正の実数であり、計量や三角形分割の選択に依存しない。これにより、その位相的不変性が確立される。
• ペア（多様体、表現）が決定的クラスに属する場合、相対 torsion は解析的 torsion と Reidemeister torsion の商に等しい。
• この構成により、古典的不変量が定義不能となる状況への torsion 不変量の自然な拡張が可能になる。
• 相対 torsion は、有限型ヒルベルトモジュールの設定において、解析的 torsion と Reidemeister torsion を一つの整合的枠組みで統一する。
• well-defined かつ不変性を保証するため、有限フォン・ノイマン代数の構造とグローバル解析の技術に依拠する。