别雷定理

数学上，别雷定理（英语：Belyi's theorem）是有关代数曲线的定理，指出任何用代数数系数定义的非奇异代数曲线C，都代表这样的一个紧黎曼曲面，这黎曼曲面能作为黎曼球面的分歧覆盖，且只有三个分歧点。

这定理是根纳季·别雷1979年的结果。这个结果当时令人大感意外，激发格罗滕迪克发展出dessin d'enfant理论，使用组合数学资料描述代数数上的非奇异代数曲线。

格罗滕迪克曾在《Esquisse d'un Programme》评价这定理说：“不到一年后，在赫尔斯基的国际数学家大会中，苏联数学家别雷宣布了正正这个结果，证明令人困惑地简单，德利涅一封信的两小页也容得下。毫无疑问，从未有一个深刻且令人迷惑的结果，如此短短数行就证明出来！”

上半平面的商

从上推导出这样的黎曼曲面可以取作

H / Γ

其中H是上半平面，Γ是模群的有限指数子群，曲面用尖点紧化。因为模群有非同余子群，故此不可以作结论说任何这样的曲线都是模曲线。

别雷函数

别雷函数是从紧黎曼曲面S到复射影直线P¹(C)的全纯映射，仅在三点分歧，这三点可以经由莫比乌斯变换取为$\{0,1,\infty \}$。别雷函数可以用dessin d'enfant给出组合数学描述。

别雷函数和dessin d'enfants（但不是别雷定理）至少可以追溯到菲利克斯·克莱因的工作。他用了这些概念去研究复射影直线的一个11重复盖，其单射群为PSL(2,11)。（Klein 1879）

应用

别雷定理证明了别雷函数的存在性。这定理常应用于伽罗瓦逆问题。

参考

• Serre, J.-P. (1989), Lectures on the Mordell-Weil Theorem, p. 71
• Felix Von Klein. Ueber die Transformation elfter Ordnung der elliptischen Functionen. Mathematische Annalen. 1879-09-01, 15 (3-4): 533–555 [2018-04-02]. ISSN 0025-5831. doi:10.1007/bf02086276. （原始内容存档于2018-06-18） （德语）. 
• G V Belyĭ. ON GALOIS EXTENSIONS OF A MAXIMAL CYCLOTOMIC FIELD. Mathematics of the USSR-Izvestiya: 247–256. [2018-04-02]. doi:10.1070/im1980v014n02abeh001096. （原始内容存档于2018-06-01）. 

参看

• Girondo, Ernesto; González-Diez, Gabino, Introduction to compact Riemann surfaces and dessins d'enfants, London Mathematical Society Student Texts 79, Cambridge: Cambridge University Press, 2012, ISBN 978-0-521-74022-7, Zbl 1253.30001 
• Wushi Goldring, Unifying themes suggested by Belyi's Theorem, Dorian Goldfeld; Jay Jorgenson; Peter Jones; Dinakar Ramakrishnan; Kenneth A. Ribet; John Tate (编), Number Theory, Analysis and Geometry. In Memory of Serge Lang, Springer: 181–214, 2012, ISBN 978-1-4614-1259-5