紧黎曼曲面上基于f₁,f₂构造指定单极点亚纯函数的算法问询

好问题！这个问题本质上是紧黎曼曲面（代数曲线）上亚纯函数的构造问题，核心可以用Riemann-Roch定理和线性系统的算法化构造来解决，答案是肯定的——存在这样的算法。下面我会一步步拆解思路和具体步骤：

首先明确几个关键概念：

• 设$f_1$的除子为$\text{div}(f_1) = (f_1)_0 - k p_1$（仅在$p_1$处有$k$阶极点，其余全纯）；
• $f_2$的除子为$\text{div}(f_2) = (f_2)0 - \sum{i=1}^{g+1} q_i$（仅在$q_1,\dots,q_{g+1}$处有极点）；
• 我们目标是构造$R(f_1,f_2) \in \mathbb{C}(f_1,f_2)$（$f_1,f_2$的有理函数），使得$\text{div}(R)$的极点部分恰好是$m p_1$（无其他极点，且极点阶数为$m \neq k$）。

根据Riemann-Roch定理，对于除子$D = m p_1$，线性空间$L(D)$（所有极点不超过$m$阶在$p_1$的亚纯函数）的维数为：
$$\dim L(D) = m - g + 1 + \dim L(K_X - D)$$
其中$K_X$是典范除子。当$m > 2g-2$时，$\dim L(K_X - D)=0$，此时$\dim L(D)=m-g+1$，空间足够大；即使$m \leq 2g-2$，我们也能通过构造合适的组合找到目标函数。

步骤1：构造仅在$p_1$处有极点的$f_1,f_2$组合 #

$f_2$的极点在$q_1,\dots,q_{g+1}$，我们需要构造$f_1,f_2$的线性组合抵消这些极点：
考虑形如$h = \sum_{t=0}^{g+1} c_t f_1^t f_2$的函数（$c_t \in \mathbb{C}$不全为0），要求$h$在每个$q_j$处全纯。

由于$f_1$在$q_j$处全纯且非零（$q_j \neq p_1$），$f_2$在$q_j$处有极点，$f_1^t f_2$在$q_j$处的主部系数为$c_t f_1(q_j)^t$乘以$f_2$在$q_j$的主部。要让$h$在$q_j$处无极点，只需：
$$\sum_{t=0}^{g+1} c_t f_1(q_j)^t = 0 \quad \forall j=1,\dots,g+1$$
这是一个$g+1$个方程、$g+2$个变量的线性方程组，必然存在非零解。这样构造出的$h$仅在$p_1$处有极点（因为$f_2$的极点被完全抵消，$f_1$的极点仅在$p_1$），设$h$在$p_1$处的极点阶数为$M$。

步骤2：生成足够多的仅在$p_1$处有极点的函数 #

现在我们有两个基础函数：

• $f_1$：极点阶数$k$在$p_1$；
• $h$：极点阶数$M$在$p_1$。

它们的幂次组合$f_1^a h^b$（$a,b$为非负整数）也仅在$p_1$处有极点，阶数为$a k + b M$。通过调整$a,b$，我们可以得到极点阶数覆盖一系列整数的函数。

步骤3：构造目标阶数$m$的函数 #

我们需要找到这些组合的线性组合，使其极点阶数恰好为$m$：

1. 先确定所有满足$a k + b M \leq m$的$(a,b)$，收集对应的$f_1^a h^b$；
2. 这些函数构成$L(m p_1)$的一个子集，我们需要从中找到一个函数不在$L((m-1)p_1)$中（即极点阶数恰好为$m$）。由于$\dim L(m p_1) > \dim L((m-1)p_1)$（当$m$足够大时，差为1；即使$m$较小，也存在这样的元素），通过解线性方程组筛选出符合条件的组合即可。

特殊情况：$m < k$的处理 #

当目标阶数$m$小于$f_1$的极点阶数$k$时，我们可以利用$h$的逆：$1/h$在$p_1$处有$M$阶零点（因为$h$在$p_1$处有$M$阶极点），其余地方的极点是$h$的零点。构造$f_1^a (1/h)^b$，其在$p_1$处的极点阶数为$a k - b M$，调整$a,b$使得这个值等于$m$，再通过线性组合抵消其他极点即可。

所有步骤都是可算法化的：

• 线性方程组的求解是标准线性代数操作；
• 除子的阶数计算可以通过紧黎曼曲面的代数化（将X视为代数曲线，用仿射坐标计算函数在极点处的主部）完成；
• 线性组合的筛选可以通过基向量的线性相关性分析实现。

内容的提问来源于stack exchange，提问作者zy_