L-functions and theta correspondence for classical groups

Abstract

Using the doubling method of Piatetski-Shapiro and Rallis, we develop a theory of local factors of representations of classical groups and apply it to give a necessary and sufficient condition for nonvanishing of global theta liftings in terms of analytic properties of the L-functions and local theta correspondence.

This is a preview of subscription content, access via your institution.

References

  1. 1.

    Adams, J., Barbasch, D.: Genuine representations of the metaplectic group. Compos. Math. 113, 23–66 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  2. 2.

    Casselman, W.: Introduction to the theory of admissible representations of p-adic reductive groups. Preprint

  3. 3.

    Casselman, W., Hecht, H., Miličić, D.: Bruhat filtrations and Whittaker vectors for real groups. In: The Mathematical Legacy of Harish-Chandra, Baltimore, MD, 1998, pp. 151–190. Am. Math. Soc., Providence (2000)

    Chapter  Google Scholar 

  4. 4.

    Gan, W.T.: Doubling zeta integrals and local factors for metaplectic groups. Nagoya Math. J. 208, 67–95 (2012)

    MATH  MathSciNet  Google Scholar 

  5. 5.

    Gan, W.T., Ichino, A.: Formal degree and theta correspondence. Invent. Math. (2013). doi:10.1007/s00222-013-0460-5

    Google Scholar 

  6. 6.

    Gan, W.T., Qiu, Y., Takeda, S.: The regularized Siegel-Weil formula (the second term identity) and the Rallis inner product formula. Preprint

  7. 7.

    Gan, W.T., Savin, G.: Representations of metaplectic groups I: epsilon dichotomy and local Langlands correspondence. Compos. Math. 148, 1655–1694 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  8. 8.

    Gan, W.T., Takeda, S.: The regularized Siegel-Weil formula: the second term identity and non-vanishing of theta lifts from orthogonal groups. J. Reine Angew. Math. 659, 175–244 (2011)

    MATH  MathSciNet  Google Scholar 

  9. 9.

    Ginzburg, D., Jiang, D., Soudry, D.: Poles of L-functions and theta liftings for orthogonal groups. J. Inst. Math. Jussieu 8, 693–741 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  10. 10.

    Ginzburg, D., Rallis, S., Soudry, D.: The Descent Map from Automorphic Representations of GL(n) to Classical Groups. World Scientific, Hackensack (2011). x+339 pp.

    Book  MATH  Google Scholar 

  11. 11.

    Godement, R., Jacquet, H.: Zeta Functions of Simple Algebras. Lecture Notes in Math., vol. 260. Springer, Berlin (1972)

    MATH  Google Scholar 

  12. 12.

    Gong, Z., Grenié, L.: An inequality for local unitary theta correspondence. Ann. Fac. Sci. Toulouse 20, 167–202 (2011)

    Article  MATH  Google Scholar 

  13. 13.

    Harris, M., Kudla, S., Sweet, W.J. Jr.: Theta dichotomy for unitary groups. J. Am. Math. Soc. 9, 941–1004 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  14. 14.

    Harris, M., Li, J.-S., Sun, B.: Theta correspondence for close unitary groups. In: Arithmetic Geometry and Automorphic Forms. Adv. Lect. Math., vol. 19, pp. 265–307. International Press, Somerville (2011)

    Google Scholar 

  15. 15.

    Howe, R.: Transcending classical invariant theory. J. Am. Math. Soc. 2, 535–552 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  16. 16.

    Ikeda, T.: On the location of poles of the triple L-functions. Compos. Math. 83, 187–237 (1992)

    MATH  Google Scholar 

  17. 17.

    Ikeda, T.: On the residue of the Eisenstein series and the Siegel-Weil formula. Compos. Math. 103, 183–218 (1996)

    MATH  Google Scholar 

  18. 18.

    Ikeda, T.: On the gamma factor of the triple L-function II. J. Reine Angew. Math. 499, 199–223 (1998)

    MATH  MathSciNet  Google Scholar 

  19. 19.

    Jacquet, H.: Principal L-functions of the linear group. In: Automorphic Forms, Representations, and L-Functions. Proc. Symp. Pure Math., vol. 33, part II, pp. 63–86. Am. Math. Soc., Providence (1979)

    Chapter  Google Scholar 

  20. 20.

    Karel, M.: Functional equations of Whittaker functions on p-adic groups. Am. J. Math. 101, 1303–1325 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  21. 21.

    Knapp, A.W.: Representation Theory of Semisimple Groups: An Overview Based on Examples. Princeton University Press, Princeton (1986)

    MATH  Google Scholar 

  22. 22.

    Kudla, S.: On the local theta-correspondence. Invent. Math. 83, 229–255 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  23. 23.

    Kudla, S.: Splitting metaplectic covers of dual reductive pairs. Isr. J. Math. 84, 361–401 (1994)

    Article  MathSciNet  Google Scholar 

  24. 24.

    Kudla, S.: Integrals of Borcherds forms. Compos. Math. 137, 293–349 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  25. 25.

    Kudla, S., Rallis, S.: Degenerate principal series and invariant distributions. Isr. J. Math. 69, 25–45 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  26. 26.

    Kudla, S., Rallis, S.: Poles of Eisenstein series and L-functions. In: Festschrift in Honor of I.I. Piatetski-Shapiro on the Occasion of His Sixtieth Birthday, Part II. Israel Math. Conf. Proc., vol. 3, pp. 81–110. Weizmann, Jerusalem (1990)

    Google Scholar 

  27. 27.

    Kudla, S., Rallis, S.: Ramified degenerate principal series representations for Sp(n). Isr. J. Math. 78, 209–256 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  28. 28.

    Kudla, S., Rallis, S.: A regularized Siegel-Weil formula: the first term identity. Ann. Math. 140, 1–80 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  29. 29.

    Kudla, S., Rallis, S.: On first occurrence in local theta correspondence. In: Automorphic Representations, L-Functions and Applications: Progress and Prospects, pp. 273–308. de Gruyter, Berlin (2005)

    Google Scholar 

  30. 30.

    Kudla, S., Sweet, W.J. Jr.: Degenerate principal series representations for U(n,n). Isr. J. Math. 98, 253–306 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  31. 31.

    Lapid, E., Rallis, S.: On the nonnegativity of \(L (\frac{1}{2},\pi)\) for SO 2n+1. Ann. Math. 157, 891–917 (2003)

    MATH  MathSciNet  Google Scholar 

  32. 32.

    Lapid, E., Rallis, S.: On the local factors of representations of classical groups. In: Automorphic Representations, L-Functions and Applications: Progress and Prospects, pp. 309–359. de Gruyter, Berlin (2005)

    Google Scholar 

  33. 33.

    Li, J.-S.: Singular unitary representations of classical groups. Invent. Math. 97, 237–255 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  34. 34.

    Li, J.-S.: Non-vanishing theorems for the cohomology of certain arithmetic quotients. J. Reine Angew. Math. 428, 177–217 (1992)

    MATH  MathSciNet  Google Scholar 

  35. 35.

    Li, J.-S., Paul, A., Tan, E.-C., Zhu, C.-B.: The explicit duality correspondence of (Sp(p,q),O (2n)). J. Funct. Anal. 200, 71–100 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  36. 36.

    Moeglin, C.: Non nullité de certains relêvements par séries théta. J. Lie Theory 7, 201–229 (1997)

    MATH  MathSciNet  Google Scholar 

  37. 37.

    Moeglin, C., Vigneras, M.-F., Waldspurger, C.-L.: Correspondence de Howe sur un corps p-adique. Lecture Notes in Math., vol. 1291 (1987)

    Google Scholar 

  38. 38.

    Moeglin, C., Waldspurger, J.-L.: Spectral Decomposition and Eisenstein Series. Cambridge University Press, Cambridge (1995)

    Book  MATH  Google Scholar 

  39. 39.

    Paul, A.: Howe correspondence for real unitary groups. J. Funct. Anal. 159, 384–431 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  40. 40.

    Paul, A.: First occurrence for the dual pairs (U(p,q),U(r,s)). Can. J. Math. 51(3), 636–657 (1999)

    Article  MATH  Google Scholar 

  41. 41.

    Paul, A.: On the Howe correspondence for symplectic-orthogonal dual pairs. J. Funct. Anal. 228, 270–310 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  42. 42.

    Piatetski-Shapiro, I.: On the Saito Kurokawa lifting. Invent. Math. 71, 309–338 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  43. 43.

    Piatetski-Shapiro, I., Rallis, S.: ε factor of representations of classical groups. Proc. Natl. Acad. Sci. USA 83, 4589–4593 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  44. 44.

    Piatetski-Shapiro, I., Rallis, S.: L-functions for classical groups. In: Lecture Notes in Math., vol. 1254, pp. 1–52 (1987)

    Google Scholar 

  45. 45.

    Piatetski-Shapiro, I., Rallis, S.: Rankin triple L-functions. Compos. Math. 64, 31–115 (1987)

    MATH  MathSciNet  Google Scholar 

  46. 46.

    Ranga Rao, R.: On some explicit formulas in the theory of Well representation. Pac. J. Math. 157, 335–371 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  47. 47.

    Rallis, S.: On the Howe duality conjecture. Compos. Math. 51, 333–399 (1984)

    MATH  MathSciNet  Google Scholar 

  48. 48.

    Rallis, S.: L-Functions and the Oscillator Representation. Lecture Notes in Math., vol. 1245 (1987)

    MATH  Google Scholar 

  49. 49.

    Roberts, B.: Nonvanishing of global theta lifts from orthogonal groups. J. Ramanujan Math. Soc. 14, 131–194 (1999)

    MATH  MathSciNet  Google Scholar 

  50. 50.

    Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)

    MATH  Google Scholar 

  51. 51.

    Scharlau, W.: Quadratic and Hermitian Forms. Springer, Berlin (1985)

    Book  MATH  Google Scholar 

  52. 52.

    Shimura, G.: Euler Products and Eisenstein Series. CBMS Reg. Conf. Ser. Math., vol. 93. Am. Math. Soc., Providence (1997)

    MATH  Google Scholar 

  53. 53.

    Shimura, G.: Arithmeticity in the Theory of Automorphic Forms. Math. Surveys Monogr., vol. 82. Am. Math. Soc., Providence (2000)

    MATH  Google Scholar 

  54. 54.

    Shimura, G.: Arithmetic of Quadratic Forms. Springer, Berlin (2010)

    Book  MATH  Google Scholar 

  55. 55.

    Sun, B., Zhu, C.-B.: Conservation relations for local theta correspondence. Preprint

  56. 56.

    Sweet, W.J. Jr.: A computation of the gamma matrix of a family of p-adic zeta integrals. J. Number Theory 55, 222–260 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  57. 57.

    Sweet, W.J. Jr.: Functional equations of p-adic zeta integrals and representations of the metaplectic group. Preprint (1995)

  58. 58.

    Takeda, S.: Some local-global non-vanishing results for theta lifts for symplectic-orthogonal dual pairs. J. Reine Angew. Math. 657, 81–111 (2011)

    MATH  MathSciNet  Google Scholar 

  59. 59.

    Tan, V.: Poles of Siegel Eisenstein series on U(n,n). Can. J. Math. 51, 164–175 (1999)

    Article  MATH  Google Scholar 

  60. 60.

    Waldspurger, J.-L.: Correspondance de Shimura. J. Math. Pures Appl. 59, 1–132 (1980)

    MATH  MathSciNet  Google Scholar 

  61. 61.

    Waldspurger, J.-L.: Démonstration d’une conjecture de dualité de Howe dans le cas p-adique, p≠2. In: Festschrift in Honor of I.I. Piatetski-Shapiro on the Occasion of His Sixtieth Birthday, Part I. Israel Math. Conf. Proc., vol. 2, pp. 267–324. Weizmann, Jerusalem (1990)

    Google Scholar 

  62. 62.

    Waldspurger, J.-L.: Correspondances de Shimura et quaternions. Forum Math. 3, 219–307 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  63. 63.

    Waldspurger, J.-L.: La formule de Plancherel pour les groupes p-adiques (d’après Harish-Chandra). J. Inst. Math. Jussieu 2(2), 235–333 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  64. 64.

    Wallach, N.: Lie algebra cohomology and holomorphic continuation of generalized Jacquet integrals. In: Representations of Lie Groups. Adv. Stud. Pure Math., vol. 14, pp. 123–151. North-Holland, Amsterdam (1988)

    Google Scholar 

  65. 65.

    Wallach, N.: Real Reductive Groups. II. Pure and Applied Mathematics, vol. 132. Academic Press, Boston (1992)

    MATH  Google Scholar 

  66. 66.

    Weil, A.: Sur la formule de Siegel dans la théorie des groupes classiques. Acta Math. 113, 1–87 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  67. 67.

    Yamana, S.: Degenerate principal series representations for quaternionic unitary groups. Isr. J. Math. 185, 77–124 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  68. 68.

    Yamana, S.: On the Siegel-Weil formula: The case of singular forms. Compos. Math. 147, 1003–1021 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  69. 69.

    Yamana, S.: On the Siegel-Weil formula for quaternionic unitary groups. Am. J. Math., in press

  70. 70.

    Yamana, S.: The Siegel-Weil formula for unitary groups. Pac. J. Math. 264(1), 235–256 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  71. 71.

    Zorn, C.: Theta dichotomy and doubling epsilon factors for Sp n (F). Am. J. Math. 133, 1313–1364 (2011)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

We acknowledge the deep influence of the works of Rallis and his collaborators. We thank Stephen Kudla for suggesting the author to prove Proposition 7.1, Atsushi Ichino for his encouragement throughout this project and Binyong Sun and Chen-Bo Zhu for sending us their preprint [55]. A large portion of Sects. 5 and 10 is an outgrowth of discussion with Wee Teck Gan, to whom we are most thankful. This paper was partly written during my stay at the National University of Singapore. We would like to thank the people in NUS for the warm hospitality. The author is partially supported by JSPS Grant-in-Aid for Research Activity Start-up 24840033. This work is partially supported by the JSPS Institutional Program for Young Researcher Overseas Visits “Promoting international young researchers in mathematics and mathematical sciences led by OCAMI”. The anonymous referee deserves special thanks for a very careful reading that led to substantial improvements and clarifications.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Shunsuke Yamana.

Appendices

Appendix A: The archimedean theory

In this appendix we will let F be an archimedean local field except in the statement of Lemma A.2. Since the sections constructed in the proofs of Lemma 6.2 and Theorem 7.1 may not be \(\bar{K}^{\Box}\)-finite, a complication arises in the archimedean case. To get around this problem, we redefine the L-factor by using general smooth sections rather than \(\bar{K}^{\Box}\)-finite sections. To show that the two definitions agree, we shall show that the ratio of the local integral divided by this L-factor is continuous in the appropriate topology. Kudla and Rallis [26] have carried this out for symplectic and orthogonal groups. The subtle convergence arguments can be simplified considerably by applying the inductive argument developed in Sect. 5 to smooth sections.

A character χ of E × determines a holomorphic family of characters χ ψ,s ∘Δ of \(\bar{P}\) and I (s,χ) stands for the smooth degenerate principal series representation. Since PG =MK K , all representations I (s,χ) can be realized on the same space I (χ) of smooth functions f on \(\bar{K}^{\Box}\) which satisfy f(pg)=χ′(Δ(p))f(g) for \(g\in\bar{K}^{\Box}\) and \(p\in\bar{M}\cap\bar{K}^{\Box}\). Here χ′=χ ψ in Case (\(\mathrm{I}_{4}^{m}\)) and χ′=χ in the other cases. Note that I (χ) is a Fréchet space with respect to the seminorms ∥Xf∥, where \(\|f\|=\max_{k\in\bar{K}^{\Box}}|f(k)|\) and X ranges over the universal enveloping algebra \(U(\mathfrak{k}^{\Box})\) of the complexified Lie algebra \(\mathfrak{k}^{\Box}\) of K . In this way we can view I (s,χ) as a holomorphic family of representations.

A holomorphic section f (s) of I (s,χ) is a holomorphic function on \(\mathbb{C}\) with values in I (χ). For each \(g\in\bar{G}^{\Box}\) we define f (s)(g) by writing g=pk with \(p\in\bar{P}\) and \(k\in\bar{K}^{\Box}\), and taking

$$f^{(s)}(g)=\chi_{\psi,s+\delta\rho_n/2} \bigl(\Delta (p) \bigr)f^{(s)}(k). $$

As in the \(\bar{K}^{\Box}\)-finite setting, we have the concept of good sections in the smooth setting. The obvious adaptation of the results stated in Sects. 3.5 and 5.2 still holds for good sections of I (s,χ). However, it should be remarked that the proof of Lemma 6.2 is more involved in the archimedean case. Theorem 4.1 of [3] states that principal series representations admit a Bruhat filtration, and it is possible to extend this work to I (s,χ), which allows us to argue in the archimedean case in the same way as in the p-adic case.

Lemma A.1

For any \(\pi\in\mathrm{Irr}(\bar{G})\) and any character χ of E × there exists a local Euler factor L(s) such that for any ξπ π and any good section f (s) of I (s,χ) the quotient Z(ξ,f (s))/L(s+1/2) is entire.

Proof

We can use Propositions 4.2 and 5.3 to reduce the statement to the case where φ is anisotropic or the case where n=1 and φ=0. The former case is evident. In the latter case G=GL1(C), G =GL2(C) and the zeta integral is easy to compute (cf. [32]). The embedding of G×G into G is given by , where . Then P is the group of matrices whose lower left n×n blocks are zero. Put C 1={zC × | |z|=1}. Then \(C=\mathbb{R}^{\times}_{+}\cdot C^{1}\). By twisting π by an unramified character we may assume that χ π is trivial on \(\mathbb{R}^{\times}_{+}\). Let α i be complex numbers such that \(\chi_{i}(a)=a^{\alpha _{i}}\) for \(a\in\mathbb{R}^{\times}_{+}\) and i=1,2. The zeta integral is

$$\begin{aligned} &\int_{C^\times}H_\xi(g)f^{(s)} \biggl(w_1 \begin{pmatrix} {g} & {0} \\ {0} & {1} \end{pmatrix} \biggr)dg \\ &\quad =\int_{C^1}H_\xi(c) \int _{\mathbb{R}^\times_+}f^{(s)} \biggl(w_1 \begin{pmatrix} {ac} & {0} \\ {0} & {1} \end{pmatrix} \biggr) d^\times adc. \end{aligned}$$

The Iwasawa decomposition for in \(\mathrm{GL}_{2}(\mathbb{R})\) is

$$w_1 \begin{pmatrix} a & 0 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} a(a^2+1)^{-1/2} & * \\ 0 & (a^2+1)^{1/2} \end{pmatrix} \kappa _\theta, $$

where

$$\begin{aligned} \kappa _\theta&= \begin{pmatrix} \cos\theta& -\sin\theta\\ \sin\theta& \cos \theta \end{pmatrix} , \quad \tan\theta=a \quad (0<\theta<\pi/2). \end{aligned}$$

If we write the translate of f (s) by for \(f_{c}^{(s)}\), then the inner integral is

$$\begin{aligned} &\int_{\mathbb{R}^\times_+} \biggl(\frac{a}{a^2+1} \biggr)^{s+\delta /2}a^{\alpha _1} \bigl(a^2+1 \bigr)^{-(\alpha _1+\alpha _2)/2}f_c^{(s)}( \kappa _\theta)d^\times a \\ &\quad =\int^{\pi/2}_0(\sin\theta)^{s+\alpha _1-1+\delta/2}(\cos \theta)^{s+\alpha _2-1+\delta/2}f_c^{(s)}(\kappa _\theta)d \theta. \end{aligned}$$

Put s i =s+α i −1+δ/2. This integral converges, provided that ℜs>−min{ℜα 1,ℜα 2}−δ/2. We split the domain of integration into two parts. Integration by parts gives us

$$\begin{aligned} &\int^{\pi/4}_0(\sin\theta)^{s_1}(\cos \theta)^{s_2}f_c^{(s)}(\kappa _\theta)d \theta \\ &\quad =\frac{1}{s_1+1} \biggl(2^{-(s_1+s_2)/2}f^{(s)}_c( \kappa _{\pi/4})-\int^{\pi/4}_0(\sin \theta)^{s_1+1}h(s,\theta,c)d\theta \biggr), \end{aligned}$$

where \(h(s,\theta,c)=\frac{\partial}{\partial\theta}\{(\cos \theta )^{s_{2}-1}f_{c}^{(s)}(\kappa _{\theta})\}\). Likewise for the integral over π/4≤θπ/2. This allows us to extends Z(ξ,f (s)) meromorphically to the region ℜs>−min{ℜα 1,ℜα 2}−δ/2−1. We can again integrate by parts and eventually we see that it continues to a meromorphic function in s on the whole plane. Moreover, the poles of all the local integrals are contained in the poles of Γ(s+α 1+δ/2)Γ(s+α 2+δ/2) with multiplicity. □

For \(\phi\in C^{\infty}_{c}(\bar{G})\) we can define a section \(f^{(s)}_{\phi}\) of I (s,χ) by requiring that \(\mathrm{supp}(f^{(s)}_{\phi})\subset \bar{P}\cdot(\bar{G}\times\bar{G})\) and \(f^{(s)}_{\phi}((g,e))=\phi(g)\) for \(g\in\bar{G}\). The following lemma can be proven by choosing ϕ to be supported in a small neighborhood.

Lemma A.2

([26, 49])

For given \(\pi\in\mathrm{Irr}(\bar{G})\) there is a choice of ξπ π and \(\phi\in C^{\infty}_{c}(\bar{G})\) such that \(Z(\xi ,f_{\phi}^{(s)})=1\).

Now we choose a meromorphic function L(s) in such a way that it not only cancels all poles of the local integrals for good sections of I (s,χ), but also dividing by it introduces no extraneous zeros. From Lemma A.2 L(s) vanishes nowhere. The following lemma concludes that L(s) is determined by the poles of the family of local integrals even using good sections of I(s,χ).

Lemma A.3

L(s,π ×χ)/L(s) is an invertible function.

Proof

Fix \(s^{\prime}\in\mathbb{C}\). Our task is to show that Z(ξ,f (s))/L(s+1/2) does not have a zero at s=s′ for a suitable choice of ξπ π and a good section f (s) of I(s,χ). For each hI (χ) and \(s\in\mathbb{C}\) we define a function \(h_{s}:\bar{G}^{\Box}\to\mathbb{C}\) by

$$\begin{aligned} h_s(pk)&=\chi_{\psi,s+\delta\rho_n/2} \bigl(\Delta (p) \bigr)h(k) \quad \bigl(p \in \bar{P},\; k\in\bar{K}^\Box \bigr). \end{aligned}$$

By the argument of [65], for any \(X\in U(\mathfrak{g}^{\Box})\) and for s in a compact set, there is a seminorm μ such that ∥Xh s ∥≤μ(h) for all hI (χ).

As we observed in the course of the proof of Lemma A.1, if n=1 and φ=0, then for ξπ π and for s in a compact set, there exist a polynomial Q(s) and a seminorm μ such that for all hI (χ)

$$ \bigl|Q(s)Z(\xi,h_s)\bigr|\leq\mu(h). $$
(A.1)

Lapid and Rallis [32] proved the functional equation of Theorem 4.1(3) for smooth but not necessarily \(\bar{K}^{\Box}\)-finite sections. The functional equation reads as in Theorem 5.2 but with \(L^{\mathcal{U}}_{\psi}(s,\pi^{\vee}\times\chi)\) replaced by L(s). Since the constant of proportionality is an exponential factor in view of the definition of L(s), we may suppose that \(\Re s^{\prime }>-\frac{1}{2}\). In this region the intertwining operator Ψ(s,χ) appearing in Proposition 4.2 is absolutely convergent by Lemma 5.1, and [65, Lemma 10.1.11] states that Ψ(s,χ) is a bounded operator with respect to ∥⋅∥, independently of s. We thus obtain an estimate similar to (A.1) in general. Let l be the order of the pole of L(s+1/2) at s=s′. Using the Cauchy’s integral formula, we can find a seminorm μ such that for all hI (χ)

$$\Bigl\vert\lim_{s\to s^{\prime}}\bigl(s-s^{\prime}\bigr)^lZ( \xi,h_s) \Bigr\vert\leq\mu(h). $$

Take a holomorphic section h (s) of I (s,χ) so that the limit lim ss(ss′)l Z(ξ,h (s))≠0. Since this limit depends only on h (s′), we may assume that h (s) is of the form h s for some hI (χ). Lemma A.3 now follows from the fact \(\bar{K}^{\Box}\)-finite vectors are dense in I (χ). □

We conclude this appendix by indicating how we must modify the arguments in the proofs of Theorems 6.1 and 7.1 in the archimedean case. Our explanation focuses on Theorem 7.1 as the proof of Theorem 6.1 can be modified in an easier manner.

Take \(\eta_{1}\in\varrho _{1}^{\vee}\boxtimes\varrho _{1}\) and \(\phi _{1}\in C^{\infty}_{c}(N_{-}^{Y})\) in such a way that the quotient \(Z(\eta_{1},f^{(s)}_{\phi _{1}})/L^{GJ} (s+\frac{1}{2},\varrho _{1}\otimes\rho(\chi) )\) does not have s=s′. As observed in the proof, one can always find ηϱ ϱ and a holomorphic section f (s) of I (s,χ) which satisfy

$$A \bigl(\eta,f^{(s)} \bigr)=Z \bigl(\eta_1,f^{(s)}_{\phi_1} \bigr). $$

However, f (s) may not be \(\bar{K}\times\bar{K}\) right finite, and hence we cannot directly apply Lemma 7.6(2). One can check that A(η,h s ) can be meromorphically continued to the region \(\Re s>-\frac{1}{2}\) and that the map

$$A_\eta:h\mapsto\lim_{s\to s^{\prime}}A(\eta,h_s)/L^{GJ} \biggl(s+\frac{1}{2},\varrho _1\otimes\rho(\chi) \biggr) $$

is continuous on I (χ) by a careful analysis based on the technique of [26]. See the explanation of this point in Sect. 6 of [49]. Choose a \(\bar{K}^{\Box}\)-finite element h in I (χ) such that A η (h)≠0. Choosing ξπ π so that Z(ξ,h s )=A(η,h s ), we have completed our proof.

Appendix B: Local factors for classical groups

We recall basic properties of the gamma factors which we need. We refer the reader to [32] for a complete description of the gamma factors and their characterization (cf. [4], where the metaplectic case is discussed).

B.1 Normalization of the intertwining operator

We begin by recalling the normalization of the intertwining operator. Let F be a local field of characteristic zero. We adopt the notation of Sect. 2. We remind the reader that the algebra D is a direct sum of mutually opposite division algebras in Case (II). We denote by N the unipotent radical of the maximal parabolic subgroup of G stabilizing W . Let \(\mathfrak{g}^{\Box}\), \(\mathfrak{n}\), \(\mathfrak{n}^{-}\) be the Lie algebras of G , N, N , respectively. Note that

$$\begin{aligned} \mathfrak{g}^\Box&= \bigl\{X\in\mathrm{End} \bigl(W^\Box,D \bigr)\; |\;\langle xX,y\rangle ^\Box+\langle x,yX\rangle ^\Box=0\text { for }x,y\in W^\Box \bigr\}, \\ \mathfrak{n}&= \bigl\{X\in\mathfrak{g}^\Box\;|\;\mathrm {Ker}X\supset W^\Delta \supset\mathrm{Im}X \bigr\}. \end{aligned}$$

We can identify \(\mathfrak{n}\) with the space of ϵ-hermitian forms on W /W Δ via (x,y)↦〈xX,y. We sometimes identify the group N with its Lie algebra \(\mathfrak{n}^{-}\) via the isomorphism uuI. For \(A\in\mathfrak{n}\) we define a unitary character ψ A of N by ψ A (X)=ψ(τ(XA)). Recall that τ:DE is the reduced trace. Observe that τ(XA)∈F in all cases. The map Aψ A defines an isomorphism of \(\mathfrak{n}\) onto the Pontryagin dual of N .

For simplicity we exclude the odd orthogonal case and the metaplectic case. The reader can consult [4, 5, 32] for a complete account of modifications required in these cases. We identify W with W Δ via x↦(x,x), and W /W Δ with W via (x,y)↦xy. With these identifications the reduced norm ν W (A)∈E is well-defined. Fix \(A\in\mathfrak{n}\). Denote by \(\mathbb{C}_{\psi_{A}}\) the one dimensional representation of N with action given by ψ A . For a section f (s) of I(s,χ) the integral

$$l_{\psi_A} \bigl(f^{(s)} \bigr)=\int_{N^-}f^{(s)}(u) \psi_A(u)du $$

converges absolutely for ℜs≫0 and defines an N equivariant map from I(s,χ) to \(\mathbb{C}_{\psi_{A}^{-1}}\). When ν W (A)∈E × and F is a p-adic field, Karel [20] has proven that \(l_{\psi_{A}}(f^{(s)})\) admits an entire analytic continuation to the whole s-plane and satisfies a functional equation

$$l_{\psi_A}\circ M(s,\chi)=\chi_s \bigl(\nu_W(A) \bigr)^{-1}c(s,\chi,A,\psi)l_{\psi_A} $$

for some meromorphic function c(s,χ,A,ψ). Analogous results are proven in the archimedean case in [64]. As is proven in [32, Lemma 10], the factor c(s,χ,A,ψ) depends only on the homothety class of A, and for λF ×

$$ c(s,\chi,A,\psi_\lambda )=\chi_s(\lambda )^{-\delta n}c(s, \chi,A,\psi). $$
(B.1)

Let us put

figurem

Lemma B.1

Let C(s,χ,A,ψ) be defined as above. Then it is equal to a(s,χ)/b(−s,ρ(χ)−1) up to multiplication by invertible functions.

Proof

We can find a number field \(\mathbb{F}\), a quadratic or trivial extension \(\mathbb{E} \) of \(\mathbb{F}\), a division algebra \(\mathbb{D}\) over \(\mathbb {E}\), a place v 0 of \(\mathbb{F} \), a nontrivial additive character ψ′ of \(\mathbb {A}_{\mathbb{F}}/\mathbb{F}\), a character χ′ of \(C_{\mathbb{F}}\) and an ϵ-hermitian matrix \(A^{\prime} \in \mathfrak{n}(\mathbb{F})\) so that \(\mathbb{F}_{v_{0}}=F\), \(\mathbb {E}_{v_{0}}=E\), \(\mathbb{D}_{v_{0}}=D\), \(\psi ^{\prime}_{v_{0}}=\psi\), \(\chi^{\prime}_{v_{0}}=\chi\) and A′ is equivalent to A over \(\mathbb{F}_{v_{0}}\). Let S be a finite set of places of \(\mathbb{F}\), containing v 0, outside of which \(\mathbb{E}\), \(\mathbb{D}\), ψ′, χ′ and A are all unramified. It follows from (3.1) and [32, (24)] that

$$\frac{a_S(s,\chi^{\prime})}{b_S(s,\chi^{\prime})}\cdot\frac {\beta _S(-s,\rho (\chi^{\prime} )^{-1})}{b_S(-s,\rho(\chi^{\prime})^{-1})}\cdot\prod _{v\in S}c_v\bigl(s, \chi^{\prime}_v,A^{\prime}, \psi^{\prime}_v\bigr)=\frac{\beta _S(s,\chi^{\prime})}{b_S(s,\chi ^{\prime})}, $$

where \(\beta _{v}(s,\chi^{\prime}_{v})=L(s+1/2,\chi^{\prime}_{v})\) in Cases (I3) and (\(\mathrm{I}_{4}^{s}\)), and \(\beta _{v}(s,\chi^{\prime}_{v})=1\) in all other cases. We can rewrite this as

$$ \prod_{v\in S}C_v\bigl(s,\chi ^{\prime}_v,A^{\prime},\psi^{\prime}_v \bigr)=b_S \bigl(-s,\rho\bigl( \chi^{\prime} \bigr)^{-1} \bigr)/a_S\bigl(s,\chi^{\prime}\bigr). $$
(B.2)

This equality translates informally to “\(\prod_{v}C_{v}(s,\chi^{\prime} _{v},A^{\prime} ,\psi^{\prime}_{v})=1\)”.

We first consider Case (I4). When F is a p-adic field, the factor c(s,χ,A,ψ) is calculated explicitly by Sweet in [56, 57] (the formula in [56] can be extended to arbitrary characters of F ×, as was noted in [57]). Applying (B.2) with \(\mathbb{F}=\mathbb{Q}\) or \(\mathbb {F}=\mathbb{Q}(\sqrt{-1})\) and v 0=∞, we see that his formula remains true for \(F=\mathbb{R}\) or \(F=\mathbb{C}\). Lemma B.1 is a simple consequence of this formula.

In the p-adic case an explicit formula for the factor c(s,χ,A,ψ) is obtained in [30] in Case (I2), and in [67] in Cases (I0) and (I1). By the same reasoning, we can check that these formulas are still true in the archimedean case, from which Lemma B.1 follows in Cases (I0)–(I2).

Finally, we consider Case (I3). We can find a number field \(\mathbb{F}\) which has two places v 0 and v 1 such that \(\mathbb{F}_{v_{1}}=\mathbb{F}_{v_{2}}=F\). Let \(\mathbb{D}\) be a quaternion algebra with center \(\mathbb{F}\) ramified precisely at v 0 and v 1. Le us choose ψ′, χ′ and A′ so that \(\psi^{\prime} _{v_{i}}=\psi \), \(\chi^{\prime}_{v_{i}}=\chi\) and A′ is equivalent to A over \(\mathbb{F} _{v_{i}}\) for i=1,2. Proposition 10.4(2) allows us to assume that \(\prod_{v\neq v_{1},v_{2}}\eta_{v}(A^{\prime}_{v})=1\). Fix a quadratic form T of dimension 2n over F satisfying χ T =χ A . Proposition 10.4(1) gives a global quadratic form which is equivalent to T over \(\mathbb{F}_{v_{i}}\) for i=1,2 and whose localizations are \(A^{\prime}_{v}\) outside the two places. We deduce from (B.2) that

$$c(s,\chi,A,\psi)^2=c(s,\chi,T,\psi)^2. $$

This finishes the list of remaining cases needed to be considered. □

We are now ready to prove Lemma 3.1.

Proof of Lemma 3.1

The proof mimics the argument of the proof of Theorem on p.106 of [45]. An important ingredient of the proof of [45] is the exact location of the poles of c(s,χ,A,ψ). This is carried out in Lemma B.1, and we can proceed in exactly the same way. □

Definition B.1

The normalization of M(s,χ) is defined by setting

$$M^\dagger_\mathcal{W}(s,\chi,A,\psi)=C(s,\chi,A, \psi)^{-1}M(s, \chi). $$

We can easily see that

$$ M^\dagger_\mathcal{W} \bigl(-s,\rho(\chi)^{-1},A, \psi^{-1} \bigr)\circ M^\dagger_\mathcal{W}(s,\chi,A, \psi)=\mathrm{Id}. $$
(B.3)

B.2 Local theory via gamma factors

In the ensuing discussion we assume A to be maximally split, i.e., the form (x,y)↦〈xA,y on W /W Δ admits a totally isotropic subspace of dimension [n/2]. For \(\pi\in\mathrm{Irr}(\bar{G})\) we set

$$\gamma^\mathcal{W}(s,\pi\times\chi,\psi)=z(\pi)\varepsilon _{W,\psi}^{-1} \varGamma ^\mathcal{W} \biggl(s- \frac{1}{2},\pi^\vee\times\chi,A, \psi \biggr). $$

Recall that the factor \(\varGamma ^{\mathcal{W}}(s,\pi\times\chi ,A,\psi)\) is defined as the proportionality constant of the functional equation in Theorem 4.1(3). See [4, 5, 32] for the definition and description of the gamma factor in the odd orthogonal and metaplectic cases. The gamma factor is independent of the choice of A except in the case G is of type (I3) and n is odd, in which case it still depends on the choice of maximally split A, but we will suppress the dependence on A from the notation.

The calculation of the gamma factor is done in the archimedean case and minimal cases in [4, 32] except in the quaternion case. These cases are yet to be done. The gamma factor may not be quite correct in these cases, but in this paper we require only that it satisfies the formal properties described in following proposition.

Proposition B.1

(Cf. [4, 32])

The factors \(\gamma^{\mathcal{W}}(s,\pi\times\chi,\psi)\) satisfy the following properties.

  1. (1)

    If π is a subquotient of \(\operatorname{Ind} ^{G}_{P(Y)}\sigma \), then

    $$\gamma^\mathcal{W}(s,\pi\times\chi,\psi)=\gamma^\mathcal {Y}(s, \sigma \times \chi, \psi). $$
  2. (2)

    \(\gamma^{\mathcal{W}}(s,\pi^{\vee}\times\chi ,\psi )=\gamma^{\mathcal{W}} (s,\pi\times\rho(\chi),\psi)\) except in the metaplectic case, in which case \(\gamma^{\mathcal{W}}(s,\pi^{\vee}\times\chi,\psi)=\gamma ^{\mathcal{W}} (s,\pi\times\chi ,\psi^{-1})\).

  3. (3)

    \(\gamma^{\mathcal{W}}(s,\pi\times\chi,\psi )\gamma^{\mathcal{W}} (1-s,\pi^{\vee}\times\chi^{-1},\psi^{-1})=1\).

  4. (4)

    In Case (II) we have

    $$\gamma^\mathcal{W}(s,\pi\times\chi,\psi)=\gamma^{GJ}(s,\pi \otimes \chi_1,\psi)\gamma^{GJ} \bigl(s,\pi^\vee \otimes \chi_2,\psi \bigr). $$

Proof

These results are proven in [4, 32] when δ=1. Propositions 4.1, 4.2 and Lemma 4.2 prove the first assertion. We can prove the second statement in the same way as in [32] (see [4], where the metaplectic case is discussed, and see also the proof of Proposition 5.4). The third statement follows from (B.3). The last statement is proven in the appendix of [70]. □

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Yamana, S. L-functions and theta correspondence for classical groups. Invent. math. 196, 651–732 (2014). https://doi.org/10.1007/s00222-013-0476-x

Download citation