Green's function on the Tate curve

The Big Picture

Imagine describing the shape of a donut to someone whose world runs on completely different arithmetic, where “closeness” is defined not by size but by how many times a prime number divides the difference between two values. That’s the setting of p-adic string theory, and this paper opens up territory that has been inaccessible for decades.

String theory holds that the fundamental constituents of nature are tiny vibrating strings. As each string moves through spacetime, it sweeps out a surface called its worldsheet, the way a moving loop traces out a tube. At the simplest level, worldsheets are spheres or disks. At the next level of complexity, the surface closes back on itself to form a torus: the donut shape.

Physicists have handled ordinary worldsheets for decades. But a parallel version of string theory is built on p-adic numbers, an alternative number system (one for each prime $p$) where arithmetic is governed by divisibility rather than magnitude. In the p-adic world, simpler worldsheets are well understood. The torus has been an open problem for over thirty years.

This paper by An Huang, Rebecca Rohrlich, Yaojia Sun, and Eric Whyman takes that problem head on. They define a mathematical operator governing how fields spread across a p-adic torus, solve for the precise function describing field interactions, and uncover an unexpected connection: a purely number-theoretic object from arithmetic geometry turns out to be the large-$p$ limit of a p-adic quantum field theory correlation function.

Key Insight: The Néron local height function on the Tate curve, a fundamental object in number theory, is the Green’s function of a p-adic Laplacian. This gives it a direct physical interpretation as a quantum field theory correlator for the first time.

How It Works

The starting point is the Tate curve, the p-adic version of a torus, written as $E_q = \mathbb{Q}_p^\times / q^\mathbb{Z}$. Think of this as p-adic numbers modulo a lattice: the p-adic analogue of constructing a flat torus by gluing opposite edges of a plane together. Here, $q$ is a p-adic number with $|q| < 1$, playing the role of the modular parameter that controls the torus’s shape.

The central mathematical object is the Green’s function, a field theory’s equivalent of an impulse response. It solves $DG = \delta - 1/V$, where $D$ is the Laplacian, $\delta$ is a perfectly localized disturbance, and $V$ is the volume of the fundamental domain. If the Laplacian describes how a field propagates across the torus, the Green’s function captures the field’s response to a point source. In string theory, this is precisely the two-point correlation function of the worldsheet conformal field theory, the most basic quantity encoding how two points on the string interact.

The authors define the p-adic Laplacian on the Tate curve via a careful integral operator:

$$D\phi(x) := \int_E \frac{\phi(z) - \phi(x)}{|z-x|^2} |x|, dz$$

This is a non-Archimedean Laplacian: it uses p-adic norms, which measure divisibility rather than ordinary size. The motivating insight is that locally, on any small patch of the p-adic torus, this operator is identical to the well-established Vladimirov derivative on simpler geometries, just as any piece of a torus locally looks like a flat plane.

To solve the resulting equation, the authors deploy a filtration strategy:

• They restrict to functions depending on only the first $k$ p-adic digits, reducing the infinite-dimensional problem to finite-dimensional matrix equations at each level $k$
• This filtration corresponds geometrically to truncating the Bruhat-Tits tree $T_p/\Gamma$, a combinatorial tree encoding p-adic geometry, at radius $k$
• Taking the limit $k \to \infty$ recovers the full Green’s function

The result is an explicit closed-form formula. On an ordinary torus, the Green’s function involves logarithms and Jacobi theta functions. Here, it involves p-adic norms and sums over the tree $T_p/\Gamma$: the same architecture, translated into p-adic language.

The punchline comes in the large-$p$ limit. When the j-invariant of the Tate curve has odd valuation (a condition measuring how “degenerate” the torus is), the Green’s function converges as $p \to \infty$ to the Néron local height function. Arithmetic geometers use this object to measure heights of points on elliptic curves; it is central to the theory connecting elliptic curves to the Birch and Swinnerton-Dyer conjecture.

Why It Matters

Number theorists have studied Néron local height functions since the 1960s as abstract algebraic tools for measuring arithmetic complexity. Physicists have studied Green’s functions as concrete objects governing particle propagation. This paper shows they are the same thing, at least in the p-adic world. The Néron height isn’t abstract bookkeeping; it’s a genuine quantum field theory correlator encoding how information propagates across a p-adic string worldsheet.

The consequences run in several directions. The Green’s function is the essential building block for computing scattering amplitudes, and this result opens the door to computing p-adic string amplitudes at genus one for the first time. The paper also hints at connections to the adelic product formula: just as Tate’s thesis showed that the product of p-adic and Archimedean zeta functions over all primes satisfies elegant identities, similar product formulas may hold here for the torus, stitching different versions of string theory into a single adelic picture.

On the mathematical side, the Bruhat-Tits tree filtration provides a concrete computational handle on non-Archimedean geometry that may extend to higher-genus worldsheets, bringing a full p-adic perturbative string theory within closer reach.

Bottom Line: By finding the Green’s function on the p-adic Tate curve, Huang, Rohrlich, Sun, and Whyman solve a long-standing open problem in p-adic string theory while revealing that an abstract number-theoretic height function is secretly a quantum field theory correlator, a discovery at the intersection of physics and mathematics.