[论文解读] Construction de varietes de Frobenius via les polynomes de Laurent : une autre approche

Antoine Douai|ArXiv.org|Oct 20, 2005

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

本文提出了一种新的代数方法，通过Brieskorn格和Gauss-Manin系统，从非退化且方便的洛朗多项式构造Frobenius流形。通过直接处理具有严格内部单项式的形变的Brieskorn格，证明了该格在$\mathbb{C}[x,\theta]$上的自由性，从而实现了Birkhoff问题的显式代数解，并直接构造了Frobenius结构，而无需使用完整的普遍展开，因此简化并推广了先前的方法。

ABSTRACT

We explain how to construct a Frobenius structure on the parameter space of the universal unfolding of a Laurent polynomial using a result of C. Hertling and Y. Manin. This new approach greatly simplifies the (classic) one used in the paper "Gauss-Manin systems, Brieskorn lattices and Frobenius structures (I)", written with C. Sabbah.

研究动机与目标

• 为非退化且方便的洛 Laurent 多项式提供一种更初等且代数化的Frobenius流形构造方法。
• 绕过对多项式完整普遍展开的需求，从而避免先前方法中分析与代数工具的复杂性。
• 在严格内部单项式条件下，证明Brieskorn格在$\mathbb{C}[x,\theta]$上的自由性与有限型。
• 证明Birkhoff问题的解可通过代数方法获得，从而得到连接的显式矩阵形式。
• 通过Gauss-Manin系统上的$\mathrm{trTLEP}(n)$-结构与共轭双线性对偶性，证明所得结构满足Frobenius流形的条件。

提出的方法

• 构造从形变$F(u,x) = f(u) + \sum x_j g_j(u)$开始，其中$f$是非退化且方便的洛 Laurent 多项式，且$g_j$是相对于$f$的牛顿多面体的严格内部单项式。
• 通过初等方法证明与该形变相关的Brieskorn格$G_0$在$\mathbb{C}[x,\theta]$上是有限型自由的，避免了分析正则化或代数化技术的需要。
• 代数地构造Birkhoff问题的解，得到形如$\left(\frac{B_0(x)}{\theta} + B_\infty\right)\frac{d\theta}{\theta} + \sum \frac{C^{(i)}(x)}{\theta} dx_i$的连接矩阵，其中$B_0(x), C^{(i)}(x) \in \mathbb{C}[x]$。
• 在Gauss-Manin系统上定义了一个非退化、权为$n$的共轭双线性对偶性，使其具备Hertling与Manin所定义的$\mathrm{trTLEP}(n)$-结构。
• 利用Hertling与Manin的定理4.5，若$g_j$满足条件$\mathbb{C}[g_1,\dots,g_r] \cdot \zeta = E_0$（其中$\zeta$为体积形式的类），则该$\mathrm{trTLEP}(n)$-结构在参数空间$\tilde{M}$上诱导出Frobenius流形结构。
• 证明该构造与对偶性相容，并在固定参数值下限制时，与[DoSa]中的结果一致，确保与先前结果的一致性。

实验结果

研究问题

• RQ1 能否在不依赖普遍展开与复分析技术的前提下，实现对非退化洛 Laurent 多项式Frobenius流形的构造？
• RQ2 在何种条件下，洛 Laurent 多项式形变的Brieskorn格在$\mathbb{C}[x,\theta]$上是自由的？
• RQ3 在此设定下，Gauss-Manin系统的Birkhoff问题能否代数地求解，从而得到连接的显式矩阵表示？
• RQ4 Gauss-Manin系统上$\mathrm{trTLEP}(n)$-结构的存在是否意味着参数空间上存在Frobenius流形结构？
• RQ5 严格内部单项式$g_j$的选择如何影响Frobenius结构的实现以及条件$\mathbb{C}[g_1,\dots,g_r] \cdot \zeta = E_0$？

主要发现

• 与形变$F = f + \sum x_j g_j$相关的Brieskorn格$G_0$，在$g_j$为严格内部单项式时，是$\mathbb{C}[x,\theta]$上的有限型自由格。
• 对$G_0$的Birkhoff问题的解是代数的，其连接矩阵的系数属于$\mathbb{C}[x]$，且在$\theta=0$与$\theta=\infty$处有一阶极点。
• Gauss-Manin系统携带一个非退化、权为$n$的共轭双线性对偶性，使其具备$\mathrm{trTLEP}(n)$-结构。
• 若$g_j$满足条件$\mathbb{C}[g_1,\dots,g_r] \cdot \zeta = E_0$，则该$\mathrm{trTLEP}(n)$-结构在参数空间$\tilde{M}$上诱导出Frobenius流形结构。
• 所得Frobenius结构与[DoSa]中通过普遍展开获得的结果一致，确认了新方法的一致性与有效性。
• 该构造与对偶性相容：从一个$S$-解出发，该方法可产生另一个$S$-解，保持所需的相容性条件。