代数几何是数学的一个分支，研究由多项式方程定义的几何对象。它将方程的解视为空间中的点，并通过该空间上的代数函数来研究空间，从而把代数与几何学联系起来。经典的研究对象包括曲线、曲面以及更高维的簇；现代基础理论则将研究范围扩展到概形，概形还承载着无穷小结构和算术信息。代数几何关注这些对象的结构、分类、相交和变换，而不只是求出某些具体的解。(jmilne.org)
多项式方程与簇
设 (k) 是一个域（数学），(f_1,\ldots,f_r) 是 (n) 个变量的多项式。它们在仿射空间中的公共零点集为 [ V(f_1,\ldots,f_r)= {a\in k^n:f_i(a)=0\text{ 对所有 }i\text{ 均成立}}. ] 例如，(y-x^2=0) 定义了一条抛物线。更一般地，多项式的零点集称为代数集。按照一种常见的经典约定，代数簇是不可约的代数集，即不能表示为两个真闭代数子集的并。不同文献对这些术语的用法有所不同。(jmilne.org)
这些方程在多项式环（数学） (k[x_1,\ldots,x_n]) 中生成一个理想（环论）。反过来，在一个代数集上处处为零的多项式也构成一个理想。在代数闭域上，希尔伯特零点定理建立了代数集与根理想之间反转包含关系的对应。因此，几何上的包含关系转化为理想之间的代数关系。坐标环 [ k[V]=k[x_1,\ldots,x_n]/I(V) ] 记录了 (V) 上的多项式函数，使代数计算成为研究几何的手段。(jmilne.org)
射影几何与映射
射影几何提供了一类空间，其中的点用齐次坐标 ([x_0:\cdots:x_n]) 表示；若两个非零坐标组相差一个共同的非零标量倍数，就将它们视为同一点。齐次多项式定义射影代数集。仿射空间可以作为其中的一个坐标图，而它的射影完备化还包含该坐标图之外的点，这些点通常称为无穷远点。与仿射几何相比，这一框架能够更统一地处理许多相交问题。(jmilne.org)
代数空间之间的映射必须保持其代数结构。正则映射在定义域的每一点都有定义；有理映射则由稠密开子集上的正则映射表示，当这些代表在适当的共同定义域上一致时，就将它们视为同一个有理映射。因此，有理映射未必能够延拓到每一个点。当我们通过空间上的函数而非某个特定的嵌入来比较空间时，这一区别至关重要。(stacks.math.columbia.edu)
如果两个整簇各自包含一个稠密开子集，且这两个开子集同构，就称这两个簇双有理等价。这一关系弱于同构：双有理模型在例外子集上可能有所不同。对于曲线，正规化与延拓定理在函数域和非奇异射影模型之间建立了尤其紧密的联系。高维双有理几何还涉及更多现象，因为修改可能改变整个除子或更复杂的子空间。(math.stanford.edu)
局部结构与整体不变量
维数、切空间和奇点描述了代数空间的局部几何。对于代数闭域上的代数集，维数可以通过不可约闭子集链来表述。切空间则通过在某一点处将方程线性化得到。雅可比矩阵为这些线性条件提供了可用于计算的表达，将局部几何与线性代数联系起来。奇点是局部结构不具备预期的非奇异性质的点。(math.stanford.edu)
整体问题需要借助能够联系不同开子集上信息的工具。层将局部定义的函数及其他代数数据组织起来，而层上同调则衡量这些数据在整体上相容的某些方面。对于射影曲线，黎曼–罗赫定理将截面空间与次数、亏格联系起来。亏格可以区分一些重要的曲线类别，但仅凭亏格并不能确定曲线的同构类。(math.stanford.edu)
概形与现代基础理论
概形是一种局部以仿射概形 (\operatorname{Spec}(A)) 为模型的空间。对于交换环 (A)，其谱中的点是素理想。这些点组成的空间配备有扎里斯基拓扑和一个环的结构层。因此，概形并不只是一个点集：局部定义的代数函数也是这一对象的组成部分。概形态射保持这种由拓扑与代数共同构成的结构。(stacks.math.columbia.edu)
概形保留了普通零点集所丢失的信息。例如，环 (k[x]/(x)) 与 (k[x]/(x^2)) 虽然具有相同的底层点集，却定义了不同的概形；后者保留了一个非零的幂零元素。亚历山大·格罗滕迪克的奠基性工作将这类结构纳入理论，并强调族与函子性构造。这一方法使我们能够在任意域及更一般的环上开展几何研究，其中包括以整数为基础构造的算术空间。(jmilne.org)
计算与研究问题
计算代数几何研究处理方程并提取几何信息的有效算法。格勒布纳基将多项式理想的生成元变换为适合进行理想成员判定、消元及相关计算的形式。它们推广了线性代数中行化简所承担的部分计算功能，不过多项式计算可能需要多得多的计算资源。计算复杂度在很大程度上取决于方程本身和所选的单项式序。(arxiv.org)
符号方法处理精确的代数表达式。数值代数几何则利用近似解以及同伦延拓、单值化等技术来研究多项式方程组。这些方法可以相互补充：精确计算用于确立代数关系，而数值方法有助于探索难以用符号方法处理的解集。研究问题包括确定由方程给出的空间的分支、维数、奇点以及相交情况。(pi.math.cornell.edu)