pith. sign in

arxiv: 2504.17962 · v2 · submitted 2025-04-24 · 🧮 math.NT

Tamagawa numbers and positive rank of elliptic curves

Edwina Aylward This is my paper

Pith reviewed 2026-05-22 17:37 UTC · model grok-4.3

classification 🧮 math.NT
keywords elliptic curvesTamagawa numberspositive rankparity conjecturesBrauer relationsK-relationsregulator constantslocal root numbers
0
0 comments X

The pith

The Tamagawa-number method for predicting positive rank on elliptic curves is a subset of the parity-conjectures method.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper examines ways to predict whether an elliptic curve has positive rank without locating a point of infinite order or evaluating an L-function. One approach relies on parity conjectures that link the sign of the functional equation to the parity of the rank. A more recent method instead checks whether a certain product of Tamagawa numbers is a square. The central result shows that the Tamagawa product method never predicts positive rank unless the parity conjectures already do, so the newer test is contained inside the older one. The inclusion is proved by extending Brauer relations and regulator constants to a wider class of module combinations called K-relations while preserving a compatibility between Tamagawa numbers and local root numbers.

Core claim

The paper establishes that the Tamagawa-number product method is contained in the parity-conjectures approach: whenever the product indicates positive rank, the parity conjectures also indicate positive rank. This is obtained by extending Brauer relations and regulator constants to combinations of permutation modules known as K-relations and verifying that Tamagawa numbers remain compatible with local root numbers under this extension.

What carries the argument

K-relations, the combinations of permutation modules that extend Brauer relations and regulator constants while maintaining compatibility between Tamagawa numbers and local root numbers.

If this is right

  • Any elliptic curve for which the Tamagawa product signals positive rank must already be flagged by the parity conjectures.
  • The Tamagawa method supplies no new cases of predicted positive rank beyond those already reachable by parity conjectures.
  • The extension of Brauer relations to K-relations supplies a uniform language in which Tamagawa numbers and root numbers can be compared directly.
  • Predictions made by the Tamagawa product remain valid precisely when the underlying compatibility between Tamagawa numbers and local root numbers holds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • One could test the result by checking whether the Tamagawa product ever flags positive rank on curves where the parity conjecture is known to be inconclusive.
  • The same K-relation framework might be applied to other local invariants, such as conductors or conductors at primes of good reduction.
  • If the compatibility fails for some larger class of modules, that failure would immediately produce an elliptic curve separating the two prediction methods.

Load-bearing premise

The proof requires that Tamagawa numbers stay compatible with local root numbers once Brauer relations are extended to K-relations.

What would settle it

An elliptic curve where the Tamagawa product predicts positive rank but the local root numbers predict even rank, or where the Tamagawa product fails to predict positive rank while parity conjectures succeed, would contradict the claimed inclusion.

read the original abstract

This paper addresses the prediction of positive rank for elliptic curves without the need to find a point of infinite order or compute L-functions. While the most common method relies on parity conjectures, a recent technique introduced by Dokchitser, Wiersema, and Evans predicts positive rank based on the value of a certain product of Tamagawa numbers, raising questions about its relationship to parity. We show that their method is a subset of the parity conjectures approach: whenever their method predicts positive rank, so does the use of parity conjectures. To establish this, we extend previous work on Brauer relations and regulator constants to a broader setting involving combinations of permutation modules known as K-relations. A central ingredient in our argument is demonstrating a compatibility between Tamagawa numbers and local root numbers.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper claims to show that the Dokchitser-Wiersema-Evans Tamagawa-product method for predicting positive rank of elliptic curves is contained in the parity-conjectures approach: whenever the Tamagawa product signals rank >0, the parity method does as well. This is established by extending Brauer relations and regulator constants from permutation modules to K-relations and proving a compatibility between Tamagawa numbers and local root numbers.

Significance. If the result holds, the work unifies two approaches to rank prediction, showing the Tamagawa method is a special case of parity conjectures. This provides theoretical justification for using Tamagawa products without computing L-functions or finding points of infinite order. The explicit extension to K-relations and the compatibility derivation are strengths, as they make the inclusion falsifiable and grounded in prior arithmetic invariants.

major comments (1)
  1. §4, Compatibility statement: the proof that Tamagawa numbers and local root numbers remain compatible under the extension to K-relations is load-bearing for the inclusion claim, yet the derivation appears to invoke the original Brauer-relation properties without an explicit check that the sign of the root number is preserved for all linear combinations of permutation modules; a counter-example family or additional lemma would confirm no post-hoc adjustment is needed.
minor comments (2)
  1. Introduction: the definition of K-relations would be clearer with a short explicit example of a non-trivial combination of permutation modules and the resulting regulator constant.
  2. Notation section: the symbol for the extended regulator constant is introduced without a direct comparison table to the permutation-module case, which would aid readers familiar with the Dokchitser-Wiersema-Evans work.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the paper and for recommending minor revision. We are pleased that the unification of the Tamagawa-product method within the parity-conjectures framework is viewed as a strength. We address the single major comment below.

read point-by-point responses

  1. Referee: §4, Compatibility statement: the proof that Tamagawa numbers and local root numbers remain compatible under the extension to K-relations is load-bearing for the inclusion claim, yet the derivation appears to invoke the original Brauer-relation properties without an explicit check that the sign of the root number is preserved for all linear combinations of permutation modules; a counter-example family or additional lemma would confirm no post-hoc adjustment is needed.

    Authors: We thank the referee for this observation on the compatibility argument. The proof in Section 4 first establishes the result for Brauer relations and then extends it to general K-relations by noting that both the Tamagawa product and the sign of the local root number are group homomorphisms from the Grothendieck group of permutation modules to the multiplicative group of positive reals and to {±1}, respectively. Consequently, the sign is preserved automatically under arbitrary integer linear combinations by the homomorphism property, with no post-hoc adjustment required. To make this step fully explicit as requested, we will add a short additional lemma (new Lemma 4.4) that isolates the sign-preservation statement for general K-relations, together with a brief verification on a small explicit family of elliptic curves admitting non-trivial K-relations. This is a minor clarification that strengthens the exposition of the load-bearing step without changing any statements or proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation introduces independent extension and compatibility

full rationale

The paper's central argument extends Brauer relations and regulator constants from permutation modules to K-relations and establishes a compatibility between Tamagawa numbers and local root numbers. These steps are presented as explicit new constructions and proofs rather than reductions by definition or by fitting parameters to the target prediction. The claim that the Tamagawa-product method is contained in the parity-conjectures approach follows from this independent extension, with no quoted equation or self-citation chain that forces the result by construction. The derivation remains self-contained against external benchmarks in the theory of elliptic curves.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard background facts about elliptic curves, Tamagawa numbers, and local root numbers together with prior results on Brauer relations; no free parameters or new entities are mentioned.

axioms (1)
  • domain assumption Standard properties of elliptic curves over number fields and their local invariants
    Invoked implicitly when relating Tamagawa numbers to root numbers and ranks.

pith-pipeline@v0.9.0 · 5652 in / 1237 out tokens · 38675 ms · 2026-05-22T17:37:12.469451+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Bartel, Large Selmer groups over number fields, Math

    A. Bartel, Large Selmer groups over number fields, Math. P roc. Cambridge Philos. Soc. 148 (2010), 73–86

    work page 2010

  2. [2]

    Bartel, On Brauer-Kuroda type relations of S-class nu mbers in dihedral extensions, J

    A. Bartel, On Brauer-Kuroda type relations of S-class nu mbers in dihedral extensions, J. reine angew. Math. 668 (2012), 211–244

    work page 2012

  3. [3]

    Bartel, B

    A. Bartel, B. de Smit, Index formulae for integral Galois modules, J. London Math. Soc. 88 (2013), 845–859

    work page 2013

  4. [4]

    Bartel, T

    A. Bartel, T. Dokchitser, Brauer relations in finite grou ps. J. Eur. Math. Soc. 17 (2015), no. 10, pp. 2473–2512

    work page 2015

  5. [5]

    Bartel and T

    A. Bartel and T. Dokchitser, Rational representations a nd permutation representations of finite groups, Math. Ann. 364 (2016), no. 1-2, 539–558; MR3451397

    work page 2016

  6. [6]

    Brauer, Beziehungen zwischen Klassenzahlen von Teil korpern eines galoisschen K /dieresis.ts1orpers, Math

    R. Brauer, Beziehungen zwischen Klassenzahlen von Teil korpern eines galoisschen K /dieresis.ts1orpers, Math. Nachr. 4 (1951), 158–174

    work page 1951

  7. [7]

    Cowland Kellock and V

    L. Cowland Kellock and V. Dokchitser, Root numbers and pa rity phenomena, Bull. Lond. Math. Soc. 55 (2023), no. 6, 2557–2597; MR4689540

    work page 2023

  8. [8]

    de Smit, Brauer-Kuroda relations for S–class numbers , Acta Arith

    B. de Smit, Brauer-Kuroda relations for S–class numbers , Acta Arith. 98 no. 2 (2001), 133–146

    work page 2001

  9. [9]

    Dokchitser and V

    T. Dokchitser and V. Dokchitser, On the Birch-Swinnerto n-Dyer quotients modulo squares, Ann. of Math. (2) 172 (2010), no. 1, 567–596; MR2680426

    work page 2010

  10. [10]

    Dokchitser and V

    T. Dokchitser and V. Dokchitser, Regulator constants a nd the parity conjecture, Invent. Math. 178 (2009), no. 1, 23–71; MR2534092

    work page 2009

  11. [11]

    Dokchitser and V

    T. Dokchitser and V. Dokchitser, Root numbers and parit y of ranks of elliptic curves, J. Reine Angew. Math. 658 (2011), 39–64; MR2831512

    work page 2011

  12. [12]

    Dokchitser, R

    V. Dokchitser, R. H. Evans and H. Wiersema, On a BSD-type formula for L-values of Artin twists of elliptic curves, J. Reine Angew. Math. 773 (2021), 199–230; MR4237970

    work page 2021

  13. [13]

    Dokchitser, H

    V. Dokchitser, H. Green, A. Konstantinou, & A. Morgan. P arity of ranks of Jacobians of curves. (2024), https://arxiv.org/abs/2211.06357

    work page arXiv 2024

  14. [14]

    Fr¨ ohlich, J

    A. Fr¨ ohlich, J. Queyrut, On the functional equation of the Artin L-function for char- acters of real represen- tations, Invent. Math. 20 (1973), 125–138

    work page 1973

  15. [15]

    I. M. Isaacs, Character theory of finite groups , Pure and Applied Mathematics, No. 69, Academic Press, New York-London, 1976; MR0460423

    work page 1976

  16. [16]

    G.J.Janusz, Algebraic Number Fields, Advances in the M athematical Sciences, American Mathematical Soci- ety, 1996, isbn = 9780821804292

    work page 1996

  17. [17]

    D. E. Rohrlich, Galois theory, elliptic curves, and roo t numbers, Compositio Math. 100 (1996), no. 3, 311–349; MR1387669 TAMAGA W A NUMBERS AND POSITIVE RANK OF ELLIPTIC CUR VES 33

    work page 1996

  18. [18]

    G. B. Segal, Permutation representations of finite p-groups, Quart. J. Math. Oxford Ser. (2) 23 (1972), 375–381; MR0322041

    work page 1972

  19. [19]

    Serre, Linear representations of finite groups , translated from the second French edition by Leonard L

    J.-P. Serre, Linear representations of finite groups , translated from the second French edition by Leonard L. Scott, Graduate Texts in Mathematics, Vol. 42, Springer, Ne w York-Heidelberg, 1977; MR0450380

    work page 1977

  20. [20]

    Silverman, Advanced Topics in the Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, 1994, Springer New York, NY

    Joseph H. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, 1994, Springer New York, NY

    work page 1994

  21. [21]

    John R Silvester, Determinants of Block Matrices, Math ematical Gazette, 2000, 84 (501), pp.460-467, 10.2307/3620776, hal-01509379 University College London, London WC1H 0AY, UK Email address : edwina.aylward.23@ucl.ac.uk

    work page doi:10.2307/3620776 2000