基于模特征椭圆曲线算法.docVIP

基于模特征椭圆曲线算法 　　椭圆曲线在数学当中有很广泛的应用，在其计算方面也有很多的算法出现。J.E.Cremona的《Algorithms for Modular Elliptic Curves》就是这方面的一本著作。这本书主要分为两大部分：一部分介绍一种基于模特征来计算阶为N的椭圆曲线的算法，另一部分则介绍一些能够计算椭圆曲线的某些算术量的算法。与Tingley的方法相比，书中介绍的算法有一个重要的优点。对于Γ0（N）在扩充上半平面上的作用的基本域，我们并不需要了解其确切的几何形态。也就是说，对于合数N，只需要考虑其素因子就行了。另一部分计算的量包括最小方程、秩、挠元素、Mordell-Weil群的生成元等等。 　　一、椭圆曲线的基本定义和一些术语 　　在Q上定义的椭圆曲线E满足Weierstrass方程： 　　y2+a1xy+a3y=x3+a2x2+a4x+a6 　　其中的参数ai都是有理数。特别地，如果这些ai都是整数，则称E为定义在Z上的椭圆曲线。椭圆曲线也可以简单记为[a1，a2，a3，a4，a6]。除了这些定义的基本量之外，还可以定义一些辅助量，最重要的是不变量c4，c6，判别式Δ，以及定义为c43/Δ的j-不变量。j-不变量在同构下是保持不变的，而最常见的同构通过坐标变换来实现。在所有定义在Z上的模型中，使得Δ的绝对值最小的被称为E的整体最小模型。每一条定义在Q上的椭圆曲线，都存在唯一这样的模型。这一事实说明，要分辨不同的曲线是比较容易的。 　　一个典型的问题是，当给出不变量c4和c6时，是否存在Q上的曲线以它们为不变量？进一步地，是否为最小模型？Kraus给出了这个问题在同余意义下的充要条件，被称为Kraus条件。也有相应的算法，根据给出的符合Kraus条件的整数对，来计算最小模型。另一个重要的定义是模椭圆曲线：Q上的椭圆曲线E被称为模椭圆曲线，如果存在非平凡映射Φ，将某条模曲线XG映到E。 　　二、基于模特征的椭圆曲线算法 　　1.准备工作：定义、性质等。 　　首先要说明考虑对象，也就是扩充的上半平面：H*=H∪Q∪{∞}，其中H={x+iy|y0}。群PSL2（R）在上半平面有一个分式线性变换，取Γ=PSL2（Z），则其生成元为S和T，即映射z→-1/z和z→z+1对应的变换矩阵。其基本域，则是z的实部绝对值不超过1/2，z的模又不小于1的区域。XG=G＼H*记为商空间，需要注意的点有尖点和椭圆点。G的权为2的尖点形式构成的空间记为S2（G），这些尖?c形式f指的是上半平面的全纯函数，满足一定的条件。其中f|M=f，任取M∈G。在无穷远处的情况则需要另外定义，涉及到f的Fourier展开。 　　该方法计算的基础是Riemann面XG的同调，我们需要通过对曲面上的闭路进行积分，得到尖点形式f的周期。这样可以给出一个H1（XG，Z）的几何定义：将XG的所有闭路视为生成元，得到一个Abel群。其中两条闭路等价，当且仅当一条可以通过连续变换成为另外一条。以下给出模特征的定义：设α，β∈H*是在群G作用下等价的点，则从α到β的光滑路径能够投影到商空间的闭路，那么将决定一个整同调类，将这一同调类称为模特征，记作{α，β}。由此可以将f（z）从α到β积分，并将该积分乘以2πi的值定义为尖点形式的周期If（α，β）。如果α和β是任意的，则通过映射f→If（α，β）能够定义H1（XG，R）上的模特征。可以定义一个R-双线性函数，给出S2（G）×H1（XG，R）→C的一个对偶映射。 　　令J为行向量为（-1，0）和（0，1）的2×2矩阵，Γ的子群G称为实类型，如果J能够将G正规化。也就是说M∈G和M的伴随矩阵M*∈G等价。通过取负共轭数的方法可以定义映射z*，这一映射可以推广到{α，β}上。类似地可以定义f*，其Fourier系数是f的相应系数的共轭。从而可以得到一个重要的结论：H1（XG，R）可以分解为映射*的特征值分别为1和-1的特征子空间的直和。这样的话，就可以通过处理H+来处理H上的问题，维数降低了一半。 　　有了以上的工作，不难发现任意H1（XG，Z）的元素γ均具备形式{α，Mα}。考虑最重要的同余子群Γ0（N）：所有左下角元素为N的倍数的2×2矩阵。根据Manin-Drinfeld定理，如果G是Γ的同余子群，则对任何尖点对α，β，都有{α，β}∈H1（XG，Q）。使用Hecke算子，也可以说明当G是同余子群时，S2（G）具有有理数结构。也就是说，存在一组基，它们的Fourier系数全是有理数。这一有理结构的重要性在于，可以确定发现的曲线确实是在Q上定义的。考虑上半平面的三角剖分，可以定义边界映射δ，记其核为Z（G）。如果定义B（G）为（M）+（MS）和（M）+（MTS）+（M（TS）2）