[论文解读] Finiteness and liftability of postcritically finite quadratic morphisms in arbitrary characteristic

Richard Pink|arXiv (Cornell University)|May 13, 2013

Algebraic Geometry and Number Theory参考文献 18被引用 7

一句话总结

该论文证明了在任意特征不为2的代数闭域上，ℙ¹上具有大小为n的有限后临界轨道的二次映射的同构类仅有有限多个。此外，论文进一步证明了正特征下的每一类此类映射均可提升至特征零，且保持后临界轨道的组合结构不变，从而其广义几何单值群与特征零情形完全相同，且可显式描述为作用在根二叉树上的自相似群。

ABSTRACT

We show that for any integer n and any field k of characteristic different from 2 there are at most finitely many isomorphism classes of quadratic morphisms from the projective line over k to itself with a finite postcritical orbit of size n. As a consequence we prove that every postcritically finite quadratic morphism over a field of positive characteristic can be lifted to characteristic zero with the same combinatorial type of postcritical orbit. The associated profinite geometric monodromy group is therefore the same as in characteristic zero, where it can be described explicitly by generators as a self-similar group acting on a regular rooted binary tree.

研究动机与目标

• 在任意特征不为2的代数闭域上，建立ℙ¹上具有大小为n的有限后临界轨道的二次映射同构类的有限性。
• 证明正特征下任意后临界有限的二次映射均可提升至特征零，同时保持其后临界轨道的组合类型不变。
• 证明正特征下此类映射的广义几何单值群与特征零情形下的单值群一致，从而可借助作用在根二叉树上的自相似群表示法显式描述其结构。
• 通过模空间、稳定带标记曲线及退化技术，提供一种完全代数几何的有限性证明，避免依赖动力系统方法。

提出的方法

• 在 $ \text{Spec } \mathbb{Z}[1/2] $ 上构造了 $ \Gamma $-带标记二次映射的刚性化模空间 $ M_{\text{\Gamma}} $，用于参数化具有组合等价后临界轨道的同构类。
• 利用交换代数中的局部平坦性判别法，推导出 $ M_{\Gamma} $ 在 $ \text{Spec } \mathbb{Z}[1/2] $ 上平坦，从而保证了从正特征到特征零的映射可提升。
• 通过在紧化基曲线 $ \bar{D} $ 上的稳定带标记曲线，分析二次映射族的退化行为，利用退化纤维的组合数据（稳定带标记树）。
• 将对应关系扩张至稳定带标记曲线上，分析其在有理曲线的对偶图上的作用及带标记点的分布。
• 利用族的总空间上奇异点的局部重数不变量，排除某些类型的坏约化，结合稳定带标记树上的组合约束。
• 通过在 $ t $、$ \alpha $、$ \beta $ 上的递归多项式系统分析方程 $ f^k(0) = -f^\ell(0) $，在特征 ≠ 2 的情形下，通过次数与首项系数分析证明解的有限性。

实验结果

研究问题

• RQ1 在任意特征不为2的代数闭域上，ℙ¹上具有大小为n的有限后临界轨道的二次映射的同构类是否仅有有限多个？
• RQ2 是否每个定义在正特征域上的后临界有限的二次映射均可提升至特征零，同时保持其后临界轨道的组合结构不变？
• RQ3 正特征下后临界有限的二次映射的广义几何单值群是否与对应特征零情形下的单值群一致？
• RQ4 在正特征下，二次映射在稳定带标记曲线上退化时会产生何种组合约束？这些约束能否用于排除某些约化类型？

主要发现

• 对任意整数 $ n $ 及任意特征 ≠ 2 的代数闭域 $ k $，ℙ¹_k → ℙ¹_k 的二次映射中，具有大小为 $ n $ 的有限后临界轨道的同构类至多只有有限多个。
• 每个定义在正特征域上的后临界有限的二次映射均可提升至特征零，且其后临界轨道的组合类型保持不变。
• 此类映射在正特征下的广义几何单值群同构于复数域上对应映射的单值群，因此可显式描述为由根二叉树上显式自同构生成的自相似群。
• 带标记二次映射的模空间 $ M_{\Gamma} $ 在 $ \text{Spec } \mathbb{Z}[1/2] $ 上平坦，从而保证了此类提升的存在性。
• 在任意特征 ≠ 2 的域上，方程 $ f^k(0) = -f^\ell(0) $ 在 $ t $ 上仅有有限多个解，该结论通过分析递归定义的多项式 $ g_n $ 和 $ h_n $ 的首项系数得出。
• 通过结合稳定带标记树上的组合约束与奇异纤维的局部重数不变量，可排除某些类型的坏约化。