[论文解读] Maximally-graded matrix factorizations for an invertible polynomial of chain type

Daisuke Aramaki, Atsushi Takahashi|arXiv (Cornell University)|Mar 7, 2019

Algebraic structures and combinatorial models参考文献 24被引用 4

一句话总结

该论文通过在最大加权的矩阵因子化三角范畴中构造一个全异常集列，证明了链型可逆多项式对应的奥尔利克–兰德尔猜想的代数版本。利用关于极化的一个利特尔伍德分解，作者表明该集列的欧拉矩阵由逆极化的zeta函数决定，从而通过格点上的格罗滕迪克群（带欧拉形式）与中间同调群（带交形式）之间的同构，在格点层面确立了同调镜像对称。

ABSTRACT

In 1977, Orlik--Randell construct a nice integral basis of the middle homology group of the Milnor fiber associated to an invertible polynomial of chain type and they conjectured that it is represented by a distinguished basis of vanishing cycles. The purpose of this paper is to prove the algebraic counterpart of the Orlik--Randell conjecture. Under the homological mirror symmetry, we may expect that the triangulated category of maximally-graded matrix factorizations for the Berglund--Hübsch transposed polynomial admits a full exceptional collection with a nice numerical property. Indeed, we show that the category admits a Lefschetz decomposition with respect to a polarization in the sense of Kuznetsov--Smirnov, whose Euler matrix are calculated in terms of the "zeta function" of the inverse of the polarization. As a corollary, it turns out that the homological mirror symmetry holds at the level of lattices, namely, the Grothendieck group of the category with the Euler form is isomorphic to the middle homology group with the intersection form (with a suitable sign).

研究动机与目标

• 证明链型可逆多项式在消失循环上的奥尔利克–兰德尔猜想的代数版本。
• 在最大加权矩阵因子化三角范畴中为这类多项式构造一个全异常集列。
• 通过证明格罗滕迪克群（带欧拉形式）与中间同调群（带交形式）之间的同构，确立格点层面的同调镜像对称性。
• 证明异常集列的欧拉矩阵可表示为逆极化的zeta函数的形式。

提出的方法

• 在最大加权矩阵因子化范畴中构造一个指数为 μ̃n 的极化自等价 τ。
• 利用库任措夫–斯米尔诺夫的利特尔伍德分解框架来组织异常集列。
• 基于奥尔利克–兰德尔积分基的候选对象定义异常对象 E。
• 使用乘积公式 ∏_{i=0}^{n} (1 - N^{d_i})^{(-1)^{n-i+1}} 计算集列的欧拉矩阵，其中 N 为正则幂零矩阵。
• 应用归纳法与半正交分解技术，验证异常集列在加权平移下的封闭性。
• 利用涉及稳定截面层的正合三角形，证明子范畴包含所有稳定对象，从而完成全性的证明。

实验结果

研究问题

• RQ1 链型可逆多项式在最大加权矩阵因子化三角范畴中，是否允许一个关于自等价 τ（指数为 μ̃n）的利特尔伍德分解，且其欧拉矩阵具有数值控制性？
• RQ2 能否显式构造一个全异常集列，其构造灵感来自奥尔利克–兰德尔积分基？
• RQ3 异常集列的欧拉矩阵是否可表示为逆极化的zeta函数？
• RQ4 同调镜像对称是否在格点层面成立，即格罗滕迪克群（带欧拉形式）与中间同调群（带交形式）之间是否存在同构？

主要发现

• 范畴 HMF^{L_f}_S(f) 关于指数为 μ̃n 的自等价 τ 具有利特尔伍德分解，满足 T^{-n-2k}S = τ^{-μ̃_n}，其中 k ∈ ℤ。
• 构造了一个全异常集列 (E, τE, ..., τ^{μ̃_n - 1}E)，其中 E 是 HMF^{L_f}_S(f) 中的异常对象。
• 该集列的欧拉矩阵为 ∏_{i=0}^{n} (1 - N^{d_i})^{(-1)^{n-i+1}}，其中 N 为大小为 μ̃_n 的正则幂零矩阵。
• 伯格施特伦–胡布施转置 ˜f 的米尔斯诺数为 μ̃_n = d_n - d_{n-1} + ... + (-1)^{n-1}d_1 + (-1)^n，其中 d_i = a_1...a_i。
• HMF^{L_f}_S(f) 的格罗滕迪克群（带欧拉形式）与 ˜f 的米尔斯诺纤维的中间同调群（带交形式）同构，至多差一个符号。
• 该构造确认了格点层面的同调镜像对称性，验证了奥尔利克–兰德尔猜想的代数版本。