[论文解读] Elliptic formal group laws, integral Hirzebruch genera and Krichever genera

Victor Matveevich Buchstaber, E. Yu. Bunkova|arXiv (Cornell University)|Oct 5, 2010

Algebraic structures and combinatorial models参考文献 29被引用 22

一句话总结

本文建立了一个全面的框架，将椭圆形式群概形、整系数Hirzebruch示痕与Krichever示痕通过椭圆曲线的几何结构联系起来。它推导出椭圆形式群概形的指数函数所满足的微分方程，构造了一个五参数的整系数Hirzebruch示痕族，并引入了一种广义的Krichever示痕，该示痕使用具有两个分支点的非亚纯Baker-Akhiezer型函数，统一了代数拓扑与复几何中的关键结构。

ABSTRACT

We consider the geometrical addition law on the elliptic curve in Tate coordinates. It corresponds to the general formal group law over the ring of polynomials with integer coefficients of the parametra of the curve. We study the structure of this law and the differential equation that determines its exponent. We describe a 5-parametric family of Hirzebruch genera with integer values on stably complex manifolds. We introduce the general Krichever genus, which is given by a generalized Baker-Akhiezer function. This function has many of the fundamental properties of the Baker-Akhiezer function, but unlike it, it is not meromorphic, because it can have two branch points in the parallelogram of periods.

研究动机与目标

• 系统研究由椭圆曲线上的几何群概形导出的、在环 $\mathbb{Z}[\mu_1,\mu_2,\mu_3,\mu_4,\mu_6]$ 上的一般椭圆形式群概形的结构。
• 刻画控制椭圆形式群概形指数函数的微分方程，特别是在Tate坐标与Weierstrass坐标下的形式。
• 构造一个五参数的Hirzebruch示痕族，其在稳定复流形上取整数值，推广经典示痕。
• 通过具有两个分支点的广义Baker-Akhiezer函数，引入并定义广义Krichever示痕，扩展Krichever原始构造。
• 阐明形式群概形的指数属于 $A[[u]]$ 的代数与几何条件，以确保相关示痕的整性。

提出的方法

• 利用在无挠分次环 $A$ 上的分次Hurwitz级数表示形式群概形及其对数/指数函数。
• 应用Tate坐标系对椭圆曲线进行参数化，并导出在 $\mathbb{Z}[\mu_1,\mu_2,\mu_3,\mu_4,\mu_6]$ 上的一般形式群概形。
• 推导出在 $\mu_1 = \mu_2 = \mu_4 = \mu_6 = 0$ 情况下，指数函数满足的微分方程 $f'(u)^2 = -4\mu_3 f(u)^3 + 1$，并将其与Weierstrass $\wp$-函数联系起来。
• 将广义Baker-Akhiezer函数构造为一个非亚纯微分方程的解，允许在周期平行四边形中存在两个分支点。
• 利用对数与指数的同构关系，将形式群概形与 $A \otimes \mathbb{Q}$ 上的通用形式群概形联系起来，确保整性条件成立。
• 应用形式群概形理论，通过广义指数函数定义Krichever示痕，并在特殊情形（如乘法型与双曲正切型）给出显式公式。

实验结果

研究问题

• RQ1 在Tate坐标下，椭圆曲线上的几何群概形所导出的形式群概形具有怎样的结构？
• RQ2 控制椭圆形式群概形指数函数的微分方程是什么？它与Weierstrass $\wp$-函数有何关系？
• RQ3 在何种条件下，椭圆形式群概形的指数函数属于环 $A[[u]]$，从而保证相关示痕的整性？
• RQ4 如何利用具有两个分支点的非亚纯函数来定义广义Krichever示痕？其代数性质为何？
• RQ5 从椭圆形式群概形中，能导出怎样的五参数整系数Hirzebruch示痕族，使其在稳定复流形上取整数值？

主要发现

• 当 $\mu_1 = \mu_2 = \mu_4 = \mu_6 = 0$ 时，椭圆形式群概形的指数函数满足微分方程 $f'(u)^2 = -4\mu_3 f(u)^3 + 1$，其解为 $f(u) = -\frac{1}{\mu_3} \wp(u + c; 0, -\mu_3^2)$。
• 当 $\mu_2 = \mu_3 = \mu_4 = \mu_6 = 0$ 时，形式群概形退化为乘法形式群 $F_\mu(t_1,t_2) = t_1 + t_2 - \mu_1 t_1 t_2$，其指数函数为 $f(u) = \frac{1 - e^{-\mu_1 u}}{\mu_1}$。
• 当 $\mu_1 = \mu_3 = \mu_4 = \mu_6 = 0$ 时，形式群概形变为 $F_\mu(t_1,t_2) = \frac{t_1 + t_2}{1 + \mu_2 t_1 t_2}$，对应双曲正切加法公式，其指数函数为 $f(u) = \frac{1}{\sqrt{\mu_2}} \tanh(\sqrt{\mu_2} u)$。
• 广义Krichever示痕通过满足 $f'(u)^3 = \left((1 - \frac{1}{2}\mu_1 f(u))^3 - 3\mu_3 f(u)^3\right)^2$ 的非亚纯函数定义，其显式表达式可用 $\wp$-函数表示。
• 由指数级数系数生成的环 $B_f$ 为 $\mathbb{Z}[b_n]/J$，其中 $J$ 是编码整性条件的理想，确保示痕取整数值。
• 构造出一个五参数的整系数Hirzebruch示痕族，其在稳定复流形上取值于 $\mathbb{Z}$，推广了经典示痕，如 $\hat{A}$-示痕与椭圆示痕。