[论文解读] Intersection Pairings for Higher Laminations

Ian Le|arXiv (Cornell University)|Jul 31, 2017

Advanced Combinatorial Mathematics参考文献 7被引用 6

一句话总结

本文通过证明交截配对可被计算为仿射布丁中的加权网络的最小长度，为高阶层状结构的交截配对提供了几何解释。利用Kuhn-Munkres等组合定理的线性化版本，证明这些配对对应于布丁中的度量不变量，解决了关于tropical化不变量的猜想，并将其与最小路径网络联系起来。

ABSTRACT

One can realize higher laminations as positive configurations of points in the affine building. The duality pairings of Fock and Goncharov give pairings between higher laminations for two Langlands dual groups $G$ and $G^{\vee}$. These pairings are a generalization of the intersection pairing between measured laminations on a topological surface. We give a geometric interpretation of these intersection pairings in the case that $G=SL_n$. In particular, we show that they can be computed as the length of minimal weighted networks in the building. Thus we relate the intersection pairings to the metric structure of the affine building. This proves several of the conjectures from [LO] The key tools are linearized versions of well-known classical results from combinatorics, like Hall's marriage lemma, Konig's theorem, and the Kuhn-Munkres algorithm.

研究动机与目标

• 为朗兰兹对偶群之间高阶层状结构的交截配对提供几何解释。
• 将这些配对与仿射布丁的度量结构联系起来。
• 证明[LO]中关于tropical化不变量及其最小网络实现的猜想。
• 建立丛代数函数与布丁中最小加权网络之间的联系。

提出的方法

• 将经典组合定理（如Hall婚姻引理、König定理以及Kuhn-Munkres算法）线性化，以适用于度量几何。
• 通过在表示中的格向量上最大化赋值来定义tropical化不变量$f^t$。
• 利用仿射布丁的度量，将$f^t(x_1,\dots,x_m)$解释为布丁中点的加权路径长度之最小值。
• 构造总长度实现交截配对的最小加权网络。
• 应用$SL_n$的对偶性和外自同构，将涉及权$ω_a$和$ω_{n-a}$的函数联系起来。
• 通过将某些丛函数表达为包含布丁中中间点的路径上的最小和，验证猜想。

实验结果

研究问题

• RQ1 高阶层状结构的交截配对如何通过仿射布丁的度量结构进行几何解释？
• RQ2 线性化组合定理在计算高阶层状结构的tropical化不变量中起什么作用？
• RQ3 交截配对能否在仿射布丁中实现为最小加权网络长度？
• RQ4 丛代数的tropical化不变量如何与布丁中的几何实现相关联？
• RQ5 在$\operatorname{Conf}_4(\mathcal{A})$中，实现给定丛函数的最小网络结构是什么？

主要发现

• 高阶层状结构之间的交截配对被实现为仿射布丁中加权网络的最小总长度。
• 对于函数$f_{i_1\dots i_k}^t$，tropical化值等于对$p$的$\sum d_{i_s}(p,x_s)$的最小值，这在该背景下证明了Kuhn-Munkres定理的推广。
• 在$\operatorname{Conf}_4(\mathcal{A})$上的函数$F^t$由涉及中间点$p$和$q$的距离和的最小化给出，对应于边按表示指标加权的网络。
• 最小网络实现证实了猜想5.2，表明$F^t$是通过布丁中加权路径长度的下确界。
• $SL_n$的外自同构下$ω_a$与$ω_{n-a}$之间的对偶性保持了tropical化函数值，证实了构造中的对称性。
• 通过证明tropical化不变量是通过仿射布丁中度量最小网络计算的，本研究证实了[LO]中的多个猜想。