L SERIES AND HURWITZ ZETA FUNCTIONS ASSOCIATED WITH THE UNIVERSAL FORMAL GROUP

Transcription

1 L SERIES AND HURWITZ ZETA FUNCTIONS ASSOCIATED WITH THE UNIVERSAL FORMAL GROUP PIERGIULIO TEMPESTA Abstract. The properties of the universal Bernoulli polynomials are illustrated and a new class of related L functions is constructed. A generalization of the Riemann Hurwitz zeta function is also proposed. Contents. Introduction 2. Universal Bernoulli polynomials and numbers First algebraic properties Periodic structures Congruences 5 3. Umbral calculus and formal groups 5 4. Dirichlet series and formal groups 6 5. Generalized Hurwitz zeta functions 8 References. Introduction The aim of this article is to establish a connection between the theory of formal groups from one side and a class of generalized Bernoulli polynomials and Dirichlet series from the other side. Some of the results of this paper were announced in the communication [26]. We will prove that the correspondence between the Bernoulli polynomials and the Riemann zeta function can be extended to a larger class of polynomials, by introducing the universal Bernoulli polynomials and the associated Dirichlet series. Also, in the same spirit, generalized Hurwitz zeta functions are defined. Let R be a commutative ring with identity, and R {x, x 2,..} be the ring of formal power series in x, x 2,... with coefficients in R. We recall that a commutative one dimensional formal group over R is a formal power series Φ x, y) R {x, y} such that ) Φ x, ) = Φ, x) = x 2) Φ Φ x, y), z) = Φ x, Φ y, z)).

2 2 PIERGIULIO TEMPESTA When Φ x, y) = Φ y, x), the formal group is said to be commutative. The existence of an inverse formal series ϕ x) R {x} such that Φ x, ϕ x)) = follows from the previous definition. As is well nown, formal groups are relevant in many branches of mathematics, especially in the theory of elliptic curves [25], in algebraic topology [5], [2], in analytic number theory [5] and in combinatorics [3]. Bernoulli polynomials are useful in many contexts, as in the theory of distributions in p adic analysis, in the theory of modular forms, in the study of polynomial expansions of analytic functions, in interpolation theory, etc. Consequently, they have been generalized in many ways. Leopold and Iwasawa proposed a generalization, motivated by the theory of p adic L functions [8]. Several new applications in mathematical physics, in connection with the theory of the Korteweg de Vries equation [3] and in the study of vertex algebras [], also appeared recently. The Bernoulli numbers are relevant in number theory, e.g. to compute rational values of the Riemann zeta function [8], in the theory of cyclotomic fields and, since Kummer s wor, in connection with Fermat s last Theorem [7]. Standard applications in algebraic topology are found in the computation of Todd characteristic classes and in the Hirzebruch signature theorem. In the last years the theory of Bernoulli number identities has been connected with Quantum Field Theory [2] and has been useful in the computation of Gromov Witten invariants [4]. In this paper, we will study a generalization of the Bernoulli polynomials, that we call the Universal Bernoulli polynomials see Def.). They are indeed related to the Lazard universal formal group. The corresponding numbers by construction coincide with the universal Bernoulli numbers, introduced in [9]. They turn out to have an important role in complex cobordism theory see e.g. [3], and [23]), where the coefficients c n are identified with the cobordism classes of CP n. They also obey generalizations of the celebrated Kummer and Clausen von Staudt congruences []. In [9], they have been used to generate classes of hyperfunctions via suitable generalizations of the Lipschitz summation formula. As noticed in [5], all fundamental facts of the theory of unitary cobordisms, both modern and classical, can be expressed by means of Lazard s formal group. This observation motivates the present construction, which associates polynomial structures of Appell type, i.e. the universal Bernoulli polynomials to the Lazard formal group. The main result of this wor is the following: a new class of L functions will be attached to the universal Bernoulli numbers, exactly in the same was as the Riemann zeta function is connected to the standard ones. A family of Riemann Hurwitz series is also defined, in such a way that it corresponds to the generalized Bernoulli polynomials we propose is the same as the Hurwitz zeta function is related to the Bernoulli polynomials. We also clarify the relation between the formal group structure used in this paper and the finite operator calculus, as has been formulated by G. C. Rota [24].

3 FORMAL GROUPS AND ZETA FUNCTIONS 3 The future research plans include the study of higher order polynomial structures case a ) and p adic extensions of the theory of L- series and Hurwitz zeta functions analyzed in this paper. Also, the case of multidimensional polynomials will be considered. 2. Universal Bernoulli polynomials and numbers 2.. First algebraic properties. We recall the definition of universal Bernoulli polynomials, introduced in [26]. Definition. Let us consider the formal group logarithm, over the polynomial ring Q[c, c 2,...] s 2 ) F s) = s + c 2 + c s Let G t) be the associated formal group exponential: 2) G t) = t c t c 2 2c 2 ) t so that F G t)) = t. The universal higher order Bernoulli polynomials B,a G x, c,..., c n ) B,a G x) are defined by 3) ) t a e xt = B,a G G t) t x), x, a R.! When a =, c i = ) i, then F s) = log + s), G t) = e t, and the universal Bernoulli polynomials and numbers reduce to the standard ones. For sae of simplicity, we will put B, G x) BG x) and BG ) BG. The numbers B, G ) Q [c, c 2,...] coincide with Clare s universal Bernoulli numbers [9]. The power series Φ s, s 2 ) = G F s ) + F s 2 )) defines the Lazard universal formal group [5]. It is defined over the Lazard ring L, i.e. the subring of Q [c, c 2,...] generated by the coefficients of the power series G F s ) + F s 2 )). In cobordism theory, the coefficients c n are identified with the cobordism classes of CP n The universal Bernoulli polynomials 3) possess many remarable properties. By construction, for any choice of the sequence {c n } n N they represent a class of Appell polynomials. In the paper [26]), several examples of Bernoulli type polynomials of first and second ind, as well as related Euler polynomial sequences are studied. We easily deduce the following results. The Appell property is expressed by the identity: n ) 4) Bn,a G n x + y) = B,a G x) yn. In particular, for x = we obtain an useful characterization of B G n,a x).

4 4 PIERGIULIO TEMPESTA Lemma. The higher order universal Bernoulli polynomials are expressed in terms of the higher order universal Bernoulli numbers by the relation 5) B G n,a x) = n n From relation 4), we get n 6) Bn,a+b G n x + y) = and for a + b) = 7) x + y) n = n n ) B G,a ) xn. ) B G,a x) BG n,b y). ) B G,a x) BG n, a y). In [27], it is shown that interesting realizations of the class of polynomials 3) can also be constructed using the finite operator theory, introduced by G. C. Rota [24]. Indeed, the formal exponential G t) is chosen to be the representative of a difference delta operator, as will be explained in Section Periodic structures. In several applications, it is useful to consider periodic polynomial structures. Here we consider a periodic version of our polynomials. Definition 2. The periodic higher order) generalized Bernoulli polynomials related to the formal group G are defined by 8) B G n,a x) = B G n,a x [x]), where [x] is the integer part of x. Clearly, these polynomials coincide with those in Definition. in the fundamental domain [, [. It is easy to observe that the functions B G,a x) admit discontinuities at the integral values of x. Using the Appell property we immediately obtain, for n 2, B G n,a) x) = n n )... n + ) B G n,a x). The derivative of order n has a jump for every integral value of x. Finally, by deriving again we get d n dx n BG n,a x) = n! ) δ x ), Z where δ denotes the Dirac delta distribution. In [9] [2], these periodic structures have been connected with the theory of hyperfunctions in one variable. Indeed, the coefficients of the Fourier expansion of these polynomials can be used to define generalized polylogarithms and Lipschitz type summation formulae.

5 FORMAL GROUPS AND ZETA FUNCTIONS Congruences. The values Bn, G ) := B n correspond to the well nown universal Bernoulli numbers. Here we mention only two of their most relevant properties. i) The universal Von Staudt s congruence [9]. If n is even, 9) Bn p n pprime If n is odd and greater than, c n/p ) p p ) Bn cn + cn 3 c 3 2 mod Z [c, c 2,...] ; mod Z [c, c 2,...]. When c n = ) n, the celebrated Clausen Von Staudt congruence for Bernoulli numbers is obtained. ii) The universal Kummer congruences []. The numerators of the classical Bernoulli numbers play a special rôle, due to the Kummer congruences and to the notion of regular prime numbers, introduced in connection with the Last Fermat Theorem see, for instance, [7]). The relevance of Kummer s congruences in algebraic geometry has been enlightened in [4]. More general versions of these congruences for the classical Bernoulli numbers are nown in the literature [28]. As shown by Adelberg, the numbers B n satisfy an universal congruence. Suppose that n, mod p ). Then ) B n+p n + p B n n c p mod pz p [c, c 2,...]. Many other congruences concerning the universal Bernoulli polynomials and numbers can be constructed. They will be discussed in a future publication. 3. Umbral calculus and formal groups There is a close connection between formal group exponentials and the finite operator theory. We recall some basic definitions. Definition 3. The shift operator, denoted by T, is the operator whose action on a function is T f x) = f x + σ), with σ R. An operator S commuting with T is said to be shift invariant. Definition 4. A delta operator Q is a shift invariant operator such that Qx = const. As has been proved in [24], there is an isomorphism between the ring of formal power series in a variable t and the ring of shift invariant operators,

6 6 PIERGIULIO TEMPESTA carrying 2) f t) = a t! a Q.! Every delta operator has a unique sequence of associated basic polynomials. Any shift invariant operator S can also be expanded into a formal power series in terms of a delta operator Q: By using the isomorphism 2), a formal power series s t) is defined, which is called the indicator of S. The main point of the correspondence between the two theories is that a shift invariant operator is a delta operator if and only if it corresponds, under the isomorphism 2), to a formal power series g t) such that g ) = and g ). This series admits a unique compositional inverse. In this paper we are interested in realizations of delta operators in terms of finite difference operators. Therefore G t) is chosen to be a Laurent polynomial in e t that we choose to have rational coefficients), m Gt) = a e t, =l obeying two more constraints: l, m Z, l < m 3) m a =, =l q+r a =. =l 4. Dirichlet series and formal groups In this section, we will associate new L series with the polynomials 3). The Riemann zeta function is the most elementary example of the construction we propose. Let Γ s) = e t t s dt be the Γ Euler function. As is well nown, if Re s >, ζ s) = Γs) e t ts dt. More generally, by imposing a suitable analytic constraint on the class of formal groups, we can attach to them an L function. Precisely the following result holds. Theorem. Let Gt) be a formal group exponential of the form 2), such that /Gt) is a C function over R +, rapidly decreasing at infinity. i) The function 4) L G, s) = Γ s) G t) ts dt, defined for Re s > admits an holomorphic continuation to the whole C and, for every n N, we have 5) L G, n) = ) n BG n+ n + Q[c, c 2,...].

7 FORMAL GROUPS AND ZETA FUNCTIONS 7 ii) Assume that Gt) is also of the form 3). For Re s > the function L G, s) has a representation in terms of a Dirichlet series a n 6) L G = n s, where the coefficients a n Q[c, c 2,...] are obtained as the coefficients of the formal expansion 7) G t) = a n e nt. Assuming that Gt) e t, the series for L G is absolutely and uniformly convergent for Re s >, and 8) a n n s n Res. Remar. The condition 3) is not necessary for the existence of the series 6), but it is relevant for the actual computation of the numbers a n. Proof. The point i) is in fact an adaptation of a standard result. For sae of clarity, here we setch a proof, closely following an argument of P. Colmez, in [7], Chapter II. Let g t) = Gt) be a C function over R +, rapidly decreasing at infinity, and γ t) be a C function over R +, taing the value on [,] and on [2,+ [. It follows that g t) = γg + γ) g and L g, s) = L γg, s) + L γ) g, s). The integral + g t) t s dt t defines a holomorphic function on C, since γ) g vanishes in a neighborhood of and rapidly decreases at infinity. We can always assume that g has compact support, up to the replacement g γ) g since L γ) g, n) = n N. An integration by parts show that the functional relation LG, s) = LG, s + ) holds for Re s >, allowing a holomorphic continuation of g. Now, we also have ) L g, n) = ) n+ L g n+), = ) n+ g n) ). ii) Observe that a n n s = Γ s) G t) ts dt Γ s) Γ s) e t ts dt G t) ts dt

8 8 PIERGIULIO TEMPESTA = Γ s) n s n Res. Q. E. D. A simple consequence of the previous theorem is that the coefficients of the series L G satisfy the condition a n = O n c ) for some c >. Remar 2 A construction of Dirichlet series based on formal group laws is nown in the literature [5]. In [6]), zeta functions of group varieties are related to formal group laws. One of the advantages of the construction proposed here is that the associated L functions are related to the universal Bernoulli numbers, whose algebraic and combinatorial properties are particularly rich. 5. Generalized Hurwitz zeta functions The previous ideas can be used to generalize the Hurwitz zeta function and its connection with the classical Bernoulli polynomials. The Hurwitz zeta function is defined by the series 9) ζ s, a) = n + a) s, n= for a >. As is well nown, this series converges absolutely for Re s > and it extends to a meromorphic function in C represented as a Mellin transform ζ s, a) = e ax Γ s) e x xs dx = e x a) Γ s) e x xs dx with the obvious properties and ζ s) = ζ s, ) ζ s, a + ) = ζ s, a) a s. The Hurwitz zeta function taes the special values 2) ζ, a) = B + a) +, where B x) are the classical Bernoulli polynomials. It seems natural to propose the following generalization of ζ s, a). Definition 5. Let Gt) be a formal group exponential, such that /Gt) is a C function over R +, rapidly decreasing at infinity. The generalized Hurwitz zeta function associated with G is the function ζ G G, s, a), defined for Re s > by 2) ζ G s, a) = Γ s) e x a) G x) xs dx.

9 FORMAL GROUPS AND ZETA FUNCTIONS 9 Assuming that Gt) has the form 3), we can easily give to ζ G s, a) a series representation. Indeed ζ G s, a) = a n e nx e x a) x s dx= Γ s) Γ s) n= a n e nx e x a) x s dx = n= Corollary. The following property holds: 22) ζ G, a) = BG + a) +, n= a n n + a) s. where B G x) is the -th Bernoulli type polynomial associated to the considered formal group. Introduce the notation a n L G, a) = n + a) s. n= Again, if we restrict to the case 3), and assuming Gt) e t, the series L G, a) is absolutely convergent for Re s >, and a n 23) n + a) s n + a) Res. Observe that and ζ G s, x + y) = a ζg s, a) = sζ G s +, a) y! x ζg s, x) = s + s Let us consider the Dirichlet L series of the form θ n) a n 24) L G, θ, s) = n s, where {θ n)} is a sequence of numbers, periodic of period f : θ n + f) = θ n), n Z. ) y ) ζ G s +, x) The structures 24) can be easily related to the generalized Hurwitz function: θ n) a n f n s = θ + mf) + mf) s a +mf = f θ ) = = m= + mf) s a +mf = m= f θ ) f s = m= a +mf m + f ) s,

10 PIERGIULIO TEMPESTA so that we infer 25) L G, θ, s) = f s f Consequently, we get = 26) L G, θ, m) = f m m + θ ) ζ G G, s, ). f f θ ) Bm+ G = ) a. f More relevant is the case when we deal with Dirichlet characters. have the following definition. Definition 6. Let χ be a nontrivial Dirichlet character of conductor f. The universal Bernoulli χ numbers Bn,χ G associated with the formal group G are defined by f ) a 27) Bn,χ G := f n χ a) Bn G m. f a= Taing into account the summation formula for the universal Bernoulli polynomials, i. e. n ) Bn G n x) = B n G x, valid since they represent an Appell sequence for any choice of G, we obtain another equivalent representation for the numbers Bn,χ: G N n ) 28) Bn,χ G n = χ a) B G an N. a= The connection between our generalized Hurwitz functions and the corresponding zeta functions is straightforward: 29) L G, χ, s) = s χ n) ζ G s, n ). Acnowledgments I am grateful to professors B. Dubrovin, S. Marmi, D. Zagier and U. Zannier for many useful discussions. References [] A. Adelberg, Universal higher order Bernoulli numbers and Kummer and related congruences, J. Number Theory 84, ). [2] G. Almvist and A. Meurman, Values of Bernoulli polynomials and Hurwitz s zeta function at rational points, C. R. Math. Rep. Acad. Sci. Canada 3, ). [3] A. Baer, Combinatorial and arithmetic identities based on formal group laws, Lect. Notes in Math. 298, 7 34, Springer 987). [4] A. Baer, F. Clare, N. Ray, L. Schwartz, On the Kummer congruences and the stable homotopy of BU, Trans. Amer. Math. Soc. 36, ). We

11 FORMAL GROUPS AND ZETA FUNCTIONS [5] V. M. Buhshtaber, A. S. Mishcheno and S. P. Noviov, Formal groups and their role in the apparatus of algebraic topology, Uspehi Mat. Nau 26 97), 2, 6 54 [6] K. Bartz and J. Rutowsi, On the von Staudt Clausen Theorem, C. R. Math. Rep. Acad. Sci. Canada, XV, ). [7] N. Berline and C. Sabbah ets.), La fonction zêta, Éditions de l École polytechnique 23). [8] D. Cvijovic, J. Klinowsi, New formulae for the Bernoulli and Euler polynomials at rational arguments, Proc. A. M. S., 23, ). [9] F. Clare, The universal Von Staudt theorems, Trans. Amer. Math. Soc. 35, ). [] L. E. Dicson, History of the Theory of Numbers, Chelsea Publishing Company, 97. [] B. Doyon, J. Lepowsy, A. Milas, Twisted vertex operators and Bernoulli polynomials, arxiv: math. QA/35 23). [2] G. V. Dunne, C. Schubert, Bernoulli Number Identities from Quantum Field Theory, arxiv: math. NT/466 24). [3] D. B. Fairlie and A. P. Veselov, Faulhaber and Bernoulli polynomials and solitons, Physica D 52 53, ). [4] C. Faber and R. Pandharipande, Hodge integrals and Gromov Witten theory, Invent. Math. 39, ). [5] M. Hazewinel, Formal Groups and Applications, Academic Press, New Yor, 978. [6] T. Honda, Formal Groups and Zeta functions, Osaa J. Math. 5, 968) [7] K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Springer Verlag, 982. [8] K. Iwasawa, Lectures on p adic L Functions, Princeton University Press, Princeton, 972. [9] S. Marmi, P. Tempesta, Polylogarithms, hyperfunctions and generalized Lipschitz summation formulae, Preprint Scuola Normale Superiore, centro di ricerca matematica Ennio De Giorgi 27. [2] S. Marmi, P. Tempesta, On the relation between formal groups, Appell polynomials and hyperfunctions, 32 39, Symmetry and Perturbation Theory, G. Gaeta, R. Vitolo, S. Walcher eds.), World Scientific, 27. [2] S. P. Noviov, The methods of algebraic topology from the point of view of cobordism theory, Izv. Aad. Nau SSSR Ser. Mat ), , transl. Math. SSR Izv. 967), [22] A. Ogg, Modular Forms and Dirichlet Series, Mathematics Lecture Note Series, W. A. Benjamin, Inc., 969. [23] N. Ray, Stirling and Bernoulli numbers for complex oriented homology theory, in Algebraic Topology, Lecture Notes in Math. 37, pp , G. Carlsson, R. L. Cohen, H. R. Miller and D. C. Ravenel Eds.), Springer Verlag, 986. [24] G. C. Rota, Finite Operator Calculus, Academic Press, New Yor, 975. [25] J P. Serre, Courbes elliptiques et groupes formels, Annuaire du Collège de France 966), Oeuvres, vol. II, 7, ). [26] P. Tempesta, Formal Groups, Bernoulli type polynomials and L series, C. R. Acad. Sci. Paris, Ser I, ) [27] P. Tempesta, On new Appell sequences of polynomials of Bernoulli and Euler type, J. Math. Anal. Appl., 34 28) [28] P. T. Young, Congruence for Bernoulli, Euler and Stirling Numbers, J. Number Theory 78, ). Departamento de Fisica Teorica II, Universidad Complutense, Ciudad Universitaria, 284, Madrid, Spain address: p.tempesta@fis.ucm.es