代数函数

定义

如果函数 y=f(x) 满足一个代数方程：P_n(x)y^n+P_{n-1}(x)y^{n-1}+\dots+P_0(x)=0其中 P_i(x) 是关于 x 的多项式，且不全为0，则称 y 是代数函数。简单理解：可以由多项式通过有限次加、减、乘、除、开方运算得到的函数，都是代数函数。常见例子

1. 多项式函数：y=x^2+3x-12. 有理函数（多项式相除）：\displaystyle y=\frac{x+1}{x^2-2}3. 根式函数：y=\sqrt{x},\ y=\sqrt{x^2+1},\ y=\sqrt{x}+\sqrt{x+1}超越函数（和代数函数对立）

不是代数函数的函数叫超越函数，不能写成上面的代数方程形式：

• y=e^x,\ y=\ln x• y=\sin x,\ y=\cos x,\ y=\arctan x重要性质

1. 代数函数的和、差、积、商、复合仍是代数函数；

2. 代数函数的导数仍然是代数函数；

3. 不一定能用有限根式表示（阿贝尔定理：次数≥5的一般代数方程没有根式解，对应有些代数函数无法只用根号写出显式表达式）。

数论里的代数函数注意区分：分析里的代数函数（之前讲的满足多项式方程的函数）和数论中的代数函数，数论中常放在代数函数域框架下研究，类比数域（有理数域的有限扩张）。1. 代数函数域（一元）

设 k 是一个域（常取有限域 \mathbb F_q，这是数论最常用场景）。k(x)：有理函数域，变量 x 的有理分式全体。若 K/k(x) 是有限扩张，则称 K 是**k 上一元代数函数域**。K 中的元素就叫代数函数。

类比：

• 数域：\mathbb Q 的有限扩张，元素是代数数

• 代数函数域：k(x) 的有限扩张，元素是代数函数简单对应：代数数 ↔ 代数函数整数环 ↔ 函数域的整环素数 ↔ 函数域的素除子（素点）2. 定义

元素 f\in K 是 k(x) 上的代数函数，即存在多项式：A_n(t) t^n+\dots+A_0(t)=0,\quad A_i\in k使得 f 满足这个方程。和分析里代数函数形式一致，但研究目标完全是数论方向：除子、黎曼–罗赫定理、zeta函数、类群。

3. 典型例子

1. K=\mathbb F_q(x,\sqrt{x^3+ax+b})：椭圆函数域，\sqrt{x^3+ax+b} 就是代数函数；对应椭圆曲线。

2. K=\mathbb F_q(x,y), y^2=x^5+1：超椭圆函数域。

4. 数论核心概念（函数域）

1. 除子：素点的整系数形式和，类比整数的素因子分解。

2. 黎曼–罗赫定理：函数域最核心定理，用来计算有指定零点极点的代数函数空间维数。

3. 函数域ζ函数：\zeta_K(s)=\prod_{\mathfrak p}\frac{1}{1-N(\mathfrak p)^{-s}}乘积跑遍所有素除子 \mathfrak p，N(\mathfrak p) 是范数。重大事实：有限域上代数函数域的ζ函数是有理函数，黎曼猜想（函数域版本）已经被韦伊证明。4. 亏格 g：函数域的不变量，对应曲线的拓扑亏格。黎曼–罗赫里会出现亏格。

5. 和数域的平行（函数域类比）数域  的有限扩张 有限域上代数函数域  代数数 代数函数 素数 素除子（素点） 整数环  整环 理想类群 除子类群 戴德金ζ函数 函数域ζ函数 黎曼猜想（未证） 韦伊猜想（已证）

6. 区分容易混淆名词

1. 代数函数（函数域，数论）：函数域里的元素；

2. 代数函数（数学分析）：满足多项式方程 P(x,y)=0 的隐函数；

3. 算术函数（初等数论）：定义在正整数上的函数，如 \tau(n),\varphi(n),\sigma(n)，不是代数函数，不要搞混！

7. 一句话总结（数论视角）

有限域上的代数函数，相当于“函数版本的代数数”；代数函数域和数域有极强类比，很多数论问题可以先在函数域上研究，获得启发。

如果你想，我可以：

• 讲初等数论 vs 函数域数论对比；或者

• 简单推导函数域黎曼–罗赫；或者

• 讲韦伊猜想的大意。数论方向硕博阶段典型考题（代数数论 / 函数域数论）分为【代数数论】【有限域函数域（你刚才看的代数函数域）】两大块，是硕士资格考、博士预考高频题型，附带考点提示。一、代数数论（硕士核心，博士基础题）

题1

设 K=\mathbb Q(\sqrt{-5})，整数环 \mathcal O_K=\mathbb Z[\sqrt{-5}]。(1) 证明 \mathcal O_K 不是主理想整环；(2) 计算理想类群 \mathrm{Cl}(K)；(3) 判断理想 (2,1+\sqrt{-5}) 是否为主理想。

考点：戴德金整环、理想分解、类群计算，代数数论必考。

题2

设 L/K 是数域扩张，\mathfrak p\subset \mathcal O_K 素理想，\mathfrak p\mathcal O_L=\prod_{i=1}^g \mathfrak P_i^{e_i}，f_i=[\mathcal O_L/\mathfrak P_i:\mathcal O_K/\mathfrak p]。(1) 叙述分裂、分歧、非分歧的定义；(2) 证明次数公式：\sum_{i=1}^g e_i f_i = [L:K]；(3) 取 K=\mathbb Q, L=\mathbb Q(\sqrt{2})，求素数 p=2,3,5 在 L 中的分解类型。

题3（博士基础）

叙述类数有限定理，简述证明思路（单位定理+ Minkowski 界）；并利用Minkowski常数估计 \mathbb Q(\sqrt{-7}) 的类数。

题4（局部域，硕博常考）

设 \mathbb Q_p 是 p-adic 数域。(1) 写出 \mathbb Q_p 的整数环、极大理想、剩余域；(2) Hensel引理，举例：方程 x^2\equiv 2 \pmod 7 在 \mathbb Q_7 是否有解？说明理由；(3) 简述局部-整体原理（Hasse原理），举一个Hasse原理失效的例子。

二、代数函数域 / 有限域上曲线（你前面问的代数函数方向，博士热门）

题5

设 K=\mathbb F_q(x,y)，由 y^2=x^3+ax+b 定义，特征 \ne 2,3，椭圆函数域。(1) 求这个函数域的亏格；(2) 写出黎曼–罗赫定理，对除子 D，说明 \ell(D) 的含义；(3) 若 D 是次数大于 2g-2 的除子，写出 \ell(D) 的简单表达式。

题6（博士预考）

设 K/\mathbb F_q 是一元代数函数域，亏格 g，\zeta_K(t) 为函数域zeta函数。(1) 写出函数域zeta函数的欧拉乘积形式；(2) 陈述韦伊猜想对于函数域zeta函数的结论；(3) 说明zeta函数与有理点个数 |C(\mathbb F_{q^n})| 的关系。

三、解析数论（可选，硕博另一分支）

题7

(1) 定义黎曼ζ函数 \zeta(s)，写出它在 \mathrm{Re}(s)>1 的欧拉乘积；(2) 简述ζ函数解析延拓与函数方程；(3) 陈述素数定理，并说明它等价于 \zeta(s) 在 \mathrm{Re}(s)=1 上无零点。

四、偏代数几何方向数论（博士进阶）

题8

设 C 是有限域 \mathbb F_q 上光滑射影曲线。(1) 曲线和代数函数域的对应关系；(2) 除子、主除子、除子类群；(3) 陈述Hasse-Weil界，估计 C(\mathbb F_q) 的点数。如果你想要，我可以：

1. 挑其中一题，完整写标准解答（证明步骤+踩分点）；

2. 再出一套同难度的闭卷自测卷；

3. 偏向算术几何 / 模形式方向（博士更高阶考题）。