_{1}

^{*}

A canonical p-adic Frobenius lift is defined in the context of p-adic numbers, viewed as deformations of the corresponding finite field. Applications to p-adic periods are considered, including to the classical Euler gamma and beta functions and their p-adic analogues, from a cohomological point of view. Connections between various methods for computing scattering amplitudes are related to the moduli space problem and period domains.

Algebraic integrals called periods [^{1}, are a new class of numbers extending algebraic numbers and bridging quantum physics and mathematics together, in a way yet to be better understood [

Presenting p-adic numbers as deformations of finite fields allows a better understanding of Frobenius lifts and their connection with p-derivations in the sense of Buium [

A p-adic version for periods has been defined, in quite abstract terms, in connection with Tate-Hodge Conjecture and later on, Fontaine Conjectures [

From a computer science perspective, instead, a “Quantum Theory” could be formulated already “quantum”, i.e. discrete and of finite type, using the language of Quantum Computing at foundations, as a general flow on networks calculus (e.g. Turaev’s on Ribbon Categories), at a conceptual level^{2}. What still is needed is to understand the role of primes (and Riemann spectrum), in the context of what the present author calls p-adic (finite) strings. But then, a deformation quantization of the theory of finite fields should be beneficial for a brainstorming translation of the “good concepts” from “continuous mathematical-physics over complex numbers, to the discrete graded case of p-adics and adeles”. Indeed, if the complex numbers are thought of as the algebraic closure of the topological closure of the rationals C = Q ¯ ∞ , then algebraic extensions of p-adic numbers Q q , q = p n , n ∈ N , are enough, even though they are not algebraically closed (the closure C p is much bigger: see [

In this note we will explain how p-adic numbers can be understood as deformations of finite fields as Galois-Klein geometries, in terms close to the spirit of deformation quantization, a perspective hopefully beneficial for incorporating Algebraic Geometry into a Number Theory approach to Finite String Theory.

The article is organized as follows. The p-adic numbers are first reformulated as formal series, in the sense of Deformation Theory, together with basic facts, including how a canonical lift of Frobenius, as a companion deformation of their symmetries [

Then the p-derivations forming the basis of the lambda calculus of Buium are reviewed, and reinterpreted, from the deformation point of view. The appearance of Hochschild cohomology is no accident, and allows to address the periods and the period comparison isomorphism in a new light, briefly.

As applications, the article comments on the p-adic analogues of Euler’s gamma and beta integrals, which are natural extensions of the Gauss and Jacobi sums in finite characteristic. The connections with scatering amplitudes, as Feynman Integrals and Veneziano amplitudes, well know to be “coincidentaly” related to number theoretic values like Multiple Zeta Values, no longer seem so unexpected, in view of the correspondence between the theories of period isomorphisms.

In conclusion, the author ponders on the similarity between the familiar mathematics of real numbers and that of p-adics “analysis”, or rather deformation theory, which substantiates the claim that p-adic numbers are in fact functions, will all their benefits. Finally, further directions of development are discussed, and questions are raised, especially regarding the moduli problem from a Deformation Theory standpoint.

The traditional Cauchy completion approach to p-adic numbers Q p hides their alternative algebraic presentation as a Z-module of formal series with coefficients in ( Z / p Z , + p ) , as noted long time ago by Hensel, who compared them with Laurent series:

Z p = ( F p [ [ h ] ] , ∗ ) ∋ a = ∑ i = 1 ∞ a n h n , a n ∈ F p , a n * b n = ( a n + p b n ) + c p ( a n , b n ) h .

We will focus on the “integral elements”, since the filed extensions occur as corresponding fraction fields^{3}.

Note also that the field structure ( F p , + , ⋅ ) on ( Z / p Z , + p ) comes for free as “repeated addition”, and that it corresponds to the group of automorphisms as an abelian group (“discrete space of arrows-vectors”).

The deformation parameter is the generic “Planck’s constant” h to avoid the miss-conception that they are “just” the integers completed in the “wrong direction”, and to emphasize the conceptual role of the “uniformizer” as a grading parameter. On the contrary, the real numbers result in the topological completion in the wrong direction, of “infinity-small”, not needed in a quantum world of atoms and Zeno paradoxes [

c p ( x , y ) : F p × F p → F p , p ( x , y ) = m o d p ( j ( x ) + j ( y ) ) − ( x + p y ) ,

m o d p : Z → F p , j : F p → Z ,

where m o d p is the reduction modulo p and j is a set theoretical lift of the p-adic digits, has an awkward “closed form” of the deformed addition in terms of a section j, as one already knows from the need of introducing Witt vectors [

To be more specific, we “zoom in” on the infinitesimal deformation for now, i.e. let us consider the infinitesimal deformation of Z / p Z , or equivalently its central extension with 2-cocycle c p [

0 → Z / p → Z / p 2 → Z / p → 0.

Then the addition modulo p is deformed into a “*-product” as above, to use the physics jargon when comes to quantization via deformation. Indeed, at “tangent space” level (degree 0), the central extension is defined as follows:

( a 0 , 0 ) ∗ ( b 0 , 0 ) = ( a 0 + b 0 , c p ( a 0 , b 0 ) ) ,

where we have dropped the subscript from + p .

Having deformed the abelian group ( Z / p Z , + ) , apply a general principle, that an object is determined by its symmetries. Indeed, the Frobenius automorophisms generates the Galois extension [ F p n : F p ] , so, the deformed structure Z q = F p n [ [ h ] ] (with q = p n ), will have automorphisms generated by the corresponding deformation [

In order to have a nice commutation relation, we need to use the Teichmüller character in order to replace the natural p-adic digits a i ∈ F p with deformations which behave better with respect to the addition (and multiplication), and are suited as coefficients for the so called Witt vectors [

Z q ≅ W ( F q ) ∋ x = ∑ τ ( x n ) p n .

Requiring to obey the same relations a 1 p = a i , but this time modulo p, by Hensel Lemma [

x i p = x i ( i n Z p ) , x = a i m o d p ( i n F p ) .

Then τ ( a i ) = x i , a i ∈ F p defines a multiplicative character on F p × , called the Teichmüller character.

Then the canonical lift of Frobenius f “commutes” with the Teichmüller character:

ϕ p ( τ ( v ) ) = τ ( v ) n , v ∈ F q , ϕ ( x ) = ∑ τ ( x n ) n p n , x = ∑ τ ( x n ) p n ,

i.e. the Teichmüller character pull-back of the lift of Frobenius is the Frobenius pull-back of the lift of the Teichmüller character.

As mentioned above, p-adic numbers are analogues of Laurent series, as noticed initially by Hensel, and more recently by Manin [

Following [^{4}, a p-derivation δ ( x ) on p-adic numbers, thought of as functions conform [

δ ( x + y ) = δ p ( x ) + δ p ( y ) + C p ( x , y ) , C p ( x , y ) = [ x p + y p − ( x + y ) p ] / p ,

δ ( x y ) = x p δ ( y ) + δ p ( x ) y p + p ⋅ δ p ( x ) δ p ( y ) .

It is immediate that any such p-derivation allows to define a ring endomorphism ϕ p ( x ) = x p + p δ p ( x ) , which is a lift of Frobenius ϕ p ( x ) = x p m o d p (loc. cit.). This can be understood using Hochschild cohomology, as follows.

With our notation, p ↦ h and + ↦ ∗ , the cohomological interpretation of the 1^{st} equation above is d H o c h * δ p = − C p , where the associative operation in view is p-adic addition *, i.e. the deformation of component-wise addition of formal power series in h. Of course, C p is itself essentially an exact 2-cocycle (shifted in degree zero):

d H o c h F r o b ( x , y ) = F r o b ( x ) − F ( x + y ) − F r o b ( y ) = C p ( x , y ) p ,

so that the Frobenius shift is itself a Hochschild 2-cocycle:

d H o c h ϕ p = d H o c h F r o b + p d H o c h δ p = 0,

and the shift is an endomorphism.

The second equation above is, similarly a Hochschild 2-coclye d H o c h ⋅ δ p = 0 , but this time with respect to the multiplicative associative operation, when viewing Z_{q} as an Z_{q}-module via the “natural” Frobenius action L x ( y ) = x n y . Now rewrite a p-derivation using our notation, as a Kahler differential 1-form ω ( x ) = δ ( x ) d h , in the formal series deformation parameter h:

ω = [ ϕ p ( x ) − F r o b ( x ) ] d h / h .

Then it is a Cauchy kernel, i.e. the product of an “entire function” times the generator d h / h of the 1-st (Monski-Washnitzer) algebraic de Rham homology group H M W 1 ( X ) (see [

The proper reinterpretation of the above formulas in terms of the Teichmüller character and Frobenius lift will be discussed separately [

Nevertheless the deformation theory approach sketched above allows for a better understanding of the p-adic periods, in view of a comparison of the MW-cohomology with Hochschild cohomology [

The p-adic analogues of Euler’s Gamma function, called the Morita Gamma function Γ p , and the p-adic analog of the Beta function B p , are [

Γ p = ( − 1 ) x ∏ 1 < i < x , p | i i , B p ( x ) = Γ p ( a ) Γ p ( b ) / Γ ( a + b )

having the following Hochschild cohomological interpretation B e t a = d H Γ , as in the classical case, over the real numbers.

If an analogue of the p-adic Gauss sum is defined (Equation (4.1) loc. cit. p.362, with f = 1 for simplicity) g p ( x ) = τ ( θ ( x ) ) , as a composition of Teichmüller character τ and the exponential θ ( x ) = exp [ ξ ( x − x q ) ] , where ξ p − 1 = − 1 , then a similar cohomological interpretation of a 2-cocycle holds: B p = d Γ p (p.366).

Before commenting on the role of periods of some special values of these functions, we further note that a p-adic analog of the Jacobi sum, naturally deformed via the Teichmüller character (compare with Equation (7.2) [

J ( c , c ′ ) = ( c ∗ c ′ ) ( 1 ) , c = τ α , c ′ = τ β ,

is again, in a consistent way, an exact 2-coboundary J p = d H o c h g p ^{5}.

The author’s interpretation in the context of Monsky-Weishnizter cohomology, an algebraic de Rham adaptation to the p-adic case, may be understood in the context of period isomorphisms, next.

The de Rham period isomorphism for algebraic varieties over complex numbers have various analogues to p-adics, as developed by Tate, Faltings and more recently Fontaine [

∫ γ η ( r / m , s / m ) ∈ B ( r / m , s / m ) ⋅ Q ( ζ m ) ,

γ ∈ H 1 ( F m ( C ) , Q ) , η ( r / m , s / m ) = d x r / y m − s ∈ H d R ( F m ( C ) , Q ) ,

where s , t ∈ Z / m Z , and s + t = 1 to suggest the underlying convolution, as in a Jocobi sum or Euler beta function, with cohomological significance.

The p-adic analog for formula for the p-adic periods allows to infer that the image of the p-adic comparison cohomology pairing has a smaller image that the “big” Fontaine B-rings (loc. cit. p.3):

H 1 ( F m ( C ) , Q ) × H d R 1 ( F m , Q ) → B d R .

It is interesting to ponder on a possible interpretation of the p-adic periods derived from the action of the Frobenius lift on cohomology, conform to Lefschetz Fixed Point Theorem [

# X ¯ ( F q ) = q n − 1 ∑ 0 n − 1 ( − 1 ) T r ( ( ϕ * ) − 1 | H i | M W ( A ¯ ) ) ,

yielding a possible connection between its eigenvalues, the “Weil zeros” satisfying the p-adic analog of Riemann Hypothesis, and p-adic periods.

The formal analogy with the Jacobi sum may be further strengthen by considering the above p-adic Jacoby sum J p = d H o c h g p , a 2-characters convolution value.

The Veneziano’s “educated guess” for a Regge trajectory compatible scattering amplitude [

A ( 4-points ) = B ( a , b ) = ( d H o c h Γ ) ( a , b ) = ∫ 0 ≤ t ≤ 1 t a ( 1 − t ) b d t ,

and hence a period. This can be related to Multiple Zeta Values, explaining in an indirect way the “coincidence” with the Feynman amplitudes, as linear combinations of MZVs [

It suggests that perhaps an analogous moduli space for p-adic curves exists (beyond the scope of this article), or at least a direct connection with the Multiple Zeta Values [

As an overarching theme, quantization was always thought of as a sort of “deformation” of Newtonian physics in the “direction” of Planck’s constant, not to mention the other deformation, of Galilean Relativity in the direction of 1/c, the inverse of the speed of light.

That Deformation Theory is a natural generalization of Lie Theory from the framework of Lie algebras/Lie groups to quite general algebraic structure [

The interplay between algebraic and analytic, pertaining to field extensions F_{q} and h-adic completions Z_{q}, with their fields of fractions Q_{q}^{6}, can be pictured as a 2-dimensional 1^{st} octant grid of deformations of “vector bundles”:

Then the similarity between “real/complex (topologically completing the rationals at the place/prime p = ∞ ) vs. p-adic mathematics is obvious:

and the “Hamletian” question “To use graded or non-graded structures?” has an obvious answer, since graded structures often come with benefits, e.g. the antipode of a graded bialgebra.

The advantage of the p-adics side, of being graded mathematics, is that numbers can be treated as functions: the historical connection with the integers may be broken, and p-adic “numbers” are just h-adic Laurent series, so that the corresponding fields Q_{q} may be treated both analytically and as number fields. The fact that they are not algebraically complete is not an issue, since extensions should be rather viewed as objects of a category, rather than as a big huge one-object of study.

On the concrete side, the deformation theory point of view allows to proficiently make use of Hochschild cohomology, as the one that controls deformations. The various p-adic analogues of special functions, starting with the Gamma Function G, which in fact perhaps should be thought of as the Melin transform of the exponential, in the context of Fourier Duality^{7}, and the derived 2-cocycle, the Euler Beta function, have p-adic analogues, which seem to have deeper significance in this context.

The periods from Quantum Physics, via Feynman Integrals, MZV, have p-adic analogues if we take Veneziano Amplitude as a model, and recall that it is an iterated integral on an algebraic variety with a divisor (Riemann sphere with marked points). Therefore the “translation” of the theory of periods in p-adic realm is perhaps easier, avoiding the big B-period rings of Fontaine, of course, by non-experts.

Returning to the underlying theme, that “Deformation Theory is the study of infinitesimal conditions associated to varying a solution P of a problem ...” [

Also, since deformations are classified by some cohomology groups, and in particular algebraic deformations like the p-adic numbers and their endomorphisms, are characterized by Hochschild 2-cocycles with two deformations isomorphic if cohomologous [

On a final note, understanding the adeles, i.e. how the p-adics deformations glue altogether, on the other hand, is a different story, yet Deformation Theory related, since it is perhaps about the duality of the algebraic quantum group of rationals [

I would like to express my gratitude for the excellent research conditions at l’Institut des Hautes Etudes Scientifiques, and for the help from Illinois State University Department of Mathematics, especially Prof. Gail Yamskulna, which made this trip possible.

The discussions with Prof. Kontsevich had a most needed guiding role, clarifying many questions of the present author, and providing extensive additional material, which only partially was used in this article; the “straying away” from the shown path is entirely due to author’s childish attempts to explore on his own this new marvelous territory were Mathematics and Physics become one.

The encouragements from Prof. Yuri Manin, and the references provided (and some yet to be followed), confirming that, yes, “numbers are functions”, played an important role in pursuing this line of thought.

Finally, the author also needs to thank some old friends, particularly Prof. Yan Soibelman for the lessons on Deformation Theory, and of course, Professors Louis Crane and David Yetter for TQFTs and all that jazz, knotted and braided.

Ionescu, L.M. (2018) A Study of the p-Adic Frobenius Lifts and p-Adic Periods, from a Deformation Theory Viewpoint. Advances in Pure Mathematics, 8, 408-418. https://doi.org/10.4236/apm.2018.84023