[論文レビュー] Relative twisted homology and cohomology groups associated with Lauricella's $F_D$

Keiji Matsumoto|arXiv (Cornell University)|Apr 2, 2018

Polynomial and algebraic computation参考文献 5被引用数 7

ひとこと要約

本稿は、Lauricellaの超幾何系 $\mathcal{F}_D(a,b,c)$ に対する相対的ねじれホモロジーおよびコホモロジー群を導入し、以前の研究で課されていた非整数パラメータ条件 $\alpha \notin \mathbb{Z}^{m+3}$ を取り除くことで理論を拡張する。任意の複素数パラメータ $a,b,c$ に対して、相対的ねじれホモロジー群 $H_1(T,D;\mathcal{L})$ と局所解の空間 $\mathrm{Sol}_x(a,b,c)$ の間に標準的同型が存在することを確立し、交差形式の整合性を示すことで、パラメータに制限がない状況でも系のモノドロミーと微分方程式を統一的に扱える枠組みを提供する。

ABSTRACT

We introduce relative twisted homology and cohomology groups associated with Euler type integrals of solutions to Lauricella's system $F_D(a,b,c)$ of hypergeometric differential equations. We define an intersection form between relative twisted homology groups and that between relative twisted cohomology groups, and show their compatibility. We prove that the relative twisted homology group is canonically isomorphic to the space of local solutions to $F_D(a,b,c)$ for any parameters $a,b,c$. Through this isomorphism, we study $\cF_D(a,b,c)$ by the relative twisted homology and cohomology groups and the intersection forms without any conditions on $a,b,c$.

研究の動機と目的

• Lauricellaの超幾何系 $\mathcal{F}_D(a,b,c)$ に対するねじれホモロジーおよびコホモロジー群の理論を、非整数パラメータ条件 $\alpha \notin \mathbb{Z}^{m+3}$ を超えて拡張すること。
• すべてのパラメータ $a,b,c$ に対して $m+1$ 次元のまま保たれる相対的ねじれホモロジーおよびコホモロジー群 $H_1(T,D;\mathcal{L})$ および $H^1_*(T,D;\mathcal{L})$ を定義すること。
• $H_1(T,D;\mathcal{L})$ と局所解の空間 $\mathrm{Sol}_x(a,b,c)$ の間に、任意の $a,b,c \in \mathbb{C}$ に対して成り立つ標準的同型を確立すること。
• 相対的ねじれホモロジーとコホモロジー群の間の交差形式の整合性を証明し、ガウス＝マンチン接続とモノドロミーを統一的に研究する枠組みを提供すること。
• 整数パラメータの場合の $\mathcal{F}_D(a,b,c)$ のモノドロミー表現を分析し、特定の条件下で可約または自明になることを示すこと。

提案手法

• 相対的ねじれホモロジー群 $H_1(T,D;\mathcal{L})$ を、$\widetilde{x} = \{0,x_1,\dots,x_m,1,\infty\}$ と $D = T \cap \widetilde{x}$ に対して、$\mathbb{P}^1$ 上のねじれチェインの商として定義する。
• 相対的ねじれコホモロジー群 $H^1_*(T,D;\mathcal{L})$（$*=\text{alg}, C^\infty, C^\infty_V$）を、局所系統 $\mathcal{L}$ を係数とする相対的 de Rham コホモロジー複体のコホモロジーとして定義する。
• $\varphi$ を $1$-形式、$\gamma^u$ をねじれ $1$-チェインとする、ペアリング $\langle \varphi, \gamma^u \rangle = \int_\gamma u(t)\varphi$ を用いて、$H^1_*(T,D;\mathcal{L})$ と $H^1(T,D;\mathcal{L})$ の間に標準的同型を確立する。
• 積分 $\int_\gamma u(t)\varphi_0$ を用いて、$\jmath_{\varphi_0}: H_1(T,D;\mathcal{L}) \to \mathrm{Sol}_x(a,b,c)$ を定義し、これがすべての $a,b,c$ に対して同型であることを示す。
• ガウス＝マンチン接続と Pfaffian 系を用いて、周期積分が満たす微分方程式を導出し、ねじれサイクル上の巡回変換を用いてモノドロミーを分析する。
• 相対的ねじれホモロジーとコホモロジー群の間の交差形式を応用し、サイクルと微分形式の構造を関連づけ、パラメータの変化に対しても整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 指数パラメータ $\alpha$ が整数である場合を含め、従来の理論で課されていた $\alpha \notin \mathbb{Z}^{m+3}$ の制限を克服して、ねじれホモロジーおよびコホモロジー群をどのように拡張できるか。
• RQ2 $\alpha \in \mathbb{Z}^{m+3}$ の場合でも、相対的ねじれホモロジー群 $H_1(T,D;\mathcal{L})$ が常に $m+1$ 次元であるか。また、そのような場合に明示的な基底をどのように構成できるか。
• RQ3 $\alpha \notin \mathbb{Z}^{m+3}$ を仮定しない状況でも、$H_1(T,D;\mathcal{L})$ と解空間 $\mathrm{Sol}_x(a,b,c)$ の間の標準的同型を確立できるか。
• RQ4 $\alpha \in \mathbb{Z}^{m+3}$ の場合、$\mathcal{F}_D(a,b,c)$ のモノドロミー表現の構造はどのようになるか。また、どのような条件下で可約または自明になるか。
• RQ5 パラメータの変化に伴って、相対的ねじれホモロジーとコホモロジー群の間の交差形式はどのように振る舞い、サイクルと微分形式を関連付ける役割を果たすか。

主な発見

• すべてのパラメータ $a,b,c$、特に $\alpha \in \mathbb{Z}^{m+3}$ の場合を含めて、相対的ねじれホモロジー群 $H_1(T,D;\mathcal{L})$ は常に $m+1$ 次元であり、すべてのパラメータ値に対して一貫した枠組みを保証する。
• $\gamma^u \mapsto \int_\gamma u(t)\varphi_0$ で定義される写像 $\jmath_{\varphi_0}: H_1(T,D;\mathcal{L}) \to \mathrm{Sol}_x(a,b,c)$ は、すべての $a,b,c \in \mathbb{C}$ に対して標準的同型である。これにより、ホモロジーと解の間の直接的な関係が確立される。
• 相対的ねじれホモロジーとコホモロジー群の間の交差形式は整合的かつ適切に定義されており、整数パラメータの場合でも一貫した双対性理論が成立する。
• $\alpha \in \mathbb{Z}^{m+3}$ の場合、モノドロミー表現は $\#(I_{\mathbb{N}_0}^{\varphi_0}) \neq 1$ かつ $\neq m+2$ ならば可約となり、$\#(I_{\mathbb{N}_0}^{\varphi_0}) = 1$ または $m+2$ ならば自明になる。
• $\alpha \notin \mathbb{Z}^{m+3}$ の場合、任意の $\alpha_i \in \mathbb{Z}$ であれば、対応するねじれサイクル $\circlearrowleft_i^u$ が巡回変換の下で不変部分空間をなすため、モノドロミーは可約である。
• $*=\text{alg}, C^\infty, C^\infty_V$ の相対的ねじれコホモロジー群 $H^1_*(T,D;\mathcal{L})$ は、$H^1(T,D;\mathcal{L})$ と標準的同型である。これにより、異なるコホモロジー的モデル間の整合性が保証される。