[论文解读] Différentielles à singularités prescrites

Quentin Gendron, Guillaume Tahar|arXiv (Cornell University)|May 9, 2017

Meromorphic and Entire Functions被引用 9

一句话总结

本文研究了在黎曼曲面上，具有指定零点和极点阶数以及极点处指定 $k$-余值的亚纯 $k$-微分的存在性。利用代数与几何方法，本文证明：当亏格 $g \geq 2$ 或 $g=1$ 且 $k \neq 2$ 时，所有预期的余值元组均可实现；而在亏格零且 $k=1$ 或 $k \geq 3$ 的情况下，某些余值元组受到限制，且在阿贝尔微分与二次微分情形下，对这些限制给出了明确刻画。

ABSTRACT

We study the local invariants that a meromorphic $k$-differential on a Riemann surface of genus $g\geq0$ can have. These local invariants are the orders of zeros and poles, and the $k$-residues at the poles. We show that for a given pattern of orders of zeroes, there exists, up to a few exceptions, a primitive $k$-differential having these orders of zero. The same is true for meromorphic $k$-differentials and in this case, we describe the tuples of complex numbers that can appear as $k$-residues at their poles. For genus $g\geq2$, it turns out that every expected tuple appears as $k$-residues. On the other hand, some expected tuples are not the $k$-residues of a $k$-differential in some remaining strata. This happens in the quadratic case in genus $1$ and in genus zero for every $k$. We also give consequences of these results in algebraic and flat geometry.

研究动机与目标

• 确定在亏格 $g \geq 0$ 的黎曼曲面上，哪些局部不变量——包括零点和极点的阶数以及 $k$-余值——可由亚纯 $k$-微分实现。
• 刻画在不同亏格与 $k$ 值下，$k$-微分极点处可能出现的 $k$-余值集合。
• 解决具有指定奇点与余值的 $k$-微分的存在性问题，尤其关注阿贝尔微分（$k=1$）与二次微分（$k=2$）的情形。
• 识别某些余值元组实现的障碍，特别是亏格零以及 $k=1$ 或 $k \geq 3$ 的情形，并描述例外情况。

提出的方法

• 作者利用代数几何与平坦曲面理论分析 $k$-微分的模空间，重点关注由指定零点与极点阶数组成的层。
• 他们应用 $k$-余值定理，该定理基于极点阶数是否被 $k$ 整除来约束可能的 $k$-余值，并使用全局余值条件 $\sum \operatorname{Res}^k_P(\xi) = 0$。
• 对于亏格 $g \geq 2$，他们通过模空间中的形变与存在性定理，证明所有预期的余值元组均可实现。
• 在亏格零情形，他们利用图论表示与余值条件分析障碍集，表明当 $k=2$ 时，在某些层中，除一个二维子集外，某些余值元组无法实现。
• 他们采用 $k$-微分的 Mittag-Leffler 型定理，并将问题与柱面分解及平移结构联系起来。
• 对于阿贝尔微分（$k=1$），他们证明唯一缺失的余值构型是零元组或特定层中呈共线的元组。

实验结果

研究问题

• RQ1 对于给定的亏格 $g$ 与 $k$-微分类型 $\mu$，哪些 $k$-余值元组可作为具有指定零点与极点阶数的亚纯 $k$-微分在极点处的 $k$-余值实现？
• RQ2 在亏格零情形，当 $k=1$ 或 $k \geq 3$ 时，哪些余值元组无法实现为 $k$-微分的 $k$-余值？
• RQ3 在亏格一的二次微分（$k=2$）中，是否存在某些层使得特定余值元组无法实现？若存在，共有多少类这样的层？
• RQ4 在亏格零且 $k=2$ 的情形下，非可实现余值元组的集合的维数是多少？其在不同层中如何变化？
• RQ5 全局余值条件与局部 $k$-余值约束如何相互作用，以决定在不同亏格与 $k$-类型下的可实现性？

主要发现

• 当 $g \geq 2$ 或 $g=1$ 且 $k \neq 2$ 时，所有预期的 $k$-余值元组均可作为亚纯 $k$-微分的 $k$-余值实现。
• 在亏格零情形，当 $k=1$ 或 $k \geq 3$ 时，存在有限多个（在缩放下等价）无法实现的余值元组，其中阿贝尔情形（$k=1$）仅允许零元组或共线元组作为例外。
• 对于亏格一的二次微分（$k=2$），有四类层各包含一个不可实现的余值元组，如定理 1.2 所述。
• 在亏格零且 $k=2$ 的情形下，除某些层中的一个二维子集外，部分余值元组无法实现，如定理 1.13 所示。
• 可实现 $k$-余值的空间完全由余值条件 $\sum \operatorname{Res}^k_P(\xi) = 0$ 描述，此外还受极点阶数是否被 $k$ 整除的约束，且当这些条件不充分时，$k$-微分的存在性即受阻。
• 对于本原 $k$-微分，层的维数为 $2g - 2 + n + p + r + s$，且具有指定奇点与余值的此类微分的存在性由该维数与余值约束之间的相互作用所决定。