pith. sign in

arxiv: 2605.17645 · v2 · pith:WP342Q76new · submitted 2026-05-17 · 🧮 math.NT · math-ph· math.MP· math.SP

A Local Hilbert--P\'olya Realisation for Elliptic Curve L-Functions

Kejun Liu This is my paper

Pith reviewed 2026-05-20 12:37 UTC · model grok-4.3

classification 🧮 math.NT math-phmath.MPmath.SP
keywords causal operator pencilselliptic curve L-functionslocal Euler factorsspectral determinantsJ-self-adjoint operatorsHilbert-Polya realizationgenus one spectral curves
0
0 comments X

The pith

Every 2x2 causal operator pencil encodes the local Euler factors of an elliptic curve over the rationals.

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

The paper constructs families of J-self-adjoint causal operator pencils whose spectral determinants are driven by a fractional kernel of the form z to the minus one half. For spectral curves of genus one it proves that any such 2 by 2 pencil produces exactly the local Euler factors belonging to some elliptic curve E defined over the rationals, and that the invariants of the pencil map onto the moduli space of such curves. The construction resolves the usual arithmetic obstructions for quadratic twists and inert primes by using the topological reality properties of the operator base points. A reader would care because the result supplies an explicit operator realization of the local arithmetic data that appears in these L-functions, separating the local encoding step from the global assembly of the full L-function.

Core claim

We introduce a class of J-self-adjoint causal operator pencils driven by the fractional causal kernel z^{-1/2}. For genus one we prove a universal Euler matching theorem: every 2x2 causal pencil canonically encodes the local factors of an elliptic curve E/Q, with the operator invariants mapping dominantly onto the elliptic moduli space. Arithmetic obstructions for quadratic twists and inert primes are resolved by the topological reality of the operator basepoints.

What carries the argument

J-self-adjoint causal operator pencils with fractional causal kernel z^{-1/2}, whose spectral determinants equal the local Euler factors of the associated L-function.

If this is right

  • The spectral determinant of any such 2x2 pencil equals the local Euler factor of the corresponding elliptic curve.
  • The invariants of the pencil determine a point in the moduli space of elliptic curves.
  • Quadratic twists and inert primes are handled automatically by the reality of the operator basepoints.
  • The construction yields new operator-theoretic proofs of the CM Sato-Tate distribution.
  • A single local operator cannot realize a global L-function; the global object requires the restricted tensor product of the local Krein spaces.

Where Pith is reading between the lines

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

  • The same pencil construction might be tested on a concrete elliptic curve by building the operator explicitly and verifying the determinant matches the known local factor at several primes.
  • If the local matching holds, the global Hilbert-Polya realization for the completed L-function would reduce to verifying a single convergence hypothesis on the trace of the global resolvent.
  • The separation between local pencils and the global tensor product suggests that analytic continuation properties of the L-function could be read off from properties of the assembled Krein space rather than from the individual operators.

Load-bearing premise

The fractional causal kernel together with the J-self-adjoint structure on the pencil produces a spectral determinant that equals the local Euler factor exactly, without any additional arithmetic input or post-hoc adjustment.

What would settle it

Construct an explicit 2x2 causal pencil for a concrete elliptic curve such as the curve of conductor 37, compute its spectral determinant at a small prime p, and check whether the result equals the local Euler factor at that prime.

read the original abstract

We introduce a class of J-self-adjoint causal operator pencils whose spectral determinants exactly encode the local Euler factors of L-functions. Driven by a fractional causal kernel z^{-1/2}, these operators manifest a rigid arithmetic encoding hierarchy governed by the geometric genus g of their spectral curves. For g=0, a unique pencil recovers the Euler factors of the Riemann zeta(s). For g=1, we prove a universal Euler matching theorem: every 2x2 causal pencil canonically encodes the local factors of an elliptic curve E/Q, with the operator invariants mapping dominantly onto the elliptic moduli space. We resolve the arithmetic obstructions of quadratic twists and inert primes via the topological reality of the operator basepoints. For g=infinity, discrete encoding capacity provably collapses into continuous transcendental spectral measures. As applications, we provide new operator-theoretic proofs of the CM Sato-Tate distribution and establish an unconditional interpolation obstruction, proving that global L-functions are structurally inaccessible to any single local operator. Finally, we assemble the global restricted tensor product of these local Krein spaces. We demonstrate that the Hilbert-P\'olya realisation for zeta(s) reduces strictly to a single explicit convergence hypothesis on the global resolvent trace, which we state as a precise conjecture.

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

2 major / 2 minor

Summary. The manuscript introduces a class of J-self-adjoint causal operator pencils driven by the fractional kernel z^{-1/2}, whose spectral determinants are claimed to exactly encode the local Euler factors of L-functions. For genus g=0 the construction recovers the factors of ζ(s). For g=1 it asserts a universal Euler matching theorem: every 2×2 causal pencil canonically encodes the local factor 1−a_p T + p T^2 of some E/Q, with the operator invariants (basepoints, J-structure) mapping dominantly onto the elliptic moduli space. Arithmetic obstructions for quadratic twists and inert primes are resolved by the topological reality of the basepoints. For g=∞ the discrete encoding collapses to continuous transcendental spectral measures. Applications include operator-theoretic proofs of the CM Sato-Tate distribution, an unconditional obstruction to realizing global L-functions by any single local operator, and the assembly of a global restricted tensor product of the local Krein spaces. The global Hilbert-Pólya realization for ζ(s) is reduced to a precise conjecture on the convergence of the global resolvent trace.

Significance. If the universal matching theorem can be established with an independent, non-circular construction of the pencils, the work would constitute a notable contribution to the Hilbert-Pólya program by furnishing a local operator-theoretic model for elliptic-curve L-factors and a geometric correspondence between pencil invariants and the moduli space. The claimed resolution of arithmetic obstructions via basepoint reality and the explicit global-tensor-product construction would be of interest. The reduction of the zeta case to a single, falsifiable conjecture on the resolvent trace is a concrete strength that could be tested independently.

major comments (2)
  1. [§3] §3 (Universal Euler Matching Theorem): The statement that every 2×2 J-self-adjoint causal pencil with kernel z^{-1/2} produces a spectral determinant equal to 1−a_p T + p T^2 without additional arithmetic input is load-bearing for the central claim. The construction of the J-structure and the choice of basepoints appear to be calibrated precisely so that the determinant reproduces the Euler factor; an explicit, parameter-free computation starting from a generic pencil (with no a priori knowledge of the Weierstrass coefficients or minimal discriminant) and deriving the correct a_p and conductor is required to demonstrate that the encoding is derived rather than definitional.
  2. [§4.2] §4.2 (Resolution of arithmetic obstructions): The claim that the topological reality of the operator basepoints automatically resolves the obstructions for quadratic twists and inert primes presupposes that the basepoint reality condition selects the correct local data independently of the elliptic curve. A concrete verification for a specific inert prime (e.g., p=5 for a curve with known a_5) showing that the pencil geometry forces the correct Euler factor without post-hoc adjustment would be necessary to substantiate this resolution.
minor comments (2)
  1. [§2] The definition of the 'causal kernel' and the precise meaning of 'J-self-adjoint' on the pencil should be stated explicitly in §2 before the genus-by-genus analysis, including the domain of the fractional power z^{-1/2}.
  2. [§3] Notation for the spectral determinant (e.g., det(λI − A(z))) is used without a displayed formula; adding an equation number in the statement of the matching theorem would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and the recommendation of major revision. The comments identify areas where explicit illustrations would strengthen the exposition of the Universal Euler Matching Theorem and the resolution of arithmetic obstructions. We address each point below and will incorporate the requested clarifications and examples in the revised manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (Universal Euler Matching Theorem): The statement that every 2×2 J-self-adjoint causal pencil with kernel z^{-1/2} produces a spectral determinant equal to 1−a_p T + p T^2 without additional arithmetic input is load-bearing for the central claim. The construction of the J-structure and the choice of basepoints appear to be calibrated precisely so that the determinant reproduces the Euler factor; an explicit, parameter-free computation starting from a generic pencil (with no a priori knowledge of the Weierstrass coefficients or minimal discriminant) and deriving the correct a_p and conductor is required to demonstrate that the encoding is derived rather than definitional.

    Authors: We agree that an explicit illustration strengthens the claim. Theorem 3.1 derives the Euler factor directly from the spectral determinant of an arbitrary 2×2 J-self-adjoint causal pencil with kernel z^{-1/2}. The proof proceeds by computing the determinant via the resolvent trace formula for the fractional kernel, expressing the resulting quadratic polynomial coefficients in terms of the basepoint coordinates and the entries of the J-matrix; these operator invariants are then mapped to the Weierstrass coefficients and conductor via the explicit moduli correspondence defined in §3.2. No a priori arithmetic data on E is used. To address the concern, the revised version will include a fully worked symbolic example starting from generic basepoints (x1, x2) and a generic J-matrix satisfying the self-adjointness condition, deriving the values of a_p and the conductor step by step from the determinant expression alone. revision: yes

  2. Referee: [§4.2] §4.2 (Resolution of arithmetic obstructions): The claim that the topological reality of the operator basepoints automatically resolves the obstructions for quadratic twists and inert primes presupposes that the basepoint reality condition selects the correct local data independently of the elliptic curve. A concrete verification for a specific inert prime (e.g., p=5 for a curve with known a_5) showing that the pencil geometry forces the correct Euler factor without post-hoc adjustment would be necessary to substantiate this resolution.

    Authors: The resolution in §4.2 is obtained by showing that the reality condition on the basepoints (a topological requirement in the Krein space) forces the local discriminant and trace to lie in the correct arithmetic class for the Euler factor to be integral, independently of any chosen curve. This follows from the compatibility of the causal kernel with the J-structure under real basepoint placement. Nevertheless, we accept that a concrete numerical check would make the argument more transparent. In the revision we will add an explicit computation for the inert prime p=5 on the curve y² = x³ − x (where a_5 = −2 is known): the moduli map produces the corresponding pencil, the reality condition is verified, and the spectral determinant is shown to equal 1 + 2T + 5T² with no adjustment of parameters after the fact. revision: yes

Circularity Check

1 steps flagged

Universal Euler matching theorem reduces to definitional encoding via operator class introduction

specific steps
  1. self definitional [Abstract]
    "We introduce a class of J-self-adjoint causal operator pencils whose spectral determinants exactly encode the local Euler factors of L-functions. ... For g=1, we prove a universal Euler matching theorem: every 2x2 causal pencil canonically encodes the local factors of an elliptic curve E/Q, with the operator invariants mapping dominantly onto the elliptic moduli space."

    The class of pencils is defined at the outset to have spectral determinants that exactly encode the local Euler factors; the subsequent 'proof' that every such pencil encodes the factors of some E/Q and that invariants map onto the moduli space therefore holds by the definitional choice of the fractional kernel, J-self-adjoint structure, and basepoints rather than by derivation from operator properties independent of the arithmetic target.

full rationale

The paper introduces the J-self-adjoint causal pencils with the explicit property that their spectral determinants encode Euler factors, then claims to prove that every such pencil canonically matches those of an elliptic curve with invariants mapping to the moduli space. This construction makes the matching hold by the choice of kernel z^{-1/2} and J-structure rather than deriving it from independent operator axioms or external arithmetic data. The resolution of obstructions via basepoint reality is presented as automatic, but the setup presupposes the target local factors in the definition of the pencils. No independent verification or external benchmark is cited that would break the self-definition. The global assembly and conjecture on resolvent trace remain downstream of this local encoding step.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central claims rest on the introduction of a new class of operators and the assumption that their spectral determinants coincide with arithmetic Euler factors; the paper supplies no independent evidence for this coincidence beyond the construction itself.

free parameters (1)
  • genus g of spectral curve
    The hierarchy of encoding capacity is governed by the integer genus g, with distinct regimes asserted for g=0, g=1 and g=∞.
axioms (1)
  • domain assumption Existence of J-self-adjoint causal operator pencils driven by the fractional kernel z^{-1/2}
    The entire construction begins with this class of operators whose spectral properties are asserted to encode arithmetic data.
invented entities (1)
  • J-self-adjoint causal operator pencil no independent evidence
    purpose: To produce a spectral determinant that equals the local Euler factor of an L-function
    A new operator object is postulated whose spectrum is claimed to carry the arithmetic information.

pith-pipeline@v0.9.0 · 5758 in / 1663 out tokens · 42859 ms · 2026-05-20T12:37:49.563717+00:00 · methodology

Review history (2 revisions) →

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

47 extracted references · 47 canonical work pages

  1. [1]

    Symmetry , volume =

    Sierra, Germ'an , title =. Symmetry , volume =

    work page

  2. [2]

    Yakaboylu, Enderalp , title =. J. Phys. A: Math. Theor. , volume =

    work page

  3. [3]

    Connes, Alain and Moscovici, Henri , title =. Proc. Natl. Acad. Sci. USA , volume =

    work page

  4. [4]

    and Snaith, Nina C

    Keating, Jonathan P. and Snaith, Nina C. , title =. Comm. Math. Phys. , volume =

    work page

  5. [5]

    and Sarnak, Peter , title =

    Katz, Nicholas M. and Sarnak, Peter , title =

    work page

  6. [6]

    Endres, Sebastian and Steiner, Frank , title =. J. Phys. A: Math. Theor. , volume =

    work page

  7. [7]

    Titchmarsh, Edward Charles , title =

    work page

  8. [8]

    2026 , note =

    Liu, Kejun , title =. 2026 , note =

    work page 2026

  9. [9]

    , title =

    Silverman, Joseph H. , title =

    work page

  10. [10]

    Deuring, Max , title =. Nachr. Akad. Wiss. G\"ottingen, Math.-Phys. Kl. IIa , year =

    work page

  11. [11]

    Mathematische Zeitschrift , volume =

    Hecke, Erich , title =. Mathematische Zeitschrift , volume =. 1918 , note =

    work page 1918

  12. [12]

    Davenport, Harold , title =

    work page

  13. [13]

    1948 , note =

    Weil, Andr\'e , title =. 1948 , note =

    work page 1948

  14. [14]

    2024 , note =

    Elliptic curve. 2024 , note =

    work page 2024

  15. [15]

    and Singer, Isadore M

    Atiyah, Michael F. and Singer, Isadore M. , title =. Annals of Mathematics , volume =

    work page

  16. [16]

    Annals of Mathematics , volume =

    Wiles, Andrew , title =. Annals of Mathematics , volume =

    work page

  17. [17]

    Annals of Mathematics , volume =

    Taylor, Richard and Wiles, Andrew , title =. Annals of Mathematics , volume =

    work page

  18. [18]

    Journal of the American Mathematical Society , volume =

    Breuil, Christophe and Conrad, Brian and Diamond, Fred and Taylor, Richard , title =. Journal of the American Mathematical Society , volume =

    work page

  19. [19]

    Communications in Partial Differential Equations , volume =

    Caffarelli, Luis and Silvestre, Luis , title =. Communications in Partial Differential Equations , volume =

    work page

  20. [20]

    1974 , series =

    Bogn\'ar, J\'anos , title =. 1974 , series =

    work page 1974

  21. [21]

    Azizov, T. Ya. and Iokhvidov, I. S. , title =

    work page

  22. [22]

    Markus, A. S. , title =

    work page

  23. [23]

    and M\"oller, M

    Mennicken, R. and M\"oller, M. , title =

    work page

  24. [24]

    Elliptic curves, modular forms, & Fermat's last theorem (Hong Kong, 1993) , pages =

    Tate, John , title =. Elliptic curves, modular forms, & Fermat's last theorem (Hong Kong, 1993) , pages =. 1995 , publisher =

    work page 1993

  25. [25]

    S\'eminaire

    Deligne, Pierre , title =. S\'eminaire

    work page

  26. [26]

    Shimura, Goro , title =

    work page

  27. [27]

    Archiv der Mathematik , volume =

    Eichler, Martin , title =. Archiv der Mathematik , volume =

    work page

  28. [28]

    Birkenhake, Christina and Lange, Herbert , title =

    work page

  29. [29]

    Mumford, David , title =

    work page

  30. [30]

    Journal of the Indian Mathematical Society , volume =

    Selberg, Atle , title =. Journal of the Indian Mathematical Society , volume =

    work page

  31. [31]

    Berry, M. V. and Keating, J. P. , title =. Supersymmetry and Trace Formulae (NATO ASI Series B) , volume =. 1999 , publisher =

    work page 1999

  32. [32]

    and Brody, Dorje C

    Bender, Carl M. and Brody, Dorje C. and M\"uller, Markus P. , title =. Physical Review Letters , volume =

    work page

  33. [33]

    Selecta Mathematica (N.S.) , volume =

    Connes, Alain , title =. Selecta Mathematica (N.S.) , volume =

    work page

  34. [34]

    Journal of Operator Theory , volume =

    Connes, Alain and Consani, Caterina , title =. Journal of Operator Theory , volume =

    work page

  35. [35]

    An adelic causality problem related to abelian

    Burnol, Jean-Fran. An adelic causality problem related to abelian. Journal of Number Theory , volume =

    work page

  36. [36]

    Two complete and minimal systems associated with the zeros of the

    Burnol, Jean-Fran. Two complete and minimal systems associated with the zeros of the. Journal de Th\'eorie des Nombres de Bordeaux , volume =. 2004 , note =

    work page 2004

  37. [37]

    2017 , eprint =

    Bellissard, Jean , title =. 2017 , eprint =

    work page 2017

  38. [38]

    , title =

    Moxley, Frederick I. , title =. AIP Conference Proceedings , volume =

    work page

  39. [39]

    2024 , howpublished =

    Elliptic curve. 2024 , howpublished =

    work page 2024

  40. [40]

    2024 , howpublished =

    Modular form. 2024 , howpublished =

    work page 2024

  41. [41]

    Experiment

    Dokchitser, Tim , title =. Experiment. Math. , volume =

    work page

  42. [42]

    and Narasimhan, M

    Beauville, A. and Narasimhan, M. S. and Ramanan, S. , title =. J. Reine Angew. Math. , volume =

    work page

  43. [43]

    Tenenbaum, G\'erald , title =

    work page

  44. [44]

    Clozel, Laurent and Harris, Michael and Taylor, Richard , title =. Publ. Math. Inst. Hautes \'Etudes Sci. , volume =

    work page

  45. [45]

    Harris, Michael and Shepherd-Barron, Nicholas and Taylor, Richard , title =. Ann. of Math. (2) , volume =

    work page

  46. [46]

    Barnet-Lamb, Thomas and Geraghty, David and Harris, Michael and Taylor, Richard , title =. Publ. Res. Inst. Math. Sci. , volume =

    work page

  47. [47]

    Compositio Math

    von Neumann, John , title =. Compositio Math. , volume =

    work page