Đa tạp đại số

Một đa tạp affine trên trường đóng đại số là đa tạp dễ nhất để định nghĩa nên ta sẽ dùng nó trong phần này. Tiếp theo, ta có thể định đa tạp xạ ảnh và đa tạp giả xạ ảnh theo cách tương tự. Định nghĩa chung của các đa tạp đại số thường có được từ việc ghép các đa tạp giả xạ ảnh nhỏ hơn với nhau.

Cho trường đóng đại số K và số tự nhiên n, Gọi Aⁿ là không gian affin n chiều trên K, đồng nhất với ${\displaystyle K^{n}}$ qua việc chọn hệ tọa độ affine. Các đa thức  f  trong vành K[x₁, ..., x_n] có thể được xem là các hàm K-giá trị trên Aⁿ bằng việc tính  f  tại các điểm thuộc Aⁿ, nghĩa là chọn một số giá trị trong K cho mỗi x_i. Với mỗi tập S của các đa thức trong K[x₁, ..., x_n], định nghĩa quỹ tích không Z(S) là tập các điểm trong Aⁿ mà trên đó các hàm trong S đều trả về giá trị không, hay nói cách khác là

${\displaystyle Z(S)=\left\{x\in \mathbf {A} ^{n}\mid f(x)=0{\text{ với mọi }}f\in S\right\}.}$

Tập con V của Aⁿ được gọi là tập đại số affin nếu V = Z(S) với một vài S.^[1]:2Một tập đại số affin không rỗng V được gọi là bất khả quy nếu nó không thể viết thành hợp của hai tập con đại số chính tắc.^[1]:3 Một tập đại số affin bất khả quy có thể gọi ngắn đi là đa tạp affin.^[1]:3.

Các đa tạp affin có thể trang bị cùng tôpô tự nhiên bằng việc coi các tập đóng là các tập đại số affin. Tôpô này được gọi là tôpô Zariski.^[1]:2

Cho tập con V của Aⁿ, ta định nghĩa I(V) là ideal của tất cả các đa thức triệt tiêu trên V:

${\displaystyle I(V)=\left\{f\in K[x_{1},\ldots ,x_{n}]\mid f(x)=0{\text{ với mọi }}x\in V\right\}.}$

Với mọi tập đại số affin V, vành tọa độ hay vành cấu trúc của V là thương của vành đa thức chia bởi chính ideal này.^[1]:4

Trong hình học đại số cổ điển, tất cả đa tạp đều theo định nghĩa đa tạp giả xạ ảnh, tức là các đa tạp con mở của các đa tạp con đóng của không gian xạ ảnh. Để lấy ví dụ, trong chương 1 của Hartshorne, một đa tạp trên trường đóng đại số được định nghĩa là đa tạp giả xạ ảnh,^[1]:15 nhưng từ chương 2 trở đi, thuật ngữ đa tạp (hay còn gọi là đa tạp trừu tượng) thường chỉ đối tượng tổng quát hơn mà khi xét cục bộ thì là một đa tạp giả xạ ảnh nhưng nhìn tổng quan thì chưa chắc phải là đa tạp giả xạ ảnh; nghĩa là nó không có phép nhúng vào không gian xạ ảnh.^[1]:105 Như vậy, theo cổ điển thì định nghĩa của đa tạp đại số cần có phép nhúng vào không gian xạ ảnh, và phép nhúng này được dùng để định nghĩa tôpô trên đa tạp cùng với các hàm chính quy trên đa tạp. Bất lợi của định nghĩa này là không phải mọi đa tạp đều đi kèm phép nhúng tự nhiên vào không gian xạ ảnh. Để lấy ví dụ, dưới định nghĩa này thì tích P¹ × P¹ không phải đa tạp cho đến khi nó được nhúng vào không gian xạ ảnh bằng phép nhúng Segre. Tuy nhiên, bất cứ đa tạp nào có một phép nhúng vào không gian xạ ảnh thì cũng sẽ có nhiều phép nhúng khác vào không gian xạ ảnh bằng cách hợp phép nhúng đó với phép nhúng Veronese. Điều này cho thấy, tại thời gian cổ điển nhiều thuật ngữ vẫn còn chưa được định nghĩa trước một cách rõ ràng.