A Trace-Path Integral Formula over Function Fields

Yan Yau Cheng

arxiv: 2509.04540 · v3 · submitted 2025-09-04 · 🧮 math.NT · math-ph· math.MP

A Trace-Path Integral Formula over Function Fields

Yan Yau Cheng This is my paper

Pith reviewed 2026-05-18 19:44 UTC · model grok-4.3

classification 🧮 math.NT math-phmath.MP

keywords arithmetic path integralfunction fieldsJacobianℓ-torsionHeisenberg groupFrobenius tracetrace formula

0 comments

The pith

An arithmetic path integral over Jacobian ℓ-torsion equals the trace of Frobenius on a Heisenberg group representation, up to sign.

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

The paper proves an equality in the function field setting: an arithmetic path integral computed over the ℓ-torsion points of a curve's Jacobian equals the trace of the Frobenius action on a representation of the associated Heisenberg group, with an explicit sign factor included. It presents this as an arithmetic counterpart to formulas from quantum field theory that relate path integrals over sections of a fibration to traces of monodromy on a Hilbert space. A reader would care because the result connects representation-theoretic traces directly to arithmetic objects defined over function fields, potentially allowing one side of the equality to inform computations on the other.

Core claim

We show that an arithmetic path integral over the ℓ-torsion of a Jacobian J[ℓ] is equal to the trace of the Frobenius action on a representation of the Heisenberg group H(J[ℓ]), up to an explicitly determined sign. This is an arithmetic analogue of trace-path integral formulae which arise in quantum field theory, where path integrals over a space of sections of a fibration over a circle can be expressed as the trace of the monodromy action on a Hilbert space.

What carries the argument

The trace-path integral formula equating the arithmetic path integral over J[ℓ] to the trace of Frobenius acting on the Heisenberg group representation H(J[ℓ]).

If this is right

The equality supplies an explicit sign that must be accounted for when moving between the path integral and the representation trace.
The formula applies to Jacobians of curves in the function field setting.
It reproduces the structural relation seen in quantum field theory but now for arithmetic data attached to torsion points.
The result identifies the Heisenberg group representation as the object whose Frobenius trace computes the path integral.

Where Pith is reading between the lines

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

The same style of equality might be tested on torsion points of other abelian varieties over function fields.
Direct evaluation of the trace side could give a practical method for computing certain arithmetic sums that would otherwise require enumerating torsion points.
If the construction generalizes, similar trace formulas might appear for higher-dimensional varieties or different finite group schemes.

Load-bearing premise

The arithmetic path integral over the ℓ-torsion is well-defined and the Heisenberg group representation is constructed so that the trace-Frobenius equality holds in the function-field setting.

What would settle it

For a concrete curve over a finite field, calculate the path integral by summing over the ℓ-torsion points and compare the value to the explicit trace of Frobenius on the Heisenberg representation, including the predicted sign, to see whether the two sides match.

read the original abstract

We show that an arithmetic path integral over the $\ell$-torsion of a Jacobian $J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group $H(J[\ell])$, up to an explicitly determined sign. This is an arithmetic analogue of trace--path integral formulae which arise in quantum field theory, where path integrals over a space of sections of a fibration over a circle can be expressed as the trace of the monodromy action on a Hilbert space.

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.

Desk Editor's Note private letter to a colleague

Cheng gives an explicit equality between a finite sum over Jacobian ℓ-torsion and the Frobenius trace on the associated Heisenberg representation, with the sign fixed.

read the letter

Hi there, the main takeaway is that this paper writes down a precise arithmetic version of the trace-path integral formula from QFT, now over function fields: the sum over points of J[ℓ] equals the trace of Frobenius on a representation of the Heisenberg group H(J[ℓ]), up to an explicit sign. It works entirely in the finite setting, so there are no convergence questions and both sides are algebraic objects one can compute directly in small cases. The construction uses the standard symplectic form on the torsion to define the Heisenberg group and appears to treat the path integral as a weighted count over the same points. That match is the new piece. It does a clean job of making the analogy hold without extra parameters or convergence fixes that usually appear in these translations. The explicit sign determination is also useful, since those often get left vague. The soft spot is the definition of the arithmetic path integral itself. If that sum turns out to depend on auxiliary choices such as a polarization or level structure that are also used to build the representation, the equality could be less independent than it first looks. The abstract and stress-test give no sign of that happening, but the full write-up needs to show the two sides are built separately. This note is for people who already work with Jacobians over function fields or with finite Heisenberg representations and want a concrete calculation that imports the QFT analogy. A reader who knows both the Weil pairing and the representation theory of extraspecial groups will see the value quickly. I would send it to peer review. The claim is narrow and checkable, the setting removes the usual analytic headaches, and a referee can verify the steps without needing new machinery.

Referee Report

0 major / 3 minor

Summary. The manuscript claims to prove that an arithmetic path integral over the ℓ-torsion of a Jacobian J[ℓ] equals the trace of the Frobenius action on a representation of the Heisenberg group H(J[ℓ]), up to an explicitly determined sign. This is presented as an arithmetic analogue of trace-path integral formulae from quantum field theory, where path integrals over sections of a fibration correspond to traces of monodromy actions on a Hilbert space. The setting is entirely over function fields, where all relevant sets are finite.

Significance. If the central equality holds, the work supplies a concrete arithmetic counterpart to a standard relation in quantum field theory, taking advantage of the finite cardinality of J[ℓ] to define the path integral as a finite sum without convergence issues. The explicit sign determination is a strength. The result may stimulate further exploration of representation-theoretic interpretations of arithmetic invariants in function fields and could serve as a model for similar trace formulae in other finite or adelic settings.

minor comments (3)

The definition of the arithmetic path integral (presumably in the early sections) should include an explicit statement that its value is independent of auxiliary choices such as a basis for J[ℓ] or a polarization; this independence is load-bearing for the canonicity of the claimed equality.
A short paragraph in the introduction comparing the construction to existing literature on Heisenberg representations of Jacobians over finite fields would help situate the result.
Notation for the central character of the Heisenberg group representation should be introduced before the statement of the main theorem to improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. The report correctly identifies the main result as an equality between a finite arithmetic path integral over J[ℓ] and the trace of Frobenius on the Heisenberg representation, up to sign, and notes its role as a function-field analogue of QFT trace formulae. No specific major comments were raised.

Circularity Check

0 steps flagged

Derivation self-contained via independent constructions of path integral and Heisenberg representation

full rationale

The manuscript establishes an equality between a rigorously defined arithmetic path integral (finite weighted count over J[ℓ](k) in the function-field setting) and the trace of Frobenius on the irreducible Heisenberg representation with standard central character. Both sides are constructed independently: the path integral as an explicit sum without auxiliary fitting, and the representation via standard group cohomology or Weil representation methods that do not presuppose the trace equality. No equations reduce by definition to their inputs, no parameters are fitted then relabeled as predictions, and no load-bearing steps rely on self-citations whose content is unverified. The function-field finiteness removes analytic issues, allowing direct verification against external group-theoretic facts. This yields a self-contained result with no circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract relies on standard constructions in arithmetic geometry over function fields; no free parameters, new entities, or ad-hoc axioms are visible from the given text.

axioms (2)

domain assumption Existence and basic properties of the Jacobian variety and its ℓ-torsion over function fields
The path integral and Heisenberg group are built from these standard objects.
domain assumption Frobenius endomorphism acts on the representation of the Heisenberg group
The trace is taken with respect to this action.

pith-pipeline@v0.9.0 · 5599 in / 1334 out tokens · 50043 ms · 2026-05-18T19:44:19.606333+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 5.1: tr(Fr_q | H) = [(-1)^g χ_Fr_q(1) det(A)/ℓ] ∑_{γ∈J[ℓ](F_q)} e^{2πi A(γ)}
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Heisenberg group H(V) central extension by F_ℓ with Stone-von-Neumann uniqueness

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

3 extracted references · 3 canonical work pages

[1]

A Note on Abelian Arithmetic BF-theory

Grundlehren Der Mathematischen Wissenschaften. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.isbn: 978-3-642-05807-3 978-3-662-06307-1.doi:10.1007/978-3-662-06307-1(cit. on p. 8). [Car+22] Magnus Carlson, Hee-Joong Chung, Dohyeong Kim, Minhyong Kim, Jeehoon Park, and Hwajong Yoo.Path Integrals and P-Adic L-functions. July 2022.doi:10 . 48550 / arXi...

work page doi:10.1007/978-3-662-06307-1(cit 2004
[2]

In: Computer Vision – ECCV 2018

Graduate Texts in Mathematics. New York, NY: Springer, 2013.isbn: 978-1-4614-7115-8.doi:10.1007/978- 1- 4614- 7116- 5 (cit. on pp. 2, 4). [Lan86] Serge Lang.Algebraic Number Theory. Graduate Texts in Mathematics. New York, NY: Springer New York, 1986.isbn: 978-1-4684-0298-8 978-1-4684-0296-4.doi:10.1007/978-1-4684-0296-4 (cit. on p. 16). [LST20] Michael L...

work page doi:10.1007/978- 2013
[3]

On Uniformity Conjectures for Abelian Varieties and K3 Surfaces

ed. Charleston, SC: Booksurge, 2006.isbn: 978-1- 4196-4274-6 (cit. on pp. 20, 23). 28 A Trace–Path Integral Formula over Function Fields [Mil13] J S Milne.Lectures on ´Etale Cohomology. v2.21. 2013 (cit. on p. 20). [Mor24] Masanori Morishita.Knots and Primes: An Introduction to Arithmetic Topology. Universitext. Singapore: Springer Nature, 2024.isbn: 978-...

work page doi:10.1007/978-981-99-9255-3 2006

[1] [1]

A Note on Abelian Arithmetic BF-theory

Grundlehren Der Mathematischen Wissenschaften. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.isbn: 978-3-642-05807-3 978-3-662-06307-1.doi:10.1007/978-3-662-06307-1(cit. on p. 8). [Car+22] Magnus Carlson, Hee-Joong Chung, Dohyeong Kim, Minhyong Kim, Jeehoon Park, and Hwajong Yoo.Path Integrals and P-Adic L-functions. July 2022.doi:10 . 48550 / arXi...

work page doi:10.1007/978-3-662-06307-1(cit 2004

[2] [2]

In: Computer Vision – ECCV 2018

Graduate Texts in Mathematics. New York, NY: Springer, 2013.isbn: 978-1-4614-7115-8.doi:10.1007/978- 1- 4614- 7116- 5 (cit. on pp. 2, 4). [Lan86] Serge Lang.Algebraic Number Theory. Graduate Texts in Mathematics. New York, NY: Springer New York, 1986.isbn: 978-1-4684-0298-8 978-1-4684-0296-4.doi:10.1007/978-1-4684-0296-4 (cit. on p. 16). [LST20] Michael L...

work page doi:10.1007/978- 2013

[3] [3]

On Uniformity Conjectures for Abelian Varieties and K3 Surfaces

ed. Charleston, SC: Booksurge, 2006.isbn: 978-1- 4196-4274-6 (cit. on pp. 20, 23). 28 A Trace–Path Integral Formula over Function Fields [Mil13] J S Milne.Lectures on ´Etale Cohomology. v2.21. 2013 (cit. on p. 20). [Mor24] Masanori Morishita.Knots and Primes: An Introduction to Arithmetic Topology. Universitext. Singapore: Springer Nature, 2024.isbn: 978-...

work page doi:10.1007/978-981-99-9255-3 2006