Tamagawa Ratio in Arithmetic Geometry

• The Tamagawa ratio is a key concept in arithmetic geometry that compares local correction terms to global invariants via ratios of Selmer groups, Tamagawa factors, or cohomological groups.
• It is computed through various formulations, including quotients of Selmer-group sizes in isogeny settings and products of local Tamagawa numbers, unifying several arithmetic approaches.
• Recent research demonstrates that Tamagawa ratios are instrumental in predicting elliptic curve ranks and linking norm-relations with BSD-type formulas.

Searching arXiv for papers on Tamagawa ratio and related Tamagawa-number formulations. The Tamagawa ratio is not a single standardized invariant across arithmetic geometry. In the literature, the phrase most often denotes either a ratio of Selmer-group sizes attached to an isogeny, a quotient of products of Tamagawa-type local factors across intermediate fields, or a cohomological quotient that computes a Tamagawa number. In each case, the underlying theme is the comparison of global arithmetic objects by means of local correction terms. Recent work has clarified that these apparently different uses are connected by local-to-global product formulas, regulator constants, root numbers, and Galois-cohomological defect groups (Aylward, 24 Apr 2025, Klagsbrun et al., 2014, Koymans et al., 30 Jun 2026).

1. Terminological scope and basic meanings

The phrase “Tamagawa ratio” is used in several distinct but related senses.

In the setting of elliptic curves with a rational $2$-isogeny, the Tamagawa ratio is defined as

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$

where $\phi:E\to E'$ is the isogeny and $\hat\phi$ its dual (Klagsbrun et al., 2014). Its $2$-adic valuation is written

$$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$

for curves $E_{A,B}: y^2=x^3+Ax^2+Bx$ with rational $2$-torsion (Klagsbrun et al., 2014).

In the norm-relations framework for rank prediction, the term refers not to a single invariant with fixed notation, but to a quotient of products of Tamagawa-type local factors. The relevant global factor is

$C_{E/F}=\prod_v C_v(E/F,\omega),$

with

$C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$

and the corresponding “ratio/product of Tamagawa numbers” is typically a quotient of the form

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$0

attached to a formal sum of subgroups $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$1 (Aylward, 24 Apr 2025).

Other papers do not define a separate invariant called a Tamagawa ratio, but instead study the global Tamagawa product

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$2

for elliptic curves over $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$3 (Griffin et al., 2021), or

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$4

over a number field $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$5 (Choi et al., 2021). In BSD-motivated discussions, the quotient

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$6

or more generally

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$7

plays the closest analogous role (Melistas, 26 May 2025, Melistas, 2022).

For algebraic tori, the “ratio” language appears in Ono-type formulas, where the Tamagawa number itself is expressed as a quotient of cohomological invariants, such as

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$8

or variants involving $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$9 (Liang et al., 2021, Rüd, 2020). This suggests that the term has a family resemblance rather than a universal definition.

2. Isogenies, Selmer groups, and Cassels-type product formulas

The classical arithmetic context for the Tamagawa ratio is the comparison of Selmer groups associated to an isogeny and its dual. For elliptic curves with a rational point of order $\phi:E\to E'$0, one has a degree-$\phi:E\to E'$1 isogeny

$\phi:E\to E'$2

with dual $\phi:E\to E'$3, and the Tamagawa ratio

$\phi:E\to E'$4

measures the imbalance between the $\phi:E\to E'$5-Selmer group and the dual $\phi:E\to E'$6-Selmer group (Klagsbrun et al., 2014).

A key structural fact is Cassels’ product formula

$\phi:E\to E'$7

where $\phi:E\to E'$8 is the kernel of $\phi:E\to E'$9, and the product is effectively over places of bad reduction and $\hat\phi$0 (Klagsbrun et al., 2014). For odd primes $\hat\phi$1,

$\hat\phi$2

so the local contribution is a relative Tamagawa factor for the isogenous pair (Klagsbrun et al., 2014). In this sense, the Tamagawa ratio is literally a product of local Tamagawa-number quotients.

For the family

$\hat\phi$3

the local factors are controlled by reduction type. At primes $\hat\phi$4, the curve has good reduction if $\hat\phi$5, additive reduction if $\hat\phi$6 and $\hat\phi$7, and multiplicative reduction if $\hat\phi$8 divides exactly one of $\hat\phi$9 and $2$0 (Klagsbrun et al., 2014). In the multiplicative case,

$2$1

This local classification is the source of the asymptotic behavior of the global ratio (Klagsbrun et al., 2014).

The paper “The distribution of the Tamagawa ratio in the family of elliptic curves with a two-torsion point” proves that if $2$2 denotes the set of minimal models with $2$3, then

$2$4

and

$2$5

becomes normally distributed with mean $2$6 and variance $2$7 as $2$8 (Klagsbrun et al., 2014). More precisely, the ratio is governed by the difference of two additive functions,

$2$9

so that, away from exceptional sets,

$$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$0

(Klagsbrun et al., 2014). The same paper deduces that the average size of the $$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$1-Selmer group in this family is unbounded (Klagsbrun et al., 2014).

A highly rigid special case occurs for the family

$$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$2

with $$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$3 and $$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$4, $$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$5. There the paper defines

$$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$6

and proves

$$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$7

equivalently

$$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$8

(Li et al., 2021). The proof reduces local solubility conditions for homogeneous spaces to linear algebra over $$t(A,B) := \operatorname{ord}_2 \mathcal{T}(E_{A,B}/E'_{A,B}),$$9, using matrices built from Legendre symbols (Li et al., 2021).

A broader formulation appears in the Greenberg–Wiles framework. For a finite $E_{A,B}: y^2=x^3+Ax^2+Bx$0-module $E_{A,B}: y^2=x^3+Ax^2+Bx$1 with local conditions $E_{A,B}: y^2=x^3+Ax^2+Bx$2, the Tamagawa ratio is defined by

$E_{A,B}: y^2=x^3+Ax^2+Bx$3

and the Greenberg–Wiles formula gives

$E_{A,B}: y^2=x^3+Ax^2+Bx$4

(Koymans et al., 30 Jun 2026). In geometric isogeny settings, the local factors are often ratios of Tamagawa numbers, so the classical isogeny-Selmer ratio is a special case of this general formalism (Koymans et al., 30 Jun 2026).

3. Norm relations, products of Tamagawa numbers, and rank prediction

A distinct recent use of the term concerns the prediction of positive Mordell–Weil rank by means of products of Tamagawa numbers across intermediate fields. For a Galois extension $E_{A,B}: y^2=x^3+Ax^2+Bx$5 with group $E_{A,B}: y^2=x^3+Ax^2+Bx$6, a representation $E_{A,B}: y^2=x^3+Ax^2+Bx$7, and a virtual permutation decomposition

$E_{A,B}: y^2=x^3+Ax^2+Bx$8

the norm relations test examines the quotient

$E_{A,B}: y^2=x^3+Ax^2+Bx$9

(Aylward, 24 Apr 2025).

The criterion is that if this quantity is not a norm from a quadratic field $2$0, or is not a square in the even-$2$1 case, then $2$2 has positive rank (Aylward, 24 Apr 2025). In this setting the “Tamagawa ratio” is thus a quotient of global Tamagawa-type factors $2$3, not merely a quotient of local Tamagawa numbers.

The paper “Tamagawa numbers and positive rank of elliptic curves” proves that this Tamagawa-number criterion is contained in the parity-conjecture framework (Aylward, 24 Apr 2025). The central compatibility theorem states that for a quadratic extension $2$4, a $2$5-relation $2$6, and an elliptic curve $2$7 semistable at primes above $2$8,

$2$9

where $C_{E/F}=\prod_v C_v(E/F,\omega),$0 is the regulator constant and

$C_{E/F}=\prod_v C_v(E/F,\omega),$1

(Aylward, 24 Apr 2025).

This theorem turns the Tamagawa-product expression into a product of regulator constants with exponents determined by twisted root numbers (Aylward, 24 Apr 2025). The paper then proves that, under semistability at $C_{E/F}=\prod_v C_v(E/F,\omega),$2,

$C_{E/F}=\prod_v C_v(E/F,\omega),$3

(Aylward, 24 Apr 2025). Its conceptual conclusion is that

$C_{E/F}=\prod_v C_v(E/F,\omega),$4

Hence the Tamagawa-ratio criterion does not detect positive rank beyond what parity for twists already detects (Aylward, 24 Apr 2025).

The local mechanism is expressed through a theorem asserting that for local data over $C_{E/F}=\prod_v C_v(E/F,\omega),$5 there is a $C_{E/F}=\prod_v C_v(E/F,\omega),$6-module $C_{E/F}=\prod_v C_v(E/F,\omega),$7 such that for all self-dual $C_{E/F}=\prod_v C_v(E/F,\omega),$8,

$C_{E/F}=\prod_v C_v(E/F,\omega),$9

and for a quadratic $C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$0 and a $C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$1-relation $C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$2,

$C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$3

(Aylward, 24 Apr 2025). This provides the bridge from local Tamagawa factors to root-number exponents.

The same paper also compares Tamagawa products with BSD quotients. Assuming parity for twists and finiteness of $C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$4, it shows

$C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$5

and in particular

$C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$6

(Aylward, 24 Apr 2025). This identifies the Tamagawa part and regulator part modulo norms under parity hypotheses.

4. Local Tamagawa numbers, global products, and variation phenomena

A large part of the literature studies not a ratio in the strict sense, but the local or global Tamagawa factors that underlie such ratios.

For elliptic curves over $C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$7 in short Weierstrass form

$C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$8

the local Tamagawa number is

$C_v(E/L,\omega)= \begin{cases} c(E/L_v) & \text{if } E/L_v \text{ has semistable reduction},\[4pt] c(E/L_v)\cdot \left|\omega/\omega^0\right|_{L_v} & \text{if } E/L_v \text{ has additive reduction}, \end{cases}$9

and the global Tamagawa product is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$00

(Griffin et al., 2021). The paper “Tamagawa products of elliptic curves over $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$01” constructs the Dirichlet series

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$02

where $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$03 is the limiting proportion of curves with $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$04 (Griffin et al., 2021). It proves

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$05

and

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$06

so the average Tamagawa product is $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$07 (Griffin et al., 2021).

Over a general number field $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$08, the analogous product is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$09

and the associated Tamagawa $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$10-series is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$11

(Choi et al., 2021). The paper proves

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$12

and

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$13

(Choi et al., 2021). It also shows that there exist sequences of number fields for which $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$14 and $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$15, as well as sequences for which both tend to $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$16 (Choi et al., 2021). This suggests that the statistics of Tamagawa products are highly sensitive to local splitting, especially at $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$17 and $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$18.

For Jacobians of semistable hyperelliptic curves, the relevant local factor is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$19

written $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$20 in the paper (Betts, 2018). A crucial theorem identifies the component group with the Jacobian of the dual graph, equivariantly for Frobenius, giving

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$21

(Betts, 2018). For semistable hyperelliptic curves this is refined via the BY tree $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$22, and one has

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$23

(Betts, 2018).

The paper’s strongest ratio-type statement concerns base change. If $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$24 is a finite extension with ramification degree $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$25 and residue degree $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$26, then

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$27

for constants $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$28 with $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$29 for almost all $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$30 (Betts, 2018). In particular, for an unramified extension $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$31 of prime degree $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$32,

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$33

is a $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$34st power (Betts, 2018). The paper stresses that this is special to hyperelliptic curves and fails for general semistable curves, giving a non-hyperelliptic genus $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$35 counterexample with

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$36

(Betts, 2018).

Recent work also gives a four-factor product formula for Jacobians over a discrete valuation field with perfect residue field: $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$37 (Dokchitser, 4 Jun 2026). Although not cast as a Tamagawa ratio, this factorization makes explicit how local geometry, descent, and cohomology combine to produce the Tamagawa number of the Jacobian.

5. Tori, groups, and cohomological ratio formulas

For algebraic tori and linear algebraic groups, Tamagawa ratios appear as genuine cohomological quotients computing Tamagawa numbers.

For a torus $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$38 over a global field $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$39, the Tamagawa number $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$40 is defined adelically, but Ono’s formula expresses it as

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$41

or equivalently

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$42

(Liang et al., 2021). The numerator is global Galois cohomology of the character lattice, and the denominator is a local-global defect group. In this setting the Tamagawa number is itself a cohomological “ratio.”

For CM tori $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$43, one has the explicit formula

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$44

where $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$45 is the number of CM factors in the CM algebra $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$46 (Liang et al., 2021). The same paper proves that for any integer $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$47, there exists a CM torus $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$48 over $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$49 such that

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$50

(Liang et al., 2021). Thus every positive or negative power of $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$51 occurs as the Tamagawa number of a CM torus.

A related study of norm-condition tori considers

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$52

for extensions $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$53 with $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$54 fixed by a central subgroup of prime order $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$55 (Rüd, 2020). There the Tamagawa number satisfies

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$56

and in the Galois case the numerator is explicitly

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$57

(Rüd, 2020). The paper proves general bounds

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$58

and shows, for the auxiliary torus $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$59, that

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$60

(Rüd, 2020).

For quasi-split semisimple simply connected groups over function fields, the Tamagawa number is defined as the volume of the adelic quotient

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$61

with respect to the Tamagawa measure (Köhl et al., 2023). The main theorem is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$62

for quasi-split semisimple simply connected groups over the function field of a smooth projective curve over $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$63, $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$64 (Köhl et al., 2023). The proof reduces the group Tamagawa number to that of a maximal torus $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$65, with the comparison mediated by Eisenstein series and the pole of the longest intertwining operator (Köhl et al., 2023). While this setting does not use the phrase “Tamagawa ratio” explicitly, the argument is organized around a ratio-like comparison between global volume and torus volume.

6. BSD, Bloch–Kato, and broader arithmetic interpretations

In BSD-type formulas for elliptic curves, the ratio

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$66

is a standard global arithmetic factor (Melistas, 26 May 2025), and the related divisibility problem

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$67

for curves with rational $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$68-torsion has been studied systematically (Melistas, 2022). For a global field $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$69 and an elliptic curve $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$70, the local factor is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$71

and the global Tamagawa number is

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$72

(Melistas, 2022). The paper proves that for every number field $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$73 there exists a constant $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$74 such that for every prime $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$75 and every elliptic curve $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$76 with a $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$77-rational point of order $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$78, one has $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$79 with at most $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$80 exceptions (Melistas, 2022). Over $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$81, if $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$82 is a power of $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$83 and $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$84 is non-isotrivial with an $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$85-rational point of order $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$86, then

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$87

(Melistas, 2022).

For modular forms at Eisenstein primes, the rank-$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$88 Tamagawa number formula takes the form

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$89

where

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$90

(Yin, 2024). In the anticyclotomic rank-$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$91 setting, the paper proves a control formula

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$92

which is explicitly described there as the closest analogue of a Tamagawa ratio (Yin, 2024).

For motives, the Bloch–Kato Tamagawa number conjecture again presents Tamagawa numbers as ratios between arithmetic and analytic invariants. One paper recalls the formula

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$93

and proves that for a pure motive $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$94,

$$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$95

(Nguyen, 2020). In the local setting, the local Tamagawa number conjecture for Tate motives is formulated as a determinant-class identity in relative $$\mathcal{T}(E/E') := \frac{|\mathrm{Sel}_\phi(E/\mathbb{Q})|}{|\mathrm{Sel}_{\hat\phi}(E'/\mathbb{Q})|},$$96-theory, with the relevant “ratio” given by analytic factors, period maps, and a cohomological determinant class (Daigle et al., 2015).

A plausible implication is that the expression “Tamagawa ratio” functions as a unifying shorthand for several comparison principles in modern arithmetic geometry. In the isogeny setting it compares Selmer groups; in norm-relations arguments it compares products of Tamagawa factors across fields; in the theory of tori it is the cohomological quotient computing the Tamagawa number; and in BSD- or Bloch–Kato-type formulas it measures the correction from local arithmetic to global special-value identities (Klagsbrun et al., 2014, Aylward, 24 Apr 2025, Liang et al., 2021, Yin, 2024). What is consistent across these usages is the role of Tamagawa factors as local terms whose product or quotient encodes global arithmetic structure.