[论文解读] 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}$的限制。它建立了相对扭曲同调群$H_1(T,D;\mathcal{L})$与局部解空间$\mathrm{Sol}_x(a,b,c)$之间的典范同构，该同构对所有复参数$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}$限制的情形。
• 定义相对扭曲同调与上同调群$H_1(T,D;\mathcal{L})$与$H^1_*(T,D;\mathcal{L})$，使其对所有参数$a,b,c$均保持$m+1$维。
• 在任意$a,b,c \in \mathbb{C}$下，建立$H_1(T,D;\mathcal{L})$与局部解空间$\mathrm{Sol}_x(a,b,c)$之间的典范同构。
• 证明相对扭曲同调与上同调群之间交截形式的相容性，从而为研究Gauss-Manin联络与单值性提供统一框架。
• 分析当参数为整数时$\mathcal{F}_D(a,b,c)$的单值表示，揭示其在特定条件下可约或平凡的性质。

提出的方法

• 将相对扭曲同调群$H_1(T,D;\mathcal{L})$定义为$\mathbb{P}^1$上相对于集合$D = T \cap \widetilde{x}$的扭曲链的商，其中$\widetilde{x} = \{0,x_1,\dots,x_m,1,\infty\}$。
• 将相对扭曲上同调群$H^1_*(T,D;\mathcal{L})$（$*=\text{alg}, C^\infty, C^\infty_V$）定义为局部系统$\mathcal{L}$系数的相对de Rham复形的上同调。
• 通过配对$\langle \varphi, \gamma^u \rangle = \int_\gamma u(t)\varphi$，在$H^1_*(T,D;\mathcal{L})$与$H^1(T,D;\mathcal{L})$之间建立典范同构，其中$\varphi$为1-形式，$\gamma^u$为扭曲1-链。
• 通过积分$\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$均为同构。
• 利用Gauss-Manin联络与Pfaff系统推导周期积分所满足的微分方程，并通过扭曲循环上的环路变换分析单值性。
• 应用相对扭曲同调与上同调群之间的交截形式，关联循环与微分形式的结构，确保在参数变化下保持相容性。

实验结果

研究问题

• RQ1 如何将扭曲同调与上同调群理论扩展至包含指数参数$\alpha$为整数的情形，从而克服先前理论中非整数参数条件的限制？
• 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_i$为整数时，$\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$，则$\mathcal{F}_D(a,b,c)$的单值表示为可约；若$\#(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})$之间存在典范同构，确保了不同上同调模型之间的一致性。