[論文レビュー] Quadratic relations between periods of connections

Javier Fresán, Claude Sabbah+1 more|arXiv (Cornell University)|May 23, 2020

Advanced Algebra and Geometry参考文献 26被引用数 9

ひとこと要約

この論文は、正則特異点をもつ複素多様体上のメロモーフィック平坦ベンドルの周期の間の2次関係を、'良い性質'の条件下で確立する。急速減衰ホモロジーを用いて、古典的な周期ペアリングを不規則特異点へ一般化し、周期行列が数体上での2次恒等式を満たすことを証明する。1次元における明示的な計算手法も提示する。

ABSTRACT

We prove the existence of quadratic relations between periods of meromorphic flat bundles on complex manifolds with poles along a divisor with normal crossings under the assumption of "goodness". In dimension one, for which goodness is always satisfied, we provide methods to compute the various pairings involved. In an appendix, we give details on the classical results needed for the proofs. V3: Revised version, various proofs simplified in Section 3, exposition improved.

研究の動機と目的

• 急速減衰ホモロジーを導入することで、不規則特異点をもつメロモーフィック平坦ベンドルに対する古典的周期ペアリング理論を拡張すること。
• 正則特異点をもたないメロモーフィック平坦ベンドルの文脈において、周期の間の2次関係を確立すること。
• 1次元における周期ペアリングおよび2次関係の明示的計算手法を提供すること。
• 正則特異点をもたない複素多様体上で、Poincaré-Verdier双対性を用いてde Rham形式とBetti形式を統一すること。
• 特殊関数や2次恒等式に関する既知の結果を、高次元および不規則な状況へ一般化すること。

提案手法

• Poincaré-Verdier双対性を用いて、コンパクト台付きde RhamコホモロジーとBorel-Mooreホモロジーを交差ペアリングを通じて関連付ける。
• 接続が不規則特異点をもつ場合のねじれサイクルの代わりに、急速減衰ホモロジー類を導入する。
• 1次元におけるde Rhamコホモロジーと周期ペアリングの定義および計算のために、実ブロー・アップ構成を適用する。
• 実ブロー・アップ空間上でČechおよび単体的チェイン計算を用いて、de RhamおよびBetti周期ペアリングを計算する。
• ねじれホモロジーとコホモロジーの双対性同型を用いて、2次関係式 $(2\tilde{\pi}i)\mathsf{B} = \mathsf{P} \cdot \mathsf{S}^{-1} \cdot {}^{t}\!\mathsf{P}^{\mathrm{c}}$ を導出する。
• Verdier双対性および層論的道具（フラッピー解体および導来関手）を用いて、双対性同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 不規則特異点をもつメロモーフィック平坦ベンドルに対して、周期ペアリングをどのように拡張できるか。
• RQ2 '良い性質' 条件の下で、このようなベンドルの周期の間にはどのような2次関係が存在するか。
• RQ3 1次元において、de RhamおよびBetti周期ペアリングをどのように明示的に計算できるか。
• RQ4 不規則接続に対して、急速減衰ホモロジーは周期ペアリングの非退化性をどのように回復させるか。
• RQ5 導来カテゴリにおける双対性同型は、古典的周期行列恒等式とどのように関係するか。

主な発見

• '良い性質' 条件の下で、メロモーフィック平坦ベンドルの周期の間には2次関係が存在し、これは正則特異点の場合の一般化である。
• 1次元では、実ブロー・アップ空間上のČechおよび単体的チェインを用いた明示的計算手法が提供される。
• 周期ペアリング行列は、双対性を介して $(2\pi i)\mathsf{B} = \mathsf{P} \cdot \mathsf{S}^{-1} \cdot {}^{t}\!\mathsf{P}^{\mathrm{c}}$ という恒等式を満たす。
• 不規則特異点をもつ接続に対しては、標準的な周期ペアリングは退化するが、急速減衰ホモロジー構成により非退化性が回復される。
• コンパクト台付きde RhamコホモロジーとBorel-Mooreホモロジーは多くの場合一致し、2次関係が単一のペアリングに簡略化される。
• 結果として、周期行列の成分間に、数体上での多項式2次恒等式が得られ、その値は $(2\pi i)\cdot k$ の形をとる。