python math算向量的模_模形式随记（一）序

序

模形式这门课可谓是数学里面的“立交桥“，联系着数学中多方面的范畴：复分析、群论、数论、线性代数、拓扑。其中又涉及概念：黎曼几何、同调、同源、迷向子群、傅里叶展开（q级数）、积性函数、椭圆曲线与代数曲线等等。在我想要写这一系列的文章的时候，倒逼着我把复分析、数论、代数拓扑又重新翻了一遍（之前学习的不是特别系统，有些内容要么是忘了，要么是当时学没留意），然后写了相应的讨论。

我所要写的这一系列主要还是围绕2019年北京大学的暑期课程（张益唐老师主讲）内容为主线。中间我会加入一些自己的理解，以及书上的题，并用一些程序去辅助地了解一些抽象概念（说白了，就是让电脑替我算一些平凡的例子，然后我只需了解有哪些基本结果就OK）。这一系列我会写到代数曲线这一部分之前的（new /old form），因为后面的内容对我来说感觉理（mei）所（you）应（li）当（jie），而且时间上又不够。等后以后再学到相应的东西时，我再续更。

本文以介绍概念为主

目录

• 模群de一些定义~
• 复变de一些定义
• 最后说说模形式~
• 椭圆曲线发展史简述

---

模群de一些定义~

定义 我们将如下集合称之为 模群（modular group），即：

，其中元素对乘法保持封闭。

我之前有一些对该群上元素做了一些探究，其实也就通过画画图方式来清楚模群上的分式线性变换都在做什么。

陆艺：复变随记（一） 可视化分式线性变换（附python 代码）​zhuanlan.zhihu.com

陆艺：群论随记（一）对模群SL的进一步探讨​zhuanlan.zhihu.com

我做的都只是针对每一个元素，这么看其实看不出来效果。而且有无穷多个元素，怎么才能做好分类呢？

想想看，模形式模形式，你得规定个“模”才方便后面的分类嘛。于是乎，有如下定义

定义 N阶主同余子群（principle congruence subgroup of level N）为 如下形式

而

同余子群（congruence subgroup）则为

，其中

说白了，随便从中拿出来一个就是这样的元素

定义

于是能够发现