A Study of the p-Adic Frobenius Lifts and p-Adic Periods , from a Deformation Theory Viewpoint

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.


Introduction
Algebraic integrals called periods [1] [2] [3] 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 [5] [6] [7].
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 [8].In this way "numbers are functions", as recognized before [9], allowing to view initial structure deformation problems as arithmetic differential equations as in [10], and providing a cohomological interpretation to Buium calculus via Hochschild cohomology which controls deformations of algebraic structures.
A p-adic version for periods has been defined, in quite abstract terms, in connection with Tate-Hodge Conjecture and later on, Fontaine Conjectures [11], but a more "down-to-earth" lucrative approach is yet to be found, in order to 1 See [4] for additional aspects regarding periods.support the "movement" of physics towards an "Ultimate Physics Theory" in terms of Number Theory, as for example the developments of a p-adic String Theory [12] [13], and one which "sounds" more familiar to the physicist, who expects the keyword "quantization" somewhere down the path (and "deformation" can be snicked quite nicely before that!).
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 brainstorm- ing 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 , , n q Q q p n N = ∈ , are enough, even though they are not algebraically closed (the closure p C is much bigger: see [14]).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 [15].
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 De-Advances in Pure Mathematics formation Theory standpoint.

p-Adic Numbers as Functions
The traditional Cauchy completion approach to p-adic numbers p Q hides their alternative algebraic presentation as a Z-module of formal series with coefficients in ( ) We will focus on the "integral elements", since the filed extensions occur as corresponding fraction fields 3 .
Note also that the field structure ( ) comes for free as "repeated addition", and that it corresponds to the group of automorphisms as an abelian group ("discrete space of arrows-vectors").

p-Adic Deformations of Finite Fields
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 [16].Note also that the p-adic completion in the direction of the carry-over 2-cocyle where p mod 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 [17].
To be more specific, we "zoom in" on the infinitesimal deformation for now, i.e. let us consider the infinitesimal deformation of Z pZ , or equivalently its central extension with 2-cocycle p c [18]: 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: where we have dropped the subscript from p + .

The Canonical Frobenius Lift
Having deformed the abelian group ( ) , Z pZ + , apply a general principle, that an object is determined by its symmetries.Indeed, the Frobenius automorophisms generates the Galois extension :   (with n q p = ), will have automorphisms generated by the cor- responding deformation [15].
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 i p a F ∈ with deformations which behave better with respect to the addition (and multiplication), and are suited as coefficients for the so called Witt vectors [19], p.14: ( ) 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.

Relations with Buium Calculus
As mentioned above, p-adic numbers are analogues of Laurent series, as noticed initially by Hensel, and more recently by Manin [9], idea developed recently into a full-blown calculus by Buium [8].

Relation with Deformation Theory
With our notation, p h  and + *  , the cohomological interpretation of the 1 st equation above is * but this time with respect to the multiplicative associative operation, when viewing Z q as an Z q -module via the "natural" Frobenius action Now rewrite a p-derivation using our notation, as a Kahler differential 1-form ( ) ( ) , in the formal series deformation parameter h: ( ) ( ) Then it is a Cauchy kernel, i.e. the product of an "entire function" times the generator dh h of the 1-st (Monski-Washnitzer) algebraic de Rham homology group ( ) [21], Ex. 3.1.9,p.28).
The proper reinterpretation of the above formulas in terms of the Teichmüller character and Frobenius lift will be discussed separately [22].

Applications to Periods
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 [23], and corresponding period isomorphism [21] [24].

p-Adic Euler Functions Analogues
The p-adic analogues of Euler's Gamma function, called the Morita Gamma function p Γ , and the p-adic analog of the Beta function p B , are [25]: 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) [25], p.365, except for the chosen negative sign): is again, in a consistent way, an exact 2-coboundary p Hoch p 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.

Relation to Period Isomorphisms
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 [11], who introduced the so call big B-rings of periods [26].The deformation theory viewpoint adopted above suggests a possible comparison isomorphim can be formulated in terms of Hochschild cohomology, instead of, and corresponding to the etale cohomology comparison isomorphism as usual.
A starting point, only, would be a cohomological interpretation of Rohrlich formula for the periods of Fermat curves : 1 as a product of a Hochschild 2-coboundary and a cyclotomic number [27], §2, where , s t Z mZ ∈ , and 1 s t + = 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.
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 [21], p.28: ∑ yielding a possible connection between its eigenvalues, the "Weil zeros" satisfying the p-adic analog of Riemann Hypothesis, and p-adic periods.

Relation to Veneziano Amplitude
The formal analogy with the Jacobi sum may be further strengthen by consider-  ∫ 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 [31], "closing", in a way, this circle of ideas.
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 [32], and opening a research direction for explaining the "unreasonable" effectiveness of the new methods for computing scattering amplitudes, starting with the BCFW-recursion method [33], towards the general, yet elusive as for now, amplituhedron concept [5] [22] [34].

Conclusions and Further Developments
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 [35], including the modern mathematics of Quantum Groups, and should be enough incentive for "prefering" to advertise p-adic "analysis" as p-adic deformation theory.
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 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 Γ, 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 ..." [36], explains in a way why the perturbative approach via Feynman diagrams and integrals should yield periods, and that moduli spaces are, again in some sense, period domains parameterizing deformations controlled by cohomologies.This justifies why periods coming in families usually satisfy differential equations even in the arithmetic setup, as for example the one studied in [10] 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 [23], p.10, Frobenius lifts as deformations of the cor- The "paradigm" here is pairing additive and multiplicative characters, i.e. harmonic analysis of symmetries.

,
It is immediate that any such p-derivation allows to define a ring endomorwhich is a lift of Frobenius ( ) p p x x mod p φ = (loc.cit. , 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, p C is itself essentially an exact 2-cocycle (shifted in degree zero): case, over the real numbers.If an analogue of the p-adic Gauss sum is defined (Equation (4.1) loc.cit.− , then a similar cohomological interpretation of a 2-cocycle holds: p p B d = Γ (p.366).

4 [ 30 ]
ing the above p-adic Jacoby sum p Hoch p J d g = , a 2-characters convolution val-Advances in Pure Mathematics ue.The Veneziano's "educated guess" for a Regge trajectory compatible scattering amplitude[28] [29], which in some sense "started" the String Theory movement, is an iterated integral on moduli spaces of punctured Riemann spheres 0,, Equation (1.1), p.1,, with 1 n = : obey the same relations 1 Then the canonical lift of Frobenius φ "commutes" with the Teichmüller character: