[論文レビュー] Constraint Reduction in Algebra, Geometry and Deformation Theory

Marvin Dippell|arXiv (Cornell University)|Oct 9, 2023

Advanced Topics in Algebra被引用数 4

ひとこと要約

本稿は、代数、幾何学、変形理論における制約削減の統一的枠組みを導入し、制約加群と代数を用いたコイシトロピック削減の一般化を実現する。幾何的コイシトロピック部分多様体と代数的ポアソン正規化子の対応関係を確立し、ホッホシュイルドコホホロジーを用いた制約代数の変形量子化理論を構築し、制約と整合する形式的スター積を導出する。

ABSTRACT

To study coisotropic reduction in the context of deformation quantization we introduce constraint manifolds and constraint algebras as the basic objects encoding the additional information needed to define a reduction. General properties of various categories of constraint objects and their compatiblity with reduction are examined. A constraint Serre-Swan theorem, identifying constraint vector bundles with certain finitely generated projective constraint modules, as well as a constraint symbol calculus are proved. After developing the general deformation theory of constraint algebras, including constraint Hochschild cohomology and constraint differential graded Lie algebras, the second constraint Hochschild cohomology for the constraint algebra of functions on a constraint flat space is computed.

研究の動機と目的

• コイシトロピック削減を一般化する代数的・幾何学的制約削減理論を体系的に構築すること。
• 変形理論における制約を記述する代数的構造としての制約k加群と制約代数を導入すること。
• 制約系の変形量子化のためのカテゴリカルかつコホモロジー的枠組みを確立すること。
• 制約加群を用いて、代数的および形式的変形設定におけるコイシトロピック削減定理を一般化すること。
• 制約構造を用いた特徴的分布およびポアソン正規化子の代数的特徴付けを提供すること。

提案手法

• 制約集合と制約k加群を導入し、制約下でのイデアルと加群の一般化としての基礎的代数的構造を提供する。
• 制約代数と強い制約代数を定義し、ポアソン構造および微分幾何的構造との整合性に注目する。
• 制約ベクトルバンドルと切断を構成し、古典的微分幾何学を制約付き設定に拡張する。
• 微分形式、多重ベクトル場、微分作用素の記号計算を含む制約カルタン微積分を発展させる。
• 制約ホッホシュイルドコホモロジー複体を用いて、制約構造を変形理論に応用する。
• 制約代数と整合するスター積を用いた形式的変形量子化枠組みを確立し、コホモロジー的障害とを結びつける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、制約加群を用いた代数的技法によって、ポアソン幾何におけるコイシトロピック削減を一般化できるか？
• RQ2 制約系における特徴的葉に沿って定数となる関数を特徴付ける際、ポアソン正規化子が果たす役割は何か？
• RQ3 制約を備えた代数へと変形量子化をどのように拡張できるか。また、どのようなコホモロジー的障害が生じるか？
• RQ4 制約ベクトルバンドルと特徴的分布の幾何学的性質との関係は何か？
• RQ5 下部の幾何的制約を尊重する形式的スター積を、制約代数上に構成できるか？

主な発見

• 本稿は、射影的加群を一般化する制約k加群の圏を構成し、制約下での自由および射影的分解の枠組みを提供する。
• コイシトロピック部分多様体のポアソン正規化子が、そのハミルトニアンベクトル場が部分多様体に接する関数にちょうど一致することを証明し、特徴的分布を代数的に特徴付ける。
• 制約変形函手を定義し、その代表可能性がホッホシュイルドコホモロジーと関連づけられ、形式的変形理論を制約付き設定に一般化する。
• R^n 上の制約代数の第二ホッホシュイルドコホモロジー群を計算し、変形の障害が制約構造によって制御されることを示す。
• 一般化されたコイシトロピック削減定理を確立した：商代数 BC/IC は、ポアソン代数として C∞(Mred) に同型である。これは、古典的結果を制約設定に拡張する。
• 本稿は、制約イデアルと整合する制約代数上への形式的スター積を提供し、制約付き系への変形量子化を一般化する。