An Invitation to Algebraic Geometry



http://www.docin.com/p-480809000.html
仿射平面曲线是C^2中复多项式的零点集。
平面曲线的例子：
超曲面是C^n中任意维的单个多项式的零点集。
二次锥面（quadratic cone）是超曲面的典型例子。
线性（一次）多项式的零点集是叫做仿射超平面的仿射代数簇。
复变量的直线ax+by=c是C^2中的超平面。
【代数曲线部分的习题】
证明y^2=x^5(x-1)定义了一条有理曲线。并求有理多项式f(t),g(t)使得x=f(t),y=g(t)是它的有理参数化。（考虑代换y=x^3t）
求参数化x=t^2-1，y=t^3-t定义的有理曲线的方程。
计算椭圆曲线C_λ:y^2=x(x-1)(x-λ),λ≠0,1的J-不变量。并证明C_μ=C_λ当且仅当μ是下述6个数之一：λ,1-λ,1/λ,(λ-1)/λ,1/(1-λ),λ/(λ-1)
求出下述不可约曲线的奇点、奇点的重数及奇点处的切线方程：F=XY^4+YZ^4+XZ^4。
1.仿射代数簇
1.1定义和例子
1.2扎里斯基拓扑
扎里斯基拓扑是一种纯粹由代数来定义的的拓扑，这种拓扑建立在某个环的交换环谱之上或者某个代数簇之上。对R^n或者C^n来说，相应扎里斯基拓扑定义的闭集，就是由全体多项式方程的解集合构成。
The Zariski topology is defined algebraically on the spectrum of a ring or an algebraic variety. On R^n or C^n, the closed sets of the Zariski topology are the solution sets of systems of polynomial equations.
1.3仿射代数簇之间的态射(morphisms)
1.4维数
2.代数基础
2.1交换环论的快速回顾
2.2希尔伯特基定理
2.3希尔伯特零点定理
2.4坐标环
2.5代数和几何的等价性
2.6环的谱
3.投影簇
3.1投影空间
3.2投影簇
3.3仿射簇的投影闭包
3.4投影簇之间的态射
3.5投影空间的自同构（automorphisms）
4.拟投影簇
4.1拟投影簇
4.2扎里斯基拓扑的基
4.3正则函数
5古典构造
5.1韦罗内塞映射
5.2五点决定一条圆锥曲线
5.3塞格雷（C.Segre）映射和簇的乘积
5.4格拉斯曼流形（Grassmannians）
5.5次数（Degree）
5.6希尔伯特函数
6.光滑（Smoothness）
6.1在一点的切空间
6.2光滑点
6.3Smoothness in Families
6.4贝尔蒂尼定理
6.5高斯映射
7.双有理几何
7.1Resolution of Singularities
简单说，代数簇的奇点是那些不光滑的点，例如代数曲线的奇点有结点和尖点。奇点解消的问题是指通过双有理变换把奇点消去或者把复杂的奇点分解为简单的奇点。
奇点消解就是对于任意一个代数簇找出一个非奇异代数簇与其双有理等价。
7.2有理映射
7.3双有理等价
一个代数簇V_l到另一个代数簇V_2的映射称为双有理映射，如果它诱导V_l的有理函数域到V_2的有理函数域之间的同构。如果两个代数簇V_l与V_2分别有稠密开集U_l与U_2，可以建立起U_l与U_2之间的同构，则V_l与V_2是双有理等价的。这个等价于V_l与V_2的有理函数域同构。
我们可以先看代数曲面的情形，此时双有理等价的定义方式更加初等一些。
两个曲面S_1, S_2之间的一个有理映射φ：S_1→S_2是指从S_1的一个Zariski开集到S_2的一个态射。
如果φ有一个有理逆映射ψ：S_2→S_1，则它称为一个双有理映射，这时S_1和S_2称为双有理等价的。双有理等价是曲面的一个重要的等价关系。两个双有理等价的曲面具有相同的几何亏格、不规则性和Euler-Poincare特征标，但Chern数和Picard数不一定相同。
§3.6代数曲线（特别是椭圆曲线）的算术理论
代数几何考虑代数曲线，是把它们作双有理分类，不同亏格的代数曲线彼此不（双有理）等价。
当亏格>=1时，甚至同样亏格的代数曲线也有许多也有许多等价类。但是从数论观点，研究代数曲线在数域K（或