A Trace-Path Integral Formula over Function Fields

In this paper, titled "A Trace-Path Integral Formula over Function Fields," Yan Yau Cheng explores the relationship between arithmetic path integrals and the trace of the Frobenius action on a representation of the Heisenberg group in the context of function fields. The main result presented is an arithmetic analogue of trace-path integral formulae commonly found in quantum field theory. Specifically, Cheng demonstrates that an arithmetic path integral over the $\ell$-torsion of a Jacobian $J[\ell]$ is equivalent to the trace of the Frobenius action on a representation of the Heisenberg group $H(J[\ell])$, with an explicitly determined sign. The paper begins by establishing connections between geometric quantization and physical theories, laying out a framework for understanding how certain mathematical structures can be interpreted in terms of physical concepts. By viewing $J[\ell]$ as being fibred over a circle, Cheng introduces the notion of rational points in $J[\ell](Fq)$ as sections over this fibre bundle. This perspective allows for a discrete sum over all Fq-rational points of $J[\ell]$, replacing the continuous integral over all sections in traditional path integral formulations. Furthermore, Cheng delves into the construction of an arithmetic analogue to Hilbert space, which is represented by global sections of a tensor power of the theta line bundle Θ. Drawing parallels to geometric quantization techniques from physics, this construction provides insight into how mathematical structures can mirror physical phenomena. The main theorem presented in the paper is proven through a detailed evaluation of both sides of the equality and comparison between them. Section 3 focuses on evaluating the trace side of the equality, where Cheng defines and analyzes the space H as a representation of H(J[\ell]). By expressing the Frq action on H explicitly and studying g-invariant spaces within symplectic vector spaces, Cheng ultimately computes the trace of the Frobenius action on H by decomposing J[\ell] into Frq invariant symplectic subspaces. Overall, this paper offers a deep dive into connecting arithmetic path integrals with representations from quantum field theory and establishes intriguing parallels between mathematical structures and physical theories in function fields.

Introduction

In the field of mathematics, there has been a growing interest in exploring connections between geometric quantization and physical theories. Geometric quantization is a mathematical framework that allows for the interpretation of certain structures in terms of physical concepts. In this paper, titled "A Trace-Path Integral Formula over Function Fields," Yan Yau Cheng delves into this relationship by studying the connection between arithmetic path integrals and representations from quantum field theory in function fields.

The main result presented in this paper is an arithmetic analogue to trace-path integral formulae commonly found in quantum field theory. Specifically, Cheng demonstrates that an arithmetic path integral over the $\ell$-torsion of a Jacobian $J[\ell]$ is equivalent to the trace of the Frobenius action on a representation of the Heisenberg group $H(J[\ell])$, with an explicitly determined sign.

Background

Before diving into Cheng's research, it is important to understand some key concepts that form the foundation for his work. The first concept is geometric quantization, which provides a way to interpret certain mathematical structures as being analogous to physical phenomena. This approach has been widely used in physics, particularly in understanding symplectic manifolds and their associated phase spaces.

Another important concept is function fields, which are algebraic extensions of finite fields Fq(x). These fields have applications in coding theory and cryptography but also play a crucial role in number theory and algebraic geometry.

Finally, we must understand representations from quantum field theory. In physics, these are used to describe how particles interact with each other through fundamental forces such as electromagnetism or gravity. In mathematics, they can be defined as homomorphisms from symmetry groups onto linear transformations on vector spaces.

The Main Result

Cheng's main result establishes an equivalence between two seemingly unrelated mathematical objects: the arithmetic path integral over the $\ell$-torsion of a Jacobian $J[\ell]$ and the trace of the Frobenius action on a representation of the Heisenberg group $H(J[\ell])$. This result is significant because it provides a deeper understanding of how mathematical structures can mirror physical phenomena.

To prove this result, Cheng first introduces the notion of rational points in $J[\ell](Fq)$ as sections over a circle fibration. This allows for a discrete sum over all Fq-rational points of $J[\ell]$, replacing the continuous integral found in traditional path integral formulations. Furthermore, he constructs an arithmetic analogue to Hilbert space by considering global sections of a tensor power of the theta line bundle Θ. This construction draws parallels to geometric quantization techniques from physics and provides insight into how mathematical structures can be interpreted in terms of physical concepts.

Proof

The proof presented in this paper involves evaluating both sides of the equality and comparing them. In Section 3, Cheng focuses on evaluating the trace side by defining and analyzing H as a representation of H(J[\ell]). By expressing the Frq action on H explicitly and studying g-invariant spaces within symplectic vector spaces, Cheng ultimately computes the trace by decomposing J[\ell] into Frq invariant symplectic subspaces.

This detailed evaluation highlights how closely related these seemingly disparate objects are and solidifies their equivalence through rigorous mathematical analysis.

Conclusion

In conclusion, Yan Yau Cheng's paper "A Trace-Path Integral Formula over Function Fields" offers valuable insights into connecting arithmetic path integrals with representations from quantum field theory. Through his research, Cheng establishes intriguing parallels between mathematical structures and physical theories in function fields. His main result presents an important contribution to both mathematics and physics, providing further evidence for connections between these two disciplines.

Overall, this paper offers a deep dive into the relationship between arithmetic path integrals and representations from quantum field theory. It not only showcases Cheng's expertise in both mathematics and physics but also highlights the potential for further exploration of these connections in future research.