Tra cứu Khái niệm — Giả thuyết Birch và Swinnerton-Dyer

• Tập các điểm hữu tỉ $E(\mathbb{Q})$ trên đường cong elliptic là một nhóm Abel.
• Định lý Mordell--Weil [mordell1922] khẳng định $E(\mathbb{Q})$ là nhóm Abel hữu hạn sinh (xem Khái niệm 2).
• Giả thuyết BSD liên hệ cấu trúc của nhóm Abel $E(\mathbb{Q})$ (cụ thể là hạng của nó) với tính chất giải tích của hàm $L(E,s)$.
• Nhóm Selmer và nhóm Tate--Shafarevich cũng là các nhóm Abel, đóng vai trò “trung gian” trong việc hiểu $E(\mathbb{Q})$.

• Định lý Mordell--Weil [mordell1922]: Nếu $E$ là đường cong elliptic trên $\mathbb{Q}$, thì $E(\mathbb{Q})$ là nhóm Abel hữu hạn sinh. Do đó:
  \[ E(\mathbb{Q}) \cong \mathbb{Z}^r \oplus E(\mathbb{Q})_{\mathrm{tors}}, \]
  trong đó $r$ là hạng và $E(\mathbb{Q})_{\mathrm{tors}}$ là phần xoắn hữu hạn.
• Giả thuyết BSD yếu nói rằng hạng $r$ (số bậc tự do) bằng bậc triệt tiêu của hàm $L(E,s)$ tại $s = 1$.
• Giả thuyết BSD mạnh cho công thức chính xác chứa cả $|E(\mathbb{Q})_{\mathrm{tors}}|^2$ ở mẫu số.

Hơn nữa, nhờ Định lý Mazur, phần xoắn hoàn toàn xác định được --- đây là thành phần “dễ tính nhất” trong công thức BSD [mazur1977].

Giả thuyết BSD yếu: $\mathrm{rk}(E(\mathbb{Q})) = \mathrm{ord}_{s=1} L(E,s)$.

Tức là, hạng đại số (đo bằng cấu trúc nhóm) bằng hạng giải tích (đo bằng bậc triệt tiêu của hàm $L$). Đây là cầu nối giữa đại số và giải tích --- hai thế giới hoàn toàn khác nhau trong toán học.

Các kết quả đã biết [coates-wiles1977, gross-zagier1986, kolyvagin1990]:

• Nếu $\mathrm{ord}_{s=1} L(E,s) = 0$ thì $\mathrm{rk}(E(\mathbb{Q})) = 0$ (Kolyvagin, dựa trên Gross--Zagier).
• Nếu $\mathrm{ord}_{s=1} L(E,s) = 1$ thì $\mathrm{rk}(E(\mathbb{Q})) = 1$ (Gross--Zagier + Kolyvagin).
• Trường hợp $\mathrm{ord}_{s=1} L(E,s) \geq 2$ vẫn hoàn toàn mở.

• $\mathrm{End}(E)$: Xác định đường cong có nhân phức (CM) hay không. Trường hợp CM là trường hợp “dễ nhất” mà BSD đã được chứng minh (Coates--Wiles [coates-wiles1977], Rubin [rubin1987]).
• $\mathbb{Z}_p$ (vành các số nguyên $p$-adic): Nền tảng cho hàm $L$ $p$-adic và lý thuyết Iwasawa.
• Vành Hecke $\mathbb{T}$: Đóng vai trò then chốt trong chứng minh Wiles ($R = \mathbb{T}$) [wiles1995].
• Vành biến dạng $R$: Tham số hóa các biểu diễn Galois --- trung tâm của phương pháp Taylor--Wiles [taylor-wiles1995].

• $\mathbb{Q}$: BSD cổ điển nghiên cứu $E(\mathbb{Q})$ và $L(E,s)$.
• $\mathbb{F}_p$: Số điểm $\#E(\mathbb{F}_p)$ cho dữ liệu $a_p$ để xây dựng $L(E,s) = \prod_p L_p(E,s)$.
• $\mathbb{Q}_p$: Điều kiện cục bộ trong nhóm Selmer; hàm $L$ $p$-adic; lý thuyết Iwasawa.
• $\mathbb{C}$: Thác triển giải tích của $L(E,s)$; đường cong modular; dạng modular.
• Trường số $K/\mathbb{Q}$: BSD tổng quát hóa cho $E(K)$ --- ví dụ, BSD đẳng biến.
• Trường phức bậc hai ảo $\mathbb{Q}(\sqrt{-D})$: Xây dựng điểm Heegner [gross-zagier1986], bước then chốt trong chứng minh BSD cho hạng $1$.

• BSD trên trường số: Giả thuyết BSD tổng quát hóa cho $E(K)$ với trường số $K$ bất kỳ, dự đoán $\mathrm{rk}(E(K)) = \mathrm{ord}_{s=1} L(E/K, s)$.
• Điểm Heegner: Xây dựng trên trường phức bậc hai ảo $K = \mathbb{Q}(\sqrt{-D})$, sau đó “kéo xuống” $\mathbb{Q}$ qua trace map --- trung tâm của chứng minh Gross--Zagier [gross-zagier1986].
• Hệ thống Euler: Sử dụng tháp trường số $K \subset K_1 \subset K_2 \subset \cdots$ để xây dựng các lớp đối đồng điều tương thích [kolyvagin1990, rubin2000].
• Lý thuyết trường lớp: Liên hệ nhóm Galois $\mathrm{Gal}(K^{\mathrm{ab}}/K)$ với nhóm idèle --- nền tảng cho việc hiểu biểu diễn Galois.

• Số điểm $\#E(\mathbb{F}_p)$ xác định vết Frobenius $a_p = p + 1 - \#E(\mathbb{F}_p)$.
• Hàm $L$ được xây dựng từ tích Euler:
  \[ L(E,s) = \prod_{p \text{ tốt}} \frac{1}{1 - a_p p^{-s} + p^{1-2s}} \cdot \prod_{p \text{ xấu}} (\text{nhân tử đơn giản hơn}). \]
• Ý tưởng ban đầu của Birch--Swinnerton-Dyer [birch-sd1963]: Nếu $E(\mathbb{Q})$ có nhiều điểm hữu tỉ (hạng lớn), thì $E(\mathbb{F}_p)$ “xu hướng” có nhiều điểm hơn trung bình cho mỗi $p$, khiến tích $\prod_{p \leq X} \frac{\#E(\mathbb{F}_p)}{p}$ tăng nhanh. Đây chính là quan sát thực nghiệm dẫn đến giả thuyết BSD.
• Thuật toán Schoof [schoof1985] cho phép tính $a_p$ hiệu quả, từ đó kiểm nghiệm BSD bằng máy tính.

1. Nhân phức (CM): Đường cong elliptic có $\mathrm{End}(E) \cong \mathcal{O}_K$ (cho trường phức bậc hai ảo $K$) được gọi là đường cong CM. Định lý Coates--Wiles [coates-wiles1977]: Nếu $E$ có CM và $L(E,1) \neq 0$ thì $E(\mathbb{Q})$ hữu hạn --- đây là kết quả đầu tiên theo hướng BSD.
2. Điểm Heegner: Cho $K = \mathbb{Q}(\sqrt{-D})$ thỏa điều kiện Heegner ($D$ tách hoàn toàn trong $\mathbb{Z}/N\mathbb{Z}$). Khi đó ta xây dựng được điểm Heegner $P_K \in E(K)$, rồi chiếu xuống $E(\mathbb{Q})$ qua trace map. Công thức Gross--Zagier [gross-zagier1986]:
   \[ L'(E,1) = c \cdot \hat{h}(P_K), \]
   với $c > 0$ tường minh. Nếu $L'(E,1) \neq 0$ thì $P_K$ là điểm có chiều cao dương --- tức có bậc vô hạn, suy ra $\mathrm{rk}(E(\mathbb{Q})) \geq 1$.
3. Kolyvagin [kolyvagin1990]: Kết hợp với Gross--Zagier, chứng minh $L'(E,1) \neq 0 \Rightarrow \mathrm{rk}(E(\mathbb{Q})) = 1$ và $|\mathrm{Sha}| < \infty$.

• Hệ số $a, b$ trong phương trình Weierstrass $y^2 = x^3 + ax + b$ thuộc $\mathbb{Z}$ (sau khi đưa về mô hình tối thiểu).
• Hạng $r = \mathrm{rk}(E(\mathbb{Q}))$ là một số nguyên --- và BSD dự đoán $r = \mathrm{ord}_{s=1} L(E,s)$.
• Conductor $N_E$, số Tamagawa $c_p$, và $|\mathrm{Sha}|$ đều là các số nguyên dương.
• Công thức BSD mạnh dự đoán đẳng thức giữa các đại lượng hữu tỉ --- cuối cùng quy về quan hệ giữa các số nguyên.

• Câu hỏi cốt lõi: Tập $E(\mathbb{Q})$ “lớn” cỡ nào? (Hạng bằng bao nhiêu?)
• Trả lời dự đoán: Hạng bằng bậc triệt tiêu $\mathrm{ord}_{s=1} L(E,s)$.
• Mọi thành phần trong công thức BSD (hạng, phần xoắn, regulator, Sha, Tamagawa, chu kỳ thực) đều liên quan đến tập $E(\mathbb{Q})$ hoặc thông tin “cục bộ” trên $\mathbb{Q}_p$.
• Sự mở rộng sang trường số $K \supset \mathbb{Q}$ cho BSD tổng quát hơn, nhưng phiên bản trên $\mathbb{Q}$ vẫn là phiên bản được nghiên cứu sâu nhất và có nhiều kết quả nhất.

• Conductor: $N_E = \prod_p p^{f_p}$ là ideal trong $\mathbb{Z}$ (hay số nguyên dương) đo “mức độ rút gọn xấu” của $E$. Conductor xuất hiện trong phương trình hàm của $L(E,s)$ và xác định đường cong modular $X_0(N_E)$ liên kết với $E$ [silverman2009].
• Nhóm lớp và $\mathrm{Sha}$: Nhóm Tate--Shafarevich $\mathrm{Sha}(E/\mathbb{Q})$ là tương tự của nhóm lớp $\mathrm{Cl}(K)$. Cả hai đo “chướng ngại cục bộ--toàn cục”:
• $\mathrm{Cl}(K) = 1 \iff$ phân tích duy nhất trong $\mathcal{O}_K$.
• $\mathrm{Sha}(E/\mathbb{Q}) = 0 \iff$ nguyên lý Hasse đúng cho mọi torsor của $E$.

• Lý thuyết Iwasawa: Module Iwasawa có chuỗi đặc trưng (characteristic ideal) trong đại số Iwasawa $\Lambda$ --- phỏng đoán chính Iwasawa liên hệ ideal này với hàm $L$ $p$-adic.

• Đường cong elliptic $E$ có nhân phức bởi order $\mathcal{O}$ khi $\mathrm{End}(E) \cong \mathcal{O}$. Thông thường $\mathcal{O} = \mathcal{O}_K$ (order cực đại), nhưng cũng có thể là order nhỏ hơn.
• Lý thuyết trường lớp liên hệ các order với trường lớp vòng (ring class field): trường $H_f$ sao cho $\mathrm{Gal}(H_f/K) \cong \mathrm{Cl}(\mathcal{O}_f)$ --- nhóm lớp của order [cox2013].
• Điểm Heegner trên $X_0(N)$ được xây dựng từ các order $\mathcal{O}_f$ thỏa điều kiện Heegner. Conductor $f$ xác định “tầng” nào của tháp trường lớp mà điểm Heegner sống.
• Công thức Gross--Zagier [gross-zagier1986] sử dụng điểm Heegner ứng với $f = 1$ (order cực đại), nhưng các tổng quát hóa (Yuan--Zhang--Zhang [yuan-zhang-zhang2013]) cho phép $f > 1$.

• BSD yếu: $\mathrm{rk}(E(\mathbb{Q})) = \mathrm{ord}_{s=1} L(E,s)$.
• BSD mạnh: Công thức chính xác cho $\lim_{s \to 1} \frac{L(E,s)}{(s-1)^r}$ qua các bất biến của $E$.
• Mọi khái niệm khác trong sách (hàm $L$, nhóm Selmer, dạng modular, hệ thống Euler, ...) đều là “công cụ” để hiểu đường cong elliptic.
• Giải thưởng Clay $1.000.000 [clay2000] dành cho ai chứng minh (hoặc bác bỏ) BSD cho mọi đường cong elliptic trên $\mathbb{Q}$.

• Từ các hệ số $(a_1, \ldots, a_6)$, ta tính: biệt thức $\Delta$, $j$-bất biến, conductor $N_E$, rút gọn modulo $p$, vết Frobenius $a_p$, và hàm $L(E,s)$.
• Mô hình tối thiểu: Để tính chính xác các thành phần BSD mạnh (số Tamagawa $c_p$, chu kỳ thực $\Omega_E$), cần phương trình ở dạng tối thiểu trên $\mathbb{Z}$.
• Cơ sở dữ liệu Cremona [cremona1997] và LMFDB lưu trữ đường cong dưới dạng Weierstrass tối thiểu, cho phép kiểm nghiệm BSD một cách hệ thống.

• Công thức luật cộng đơn giản nhất (không có $a_1, a_2, a_3$).
• Đếm điểm $\#E(\mathbb{F}_p)$: chạy $x = 0, \ldots, p-1$, kiểm tra $x^3 + ax + b$ có phải thặng dư bậc hai modulo $p$ hay không.
• Chu kỳ thực $\Omega_E = \int_{E(\mathbb{R})} \left|\frac{dx}{2y}\right|$ --- tích phân trên đường cong thực dễ tính nhất ở dạng rút gọn.
• Tuy nhiên, để tính chính xác các thành phần BSD mạnh (số Tamagawa, mô hình Néron), thường cần quay lại dạng tổng quát tối thiểu.

• Conductor: $N_E = \prod_{p \mid \Delta} p^{f_p}$ --- conductor chỉ chia bởi các nguyên tố chia $\Delta$ (nơi đường cong rút gọn xấu).
• Rút gọn modulo $p$: Khi $p \nmid \Delta$, rút gọn $\tilde{E}/\mathbb{F}_p$ vẫn trơn (rút gọn tốt). Khi $p \mid \Delta$, rút gọn kỳ dị (nút hoặc cusp) --- loại kỳ dị xác định nhân tử cục bộ trong tích Euler của $L(E,s)$.
• Phương trình hàm: $N_E$ xuất hiện trực tiếp trong phương trình hàm $\Lambda(E,s) = N_E^{s/2} (2\pi)^{-s} \Gamma(s) L(E,s)$.
• Biệt thức tối thiểu: $\Delta_{\min}$ xác định mô hình Néron, từ đó tính số Tamagawa $c_p$ --- thành phần trong công thức BSD mạnh.

• Đường cong CM: $j(E)$ là số nguyên đại số khi $E$ có CM. Cụ thể, $j(E) \in H$ (trường lớp Hilbert của trường phức bậc hai ảo). Chỉ có hữu hạn giá trị $j$ nguyên tương ứng CM --- điều này liên quan đến bài toán số lớp (Heegner, Stark, Baker).
• Twist: Các đường cong cùng $j$ (nhưng khác nhau trên $\mathbb{Q}$, gọi là twist) có hàm $L$ liên quan nhau bởi đặc trưng Dirichlet. BSD cho twist $E^{(d)}$ liên hệ chặt với BSD cho $E$.
• Đường cong modular: Hàm $j(\tau)$ liên kết đường cong elliptic với đường cong modular $X(1) = \mathrm{SL}_2(\mathbb{Z}) \backslash \mathcal{H}^*$ --- nền tảng của Định lý modularity [wiles1995, bcdt2001].
• Giá trị $j = 0$ và $1728$: Có “đối xứng bổ sung” (extra automorphisms), nên công thức BSD có điều chỉnh nhỏ ở mẫu ($|\mathrm{Aut}(E)|$ thay vì $2$).

• Nếu $\widetilde{E}$ trơn: $p$ là số nguyên tố có rút gọn tốt (good reduction).
• Nếu $\widetilde{E}$ kỳ dị: $p$ là số nguyên tố có rút gọn xấu (bad reduction). Tập các $p$ này xác định conductor (conductor) $N_E$ --- số mũ trong công thức BSD mạnh.

• Rút gọn nhân (nút) --- có hai loại:
• Nhân tách (split multiplicative): Hai tiếp tuyến tại nút xác định trên $\mathbb{F}_p$. Nhân tử Euler tại $p$: $(1 - p^{-s})^{-1}$.
• Nhân không tách (non-split multiplicative): Tiếp tuyến xác định trên $\mathbb{F}_{p^2}$. Nhân tử Euler: $(1 + p^{-s})^{-1}$.

• Hạng = 0: Nếu giả thuyết BSD đúng, $L(E, 1) \neq 0$ khi và chỉ khi $E(\mathbb{Q}) = \{\mathcal{O}\}$ hữu hạn (chỉ gồm các điểm xoắn). Nghĩa là “phần tử đơn vị là tất cả những gì có” --- không có điểm hữu tỉ bậc vô hạn.
• Vi phân bất biến: Chu kỳ thực $\Omega_E = \int_{E(\mathbb{R})} |\omega|$ (xuất hiện trong BSD mạnh) được tính bằng tích phân vi phân $\omega = dx/(2y)$, chuẩn hóa theo mô hình Néron --- mà mô hình Néron được xây dựng từ không gian xạ ảnh, nơi $\mathcal{O}$ sống.
• Chiều cao Néron--Tate: $\hat{h}(P) = 0$ khi và chỉ khi $P$ là điểm xoắn --- liên hệ với $\mathcal{O}$ qua phần tử đơn vị. Regulator $R_E$ được tính từ chiều cao, xuất hiện trong tử số BSD mạnh.

• BSD yếu: $r = \mathrm{ord}_{s=1} L(E, s)$.
• BSD mạnh: Ngoài hạng, còn tiên đoán giá trị chính xác của đạo hàm bậc $r$ qua công thức:
  \[ \frac{L^{(r)}(E, 1)}{r!} = \frac{|\mathrm{Sha}(E/\mathbb{Q})| \cdot \Omega_E \cdot R_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}. \]

• Hạng: Số lần bạn cần áp dụng luật nhóm (cộng các điểm sinh) để tạo ra mọi điểm hữu tỉ. Hạng $r$ là số điểm sinh tối thiểu.
• Descent: Phương pháp chính để ước lượng hạng (2-descent, $n$-descent) dựa trên phân tích luật nhóm modulo bình phương.
• Chiều cao: Chiều cao Néron--Tate $\hat{h}$ là “norm” trên nhóm $E(\mathbb{Q})/E(\mathbb{Q})_{\mathrm{tors}}$ --- biến phép cộng nhóm thành hình học (không gian Euclid).
• Regulator: $R_E = \det(\langle P_i, P_j \rangle)$ --- thể tích song song diện trong không gian chiều cao, đo “mức phân tán” của các điểm sinh dưới luật nhóm.

• Điểm $n$-xoắn $E[n]$: Hạt nhân của $[n]$. Dãy chính xác ngắn
  \[ 0 \to E[n] \to E \xrightarrow{[n]} E \to 0 \]
  là điểm khởi đầu của dãy Kummer, dẫn đến nhóm Selmer $\mathrm{Sel}_n(E/\mathbb{Q})$ và nhóm Tate--Shafarevich $\mathrm{Sha}(E/\mathbb{Q})$.
• Descent: Phương pháp $n$-descent phân tích ánh xạ $[n]$ để ước lượng hạng. Cụ thể, $n$-Selmer rank cung cấp cận trên cho hạng thực sự.
• Điểm Heegner: Điểm Heegner $P_K$ trên $E$ được chứng minh có bậc vô hạn (không có $n$ nào cho $nP_K = \mathcal{O}$) khi $L'(E, 1) \neq 0$ --- đây là nội dung chính của Gross--Zagier + Kolyvagin [gross-zagier1986, kolyvagin1990].
• Phần tử xoắn: $|E(\mathbb{Q})_{\mathrm{tors}}|^2$ xuất hiện ở mẫu số công thức BSD mạnh --- phần xoắn “giảm” giá trị đặc biệt của hàm $L$.

• Dãy Kummer: Dãy chính xác ngắn $0 \to E[n] \to E \xrightarrow{[n]} E \to 0$ dẫn đến dãy dài đối đồng điều Galois:
  \[ 0 \to E(K)/nE(K) \to H^1(\mathrm{Gal}(\overline{K}/K),\, E[n]) \to H^1(\mathrm{Gal}(\overline{K}/K),\, E)[n] \to 0. \]
  Từ đây ta xây dựng $\mathrm{Sel}_n(E/K)$ và $\mathrm{Sha}(E/K)[n]$.
• Biểu diễn Galois $p$-adic: Lấy giới hạn ngược $T_p(E) = \varprojlim E[p^k]$ ta được module Tate (Tate module) $T_p(E) \cong \mathbb{Z}_p^2$, cho biểu diễn $\rho_{E,p}: \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{GL}_2(\mathbb{Z}_p)$. Hàm $L$ được xây dựng từ biểu diễn này [serre1970].
• Phỏng đoán Serre: Với “hầu hết” $E/\mathbb{Q}$ không CM, $\rho_{E,p}$ là toàn ánh cho mọi $p$ đủ lớn. Điều này liên quan đến tính “đơn giản” của nhóm Selmer [khare-wintenberger2009].

• Hàm $L$ twist: $L(E^{(d)}, s) = L(E, \chi_d, s)$, trong đó $\chi_d = \left(\frac{d}{\cdot}\right)$ là đặc trưng Dirichlet bậc hai. BSD cho $E^{(d)}$ liên hệ với giá trị $L(E, \chi_d, 1)$.
• Phân bố hạng: Phỏng đoán Goldfeld: trong họ twist $\{E^{(d)}\}$, “hầu hết” có hạng $0$ hoặc $1$ (50% mỗi loại). Smith (2022) chứng minh phỏng đoán này cho đường cong có nhóm 2-Selmer trung bình nhỏ.
• Bhargava--Shankar--Zhang: Chứng minh $\geq 66.48\%$ đường cong elliptic thỏa mãn BSD yếu, bằng cách nghiên cứu twist và Selmer trung bình [bhargava-skinner-zhang2014].
• Bài toán số đồng dư: $n$ là số đồng dư $\Leftrightarrow$ $E^{(n)}: y^2 = x^3 - n^2x$ có hạng $\geq 1$. Tunnell cho điều kiện đủ (và cần nếu BSD đúng) bằng công thức đếm biểu diễn [tunnell1983].

• Bất biến: Nếu $E_1 \cong_\mathbb{Q} E_2$ thì BSD cho $E_1$ tương đương BSD cho $E_2$ --- mọi đại lượng (hạng, $L$, Sha, regulator, ...) giống nhau.
• Phân loại: Để chứng minh BSD cho “tất cả” đường cong, ta chỉ cần xét mỗi lớp đẳng cấu một đại diện. LMFDB (cơ sở dữ liệu) tổ chức theo lớp đẳng cấu.
• Tự đẳng cấu: $|\mathrm{Aut}(E)|$ xuất hiện trong công thức BSD mạnh (ở mẫu, thay cho $2$ khi $j = 0$ hoặc $1728$). Cụ thể, chu kỳ thực $\Omega_E$ phải chia cho $|\mathrm{Aut}(E)|/2$ để chuẩn hóa.

• Bất biến isogeny: Nếu $\phi: E_1 \to E_2$ là isogeny thì $L(E_1, s) = L(E_2, s)$ --- hàm $L$ chỉ phụ thuộc vào lớp isogeny. Do đó, bậc triệt tiêu $\mathrm{ord}_{s=1} L(E, s)$ là bất biến isogeny.
• Hạng bất biến: $\mathrm{rk}(E_1(\mathbb{Q})) = \mathrm{rk}(E_2(\mathbb{Q}))$ --- isogeny bảo toàn hạng (vì $\phi$ và $\hat{\phi}$ đối ngẫu cho ra cặp đồng cấu nhóm).
• Lớp isogeny trong LMFDB: Mỗi lớp isogeny (ví dụ “37a”) chứa tất cả đường cong isogenous --- chúng chia sẻ cùng hàm $L$, conductor, hạng. BSD yếu đúng cho một $\Leftrightarrow$ đúng cho tất cả trong lớp.
• BSD mạnh: Các hằng số trong BSD mạnh (Sha, regulator, Tamagawa) thay đổi qua isogeny, nhưng thay đổi theo cách “bù trừ” nhau --- gọi là isogeny invariance của công thức BSD [cassels1962].

• Bảo toàn hạng: Từ $\hat{\phi} \circ \phi = [n]$, suy ra $\phi$ đơn ánh trên phần tự do: nếu $\phi(P) = \mathcal{O}$ với $P$ bậc vô hạn, thì $nP = \hat{\phi}(\mathcal{O}) = \mathcal{O}$, vô lý. Vậy $\mathrm{rk}(E_1) \leq \mathrm{rk}(E_2)$; đối xứng cho $\leq$ ngược.
• Cassels--Tate pairing: Ghép đôi $\mathrm{Sha}(E_1) \times \mathrm{Sha}(E_2) \to \mathbb{Q}/\mathbb{Z}$ được xây dựng qua $\phi$ và $\hat{\phi}$ --- “kiểm tra chéo” giữa Sha của hai đường cong isogenous.
• Isogeny invariance BSD: Công thức BSD mạnh cho $E_1$ và $E_2$ tương thích qua $\phi, \hat{\phi}$: tích $|\mathrm{Sha}| \cdot R \cdot \prod c_p / |E_{\mathrm{tors}}|^2$ bất biến dưới isogeny --- chứng minh bởi Cassels [cassels1962].

• CM và kết quả sớm nhất: Định lý Coates--Wiles (1977) --- kết quả đầu tiên hướng BSD --- chỉ áp dụng cho đường cong CM. Lý do: khi $E$ có CM bởi $K$, hàm $L(E, s)$ phân tích thành tích hai hàm $L$ Hecke trên $K$ --- dễ nghiên cứu hơn [coates-wiles1977].
• Frobenius và hàm $L$: Hàm $L(E, s) = \prod_p L_p(E, p^{-s})^{-1}$, trong đó nhân tử Euler tại $p$ (rút gọn tốt) xác định bởi đa thức đặc trưng của Frobenius: $1 - a_p p^{-s} + p^{1-2s}$.
• CM vs.non-CM: Đường cong CM có mật độ “đặc biệt”: chỉ có hữu hạn $j$-bất biến CM (13 giá trị trên $\mathbb{Q}$). Nhưng lại là “phòng thí nghiệm” lý tưởng: Rubin (1991) chứng minh BSD cho CM + hạng 0 đầy đủ (cả phần Sha) [rubin1991].
• Module Tate: $\mathrm{End}(E) \otimes \mathbb{Z}_p \hookrightarrow \mathrm{End}_{\mathbb{Z}_p}(T_p(E)) \cong M_2(\mathbb{Z}_p)$. Khi CM: $\mathrm{End}(E) \otimes \mathbb{Q}_p$ chứa trường bậc 2 --- hàm $L$ “phân tích” tương ứng.

• CM $\Rightarrow$ phân tích hàm $L$: Khi $\mathrm{End}(E) \cong \mathcal{O}_K$, hàm $L(E, s)$ phân tích thành tích hai hàm $L$ Hecke của $K$. Điều này cho phép chứng minh thác triển giải tích trực tiếp (không cần Định lý modularity) [deuring1953].
• Kết quả BSD mạnh nhất: Rubin (1991) chứng minh BSD đầy đủ (cả phần Sha) cho $E$ có CM với $L(E,1) \neq 0$ [rubin1991].
• 13 giá trị $j$ CM trên $\mathbb{Q}$: Chỉ có $j = 0, 1728, -3375, 8000, \ldots$ (13 giá trị). Mỗi giá trị ứng với order $\mathcal{O}_K$ có số lớp $h(\mathcal{O}_K) = 1$.
• Không CM: “Hầu hết” đường cong. Kết quả BSD yếu hơn --- cần Định lý modularity + Kolyvagin.

• Coates--Wiles (1977): Nếu $E/\mathbb{Q}$ có CM và $L(E, 1) \neq 0$, thì $E(\mathbb{Q})$ hữu hạn. Đây là kết quả đầu tiên hướng BSD [coates-wiles1977].
• Rubin (1991): Nếu $E/\mathbb{Q}$ có CM và $L(E, 1) \neq 0$, thì $\mathrm{Sha}(E/\mathbb{Q})$ hữu hạn và công thức BSD mạnh đúng cho phần $p$-adic (“hầu hết” $p$) [rubin1991].
• Lý do CM dễ hơn: Hàm $L$ phân tích $L(E, s) = L(\psi, s) \cdot L(\bar{\psi}, s)$ với $\psi$ là Hecke character --- kỹ thuật giải tích mạnh áp dụng trực tiếp.
• Lý thuyết trường lớp: $j(E)$ sinh trường lớp Hilbert $H_K$ khi $\mathcal{O} = \mathcal{O}_K$. Điểm Heegner xây dựng “tự nhiên” qua lý thuyết trường lớp [gross-zagier1986, heegner1952].

• Nhân tử Euler: Tại mỗi $p$ rút gọn tốt:
  \[ L_p(E, s) = \frac{1}{1 - a_p p^{-s} + p^{1-2s}} = \frac{1}{\det(1 - \pi_p \cdot p^{-s} \mid T_\ell(E))}, \]
  trực tiếp từ đa thức đặc trưng Frobenius.
• Hàm $L$ toàn cục: $L(E, s) = \prod_p L_p(E, s)$ --- tích vô hạn trên mọi $p$. BSD nói $\mathrm{ord}_{s=1} L(E,s) = \mathrm{rk}(E(\mathbb{Q}))$ --- thông tin “cục bộ” quyết định tính chất “toàn cục”.
• Birch--Swinnerton-Dyer gốc: Dữ liệu EDSAC (1963) trực tiếp tính $a_p$ cho hàng nghìn $p$ --- tức đếm $|E(\mathbb{F}_p)|$, hay tính vết Frobenius [birch-sd1963, birch1968].

• Hàm $L$: $L(E, s) = \prod_{p \nmid N} (1 - a_p p^{-s} + p^{1-2s})^{-1} \cdot \prod_{p \mid N} L_p(E, s)$.
• Tích BSD gốc: Birch--Swinnerton-Dyer (1963) nghiên cứu $\Pi_E(X) = \prod_{p \leq X} \frac{p + 1 - a_p}{p}$ và phát hiện $\Pi_E(X) \sim C \cdot (\log X)^r$ [birch-sd1963].
• Modularity: $\{a_p\}$ cũng là hệ số Fourier của newform $f_E(\tau) = \sum a_n q^n$ bậc 2 level $N$ [wiles1995, bcdt2001]. Đây là cầu nối giải tích $\leftrightarrow$ số học.

• Tại $p$ rút gọn tốt: $L_p(E, s) = (1 - a_p p^{-s} + p^{1-2s})^{-1}$ --- nhân tử Euler bậc 2.
• Tại $p$ rút gọn xấu: $L_p$ đơn giản hơn (bậc 0 hoặc 1), phụ thuộc loại kỳ dị.
• Conductor: $N_E = \prod_{p \text{ xấu}} p^{f_p}$ --- tích trên các $p$ rút gọn xấu. Xuất hiện trong phương trình hàm và level dạng modular [tate1975].
• Triết lý BSD: Thông tin cục bộ ($a_p$ tại mỗi $p$) $\Rightarrow$ hàm $L$ $\Rightarrow$ bậc triệt tiêu $\Rightarrow$ hạng toàn cục $E(\mathbb{Q})$.

• Hầu hết $p$ rút gọn tốt: Chỉ hữu hạn $p$ rút gọn xấu (chính xác: $p \mid N_E$). “Hầu hết” nhân tử Euler đến từ rút gọn tốt.
• Ordinary vs.supersingular trong Iwasawa: Phỏng đoán chính Iwasawa (Mazur, 1972) ban đầu chỉ phát biểu cho $p$ ordinary. Trường hợp supersingular phức tạp hơn --- cần lý thuyết “plus/minus Selmer groups” (Kobayashi, Sprung) [mazur-swinnerton-dyer1974].
• BSD $p$-adic: Với $p$ ordinary, BSD $p$-adic dạng Mazur--Tate--Teitelbaum “đơn giản”. Với $p$ supersingular, cần hiệu chỉnh logarit $p$-adic [mazur-tate-teitelbaum1986].
• Đếm điểm: Thuật toán Schoof--Elkies--Atkin tính $a_p$ trong $O((\log p)^5)$ --- cho phép tính hàm $L$ hiệu quả, kiểm nghiệm BSD bằng máy tính [schoof1985].

• Nhân tử Euler tại $p$ xấu:
• Nhân tách: $L_p(E, s) = (1 - p^{-s})^{-1}$. Tại $s = 1$: $L_p(E, 1) = p/(p-1)$.
• Nhân không tách: $L_p(E, s) = (1 + p^{-s})^{-1}$. Tại $s = 1$: $L_p(E, 1) = p/(p+1)$.
• Cộng: $L_p(E, s) = 1$. “Vô hình” --- không đóng góp.

• Số Tamagawa $c_p$: Chỉ $c_p \neq 1$ khi $p$ rút gọn xấu. $c_p = [E(\mathbb{Q}_p) : E^0(\mathbb{Q}_p)]$ --- số thành phần nhóm đặc biệt. Xuất hiện trong tử số BSD mạnh: $\prod_p c_p$ [tate1975].

• Nghiệm ngoại lai: Khi $p$ nhân tách, BSD $p$-adic có “exceptional zero” --- nhân tử Euler triệt tiêu tại $s = 1$, cần hiệu chỉnh $\mathcal{L}$-invariant [mazur-tate-teitelbaum1986].

• Vấn đề: Nhân tử Euler $L_p = (1 - p^{-s})^{-1}$ có $(1 - p^{-1}) \neq 0$ tại $s = 1$, nhưng phiên bản $p$-adic: $(1 - \alpha_p^{-1})$ với $\alpha_p$ là nghiệm đơn vị --- triệt tiêu!
• Phỏng đoán MTT (1986): $L_p(E, 1) = 0$ (zero “ngoại lai”, không liên quan hạng), và đạo hàm $L_p'(E, 1) = \mathcal{L}_p \cdot L^{\mathrm{alg}}(E, 1)$ [mazur-tate-teitelbaum1986].
• Đã chứng minh: Greenberg--Stevens (1993) chứng minh MTT cho $E$ hạng 0.
• Dấu gốc: Tại $p$ nhân tách, dấu gốc cục bộ $w_p = -1$ --- ảnh hưởng parity conjecture.

• Nhân tử Euler: $L_p(E, 1) = (1 + 1/p)^{-1} = p/(p+1)$. Khác nhân tách: không có exceptional zero $p$-adic.
• Dấu gốc: $w_p = +1$ (khác nhân tách: $w_p = -1$). Ảnh hưởng dấu phương trình hàm: $w(E) = (-1)^{r_{\mathrm{an}}} = \prod_v w_v$.
• Số Tamagawa: Tại $p$ nhân (tách hoặc không): $c_p = \mathrm{ord}_p(\Delta_{\min})$ nếu $p$ nhân tách, $c_p = 1$ hoặc $2$ nếu không tách (phụ thuộc $\mathrm{ord}_p(\Delta_{\min})$ chẵn/lẻ).
• Twist và BSD: BSD cho $E$ và twist $E^{(d)}$ liên hệ qua đổi chỗ nhân tách/không tách --- cho phép “chuyển” kết quả BSD giữa hai đường cong.

• Conductor: $p$ cộng đóng góp $p^{f_p}$ với $f_p \geq 2$ --- “nặng” hơn nhân ($f_p = 1$). Điều này ảnh hưởng phương trình hàm: $N^{s/2} (2\pi)^{-s} \Gamma(s) L(E, s)$ đối xứng qua $s \leftrightarrow 2-s$.
• Semistable: Đường cong semistable ($=$ không có rút gọn cộng tại mọi $p$) là trường hợp Wiles chứng minh modularity đầu tiên (1995) [wiles1995]. BCDT (2001) mở rộng cho mọi đường cong [bcdt2001].
• Số Tamagawa: Tại $p$ cộng, $c_p$ phức tạp hơn --- phụ thuộc loại fiber Kodaira (thuật toán Tate phân loại). $c_p$ có thể lên đến $4$ (type $I_0^*$) hoặc lớn hơn.
• BSD mạnh tại $p$ cộng: Thành phần $c_p$ và phần “wild” của conductor gây khó khăn kỹ thuật. Kết quả BSD mạnh thường giả thiết $E$ semistable hoặc loại trừ $p = 2, 3$.

• Vi phân Néron: Vi phân bất biến $\omega = \frac{dx}{2y + a_1 x + a_3}$ trên mô hình tối thiểu là vi phân Néron (Néron differential). Chu kỳ thực $\Omega_E = \int_{E(\mathbb{R})} |\omega|$ trong BSD mạnh phải dùng vi phân Néron --- sai mô hình $\Rightarrow$ sai $\Omega_E$ bởi hệ số $u$ [silverman1994].
• Số Tamagawa: $c_p$ được tính từ mô hình tối thiểu tại $p$ (qua thuật toán Tate).
• Hằng số Manin: Nếu $\phi: X_0(N) \to E$ là parametrization modular, thì $\phi^*(\omega_E) = c_{\mathrm{Manin}} \cdot 2\pi i f_E(\tau) d\tau$, trong đó $c_{\mathrm{Manin}} \in \mathbb{Z}$ (phỏng đoán Manin: $c_{\mathrm{Manin}} = \pm 1$). Hằng số này phụ thuộc việc chọn mô hình tối thiểu [manin1972].

• Conductor: $N_E = \prod_p p^{f_p}$ tính từ mô hình tối thiểu.
• Chu kỳ thực: $\Omega_E = \int_{E(\mathbb{R})} |\omega_{\min}|$ dùng vi phân Néron từ mô hình tối thiểu toàn cục.
• LMFDB/Cremona: Cơ sở dữ liệu lưu mỗi đường cong ở dạng tối thiểu toàn cục. Label Cremona (ví dụ 37a1) dùng conductor + ký tự isogeny class + số thứ tự trong class [cremona1997, lmfdb].
• Kiểm nghiệm BSD: Mọi tính toán kiểm nghiệm BSD (Cremona, Stein, ...) đều bắt đầu từ mô hình tối thiểu toàn cục --- đảm bảo $\Omega_E$, $c_p$, $R_E$, $|\mathrm{Sha}|$ nhất quán.

• Số Tamagawa $c_p$: xuất hiện trực tiếp trong công thức BSD mạnh $\frac{L^{(r)}(E,1)}{r!} = \frac{|\mathrm{Sha}| \cdot \Omega_E \cdot R_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}$. Thuật toán Tate tính chính xác mỗi $c_p$.
• Conductor: $N_E = \prod_p p^{f_p}$ với $f_p$ từ thuật toán Tate. Conductor xác định phương trình hàm của $L(E,s)$.
• Thực thi: Phần mềm Cremona, SageMath [sagemath], PARI/GP [pari] đều cài đặt thuật toán Tate là bước đầu tiên khi phân tích đường cong elliptic.

• Định lý modularity [wiles1995, taylor-wiles1995, breuil2001]: mỗi $E/\mathbb{Q}$ ứng với dạng modular newform $f \in S_2(\Gamma_0(N_E))$ cùng conductor. Do đó $L(E,s) = L(f,s)$ thỏa mãn phương trình hàm với conductor $N_E$.
• Phương trình hàm: $\Lambda(E,s) = w \cdot \Lambda(E, 2-s)$ với $\Lambda(E,s) = N_E^{s/2} (2\pi)^{-s} \Gamma(s) L(E,s)$ và $w = \pm 1$ là dấu gốc (root number).
• Dấu gốc: $w = (-1)^r$ theo BSD yếu, với $r = \mathrm{ord}_{s=1} L(E,s)$. Dấu gốc tính từ conductor: $w = -\mu(N_E) \cdot \prod_{p \mid N_E} w_p$.
• LMFDB: Đường cong được tổ chức theo conductor --- ví dụ 11a1, 37a1 --- conductor là “khóa chính” của cơ sở dữ liệu [lmfdb].

• Vi phân Néron: $\omega_{\mathrm{Néron}} \in H^0(\mathcal{E}, \Omega^1)$ là vi phân “chuẩn” trên mô hình Néron. Chu kỳ thực $\Omega_E = \int_{E(\mathbb{R})} |\omega_{\mathrm{Néron}}|$ trong công thức BSD dùng chính vi phân này.
• Số Tamagawa: $c_p = |\Phi_p(\mathbb{F}_p)|$ từ nhóm thành phần --- xuất hiện trực tiếp trong công thức BSD.
• Hằng số Manin: $c_{\mathrm{Manin}} = [\omega_{\min} : \omega_f]$ liên hệ vi phân Néron $\omega_{\min}$ với vi phân dạng modular $\omega_f$. Phỏng đoán Manin: $c_{\mathrm{Manin}} = 1$ [manin1972].
• Dãy chính xác Néron: cho phép liên hệ $\mathrm{Sha}(E/\mathbb{Q})$ với đối đồng điều của mô hình Néron, nền tảng cho chứng minh hữu hạn $\mathrm{Sha}$ trong nhiều trường hợp.

• Lý thuyết Iwasawa: Hành vi của nhóm Selmer trong tháp $\mathbb{Z}_p$-mở rộng phụ thuộc mạnh vào $E$ thông thường hay siêu kỳ dị tại $p$.
• Thông thường: lý thuyết Iwasawa “cổ điển” (Mazur, Greenberg) áp dụng trực tiếp.
• Siêu kỳ dị: cần lý thuyết phức tạp hơn (Kobayashi plus/minus Selmer, Pollack, Sprung) [kobayashi2003].

• Chu kỳ thực: $\Omega_E = \int_{E(\mathbb{R})} \omega$ (tích phân vi phân Néron trên phần thực) --- đây chính là tích phân elliptic! Đại lượng này xuất hiện trực tiếp trong công thức BSD.
• Chu kỳ phức: $\omega_1, \omega_2$ (hai chu kỳ của tích phân elliptic liên kết) tạo thành lưới $\Lambda = \mathbb{Z}\omega_1 + \mathbb{Z}\omega_2$, và $E(\mathbb{C}) \cong \mathbb{C}/\Lambda$.
• Chiều cao chính tắc Néron--Tate: $\hat{h}(P) = -\frac{1}{2}\log|\sigma(z_P)|^2 + \ldots$ liên quan đến hàm sigma Weierstrass --- bản thân là “tích phân elliptic biến đổi”.
• Lịch sử: Birch và Swinnerton-Dyer phát biểu giả thuyết ban đầu (1965) bằng ngôn ngữ chu kỳ thực $\Omega_E$ --- tức tích phân elliptic [birch1965].

• Chu kỳ: Hai chu kỳ $\omega_1, \omega_2$ của $\wp$ chính là tích phân $\omega_i = \int_{\gamma_i} \frac{dx}{2y}$ trên hai vòng sinh của $E(\mathbb{C})$. Chu kỳ thực $\Omega_E$ trong BSD là tổ hợp tuyến tính của $\omega_1, \omega_2$.
• Hàm sigma: $\sigma(z; \Lambda)$ --- “nguyên hàm” của $-\wp$ --- liên quan đến chiều cao Néron--Tate: $\hat{h}(P) = -\log|\sigma(z_P)/\sigma_0|$ (chuẩn hóa thích hợp).
• Modular parametrization: Theo định lý modularity [wiles1995], tồn tại $\phi: X_0(N) \to E$. Trên $\mathbb{C}$, $\phi$ kết hợp uniformization $\mathbb{H}/\Gamma_0(N) \to X_0(N)(\mathbb{C})$ với uniformization $\mathbb{C}/\Lambda \to E(\mathbb{C})$.
• Điểm Heegner: Xây dựng điểm Heegner $P_K \in E(\mathbb{Q})$ bắt đầu từ CM points trên $X_0(N)$, rồi đẩy qua $\phi$ và dùng uniformization $\mathbb{C}/\Lambda \cong E(\mathbb{C})$ để tính tọa độ hữu tỉ [gross-zagier1986].

• Uniformization: Mỗi đường cong elliptic $E/\mathbb{C}$ đẳng cấu với torus phức $\mathbb{C}/\Lambda$ cho một lưới $\Lambda$ duy nhất (xem khái niệm 50).
• Chu kỳ thực: $\Omega_E = \int_{E(\mathbb{R})} |\omega|$ trong công thức BSD mạnh chính là tích phân trên thành phần thực của $\mathbb{C}/\Lambda$.
• Phân loại: Hai đường cong elliptic $E \cong E'$ trên $\mathbb{C}$ khi và chỉ khi $\Lambda' = c\Lambda$ cho hằng số $c \in \mathbb{C}^*$. Do đó không gian moduli được tham số hóa bởi $\tau \in \mathcal{H}/\mathrm{SL}_2(\mathbb{Z})$.

• Định lý uniformization: Mọi đường cong elliptic $E/\mathbb{C}$ đều đẳng cấu (như nhóm Lie phức) với $\mathbb{C}/\Lambda_E$ cho một lưới $\Lambda_E$ duy nhất (đến hằng số tỉ lệ) [silverman2009]. Đây là cầu nối giữa hình học đại số và giải tích phức.
• Hàm L qua lưới: Các hệ số $a_p$ trong hàm $L(E, s)$ xác định lưới $\Lambda_E$. Định lý modularity [wiles1995] nói rằng lưới này cũng đến từ dạng modular $f_E$.
• Chu kỳ: Diện tích miền cơ bản $|\omega_1\bar{\omega}_2 - \omega_2\bar{\omega}_1|$ của $\Lambda_E$ liên quan trực tiếp đến chu kỳ thực $\Omega_E$ trong công thức BSD mạnh.
• Điểm Heegner: Điểm CM $\tau \in \mathcal{H}$ cho ta $\mathbb{C}/(\mathbb{Z} + \mathbb{Z}\tau)$, từ đó xây dựng điểm hữu tỉ trên $E$ qua tham số hóa modular [gross-zagier1986].

• Cầu nối: Hàm $\wp$ và $\wp'$ cho phép đồng nhất $\mathbb{C}/\Lambda \xrightarrow{\sim} E(\mathbb{C})$ qua $z \mapsto (\wp(z), \wp'(z))$. Nhờ đó, mọi tính toán trên $E(\mathbb{C})$ có thể chuyển về tính toán với hàm tuần hoàn kép.
• Chuỗi L: Hệ số $a_n$ của chuỗi $L(E, s) = \sum a_n n^{-s}$ liên quan đến hệ số Fourier của dạng modular $f_E(\tau)$, mà $f_E$ chính là hàm trên $\mathcal{H}$ thỏa tính chất tuần hoàn (modular).
• Chiều cao: Chiều cao Néron--Tate $\hat{h}(P)$ có thể biểu diễn qua hàm sigma $\sigma(z; \Lambda)$ (liên quan đến $\wp$): $\hat{h}(P) \sim -\log|\sigma(z_P)|$.

• Xác định đường cong: Cho đường cong $E/\mathbb{Q}$ với conductor $N$, định lý modularity [wiles1995] cho dạng modular $f_E(\tau) = \sum a_n q^n$. Từ $f_E$ xây dựng lưới $\Lambda_E$, rồi $g_2(\Lambda_E), g_3(\Lambda_E)$ cho phương trình Weierstrass.
• Chuỗi Eisenstein modular: $E_4(\tau)$ và $E_6(\tau)$ là dạng modular “cơ bản”. Mọi dạng modular (kể cả $f_E$ liên kết với đường cong elliptic) nằm trong không gian sinh bởi tích các $E_4, E_6$. Hàm $L(E, s)$ đến từ $f_E$, tức gián tiếp liên quan đến $g_2, g_3$.
• Biệt thức và conductor: $\Delta = g_2^3 - 27g_3^2$ liên hệ (nhưng khác) biệt thức tối thiểu $\Delta_{\min}$. Conductor $N_E$ đo “mức độ xấu” của rút gọn, quyết định level của $f_E$ trong $S_2(\Gamma_0(N))$.

• BSD mạnh (hạng 0): $L(E, 1) = \dfrac{|\mathrm{Sha}(E/\mathbb{Q})| \cdot \Omega_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}$.
• BSD mạnh (hạng 1): $L'(E, 1) = \dfrac{|\mathrm{Sha}(E/\mathbb{Q})| \cdot \hat{h}(P) \cdot \Omega_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}$.
• Kiểm nghiệm: Với $E = 37a1$: $L(E,1) = 0$ (hạng 1), $L'(E,1) \approx 0.3059$, $\Omega_E \approx 5.9869$. Thay vào công thức BSD mạnh và kiểm tra: tất cả khớp với $|\mathrm{Sha}| = 1$ [cremona1997].
• Vai trò “chuẩn hóa”: $\Omega_E$ đóng vai trò thừa số chuẩn hóa --- nó chuyển đổi giữa “thể tích giải tích” (từ hàm $L$) và “thể tích số học” (từ các bất biến đại số của $E$).

• Chu kỳ thực: $\Omega_E = \int_{E(\mathbb{R})} |\omega_E|$ --- tích phân vi phân Néron trên phần thực. Thay đổi phương trình (không tối thiểu) sẽ thay đổi $\Omega_E$ bằng lũy thừa, làm sai công thức BSD.
• Hằng số Manin: Tham số hóa modular $\phi\colon X_0(N) \to E$ kéo vi phân Néron về: $\phi^*(\omega_E) = c_\infty \cdot 2\pi i f_E(\tau) d\tau$, trong đó $c_\infty \in \mathbb{Z} \setminus \{0\}$ là hằng số Manin. Phỏng đoán Manin: $c_\infty = \pm 1$ cho phương trình tối thiểu tối ưu [cremona1997].
• Số Tamagawa: Số Tamagawa $c_p = [E(\mathbb{Q}_p) : E^0(\mathbb{Q}_p)]$ cũng liên quan đến vi phân Néron tại $p$: chúng đo “thể tích” của thành phần đơn vị $E^0(\mathbb{Q}_p)$ so với toàn bộ $E(\mathbb{Q}_p)$ dưới vi phân Néron.
• Công thức BSD mạnh đầy đủ: Mỗi thừa số trong
  \[ \frac{L^{(r)}(E, 1)}{r!} = \frac{|\mathrm{Sha}| \cdot \mathrm{Reg}_E \cdot \Omega_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2} \]
  đều phụ thuộc (trực tiếp hoặc gián tiếp) vào lựa chọn vi phân Néron. Đây là lý do ta bắt buộc dùng phương trình tối thiểu.

• Chu kỳ thực: $\Omega_E$ trong công thức BSD chính là tích phân trên thành phần thực của $\mathbb{C}/\Lambda_E$. Nếu $\Delta < 0$: $\Omega_E = \omega_1$; nếu $\Delta > 0$: $\Omega_E = 2\omega_1$.
• Modularity $\Leftrightarrow$ lưới: Định lý modularity [wiles1995] nói rằng $\Lambda_E$ “đến từ” dạng modular: $\omega_i = c \cdot \int_{\tau_0}^{\tau_i} f_E(\tau) d\tau$ với $f_E \in S_2(\Gamma_0(N))$.
• Regulator: Ma trận chiều cao Néron--Tate $\mathrm{Reg}_E = \det(\langle P_i, P_j \rangle)$ đo “thể tích” lưới Mordell--Weil. Cùng với $\Omega_E$ (đo “thể tích” lưới chu kỳ), chúng tạo thành hai thừa số “thể tích” trong BSD mạnh.

• Dạng modular sống trên $\mathcal{H}$: Dạng modular $f_E(\tau) = \sum a_n q^n$ ($q = e^{2\pi i \tau}$) liên kết với $E$ qua modularity [wiles1995] là hàm trên $\mathcal{H}$. Hàm $L(E, s)$ chính là biến đổi Mellin của $f_E$.
• Đường cong modular: $X_0(N) = \mathcal{H}^*/\Gamma_0(N)$ (với $\Gamma_0(N) \subset \mathrm{SL}_2(\mathbb{Z})$) là đường cong đại số. Tham số hóa modular $\phi: X_0(N) \to E$ kết nối hình học của $\mathcal{H}$ với đường cong elliptic.
• Điểm Heegner: Điểm CM $\tau_K \in \mathcal{H}$ (thỏa $a\tau_K^2 + b\tau_K + c = 0$ với $b^2 - 4ac = D_K < 0$) cho điểm trên $X_0(N)$, từ đó cho điểm hữu tỉ $P_K \in E(K)$ qua $\phi$. Đây là công cụ chính trong chứng minh Gross--Zagier [gross-zagier1986].
• BSD $p$-adic: Dạng modular quá tải $p$-adic (overconvergent $p$-adic modular form) sống trên phiên bản $p$-adic của $\mathcal{H}$, liên quan đến hàm $L$ $p$-adic trong BSD $p$-adic.

• BSD yếu: $\mathrm{ord}_{s=1} L(E, s) = \mathrm{rk}(E/\mathbb{Q}) = r$. Hạng $r$ trong Mordell--Weil chính là đại lượng mà BSD dự đoán bằng bậc triệt tiêu hàm $L$.
• BSD mạnh: Regulator $\mathrm{Reg}_E = \det(\langle P_i, P_j \rangle)$ tính từ $r$ điểm sinh $P_1, \ldots, P_r$ của phần tự do $\mathbb{Z}^r$.
• Hạn chế: Chứng minh Mordell--Weil không cho biết $r$ là bao nhiêu! Nó chỉ nói $r$ hữu hạn. BSD là “câu trả lời” cho câu hỏi “$r$ bằng bao nhiêu?” --- thông qua hàm $L$.
• Kết quả đã biết: Nếu $\mathrm{ord}_{s=1} L(E, s) \leq 1$, thì $r = \mathrm{ord}_{s=1} L(E, s)$ (Gross--Zagier, Kolyvagin [gross-zagier1986, kolyvagin1990]).

• Mẫu số BSD: Trong công thức BSD mạnh, $|E(\mathbb{Q})_{\mathrm{tors}}|^2$ xuất hiện ở mẫu số:
  \[ \frac{L^{(r)}(E, 1)}{r!} = \frac{|\mathrm{Sha}| \cdot \mathrm{Reg}_E \cdot \Omega_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}. \]
  Nhờ Mazur, ta biết chính xác $|E(\mathbb{Q})_{\mathrm{tors}}|$ là bao nhiêu (có thể tính bằng thuật toán).
• Tính toán được: Không giống hạng $r$ (rất khó tính), phần xoắn có thể tính chính xác bằng thuật toán Lutz--Nagell hoặc modular symbols. Đây là thành phần “dễ” nhất trong BSD mạnh.
• Liên hệ Mazur--modularity: Chứng minh của Mazur sử dụng mô hình Néron trên $X_0(N)$ --- cùng đối tượng mà Wiles sau này dùng để chứng minh modularity. Mazur (1977) mở đường cho Ribet (1990) và Wiles (1995).

• Thành phần tính được: Nhờ Mazur giải quyết phỏng đoán Ogg, ta biết $|E(\mathbb{Q})_{\mathrm{tors}}|$ luôn nằm trong tập $\{1, 2, \ldots, 10, 12, 16\}$. Điều này giúp kiểm nghiệm số học BSD mạnh: thay vì đối mặt với $|E(\mathbb{Q})_{\mathrm{tors}}|$ bất kỳ, ta chỉ cần xử lý 15 trường hợp.
• Phương pháp Mazur $\to$ phương pháp BSD: Kỹ thuật Mazur (phân tích đường cong modular, mô hình Néron, Eisenstein ideal) được phát triển thêm bởi Skinner--Urban để chứng minh các trường hợp đặc biệt của BSD mạnh.
• Analog BSD cho đa tạp Abel: Phiên bản tổng quát hóa phỏng đoán Ogg cho trường số (uniform boundedness, Merel 1996) liên quan đến BSD cho đa tạp Abel chiều cao.

• BSD trên trường số: BSD tổng quát cho $E/K$ (trường số bất kỳ) có cùng dạng công thức, trong đó $|E(K)_{\mathrm{tors}}|$ ở mẫu số. Merel đảm bảo mẫu số luôn bị chặn --- nên nếu tử số tăng, $L^{(r)}(E, 1)/r!$ cũng phải tăng.
• Bhargava--Shankar: Kết quả thống kê “trung bình hạng bị chặn” [bhargava-shankar2015a] kết hợp với Merel (xoắn bị chặn) cho thông tin chính xác hơn về phân bố Mordell--Weil: phần lớn đường cong có nhóm Mordell--Weil “nhỏ” (hạng $\leq 1$, xoắn nhỏ).
• Bài toán mở: Tìm cận tối ưu $B(d)$ --- đặc biệt, liệu $B(d)$ có tăng theo $d$ không? Phỏng đoán: bậc nguyên tố $p$ lớn nhất của điểm xoắn bị chặn bởi $Cd^{\log\log d}$ (cận Merel gốc: $(1 + 3^{d/2})^2$, rất lớn).

• Hệ quả của BSD: Nếu BSD yếu đúng (hạng đại số = hạng giải tích), Goldfeld tương đương với dự đoán phân bố bậc triệt tiêu hàm $L(E, s)$ tại $s = 1$.
• Kết hợp Bhargava--Shankar + BSD: Bhargava--Skinner--Zhang chứng minh 66.48% đường cong thỏa BSD bằng cách kết hợp: (a) cận Selmer (Bhargava--Shankar), (b) chứng minh BSD cho hạng 0 (Skinner), (c) chứng minh BSD cho hạng 1 (Gross--Zagier--Kolyvagin + Zhang).
• Smith và Goldfeld cho twists: Kết quả Smith (2022) cho twist bậc hai sử dụng phân bố Selmer $\mathrm{Sha}[2]$ --- trực tiếp liên quan đến BSD vì $|\mathrm{Sha}|$ xuất hiện trong công thức BSD mạnh.

• Kiểm nghiệm BSD: Mỗi kỷ lục hạng mới là cơ hội kiểm nghiệm BSD. Với đường cong hạng $r$ của Elkies, ta kiểm tra: $L(E, s)$ có triệt tiêu đến bậc $\geq 28$ tại $s = 1$ không? Câu trả lời: có, phù hợp với BSD yếu.
• BSD mạnh cho hạng cao: Kiểm nghiệm BSD mạnh (tính $|\mathrm{Sha}|$, Reg, $\Omega_E$, \ldots) cho đường cong hạng $\geq 4$ rất khó vì regulator $\mathrm{Reg}_E$ là định thức ma trận $r \times r$, và tìm đủ $r$ điểm sinh độc lập tốn rất nhiều công sức.
• Nếu hạng không bị chặn: Đường cong hạng tùy ý lớn sẽ cho $L(E, s)$ triệt tiêu bậc tùy ý cao --- một hiện tượng rất bất thường cho hàm $L$.

• Dựa trên BSD: PPVW giả sử BSD mạnh đúng, rồi dùng nó để ước lượng xác suất. Nếu BSD sai, mô hình PPVW mất cơ sở.
• Phân bố $\mathrm{Sha}$: Mô hình PPVW dự đoán phân bố chi tiết của $|\mathrm{Sha}|$ --- quan trọng cho BSD vì $|\mathrm{Sha}|$ là thành phần “bí ẩn nhất” trong công thức BSD mạnh.
• Hạng và hàm $L$: Nếu hạng bị chặn bởi 21, thì $L(E, s)$ triệt tiêu tối đa bậc 21 tại $s = 1$ cho “hầu hết” đường cong --- một ràng buộc rất mạnh về hàm $L$.
• Bài toán mở: Chứng minh (hoặc bác bỏ) rằng hạng bị chặn vẫn là một trong những thách thức lớn nhất. Ngay cả chứng minh rằng có vô hạn đường cong hạng $\geq 2$ cũng chưa có (dù ai cũng tin là đúng).

• Tính hạng: Descent (cụ thể: 2-descent) là phương pháp chính hiện nay để tính hạng đường cong elliptic. Nó cho cận trên cho hạng thông qua nhóm Selmer.
• Rào cản $\mathrm{Sha}$: Cận trên từ descent có thể lớn hơn hạng thực sự --- sai lệch chính xác là $\dim \mathrm{Sha}[m]$. Đây là lý do $\mathrm{Sha}$ “cản trở” việc tính hạng chính xác.
• BSD giải quyết rào cản: Nếu BSD yếu đúng, ta tính hạng qua $\mathrm{ord}_{s=1} L(E, s)$ --- không cần descent. Nếu BSD mạnh đúng, ta biết chính xác $|\mathrm{Sha}|$, tức biết sai lệch descent.
• Descent là công cụ chứng minh BSD: Kết quả Kolyvagin (hệ thống Euler) bản chất là “descent mở rộng” --- chặn Selmer từ phía trên, suy ra $\mathrm{Sha}$ hữu hạn và BSD cho hạng $\leq 1$.

• Bhargava--Shankar dùng $2$-descent: Kết quả “hạng trung bình $\leq 0.885$” đến từ việc chứng minh $|\mathrm{Sel}_2(E/\mathbb{Q})|$ trung bình $= 3$ [bhargava-shankar2015a]. Vì $|E(\mathbb{Q})/2E(\mathbb{Q})| \leq |\mathrm{Sel}_2|$, suy ra cận trên cho hạng trung bình.
• Sai lệch = $\mathrm{Sha}[2]$: $|\mathrm{Sel}_2| = |E(\mathbb{Q})/2E(\mathbb{Q})| \cdot |\mathrm{Sha}[2]|$. Cận trên từ $2$-descent lớn hơn hạng thực sự đúng bằng $\dim \mathrm{Sha}[2]$ --- liên quan trực tiếp đến BSD mạnh (vì $|\mathrm{Sha}|$ xuất hiện).
• Phần mềm: Cremona's mwrank, Sage, Magma đều implement $2$-descent. Đây là bước đầu tiên để tính hạng trên máy tính --- và kết quả được dùng để kiểm nghiệm BSD cho hàng triệu đường cong trong LMFDB [cremona1997].

• Bhargava--Shankar cho $n = 3, 4, 5$: Ngoài $\mathrm{Sel}_2$, Bhargava--Shankar còn tính trung bình $|\mathrm{Sel}_3| = 4$, $|\mathrm{Sel}_4| = 7$, $|\mathrm{Sel}_5| = 6$ [bhargava-shankar2015a]. Mỗi kết quả cho cận trên tốt hơn cho hạng trung bình, đều phù hợp với Goldfeld.
• $\mathrm{Sha}$ hữu hạn: Phỏng đoán rằng $\mathrm{Sha}(E/\mathbb{Q})$ hữu hạn cho mọi $E$. Nếu đúng, thì descent bậc đủ cao sẽ cho hạng chính xác. BSD mạnh hàm ý $\mathrm{Sha}$ hữu hạn (vì $|\mathrm{Sha}|$ xuất hiện trong công thức hữu hạn).
• Tính toán BSD mạnh: Kiểm nghiệm BSD mạnh cho đường cong với $\mathrm{Sha} \neq 0$ (ví dụ 571a1) yêu cầu descent bậc cao để xác nhận $|\mathrm{Sha}| = 4$. Cremona/LMFDB đã kiểm nghiệm BSD mạnh cho hàng triệu đường cong bằng cách kết hợp $2$-descent và $4$-descent [cremona1997].

• Công cụ chứng minh Mordell--Weil: Chiều cao ngây thơ là thành phần không thể thiếu trong Bước 2 (descent) của chứng minh Mordell--Weil. Không có nó, ta không chứng minh được $E(\mathbb{Q})$ hữu hạn sinh.
• Tiền thân của $\hat{h}$: Chiều cao ngây thơ xấp xỉ chiều cao Néron--Tate: $\hat{h}(P) = h(P) + O(1)$. Trong thực hành, người ta dùng $h$ để sàng lọc ban đầu (tìm điểm chiều cao nhỏ), rồi tính $\hat{h}$ chính xác cho BSD mạnh.
• Tìm điểm sinh: Để tính regulator $\mathrm{Reg}_E$ trong BSD mạnh, cần tìm tập sinh Mordell--Weil. Thuật toán: tìm mọi điểm có $h(P) \leq B$ (hữu hạn), rồi kiểm tra chúng sinh ra $E(\mathbb{Q})$ modulo xoắn.

• Regulator: $\mathrm{Reg}_E = \det(\langle P_i, P_j \rangle_{\mathrm{NT}})$ --- tính trực tiếp từ chiều cao Néron--Tate.
• Gross--Zagier: Công thức Gross--Zagier [gross-zagier1986] liên hệ $L'(E, 1)$ với $\hat{h}(P_K)$ (chiều cao điểm Heegner): $L'(E, 1) = c \cdot \hat{h}(P_K)$. Nếu $\hat{h}(P_K) > 0$ thì $P_K$ có bậc vô hạn, suy ra $r \geq 1$.
• Kiểm nghiệm: Tính $\hat{h}$ chính xác (bằng Sage/PARI) là bước thiết yếu khi kiểm nghiệm BSD mạnh cho từng đường cong cụ thể.

• Ma trận Gram $\to$ Regulator: $\mathrm{Reg}_E = \det(G)$ với $G_{ij} = \langle P_i, P_j \rangle$. Ma trận $G$ mã hóa toàn bộ “hình học” lưới Mordell--Weil.
• Gross--Zagier chi tiết: $L'(E, 1) = \frac{\deg(\phi)}{c_\infty^2} \cdot \hat{h}(y_K) \cdot (\text{thừa số Euler})$, trong đó $\hat{h}(y_K) = \frac{1}{2}\langle y_K, y_K \rangle$ [gross-zagier1986]. Ghép đôi chiều cao là công cụ chính để “đo” điểm Heegner.
• BSD mạnh tổng quát: Trên trường số $K$, ghép đôi chiều cao tổng quát cho phép xây dựng regulator $\mathrm{Reg}_{E/K}$ cho BSD trên $K$.

• Gross--Zagier cục bộ: Công thức Gross--Zagier gốc tính $\hat{h}(P_K)$ bằng cách tách thành $\sum_v \lambda_v(P_K)$ và tính từng đóng góp --- phần Archimedean liên hệ với $L'(E, 1)$, phần hữu hạn liên hệ với số giao trên mô hình Néron [gross-zagier1986].
• Yuan--Zhang--Zhang: Phiên bản tổng quát hóa Gross--Zagier (2013) dùng chiều cao cục bộ Néron trên mô hình tích phân để tính $\hat{h}(P_K)$ cho conductor tổng quát [yuan-zhang-zhang2013].
• Số Tamagawa: Đóng góp $\lambda_p$ tại $p$ rút gọn xấu liên quan đến số Tamagawa $c_p$ --- cả hai đều đo “mức độ xấu” tại $p$.

• Công thức BSD mạnh:
  \[ \frac{L^{(r)}(E, 1)}{r!} = \frac{|\mathrm{Sha}(E/\mathbb{Q})| \cdot \mathrm{Reg}(E/\mathbb{Q}) \cdot \Omega_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}. \]
• Khó tính: Tính $\mathrm{Reg}_E$ yêu cầu biết đầy đủ tập sinh Mordell--Weil --- đây là phần khó nhất! Cho hạng 1, cần tìm điểm sinh; cho hạng $\geq 2$, cần tìm $r$ điểm sinh độc lập.
• Tương quan với $|\mathrm{Sha}|$: BSD mạnh nói $L^{(r)}/r!$ là tích $|\mathrm{Sha}| \cdot \mathrm{Reg} \cdot (\ldots)$. Nếu $\mathrm{Reg}$ lớn (điểm sinh “tốt”), thì $|\mathrm{Sha}|$ có thể nhỏ. Ngược lại, $\mathrm{Reg}$ nhỏ $\Rightarrow$ $|\mathrm{Sha}|$ lớn để bù đắp.
• Gross--Zagier: Khi $r = 1$, $\mathrm{Reg} = 2\hat{h}(P)$, và Gross--Zagier cho $L'(E, 1) = c \cdot \hat{h}(P_K)$. Đây là bằng chứng trực tiếp BSD cho hạng 1 [gross-zagier1986].

• Hàm $L$ của $E$ mô phỏng $\zeta$: $L(E, s) = \prod_p L_p(E, s)$ --- tích Euler giống $\zeta(s)$, nhưng mỗi thừa số $L_p = (1 - a_p p^{-s} + p^{1-2s})^{-1}$ mang thông tin về đường cong $E$ tại $p$ (thay vì chỉ “$p$ tồn tại”).
• Phương trình hàm: $\zeta$ có đối xứng $s \leftrightarrow 1 - s$. Hàm $L(E, s)$ có đối xứng $s \leftrightarrow 2 - s$ (tâm đối xứng tại $s = 1$ --- đúng nơi BSD quan tâm).
• Chuỗi bài toán thiên niên kỷ: Giả thuyết Riemann (cho $\zeta$) và giả thuyết BSD (cho $L(E, s)$) đều nằm trong 7 bài toán thiên niên kỷ Clay. Cả hai đều hỏi: “nghiệm/bậc triệt tiêu của hàm $L$ nói gì về đối tượng số học?”
• Tương tự: $\zeta(s) \neq 0$ tại $s = 1$ (cực!) $\Leftrightarrow$ có vô hạn số nguyên tố. Tương tự, $L(E, 1) \neq 0$ $\Leftrightarrow$ (theo BSD) $E(\mathbb{Q})$ hữu hạn.

• Hai bài toán thiên niên kỷ song sinh: Cả Giả thuyết Riemann (cho $\zeta$) và Giả thuyết BSD (cho $L(E,s)$) đều thuộc 7 bài toán Clay. Cả hai đều hỏi: “nghiệm/bậc triệt tiêu của hàm $L$ mang thông tin gì về đối tượng số học?”
• Giả thuyết Riemann tổng quát (GRH): Phiên bản mở rộng cho hàm $L(E,s)$ dự đoán mọi nghiệm không tầm thường nằm trên $\mathrm{Re}(s) = 1$. Nếu GRH đúng cho $L(E,s)$, nhiều kết quả về hạng elliptic sẽ được cải thiện đáng kể [silverman2009].
• “Giả thuyết Riemann cục bộ”: Cận Hasse $|a_p| \leq 2\sqrt{p}$ chính là “Giả thuyết Riemann cho hàm zeta cục bộ” --- và đã được Hasse chứng minh (1933). Deligne (1974) chứng minh cho đa tạp bất kỳ [deligne1974].

• Triết lý BSD: Giả thuyết BSD khẳng định rằng hành vi tại $s = 1$ của tích Euler $L(E,s)$ “biết” hạng $r$ của $E(\mathbb{Q})$. Đây là kết quả đáng kinh ngạc: thông tin cục bộ (đếm điểm mod $p$ cho từng $p$) xác định tính chất toàn cục (hạng).
• Tích hữu hạn của Birch--Dyer: Birch và Swinnerton-Dyer (1960s) khảo sát tích hữu hạn $\Pi_E(X) = \prod_{p \leq X} \#E(\mathbb{F}_p)/p$ và phát hiện nó tăng $\sim C \cdot (\log X)^r$. Đây chính là động lực ban đầu cho giả thuyết BSD [birch-sd1965].
• Sự hội tụ: Tích Euler $L(E,s)$ hội tụ khi $\mathrm{Re}(s) > 3/2$ (nhờ cận Hasse $|a_p| \leq 2\sqrt{p}$). Điểm $s = 1$ nằm ngoài miền hội tụ --- đây là lý do cần thác triển giải tích.

• Hàm $L(E,s)$ là chuỗi Dirichlet: $L(E,s) = \sum a_n n^{-s}$, trong đó $a_n$ xác định hoàn toàn bởi các $a_p$ (lượng sai Frobenius) qua truy hồi và tính nhân tính.
• Hội tụ và $s = 1$: Chuỗi Dirichlet hội tụ tuyệt đối khi $\mathrm{Re}(s) > 3/2$, nhưng BSD cần giá trị tại $s = 1$ --- do đó cần thác triển giải tích (thông qua modularity).
• BSD mạnh: Công thức BSD mạnh $\lim_{s \to 1} L(E,s)/(s-1)^r = (\Omega_E \cdot \mathrm{Reg}_E \cdot \prod c_p \cdot |\mathrm{Sha}|) / |E(\mathbb{Q})_{\mathrm{tors}}|^2$ liên hệ các hệ số $a_n$ của chuỗi Dirichlet với các bất biến số học [birch-sd1965].

1. Euler (1734): $\zeta(2) = \pi^2/6$. Đây là “chu kỳ” (period) --- $\pi$ xuất hiện vì hàm zeta liên quan đến lượng giác qua công thức $\sin(\pi z)/(\pi z) = \prod_{n=1}^{\infty}(1 - z^2/n^2)$ [edwards1974].
2. Công thức số lớp Dirichlet (1837): Cho $K = \mathbb{Q}(\sqrt{-d})$ trường toàn phương ảo:
   \[L(1, \chi_d) = \frac{2\pi h_K}{w_K \sqrt{d}},\]
   với $h_K$ = số lớp, $w_K$ = số nghiệm đơn vị. Giá trị đặc biệt $L(1, \chi_d)$ “đếm lớp ideal” [davenport2000].
3. Công thức thặng dư Dedekind: Cho trường số $K$ bậc $n$:
   \[\lim_{s \to 1} (s-1)\,\zeta_K(s) = \frac{2^{r_1}(2\pi)^{r_2} h_K R_K}{w_K \sqrt{|d_K|}},\]
   với $R_K$ = regulator Dirichlet (thể tích trong không gian logarit đơn vị), $h_K$ = số lớp [neukirch1999]. Đây là “nguyên mẫu” cho BSD mạnh.
4. BSD (1965): Giá trị dẫn đầu $L^{(r)}(E,1)/r!$ bằng tích các bất biến số học (xem công thức ở trên). Đây là sự tổng quát hóa trực tiếp của công thức Dedekind [birch-sd1965, tate1966].
5. Phỏng đoán Bloch--Kato (1990): Tổng quát cho motif (motive) $M$ bất kỳ: giá trị đặc biệt $L^*(M, n)$ (hệ số dẫn đầu tại $s = n$) bằng tích [bloch-kato1990]:
   \[L^*(M, n) \sim \frac{\text{period} \times \text{regulator} \times \text{Tamagawa} \times |\text{``Sha''}|}{|\text{torsion}|^2}.\]
   BSD là trường hợp $M = h^1(E)$, $n = 1$.
6. Phỏng đoán Beilinson (1985): Cho $r > \dim M/2$ (ngoài miền tới hạn), giá trị đặc biệt liên hệ với regulator Beilinson --- ánh xạ từ $K$-theory đại số sang đối đồng điều Deligne.

Triết lý chung: Giá trị đặc biệt hàm $L$ tại số nguyên luôn là “thể tích” --- tích của chu kỳ (period) và regulator --- nhân với thông tin torsion (số Tamagawa, $\mathrm{Sha}$). Hàm $L$ là “cầu nối” giữa giải tích phức (zero, cực, giá trị) và hình học số học (đối đồng điều, $K$-theory, thể tích adelic).

• BSD yếu: $\mathrm{ord}_{s=1} L(E, s) = \mathrm{rk} E(\mathbb{Q})$.
• BSD mạnh: Hệ số dẫn đầu $L^{(r)}(E, 1)/r!$ (với $r = \mathrm{rk} E(\mathbb{Q})$) bằng:
  \[ \frac{L^{(r)}(E, 1)}{r!} = \frac{\Omega_E \cdot \mathrm{Reg}_E \cdot \prod_p c_p \cdot |\mathrm{Sha}(E/\mathbb{Q})|}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}. \]
• Dấu gốc: Nếu $w_E = -1$ thì $L(E,1) = 0$ $\Rightarrow$ BSD dự đoán $r \geq 1$ (có vô hạn điểm hữu tỉ). Nếu $w_E = +1$, $r$ phải chẵn.
• Trạng thái: BSD đã được chứng minh cho $r = 0$ (Kolyvagin, khi $L(E,1) \neq 0$) và $r = 1$ (Gross--Zagier + Kolyvagin, khi $\mathrm{ord}_{s=1} L(E,s) = 1$). Trường hợp $r \geq 2$ vẫn mở [kolyvagin1990, gross-zagier1986].

• Thừa số Euler = nghịch đảo tử số: Thừa số Euler của $L(E,s)$ tại $p$ (khử tốt) chính là nghịch đảo tử số $Z(\tilde{E}/\mathbb{F}_p, T)$ khi thay $T = p^{-s}$:
  \[ L_p(E, s) = \frac{1}{1 - a_p p^{-s} + p^{1-2s}} = \frac{1}{P_1(p^{-s})}. \]
  Vậy hàm $L(E,s)$ toàn cục được xây dựng từ các hàm zeta cục bộ.
• Cận Hasse $\Rightarrow$ hội tụ: Cận $|a_p| \leq 2\sqrt{p}$ (tương đương $|\alpha_p| = \sqrt{p}$) đảm bảo tích Euler hội tụ khi $\mathrm{Re}(s) > 3/2$.
• Sato--Tate: Phân bố của $a_p / (2\sqrt{p})$ khi $p \to \infty$ tuân theo luật bán tròn (Sato--Tate, đã chứng minh 2011 cho đường cong không CM). Đây là “thống kê vĩ mô” của dữ liệu cục bộ [katz-sarnak1999].

• Không có thác triển, không có BSD: Giả thuyết BSD nói về $\mathrm{ord}_{s=1} L(E,s)$ --- bậc triệt tiêu tại $s = 1$. Nhưng tích Euler chỉ hội tụ khi $\mathrm{Re}(s) > 3/2$, nên $L(E,1)$ không có nghĩa nếu thiếu thác triển! Thác triển giải tích là điều kiện tiên quyết để phát biểu BSD.
• Lịch sử: Trước 1995, thác triển chỉ biết cho đường cong CM (Deuring, 1953). Định lý modularity (Wiles 1995, BCDT 2001) cho thác triển với mọi $E/\mathbb{Q}$ --- lần đầu tiên BSD có nghĩa cho mọi đường cong elliptic trên $\mathbb{Q}$ [wiles1995, bcdt2001].
• Hai con đường thác triển:
  1. CM: $L(E,s) = L(\psi, s) \cdot L(\bar{\psi}, s)$ phân tích thành tích hàm $L$ Hecke $\Rightarrow$ thác triển từ lý thuyết cổ điển [deuring1953].
  2. Modularity: $L(E,s) = L(f_E, s)$ trùng hàm $L$ dạng modular $\Rightarrow$ thác triển nhờ biến đổi Mellin [wiles1995].
• Phương trình hàm: Thác triển còn cho phương trình hàm $\Lambda(E, s) = w_E \Lambda(E, 2-s)$. Từ đó: nếu $w_E = -1$ thì $L(E,1) = 0$ bắt buộc, và BSD dự đoán hạng $r \geq 1$ [diamond-shurman2005].

• Phỏng đoán tính chẵn lẻ (Parity conjecture): $(-1)^{r} = w_E$, tức tính chẵn lẻ của hạng bằng dấu gốc. Đây là hệ quả yếu nhất của BSD, nhưng cũng chưa được chứng minh hoàn toàn (đã biết cho đường cong bán ổn định nhờ Dokchitser--Dokchitser 2010) [silverman2009].
• “Nửa” BSD: Dấu gốc $w_E = -1$ $\Rightarrow$ $L(E,1) = 0$ $\Rightarrow$ (theo BSD) $E(\mathbb{Q})$ vô hạn. Đây là “nửa” BSD: nó nói khi nào có vô hạn điểm hữu tỉ, nhưng chưa nói bao nhiêu (hạng chính xác).
• BSD mạnh: Phương trình hàm cho phép định nghĩa hệ số dẫn đầu $L^{(r)}(E,1)/r!$ --- chính số hạng mà BSD mạnh liên hệ với $\Omega_E \cdot \mathrm{Reg}_E \cdot \prod c_p \cdot |\mathrm{Sha}| / |E(\mathbb{Q})_{\mathrm{tors}}|^2$.

• BSD yếu: $\mathrm{ord}_{s=1} L(E, s) = \mathrm{rk} E(\mathbb{Q})$. Đây là phát biểu cô đọng nhất của BSD --- bậc triệt tiêu (giải tích) bằng hạng (đại số).
• Trạng thái đã biết:
• $\mathrm{ord}_{s=1} L(E,s) = 0$ $\Rightarrow$ $\mathrm{rk} E(\mathbb{Q}) = 0$ (Kolyvagin [kolyvagin1990]).
• $\mathrm{ord}_{s=1} L(E,s) = 1$ $\Rightarrow$ $\mathrm{rk} E(\mathbb{Q}) = 1$ (Gross--Zagier + Kolyvagin [gross-zagier1986, kolyvagin1990]).
• $\mathrm{ord}_{s=1} L(E,s) \geq 2$: hoàn toàn mở! Ta thậm chí không biết cách chứng minh $\mathrm{rk} E(\mathbb{Q}) \geq 2$ từ $\mathrm{ord}_{s=1} L(E,s) \geq 2$.

• Chiều ngược ($\mathrm{rk} \to \mathrm{ord}$): Nếu $\mathrm{rk} E(\mathbb{Q}) = 0$ thì $\mathrm{ord}_{s=1} L(E,s) = 0$ (Skinner--Urban 2014, dưới một số điều kiện kỹ thuật). Chiều ngược cho hạng 1 cũng được biết nhờ Skinner (2020).

• BSD yếu: $r_{\mathrm{an}}(E) = \mathrm{rk} E(\mathbb{Q})$. Nói cách khác, hạng giải tích xác định hạng đại số.
• Tính toán $r_{\mathrm{an}}$: Trong thực tế, tính $r_{\mathrm{an}}$ dễ hơn tính $r$! Hạng giải tích tính được bằng phương pháp số (chuỗi hội tụ nhanh, công thức Dokchitser), trong khi hạng đại số đòi hỏi tìm điểm hữu tỉ hoặc chặn nhóm Selmer.
• Hệ quả thực tiễn: Nếu BSD đúng, ta có thể “tính hạng bằng giải tích” --- tính $r_{\mathrm{an}}$ rồi kết luận $r = r_{\mathrm{an}}$. Đây là chiến lược Bhargava--Skinner--Zhang (2014) dùng để chứng minh $\geq 66.48\%$ đường cong elliptic có hạng 0 hoặc 1 [bhargava-skinner-zhang2014].
• Rào cản $r_{\mathrm{an}} \geq 2$: Phương pháp Gross--Zagier chỉ xây dựng 1 điểm Heegner (cho $r = 1$). Không có phương pháp nào tạo ra 2 điểm độc lập từ $r_{\mathrm{an}} = 2$ --- đây là rào cản lớn nhất hiện nay.

• Sự hội tụ tích Euler: Cận $|a_p| \leq 2\sqrt{p}$ đảm bảo tích Euler $L(E,s) = \prod_p L_p(E,s)$ hội tụ tuyệt đối khi $\mathrm{Re}(s) > 3/2$. Không có cận Hasse, ta không biết tích Euler xác định hàm giải tích hay không!
• Phân bố $a_p$ và BSD: Giá trị trung bình $a_p \approx 0$ (theo Sato--Tate) giải thích tại sao $\Pi_E(X) = \prod_{p \leq X} (p+1-a_p)/p$ tăng chậm (logarithmic) --- dẫn đến quan sát $\Pi_E(X) \sim C (\log X)^r$ của Birch--Swinnerton-Dyer.
• Thuật toán: Tính $a_p$ cho $p$ nhỏ bằng liệt kê ($O(p)$), cho $p$ lớn bằng thuật toán Schoof ($O(\log^5 p)$). Cận Hasse giúp kiểm tra tính đúng đắn: nếu $|a_p| > 2\sqrt{p}$, có lỗi tính toán [silverman2009].

• Thừa số Euler: Thừa số Euler tại $p$ (khử tốt) là:
  \[ L_p(E, s) = \frac{1}{P_p(p^{-s})} = \frac{1}{(1 - \alpha_p p^{-s})(1 - \beta_p p^{-s})}. \]
  Vậy đa thức đặc trưng Frobenius trực tiếp xác định thừa số Euler, từ đó xác định $L(E,s)$.
• Biểu diễn Galois: Hệ số $a_p$ là vết (trace) của ma trận Frobenius trong biểu diễn $\rho_{E,\ell}\colon \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{GL}_2(\mathbb{Z}_\ell)$. Đường cong $E$ được “mã hóa” hoàn toàn bởi dãy $\{a_p\}$ --- và Định lý modularity nói rằng dãy này cũng là hệ số Fourier của một dạng modular [wiles1995].
• Phân bố Sato--Tate: Góc $\theta_p$ xác định bởi $a_p = 2\sqrt{p}\cos\theta_p$ có phân bố $\frac{2}{\pi}\sin^2\theta$ (bán tròn) khi $p \to \infty$ --- đây là “luật lớn” cho dữ liệu cục bộ xây dựng hàm $L$ [katz-sarnak1999].

• Không ảnh hưởng bậc triệt tiêu: Vì $\Gamma(1) = 1 \neq 0$, thừa số Gamma không thay đổi bậc triệt tiêu tại $s = 1$: $\mathrm{ord}_{s=1} L(E,s) = \mathrm{ord}_{s=1} \Lambda(E,s)$. Vậy BSD yếu ($\mathrm{ord}_{s=1} L(E,s) = r$) không phụ thuộc vào Gamma.
• BSD mạnh: Tuy nhiên, giá trị $L^{(r)}(E,1)/r!$ (hệ số dẫn đầu) bị ảnh hưởng bởi cách chuẩn hóa. Công thức BSD mạnh sử dụng $L(E,s)$ (không có Gamma), nhưng thừa số $\Omega_E = \int_{E(\mathbb{R})} |\omega|$ (chu kỳ thực) bù lại --- cả hai “thừa số vô cực” triệt tiêu nhau [silverman2009].
• Biến đổi Mellin: Đẳng thức $L(E,s) = (2\pi)^s \Gamma(s)^{-1} \int_0^{\infty} f_E(it)\, t^{s-1}\, dt$ cho thấy Gamma là “cầu nối” giữa dạng modular $f_E$ và chuỗi Dirichlet $L(E,s)$.

• Triết lý chung: Cả Định lý SNT và BSD đều thuộc “chương trình giải tích lý thuyết số”: dùng hàm $L$ để trích xuất thông tin số học. Cực của $\zeta(s)$ tại $s = 1$ cho phân bố số nguyên tố; bậc triệt tiêu của $L(E,s)$ tại $s = 1$ cho hạng.
• Cận Hasse → Tích Euler hội tụ: Chứng minh Định lý SNT cần $\zeta(1+it) \neq 0$. Tương tự, chứng minh BSD (phần $r = 0$) cần $L(E, 1) \neq 0$ kết hợp Kolyvagin.
• Mở rộng: Thay $\zeta(s)$ bằng $L(E,s)$, “số nguyên tố” bằng “điểm hữu tỉ trên $E$”: Định lý SNT tổng quát hóa thành giả thuyết BSD.

• Tiền thân của BSD: Công thức lớp số giải tích (Dirichlet, 1839) là “BSD cho trường số” --- đã được chứng minh từ thế kỷ 19! BSD là nỗ lực tổng quát hóa công thức này cho đường cong elliptic.

So sánh cấu trúc:

	Trường số $K$	Đường cong $E$
Hàm $L$	$\zeta_K(s)$	$L(E, s)$
Bậc triệt tiêu	$\mathrm{ord}_{s=1} = 1$ (cực đơn)	$\mathrm{ord}_{s=1} = r$
Regulator	$R_K$	$\mathrm{Reg}_E$
“Sha”	$h_K$ (số lớp)	$|\mathrm{Sha}(E/\mathbb{Q})|$
Xoắn	$w_K$	$|E(\mathbb{Q})_{\mathrm{tors}}|$

• Đường cong CM: Khi $E$ có nhân phức bởi $\mathcal{O}_K$, $L(E,s)$ phân tích thành tích hàm $L$ Hecke trên $K$, liên hệ trực tiếp với $\zeta_K(s)$ [deuring1953].

• BSD $p$-adic: $\mathrm{ord}_{s=1} L_p(E, s) = r(E/\mathbb{Q})$ [mazur-tate-teitelbaum1986]. Đây là phiên bản $p$-adic của BSD, cùng dự đoán nhưng trong thế giới $p$-adic.
• Phỏng đoán chính Iwasawa (IMC): Liên hệ $L_p(E,s)$ với nhóm Selmer $p$-adic. IMC đã được chứng minh cho nhiều trường hợp bởi Kato (một chiều) và Skinner--Urban (chiều ngược) --- đây là tiến bộ lớn nhất hướng tới BSD.
• Kết quả đã biết: Nếu $L(E,1) \neq 0$ và $p$ là số nguyên tố tốt, thì $\mathrm{rk} E(\mathbb{Q}) = 0$ và $|\mathrm{Sha}(E/\mathbb{Q})[p^\infty]| < \infty$. Chứng minh đi qua hàm $L$ $p$-adic và IMC (Kato, Skinner--Urban).
• Zero ngoại lệ: Khi xảy ra, cần sửa công thức BSD $p$-adic bằng thừa số $\mathcal{L}$-bất biến (Mazur--Tate--Teitelbaum conjecture, Greenberg--Stevens 1993 chứng minh cho trường hợp ordinary).

• Phỏng đoán tính chẵn lẻ (Parity Conjecture): $(-1)^{r(E/\mathbb{Q})} = w_E$. Đây là hệ quả yếu nhất của BSD yếu, nhưng cũng chưa chứng minh hoàn toàn. Dokchitser--Dokchitser (2010) chứng minh cho đường cong bán ổn định [dokchitser2010].
• $w_E = -1 \Rightarrow r \geq 1$: Kết hợp phương trình hàm ($L(E,1) = 0$) với Kolyvagin ($L(E,1) = 0$ và $L'(E,1) \neq 0 \Rightarrow r = 1$): nếu thêm $L'(E,1) \neq 0$, ta được $r = 1$ chính xác. Đây là cách chứng minh BSD cho $r = 1$.
• BSD mạnh: Dấu gốc $w_E$ cũng xuất hiện trong phương trình hàm $\Lambda(E,s) = w_E \Lambda(E, 2-s)$, ảnh hưởng đến cách tính hệ số dẫn đầu $L^{(r)}(E,1)/r!$.
• Bhargava--Shankar: 50% đường cong có $w_E = +1$. Trong số này, Bhargava--Shankar chứng minh phần lớn có $r = 0$ (thông qua chặn nhóm Selmer). Kết hợp: $\geq 66.48\%$ đường cong thỏa BSD [bhargava-skinner-zhang2014].

• Thống kê cục bộ: Sato--Tate cho “luật lớn” cho dữ liệu $a_p$ --- chính dữ liệu xây dựng hàm $L(E,s)$ và tích hữu hạn $\Pi_E(X)$. Phân bố $a_p$ ảnh hưởng đến tốc độ hội tụ tích Euler.
• Liên hệ gián tiếp: Sato--Tate không trực tiếp chứng minh BSD, nhưng nó xác nhận “dữ liệu đầu vào” ($a_p$) cho hàm $L$ có cấu trúc hợp lý. Nó cũng là hệ quả của Langlands (cùng chương trình lớn chứa BSD).
• Moments: Các moment $\sum_{p \leq X} a_p^k / p^{k/2}$ tính được từ phân bố Sato--Tate, cho thông tin về hàm $L$ đối xứng $\mathrm{Sym}^k L(E,s)$ --- đối tượng nghiên cứu tích cực trong chương trình Langlands [katz-sarnak1999].

• Dữ liệu đầu vào: Dãy $\{\theta_p\}_{p \text{ nguyên tố}}$ xác định hoàn toàn hàm $L(E,s)$ (qua tích Euler). BSD nói rằng hành vi “tổng hợp” của dãy này (cụ thể: bậc triệt tiêu tại $s = 1$) bằng hạng.
• “Trung bình” $\theta_p$ và tích hữu hạn: $\log \Pi_E(X) = \sum_{p \leq X} \log(1 - a_p/p + 1/p)$. Vì $a_p = 2\sqrt{p}\cos\theta_p$, số hạng chính $\approx -2\cos\theta_p / \sqrt{p}$. Phân bố Sato--Tate cho $\langle \cos\theta_p \rangle \approx 0$, giải thích tại sao $\Pi_E(X)$ tăng chậm (logarithmic).
• Hàm $L$ đối xứng: Các moment $\cos^k\theta_p$ liên quan đến hàm $L$ lũy thừa đối xứng $L(\mathrm{Sym}^k E, s)$. Tính chất giải tích của các hàm này (thác triển, phương trình hàm) nằm trong chương trình Langlands --- framework rộng hơn chứa BSD [katz-sarnak1999].

• Nền tảng của Sato--Tate: Phỏng đoán Sato--Tate (nay là định lý cho $E/\mathbb{Q}$ không CM [taylor2008]) phát biểu rằng các Frobenius chuẩn hóa phân bố đều (equidistributed) trên $\mathrm{SU}(2)$ theo độ đo Haar. Nhóm $\mathrm{SU}(2)$ là “nhóm Sato--Tate” của đường cong.
• Tích Euler và BSD: Hàm $L(E,s) = \prod_p L_p(E,s)$ được xây dựng từ các thừa số cục bộ. Mỗi thừa số $L_p$ phụ thuộc vào góc $\theta_p$ (lớp liên hợp trong $\mathrm{SU}(2)$). Phân bố đều trên $\mathrm{SU}(2)$ kiểm soát tốc độ hội tụ/phân kỳ của tích Euler --- liên quan trực tiếp đến bậc triệt tiêu $\mathrm{ord}_{s=1} L(E,s)$.
• Trường hợp CM: Khi $E$ có nhân phức, nhóm Sato--Tate là $\mathrm{U}(1) \subsetneq \mathrm{SU}(2)$ (nhỏ hơn), và phân bố khác: $\theta_p$ đều trên $[0, \pi]$ thay vì bán tròn [katz-sarnak1999].

• Công thức đếm: Vết Frobenius $a_p = p + 1 - \#E(\mathbb{F}_p)$ --- đại lượng cốt lõi xây dựng hàm $L(E,s)$ --- được tính trực tiếp qua tổng ký hiệu Legendre.
• Đường cong CM: Với $E: y^2 = x^3 - x$ (CM bởi $\mathbb{Z}[i]$), ta có $a_p = 0$ khi $p \equiv 3 \pmod{4}$ vì $\left(\frac{-1}{p}\right) = -1$. Ký hiệu Legendre xác định hoàn toàn hành vi của $a_p$.
• Twist bậc hai: Với $E_d: dy^2 = f(x)$, ta có $a_p(E_d) = \left(\frac{d}{p}\right) a_p(E)$. Hàm $L$ của twist thay đổi bởi ký hiệu Legendre: $L(E_d, s) = L(E, s, \chi_d)$ trong đó $\chi_d = \left(\frac{d}{\cdot}\right)$.

• Đếm điểm: Số điểm $\#E(\mathbb{F}_p)$ phụ thuộc trực tiếp vào có bao nhiêu $x \in \mathbb{F}_p$ mà $f(x)$ là thặng dư bậc hai. Nếu $f(x)$ là bình phương modulo $p$, ta được 2 điểm $(x, \pm y)$; nếu $f(x) = 0$, được 1 điểm; nếu phi thặng dư, không có điểm.
• Rút gọn nhân: Loại rút gọn xấu tại $p$ (nhân tách vs.không tách) phụ thuộc vào $c_4/\Delta$ có phải thặng dư bậc hai modulo $p$ hay không. Điều này ảnh hưởng đến thừa số Euler $L_p(E,s)$ và số Tamagawa $c_p$.
• Số đồng dư: Số nguyên $n$ là số đồng dư khi và chỉ khi $E_n: y^2 = x^3 - n^2 x$ có hạng $\geq 1$. Định lý Tunnell [tunnell1983] quy điều kiện này về đếm biểu diễn bậc hai --- bản chất là thặng dư bậc hai modulo các số nguyên tố.

• Nửa đầu của giả thuyết: BSD yếu là phần định tính --- chỉ nói về sự bằng nhau $r_{\mathrm{an}} = r$, không nói giá trị cụ thể $L^{(r)}(E,1)/r!$. BSD mạnh bổ sung phần định lượng.
• Đã biết gì? Nhờ Gross--Zagier [gross-zagier1986] và Kolyvagin [kolyvagin1990]: nếu $r_{\mathrm{an}} \leq 1$ thì $r = r_{\mathrm{an}}$ (và $\mathrm{Sha}$ hữu hạn). Với $r_{\mathrm{an}} \geq 2$, ta chỉ biết $r \geq 1$ (Kato [kato2004]: $r_{\mathrm{an}} = 0 \Rightarrow r = 0$). Trường hợp $r_{\mathrm{an}} \geq 2$ vẫn hoàn toàn mở.
• Bài toán thiên niên kỷ: Viện Clay quy ước: để nhận giải $1 triệu, chỉ cần chứng minh BSD yếu cho mọi $E/\mathbb{Q}$ (không cần BSD mạnh).
• Chiều ngược: Chiều $r \geq r_{\mathrm{an}}$ (có “đủ” điểm) đặc biệt khó. Khi $L(E,1) = 0$ (hạng giải tích $\geq 1$), làm sao xây dựng một điểm hữu tỉ? Phương pháp Heegner chỉ hoạt động khi $r_{\mathrm{an}} = 1$.

• Mạnh hơn BSD yếu: BSD yếu chỉ nói $\mathrm{ord}_{s=1} = r$ (bậc triệt tiêu). BSD mạnh nói thêm: hệ số hàng đầu $L^{(r)}(E,1)/r!$ bằng một biểu thức cụ thể chứa mọi bất biến số học quan trọng của $E$.
• Đã chứng minh được gì?
• Hạng $0$: Kato [kato2004] chứng minh $L(E,1) \neq 0 \Rightarrow r = 0$ và $|\mathrm{Sha}| < \infty$. Skinner [skinner-urban2014] chứng minh BSD mạnh phần $p$ cho “hầu hết” $p$.
• Hạng $1$: Gross--Zagier + Kolyvagin chứng minh $r = 1$ và $|\mathrm{Sha}| < \infty$. Công thức Gross--Zagier cho giá trị $L'(E,1)$ qua chiều cao điểm Heegner.
• Hạng $\geq 2$: Chưa biết gì về BSD mạnh.

• Kiểm nghiệm bằng máy tính: Cremona [cremona1997] và LMFDB đã kiểm nghiệm BSD mạnh cho hàng triệu đường cong có conductor $\leq 500{,}000$ --- tất cả đều khớp.

• Thách thức: Tính $|\mathrm{Sha}|$ chính xác rất khó (phải tính nhóm Selmer hoặc dùng phương pháp descent). Với hạng cao ($r \geq 3$), $\mathrm{Reg}_E$ có thể rất nhỏ, gây khó khăn số học.

• Nguồn gốc thực nghiệm: Giả thuyết BSD không bắt đầu từ lý thuyết trừu tượng mà từ dữ liệu máy tính. Birch và Swinnerton-Dyer nhìn vào đồ thị $\Pi_E(X)$ vs. $\log X$ trên giấy bán logarithm, thấy đường thẳng có hệ số góc $r$, và đoán ra mối liên hệ. Đây là một trong những ví dụ đẹp nhất về toán học thực nghiệm [birch2004].
• Từ $\Pi_E(X)$ đến $L(E,s)$: Quan sát $\Pi_E(X) \sim C(\log X)^r$ dẫn Birch--Swinnerton-Dyer đến phát biểu chính xác hơn: $\mathrm{ord}_{s=1} L(E,s) = r$, vì $\Pi_E(X)$ chính là tích Euler cắt cụt tại $s=1$.
• Hằng số $C$: Hằng số $C$ trong $\Pi_E(X) \sim C(\log X)^r$ liên quan đến hệ số hàng đầu $L^{(r)}(E,1)/r!$. BSD mạnh cho biết chính xác $C$ qua $\Omega_E$, $\mathrm{Reg}_E$, $|\mathrm{Sha}|$, $c_p$, $|E_{\mathrm{tors}}|$.
• EDSAC: Máy tính EDSAC (Electronic Delay Storage Automatic Calculator) tại Cambridge, hoạt động 1949--1958 (và EDSAC 2 đến 1965), là nơi Birch và Swinnerton-Dyer chạy các tính toán lịch sử. Với tốc độ chỉ vài nghìn phép tính/giây, họ cần nhiều tháng để tích lũy đủ dữ liệu.

• Thành phần trong BSD mạnh: Tích $\prod_p c_p$ xuất hiện ở tử số của công thức BSD mạnh:
  \[ \frac{L^{(r)}(E,1)}{r!} = \frac{|\mathrm{Sha}| \cdot \Omega_E \cdot \mathrm{Reg}_E \cdot \prod_p c_p}{|E(\mathbb{Q})_{\mathrm{tors}}|^2}. \]
  Số Tamagawa đo “đóng góp cục bộ” của các số nguyên tố xấu.
• Tương tự: Trong công thức số lớp cho trường số $K$, thành phần tương ứng là $|d_K|^{1/2}$ (discriminant) --- cũng đo “mức độ phân nhánh” tại các số nguyên tố xấu.
• Tính toán: Số Tamagawa $c_p$ được tính bằng thuật toán Tate [tate1975], đã cài đặt trong Sage, Magma, PARI/GP. Với conductor $N_E$ nhỏ, tích $\prod c_p$ thường nhỏ (thường $\leq 100$).
• Ý nghĩa số học: Khi $c_p$ lớn (ví dụ rút gọn nhân tách với $\mathrm{ord}_p(\Delta)$ lớn), đường cong có “rút gọn rất xấu” tại $p$, và điều này ảnh hưởng đến giá trị $L^{(r)}(E,1)/r!$.