Số học và Lý thuyết số

Hình học số học

Nghiên cứu nghiệm của phương trình đa thức bằng cách kết hợp công cụ hình học đại số và lý thuyết số.

Trực giácHai lăng kính cho cùng một tập điểm

Xét một đường cong cho bởi phương trình đa thức, chẳng hạn $y^2 = x^3 + ax + b$ . Một nhà hình học nhìn thấy một hình dạng: đường cong trơn uốn lượn trên mặt phẳng, tại mỗi điểm đều có một tiếp tuyến xác định. Một nhà lý thuyết số lại hỏi một câu hẹp hơn nhiều: những điểm nào trên hình dạng đó có tọa độ là số nguyên hay phân số — $E(\mathbb{Q})$ , các điểm hữu tỉ? Hình học số học là ngành không tách rời hai câu hỏi đó. Nó dùng hình dạng hình học (giống loài, tính đối xứng, cách đường cong nằm trong không gian nhiều chiều) để khống chế số học: có bao nhiêu điểm hữu tỉ, và chúng được tổ chức ra sao.

Đường cong thực

E:y^2=x^3-2x+1

có ba nghiệm thực nên gồm một nhánh không bị chặn và một oval riêng. Widget đánh dấu

P

, điểm phản chiếu

-P

và tiếp tuyến dùng trong luật nhóm dây cung-tiếp tuyến;

\Delta\ne0

xác nhận đường cong không kỳ dị.

Phổ thôngTừ câu đố số nguyên đến hình dạng đường cong

Trước khi từ hình học xuất hiện, toán phổ thông đã ẩn chứa câu hỏi kiểu hình học số học: tam giác vuông nào có ba cạnh là số nguyên (bộ ba Pythagoras), hay số nguyên nào là diện tích của một tam giác vuông có cạnh hữu tỉ (bài toán số đồng dư). Cả hai câu hỏi hóa ra đều là chuyện đếm điểm hữu tỉ trên một đường cong bậc ba cụ thể. Bước nhảy mà hình học số học thực hiện là xử lý mọi phương trình đa thức theo cách đó: gắn cho nó một đối tượng hình học (đường cong, hay đa tạp nhiều chiều hơn), rồi đọc ra câu trả lời số học từ các bất biến hình học như giống loài — một số nguyên đo, đại khái, đường cong nghiệm phức có bao nhiêu lỗ khi vẽ như một mặt.

Định nghĩa: Điểm hữu tỉ của đường cong elliptic

Một đường cong elliptic trên $\mathbb{Q}$ là đường cong bậc ba trơn cho bởi phương trình Weierstrass $y^2 = x^3 + ax + b$ với $a,b\in\mathbb{Q}$ , cùng một điểm phụ $O$ ở vô cực. Tập điểm hữu tỉ $E(\mathbb{Q})$ của nó gồm $O$ cùng mọi cặp số hữu tỉ thỏa phương trình. Điều đáng chú ý là $E(\mathbb{Q})$ mang cấu trúc nhóm aben tự nhiên: ba điểm có tổng bằng $O$ đúng khi chúng thẳng hàng, với $O$ đóng vai trò phần tử đơn vị.

y^2 = x^3 + ax + b

Ở đây $x,y$ là tọa độ một điểm trên đường cong, còn $a,b\in\mathbb{Q}$ là các hệ số hữu tỉ cố định xác định đường cong bậc ba nào đang được xét, với điều kiện nhẹ là $x^3+ax+b$ không có nghiệm bội, để đường cong luôn trơn.

E(\mathbb{Q}) \cong E(\mathbb{Q})_{\mathrm{tors}} \oplus \mathbb{Z}^r

Đây là định lý Mordell–Weil: $E(\mathbb{Q}) \cong E(\mathbb{Q})_{\mathrm{tors}} \oplus \mathbb{Z}^r$ . Định lý nói rằng nhóm điểm hữu tỉ, dù thoạt nhìn phức tạp thế nào, luôn được dựng từ một phần hữu hạn $E(\mathbb{Q})_{\mathrm{tors}}$ (nhóm con xoắn, các điểm có cấp hữu hạn) cộng với hữu hạn điểm độc lập có cấp vô hạn, mà số lượng $r$ của chúng được gọi là hạng.

Giống loài khống chế kích thước tập điểm hữu tỉ ra sao
Giống loài	Phương trình tiêu biểu	Điểm hữu tỉ
$g=0$	một đường conic, ví dụ $x^2+y^2=1$	hoặc không có điểm nào, hoặc vô hạn điểm mô tả bởi một tham số hóa hữu tỉ
$g=1$	một đường cong elliptic, ví dụ $y^2 = x^3 + ax + b$	một nhóm hữu hạn sinh $E(\mathbb{Q})$ , có thể vô hạn nhưng luôn mô tả được bằng hữu hạn phần tử sinh
$g \ge 2$	một đường cong Fermat, ví dụ $x^5 + y^5 = 1$	hữu hạn, $\|C(\mathbb{Q})\| < \infty$ (định lý Faltings)

Đại họcHai định lý định hình cả ngành

Định lý: Định lý Mordell–Weil

Với đường cong elliptic $E$ trên $\mathbb{Q}$ , nhóm $E(\mathbb{Q})$ hữu hạn sinh: $E(\mathbb{Q}) \cong E(\mathbb{Q})_{\mathrm{tors}} \oplus \mathbb{Z}^r$ với số nguyên $r\ge 0$ nào đó, gọi là hạng của $E$ .

Vì sao đúng?

Về nguyên tắc, các điểm hữu tỉ có thể tích lũy theo cách phức tạp tùy ý; định lý nói điều ngược lại xảy ra — toàn bộ tập vô hạn (nếu vô hạn) được khống chế hoàn toàn bởi hữu hạn điểm được chọn, kết hợp qua luật nhóm.

Chứng minh

Bước 1 (Mordell–Weil yếu). Trước hết chứng minh nhóm thương $E(\mathbb{Q})/2E(\mathbb{Q})$ là hữu hạn. Với điểm $P\in E(\mathbb{Q})$ không phải gấp đôi một điểm hữu tỉ, lý thuyết Kummer gắn cho $P$ một lớp trong nhóm đối đồng điều Galois $H^1(\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}), E[2])$ ; lớp này không rẽ nhánh ngoài hữu hạn số nguyên tố chia hết $2$ và biệt thức của $E$ . Định lý hữu hạn Hermite–Minkowski nói chỉ có hữu hạn mở rộng của $\mathbb{Q}$ với bậc bị chặn mà không rẽ nhánh ngoài một tập hữu hạn số nguyên tố cố định, điều này buộc ảnh của ánh xạ trên — và do đó $E(\mathbb{Q})/2E(\mathbb{Q})$ — phải hữu hạn.

Bước 2 (hàm độ cao). Định nghĩa độ cao $h(P)$ trên các điểm bằng logarit của tử số hoặc mẫu số lớn nhất xuất hiện trong tọa độ $x$ của $P$ (viết ở dạng tối giản). Hai tính chất của $h$ dẫn dắt lập luận: nó tăng theo quy luật $h(2P) = 4h(P) + O(1)$ khi nhân đôi, và với mọi chặn $H$ chỉ có hữu hạn điểm hữu tỉ thỏa $h(P) \le H$ , vì chỉ có hữu hạn phân số có tử và mẫu nhỏ hơn một kích thước cho trước.

Bước 3 (giáng cấp). Cố định các đại diện lớp $Q_1,\dots,Q_n$ cho nhóm hữu hạn $E(\mathbb{Q})/2E(\mathbb{Q})$ tìm được ở Bước 1. Với mọi $P\in E(\mathbb{Q})$ , có $Q_i$ nào đó thỏa $P - Q_i = 2P_1$ với điểm hữu tỉ $P_1$ , và ước lượng độ cao ở Bước 2 cho $h(P_1) \le \tfrac14 h(P) + C$ với hằng số $C$ chỉ phụ thuộc $E$ . Lặp lại — thay $P$ bằng $P_1$ , rồi $P_2$ , v.v. — độ cao liên tục co lại với hệ số gần $\tfrac14$ mỗi lần, nên sau hữu hạn bước nó tụt xuống dưới chặn cố định $C'=\tfrac{4C}{3}$ . Điều này biểu diễn mọi $P$ như tổ hợp của hữu hạn $Q_i$ và một điểm có độ cao tối đa $C'$ , mà chỉ có hữu hạn điểm như vậy.

Bước 4 (kết luận). Các bước 1–3 cho thấy $E(\mathbb{Q})$ được sinh bởi một tập hữu hạn. Một nhóm aben hữu hạn sinh, theo định lý cấu trúc, là tổng trực tiếp của một phần xoắn hữu hạn và một phần tự do, cho đúng $E(\mathbb{Q}) \cong E(\mathbb{Q})_{\mathrm{tors}} \oplus \mathbb{Z}^r$ .

Định lý: Định lý Faltings (giả thuyết Mordell)

Nếu $C$ là đường cong xạ ảnh trơn trên $\mathbb{Q}$ với giống loài $g \ge 2$ , thì $|C(\mathbb{Q})| < \infty$ : đường cong chỉ có hữu hạn điểm hữu tỉ.

Vì sao đúng?

Đường cong giống loài 0 có thể có họ vô hạn điểm hữu tỉ tham số hóa được, đường cong giống loài 1 có thể có nhóm điểm vô hạn nhưng hữu hạn sinh; đường cong giống loài $g \ge 2$ đủ cứng về mặt hình học (không nhận ánh xạ không hằng nào từ đường thẳng xạ ảnh, và phủ phổ dụng của nó là đĩa hyperbolic) nên điểm hữu tỉ không thể tích lũy.

Chứng minh

Bước 1 (từ đường cong sang đa tạp aben). Gắn cho $C$ đa tạp Jacobi $J$ của nó, một đa tạp aben chiều $g$ chứa $C$ (qua phép nhúng Abel–Jacobi, một khi đã cố định một điểm hữu tỉ). Một điểm hữu tỉ của $C$ ứng với một điểm hữu tỉ của $J$ , và cấu trúc Parshin (1968) biến một dãy vô hạn giả định các điểm hữu tỉ phân biệt trên $C$ thành vô hạn đa tạp aben chiều $g$ đôi một không đẳng cấu, xác định trên $\mathbb{Q}$ , đều có khử tốt ngoài một tập hữu hạn số nguyên tố cố định $S$ chỉ phụ thuộc $C$ .

Bước 2 (giả thuyết hữu hạn Shafarevich). Shafarevich giả thuyết rằng với $g$ và tập hữu hạn $S$ cố định, chỉ có hữu hạn lớp đẳng cấu đa tạp aben phân cực chính chiều $g$ trên $\mathbb{Q}$ có khử tốt ngoài $S$ . Faltings chứng minh điều này bằng lý thuyết Arakelov: ông dựng một hàm độ cao trên không gian moduli các đa tạp aben đó (độ cao Faltings), chỉ ra độ cao này biến đổi có kiểm soát qua đẳng giống, rồi chặn nó bằng tính hữu hạn của các mở rộng trường số không rẽ nhánh ngoài $S$ cùng các ước lượng từ lý thuyết độ cao và khử ổn định. Độ cao bị chặn trong không gian moduli chiều cố định buộc phải hữu hạn.

Bước 3 (mâu thuẫn khép lại lập luận). Bước 1 tạo ra vô hạn đa tạp aben không đẳng cấu dưới giả định sai rằng $C$ có vô hạn điểm hữu tỉ; Bước 2 cho thấy chỉ có hữu hạn đa tạp aben như vậy tồn tại. Mâu thuẫn này chỉ tránh được nếu giả định ban đầu sai, vậy $C$ chỉ có hữu hạn điểm hữu tỉ: $|C(\mathbb{Q})| < \infty$ .

Đại họcỨng dụng thực tiễn và Ví dụ minh họa

Cùng luật nhóm dây cung – tiếp tuyến dùng để sắp xếp các điểm hữu tỉ trên $y^2 = x^3 + ax + b$ cũng hoạt động khi tọa độ được lấy theo modulo một số nguyên tố lớn $p$ . Trong bối cảnh trường hữu hạn đó, cộng một điểm với chính nó $k$ lần ( $2P$ và các bội cao hơn $kP$ ) rất nhanh, trong khi tìm ngược lại $k$ từ $P$ và $kP$ — bài toán logarit rời rạc trên đường cong elliptic — là bất khả thi về mặt tính toán với đường cong chọn khéo. Sự bất đối xứng này bảo vệ các phiên bắt tay TLS trên web, khóa SSH và chữ ký số trong các hệ thống thanh toán và chuỗi khối. Gần với lý thuyết số thuần túy hơn, hàm $L$ Hasse–Weil $L(E,s)$ gom số lượng điểm của $E$ theo modulo mọi số nguyên tố $p$ vào một hàm giải tích duy nhất; giả thuyết Birch và Swinnerton-Dyer dự đoán $\operatorname{ord}_{s=1} L(E,s) = r$ , đọc trực tiếp hạng toàn cục $r$ của điểm hữu tỉ từ bậc triệt tiêu của $L(E,s)$ tại $s=1$ .

Ví dụ: Điểm nguyên trên đường cong Mordell y² = x³ − 2

Tìm tất cả nghiệm nguyên của phương trình Mordell $y^2 = x^3 - 2$ .

Lời giải

Bước 1 (phân tích trong vành bậc hai). Viết lại $y^2 = x^3 - 2$ thành $x^3 = y^2 + 2 = (y+\sqrt{-2})(y-\sqrt{-2})$ trong vành $\mathbb{Z}[\sqrt{-2}]$ , vốn là một miền nhân tử hóa duy nhất (nó có thuật toán Euclid giống hệt số nguyên thông thường).

Bước 2 (tính nguyên tố cùng nhau của hai nhân tử). Mọi ước chung $\delta$ của $y+\sqrt{-2}$ và $y-\sqrt{-2}$ cũng chia hết hiệu của chúng là $2\sqrt{-2} = -(\sqrt{-2})^3$ . Nếu $\sqrt{-2}$ chia hết cả hai nhân tử thì $2$ sẽ chia hết $y^2+2 = x^3$ , buộc $x$ và do đó $y$ đều chẵn; nhưng khi đó $x^3$ là bội của $8$ trong khi $y^2+2 \equiv 2 \pmod 4$ , vô lý. Vậy $y+\sqrt{-2}$ và $y-\sqrt{-2}$ nguyên tố cùng nhau trong $\mathbb{Z}[\sqrt{-2}]$ .

Bước 3 (mỗi nhân tử là một lập phương). Vì tích của chúng là lập phương $x^3$ và các phần tử khả nghịch của $\mathbb{Z}[\sqrt{-2}]$ là $\pm 1$ (đều đã là lập phương), tính nhân tử hóa duy nhất buộc $y+\sqrt{-2} = (u+v\sqrt{-2})^3$ với các số nguyên $u,v$ nào đó. Khai triển lập phương cho $y+\sqrt{-2} = (u^3-6uv^2) + (3u^2v - 2v^3)\sqrt{-2}$ .

Bước 4 (đọc ra nghiệm nguyên). So sánh hệ số của $\sqrt{-2}$ được $1 = v(3u^2-2v^2)$ . Vì $u,v$ nguyên nên $v = \pm 1$ ; chỉ $v=1$ làm cho $3u^2-2 = 1$ giải được, cho $u = \pm 1$ . Thay ngược lại được $y = u^3 - 6uv^2 = \pm 5$ và $x = u^2+2v^2 = 3$ , nên các điểm nguyên duy nhất trên $y^2 = x^3 - 2$ là $(x,y) = (3, \pm 5)$ . (Lưu ý rằng bản thân $E(\mathbb{Q})$ ở đây vẫn là vô hạn: lặp lại luật dây cung – tiếp tuyến từ $(3,5)$ tạo ra vô hạn điểm hữu tỉ với mẫu số ngày càng lớn, chẳng hạn $(\tfrac{129}{100}, \pm\tfrac{383}{1000})$ .)

Ví dụ: Nhân đôi một điểm trong mật mã đường cong elliptic

Trên đường cong elliptic $y^2 = x^3 + 2x + 3 \pmod{97}$ , tính điểm nhân đôi $2P$ với $P = (3,6)$ .

Lời giải

Bước 1 (kiểm tra $P$ thuộc đường cong và tìm hệ số góc tiếp tuyến). Thay $P=(3,6)$ vào $y^2 = x^3 + 2x + 3 \pmod{97}$ : vế trái là $6^2 = 36$ , vế phải là $3^3 + 2\cdot 3 + 3 = 36$ , vậy $P$ nằm trên đường cong. Lấy đạo hàm hàm ẩn của $y^2 = x^3+ax+b$ cho hệ số góc tiếp tuyến tại $P=(x_1,y_1)$ là $\lambda \equiv \frac{3x_1^2+a}{2y_1} \pmod{97}$ . Với $a=2$ và $(x_1,y_1)=(3,6)$ , tử số là $3\cdot 9 + 2 = 29$ và mẫu số là $2\cdot 6 = 12$ .

Bước 2 (nghịch đảo mẫu số theo modulo $97$ ). Vì $12\cdot 8 = 96 \equiv -1 \pmod{97}$ nên nghịch đảo modulo của $12$ theo modulo $97$ là $-8 \equiv 89 \pmod{97}$ . Do đó $\lambda \equiv 29\cdot(-8) = -232 \equiv 59 \pmod{97}$ .

Bước 3 (cho tiếp tuyến cắt đường cong và lấy đối xứng). Công thức dây cung – tiếp tuyến cho tọa độ $(x_3,y_3)$ của $2P$ bởi $x_3 \equiv \lambda^2 - 2x_1 \pmod{97}$ và $y_3 \equiv \lambda(x_1 - x_3) - y_1 \pmod{97}$ . Tính ra: $x_3 \equiv 59^2 - 6 = 3475 = 35\cdot 97 + 80 \equiv 80 \pmod{97}$ , và $y_3 \equiv 59(3-80) - 6 = -4549 = -47\cdot 97 + 10 \equiv 10 \pmod{97}$ , vậy $2P = (80,10)$ .

Lỗi hay gặp. Đừng nhầm điểm nguyên với điểm hữu tỉ trên đường cong elliptic. Theo định lý Siegel (1929), mọi phương trình Weierstrass

y^2 = x^3 + ax + b

chỉ có hữu hạn nghiệm nguyên

(x,y)\in\mathbb{Z}^2

— chẳng hạn

y^2 = x^3 - 2

chỉ có

(x,y) = (3, \pm 5)

— thế nhưng nhóm điểm hữu tỉ

E(\mathbb{Q})

vẫn có thể vô hạn (với

y^2 = x^3 - 2

thì hạng là

r=1

, sinh bởi

(3,5)

). Tương tự, định lý Faltings cho tính hữu hạn

|C(\mathbb{Q})| < \infty

khi

g \ge 2

, nhưng chưa cho thuật toán tổng quát để liệt kê tường minh các điểm đó.

Ghi chú lịch sử

Phương pháp giáng cấp vô hạn của Fermat vào thập niên 1640 — chẳng hạn chứng minh $y^2=x^4-1$ không có nghiệm hữu tỉ không tầm thường — chính là tiền thân của Bước 3 trong chứng minh Mordell–Weil. Poincaré (1901) nhận ra $E(\mathbb{Q})$ lập thành một nhóm và đặt câu hỏi liệu nó có luôn hữu hạn sinh không; Mordell chứng minh điều này năm 1922 cho đường cong elliptic trên $\mathbb{Q}$ , và Weil mở rộng năm 1928 cho đa tạp aben trên trường số. Từ cuối thập niên 1950, Grothendieck dựng lại hình học đại số xoay quanh lược đồ (scheme), đặt phương trình trên $\mathbb{Q}$ và trên trường hữu hạn $\mathbb{F}_p$ vào cùng một nền tảng hình học. Ngôn ngữ đó mở đường cho chứng minh giả thuyết Mordell của Faltings năm 1983 ( $|C(\mathbb{Q})| < \infty$ khi $g \ge 2$ ) và chứng minh định lý modular cho đường cong elliptic bán ổn định của Wiles năm 1995, khép lại định lý lớn Fermat.

Pierre de Fermat Alexander Grothendieck Andrew Wiles

Hiện trạng nghiên cứu tính đến năm 2026

Tính đến năm 2026, hai bài toán trụ cột định hướng phần lớn nghiên cứu hiện nay. Thứ nhất, giả thuyết Birch và Swinnerton-Dyer $\operatorname{ord}_{s=1} L(E,s) = r$ — một trong bảy bài toán Thiên niên kỷ của Viện Clay — mới chỉ được chứng minh tổng quát khi $\operatorname{ord}_{s=1} L(E,s) \in \{0,1\}$ (nhờ công trình của Gross–Zagier 1986 và Kolyvagin 1988 kết hợp với tính modular), còn với bậc triệt tiêu cao hơn vẫn đang mở; về mặt thống kê, Bhargava và Shankar (2015) đã chứng minh không điều kiện rằng hạng trung bình của đường cong elliptic trên $\mathbb{Q}$ nhỏ hơn hẳn $1$ , và một tỉ lệ dương đường cong thỏa BSD. Thứ hai, làm cho định lý Faltings trở nên hiệu quả — biến tính hữu hạn trừu tượng $|C(\mathbb{Q})| < \infty$ khi $g \ge 2$ thành danh sách điểm hữu tỉ cụ thể — đang được thúc đẩy bởi phương pháp Chabauty–Coleman và chương trình Chabauty phi aben của Kim; phương pháp Chabauty bậc hai của Balakrishnan, Dogra, Müller, Tuitman và Vonk (2019) đã tìm ra toàn bộ điểm hữu tỉ trên đường cong modular $X_s(13)$ giống loài $3$ . Câu hỏi liệu hạng $r$ của đường cong elliptic trên $\mathbb{Q}$ có bị chặn hay không cũng vẫn còn mở (hạng chính xác lớn nhất đã biết là $r=20$ , cùng một đường cong có hạng ít nhất $28$ do Elkies tìm ra năm 2006).

Trong định lý Mordell–Weil $E(\mathbb{Q}) \cong E(\mathbb{Q})_{\mathrm{tors}} \oplus \mathbb{Z}^r$ , số nguyên $r$ biểu thị điều gì?

Mật mã đường cong elliptic, dùng trong TLS và chữ ký blockchain, dựa trên cấu trúc nào được nghiên cứu trong hình học số học?

Theo định lý Faltings, đường cong xạ ảnh trơn $C/\mathbb{Q}$ với giống loài $g \ge 2$ có:

Giả thuyết Birch và Swinnerton-Dyer dự đoán hạng $r$ của $E(\mathbb{Q})$ bằng:

Tài liệu tham khảo

Joseph H. Silverman (2009). The Arithmetic of Elliptic Curves
Gerd Faltings (1983). Endlichkeitssätze für abelsche Varietäten über Zahlkörpern · DOI:10.1007/BF01388432
Marc Hindry, Joseph H. Silverman (2000). Diophantine Geometry: An Introduction
Manjul Bhargava, Christopher Skinner, Wei Zhang (2014). A majority of elliptic curves over Q satisfy the Birch and Swinnerton-Dyer conjecture · arXiv:1407.1826 [preprint, chưa bình duyệt]