Đường cong đại số

Đường cong Tschirnhausen là một ví dụ về đường cong đại số bậc ba.

Trong toán học, đường phẳng đại số affin là tập nghiệm của đa thức hai biến. Đường phẳng đại số xạ ảnh là tập nghiệm trong mặt phẳng xạ ảnh của đa thức thuần nhất trong ba biến. Đường phẳng đại số affin có thể chuyển thành đường phẳng đại số xạ ảnh bằng cách thuần nhất hoá đa thức của nó. Ngược lại, đường phẳng đại số xạ ảnh của phương trình thuần nhất h(x, y, t) = 0 có thể giới hạn về đường phẳng đại số affin dưới phương trình h(x, y, 1) = 0. Hai phép biến đổi này là nghịch đảo của nhau; do đó, ta có thể dùng chung thuật ngữ đường phẳng đại số mà không cần phải quan tâm tới nó là xạ ảnh hay affin.

Tổng quát hơn, đường cong đại số là đa tạp đại số có chiều bằng một. Hoặc nói một cách tương đương, đường cong đại số là đa tạp đại số tương đương song hữu tỉ với một đường phẳng đại số nào đó. Nếu đường cong đó nằm trong không gian affin hoặc không gian xạ ảnh, ta có thể dùng phép chiếu để tìm ra tương đương song hữu tỷ đó.

Các tương đương song hữu tỉ giúp rút gọn nghiên cứu các đường cong đại số về các đường phẳng đại số. Tuy nhiên, vẫn có một số tính chất không được giữ trong tương đương song hữu tỉ và do đó phải được nghiên cứu trên đường không phẳng. Một trong số các tính chất đó là bậc và độ trơn. Ví dụ như, tồn tại các đường con trơn có giống bằng 0 và bậc lớn hơn hai nhưng phép chiếu trên mặt phẳng của các đường cong đó có các điểm kỳ dị (xem công thức giống-bậc).

Đường không phẳng còn được gọi là đường không gian hay đường xiên.

Trong hình học Euclid

Đường cong đại số trong mặt phẳng Euclid là tập các điểm mà toạ độ của nó là nghiệm của phương trình đa thức hai biến p(x, y) = 0. Phương trình này còn được gọi là phương trình ẩn của đường cong.

Một trong những bài toán đầu tiên khi xét đường cong đại số là xác định hình dạng của đồ thị của nó rồi vẽ. Bài toán này không dễ như khi vẽ đồ thị của hàm số khi các giá trị y có thể dễ dàng tính từ nhiều giá trị của x. Song ta có thể dựa vào định nghĩa phương trình là đa thức để tìm ra một số cấu trúc giải quyết bài toán.

Mọi đường cong đại số đều có thể phân tách duy nhất thành hữu hạn số các cung đơn điệu và trơn (còn được gọi là các nhánh), đôi khi được nối với nhau bằng các điểm được gọi "điểm nổi bật", và có thể hữu hạn số điểm cô lập khác. Cung đơn điệu và trơn là đồ thị của hàm trơn được xác định và đơn điệu trên một khoảng mở của trục x. Theo mỗi hướng, cung đó hoặc không bị chặn (thường hay gọi là cung vô hạn) hoặc có điểm mút là điểm kỳ dị (được định nghĩa bên dưới) hoặc là điểm có đường tiếp tuyến song song với một trong hai trục toạ độ.

Lấy ví dụ, xét đường cong bậc ba Tschirnhausen, có hai cung vô hạn lấy điểm (0,0) là điểm mút. Điểm (0, 0) này là điểm kỳ dị duy nhất của đường cong đó. Trong đường cong còn có thêm hai cung cũng có điểm này làm điểm mút và điểm mút còn lại có đường tiếp tuyến ngang. Ngoài ram có hai cung khác trong đó mỗi điểm mút đó có một điểm mút có tiếp tuyến ngang và một điểm mút có tiếp tuyến dọc. Ngược lại, sinusoid không phải đường cong đại số bởi nó có vô hạn số cung đơn điệu.

Để vẽ đường cong đại số, ta cần để ý tới các điểm nổi bật và các đường tiếp tuyến của nó, các nhánh vô hạn và tiệm cận của chúng (nếu có) và cách mà các cung nối với nhau. Ngoài ra cũng có thể xét các điểm uốn làm điểm nổi bật. Khi vẽ tất cả các thông tin này ra giấy, thường thì có thể hình dung ngay hình dạng của đường cong. Nếu vẫn chưa xác định được thì ta chỉ cần thêm vài điểm và một số tiếp tuyến để có thể hình dung ra đường cong.

Các phương pháp để tính các điểm nổi bật và các tiếp tuyến của nó được đề cập dưới đây.

Đường xạ ảnh phẳng

Để thuận lợi, ta thường xét các đường cong trong không gian xạ ảnh. Đường cong đại số trong mặt phẳng xạ ảnh hay còn gọi là đường xạ ảnh phẳng là tập các điểm trong mặt phẳng xạ ảnh có các toạ độ xạ ảnh là nghiệm của đa thức thuần nhất ba ẩn P(x, y, z).

Mọi đường cong đại số affin của phương trình p(x, y) = 0 có thể chuyển thành thành đường cong xạ ảnh của phương trình $^{h}p(x,y,z)=0,$ trong đó

$$^{h}p(x,y,z)=z^{\deg(p)}p({\tfrac {x}{z}},{\tfrac {y}{z}})$$

là kết quả thuần nhất hoá p. Ngược lại, nếu P(x, y, z) = 0 là phương trình thuần nhất của đường cong xạ ảnh, thì P(x, y, 1) = 0 là phương trình của đường cong affin chứa các điểm của đường con xạ ảnh có toạ độ xạ ảnh thứ ba khác không. Hai phép thực hiện này nghịch đảo cho nhau bởi $^{h}p(x,y,1)=p(x,y)$ và, nếu p được định nghĩa bởi $p(x,y)=P(x,y,1)$, thì $^{h}p(x,y,z)=P(x,y,z),$ ngay khi đa thức thuần nhất P không chia hết cho z.

Lấy ví dụ, đường cong xạ ảnh của phương trình x² + y² − z² là hoàn thiện xạ ảnh của đường tròn đơn vị của phương trình x² + y² − 1 = 0.

Từ đây cho thấy rằng đường cong affin và đường xạ ảnh lấy từ là cùng một đường cong, hay nói một cách chuẩn xác hơn, đường cong affin là một phần của đường cong xạ ảnh nhưng đủ lớn để có thể định nghĩa hoàn toàn "toàn bộ" đường cong.

Đường xạ ảnh thường được nghiên cứu riêng. Nó thường được áp dụng khi nghiên cứu đường cong affin. Lấy ví dụ, nếu p(x, y) là đa thức định nghĩa đường cong affin, bên cạnh đạo hàm riêng $p'_{x}$ và $p'_{y}$, ta cũng có thể xét đạo hàm tại vô cực

$$p'_{\infty }(x,y)={^{h}p'_{z}(x,y,1)}.$$

Lấy ví dụ, phương trình của đường tiếp tuyến của đường cong affine có phương trình p(x, y) = 0 tại điểm (a, b) là

$$xp'_{x}(a,b)+yp'_{y}(a,b)+p'_{\infty }(a,b)=0.$$

Các điểm nổi bật của đường phẳng

Xem thêm: Đường phẳng

Ở đây, ta sẽ xét đường cong đại số phẳng định nghĩa bởi đa thức hai ẩn p(x, y) và dạng xạ ảnh của nó, định theo phương trình thuần nhất $P(x,y,z)={}^{h}p(x,y,z)$ của p.

Giao với một đường thẳng

Giao với các trục toạ độ và các tiệm cận rất có ích cho việc vẽ đường cong. Giao với một đường song song với trục toạ độ cho phép ta tìm ra ít nhất một điểm thuộc mỗi nhánh của đường cong. Nếu có một thuật toán tìm nghiệm hiệu quả, thì sẽ cho phép ta có thể vẽ đường cong bằng cách vẽ các giao điểm với tất cả các đường song song với trục y và chạy qua mỗi pixel trên trục x.

Nếu đa thức định nghĩa đường cong có bậc d, thì mọi đường thẳng sẽ cắt đường cong tối đa d điểm. Định lý Bézout khẳng định số giao điểm bằng d nếu các điểm được tìm trong không gian xạ ảnh trên trường đóng đại số (ví dụ như số phức), và được đếm cùng số bội. Phương pháp tính sau chứng minh định lý này trong trường hợp đơn giản.

Để tính giao của đường cong định nghĩa bởi đa thức p với đường thẳng có phương trình ax+by+c = 0, ta cần giải phương trình đường thẳng cho x (hoặc cho y nếu a = 0). Thay kết quả vào p, ta đường phương trình một ẩn q(y) = 0 (hay q(x) = 0, nếu phương trình đường thẳng được giải theo y), mỗi nghiệm này đều là một trong hai toạ độ của giao điểm. Toạ độ còn lại sẽ được suy từ phương trình đường thẳng. Số bội của giao điểm là số bội của nghiệm tương ứng. Có giao điểm tại vô cực nếu bậc của q nhỏ hơn bậc của p; khi đó số bội của giao điểm tại vô cực sẽ bằng hiệu giữa bậc của p và q.

Tiếp tuyến tại một điểm

Tiếp tuyến tại điểm (a, b) của đường cong là đường thẳng có phương trình $(x-a)p'_{x}(a,b)+(y-b)p'_{y}(a,b)=0$, giống như mọi đường cong khả vi định nghĩa theo phương trình ẩn. Trong trường hợp đa thức, có một công thức khác đơn giản hơn và đối xứng hơn như sau:

$$xp'_{x}(a,b)+yp'_{y}(a,b)+p'_{\infty }(a,b)=0,$$

trong đó $p'_{\infty }(x,y)=P'_{z}(x,y,1)$ là đạo hàm tại vô cực. Tương đương giữa hai phương trình được chứng minh bằng cách áp dụng định lý thuần nhất của Euler cho P.

Nếu $p'_{x}(a,b)=p'_{y}(a,b)=0,$, tiếp tuyến sẽ không xác định được và điểm đó sẽ thành điểm kỳ dị.

Ta có thể lập tức mở rộng sang trường hợp xạ ảnh: Phương trình tiếp tuyến của điểm có toạ độ xạ ảnh (a:b:c) của đường cong xạ ảnh với phương trình P(x, y, z) = 0 là

$$xP'_{x}(a,b,c)+yP'_{y}(a,b,c)+zP'_{z}(a,b,c)=0,$$

là các điểm kỳ dị của đường cong đó là các điểm thoả mãn

$$P'_{x}(a,b,c)=P'_{y}(a,b,c)=P'_{z}(a,b,c)=0.$$

(Điều kiện P(a, b, c) = 0 suy ra từ các điều kiện này, theo định lý thuần nhất hàm của Euler.)

Tiệm cận

Mọi nhánh vô hạn của đường cong đại số đều tương ứng với một điểm vô hạn trên đường cong, và điểm đó là điểm của hoàn thiện xạ ảnh của đường cong không nằm trong dạng affin. Tiệm cận tương ứng là tiếp tuyến của đường cong tại điểm đó. Ta có thể áp dụng công thức chung của tiếp tuyến cho đường cong xạ ảnh, nhưng ở đây sẽ có công thức riêng.

Đầu tiên ta phân tách đa thức p thành các đa thức thuần nhất nhỏ hơn $p=p_{d}+\cdots +p_{0}$, trong đó p_i là tổng của các đa thức monic của p có bậc i. Từ đây ta sẽ suy ra rằng

$$P={^{h}p}=p_{d}+zp_{d-1}+\cdots +z^{d}p_{0}$$

và

$$P'_{z}(a,b,0)=p_{d-1}(a,b).$$

Điểm tại vô cực tại đường cong là nghiệm của p dưới dạng (a, b, 0). hoặc tương đương, (a, b) là nghiệm của p_d. Áp dụng định lý cơ bản của đại số sẽ suy ra rằng, trên trường đóng đại số (thường sẽ là trường số phức) p_d sẽ phân tích thành tích của phần tử tuyến tính. Mỗi phần tử sẽ định nghĩa một điểm tại vô cực của đường cong: nếu bx − ay là một trong những phần tử đó, thì nó sẽ định nghĩa điểm tại vô cực (a, b, 0). Trên các số thực, p_d phân tích thành các phần tử tuyến tính và phần tử toàn phương. Các phần tử toán phương bất khả quy sẽ định nghĩa các điểm không thực tại vô cực, còn các điểm thực sẽ được lấy từ các phần tử tuyến tính. Nếu (a, b, 0) là điểm tại vô cực của của đường cong, có thể nói (a, b) là hướng tiệm cận. Đặt q = p_d, phương trình của tiệm cận tương ứng là

$$xq'_{x}(a,b)+yq'_{y}(a,b)+p_{d-1}(a,b)=0.$$

Nếu $q'_{x}(a,b)=q'_{y}(a,b)=0$ và $p_{d-1}(a,b)\neq 0,$ tiệm cận là đường tại vô cực, và trong trường hợp số thực, đường cong có nhánh giống với parabol. Trong trường hợp này ta có thể nói đường có nhánh parabol. Nếu

$$q'_{x}(a,b)=q'_{y}(a,b)=p_{d-1}(a,b)=0,$$

đường cong sẽ có điểm kỳ dị tại vô cực và có thể có nhiều tiệm cận. Các điểm đó có thể được tìm qua phương pháp tìm mặt nón tiếp tuyến của điểm kỳ dị.

Điểm kỳ dị

Các điểm kỳ dị của đường cong có bậc d định nghĩa bởi đa thức p(x,y) có bậc d là nghiệm của hệ phương trình sau:

$$p'_{x}(x,y)=p'_{y}(x,y)=p(x,y)=0.$$

Trong trường đặc số không, hệ này tương đương với

$$p'_{x}(x,y)=p'_{y}(x,y)=p'_{\infty }(x,y)=0,$$

trong đó, dùng ký hiệu của nội dung trước, $p'_{\infty }(x,y)=P'_{z}(x,y,1).$ Hai hệ này tương đương nhau theo Định lý thuần nhất hàm của Euler. Hệ sau có ưu điểm ở chỗ đa thức thứ ba có bậc d-1 thay vì d.

Tương tự, đối với đường cong xạ ảnh định nghĩa bởi đa thức thuần nhất P(x,y,z) bậc d, các điểm kỳ dị là nghiệm của phương trình sau

$$P'_{x}(x,y,z)=P'_{y}(x,y,z)=P'_{z}(x,y,z)=0$$

với toạ độ thuần nhất. (Nếu đặc số dương thì phải thêm phương trình $P(x,y,z)$ vào trong hệ.)

Điều này số điểm kỳ dị là hữu hiện miễn là p(x,y) hoặc P(x,y,z) không bình phương. Từ định lý Bézout suy ra số các điểm kỳ dị tối đa là (d−1)², nhưng cận này quá lớn bởi hệ phương trình bị xác định quá mức. Nếu cho phép các đa thức khả quy, cận chuẩn hơn là d(d−1)/2, và giá trị này được chạm tới khi các đa thức phân tích thành các phần tử tuyến tính, nghĩa là nếu đường cong là hợp của d đường thẳng. Đối với các đa thức và đường cong bất khả quy, số các điểm kỳ dị tối đa là (d−1)(d−2)/2, theo cách thức tính giống theo số kỳ dị. Giá trị cực đại được chạm tới bởi các đường cong có giống hai mà tất cả kỳ dị của nó đều có số bội hai và tiếp tuyến phân biệt.

Phương trình tiếp tuyến tại điểm kỳ dị được đưa bởi phần thuần nhất khác không có bậc nhỏ nhất trong chuỗi Taylor của đa thức tại điểm kỳ dị. Khi ta đổi toạ độ để đặt điểm kỳ dị tại gốc toạ độ, phương trình của các tiếp tuyến tại điểm kỳ dị sẽ là phần thuần nhất khác không có bậc nhỏ nhất của đa thức, và số bội của điểm kỳ dị là bậc của phần thuần nhất đó.

Cấu trúc giải tích

Nghiên cứu cấu trúc giải tích của đường cong đại số trong lân cận của điểm kỳ dị cho thêm thông tin chính xác về tô pô của các điểm kỳ dị. Thậm chí, khi gần điểm kỳ dị, đường cong đại số trở thành hợp của hữu hạn số nhánh chỉ giao với nhau tại điểm kỳ dị và có hình dạng giống với điểm lùi hoặc là đường cong trơn.

Gần điểm chính quy, một trong các toạ độ của đường cong có thể biểu diễn thành hàm giải tích của các toạ độ khác. Đây là hệ quả của định lý phương trình ẩn, và suy ra rằng đường cong sẽ trơn khi gần điểm đó. Khi gần điểm kỳ dị, bài toán trở nên phức tạp hơn và có bao gồm sử dụng chuỗi Puiseux, đưa ra các phương trình tham số của các nhánh.

Để mô tả điểm kỳ dị, ta nên tịnh tiến các điểm kỳ dị về gốc toạ độ. Tức là đổi toạ độ các biến về $X=x-a,Y=y-b,$ trong đó $a,b$ là toạ độ các điểm kỳ dị. Trong nội dung sau, các điểm kỳ dị được xét sẽ được ngầm trước là nằm ở gốc toạ độ.

Phương trình của đường con đại số là $f(x,y)=0,$ trong đó f là đa thức với ẩn x và y. Đa thức có thể coi là đa thức trong ẩn y, với hệ số trong trường đóng đại số của chuỗi Puiseux trong x. Do đó f có thể phân tích thành các phần tử dưới dạng $y-P(x),$ trong đó P là chuỗi Puiseux. Các phần tử khác nhau phân biệt nếu f là đa thức bất khả quy, bởi từ đây suy ra f không bình phương, tính chất này không phụ thuộc vào trường của các hệ số.

Chuỗi Puiseux ở đây có dạng sau

$$P(x)=\sum _{n=n_{0}}^{\infty }a_{n}x^{n/d},$$

trong đó d là số nguyên dương, và $n_{0}$ là số nguyên tuỳ ý mặc định trước ở đây là dương bởi ta chỉ xét các nhánh đi qua gốc toạ độ. Không mất tính tổng quát, ta giả sử rằng d nguyên tố cùng nhau với ước chung lớn nhất của n sao cho $a_{n}\neq 0$ (nếu không thì ta có thể chọn mẫu số chung nhỏ hơn cho các số mũ).

Gọi $\omega _{d}$ là căn đơn vị nguyên thuỷ thứ d.Nếu chuỗi Puiseux ở trên xuất hiện trong phân tích của $f(x,y)=0$, thì chuỗi d sau

$$P_{i}(x)=\sum _{n=n_{0}}^{\infty }a_{n}\omega _{d}^{i}x^{n/d}$$

cũng xuất hiện trong phân tích đó (đây là hệ quả của lý thuyết Galois). Chuỗi d này được gọi là liên hợp đại số, và được coi là một nhánh của đường cong, với chỉ số rẽ nhánh d.

Trong trường hợp đường cong thực, tức là đường cong định nghĩa bởi đa thức có các hệ số thực, có ba trường hợp có thể xảy ra. Nếu không có $P_{i}(x)$ nào có hệ số thực, thì ta sẽ có một nhánh không thực. Nếu một số trong $P_{i}(x)$ có hệ số thực, thì ta có thể chọn một trong số đó làm $P_{0}(x)$. Nếu d lẻ, thì mọi giá trị thực của x sẽ tính ra giá trị thực của $P_{0}(x)$, và ta sẽ có một nhánh trông chính quy, mặc dù nó kỳ dị nếu d > 1. Nếu d chẵn, thì $P_{0}(x)$ và $P_{d/2}(x)$ có giá trị thực, nhưng chỉ đối với x ≥ 0. Trong trường hợp này, nhánh thực sẽ trông giống như hình ++++ chỏm

Lấy ví dụ, hình chỏm thường sẽ chỉ có một nhánh. Nếu nó được định nghĩa bởi phương trình $y^{2}-x^{3}=0,$ thì phân tích của nó sẽ là $(y-x^{3/2})(y+x^{3/2});$ chỉ số rẽ nhánh bằng 2, hai phần tử này đều thực và đều định nghĩa một nửa nhánh. Nếu hình được quay, phương trình của nó trở thành $y^{3}-x^{2}=0,$ và phân tích của nó là $(y-x^{2/3})(y-j^{2}x^{2/3})(y-(j^{2})^{2}x^{2/3}),$ với $j=(1+{\sqrt {-3}})/2$ (hệ số $(j^{2})^{2}$ chưa được giản hoá về j để cho thấy định nghĩa trên của $P_{i}(x)$). Ở đây chỉ số rẽ nhánh là 3, và chỉ có một phần tử trong đây là thực; điều này cho thấy rằng. trong trường hợp ban đầu, cả hai phần tử đều phải cùng được xét định nghĩa cùng một nhánh.

Đường cong đại số không phẳng

Đường cong đại số là đa tạp đại số có chiều bằng một. Điều này suy ra rằng đường cong affin trong không gian affin có chiều n được định nghĩa bởi ít nhất n−1 đa thức n ẩn. Để định nghĩa một đường cong, các đa thức này phải sinh ra ideal nguyên tố có số chiều Krull bằng 1. Điều kiện này không dễ để kiểm tra, do đó các nhà toán học thường dùng cách sau để biểu đường cong không phẳng.

Gọi $f,g_{0},g_{3},\ldots ,g_{n}$ là n đa thức trong hai ẩn x₁ and x₂ sao cho f bất khả quy. Các điểm trong không gian affin chiều n có toạ độ thoả mãn các phương trình và bất phương trình sau

$${\begin{aligned}&f(x_{1},x_{2})=0\\&g_{0}(x_{1},x_{2})\neq 0\\x_{3}&={\frac {g_{3}(x_{1},x_{2})}{g_{0}(x_{1},x_{2})}}\\&{}\ \vdots \\x_{n}&={\frac {g_{n}(x_{1},x_{2})}{g_{0}(x_{1},x_{2})}}\end{aligned}}$$

là tất cả các điểm của một đường cong đại số trong đó đã bỏ đi hữu hạn số điểm. Đường cong này được định nghĩa bởi hệ các phần tử sinh của ideal của các đa thức h sao cho tồn tại số nguyên k thoả mãn $g_{0}^{k}h$ thuộc về ideal sinh bởi $f,x_{3}g_{0}-g_{3},\ldots ,x_{n}g_{0}-g_{n}$. Biểu diễn này có tương đương song hữu tỉ giữa đường cong và đường phẳng định nghĩa bởi f. Mọi đường cong đại số co thể biểu diễn theo cách này. Tuy nhiên, ta cần thay đổi tuyến tính các ẩn để gần như chiếu) nội xạ lên hai ẩn đầu tiên. Khi cần phải thay đổi các ẩn, thì gần như mọi thay đổi đề có lợi khi nó được định nghĩa trên trường vô hạn.

Biểu diễn này cho phép các nhà toán học suy ra bất kỳ tính chất của đường cong đại số không phẳng, bao gồm biểu diễn đồ thị của nó từ các tính chất của phép chiếu trên mặt phẳng.

Đối với đường cong được định nghĩa bởi các phương trình ẩn của nó, biểu diễn trên có thể suy ra được từ cơ sở Gröbner cho xếp thứ tự khối sao cho khối có các ẩn nhỏ hơn là (x₁, x₂). Đa thức f là đa thức duy nhất cơ sở chỉ phụ thuộc vào x₁ và x₂. Các phân thức g_i/g₀ thu về được bằng cách chọn từ i = 3, ..., n, một đa thức trong cơ sở mà tuyến tính trong x_i và chỉ phụ thuộc trên x₁, x₂ và x_i.Nếu không thể chọn ra được đa thức nào, thì có nghĩa là phương trình đó định nghĩa tập đại số không phải đa tạp, hoặc đa tạp đó không có chiều bằng một, hoặc ta phải đổi toạ độ. Trường hợp cuối xảy ra khi f tồn tại và duy nhất, ngoài ra i = 3, …, n, tồn tại các đa thức mà đơn thức đưng đầu chỉ phụ thuộc trên x₁, x₂ và x_i.

Xem thêm

Hình học đại số cổ điển

• Điểm cô lập
• Định lý Bézout
• Định lý Cramer (đường cong đại số)
• Điểm kép
• Đường cong
• Phác hoạ đường cong
• Đa tạp Jacobi
• Đường cong bậc bốn Klein
• Danh sách các đường cong
• Bài toán thứ 16 của Hilbert
• Đường phẳng bậc ba
• Đường cong siêu elliptic

Hình học đại số hiện đại

• Hình học song hữu tỷ
• Lát cắt conic
• Đường cong elliptic
• Trường hàm của đa tạp đại số
• Trường hàm (lý thuyết lược đồ)
• Giống (hình học)
• Đường phẳng bậc bốn
• Đường cong chuẩn tắc hữu tỉ
• Định lý Riemann–Roch cho đường cong đại số
• Định lý Weber

Hình học của mặt Riemann

• Công thức Riemann–Hurwitz formula
• Định lý Riemann–Roch cho mặt Riemann
• Mặt phẳng Riemann

Tham khảo

• Brieskorn, Egbert; Knörrer, Horst (2013). Plane Algebraic Curves. Stillwell, John biên dịch. Birkhäuser. ISBN 978-3-0348-5097-1.
• Chevalley, Claude (1951). Introduction to the Theory of Algebraic Functions of One Variable. Mathematical surveys. 6. American Mathematical Society. ISBN 978-0-8218-1506-9.
• Coolidge, Julian L. (2004) [1931]. A Treatise on Algebraic Plane Curves. Dover. ISBN 978-0-486-49576-7.
• Farkas, H. M.; Kra, I. (2012) [1980]. Riemann Surfaces. Graduate Texts in Mathematics. 71. Springer. ISBN 978-1-4684-9930-8.
• Fulton, William (1989). Algebraic Curves: An Introduction to Algebraic Geometry. Mathematics lecture note series. 30 (ấn bản 3). Addison-Wesley. ISBN 978-0-201-51010-2.
• Gibson, C.G. (1998). Elementary Geometry of Algebraic Curves: An Undergraduate Introduction. Cambridge University Press. ISBN 978-0-521-64641-3.
• Griffiths, Phillip A. (1985). Introduction to Algebraic Curves. Translation of Mathematical Monographs. 70 (ấn bản 3). American Mathematical Society. ISBN 9780821845370.
• Hartshorne, Robin (2013) [1977]. Algebraic Geometry. Graduate Texts in Mathematics. 52. Springer. ISBN 978-1-4757-3849-0.
• Iitaka, Shigeru (2011) [1982]. Algebraic Geometry: An Introduction to Birational Geometry of Algebraic Varieties. Graduate Texts in Mathematics. 76. Springer New York. ISBN 978-1-4613-8121-1.
• Milnor, John (1968). Singular Points of Complex Hypersurfaces. Princeton University Press. ISBN 0-691-08065-8.
• Serre, Jean-Pierre (2012) [1988]. Algebraic Groups and Class Fields. Graduate Texts in Mathematics. 117. Springer. ISBN 978-1-4612-1035-1.
• Kötter, Ernst (1887). “Grundzüge einer rein geometrischen Theorie der algebraischen ebenen Curven” [Fundamentals of a purely geometrical theory of algebraic plane curves]. Transactions of the Royal Academy of Berlin. — gained the 1886 Academy prize