除子与黎曼-罗赫定理
除子记录了簇上函数的零点和极点，线丛以几何方式封装了它们，而黎曼-罗赫定理则根据几何不变量来计算具有规定极点行为的函数数量。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
簇上的除子是余维数为一的子簇的形式组合，编码了零点和极点；线丛是它们的几何对应物，黎曼-罗赫定理将除子截面空间的维度与其次数、亏格和典范除子联系起来。
Scope
本主题阐述了外尔除子和卡地亚除子、线性等价、除子类群和皮卡群，以及除子与线丛（可逆层）之间的对应关系。它讨论了线性系及其定义的射影空间映射、典范除子和曲线的亏格，最终以曲线的黎曼-罗赫定理和塞尔对偶性的作用为高潮。高维和格罗滕迪克-希策布鲁赫推广被视为自然的延伸。
Core questions
- 外尔除子和卡地亚除子如何编码有理函数的零点和极点行为？
- 为什么线性等价意义下的除子与线丛是相同的数据？
- 线性系如何确定从簇到射影空间的映射？
- 黎曼-罗赫定理计算了什么，塞尔对偶性如何介入？
Key concepts
- 外尔除子和卡地亚除子；线性等价
- 除子类群和皮卡群
- 线丛（可逆层）和线性系
- 典范除子和曲线的亏格
- 黎曼-罗赫定理和塞尔对偶性
Clinical relevance
除子和黎曼-罗赫定理是曲线理论的计算核心，是纠错Goppa码构造、椭圆曲线算术以及代数曲面和高维簇分类的基础。
History
黎曼关于函数空间维度的不等式（1857年）由他的学生罗赫完善为黎曼-罗赫定理；希策布鲁赫在20世纪中叶的推广和格罗滕迪克的相对版本将其嵌入到现代上同调代数几何中。
Key figures
- Bernhard Riemann
- Gustav Roch
- Friedrich Hirzebruch
Related topics
Seminal works
- hartshorne1977
- eisenbud1995
Frequently asked questions
- 除子与线丛之间有什么关系？
- 在光滑簇上，线性等价意义下的除子与线丛的同构类精确对应；除子在皮卡群中的类就是其截面沿该除子消失的线丛。
- 黎曼-罗赫定理说明了什么？
- 对于光滑射影曲线上的除子，它根据除子的次数和曲线的亏格，给出了极点受除子限制的有理函数空间的维度，这是一个基本的计数结果。