[论文解读] LCK metrics on Oeljeklaus-Toma manifolds versus Kronecker's theorem

Victor Vuletescu|arXiv (Cornell University)|Jun 1, 2013

Geometry and complex manifolds参考文献 10被引用 7

一句话总结

该论文证明了：对于具有 $ s $ 个实嵌入和 $ 2t $ 个复嵌入的 Oeljeklaus-Toma 流形，当 $ 1 < s < t $ 时，其无法 admits 局部共形 Kähler（LCK）度量。证明将此类度量的存在性归结为单位群上的一个数论条件——即某些单位在所有复嵌入下的绝对值必须相等——并通过精细应用 Kronecker 单位定理导出矛盾。

ABSTRACT

A locally conformally Kähler (LCK) manifold is a manifold which is covered by a Kähler manifold, with the deck transform group acting by homotheties. We show that the search for LCK metrics on Oeljeklaus-Toma manifolds leads to a (yet another) variation on Kronecker's theorem on units. In turn, this implies that on Oeljeklaus-Toma manifold associated to number fields with $2t$ complex embeddings and $s$ real embeddings with $s

研究动机与目标

• 确定 Oeljeklaus-Toma 流形上局部共形 Kähler（LCK）度量存在的条件。
• 研究 LCK 结构的自守因子对数域单位群施加的数论约束。
• 将 Kronecker 关于单位在所有嵌入下绝对值相等的经典定理，推广到由 LCK 几何引出的新情境中。
• 证明当 $ s < t $ 时，不存在任何全正单位的可接受子群 $ U $ 满足所需的度量条件，从而排除 LCK 结构的存在。

提出的方法

• 推导出自守因子公式 $ \chi(u) = |\sigma_{s+1}(u)|^2 = \cdots = |\sigma_{s+t}(u)|^2 $，其中 $ u \in U $，将 LCK 度量的存在性与单位的绝对值联系起来。
• 通过对 Kähler 潜势进行平均化处理，证明度量分量仅依赖于实坐标，从而对单位群施加约束。
• 利用伽罗瓦理论及正规闭包 $ K^{ncl} $，分析自同构对单位复嵌入绝对值的作用。
• 假设存在一个次数为 $ [K:\mathbb{Q}] $ 的单位，其在所有复嵌入下的绝对值相等，并通过次数与整除性论证导出矛盾。
• 证明此类单位必属于 $ K $ 的真子域 $ L \subset K $，从而在可接受性条件下的嵌入行为上产生矛盾。
• 利用 $ U $ 必须保持 $ \mathbb{R}^s $ 中的格条件这一事实，证明当 $ s < t $ 时，嵌入结构迫使 $ U $ 中某些单位的复嵌入绝对值不相等。

实验结果

研究问题

• RQ1 在何种数论条件下，Oeljeklaus-Toma 流形可允许存在局部共形 Kähler 度量？
• RQ2 Kähler 覆叠的自守因子能否实现为数域中单位在复嵌入下绝对值相等的形式？
• RQ3 若一个单位在所有复嵌入下的绝对值相等，是否意味着它必属于某个真子域？
• RQ4 当 $ s < t $ 时，$ U $ 的可接受性与格条件对单位群施加了何种约束？
• RQ5 是否存在 $ \mathcal{O}_K^{*,+} $ 中的单位，使得对所有复嵌入 $ \sigma_i, \sigma_j $，均有 $ |\sigma_i(u)| = |\sigma_j(u)| $，且 $ \deg(u) = [K:\mathbb{Q}] $？

主要发现

• 对于具有 $ s $ 个实嵌入和 $ 2t $ 个复嵌入的 Oeljeklaus-Toma 流形，当 $ 1 < s < t $ 时，不存在 LCK 度量。
• LCK 度量的存在性意味着可接受子群 $ U $ 中的所有单位在所有复嵌入下的绝对值必须相等。
• 任何具有最大次数 $ [K:\mathbb{Q}] $ 且在所有复嵌入下绝对值相等的单位，必属于某个真子域 $ L \subset K $，这与次数的最大性矛盾。
• 假设存在此类单位，将通过整除性与伽罗瓦作用导出矛盾：$ 2t+1 \mid s+2t $，而当 $ 1 < s < t $ 时该式不成立。
• 实嵌入绝对值的乘积必须等于 $ R^s $，且由于单位全正，有 $ \prod r_i \cdot R^{2t} = 1 $，从而推出 $ R = 1 $，这与单位为位似变换矛盾，除非它是单位根。
• 矛盾的根源在于：单位不可能既具有全次数，又满足所需的绝对值相等条件，除非它属于更小的域，从而违反了 $ U $ 的可接受性。