---
title: Birch Rank in Elliptic Curves and Forms
url: https://www.emergentmind.com/topics/birch-rank
type: topic
---

# Birch Rank in Elliptic Curves and Forms

Searching arXiv for the cited works and closely related papers to ground the article in current arXiv records.
“Birch rank” is used in two distinct but mathematically connected senses. In the arithmetic of elliptic curves, what one might colloquially call the Birch rank is the rank predicted by the Birch and Swinnerton–Dyer conjecture: the common value of the analytic rank \(\operatorname{ord}_{s=1}L(E,s)\) and the algebraic rank \(\operatorname{rank}E(\mathbb{Q})\). In the geometry of forms, the Birch rank of a homogeneous polynomial or system is the codimension of the singular locus cut out by the gradient or Jacobian rank-deficiency equations. The first meaning is central to the modern theory of elliptic curves and \(L\)-functions; the second is central to Birch’s work on forms in many variables and to later comparisons with Schmidt rank [2510.00926], [2205.05329].

## 1. Birch rank in the Birch–Swinnerton-Dyer conjecture

For an elliptic curve \(E/\mathbb{Q}\), the algebraic rank is the Mordell–Weil rank
\[
r_{\mathrm{alg}}(E/\mathbb{Q})=\operatorname{rank}E(\mathbb{Q}),
\]
while the analytic rank is
\[
r_{\mathrm{an}}(E/\mathbb{Q})=\operatorname{ord}_{s=1}L(E,s).
\]
The weak Birch–Swinnerton-Dyer conjecture predicts
\[
\operatorname{ord}_{s=1}L(E,s)=\operatorname{rank}E(\mathbb{Q}).
\]
In this sense, the Birch rank is simply the rank appearing in BSD.

The strong BSD formula identifies the leading Taylor coefficient at \(s=1\) with arithmetic invariants. In the normalization used for elliptic curves over \(\mathbb{Q}\),
\[
\frac{L^{(r)}(E,1)}{r!\,\Omega_E}
=
\frac{\#\Sha(E/\mathbb{Q})\;\prod_{\ell} c_\ell(E/\mathbb{Q})\;\operatorname{Reg}(E/\mathbb{Q})}{\#E(\mathbb{Q})_{\mathrm{tors}}^{\,2}},
\]
where \(r=\operatorname{rank}E(\mathbb{Q})\), \(\Omega_E\) is the Néron period, \(c_\ell(E/\mathbb{Q})\) are Tamagawa numbers, \(\operatorname{Reg}(E/\mathbb{Q})\) is the Néron–Tate regulator, and \(\Sha(E/\mathbb{Q})\) is the Tate–Shafarevich group. In rank \(1\), the regulator is the Néron–Tate height of a generator of the free part of \(E(\mathbb{Q})\). In the analytic rank \(\le 1\) range, Gross–Zagier and Kolyvagin imply equality of analytic and algebraic rank and finiteness of \(\Sha\), so the main remaining issue is the precise leading-term identity [1512.06894].

## 2. Low-rank twist families and BSD modulo squares

A recent use of the elliptic-curve Birch rank studies how the BSD leading term behaves in quadratic twist families. Let \(E/\mathbb{Q}\) have conductor \(N=N_+N_-\) with \(N_+\) and \(N_-\) coprime and \(N_-\) squarefree, and let \(D>0\) be a fundamental discriminant satisfying the modified Heegner hypothesis: primes dividing \(N_+\) split and primes dividing \(N_-\) are inert in \(\mathbb{Q}(\sqrt{D})\). For the quadratic twist \(E^D/\mathbb{Q}\), the comparison is carried out in \(\mathbb{Q}^\times/(\mathbb{Q}^\times)^2\), because regulators, periods, and \(\#\Sha\) are naturally only controlled modulo squares.

The parity of the twist rank is governed by the root number. If \(N_-\) is a squarefree product of an odd number of primes, then \(\epsilon(E^D/\mathbb{Q})=-\epsilon(E/\mathbb{Q})\), so \(E\) and \(E^D\) have opposite analytic-rank parity. If \(N_-\) is a squarefree product of an even number of primes, then \(\epsilon(E^D/\mathbb{Q})=\epsilon(E/\mathbb{Q})\), so the parities agree. This leads to two comparison regimes: rank patterns \((0,1)\) or \((1,0)\) in the odd-\(N_-\) case, and \((0,0)\) or \((1,1)\) in the even-\(N_-\) case.

The main conclusion is a stability statement for the BSD package in low rank. If \(E/\mathbb{Q}\) is semistable with analytic rank at most one, and \(D\) is a positive fundamental discriminant coprime to the conductor such that \(E^D/\mathbb{Q}\) again has analytic rank at most one, then the BSD formula modulo \((\mathbb{Q}^\times)^2\) holds for \(E\) if and only if it holds for \(E^D\). A central ingredient is a Gross–Zagier-type formula modulo squares for \(L'(1,E/F)\), with \(F=\mathbb{Q}(\sqrt{D})\), together with a delicate comparison of periods and Tamagawa numbers under twisting, especially when \(D\) is even [2510.00926].

## 3. \(p\)-adic and refined notions of Birch rank

In the \(p\)-adic setting, the relevant rank is not always the classical Mordell–Weil rank. For a \(p\)-ordinary elliptic curve \(A/K\) over a number field, the multi-variable \(p\)-adic BSD conjecture introduces the extended rank
\[
\tilde r = r + r^{\mathrm{exc}},
\]
where \(r=\mathrm{rk}\,A(K)\) and \(r^{\mathrm{exc}}\) is the number of primes above \(p\) at which \(A\) has split multiplicative reduction. The extra term records exceptional zeros. The conjecture predicts that a multi-variable \(p\)-adic \(L\)-function \(L_p^{(\Gamma)}(A)\) vanishes at the trivial character to order at least \(\tilde r\), and that its \(\tilde r\)-th leading term is governed by an extended \(p\)-adic regulator on an extended Mordell–Weil group. In low rank this is proved in several cases, including the genuinely multi-variable case where \(r=1\) and there are two exceptional zeros, so that a mixed third derivative appears [1609.02528].

A different refinement arises in the conjectures of Mazur and Tate. Their Mazur–Tate elements \(\theta_K^{\mathrm{MT}}\), defined by modular symbols for finite abelian extensions \(K/\mathbb{Q}\), are conjectured to lie in augmentation-ideal powers measuring rank and split multiplicative contributions. Recent work proves the \(p\)-part of a weak main conjecture for these elements, proves an order-of-vanishing statement of the form
\[
\theta_K^{\mathrm{MT}}\in I_{\mathbb{Z}_p,G}^{\,r_p+\mathrm{sp}(m)+2c^{(p)}(K)},
\]
with \(r_p\) the \(\mathbb{Z}_p\)-rank of the dual Selmer group, and establishes refined leading-term congruences via the rank-zero component of the equivariant Tamagawa Number Conjecture. This suggests that, in refined BSD settings, Birch rank is best understood as a Galois-equivariant or Selmer-theoretic order of vanishing rather than merely an integer-valued Mordell–Weil rank [2511.07203].

## 4. Geometric Birch rank for forms

For a form \(Q\in k[x_1,\dots,x_s]\) of degree \(d>1\), the Birch rank is defined geometrically by
\[
\mathrm{rk}_B(Q)=\operatorname{codim}_{\mathbb{A}^s}(\nabla Q(x)=0).
\]
Equivalently, it is the codimension of the singular locus of the affine hypersurface \(V(Q)\). For a collection \(Q_1,\dots,Q_n\) of forms of common degree \(d\), if
\[
S(Q_1,\ldots,Q_n)=\left\{x\in\mathbb{A}^s:\operatorname{rank}\left(\frac{\partial Q_i}{\partial x_j}(x)\right)<n\right\},
\]
then
\[
\mathrm{rk}_B(Q_1,\ldots,Q_n)=\operatorname{codim}_{\mathbb{A}^s}S(Q_1,\ldots,Q_n).
\]

Over an algebraically closed field of characteristic not dividing \(d\), Birch rank is essentially equivalent to Schmidt rank. One always has
\[
\mathrm{rk}_B(Q_1,\ldots,Q_n)\le 2\,\mathrm{rk}_k(Q_1,\ldots,Q_n),
\]
and Kazhdan–Lampert–Polishchuk give the reverse control
\[
\mathrm{rk}_k(Q_1,\ldots,Q_n)\le (d-1)\bigl[\mathrm{rk}_B(Q_1,\ldots,Q_n)+n-1\bigr].
\]
Consequently, large Schmidt rank forces large Birch rank and, once the threshold \((d-1)(2n-1)\) is crossed, the common zero set is a complete intersection of codimension \(n\). For admissible fields such as number fields, finite fields, and finite separable extensions of \(\mathbb{F}_q(t)\), polynomial bounds compare Schmidt rank over the ground field with Schmidt rank over the algebraic closure, and hence indirectly with geometric Birch rank. These comparisons transfer circle-method results about integer points, prime points, and rational points from Birch-rank hypotheses to Schmidt-rank hypotheses [2205.05329].

## 5. Computational, heuristic, and statistical viewpoints

One computational interpretation of Birch rank is the analytic rank itself. Under BSD and GRH, explicit-formula methods give sharp upper bounds for \(\operatorname{ord}_{s=1}L(E,s)\). A particularly useful test function is
\[
f(z;\Delta)=\left(\frac{\sin(\pi\Delta z)}{\pi\Delta z}\right)^2,
\]
whose Fourier transform is compactly supported, truncating the prime-power side of the explicit formula. This method gives exact upper bounds for curves known to have rank at least \(20,21,22,23,\) and \(24\), and for the known curve of rank at least \(28\) it gives a bound of \(30\) [1112.1503]. A complementary GRH-based approach proves that Elkies’ curve has Mordell–Weil rank \(28\) and analytic rank at most \(28\), and similarly treats a curve of rank \(27\) and the classical examples of ranks \(20\) through \(24\) [1606.07178].

A heuristic use of Birch rank starts from Birch and Swinnerton-Dyer’s original product
\[
P_x=\prod_{p<x}\frac{N_p}{p},\qquad N_p=\#E(\mathbb{F}_p),
\]
together with Sato–Tate statistics. Matching the asymptotic \(\log P_x\sim r\log\log x\) against the Sato–Tate expectation for \(\log P_x\) leads to an expected Mordell–Weil rank of \(1/2\) for non-CM curves, and also \(1/2\) for CM curves over fields not containing the CM field, while the expected rank is \(0\) for CM curves over fields containing the CM field [2210.12028].

Large-scale data analysis gives a further perspective. A study of \(2{,}483{,}649\) isomorphism classes of elliptic curves with conductor \(1\le N\le 400{,}000\) treats rank as a statistical variable alongside conductor, period, Tamagawa product, regulator, torsion size, and \(|\Sha|\). In that dataset, \(0\le r\le 4\), with only a single example of rank \(4\). Gradient-boosted trees show that rank is difficult to infer from Weierstrass coefficients alone but is strongly correlated with the other BSD invariants, and the normalized right-hand side of the BSD formula exhibits a Beta-type distribution after rescaling [1911.02008].

## 6. Established cases, explicit families, and broader scope

A large body of work concerns cases where BSD is known in low rank, prime by prime or family by family. For semistable elliptic curves over \(\mathbb{Q}\) of analytic rank one, the \(p\)-part of the BSD formula is proved for each prime \(p\ge 5\) of good reduction such that \(E[p]\) is irreducible, and for \(p=3\) under an additional supersingular condition [1512.06894]. This extends to primes of multiplicative reduction in the semistable case, again in analytic rank one [1704.06608]. In the CM setting, for analytic rank one and any odd potentially good ordinary prime \(p\) with \(p\nmid w_K\), the \(p\)-primary part of \(\Sha(E/\mathbb{Q})\) is shown to have the order predicted by BSD [1605.01481].

Other results make Birch rank explicit in families. For the CM family
\[
E_p:\ y^2=x^3+px,
\]
with \(p\equiv 1,9 \pmod{16}\), the rank is \(0\) or \(2\), and under BSD one has
\[
\operatorname{rank}E_p(\mathbb{Q})=2
\quad\Longleftrightarrow\quad
p\mid f_{\frac{p-1}{8}}(0),
\]
where \(f_n(t)\in\mathbb{Z}[t]\) is defined by a specific recurrence formula [2103.08947]. A generalized Birch lemma produces explicit infinite families of quadratic twists \(E^{(M)}\) and \(E^{(-pM)}\) with analytic and algebraic ranks \(0\) and \(1\), respectively, and also proves the \(2\)-part of BSD for those families when the original curve satisfies it [2102.11808]. For a large class of elliptic curves over \(\mathbb{Q}\), there are also explicit infinite families of quadratic twists of analytic rank \(0\) for which the \(2\)-part of BSD is established; these results were subsequently used by Xin Wan to prove the full BSD conjecture for some explicit infinite families of non-CM elliptic curves [1712.01271].

At a global level, a majority of elliptic curves over \(\mathbb{Q}\), when ordered by height, satisfy the BSD rank conjecture: at least \(66.48\%\) have algebraic and analytic rank \(0\) or \(1\), with at least \(16.50\%\) of curves having both ranks equal to \(0\) and at least \(20.68\%\) having both ranks equal to \(1\) [1407.1826]. For individual curves of analytic rank \(0\) or \(1\), there is an algorithm to prove the full BSD conjectural formula, and with computer assistance it was applied to \(16{,}714\) of the \(16{,}725\) such curves of conductor less than \(5000\) [1010.2431]. Taken together, these results suggest a bifurcated picture: as an elliptic-curve invariant, Birch rank is most tractable in analytic rank \(0\) and \(1\), while as a geometric invariant of forms it is a codimension theory intimately tied to singular loci, Schmidt rank, and arithmetic applications.

Source: https://www.emergentmind.com/topics/birch-rank