[論文レビュー] Coherent sheaves, superconnections, and RRG

Jean‐Michel Bismut, Shu Shen+1 more|arXiv (Cornell University)|Feb 16, 2021

Advanced Operator Algebra Research参考文献 58被引用数 4

ひとこと要約

本稿は、複素多様体上の連接層のためのチャーン類を、アンチホロモーレィックなスーパー接続を用いてボット＝チヤンコホモロジーに値をとる形で構成する。これは、特異的かつ局所的に自由でない層への古典的リーマン・ローチ・グロタンディーク定理の拡張である。主な貢献は、超局所的スーパー接続とスペクトル切断を用いて、ボット＝チヤンコホモロジーにおけるRRG公式の厳密な定式化をなしたことである。これは古典的結果を連接層の導来カテゴリに一般化するものである。

ABSTRACT

Given a compact complex manifold, the purpose of this paper is to construct the Chern character for coherent sheaves with values in Bott-Chern cohomology, and to prove a corresponding Riemann-Roch-Grothendieck formula. Our paper is based on a fundamental construction of Block.

研究の動機と目的

• 連接層のグロタンディーク群からボット＝チヤンコホモロジーへのチャーン類写像を定義すること。
• リーマン・ローチ・グロタンディーク公式を、局所的に自由な層に限らず、連接層へ一般化すること。
• 特異的状況における特性類を計算するための、アンチホロモーレィックスーパー接続と超局所的作用素を用いた枠組みを確立すること。
• 導来カテゴリとボット＝チヤンコホモロジーの文脈において、ブロックの基礎的業績を統合・拡張すること。

提案手法

• 導来カテゴリ $\mathrm{D^{b}_{\mathrm{coh}}}(X)$ 上でのアンチホロモーレィックスーパー接続を用い、連接層をモデル化し、特性類を計算する。
• 特異性を解消し、曲率形式を定義するために、接バンドル $\widehat{TX}$ の全空間に超局所的スーパー接続を導入する。
• 無限次元ヒルベルト空間におけるスペクトル切断を用い、正則化されたトレースを通じてチャーン類を定義する。
• ベクトルバンドルに一般化された計量を構成し、スーパートレースを用いてボット＝チヤンコホモロジーにおける曲率形式を定義する。
• ケーラー形式 $\omega^X$ の変形と計量のスケーリングを適用し、一様な推移と極限を得る。
• リヒネロイツ型の公式を用い、スーパー接続の曲率を $X$ 上の幾何的データに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ボット＝チヤンコホモロジーにおいて、局所的に自由な層から連接層へのチャーン類をどのように拡張できるか？
• RQ2 ホロモーレィック写像による連接層の直接像に関して、リーマン・ローチ・グロタンディーク定理の正しい定式化は何か？
• RQ3 超局所的スーパー接続は、特異的層の特性類を定義する際の解析的障害をどのように解消できるか？
• RQ4 無限次元におけるスペクトル切断は、ボット＝チヤンコホモロジーにおけるwell-definedなチャーン類をもたらすか？
• RQ5 一般化された計量とスケーリングの役割は、チャーン類の構成において何であるか？

主な発見

• 連接層に対してwell-definedなチャーン類 $\mathrm{ch}_{\mathrm{BC}}: K_\cdot(X) \to H^{(=)}_{\mathrm{BC}}(X,\mathbf{R})$ が構成され、古典的チャーン類を精錬する。
• リーマン・ローチ・グロタンディーク公式が証明された：$f_! \circ \mathrm{ch}_{\mathrm{BC}} = \mathrm{ch}_{\mathrm{BC}} \circ f_*$ は、コンパクト複素多様体間のホロモーレィック写像 $f: X \to Y$ に対して有効である。
• チャーン類形式が計量 $g^{\widehat{TX}}$ のスケーリングおよびケーラー形式 $\omega^X$ の変形に対して不変であることが示され、安定性が保証される。
• パrameter $b \to 0$ における超局所的スーパー接続形式の極限は、ボット＝チヤンコホモロジーにおけるwell-definedな代表元をもたらし、チャーン類の構成を可能にする。
• $\overline{\partial}^X \partial^X \omega^X = 0$ の場合、超局所的スーパー接続形式は古典的チャーン類形式に収束する。
• この構成は、導来カテゴリ $\mathrm{D^{b}_{\mathrm{coh}}}(X)$ における引き戻し、テンソル積、直接像に関して整合的であり、ファンクター性が確認される。