One-loop $p$-adic string theory and the Néron local height function

This paper demonstrates that the two-point function of the dual $p$-adic string worldsheet action on the Tate curve, derived from the quotient of the Bruhat-Tits tree by a genus 1 Schottky group, coincides with the Néron-Tate local height function.

The Gist

The Big Picture: Connecting Two Different Worlds

Imagine you are trying to understand the shape of a very strange, jagged mountain range. You have two maps:

1. Map A (The Tree): A detailed, 3D map of the mountain's interior structure, showing every branch and root.
2. Map B (The Shoreline): A flat, 2D map of the coastline that surrounds the mountain.

This paper proves that these two maps are actually describing the exact same thing. Specifically, it shows that a mathematical formula used to measure "distance" or "height" on the flat shoreline (Map B) is identical to the formula used to calculate how strings vibrate on the 3D tree structure (Map A).

The Characters in Our Story

To understand this, we need to meet the main players:

• The p-Adic Numbers: Think of these as a different kind of ruler. Instead of measuring distance by how far apart two points are on a straight line (like 1, 2, 3), p-adic numbers measure distance based on how many times you can divide a number by a specific prime number (like 2, 3, or 5). It's like measuring the "closeness" of two numbers by how similar their "DNA" is, rather than their physical location.
• The Bruhat-Tits Tree: Imagine a giant, infinite tree where every branch splits into $p$ new branches. This is the "interior" of our p-adic world. It's a fractal jungle.
• The Tate Curve: This is the "shoreline" or the boundary of that tree. In the real world, a circle is the boundary of a disk. In this p-adic world, the Tate curve is the boundary of our infinite tree.
• The String: In physics, strings are tiny vibrating loops. In this paper, we are looking at a "string" that wraps around the Tate curve. This is a "one-loop" string, meaning it's a closed circle, not a straight line.

The Problem: The "Height" Mystery

Mathematicians have long known about a special function called the Néron-Tate Local Height Function.

• The Analogy: Imagine you are standing on a hill. The "height function" tells you how high you are relative to the bottom of the valley. In the world of numbers (arithmetic geometry), this function measures how "complicated" a point is on a curve.
• The Mystery: For a long time, this height function was just a number-crunching tool used by pure mathematicians. Physicists, on the other hand, were using a different tool (String Theory) to describe how particles interact. They didn't know these two tools were related.

The Discovery: The "Echo" Effect

The authors of this paper (An Huang and Christian Jepsen) did something brilliant. They looked at the physics of a string vibrating on the Tate Curve (the shoreline).

1. The Action: They wrote down the "energy" of the string. In physics, the "action" is like a recipe for how a system behaves.
2. The Two-Point Function: They calculated the "two-point function."
   • Analogy: Imagine you clap your hands at point A on the shoreline. The "two-point function" tells you how loud the echo is when it reaches point B.
3. The Result: When they calculated this "echo" (the two-point function) for their string theory, they found something shocking. The formula for the echo was exactly the same as the formula for the Néron-Tate height function.

The Metaphor: It's as if you were studying the sound of a bell (physics) and suddenly realized that the pattern of the sound waves was identical to the pattern of ripples in a pond (math). They are two different languages describing the same underlying reality.

Why Does This Matter?

This discovery is a bridge between two huge fields:

• Physics (String Theory): Which tries to explain the universe.
• Mathematics (Arithmetic Geometry): Which tries to understand the deep structure of numbers.

The paper shows that the "height" of a number (a concept in pure math) is actually the "distance" a string travels in a p-adic universe (a concept in physics).

The "One-Loop" Twist

The title mentions "One-Loop."

• Tree Level: Imagine a string that is just a straight line. This is the simplest case.
• One-Loop: Imagine the string is a closed circle (a loop). This is more complex, like a rubber band.
• The Achievement: Previous work had shown this connection for the simple "straight line" case. This paper proves it works for the "rubber band" (loop) case too. This is much harder because loops can twist and turn in complex ways.

The "Spectrum" and the "Determinant"

The paper also calculates the "spectrum" of the system.

• Analogy: If you pluck a guitar string, it vibrates at specific notes (frequencies). The "spectrum" is the list of all the notes the string can play.
• The Finding: The authors found the exact list of notes (eigenvalues) this p-adic string can play. They also calculated the "determinant," which is like the total volume or energy of the entire system. This is crucial for physicists who want to calculate the probability of the universe existing in a certain state.

Summary in One Sentence

This paper proves that the mathematical formula used to measure the "complexity" of numbers on a specific curve is exactly the same as the formula used to calculate how a vibrating string echoes across that same curve, revealing a hidden, beautiful connection between the physics of strings and the geometry of numbers.

Technical Summary

1. Problem Statement

The paper addresses the relationship between p-adic string theory at the one-loop level and arithmetic geometry, specifically the N´eron-Tate local height function on the Tate curve.

• Context: Previous work (specifically reference [10]) established a connection between the N´eron-Tate height function and the two-point function of a p-adic string action in the limit of large $p$ and for specific valuations of the $j$-invariant.
• Gap: There was a need to refine this result to hold for any prime $p$ and to clarify the exact mathematical correspondence between the string worldsheet action on the Bruhat-Tits tree quotient and the height function on the asymptotic boundary (the Tate curve).
• Goal: To demonstrate that the Green's function (two-point function) of the dual p-adic string action on the Tate curve coincides exactly with the N´eron-Tate local height function, up to an additive constant.

2. Methodology

The authors employ a combination of non-Archimedean harmonic analysis, spectral theory, and holographic duality (AdS/CFT).

• Geometric Setup:
  • The worldsheet is modeled as the quotient of the Bruhat-Tits tree $T_p$ of $PGL(2, \mathbb{Q}_p)$ by a genus-1 Schottky group $\Gamma$ generated by the matrix $\text{diag}(q, 1)$ with $|q| = p^{-m} < 1$.
  • The asymptotic boundary of this quotient is identified with the Tate curve $E = \mathbb{Q}_p^*/q^{\mathbb{Z}}$.
• Dual Action Formulation:
  • The authors utilize the dual action $S$ defined on the boundary $E$:
    $$S = \int_E \phi(x) D \phi(x) d^*x$$
  • The operator $D$ is a pseudo-differential operator defined by an integral kernel involving a weight function $H(z, x)$:
    $$D\phi(x) := -c_p \int_E H(z, x)(\phi(z) - \phi(x)) d^*z$$
  • A key technical step involves proving the dilatational and inversional invariance of the action by analyzing the specific structure of the weight function $H(z, x)$, which includes a term dependent on the fundamental domain size $m$.
• Green's Function Verification:
  • The authors explicitly compute the action of the operator $D$ on the N´eron-Tate local height function $h(x)$.
  • They partition the integration domain based on the $p$-adic valuation of the integration variable $z$ and perform direct summation to verify that $D h(x) = -1/\text{Vol}$ for $x \neq 1$.
• Spectral Analysis:
  • The spectrum of $D$ is determined by decomposing the space of functions into multiplicative characters (radial and angular components).
  • The authors calculate eigenvalues for both radial characters (related to the conductor) and angular characters (roots of unity).
• Holographic Limit:
  • To address the constant term in the height function, the authors utilize the p-adic AdS/CFT correspondence. They consider the scaling dimension $\Delta$ of a boundary operator and take the limit $\Delta \to 0$, showing that the divergent and finite parts of the correlator reproduce the height function.

3. Key Contributions and Results

A. Identification of the Green's Function

The primary result is Theorem 3.1, which states that the Green's function $G(x, y)$ for the operator $D$ is given by the N´eron-Tate local height function:
$$G(x, y) = h(x/y)$$
where $h(x)$ is defined as:
$$h(x) = v(x-1) + \frac{v_x(v_x - m)}{2m} + \frac{m}{12}$$
Here, $v_x$ is the valuation of $x$. The authors prove that $D h(x/y) = \delta_{x,y} - \frac{1}{\text{Vol}}$, establishing $h$ as the unique symmetric Green's function (up to an additive constant).

B. Spectral Properties of the Operator $D$

The paper provides a complete spectral analysis of the operator $D$:

• Eigenfunctions: The eigenfunctions are products of characters on the radial direction ($\mathbb{Z}/m\mathbb{Z}$) and the angular direction ($\mathbb{Z}_p^\times$).
• Eigenvalues:
  • For non-trivial radial characters with conductor $n$, the eigenvalues are $\lambda_n = (p-1)p^{n-1}$.
  • For trivial radial but non-trivial angular characters (roots of unity $\omega$), the eigenvalues are given by a specific rational function of $\omega$.
• Spectral Gap: The paper identifies the spectral gap of the operator, showing it behaves as expected for a Laplacian on a two-dimensional domain.
• Weyl's Law: The authors derive a Weyl's law for the counting function of eigenvalues $N(\lambda)$, confirming that the spectrum scales as $m\lambda$, consistent with a 2D geometry.

C. Zeta-Regulated Determinant

The authors compute the zeta-regularized determinant of the operator $D$, which is crucial for calculating the one-loop vacuum energy in string theory.

• The determinant is computed by separating contributions from angular and radial characters.
• Result:
  $$\det D = m^2 \frac{1 - p^{-1}}{(1 - p^{-m})^2}$$
  This result is significant for potential applications in summing over fluctuating graph geometries in quantum gravity models.

D. Holographic Derivation of the Constant Term

A subtle but important contribution is the determination of the constant term $m/12$ in the height function.

• Standard Green's function definitions do not fix the additive constant.
• By taking the $\Delta \to 0$ limit of the p-adic thermal CFT two-point function (holographic dual), the authors show that the finite part of the correlator exactly reproduces the height function $h(x)$, including the specific $m/12$ term. This provides a physical derivation of the arithmetic constant.

4. Significance

• Unification of Physics and Arithmetic: The paper provides a rigorous mathematical proof that a fundamental object in arithmetic geometry (the N´eron-Tate height function) arises naturally as the propagator (Green's function) of a p-adic string theory. This strengthens the link between string theory and number theory.
• Refinement of Previous Results: It generalizes the findings of reference [10] to hold for all primes $p$ and clarifies the role of the genus-1 quotient (Tate curve) in the string formalism.
• Foundations for Amplitudes: The identification of the height function as the Green's function suggests that the N´eron-Tate height is a "building block" for computing p-adic string scattering amplitudes on the Tate curve.
• Holographic Insight: The work demonstrates how holographic principles (AdS/CFT) can be used to fix normalization constants in arithmetic definitions, offering a new perspective on the origins of arithmetic invariants.
• Spectral Geometry: The explicit calculation of the spectrum and determinant of the operator $D$ on the Tate curve contributes to the understanding of spectral geometry in non-Archimedean settings.