arxiv: v2 [math.nt] 1 May 2015

Transcription

1 TWISTING ORMULA O EPSILON ACTORS SAZZAD ALI BISWAS Abstract. or characters of a nonarchimedean local field we have explicit formula for epsilon factor. But in general we do not have any generalized twisting formula of epsilon factors. In this paper we give a twisting formula of epsilon factors via local Jacobi sums. arxiv: v [math.nt] 1 May Introduction Let be a non-achimedean local field and χ be a character of. Let ψ be an additive character of. By Langlands we can associate a local constant (or local epsilon factor with each character of local field. This epsilon factor appears in the functional equation of Tate (cf. [7]. Tate [6] gives an explicit formula for ɛ(χ, ψ. But in general we do not have any explicit formula of epsilon factor of a character twisted by a character. Let χ 1 and χ be two characters of. If any one of these character is unramified, then we have a formula for ɛ(χ 1 χ, ψ due to Tate. Also if conductor, a(χ 1 a(χ, then by Deligne (cf. [8] we have a formula for ɛ(χ 1 χ, ψ. In this article we give general twisting formula for ɛ(χ 1 χ, ψ, when both χ 1 and χ are ramified. Let U be the group of units in O (ring of integers of and π be a uniformizer of. Let χ be a character of with conductor a(χ. Let ψ be additive character of with conductor n(ψ. Then the epsilon factor of character χ is (cf. equation (3.13: (1.1 ɛ(χ, ψ = χ(cq a(χ (xψ(x/c, where c = π a(χ+n(ψ, and q is the cardinality of the residue field. or characters χ 1, χ of and a positive integer n, we define the local Jacobi sum: (1. J t (χ 1, χ, n = 1 (x (t x. U n t x U In Theorem 4.5, we give the twisting formula of epsilon factor via local Jacobi sums. In our twisting formula conductors play important role and the formula is: q n ɛ(χ 1,ψɛ(χ,ψ J 1 (χ 1,χ when n = m = r,,n q ɛ(χ 1 χ, ψ = r χ 1 χ (π r n ɛ(χ 1,ψɛ(χ,ψ (1.3 J 1 (χ 1,χ when n = m > r,,n q n m ɛ(χ 1,ψɛ(χ,ψ J 1 (χ 1,χ when n = r > m,,n where n = a(χ 1, m = a(χ and r = a(χ 1 χ. 010 Mathematics Subject Classification. 11S37; E50. Key words and phrases. Local field, Gauss sum, Jacobi sum, Epsilon factor, Conductor. The author is partially supported by IMU-Berlin Einstein oundation, Berlin, Germany and CSIR, India. 1

2 BISWAS. Notations Let be a non-archimedean local field, i.e., a finite extension of the field Q p (field of p-adic numbers, where p is a prime. Let O be the ring of integers in local field and P = π O is the unique prime ideal in O and π is a uniformizer, i.e., an element in P whose valuation is one i.e., ν (π = 1. The cardinality of the residue field of is q, i.e., O /P = q. Let U = O P be the group of units in O. Let P i = {x : ν (x i} and for i 0 define U i = 1 + P i (with proviso U 0 = U = O. Definition.1 (Canonical additive character. We define the non trivial additive character of, ψ : C as the composition of the following four maps: where Tr /Qp Q α β γ p Q p /Z p Q/Z C, (1 Tr /Qp is the trace from to Q p, ( α is the canonical surjection map, (3 β is the canonical injection which maps Q p /Z p onto the p-component of the divisible group Q/Z and (4 γ is the exponential map x e πix, where i = 1. or every x Q p, there is a rational r, uniquely determined modulo 1, such that x r Z p. Then ψ Qp (x = ψ Qp (r = e πir. The nontrivial additive character ψ = ψ Qp Tr /Qp of is called the canonical additive character (cf. [5], p.9. Definition. (Conductor of characters. The conductor of any nontrivial additive character ψ of a field is an integer n(ψ if ψ is trivial on P n(ψ, but nontrivial on P n(ψ 1. We also consider a(χ as the conductor of nontrivial character χ : C, i.e., a(χ is the smallest integer m 0 such that χ is trivial on U m. We say χ is unramified if the conductor of χ is zero and otherwise ramified. We also recall here that for two characters χ 1 and χ of we have a(χ 1 χ max(a(χ 1, a(χ with equality if a(χ 1 a(χ. 3. Epsilon factors Let be a nonarchimedean local field and χ be a character of. The L(χ-functions are defined as follows: (1 χ(π 1 if χ is unramified, L(χ = 1 if χ is ramified. We denote by dx a Haar measure on, by d x a Haar measure on and the relation between these two Haar measure is: d x = dx, x for arbitrary Haar measure dx on. or given additive character ψ of and Haar measure dx on, we have a ourier transform as: (3.1 ˆf(y = f(xψ(xydx.

3 TWISTING ORMULA O EPSILON ACTORS 3 where f L 1 ( + (that is, f is integrable and the Haar measure is normalized such that ˆf(y = f( y, i.e., dx is self-dual with respect to ψ. By Tate (cf. [6], p.13, for any character χ of, there exists a number ɛ(χ, ψ, dx C such that it satisfies the following local functional equation: ˆf(xw1 (xd x f(xχ(xd x (3. = ɛ(χ, ψ, dx. L(w 1 L(χ for any such function f for which the both sides make sense. This number ɛ(χ, ψ, dx is called the local epsilon factor or local constant of χ. or a nontrivial multiplicative character χ of and non-trivial additive character ψ of, we have (cf. [9], p.4 U (3.3 ɛ(χ, ψ, c = χ(c (xψ(x/cdx U (xψ(x/cdx where the Haar measure dx is normalized such that the measure of O is 1 and where c with valuation n(ψ + a(χ. To get modified summation formula of epsilon factor from the integral formula (3.3, we need the next lemma which can be found in [], but here we give different proof. Lemma 3.1. Let χ be a nontrivial character of with conductor a(χ. Let ψ be an additive character of with conductor n(ψ. We define the integration for an integer m Z: (3.4 I(m = x (xψ( dx, where l = a(χ + n(ψ. U Then (3.5 q a(χ when m = 0 I(m = 0 otherwise Proof. We divide this proof into three cases. Case-1 when m = 0. In general we can write I(m = (xψ( U = = q a(χ x (xψ( dx x (xψ( m ( In the above equation m is the normalized Haar measure of so that m (O = 1. Also O = ai q (a i + π U : n = 1,,... Again q = q and each element of this union has measure 1/q, then m (U = 1 1/q = q 1. Since U q = U, this implies m ( = m (U / U. we have U x. = (q 1q a(χ 1, therefore m ( = q a(χ.

4 4 BISWAS Now putting m = 0 we have (3.6 I(0 = q a(χ Therefore we have (3.7 I(0 = q a(χ y U (xψ( x, π l χ(yψ( y, π l since χ(x = (x and ψ(x = ψ( x for any x and a(χ = a(χ. We have (3.8 (3.9 I(0I(0 = q a(χ = q a(χ x,y U = q a(χ x,y U = q a(χ (xψ( x χ(yψ( y π l π y U l (xχ(yψ( x y π l (xψ( xy y replacing x by xy π l (xϕ(x. where (3.10 ϕ(x = Since U = ( O P a(χ = O P a(χ ϕ(x = P P a(χ y U = y O P a(χ = y O P a(χ = A B, y U ψ(y x 1. π l, therefore ϕ(x can be written as the difference ψ(y x 1 π l ψ(y x 1 π l ψ(y x 1 π l y P P a(χ y O P a(χ 1 ψ(y x 1 π l ψ(y (x 1π π l

5 where A = y O P a(χ Lemma.1 that ψ(y x 1 π l TWISTING ORMULA O EPSILON ACTORS 5 and B = y O ψ(y (x 1π. It is easy to see (cf. [4], p.8, P a(χ 1 π l y O P a(χ q a(χ ψ(yα = 0 otherwise. when α P n(ψ Therefore A = q a(χ when x and A = 0 otherwise. Similarly B = q a(χ 1 when x 1 and B = 0 otherwise. Therefore we obtain (3.11 ϕ(x = y U ψ(y x 1 = q a(χ q a(χ 1 π l x Ua(χ 1 (x. Moreover, since the conductor of χ is a(χ, then it can be proved that x Ua(χ 1 0. So we have (x = I(0.I(0 = I(0 = q a(χ q a(χ 1 (x = q a(χ. x Ua(χ 1 Hence it proves for m = 0, Case- when m < 0. In this case I(m = (xψ( U = (x( U U r I(m = q a(χ. x U r dx (yψ( xy dydx. Let I (m be the inner integral of the above equation. Then we have I (m = = U r P r = ψ( (yψ( xy (1 + zψ( x P r dy x(1 + z dz (1 + zψ( xz replacing y by 1 + z dz.

6 6 BISWAS Let r = a(χ+m, then the valuation of therefore ψ( xz xz = 1 for all z P a(χ+m I (m = ψ( = ψ( = ψ( = ψ( = 0. x x x x is ν ( xz = a(χ+m a(χ n(ψ m = n(ψ,. This implies the integral P a(χ+m P a(χ+m 0 +m (1 + zψ( xz (1 + zdz (ydy Since (y 1 over +m (m < 0. Therefore in this case we have I(m = U (xdx 0 = 0. Case-3 when m > 0. In this case we can write I(m = x (xψ( dx U = (x( U +m r +m r (yψ( xy where 1 r m. Let I (m be the inner integral of the above equation and we have I (m = (yψ( xy dy = = = ψ( = ψ( = 0, +m r +m r P a(χ+m r x x ψ( xy ψ( 0 dy x(1 + z dz ψ( xz P a(χ+m r dz dydx, since conductor of χ is a(χ dz since ψ( xz 1 for z P a(χ+m r. Therefore I(m = 0. This completes the proof. Hence the formula (3.3 reduces to (3.1 ɛ(χ, ψ = χ(cq a(χ/ (xψ(x/cm (.

7 TWISTING ORMULA O EPSILON ACTORS 7 Therefore the modified formula of epsilon factor of a character χ is: (3.13 ɛ(χ, ψ = χ(cq a(χ/ (xψ(x/c. where c = π a(χ+n(ψ (3.14 ɛ(χ, ψ, cu = χ(cq a(χ. Now if u U is unit and replace c = cu, then we have (x/uψ(x/cu = ɛ(χ, ψ, c. Therefore ɛ(χ, ψ, c depends only on the exponent ν (c = a(χ + n(ψ. Therefore we can simply write ɛ(χ, ψ, c = ɛ(χ, ψ, because c is determined by ν (c = a(χ + n(ψ up to a unit u which has no influence on ɛ(χ, ψ, c. If χ is unramified, i.e., a(χ = 0, therefore ν (c = n(ψ. Then from the formula of ɛ(χ, ψ, c, we can write (3.15 ɛ(χ, ψ, c = χ(c, and therefore ɛ(1, ψ, c = 1 if χ = 1 is the trivial character Some properties of ɛ(χ, ψ. (1 Let b be the uniquely determined element such that ψ = bψ. Then (3.16 ɛ(χ, ψ, c = χ(b ɛ(χ, ψ, c. Proof. Here ψ (x = (bψ(x := ψ(bx for all x. It is an additive character of. The existence and uniqueness of b is clear. rom the definition of conductor of an additive character we have Here c is of valuation n(ψ = n(bψ = n(ψ + ν (b. ν (c = a(χ + n(ψ = a(χ + ν (b + n(ψ = ν (b + ν (c = ν (bc. Therefore c = bcu where u U is some unit. Now ɛ(χ, ψ, c = ɛ(χ, bψ, bcu = ɛ(χ, bψ, bc = χ(bcq a(χ (x((bc 1 (bψ(x = χ(b χ(cq a(χ (xψ(xc 1 = χ(b ɛ(χ, ψ, c. ( Let /Q p be a local field inside Q p. Let χ and ψ be a character of and + respectively, and c with valuation ν (c = a(χ + n(ψ. If σ Gal(Q p /Q p is an automorphism, then:

8 8 BISWAS ɛ (χ, ψ, c = ɛ σ 1 ( (χ σ, ψ σ, σ 1 (c, where χ σ (y := χ(σ(y, ψ σ (y := ψ(σ(y, for all y σ 1 (. Proof. Let L := σ 1 (. Since σ is an automorphism of Q p, then we have O /P = O L /P L, hence q = q L, the cardinality of the residue field of L. We also can see that a(χ σ = a(χ and n(ψ σ = n(ψ. Then from the formula of local constant we have ɛ σ 1 ( (χ σ, ψ σ, σ 1 (c = ɛ L (χ σ, ψ σ, σ 1 (c = χ σ (σ 1 (cq a(χ σ L = χ(cq a(χ = ɛ (χ, ψ, c. y U L U a(χσ L (xψ( x c (χ σ 1 (y ((σ 1 (c 1 ψ σ (y Here we put y = σ 1 (x and use (σ 1 (c 1 ψ σ = (c 1 ψ σ. Remark 3.. We can simply write as before ɛ (χ, ψ = ɛ σ 1 ( (χ σ, ψ σ. Tate in his paper [5] on local constants defines the local root number as: ɛ (χ := ɛ (χ, ψ = ɛ (χ, ψ, d, where ψ is the canonical character of and d with ν (d = a(χ + n(ψ. Therefore after fixing canonical additive character ψ = ψ, we can rewrite ɛ (χ = χ(d(ψ, if χ is unramified, ɛ(χ = ɛ σ 1 ( (χ σ. The last equality follows because the canonical character ψ σ 1 ( canonical character ψ as: ψ σ 1 ( = ψ σ. is related to the (3 If χ is a multiplicative and ψ is a non-trivial additive character of, then ɛ(χ, ψ ɛ(, ψ = χ( 1. urthermore if the character χ : C is unitary (in particular if χ is of finite order, then ɛ(χ, ψ = 1. Proof. We prove these properties by using the modified formula (3.13 of local constant. We know that the additive characters are always unitary, hence ψ( x = ψ(x 1 = ψ(x.

9 TWISTING ORMULA O EPSILON ACTORS 9 On the other hand we write ψ( x = (( 1ψ(x, where 1. Therefore ψ = ( 1ψ. We also have a(χ = a(. Therefore by using equation (3.13 we have ɛ(χ, ψ ɛ(, ψ = χ( 1 q a(χ (xχ(yψ( x y c x,y U = χ( 1 q a(χ x,y U = χ( 1 q a(χ (xψ( xy y, replacing x by xy c (xϕ(x, where (3.17 ϕ(x = y U Therefore from equation (3.11 we have ψ(y x 1. c ɛ(χ, ψ ɛ(, ψ = χ( 1 q a(χ {q a(χ q a(χ 1 (x} = χ( 1 χ( 1 q 1 x Ua(χ 1 (x. x Ua(χ 1 Since the conductor of χ is a(χ, then it can be proved that x Ua(χ 1 Thus we obtain (x = 0. (3.18 ɛ(χ, ψ ɛ(, ψ = χ( 1. The right side of equation (3.18 is a sign, hence we may rewrite (3.18 as ɛ(χ, ψ χ( 1ɛ(, ψ = 1. But we also know from our earlier property that So the identity (3.18 rewrites as χ( 1ɛ(, ψ = ɛ(, ( 1ψ = ɛ(, ψ. Now we assume that χ is unitary, hence ɛ(χ, ψ ɛ(, ψ = 1. ɛ(, ψ = ɛ(χ, ψ = ɛ(χ, ψ where the last equality is obvious from the formula (3.13. Now we see that for unitary χ the identity (3.18 rewrites as ɛ(χ, ψ = 1.

10 10 BISWAS Remark 3.3. rom the functional equation (3., we can directly see the first part of the above property of local constant. Denote (3.19 ζ(f, χ = f(xχ(xd x. Now replacing f by ˆf in equation (3.19, and we get (3.0 ζ( ˆf, χ = ˆf(xχ(xd x = χ( 1 ζ(f, χ, because dx is self-dual with respect to ψ, hence ˆf(x = f( x for all x +. Again the functional equation (3. can be written as follows: (3.1 ζ( ˆf, w 1 = ɛ(χ, ψ, dx L(w 1 L(χ ζ(f, χ. Now we replace f by ˆf, and χ by w 1 in equation (3.1, and we obtain (3. ζ( ˆf, χ = ɛ(w1, ψ, dx L(χ L(w 1 ζ( ˆf, w 1. Then by using equations (3.0, (3.1, from the above equation (3. we obtain: (3.3 ɛ(χ, ψ, dx ɛ(w 1, ψ, dx = χ( 1. Moreover, the convention ɛ(χ, ψ is actually as follows (cf. [6], p. 17, equation (3.6.4: ɛ(χw s 1, ψ = ɛ(χw s, ψ, dx. By using this relation from equation (3.3 we can conclude ɛ(χ, ψ ɛ(, ψ = χ( 1. (4 Known twisting formula of abelian epsilon factors: (a If χ 1 and χ are two unramified characters of and ψ be a non-trivial additive character of, then we have from equation (3.15 (3.4 ɛ(χ 1 χ, ψ = ɛ(χ 1, ψɛ(χ, ψ. (b Let χ 1 be ramified and χ unramified then (cf. [6], ( (3.5 ɛ(χ 1 χ, ψ = χ (π a(χ 1+n(ψ ɛ(χ 1, ψ.

11 TWISTING ORMULA O EPSILON ACTORS 11 Proof. By the given condition a(χ 1 > a(χ = 0. Therefore a(χ 1 χ = a(χ 1. Then we have ɛ(χ 1 χ, ψ = χ 1 χ (cq a(χ 1/ (χ 1 χ 1 (xψ(x/c = χ 1 (cχ (cq a(χ 1/ = χ (cχ 1 (cq a(χ 1/ = χ (cɛ(χ 1, ψ = χ (π a(χ 1+n(ψ ɛ(χ 1, ψ. 1 (x (xψ(x/c 1 (xψ(x/c, since χ unramified (c We also have twisting formula of epsilon factor by Deligne (cf. [8], Lemma 4.16 under some special condition and which is as follows: Let α and β be two multiplicative characters of a local field such that a(α a(β. Let ψ be an additive character of. Let y α,ψ be an element of such that α(1 + x = ψ(y α,ψ x for all x with valuation ν (x a(α (if a(α = 0, y α,ψ = π n(ψ. Then (3.6 ɛ(αβ, ψ = β 1 (y α,ψ ɛ(α, ψ. 3.. Connection of different conventions for local constants. Mainly there are two conventions for local constants. They are due to Langlands ([9] and Deligne ([8]. Recently Bushnell and Henniart ([1] also give a convention of local constants. In this subsection we shall show the connection among all three conventions for local constants 1 We denote ɛ BH as local constant of Bushnell-Henniart (introduced in Bushnell-Henniart, [1], Chapter 6. On page 14 of [1], the authors define a rational function ɛ BH (χ, ψ, s C(q s. rom Theorem 3.5 on p.144 of [1] for ramified character χ and conductor n(ψ = 1 we have (3.7 ɛ BH (χ, s, ψ = q n( 1 s χ(αx 1 ψ(αx/q n+1, U n+1 where n = a(χ 1, and α with ν (α = n. 1 The convention ɛ(χ, ψ is actually due to Langlands [9], and it is: ɛ L (χ, ψ, 1 = ɛ(χ, ψ. See equation (3.6.4 on p.17 of [6] for V = χ. The definition of level of an additive character ψ in [1] on p.11 is the negative sign with our conductor n(ψ, i.e., level of ψ = n(ψ.

12 1 BISWAS Also from the Proposition 3.5 of [1] on p.143 for unramified character χ and n(ψ = 1 we have (3.8 ɛ BH (χ, s, ψ = q s 1 χ(π 1. (1 Connection between ɛ BH and ɛ(χ, ψ. Proof. rom [1], p.143, Lemma 1 we see: ɛ(χ, ψ = ɛ BH (χ, 1, ψ. ɛ BH (χ, 1, bψ = χ(bɛ BH(χ, 1, ψ for any b. But we have seen already that ɛ(χ, bψ = χ(b ɛ(χ, ψ has the same transformation rule. If we fix one nontrivial ψ then all other nontrivial ψ are uniquely given as ψ = bψ for some b. Because of the parallel transformation rules it is now enough to verify our assertion for a single ψ. Now we take ψ + with n(ψ = 1, hence ν (c = a(χ 1. Then we obtain ɛ(χ, ψ = ɛ(χ, ψ, c = χ(cq a(χ (xψ(c 1 x. We compare this to the equation (3.7. There the notation is n = a(χ 1 and the assumption is n 0. This means we have ν (c = n, hence we may take α = c 1 and then comparing our formula with equation (3.7, we see that ɛ(χ, ψ = ɛ BH (χ, 1, ψ in the case when n(ψ = 1. We are still left to prove our assertion if χ is unramified, i.e., a(χ = 0. Again we can reduce to the case where n(ψ = 1. Then our assertion follows from equation 3.8. Remark 3.4. rom Corollary 3.4. of [1], on p.14, for s C, we can write (3.9 ɛ BH (χ, s, ψ = q ( 1 sn(χ,ψ ɛ BH (χ, 1, ψ, for some n(χ, ψ Z. In fact here n(χ, ψ = a(χ + n(ψ. rom above connection, we just see ɛ(χ, ψ = ɛ BH (χ, 1, ψ. Thus for arbitrary s C, we obtain (3.30 ɛ BH (χ, s, ψ = q ( 1 s(a(χ+n(ψ ɛ(χ, ψ. This equation (3.30 is very important for us. We shall use this to connect with Deligne s convention. In [6] there is defined a number ɛ D (χ, ψ, dx depending on χ, ψ and a Haar measure dx on. This convention is due to Deligne [8]. We write ɛ D for Deligne s convention in order to distinguish it from the ɛ BH (χ, 1, ψ introduced in Bushnell-Henniart [1]. In the next Lemma we give the connection between Bushnell-Henniart and Deligne conventions for local constants. ( The connection between ɛ D and ɛ BH :

13 Lemma 3.5. We have the relation TWISTING ORMULA O EPSILON ACTORS 13 ɛ BH (χ, s, ψ = ɛ D (χ ω s, ψ, dx ψ, where ω s (x = x s = q sν (x is unramified character of corresponding to complex number s, and where dx ψ is the self-dual Haar measure corresponding to the additive character ψ. Proof. rom equation equation (3.6.4 of [6], we know that (3.31 ɛ L (χ, s, ψ := ɛ L (χω s 1, ψ = ɛ D (χω s, ψ, dx ψ. We prove this connection by using the relations (3.30 and (3.31. rom equation (3.31 we can write our ɛ(χ, ψ = ɛ D (χω 1, ψ, dx ψ. Therefore when s = 1, we have the relation: (3.3 ɛ BH (χ, 1, ψ = ɛ D(χω 1, ψ, dx ψ, since ɛ(χ, ψ = ɛ BH (χ, 1, ψ. We know that ω s (x = q sν (x is an unramified character of. So when χ is also unramified, we can write (3.33 ɛ(χω s 1, ψ = ω s 1 (c χ(c = q ( 1 sn(ψ ɛ BH (χ, 1, ψ = ɛ BH(χ, s, ψ. And when χ is ramified character, i.e., conductor a(χ > 0, from Tate s theorem for unramified twist (see property.3.1(4b, we can write ɛ(χω s 1, ψ = ω s 1 (π a(χ+n(ψ ɛ(χ, ψ = q (s 1 (a(χ+n(ψ ɛ(χ, ψ = q ( 1 s(a(χ+n(ψ ɛ BH (χ, 1, ψ = ɛ BH (χ, s, ψ. urthermore from equation (3.31, we have (3.34 ɛ(χω s 1, ψ = ɛ D (χω s, ψ, dx ψ. Therefore finally we can write (3.35 ɛ BH (χ, s, ψ = ɛ D (χω s, ψ, dx ψ. Corollary 3.6. or our W we have : ɛ(χ, ψ = ɛ BH (χ, 1, ψ = ɛ D(χω 1, ψ, dx ψ ɛ(χω s 1, ψ = ɛ BH (χ, s, ψ = ɛ D (χω s, ψ, dx ψ. Proof. rom the equations (3.6.1 and (3.6.4 of [6] for χ and above two connections the assertions follow.

14 14 BISWAS 3.3. Local constants for virtual representations. (1 To extend the concept of local constant, we need go from 1-dimensional to other virtual representations ρ of the Weil groups W of nonarchimedean local field. According to Tate [5], the root number ɛ(χ := ɛ(χ, ψ extensions to ɛ(ρ, where ψ is the canonical additive character of. More generally, ɛ(χ, ψ extends to ɛ(ρ, ψ, and if E/ is a finite separable extension then one has to take ψ E = ψ Tr E/ for the extension field E. According to Bushnell-Henniart [1], Theorem on p.189, the functions ɛ BH (χ, s, ψ extend to ɛ BH (ρ, s, ψ E, where ψ E = ψ Tr 3 E/. According to Tate [6], Theorem (3.4.1 the functions ɛ D (χ, ψ, dx extends to ɛ D (ρ, ψ, dx. In order to get weak inductivity (cf. [5] we have again to use ψ E = ψ Tr E/ if we consider extensions. Then according to Tate [6] (3.6.4 the Corollary 3.6 turns into Corollary 3.7. or the virtual representations of the Weil groups we have ɛ(ρω E,s 1, ψ E = ɛ BH (ρ, s, ψ E = ɛ D (ρω E,s, ψ E, dx ψe. ɛ(ρ, ψ E = ɛ BH (ρ, 1, ψ E = ɛ D (ρω E, 1, ψ E, dx ψe. Note that on the level of field extension E/ we have to use ω E,s which is defined as ω E,s (x = x s E = q sν E(x E. We also know that q E = q f E/ and νe = 1 f E/ ν (N E/ (cf. [3], p.41, Theorem.5, therefore we can easily see that ω E,s = ω,s N E/. Since the norm map N E/ : E corresponds via class field theory to the injection map G E G, Tate [6] beginning from (1.4.6, simply writes ω s = s and consider ω s as an unramified character of the Galois group (or of the Weil group instead as a character on the field. Then Corollary 3.7 turns into (3.36 ɛ(ρω s 1, ψ E = ɛ BH (ρ, s, ψ E = ɛ D (ρω s, ψ E, dx ψe, for all field extensions, where ω s is to be considered as 1-dimensional representation of the Weil group W E G E if we are on the E-level. The left side equation (3.36 is the ɛ-factor of Langlands (see [6], ( ( The functional equation (3.18 extends to (3.37 ɛ(ρ, ψ ɛ(ρ V, ψ = det ρ ( 1, where ρ is any virtual representation of the Weil group W, ρ V is the contragredient and ψ is any nontrivial additive character of. This is formula (3 on p.190 of [1] for s = 1. 3 Note that they fix a base field and a nontrivial ψ = ψ (which not to be the canonical character used in Tate [5] but then if E/ is an extension they always use ψ E = ψ Tr E/.

15 TWISTING ORMULA O EPSILON ACTORS 15 (3 Moreover the transformation law (3.4.5 of [6] can (on the -level be written as: unramified character twist (3.38 ɛ D (ρω s, ψ, dx = ɛ D (ρ, ψ, dx ω,s (c ρ,ψ for any c = c ρ,ψ such that ν (c = a(ρ + n(ψdim(ρ. It implies that also for the root number on the -level we have (3.39 ɛ(ρω s, ψ = ɛ(ρ, ψ ω,s (c ρ,ψ. 4. Generalized twisting formula of epsilon factors 4.1. Local Gauss sum. Let m be a nonzero positive integer. Let χ be a nontrivial multiplicative character of with conductor a(χ and ψ : C be an additive character of with conductor n(ψ. We define the local character sum of a character χ: (4.1 G(χ, ψ, m = (xψ(x/c, U m where c = π a(χ+n(ψ. When m = a(χ, we call G(χ, ψ, a(χ as the local Gauss sum of character χ. Proposition 4.1. The definition of local Gauss sum G(χ, ψ, a(χ does not depend on the choice of the coset representatives of U mod. Proof. It is very easy to see from the definition of local Gauss sum. If we change one of the coset representatives x to xu where u in G(χ, ψ and we have G(χ, ψ, a(χ = (xψ(x/c = = = (xuψ(xu/c (xψ(x/cψ( x (u 1 c (xψ(x/c. replacing x by xu, u Since P n(ψ is a fractional ideal of O, then x n(ψ (u 1 P c for x U. Therefore ψ( x(u 1 = 1 for all x U c and u. This proves the local character sum is independent of the choice of coset representatives of U mod. Therefore definition of local character sum does not depend on the choice of coset representatives of x. In the next proposition we compute the absolute value of G(χ, ψ, a(χ by using Lemma 3.1.

16 16 BISWAS Proposition 4.. If χ is a ramified character of, then Proof. We can write (4. (xψ(x/cdx = U G(χ, ψ, a(χ = q a(χ. (xψ(x/c m (. where c = π a(χ+n(ψ and m is the Haar measure which is normalized so that m (O = 1. Now from equation (4. we have (xψ(x/cdx = U Therefore from Lemma 3.1 we have (xψ(x/c m ( = G(χ, ψ, a(χ q a(χ, since m ( = q a(χ. (4.3 G(χ, ψ, a(χ = q a(χ. urthermore, from Lemma 3.1 it can be proved that (4.4 x (xψ( = 0, for non-zero integers m 0 and l = a(χ + n(ψ. In the next lemma, we see the relation between two sums G(χ, ψ, n 1, G(χ, ψ, n, where n 1 > n and here we mean G(χ, ψ, n i = (xψ(x/c, i = 1, where c = π a(χ+n(ψ. Lemma 4.3. U n i (4.5 G(χ, ψ, n 1 = q m G(χ, ψ, n. where m = n 1 n. Proof. rom Lemma 3.1, it is straight forward. We have (xψ( x U c dx = (xψ( x c m (U n 1 U n 1 = q n 1 U n 1 = q n 1 G(χ, ψ, n 1. (xψ( x c since m (U n 1 = q n 1

17 Similarly, we can express TWISTING ORMULA O EPSILON ACTORS 17 U (xψ( x c dx = q n G(χ, ψ, n. Comparing these two above equations we obtain G(χ, ψ, n 1 = q n 1 n G(χ, ψ, n = q m G(χ, ψ, n. 4.. Local Jacobi sum. Let χ 1 and χ be two nontrivial characters of. or any t U, U n where n 1, we define the local Jacobi sum for characters χ 1 and χ : (4.6 J t (χ 1, χ, n = 1 (x (t x. Proposition 4.4. U n t x U (4.7 J 1 (χ 1, χ, n = χ 1 χ (t J t (χ 1, χ, n, for any t U. U n Proof. or any t U, from the definition of Jacobi sum, we have U n J t (χ 1, χ, n = 1 (x (t x U n t x U = x/t U U n 1 x/t U = (χ 1 χ 1 (t (χ 1 χ 1 (t 1 (x/t (1 x/t s=x/t U U n 1 s U = (χ 1 χ 1 (tj 1 (χ 1, χ, n. 1 (s (1 s Therefore J 1 (χ 1, χ, n = χ 1 χ (t J t (χ 1, χ, n, for any t U. U n In the following theorem, we give the twisting formula of epsilon factor factor via this local Jacobi sums. Theorem 4.5. Let χ 1 and χ be two ramified characters of with conductors n and m respectively. Let r be the conductor of character χ 1 χ. Then q n ɛ(χ 1,ψɛ(χ,ψ J 1 (χ 1,χ when n = m = r,,n q ɛ(χ 1 χ, ψ = r χ 1 χ (π r n ɛ(χ 1,ψɛ(χ,ψ (4.8 J 1 (χ 1,χ when n = m > r,,n q n m ɛ(χ 1,ψɛ(χ,ψ J 1 (χ 1,χ when n = r > m,,n

18 18 BISWAS Proof. We know the formula of epsilon of a character χ of and it is: (4.9 ɛ(χ, ψ = χ(cq a(χ (xψ(x/c = χ(cq a(χ G(χ, ψ, a(χ, where c = π a(χ+n(ψ Now we divide this proof into three cases. Case-1 when n = m = r. By the definition of epsilon factor, in this case we have (4.10 ɛ(χ 1, ψ = χ 1 (c 1 q n U n 1 (xψ(x/c 1, and (4.11 ɛ(χ, ψ = χ (c q m y U U m (yψ(y/c, where c 1 = π n+n(ψ and c = π m+n(ψ. Since n = m, then we consider c = c 1 = c. Now from equation (4.10 and (4.11 we have ɛ(χ 1, ψɛ(χ, ψ = q n χ 1 χ (c (4.1 U n = q n χ 1 χ (c x,y U U n = q n χ 1 χ (c = q n χ 1 χ (c x,y U U n U n t U n n 1 = q n χ 1 χ (c { a=0 1 (xψ(x/c y U U m (yψ(y/c 1 (x (yψ(x/cψ(y/c 1 (x (yψ( x + y c 1 (x (t xψ( t c u U U n a n 1 = q n χ 1 χ (c { a=0 u U U n a n 1 = q n χ 1 χ (c { a=0 s U U n a { { U n 1 ( x π a uχ 1 (1 x π a u}(χ 1χ 1 (π a uψ( πa u c } s=x/u U U n a n 1 = q n χ 1 χ (c {J 1(χ 1, χ, n G (χ 1 χ, ψ} a=0 1 ( s π a (1 s }(χ π a 1 χ 1 (π a uψ( πa u c } 1 ( s π a (1 s (χ π a 1 χ 1 (π a uψ( πa u c } u U U n a

19 TWISTING ORMULA O EPSILON ACTORS 19 where (4.13 G (χ 1 χ, ψ = and u U U n a (4.14 J 1(χ 1, χ, n = s U U n a (χ 1 χ 1 (π a uψ( πa u c, 1 ( s π a (1 s π a In the above equations (4.13 and (4.14, we assume t = x + y where both x and y are in U and this t can be written as t = π a U n u, where a varies over {0, 1,, n 1} and u U. U n a urthermore, by using Lemma 3.1, for a 0, we have Therefore, for a 0, we can write u U U n a G (χ 1 χ, ψ = (χ 1 χ 1 (uψ( πa u c = 0. u U U n a (χ 1 χ 1 (π a uψ( πa u c = χ 1 χ (π a = 0. u U U n a (χ 1 χ 1 (uψ( πa u c Therefore, we have to take a = 0, because left side of equation (4.1 is nonzero, therefore t = u U. Now, put a = 0 in equation (4.13, then we have from equation (4.1 U n ɛ(χ 1, ψɛ(χ, ψ = q n χ 1 χ (cj 1(χ 1 χ, n (χ 1 χ 1 (αψ( α c α U U r = q n χ 1 χ (cj 1 (χ 1, χ, ng(χ 1 χ, ψ, n = q n J1 (χ 1, χ, nɛ(χ 1 χ, ψ. Therefore, in this case we have (4.15 ɛ(χ 1 χ, ψ = q n ɛ(χ 1, ψɛ(χ, ψ. J 1 (χ 1, χ, n

20 0 BISWAS Case- When n = m > r. Like case-1 in this case, it can be showed that t = x + y U U n when x, y U. Since c U n 1 = c, then let c = c 1 = c. In this situation we have: ɛ(χ 1, ψɛ(χ, ψ = q n χ 1 χ (c U n = q n χ 1 χ (c x,y U U n = q n χ 1 χ (c x,y U U n = q n χ 1 χ (c t, U n = q n χ 1 χ (c { = q n χ 1 χ (c t U U n 1 (xψ(x/c y U U m (yψ(y/c 1 (x (yψ(x/cψ(y/c 1 (x (yψ( x + y c 1 (x (t xψ( t c U n s=x/t U U n 1 (x/t (1 x/t}(χ 1 χ 1 (tψ( t c 1 (s (1 s = q n χ 1 χ (cj 1 (χ 1, χ, n G(χ 1 χ, ψ, n t U U n (χ 1 χ 1 (tψ( t c = q n χ 1 χ (cj 1 (χ 1, χ, n q n r G(χ 1 χ, ψ, r using Lemma 4.3 = q r χ1 χ (π n r J 1 (χ 1, χ, nχ 1 χ (π r q r G(χ1 χ, ψ, r = q r χ1 χ (π n r J 1 (χ 1, χ, nɛ(χ 1 χ, ψ, since a(χ 1 χ = r. Therefore, in this condition we have the twisting formula of epsilon factor: (4.16 ɛ(χ 1 χ, ψ = q r χ 1 χ (π r n ɛ(χ 1, ψɛ(χ, ψ. J 1 (χ 1, χ, n Case-3 when n = r > m. If conductor a(χ 1 > a(χ, then conductor a(χ 1 χ = max(a(χ 1, a(χ = a(χ 1. Therefore, we are in this situation: n = r > m. In this case

21 c 1 can be written as c 1 = c π n m. If x, z U U n ɛ(χ 1, ψɛ(χ, ψ = q m+n χ 1 (c 1 χ (c U n = q m+n χ (π m n χ 1 χ (c 1, then x + π n m z U. U n 1 (xψ(x/c 1 U n = q m+n χ (π m n χ 1 χ (c 1 U n = q m 3n χ (π m n χ 1 χ (c 1 x,z U U n = q m 3n χ (π m n χ 1 χ (c 1 = q m 3n χ (π m n = q m 3n χ1 χ (c 1 { = q m 3n χ1 χ (c 1 Therefore we have the formula: x,z U U n χ 1 χ (c 1 χ (π n m t U U n U n s=x/t U U n z U U m 1 (xψ(x/c 1 (zψ(/c z U U m 1 (xψ(x/c 1 q m n (zψ( zπn m z U U n 1 (x (zψ(x/c 1 ψ( zπn m c 1 1 (x (zψ( x + zπn m c 1 x,t U U n 1 (x (t xψ( t c 1 c 1 (zψ( zπn m 1 (x/t (1 x/t}(χ 1 χ 1 (tψ( t c 1 1 (s = q m 3n χ1 χ (c 1 J 1 (χ 1, χ, n (1 s t U U n t U U n (χ 1 χ 1 (tψ( t c 1 = q m n J 1 (χ 1, χ, nχ 1 χ (c 1 q n G(χ1 χ, ψ, n = q m n J 1 (χ 1, χ, nɛ(χ 1 χ, ψ. (4.17 ɛ(χ 1 χ, ψ = qn m ɛ(χ 1, ψɛ(χ, ψ. J 1 (χ 1, χ, n (χ 1 χ 1 (tψ( t c 1 c 1 Acknowledgements I would like to thank Prof E.-W. Zink for encouraging me to work on local epsilon factors and his constant valuable advices. I also express my gratitude to my adviser Prof. Rajat Tandon for his continuous help.

22 BISWAS References [1] C.J. Bushnell, G. Henniart, The local Langlands conjecture for GL(, Springer-Verlag, 006. [] I.M. Gelfand, M.I. Graev, I.I. Pyatetski-Shapiro, Representation theory and automorphic functions, W.B. Saunders Company, [3] I.B. esenko, S.V. Vostokov, Local fields and their extensions, Second edition 001. [4] J. Martinet, Character theory of Artin L-functions, Algebraic Number ields (L-functions and Galois properties, Proceedings of Symposium, Edited by A.r ohlich, pp [5] J. Tate, Local Constants, Algebraic Number ields (L-functions and Galois properties, Proceedings of Symposium, Edited by A. róhlich, pp [6], Number theoretic background, Proceedings of Symposia in Pure Mathematics, Vol. 33(1979, Vol., pp.3-6. [7], ourier Analysis in Number ields and Hecke s Zeta unctions, Thesis: Algebraic Number Theory, J. W. S Cassels, A. röhlich eds. Academic Press, p [8] P. Deligne, Les constantes des équations fonctionnelle des fonctions L, in Modular functions of one variable II, Lecture Notes in Mathematics 349(197, , Springer-Verlag, Berlin-Heidelberg-New York. [9] R. P. Langlands, On the functional equation of the Artin L-functions, unpublished article, publications.ias.edu/sites/default/files/a-ps.pdf. School of Mathematics and Statistics, University of Hyderabad, Hyderabad,500046, India address: sazzad.biswas@uohyd.ac.in, sazzad.jumath@gmail.com