The Birch and Swinnerton-Dyer Conjecture

Field

Number theory / arithmetic geometry

Clay problem statement (informal)

For an elliptic curve over the rational numbers, does the behavior of its L-function at the special point s=1 determine:

  • the number of independent rational points on the curve, and
  • the arithmetic constants governing their height structure?

In particular, is the algebraic rank of the curve equal to the order of vanishing of the L-function at s=1?

Why the problem is difficult

BSD links two very different worlds:

  • rational solutions of polynomial equations
  • deep analytic behavior of complex L-functions

The conjecture predicts that subtle arithmetic invariants such as rank and regulator are encoded in delicate spectral data at a single critical point.

Major difficulties include:

  • rational points are discrete and global arithmetic objects
  • L-functions are analytic objects defined through infinite expansions
  • the critical point s=1 is structurally subtle
  • proving equality between algebraic and analytic quantities requires bridging distinct mathematical languages

Much progress is known in special cases, but the full conjecture remains open.

Coherence Geometry approach

In the Coherence Geometry viewpoint, arithmetic and analytic structures are interpreted as two projections of a common quadratic organization principle.

Rather than treating rank, regulator, and critical residues as unrelated phenomena, the approach seeks a shared operator whose:

  • kernel records degeneracy directions
  • determinant records global volume or height data
  • spectral structure encodes analytic critical behavior

Author’s Intuition

The Birch–Swinnerton–Dyer conjecture has long carried the flavor of two different descriptions of the same hidden structure. On the arithmetic side, one counts independent rational directions on an elliptic curve and measures their global geometry through heights and regulators. On the analytic side, one studies how the L-function vanishes or survives at the critical point s=1.

What suggested itself to this work is that these may not be random parallels. Both sides appear to organize around the same two signatures:

  • how many zero directions remain
  • how large the surviving quadratic volume is

Those are precisely the kinds of quantities naturally encoded by a quadratic operator through its kernel and determinant.

BSD may be telling us that rank and critical vanishing are the same nullity viewed from different sides, while regulator and leading coefficient are the same volume expressed in different coordinates. From that viewpoint, the conjecture begins to look less like a miraculous coincidence between arithmetic and analysis, and more like two coordinate systems describing the same underlying object.

The paper develops that possibility by placing these invariants into a common operator framework, where rank, vanishing order, regulator, and leading coefficient take comparable algebraic form.

Projection into standard arithmetic language

The paper constructs two quadratic operators on a common finite-dimensional period space.

Arithmetic bridge

Local pairings across all places combine into a global quadratic form identified with the Néron–Tate height pairing. Its determinant yields the classical regulator.

Analytic bridge

Residue data from the completed L-function at s=1 induces a Hermitian operator whose kernel and determinant encode the order of vanishing and leading coefficient. A strict elliptic bilinear estimate is used to prevent spurious degeneracies and stabilize the analytic spectral structure.

Bridge result

The manuscript claims these operators coincide after natural period normalization.

Under this identification:

  • kernel dimension gives rank equality
  • determinant gives the BSD leading coefficient relation

Status

Candidate proof manuscript available

Technical Review

These documents are shared for technical evaluation. Corrections, counterexamples, simplifications, literature pointers, and independent verification are all welcome.

Available document

  • Title: An Operator Bridge Between Arithmetic Heights and Analytic Residues for Elliptic Curves
  • Identifier: CGI-RSR-000004
  • Author: Barry L. Petersen
  • Length: 58 pages
  • Version: v1.0
  • Repository: Zenodo (DOI link)
  • Citation: Petersen, B. L. (2026). An Operator Bridge Between Arithmetic Heights and Analytic Residues for Elliptic Curves. Zenodo. https://doi.org/10.5281/zenodo.19969495

The Zenodo-hosted PDF is the authoritative technical record. This page is descriptive only.

Back to Clay Millennium Problems Home