L-functions — flashcards

Every elliptic curve over ℚ is modular. Proved for semistable curves by Wiles with Taylor (1995), in general by Breuil, Conrad, Diamond and Taylor (2001). Fermat's Last Theorem is a corollary.

A Legendre transform applied to a fractional Lagrangian carries the left/right derivative asymmetry from st/fractional-calculus-of-variations into fractional Hamilton's equations: position evolves by a left ('backward-looking') fractional derivative, momentum by a right ('forward-looking') one. The Mittag-Leffler function E_α(z)=∑z^k/Γ(αk+1), the natural fractional generalization of e^z, was verified as an exact eigenfunction of the Caputo fractional derivative (D^α_C E_α(λt^α)=λE_α(λt^α)) by differentiating the defining series term by term, matching to 20 digits. This machinery was applied directly to the Berry–Keating conjecture — H=xp as a candidate classical Hamiltonian for the Hilbert–Pólya program, whose ordinary classical dynamics x(t)=x_0e^t, p(t)=p_0e^{-t} was independently verified (x(3)=20.0855 against predicted x_0e^3=20.0855, H conserved to floating-point precision) — giving fractional Hamilton's-equation solutions in terms of E_α rather than ordinary exponentials, with long-time behavior turning power-law rather than exponential for 0<α<1.

The zeta function of a variety over a finite field is a rational function — the first of the Weil conjectures, and proved by p-adic analysis rather than by the geometry the conjectures were about.

The Circular Unitary Ensemble (CUE — Haar-random N×N unitary matrices, eigenvalues on the unit circle, joint density ∝ ∏_{j<k}|e^{iθⱼ}−e^{iθₖ}|²) is not an analogy for the deterministic evenly-spaced-points construction used elsewhere on this map (st/wallis-product-three-routes, st/chord-rational-classification) — it is that construction's finite-temperature (β=2) Coulomb-gas generalization, with the deterministic case as its zero-temperature limit. The correspondence to zeta zeros is two separate claims of different strength, chained together: zeta zeros ↔ GUE (the 'GUE hypothesis' — conjectural, though Montgomery proved a restricted form of it, with Odlyzko's numerical verification near height 10^20 as its evidential support) and GUE ↔ CUE (a proven theorem: both converge to the same bulk-scaling-limit determinantal sine-kernel process). The original arc-vs-chord question this resolves: the CUE correlation kernel's denominator, sin((θ−φ)/2), is literally the Chord function already used throughout the Wallis-video material; the GUE-on-a-line kernel is the sine kernel sin(πx)/(πx); the two coincide in the bulk limit because chord and arc agree to leading order as the angular window shrinks — curvature is a finite-N correction, not a persistent distinction. The Keating–Snaith conjecture (moments of |ζ(1/2+it)| match moments of |det(I−U)| for Haar-random U(N)) is the natural next question once the kernels are known to match.

Combining the functional equation ξ(s)=ξ(1−s) with the Schwarz reflection ζ(s̄)=ζ(s)‾ shows every nontrivial zero ρ comes with three siblings: {ρ, 1−ρ, ρ̄, 1−ρ̄}. The critical line Re(s)=1/2 is exactly the fixed-point locus of the involution s↦1−s combined with reflection — so the Riemann Hypothesis is precisely the statement that this quartet always collapses to a pair (ρ=1−ρ̄, i.e. Re(ρ)=1/2), rather than remaining four genuinely distinct points. The Riemann–Siegel Z function was verified in the source conversation to flag a genuine sign change bracketing the first zero, giving a concrete, checkable instance of the general symmetry structure.

The Random Energy Model (Derrida, 1980) — i.i.d. Gaussian energies — has a critical inverse temperature β_c=√(2ln2) separating a quadratic high-temperature free energy from a linear low-temperature (frozen) one, verified by simulation at N=2²² matching both branches (ln2+β²/4 above β_c, β√(ln2) below). The source material names this as sharing its mechanism directly with the Fyodorov–Hiary–Keating conjecture for the maxima of |ζ| on the critical line — already on this map at st/freezing-transition-log-correlated-extremes — making REM the textbook log-correlated-field instance of the exact phenomenon that statement's zeta-zero application borrows.

Katz–Sarnak's theorem for curves over finite fields shows Frobenius eigenvalues — a genuine, proven arithmetic object — converge to classical compact-group statistics, the strongest available non-numerical evidence for the zeta–random-matrix correspondence. Its scope is explicitly bounded: there is no known analogue of Frobenius or étale cohomology over ℤ, so the theorem cannot be strengthened into evidence for the Riemann Hypothesis itself, only for the shape the correspondence takes in a genuinely provable adjacent setting. The logical endpoint of pushing the whole analogy is the Hilbert–Pólya conjecture: the search for a self-adjoint operator whose spectrum is literally the zeros. The CFKRS conjecture — an exact splitting of zeta's moment-asymptotics into a universal random-matrix factor times an arithmetic Euler-product factor — is the structural tool proposed for locating the correspondence's boundary without further numerical computation, though the arithmetic factor itself was named in the source conversation, not computed or explored there.

Kummer's congruences between Bernoulli numbers are the shadow of a single p-adic analytic function interpolating ζ(1−n). A 19th-century family of coincidences turns out to be one object.

The p-adic L-function and the algebraically defined Iwasawa module generate the same ideal. Proved for ℚ in 1984 — worth contrasting with Birch–Swinnerton-Dyer, its classical analogue, which remains open.

Analytic continuation and the functional equation of Hecke L-functions, reproved as Fourier analysis on the adeles. The functional equation becomes Poisson summation.

st/tate-thesis reproves Hecke L-function analytic continuation via Fourier analysis on the adeles. At a single p-adic place, the local piece of that machinery — Tate's local zeta integral Z(f,s) = ∫_{Q_p*} f(x)|x|_p^s d*x — is exactly the p-adic analogue of the (archimedean) Mellin transform, using the multiplicative Haar measure d*x in place of dx/x. For f the indicator of Z_p, it sums to (1−p⁻¹)/(1−p^{-(s+1)}), the local Euler factor itself — so the Euler factor at p is literally a Mellin transform value, not just an analogue of one by loose resemblance.

st/tate-thesis reproves the Hecke L-function functional equation as Poisson summation on Q embedded diagonally in its adele ring A_Q — a consequence of the product formula ∏_v |x|_v = 1 over all places v (finite and infinite), which underlies the whole construction and was checked directly for a specific rational number. Carrying this local/global structure one step further: the log-derivative ξ'(s)/ξ(s) of the completed zeta function decomposes exactly into two pieces — an archimedean piece built from the digamma function (from the Gamma factor at the infinite place) plus a finite-place piece built from the von Mangoldt function (from the Euler product over primes) — verified numerically to 17 digits. The local zeta integral at a single prime p, Z(f,s) for f the indicator of Z_p, sums directly to the Euler factor 1/(1-p^{-s}); the global decomposition is what happens when every place's local computation is assembled at once under the product-formula constraint.

Wiles with Taylor; then Breuil, Conrad, Diamond and Taylor, 1995, completed 2001.

Bernard Dwork, 1960.

Kubota and Leopoldt, 1964.

Barry Mazur and Andrew Wiles, 1984.

John Tate, 1950.

Each Galois representation produces an L-function — the arithmetic side's contribution to the shared currency.

Each automorphic form produces an L-function too. Langlands asserts these two supplies of L-functions coincide.

Analytic invariants attached to arithmetic and to automorphic objects alike. They are the common currency in which both sides of Langlands are compared.