Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Mellin-Barnes presentations for Whittaker wave functions

Mellin-Barnes presentations for Whittaker wave functions We obtain certain Mellin-Barnes integrals which present Whittaker wave functions related to classical real split forms of simple complex Lie groups. Keywords: Whittaker function, Mellin transform, Lusztig parametrization 1 Introduction 1. In this paper we obtain certain Mellin-Barnes integrals which present Whittaker func- tions related to classical real split forms of simple complex Lie groups. Whittaker functions originally appeared as solutions of a special differential equation of hypergeometric type [WW]. They were then realized as eigenfunctions of Laplace operators of the group GL(2,R), see e.g. [V]. This construction was generalized to real semisimple groups and led to a series of significant researches in representation theory, see e.g. [J, Sch]. B.Kostant related the group theory of Whittaker functions with a family of Toda integrable systems [T]. Whittaker functions admit several integral presentations. Particular examples were obtained more than forty years before, see e.g. [Bu]. S.Kharchev and D.Lebedev in [KL] found integral presentation of GL(n,R) Whittaker wave functions using the machinery of inverse scattering method. Then in [GKL] the same presentation was obtained by cal- culating matrix elements in certain infinite dimensional ”Gelfand-Zetlin” representations. A.Givental found quite different integral presentation for the same Whittaker function using geometric arguments. A.Gerasimov et al. then realized in [GKLO, GLO] that Givental construction can be reformulated as the description of the matrix element in principal series representation using Gauss decomposition and Lusztig coordinates [L] on nilpotent subgroup. Moreover, Whittaker wave functions for all classical split real groups were described in [GLO] as certain integrals over positive cone in corresponding maximal nilpotent subgroup. Recently both presentations were generalized to a quantum group setting [SS] using the machinery of cluster mutations. In particular, the completeness and orthogonality of q-versions of GL(n,R) Whittaker wave functions were proved there. We start with the presentation of Whittaker wave function as of special matrix element [GLO] −(ρ,x) L R Ψ (x) = e (v , exp (−x)v ), (1.1) iλ−ρ iλ−ρ see (2.17) and (2.18) for precise notations, and rewrite this matrix element as Barnes integral. Our technique is rather elementary. It contains four ingredients: use of Lusztig arXiv:1907.00637v1 [math.RT] 1 Jul 2019 coordinates, Berenstein-Zelevinsky transform, Plancherel formula for Mellin transform and linear algebra matrix calculations. Lusztig coordinates are convenient in the descrip- tion of Whittaker functions by several reasons. They separate Lusztig positive cone N , which is original space of integration of the matrix element in consideration. Cluster type mutations between different Lusztig chats enable us to avoid the use of formulas for the action of the Lie algebra and observe elegant expressions for invariant forms and vectors. The definition (1.1) of the matrix element exploit two special vectors in generalized principal series; they are called left and right Whittaker vector and the Whittaker func- tions is the matrix element of the Cartan flow related to these vectors. The right Whittaker vector has a simple direct expression in Lusztig coordinates, see Proposition 2.2. The def- inition of the left Whittaker vector requires the conjugation by the longest element w of the Weyl group and the calculation of Gauss coordinates of the new matrix. This induces a birational map of the nilpotent subgroup N which in slightly different setting was studied by A.Berenstein and A.Zelevinsky [BZ] and was crucial for their description of Lusztig coordinates via ’generalised minors’ – matrix elements in fundamental representations. We find another expressions for this birational map (we call it BZ transform) just by elementary linear algebra calculations using the induction by the rank of the group. This is the main point of the construction and we suspect that the formulas for BZ maps which we found will serve elsewhere. The precise description of BZ maps is given in Theorems 3.1, 4.1, 5.1 and 6.1 The rest is the application of the convolution theorem for Mellin transform, which we use in a form of Plancherel formula [Tt]. It gives a presentation of Whittaker functions for classical split real groups GL(n,R), SO(n, n), SO(n, n+1) and Sp(2n,R) (which present root system of A, D, B and C series) by means of Barnes integrals. These presentations can be equivalently rewritten as Mellin transforms of Whittaker functions. See Section 7. For the group GL(n,R) we have now two different integral presentation of Whittaker function by Mellin–Barnes integral: Kharchev-Lebedev formulas [KL, GKL] and (1.2) of the present paper. They are quite different. We do not know how to derive one from another. On the other hand, Mellin transform for GL(n,R) Whittaker function was calculated by E.Stade [St]. Our formula (7.1) also differs from that of [St]. The following are the main results of the paper. 2. Let x = (x , . . . , x ), x ∈ R be the coordinates on the Cartan subalgebra h of 1 n i gl(n,R), λ ∈ R be dual coordinates on h , λ = (λ , . . . , λ ), so that the element h(x) ∈ h i 1 n P P n n is given by the diagonal matrix h = x e ; and (x, λ) = x λ . Let Ψ (x) be i ii k k λ i=1 k=1 the Whittaker wave function for GL(n,R), defined by the relation (2.18). Theorem 3.2 The function Ψ (x) is given by the integral −i(x,λ) Ψ (x) = exp (γ − γ )x λ 1,n+2−k 1,n+1−k k (2πi) 1≤k≤n (1.2) Γ(γ − γ + i(λ − λ ))Γ(γ − γ )dγ . kl k+1,l k n+k−l+1 kl k+1,l+1 k,l 1≤k<l≤n Here we set γ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n; k,l d = n(n − 1)/2 is the dimension of the maximal unipotent subgroup of GL(n,R). The 2 integration cycle C is a deformation of the imaginary plain Re γ = 0 into the domain k,l D ⊂ C of the analyticity of the integrand. For instance one can use iterated integration, which starts with integration over γ the over γ , then over γ etc., which n−1,n n−2,n−1 n−2,n respects the conditions Re γ > Re γ for all admissible triples k, l, m. k,l k+1,m Let x = (x , . . ., x ), x ∈ R be the coordinates on the Cartan subalgebra h of so(n, n), 1 n i and λ = (λ , . . ., λ ), λ ∈ R be dual coordinates on h , so that the element h(x) ∈ h is 1 n i P P n n given by the diagonal matrix h = x (e − e ) and (x, λ) = x λ . i ii 2n+1−i,2n+1−i k k i=1 k=1 Let Ψ (x) be the Whittaker wave function for SO(n, n) defined by the relation (2.18). Theorem 4.2 The function Ψ (x) is given by the integral n−2 −i(x,λ) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) (2πi) Γ(γ + δ − γ − δ + 2iλ ) k,n k,n k+1,n k+1,n k k=1 Γ(ξ + i(λ −λ ))Γ(η + i(λ +λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < k,l k,l l ≤ n, d = n(n − 1) is the dimension of the maximal unipotent subgroup of SO(n, n). H(x, γ) = (γ + δ )(x − x ) + γ (x − x ) − δ (x + x ), (1.3) 1,j 1,j j j−1 1,n n n−1 1,n n−1 n j<n ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, (1.4) i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ 1 ≤ i < n, i,n i,n i+1,n i,n i,n i+1,n The integration cycle is a deformation of the imaginary plain Reγ = Re δ = 0 into k,l k,l nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Reδ > 0, Re ξ > 0, Reη > 0, 1 ≤ i < j ≤ n. i,j i,j i,j i,j Let x = (x , . . ., x ), x ∈ R be the coordinates on the Cartan subalgebra h of so(n + 1 n i 1, n), and λ = (λ , . . . , λ ), λ ∈ R be dual coordinates on h , so that the element h(x) ∈ h 1 n i P P n n is given by the diagonal matrix h = x (e −e ) and (x, λ) = x λ . i ii 2n+2−i,2n+2−i k k i=1 k=1 Let Ψ (x) be the Whittaker function for SO(n + 1, n) defined by the relation (2.18). Theorem 5.2 The function Ψ (x) is given by the integral −i(x,λ) Ψ (x) = exp H(x, γ)Γ(γ + 2iλ )Γ(γ )dγ · λ n n n n (2πi) n−1 Γ(γ + δ + 2iλ )Γ(γ − γ )dγ · k,k+1 k,k+1 k k k+1 k k=1 Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n 3 Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l and γ = 0 if k = 1 or k = n + 1, d = n is the dimension of the maximal unipotent subgroup of SO(n + 1, n) H(x, γ) = (γ + δ )(x − x ) − γ x . (1.5) 1,j 1,j j j−1 1 n j=2 ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, (1.6) i,j i,j+1 i,j+1 i+1,j i,j ξ = γ + δ − γ , η = −γ − δ + γ , 1 ≤ i < n. i,n i+1,n i,n i+1 i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Re γ > 0, k = 1, ..., n. i,j i,j i,j i,j k Let x = (x , . . ., x ), x ∈ R be the coordinates on the Cartan subalgebra h of 1 n i sp(2n,R), and λ = (λ , . . . , λ ), λ ∈ R be dual coordinates on h , so that the ele- 1 n i ment h(x) ∈ h is given by the diagonal matrix h = x (e − e ) and i ii 2n+1−i,2n+1−i i=1 (x, λ) = x λ . Let Ψ (x) be the Whittaker function for Sp(2n,R) defined by the k k λ k=1 relation (2.18). Theorem 6.2. The function Ψ (x) is given by the integral n−1 −i(x,λ) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) · (2πi) Γ(2γ − 2γ + 2λ ) k k+1 k k=1 Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ · k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l k<l Γ(γ − γ + iλ )Γ(γ − γ )dγ . k k+1 k k k+1 k k=1 Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < k,l k,l l ≤ n, and γ = 0 if k = 1 or k = n + 1, d = n , H(x, γ) = (γ + δ )(x − x ) − 2γ x . (1.7) 1,j 1,j j j−1 1 n j=2 ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j (1.8) ξ = γ + δ − 2γ , 1 ≤ i < n, i,n i+1,n i,n i+1 η = −γ − δ + 2γ , i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Re γ > 0, k = 1, ..., n. i,j i,j i,j i,j k 4 2 Generalities 2.1 Whittaker vectors and Whittaker wave functions Let G be a split real form of a reductive group over C, B two opposite Borel subgroups of G, N their maximal nilpotent subgroups and H = B ∩B the Cartan subgroup. Let ± + − D(G) be the ring of bi-invariant differential operators on G. Denote by b , n and h the ± ± corresponding Lie algebras. Let Δ ∈ h be the systems of positive and negative roots of g, Π ⊂ Δ be a subsystem of simple roots and W the Weyl group of G. Denote by G + 0 the big Bruhat cell G = N HN . It is dense open in G. 0 − + For each index i of a simple root α ∈ Π denote by e = e , f = f = e and i i α i α −α i i i h = h the corresponding Chevalley generators of g, so that i α α (h ) = 2 (2.9) i i and e , f and h = α are standard generators of the embedded Lie algebra sl : i i i 2 [h , e ] = 2e , [h , f ] = −2f , [e , f ] = h . i i i i i i i i i Let ζ : N → C be nondegenerate characters, defined by the relations ± ± −t −t ζ (exp(te )) := e , ζ (exp(tf )) := e (2.10) + i − i for all simple roots α . In this paper Whittaker function is a analytical function ϕ on G i 0 satisfying the conditions ϕ(g) is an eigenfunction for any D ∈ D(G); (2.11) ϕ(n gn ) = ζ (n )ϕ(g)ζ (n ). (2.12) − + − − + + for any g ∈ G , n ∈ N , n ∈ N . The condition (2.11) implies that Whittaker functions 0 − − + + are completely determined by their restriction to Cartan subgroup H. B. Kostant noticed [K] that the restriction of the action of the center Z(g) of universal enveloping algebra U(g) to the space of Whittaker functions can be identified with Hamiltonians of the Toda chain related to the root system Δ = Δ ⊔ Δ . + − Whittaker functions can be constructed as matrix elements between a pair of dual Whittaker vectors. Let V be a representation of Lie algebra g, such that its restriction to b admits an extension to representation of the Borel group B compatible with g-module + + −1 1 structure on V , that is bgb u = Ad (g)u for any u ∈ V , g ∈ g and b ∈ B . A vector b + v ∈ V is called right Whittaker vector if e v = −v for any α ∈ Π. i i Let also V be a representation of Lie algebra g, such that its restriction to b admits an extension to representation of the Borel group B compatible with g-module structure on ′ ′ ′ V . A vector v ∈ V is called left Whittaker vector if ′ ′ f v = −v for any α ∈ Π. i i (g, B)- module in Harish-Chandra terminology 5 ′ Assume now that V and V are dual to each other, that is there is a nondegenerate ′ ′ ′ ′ ′ pairing ( , ) : V ⊗ V → C such that (xu , u) + (u , xu) = 0 for any u ∈ V , u ∈ V and x ∈ g. Then the matrix element ϕ(g) = (v , gv) (2.13) is well defined for any g ∈ G satisfies the condition (2.12) . If in addition the representations V and V are quiasi-simple, that is the center Z(g) acts on them by scalar operators, then the Whittaker functions (2.13) are eigenfunctions of generalized Toda Hamiltonians. It is common to use for this aim the representations ∗ ∗ of G induced from Borel subalgebra B . Namely for any µ ∈ h let χ : B → C be a − µ − one-dimensional representation (character) of B defined by the relation h µ (h) χ(e n) = e for any h ∈ h and n ∈ N . Denote by V the space of analytical functions on G satisfying the condition µ 0 f(bg) = χ (b)f(g) for any b ∈ B , g ∈ G (2.14) µ − 0 The element of the group B act on the functions from V by the right shifts, b · f(g) = + µ f(gb) for g ∈ G and b ∈ B and the elements of g act by infinitesimal right shifts, 0 + tx xf(g) = f(ge )| . (2.15) t=0 dt This induced module is quasisimple, see [Zh1], and can be regarded to wide extent as a representation of non-unitary principal series. If µ + ν = −2ρ then the pairing hf, gi = f(n)g(n)dn, f ∈ V , g ∈ V µ ν is formally invariant. Here ρ = α. The pairing is invariant under condition of α∈Δ 2 + the convergency of the integral. Here dn is invariant measure on N . We use instead sesquilinear pairing (f, g) = f(n)g(n)dn, f ∈ V , g ∈ V (2.16) µ ν where N ⊂ N is Lusztig positive cone, see (2.23). It is invariant when ν + µ¯ = −2ρ and ∗ + f and g rapidly vanish at the boundary of N . In the following we investigate right Whittaker vector v in the space V , left Whittaker vector v in V , where ν + µ¯ = −2ρ and the Whittaker wave function −(ρ,x) L R Ψ (x) = e (v , exp (−x)v ) (2.17) ,µ ν ν µ Here x ∈ h is an element of Cartan subalgebra. When µ = ν is a parameter of unitary principal series, µ = ν = iλ − ρ, where λ is real, that is λ(h ) ∈ R for all simple roots α , k k see (2.9), the integral in the RHS of (2.17) definitely converges and has the form −(ρ,x) L R Ψ (x) := Ψ (x) = e (v , exp (−x)v ) (2.18) λ iλ−ρ,iλ−ρ iλ−ρ iλ−ρ 6 ˜ The functions Ψ (x) and Ψ (x) are eigenfunctions for a family of Toda Hamiltonians ,µ ν λ H , −(ρ,x) (ρ,x) −(ρ,x) L R H Ψ (x) = e C e Ψ (x) = e (v , exp (−x)C v ), k λ k λ k iλ−ρ iλ−ρ where C are generators of the ring Z(g). We will also call Ψ (x) Whittaker wave func- k λ tion despite it differs from the restriction to Cartan subgroup of the Whittaker function L R −(ρ,x) (v , gv ) by the normalizing factor e chosen for the agreement with Toda Hamil- iλ−ρ iλ−ρ tonians. The Whittaker function in a form of matrix coefficient (2.18) and (2.16) was studied in [GKLO, GLO]. The paper [GKLO] contains integral presentations of Whittaker functions generalizing Givental formula [G] for gl . The integration over positive cone N implies the important property of this construction: the function Ψ (x) rapidly decreases in the region h = {h ∈ h , (α, h) > 0 for all α ∈ Δ }. ∗ + For G = GL(n,R) this Whittaker function is known to be symmetric on parameters λ, see [Si, SS]. 2.2 Lusztig coordinates In this subsection we describe Lusztig parametrization of the group N in slightly different notation. Let w be the longest element of the Weyl group W and w = s s ...s s (2.19) 0 i i i i 1 2 N−1 N be its reduced decomposition. Here s is the simple reflection in h corresponding to the root α . We associate to (2.19) the following normal (or convex in other terminology) ordering of the set Δ : γ = α , γ = s (α ), γ = s s (α ), . . . γ = s s · · ·s (α ). (2.20) 1 i 2 i i 3 i i i N i i i N 1 1 2 1 2 3 1 2 N−1 A normal orderings < of the system Δ of positive roots of a reductive Lie algebra over C is characterized by the condition α < α + β < β or β < α + β < α (2.21) if α, β, α+β are all in Δ . The rule (2.20) establishes a bijective correspondence between reduced decompositions of w and normal orderings of positive roots [Zh2]. Elementary transformations of reduced decompositions are performed by means of braid group relations s s · · · = s s · · ·, i 6= j, i j j i | {z } | {z } n +1 n +1 i,j i,j where n = a a + 1 and a is the entry of Cartan matrix, are reformulated into i,j i,j j,i i,j changes of normal orderings inside subsystems of the rank two: α, α + β, β → β, α + β, α if α, β ∈ A α, α + β, α + 2β, β → β, α + 2β, α + β, α if α, β ∈ B α, α+ β, 2α+ 3β, α+ 2β, α+ 3β, β → β, α+ 3β, α+ 2β, 2α+ 3β, α+ β, α if α, β ∈ G 7 and α, β → β, α if α, β ∈ A × A . 1 1 The reverse of the normal ordering of positive roots does not destroys its defining prop- erty (2.21) and thus is the normal ordering as well. Moreover the reverse respects the above transformations of normal orderings and thus defines an involutive automorphism of the root system preserving the subsystem of positive roots. Thus it is induced by an automorphism θ of Dynkin diagram . In particular this means that the last root γ is simple, as well as the first root γ = α , and 1 i γ = θ(α ) N i Following Lusztig [L] we associate to each reduced decomposition (2.19) (or, equiva- lently, to the related normal ordering (2.20)) the group element X(t) ∈ N X(t) = exp (t e ) · · · exp (t e ) (2.22) γ i γ i 1 1 N N The correspondence (2.22) establishes a birational isomorphism of the varieties N and |Δ | |Δ | + R . Denote by N ⊂ N , N ∼ R the open subset of N defined by the conditions ∗ + ∗ t > 0 for all γ ∈ Δ γ + N = {X(t) | t > 0, γ ∈ Δ } (2.23) ∗ γ + The definition of N does not depend on the choice of reduced decomposition of w , see ∗ 0 (2.24), (2.25), (2.26). The passage to another reduced decomposition defines the involutive transition map X(t ) = X(t) where t t t t α α+β β α+β ′ ′ ′ t = , t = t + t , t = (2.24) α β α α+β β t + t t + t a β a β for the changes of the normal order . . . α, α + β, β, . . . → . . . β, α + β, α, . . . or . . . β, α + β, α, . . . → . . . α, α + β, β, . . . of A subsystem, see [L]; t t t α+2β α π π t t t α+β 2 β α+β α+2β ′ ′ ′ 1 ′ t = , t = , t = , t = , (2.25) α α+β α+2β β π π π π 2 1 2 1 where 2 2 π = t t + (t + t )t , π = t t + (t + t ) t 1 β α+2β β α+β α 2 α+2β β α+β α for the changes of the normal order . . . , α, α + β, α + 2β, β, . . . → . . . β, α + 2β, α + β, α, . . . or . . . , β, α + 2β, α + β, α, . . . → . . . α, α + β, α + 2β, β, . . . We further preserve the notation θ for the corresponding automorphism of Lie algebra g and group G. 8 of B subsystem, see [BZ, Theorem 3.1]; and 3 2 3 t t t t t α α+3β π π α+β 2α+3β α+2β 3 ′ ′ ′ t = , t = , t = , α α+β 2α+3β π π π π 3 2 3 4 (2.26) t t t t t π π β α+3β 2α+3β α+β 4 α+2β ′ ′ 1 ′ t = , t = t = , α+2β α+3β β π π π π 1 2 4 1 where 2 2 2 π =t t t t + t t (t + t ) t + (t + t )t t t , 1 β α+3β 2α+3β β α+3β α+2β α+β α β α+2β 2α+3β α α+2β α+β 2 2 3 2 2 3 2 2 3 π =t t t t + t t (t + t ) t + (t + t ) t t t + 2 2α+3β α+2β α+β α β α+2β α β α+3β α+2β β α+3β 2α+3β α+β 2 2 +t t t t t (3t t + 2t + 2t t + 2t t ), β α+3β 2α+3β α β α+2β α+2β α+β β α+β α+β α+2β 3 2 3 3 2 3 3 2 3 π =t t t t + t t (t + t ) t + (t + t ) t t t + 3 2α+3β α+2β α+β α β α+2β α β α+3β α+2β β α+3β 2α+3β α+β 2 2 2 +t t t t t (3t t + 3t + 3t t + 2t t ), α+3β 2α+3β α β α+2β α+2β α+β β α+β β α+β α+2β 2 2 3 3 3 π =t t t t t t t t + 2t t (t + t ) t + 4 2α+3β β α+3β 2α+3β β α+3β α+2β α+β α β α+3β α+2β α+2β 2 2 + (3t t + 3t + 3t t + 2t t )t t t + β α+2β α+2β α+β β α+β 2α+3β α α+2β α+β 2 2 2 3 +t (t t (t + t ) + (t + t )t t ) β α+3β α+2β α+β β α+2β 2α+3β α α+β for the changes of the normal order . . . , α, α+ β, 2α+ 3β, α+ 2β, α+ 3β, β, . . . → . . . β, α+ 3β, α+ 2β, 2α+ 3β, α+ β, α, . . . ; . . . , β, α+ 3β, α+ 2β, 2α+ 3β, α+ β, α, . . . → . . . α, α+ β, 2α+ 3β, α+ 2β, α+ 3β, β, . . . of G subsystem, see [BZ, Theorem 3.1]. Let (, ) be W -invariant bilinear form on h . We use the common notation 2γ ∨ ∨ ∗ γ = , γ ∈ h (γ, γ) for coroots. When identifying h and h by means of the form ( , ) we denote them by h , ∨ ∗ so that µ (h ) = (µ, γ ). This notation is in agreement with (2.9). Let µ ∈ h be a weight (an integer weight), that is µ (h ) ∈ Z for any simple root α . Set i i µ (,µ γ ) t = t (2.27) γ∈Δ Lemma 2.1 The product (2.27) does not depend on the choice of the reduced decompo- sition of w . Thus t is a well defined rational function on N . Proof. This is a direct consequence of [BZ, Theorem 4.3], which states that the matrix + − element Δ (g) = (v , gv ) (generalized minor), restricted to N , admits a presentation k + k k Δ (X(t)) = t 9 + − where (ω , α ) = δ for each simple root α . Here v and v are highest and lowest weight k ik i i k k vectors of the fundamental representation V . Another way to see that is to notice that the transition maps (2.24), (2.25) and (2.26) leave invariant the following monomials: α β t = t t and t = t t for (2.24), α α+β β α+β α 2 β t = t t t and t = t t t for (2.25), α α+2β β α+2β α+β α+β α 3 2 3 β 2 t = t t t t t and t = t t t t t for (2.26) α β α+β 2α+3β α+2β α+3β α+3β α+2β 2α+3β α+β which ensure the invariance of the product (2.27) under all transition maps. Lemma 2.2 (see [GLO, Proposition 2.1]) The invariant measure dn on N is dt dn = t (2.28) γ∈Δ Proof [GLO]. First one checks by direct calculation that the measure dt dt t t γ∈Δ is invariant with respect to transition maps (2.24), (2.25) and (2.26). Thus the measure ρ dt t is invariant as well. Second we check that this measure is invariant with respect to multiplication of the nilpotent matrix X(t) by group element exp (se ) from the right, where α is arbitrary simple root. X(t) → X(t) · exp (se ) (2.29) To this end we choose a normal ordering which ends by the simple root θ(α) (such or- dering surely exists, see [Zh2]). In these Lusztig coordinates the map (2.29) becames a translation t → t + s, the measure in the right hand side of (2.28) factorises to θ(α) θ(α) the product ω ∧ dt , where ω does not depend on t and thus is invariant under that θ(α) θ(α) translation . 2.3 Structure of Whittaker vectors To describe Whittaker vectors, we need some more invariants of transition maps (2.24)– (2.26). Proposition 2.1 (i) The sum t + t + t is invariant with respect to transition map (2.24); α α+β β (ii) The sums t +t and t +t are invariant with respect to transition map (2.25); α α+2β α+β β (iii) The sums t + t + t and t + t + t are invariant with respect to α 2α+3β α+3β α+β α+2β β transition map (2.26). Proof. Direct Maple check. Corollary 2.1 The sum t does not depend on the choice of coordinates t . γ γ γ∈Δ 10 Moreover, the sums of coordinates over the roots of the same length are invariant as well due to statements (ii) and (iii) of Proposition 2.1. Since Whittaker vectors are functions on G from the spaces V and V , they are 0 µ ν completely determined by their restrictions to the subgroup N . Denote respectively the R R R L restriction v (X(t)) of the functions v (g) to N by ω (t) and the restriction v (X(t)) µ µ µ ν L L of the functions v (g) to N by ω (t) ν ν R R Proposition 2.2 The right Whittaker vector v is given by the function ω (t) on N µ µ ω (t) = exp − t γ∈Δ Proof. Choose a simple root α. The group element g exp(se ) has the same Gauss components from N and H. Thus it is enough to prove that for any simple root α R −s R v (X(t) exp(se )) = e v (X(t)) µ µ Again we choose a normal ordering which ends by θ(α). Then X(t) exp(se ) has the same coordinates as X(t) except t which shifts to t (α) + s. Then the sum t θ(α) θ γ γ∈Δ R −s R changes to s + t and the function ω (t) transmits to e ω (t) γ∈Δ µ µ Note also that for any real number ǫ the function ω (ǫt) gives rise to a Whittaker ǫ R vector with a renormalized character ζ , see (2.10). In particular, the function v¯ (g) on + µ g ∈ G , where g = Y TX(t), Y ∈ N , T ∈ H, X(t) ∈ N 0 − + R R v¯ (g) = χ (H)ω (X(−t)) µ µ −1 is the Whittaker vector from the space V with respect to the character ζ , that is R s R v¯ (g exp(se )) = e · v¯ (g) µ µ for each simple root α. We use in the following the standard lifts s¯ of simple reflections s ∈ W to the α α i i group elements which we denote by the same letter, s¯ = exp(e ) exp(−f ) exp(e ) (2.30) α i i i so that the products w¯ = s¯ · · ·s¯ do not depend on the choice of reduced decomposition α α i i 1 l of any element w ∈ W . Then this lift to G of the longest element group element w has the property −1 −1 w¯ e w¯ = Ad (e ) = −f , w¯ f w¯ = Ad (f ) = −e (2.31) 0 α w¯ α −w (α) 0 α w¯ α −w (α) 0 0 0 0 0 0 for each simple root α. This fact is a direct consequence of Tits’s result [T, Proposition 2.1 (3)] which states that if for a simple root α and w ∈ W there exists a simple root α i j −1 such that ws w = s , then the same is true for their lifts. See e.g. [BB, Lemme 4.9]. α α i j 11 Proposition 2.3 The function L R v (g) = v¯ (gw¯ ) ν ν is the left Whittaker vector in the space V and character ζ . ν − Proof. By the construction, the function u(g) = v¯ (gw¯ ) belongs to the space V . Choose 0 ν a simple root α and consider the function u(g exp(εf )). We have i α R R u(g exp(sf )) = v¯ (g exp(sf )w¯ ) =v¯ (gw¯ exp(−se )) = i i 0 0 i ν ν exp(−s) · v¯ (gw¯ )) = exp(−s) · u(g). The left Whittaker vector, as a function on G , is completely determined by its restriction ω to N . One of the goals of this work is a proper description of this restriction, applicable for the study of Mellin transform. The proposition 2.3 describes this restriction as follows. We start with the group element X(−t)w¯ . Take its Gauss decomposition ¯ ¯ X(−t)w¯ = Y · T · X, Y ∈ N , T ∈ H, X ∈ N . 0 − + Let p (t) be Lusztig coordinates of the element X ∈ N . Then the restriction of the left γ + Whittaker vector to N is given by the function ω (t) = χ (T ) · exp − p (t) ν γ γ∈Δ Denote by g and g the parts of Gauss decomposition of the group element g, ± 0 g = g g g , g ∈ N , g ∈ H, − 0 + ± ± 0 and by g the product g g . We see that the problem of writing precise expressions for 0+ 0 + the left Whittaker vector leads to the study of birational isomorphism τ of the manifold N and the map σ : N → H given by + + τ(X(t)) = (X(−t)w¯ ) , σ(X(t)) = (X(−t)w¯ ) 0 0 + 0 Another possibility, is to use for the construction of left Whittaker vector slightly different maps τ˜ : N → N and σ˜ : N → H given by + + + −1 −1 τ˜(X(t)) = X (t)w¯ , σ(X(t)) = X (t)w¯ . 0 0 + 0 Below we present explicit description of the maps τ and σ in Lusztig coordinates and use this description for the derivation of Mellin transforms of Whittaker functions. The maps τ˜ and τ are closely related to the birational transform η by Berenstein and w¯ Zelevinsky. The latter plays the crucial role in their derivation of the factorized expression of Lusztig coordinates via generalized minors [BZ, Theorem 1.4]. The map η is w¯ η (X) = w¯ X (2.32) w¯ 0 12 T where is an anti-automorphism of G, trivial on H, and satisfying the relations T T (exp(te )) = exp(tf )), and (exp(tf )) = exp(te )) α α α α −1 for each simple root α. Compute first w¯ X(t)w¯ . We have ← ← Y Y −1 −1 w¯ X(t)w¯ = w¯ exp t f w¯ = exp −t e (2.33) 0 0 γ α γ −w (α ) 0 k i 0 k 0 i k k k k −1 This expression coincides with (θ(X)) (t). We then have η (X) = (θ(X)w¯ ) = τ˜(θ(X)) (2.34) w¯ 0 + so that the maps η and τ˜ differ by Dynkin automorphism θ. The relation (2.33) implies w¯ also slightly more complicated relation between η and τ, w¯ η (X) = τ(ιθ(X)) (2.35) w¯ where ι is the birational automorphism of the manifold N , reversing the order of the product in Lusztig presentation (2.22) of the group element of N . Note that the map ι defined first for a given normal ordering, respects the transition maps (2.24)–(2.26) and thus does not depend on a choice of Lusztig coordinates. Having in mind relations (2.34) and (2.35) we further use the name Berenstein– Zelevinsky (BZ) transform for the birational map τ : N → N and for the corresponding + + change of Lusztig coordinates. The map σ will be referred as (Cartan) twist. 2.4 Using Plancherel formula The convolution property for the Mellin transform admits the following reading. Let F (s) and F (s) be Mellin transforms of integrable functions f (t) and f (t), 2 1 2 dt F (s) = f (t)t . i i Let S and S be the strips of analyticity of F (s) and F (s), 1 2 1 2 S : α < Re s < b . i i i Assume that the intersection of strips −S and S is nonzero and both functions F (s) and 1 2 1 F (s) rapidly decrease when s goes to ±i∞ along the contour C = {Re s = c} ⊂ −S ∩S . 2 1 2 Then dt 1 f (t)f (t) = F (−s)F (s)ds (2.36) 1 2 1 2 t 2πi Here is a check: c+i∞ c+i∞ ∞ Z Z Z 1 1 dt F (−s)F (s)ds = F (−s)ds f (t)t = 1 2 1 2 2πi 2πi t c−i∞ c−i∞ 0 ∞ c+i∞ ∞ −c+i∞ ∞ Z Z Z Z Z 1 dt 1 dt dt s −s f (t) t F (−s)ds = f (t) t F (s)ds = f (t)f (t) . 2 1 2 1 1 2 2πi t 2πi t t 0 c−i∞ 0 −c−i∞ 0 13 The first equality is due to the inclusion C ⊂ S , the second uses the decreasing at infinities, the third is the change of variables s → −s, the fourth is the Mellin inversion theorem due to the inclusion −C ⊂ S . Since Mellin transform of the function f (t) equals 1 1 to F (s¯) , we can rewrite the convolution property (2.36) in a form of Plancherel formula Z Z dt 1 ¯ ¯ f (t)f (t) = F (−s¯)F (s)ds (2.37) 1 2 1 2 t 2πi 0 C under the same assumptions on the functions F (s) and F (s). 1 2 L R ρ L R Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of t ω (t) and ω (t) as of functions ν µ ν µ on N , Z Z dt dt R R γ L ρ L γ ωˆ (γ) = ω (t)t , ωˆ (γ) = t ω (t)t µ µ ν ν t t t>0 t>0 Here t means the product γ γ t = (t ) , γ∈Δ γ ρ where (t ) is the power of the variable t , and t is defined by (2.27). We now use the γ γ Plancherel formula (2.37) to rewrite Whittaker wave functions (2.17) and (2.18) in terms L R of ωˆ (γ) and ωˆ (γ). First we note that by definition (2.14), (2.15) of the action of the ν µ Lie algebra g in the space V , the restriction of the function exp (−x)v for any x ∈ h is given by the relation R R exp (−x)v | = ω (t) exp (−x)| = N N µ + µ + R −(x,µ ) ad R exp (−x) exp (x)ω (t) exp (−x) = e e ω (t) µ µ Mellin transform turns first order differential operators ad into operators of multiplica- tions on functions H(x, γ), see (3.17), (4.10), (5.10), (6.4). Then by (2.37) and Lemma 2.2 we have dt −(ρ+,µ x ) L ad R Ψ (x) =e ω (t)e ω (t) = ,µ ν ν µ (2.38) −(ρ+,µ x ) L R ¯ ˜ ωˆ (−γ¯) exp H(x, γ)ωˆ (γ)dγ ν µ (2πi) and −i(λ,x) L R ¯ ˜ Ψ (x) = ωˆ (−γ¯) exp H(x, γ)ωˆ (γ)dγ (2.39) iλ−ρ iλ−ρ (2πi) Here d is the dimension of N , the contour C is a deformation of imaginary plane Re γ = 0 R L into the intersection of strips of analyticity of ωˆ (γ) and ωˆ (−γ¯) under the assumption µ ν of nonemptiness of their intersections and their vanishing on imaginary infinities. 3 GL(n,R) 3.1 BZ transform Let v be a fixed basis of R and e ∈ Mat be matrix units, e (v ) = δ v . Denote by i i,j n×n i,j k j,k i ε ∈ h the basic elements of h defined by the condition ε (e ) = δ and by s the group i i j,j i,j i 14 P elements, related to simple reflection s , that is s = (e − e ) + e ε −ε i i,i+1 i+1,i j,j i i+1 j6=i,i+1 as element of Mat . We use the following decomposition of the Weyl group element n×n (n) w = w , (n) w = s (s s ) · · · (s s · · ·s ). n−1 n−2 n−1 1 2 n−1 Under the so that the corresponding ordering (2.20) of positive roots is ε , ε , ε , ε , ε , ε , · · · , ε , ε · · ·ε , n−1,n n−2,n n−2,n−1 n−3,n n−3,n−1 n−3,n−2 1,n 2,n 1,2 (n) where ε = ε − ε . Let X (t) be a group element of the subgroup N , given by (2.22), i,j i j + (n) X (t) = exp(t e ) exp(t e ) exp(t e ) · · · n−1,n n−1,n n−2,n n−2,n−1 n−2,n−1 n−1,n exp(t e ) exp(t e ) · · · exp(t e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n Here we regard e as Chevalley generators of Lie algebra gl . In fundamental repre- i,i+1 sentation they are given by the matrices (n) X (t) = (Id +t e ) (Id +t e )(Id +t e ) · · · n−1,n n−1,n n−2,n n−2,n−1 n−2,n−1 n−1,n (Id +t e )(Id +t e ) · · · (Id +t e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n where Id ∈ Mat is the identity matrix. We are going to solve the following equation n×n (n) (n) (n) TX (p) = X (−t)w¯ (3.1) 0+ where (n) X (p) = (Id +p e ) (Id +p e )(Id +p e ) · · · n−1,n n−1,n n−2,n−1 n−2,n n−2,n−1 n−1,n (3.2) (Id +p e )(Id +p e ) · · · (Id +p e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n and T is a diagonal matrix. In other word, we have to find out the unknown variables p as function of t and the diagonal matrix T depending on p (and thus on t ) such i,j i,j i,j i,j that relation (3.2) holds. Denote further in this section k = k + 1 − i. Theorem 3.1 a) BZ map τ, see (2.32) and(3.1), has the form t t t 1 ˆ ˆ ˆ i−1,i+j−1 i−2,i+j−1 1,i+j−1 p = · · · (3.3) i,j t t t t ˆ ˆ ˆ ˆ i,i+j i−1,i+j i−2,i+j 1,i+j b) The twisting matrix T ∈ H reads t · · ·t t · · ·t 2,n 2,3 3,n 3,4 T = t · · ·t · e + · e + · e + . . . 1,n 1,2 1,1 2,2 3,3 t t t 1,2 1,3 2,3 (3.4) t · · ·t 1 i,n i,i+1 + · e + . . . + · e . i,i n,n t · · ·t t · · ·t 1,i i−1,i 1,n n−1,n dt c) BZ transform preserves the measure , Y Y dt dp i,j i,j = . t p i,j i,j i<j i<j 15 Remark 1. BZ transform τ is involutive, that is the inverse relation p p p 1 ˆ ˆ ˆ i−1,i+j−1 i−2,i+j−1 1,i+j−1 t = · · · (3.5) i,j p p p p ˆ ˆ ˆ ˆ i,i+j i−1,i+j i−2,i+j 1,i+j (n) (n) has the same form as (3.3). Indeed, the map τ: X (t) → X (p) is defined by the (n) (n) (n) (n) n+1 relation X (p) = X (−t)w¯ , Since w¯ = (−1) Id, this is equivalent to 0 0 (n) (n) X (−t) = X (p)w . This means that we can interchange in (3.3) t to −p and 0 i,j i,j p to −t . After cancelation of signs we get (3.5). i,j i,j Remark 2. The Cartan twist T can be as well written in shorthand notation as T (t) = −1 T (p ), that is 1 p p p 1,2 1,3 2,3 T = · e + · e + · e + . . . 1,1 2,2 3,3 p · · ·p p · · ·p p · · ·p 1,n 1,2 2,n 2,3 3,n 3,4 (3.6) p · · ·p 1,i i−1,i + · e + . . . + p · · ·p · e . i,i 1,n n−1,n n,n p · · ·p i,n i,i+1 Indeed, T is specified by the condition (n) (n) (n) TX (p) = X (−t)w¯ . 0+ (n) n+1 Again, since w¯ = (−1) Id, this is equivalent to (n) −1 (n) n+1 (n) T X (−t) = (−1) X (p)w¯ , 0+ −1 n+1 which implies the equality T (−p) = (−1) T (t). The cancelation of signs gives (3.6). Corollary 3.1 The restriction of left Whittaker vector to N is given by the function X X L ν −ν ω (t) = t · exp − p = p · exp − p (3.7) i,j i,j i<j i<j where p are given by (3.3) i,j The formula (3.7) is well known, see [GLO] an references therein. However, we got it in a form convenient for the study of Mellin transform. Further on we find analogous form for other classical groups. The proof of Theorem 3.1 is based on inductive calculation of BZ transform τ and (n) related map σ. Namely, the group element X (−t) admits a factorization (n) (n−1) (n) X (−t) = X (−t) · A (−t) where (n) A (−t) = (Id −t e )(Id −t e ) · · · (Id −t e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n 16 and (n−1) X (−t) = (Id −t e ) (Id −t e )(Id −t e ) · · · n−1,n n−1,n n−2,n n−2,n−1 n−2,n−1 n−1,n (Id −t e )(Id −t e ) · · · (Id −t e ). 2,n 1,2 2,n−1 2,3 2,3 n−2,n−1 represents a group element of the unipotent subgroup of embedded GL(n − 1),   1 0   1 ∗ ∗   (n−1) X (−t) =     0 ∗ 0 0 1 (n) The matrix X (p) has the same structure, (n) (n−1) (n) X (p) = X (p) · A (p). (n) (n) In the induction step we first express Lusztig coordinates of A (p) via that of A (−t); (n) compute the input of A (−t) into Cartan twist T and reduce the rest of calculations to (n−1) the computation of BZ transform and twist of GL(n − 1) matrix X (−t), which is (n−1) given by a certain gauge transform of X (−t). (n) Denote by Λ the diagonal matrix with diagonal entries 1 1 (n) (n) Λ = t t · · ·t , Λ = = , j > 1 (3.8) 1,n 1,n−1 1,2 1,1 j,j t t ˆ 1,n−j+2 1,j+1 and define the variables t , 1 < i < j ≤ n by the relation i,j 1,j−i+2 t = t · (3.9) i,j i,j 1,j−i+1 (n) Proposition 3.1 a) The parameters p , j = 2, ..., n of A (p) are equal to 1,j p = (3.10) 1,j 1,n−j+2 (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ TX (p) = Λ · X (−t)w¯ (3.11) 0+ Proof of part a) of Proposition 3.1. Matrix element A of upper triangular unipotent i,j (n) matrix A (−t) is (n) (n) j−i A = A (−t) = (−1) t t · · ·t , t i < j (3.12) ˆ ˆ ˆ ˆ i,j i,j 1,j+1 1,j+2 1,i−1 1,i (n−1) (n) Due to the structure (3.10) of the matrix X (−t) the first row of X (−t) coincides (n) with that of A (−t) and is equal to (n) (n) (n) n−1 n−2 ((−1) A , (−1) A , . . .A ) = (t t · · ·t , . . . , t t , t , 1). 1,n 1,n−1 1,2 1,3 1,2 1,2 1,n 2,n 1,1 17 (n) n−1 Since the right multiplication by w¯ = e −e +. . .+(−1) e leaves the first row of 1,n 2,n n,1 (n) (n) the matrix X (t) invariant, permuting its entries, the parameters of A (p) and matrix (n) element T can be completely determined from the parameters of A (−t). Namely, 1,1 T = t t · · ·t and we have two presentations for the first row of the matrix 1,1 1,n 2,n n−1,n (n) A (p): 1 1 1 (1, p , p p , · · · , p p · · ·p ) = 1, , , . . . , 1,n 1,n 1,n−1 1,n 2,n 1,2 t t t t t · · ·t 1,2 1,2 1,3 1,2 1,3 1,n (n) so that the parameters p of the matrix A (p) are equal to p = . i,n 1,j 1,n+2−j (n−1) Let w¯ be the element of embedded group GL(n−1) representing the corresponding (n−1) longest element of the Weyl group, w¯ = e + e − e + . . . + (−1) e . Let U 1,1 2,n 3,n−1 n,2 be the matrix −1 −1 (n−1) (n) (n) (n) U = w¯ A (−t)w¯ A (p) (3.13) The following lemma is the crucial technical step in the calculation of the transformation (3.1). It states that the matrix U has the block structure ∗ 0 U = ∗ Λ where Λ is (n − 1) × (n − 1) diagonal matrix. More precisely Lemma 3.1 Matrix elements U equal zero for i 6= j, j > 1. Matrix element U equals i,j 1,1 −1 −1 (p p · · ·p ) = t t . . . t . The element U equals p = t for i > 1. 1,2 1,3 1,n 1,2 1,3 1,n i,i ˆ 1,i+1 1,i The proof of Lemma 3.1 is given in Appendix A. −1 (n) (n−1) (n−1) ′ (n) Proof of part b) of Proposition 3.1. Denote by Λ = w¯ Λ w¯ the 0 0 diagonal matrices with nonzero entries (n) (n) ′ ′ Λ = t t · · ·t , Λ = , i > 1 1,2 1,3 1,n 1,1 i,i 1,i (n) Since A (p) ∈ N, the relation (3.1) can be equivalently rewritten as −1 (n) (n−1) (n−1) (n) (n) ˜ ˜ TX (p) = X (−t)A (−t)w¯ A (p) 0+ or (n−1) (n−1) (n) (n−1) (n−1) (n−1) ′ ˜ ˜ ˜ TX (p) = X (−t)w¯ U = X (−t)w¯ Λ V = 0 0 0+ 0+ (n−1) (n) (n−1) Λ X (−t)w¯ V , 0+ where −1 −1 (n) ′ (n−1) (n) (n−1) (n) ¯ ˜ V = Λ U and X (−t) = Λ X (−t)Λ . (3.14) 18 (n−1) (n−1) The matrices Y = X (−t)w¯ and V have the following block structure due to Lemma 3.1: 1 0 1 0 Y = , V = 0 Y Z Id n−1 where Y and Id are (n − 1) × (n − 1) matrices and Z is 1 × (n − 1) matrix. Then the n−1 product Y V also has a block structure and can be rewritten as 1 0 1 0 Y V = · ˜ ˜ Y Z Id 0 Y n−1 The first factor of the latter product is unipotent lower triangular matrix so that the upper triangular part of Y V coincides with upper triangular part of Y . Thus we proved the equality (n−1) (n−1) (n) (n−1) ˜ ¯ TX (p) = Λ X (−t)w¯ 0+ (n−1) where the matrix X (−t) is given by the relation (3.14). The last step is the computation of the conjugation in (3.14). To perform it we note that the exponent in the products (3.4) containing the variable t is i,j exp (−t e ) = (1 − t e ) (3.15) i,j n−j+i,n−j+i+1 i,j n−j+i,n−j+i+1 which means that the conjugation (3.14) results to multiplication of the coefficient at (n) (n) e by Λ /Λ which is due to (3.8), the rescaling n−j+i,n−j+i+1 n−j+i+1,n−j+i+1 n−j+i,n−j+i 1,j−i+2 t → t . i,j i,j 1,j−i+1 Proof of Theorem 3.1 follows from the inductive application of Proposition 3.1. At (n) the first step we find the variables p , see (3.10) and the input Λ of the first step to 1,j the diagonal matrix T . In particular, we find that T = t · · ·t . Then we pass to the 1,1 1,2 1,n second step, where we deal with (n − 1) square matrix but with rescaled by (3.9) matrix elements t . Here after the corresponding shift of indices we find out the next portion of i,j variables, 1 1 t 1,n−j+2 p = = 2,j t t 2,n−j+3 1,n−j+3 2,n−j+3 (n−1) due to (3.9) and (3.10). The Cartan matrix T gains the new income, equal to Λ with matrix entries (n−1) (n−1) 1,n ˜ ˜ Λ =1, Λ = t · · ·t = t · · ·t · , 2,3 2,n 2,3 2,n 1,1 2,2 1,2 1 1 t (n−1) 1,n−j+2 Λ = = , j > 2 j,j t t 2,n−j+3 1,n−j+3 2,n−j+3 and the renormalization of the variables t for new (n − 2) × (n − 2) task, i,j 2,j−i+3 ˜ ˜ ˜ t → t = t . i,j i,j i,j 2,j−i+2 19 Following this procedure we get both a) and b) statements of the Theorem. The part dt i,j c) may be observed as follows. Denote by Ω and Ω the skew forms Ω = ∧ and t p t i<j i,j dp i,j ′ ′′ ′ ′′ Ω = ∧ . They admit the factorizations Ω = Ω ∧ Ω , and Ω = Ω ∧ Ω , where p i<j t p t t p p i,j dt dt 1,j i,j ′ ′′ Ω = ∧ , Ω = ∧ , 1<j 1<i<j t t t t 1,j i,j ′ ′′ and analogously for Ω and Ω Looking at the induction step and relation (3.10) we see p p ′ ′ that the skew forms Ω and Ω coincide up to sign. But then the relations (3.9) say that t p in the wedge product dt i,j Ω ∧ 1<i<j i,j 1,j−i+2 the renormalization fractions should be regarded as constants which so do not 1,j−i+1 contribute to the wedge product, so that dt i,j ′′ Ω = ∧ 1<i<j i,j and we may further use the same equalities for the next induction steps. 3.2 Whittaker function Using the relation (3.15) we immediately describe the action of Cartan generators on the P P right Whittaker vector. By definition, exp( −x e )· f(g) = f(g exp( −x e )) for k k,k k k,k k k any function f : G → C, so the vector exp(− x e )v is presented by the function k k,k k µ R ′ exp(− µ x )ω (t ), where k k t = t · exp (x − x ) (3.16) i,j n−j+i n−j+i+1 i,j L R ρ L Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions on N t ω (t) and ν µ ν ω (t), Z Z dt dt γ i,j R R γ R i,j ωˆ (γ) = ω (t)t := ω (t) t , µ µ µ i,j t t i,j t>0 t >0 i,j i<j Z Z dt dt γ +j−i i,j L ρ L γ L i,j ωˆ (γ) = t ω (t)t := ω (t) t . ν ν ν i,j t t i,j t>0 t >0 i,j i<j Here ρ = − kε . Due to (3.16)the action of Cartan subgroup on the right Whittaker k=1 R R vector v transforms the function ωˆ (γ) to the product µ µ X X R R exp −x e : ωˆ (γ) 7→ exp(− µ x ) · exp H(x, γ) · ωˆ (γ) k k,k k k µ µ k k where H(x, γ) = γ (x − x ) (3.17) i,j n−j+i+1 n−j+i i<j 20 Due to Proposition 2.2 we have: ωˆ (γ) = Γ(γ ). i,j i<j For the calculation of ωˆ (γ) we pass in the integral X Y ′ dt ν i,j exp − p · t t , i,j i,j t >0 i,j i<j i<j where ν = ν − i from the integration variables t to p . Substitution of (3.5) gives the relation i,j i,j Y Y ′ ′ Y ′ ′ γ +ν −ν −ϕ +ν −ν i,j i,j ν i,j i j j i t t := t = p , i,j i,j i,j i<j i<j i<j where X X ϕ = − γ + γ i,j ˆ ˆ k,k+j−1 k,k+j k>i k≥i This implies the relation Y Y L ′ ′ L ′ ′ ωˆ (γ) = Γ(−ϕ + ν − ν ), ωˆ (−γ¯) = Γ(ϕ + ν − ν ) i,j i,j ν j i ν i j i<j i<j Then by (2.38) and (2.39) we have −(x,ρ+µ ) ′ ′ ˜ ˜ Ψ (x) = exp H(x, γ) Γ(ϕ + ν − ν )Γ(γ )dγ . ,µ ν i,j i,j i,j i j (2πi) i<j where now ν + µ¯ = −ρ, d = n(n − 1)/2 and the contour C is a deformation of imaginary plane Reγ = 0 to the strip of analyticity of the integrand. In particular, for µ = iλ − ρ ij we have −i(x,λ) Ψ (x) = exp H(x, γ) Γ(ϕ + i(λ − λ ))Γ(γ )dγ . (3.18) λ k,l k l i,j i,j (2πi) k<l Performing the following change of variables in the integral in (3.18): γ˜ = γ + γ + . . . + γ . i,j i,j i+1,j+1 n−j+i,n we finally arrive to Theorem 3.2 −i(λ,x) Ψ (x) = exp (γ − γ )x λ 1,n+2−k 1,n+1−k k (2πi) 1≤k≤n Γ(γ − γ + i(λ − λ ))Γ(γ − γ )dγ kl k+1,l k n+k−l+1 kl k+1,l+1 k,l k<l 21 Here we assume that γ = 0 unless 1 ≤ k < l ≤ n. The integration cycle C is a k,l n deformation of the imaginary plain Re γ = 0 into nonzero strip D ⊂ C of the analyticity k,l of the integrand, which can be described by inequalities Re γ > 0, Reγ > Re γ k,l k,l k+1,l for all admissible pairs (k, l) of indices. 4 SO(n, n) 4.1 BZ transform The split real form of the group SO(2n,C) is the group SO(n, n) ⊂ SL(2n,R) preserving 2n symmetric form x y , where as before i = 2n+1−i. Gauss decomposition is induced i=1 i from that of GL(2n,R). Positive roots are ε ± ε for 1 ≤ i < j ≤ n, where ε ∈ h are i j k now defined by the condition ε (e − e ) = δ . We denote Chevalley generator of the ˆ ˆ k j,j j,k j,j ± ± Lie algebra g = so(2n) by e and f , i = 1, . . . , n − 2 and e , f . Here i i n−1 n−1 e = e − e , f = e − e , i = 1, ..., n − 2, i i,i+1 2n−i,2n+1−i i i+1,i 2n+1−i,2n−i + + e = e − e , f = e − e , n−1,n n+1,n+2 n,n−1 n+2,n+1 n−1 n−1 − + e = e − e , f = e − e . n−1,n+1 n,n+2 n+1,n−1 n+2,n n−1 n−1 Denote by s i = 1, ..., n − 1 and s the corresponding generators of the Weyl group n−1 and their lifts to the group SO(n, n) according to (2.30). We choose the following normal ordering of the system Δ of positive roots: (ε + ε , ε − ε ), (ε + ε , ε + ε , ε − ε , ε − ε ), · · · , n−1 n n−1 n n−2 n−1 n−2 n n−2 n n−2 n−1 (ε + ε , ε + ε , · · · , ε + ε , ε − ε , · · · , ε − ε , ε − ε ). 1 2 1 3 1 n 1 n 1 3 1 2 It corresponds by (2.20) to the following reduced decomposition of the longest element (n) w of the Weyl group W : (n) ǫ(n−1) ǫ(n) − + + − w = (s s ) (s s s s ) · · · (s s ...s s s s ...s s ). n−2 n−2 1 2 n−2 n−2 2 1 0 n−1 n−1 n−1 n−1 n−1 n−1 where ǫ(k) = (−1) . Note that as element of SO(n, n), 2n (n) w = − e for even n, k,k k=1 (4.1) (n) w¯ = e + (e + e ) for odd n. n,n n+1,n+1 0 k,k k6=n,n+1 Denote by t the Lusztig parameter corresponding to the root ε − ε , and by s the i,j i j i,j Lusztig parameter corresponding to the root ε +ε . Here 1 ≤ i < j ≤ n. Then the group i j 22 (n) element X (t) looks as (n) − + X (t) = exp(s e ) exp(t e ) · n−1,n n−1,n n−1 n−1 . . . (4.2) ǫ(n−2) ǫ(n−1) (exp(s e ) · · · exp(s e ) exp(t e ) · · · exp(t e ) exp(t e ) · 2,3 2 2,n 2,n 2,4 3 2,3 2 n−1 n−2 ǫ(n−1) ǫ(n) (exp(s e ) exp(s e ) · · · exp(s e ) exp(t e ) · · · exp(t e ) exp(t e ) . 1,2 1 1,3 2 1,n 1,n 1,3 2 1,2 1 n−1 n−1 (n) BZ transform for SO(n, n) is the solution of the equation (3.1), where in X (p) we use the notation p for Lusztig parameter, corresponding to the root ε − ε , and q for the i,j i j i,j Lusztig parameter, corresponding to the root ε + ε , i j (n) − + X (p) = exp(q e ) exp(p e ) · · · n−1,n n−1,n n−1 n−1 ǫ(n−1) ǫ(n) (exp(q e ) exp(q e ) · · · exp(q e ) exp(p e ) · · · exp(p e ) exp(p e ) . 1,2 1 1,3 2 1,n 1,n 1,3 2 1,2 1 n−1 n−1 Set in addition s = t = p = q = u = 1, and for all i, j, 1 ≤ i < j ≤ n put j,j j,j j,j j,j j,j t + s , j < n, i,j i,j i,j−1 u = t , j = n, n − i odd, (i.e. ǫ(n − i) = −1), r = . i,j i,j i,j u s i,j i,j−1 s , j = n, n − i even, (i.e. ǫ(n − i) = 1) i,j Theorem 4.1 a) BZ map for SO(n, n) looks as Y Y Y Y t s t s k,j−1 k,j k,j−1 k,j p = r · , q = r · , j < n i,j i,j i,j i,j s t s t k,j−1 k,j k,j−1 k,j k<i k<i k<i k≤i (4.3) ǫ(n−i) ǫ(n−i) Y Y Y Y t t t s k,n−1 k,n k,n−1 k,n p = r · , q = r · . i,n i,n i,n i,n s s s t k,n−1 k,n k,n−1 k,n k<i k<i k<i k≤i −1 b) The twisting matrix T ∈ H is T = T e + T e , where k k,k ˆ ˆ k=1 k k,k Y Y j,k T = · s t k k,j k,j j,k j<k j>k dt c) BZ transform preserves the measure : Y Y dt ds dp dq i,j i,j i,j i,j = . t s p q i,j i,j i,j i,j i<j i<j We supply theorem 4.1 with remarks identical to those related to Theorem 3.1. Their (n) proofs are similar without any troubles with signs since here w¯ = 1. Namely Remark 1. BZ transform τ is involutive, that is the inverse relations Y Y Y Y p q p q k,j−1 k,j k,j−1 k,j t = r˜ · , s = r˜ · , j < n i,j i,j i,j i,j q p q p k,j−1 k,j k,j−1 k,j k<i k<i k<i k≤i (4.4) ǫ(n−i) ǫ(n−i) Y Y Y Y p p p q k,n−1 k,n k,n−1 k,n t = r˜ · , s = r˜ · . i,n i,n i,n i,n q q q p k,n−1 k,n k,n−1 k,n k<i k<i k<i k≤i 23 have the same form as (4.3). Here p + q , j < n, i,j i,j i,j−1 p , j = n, n − i odd, (i.e. ǫ(n − i) = −1), . v = r˜ = i,j i,j i,j v q i,j i,j−1 q , j = n, n − i even, (i.e. ǫ(n − i) = 1) i,j −1 Remark 2. The Cartan twist T can be as well written as T (t) = T (p ), that is −1 T = T e + T e , where k k,k ˆ ˆ k=1 k k,k Y Y q 1 j,k T = · p q p j,k k,j k,j j<k j>k Corollary 4.1 The restriction of the left Whittaker vector to N is given by the function X X L ν −ν ω (t) = t · exp − (p + q ) = p · exp − (p + q ) i,j i,j i,j i,j i<j i<j where p are given by (3.1) and t for a weight ν = ν ε means the product i,j k k k=1 ν −ν ν +ν ν i j i j t = t s i,j i,j i<j (n) The proof of Theorem 4.1 follows the same scheme as for GL(n). The matrix X (−t) (n) (n−1) (n) admits a factorization X (−t) = X (−t) · A (−t), where ǫ(n−1) (n) A (−t) = exp(−s e ) exp(−s e ) · · · exp(−s e )· 1,2 1 1,3 2 1,n n−1 ǫ(n) exp(−t e ) · · · exp(−t e ) exp(−t e ) 1,n 1,3 2 1,2 1 n−1 and (n−1) − + X (−t) = exp(−s e ) exp −(t e ) · n−1,n n−1,n n−1 n−1 . . . ǫ(n−2) ǫ(n−1) (− exp(s e ) · · · exp(−s e ) exp(−t e ) · · · exp(−t e ) exp(−t e ) · 2,3 2 2,n 2,n 2,4 3 2,3 2 n−1 n−2 represents a group element of the unipotent subgroup of embedded SO(n − 1, n − 1),   1 0 0   1 ∗ ∗     (n−1) X (−t) = 0 0   0 ∗     0 0 1 0 0 1 24 (n) (n) (n−1) (n) The matrix X (p) has the same structure, X (p) = X (p) · A (p). Denote by P −1 n (n) (n) (n) (n) Λ the diagonal matrix Λ = (Λ e + Λ e ), where ˆ ˆ k,k k=1 k,k k,k k,k n−1 ǫ(n−1) t t (n) (n) 1,k 1,n (n) Λ = t s Λ = , 1 < k < n, Λ = (4.5) 1,k 1,k 1,1 k,k n,n s s 1,k 1,n k=1 and define the variables t and s˜ , 1 < i < j ≤ n by the relations i,j i,j ǫ(n−1) s t s t 1,j−1 1,n 1,j 1,n−1 ˜ ˜ t = t · , j < n, t = t · i,j i,j i,n i,n t s t s 1,j−1 1,j 1,n−1 1,n (4.6) ǫ(n) s t s t 1,j−1 1,j 1,n−1 1,n s˜ = s · , j < n, s˜ = s · i,j i,j i,n i,n t s t s 1,j−1 1,j 1,n−1 1,n (n) Proposition 4.1 a) The parameters p and q , j = 2, ..., n of A (p) are equal to 1,j 1,j u u s 1,j−1 1,j−1 1,j p = , q = (4.7) 1,j 1,j u s u s t 1,j 1,j−1 1,j 1,j−1 1,j (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ TX (p) = Λ · X (−t)w¯ 0+ Proof of part a) of Proposition 4.1 consists as before in comparison of the first rows of (n) (n) (n) (n) matrices B = A (−t)w¯ and A (p). We have (n) (n) j+1 B = (−1) s · · ·s u , B = −(s · · ·s )(t · · ·t ), j < n, 1,i+1 1,j−1 1,j 1,2 1,i+1 1,j+1 1,n 1,j ˆ 1j (n) (n) B = s · · ·s , B = s · · ·s t 1,2 1,n 1,2 1,n−1 1,n 1,n 1n ˆ (n) By this we see first that the first diagonal entry Λ in the Gauss decomposition of the 1,1 (n) right hand side of (3.1) equals to B = t s and since the first row of the left 1,j 1,j 1,1 j>1 (n) hand side of (3.1)coincides with the first row of A (p), (n) (n) A (p) = q · · ·q v , A (p) = (−1) (q · · ·q )(p · · ·p ), 1,i+1 1,j−1 1,j 1,2 1,i+1 1,j+1 1,n 1,j ˆ 1j (n) the variables p and q then can be found via ratios of coefficients B . Thus we get 1,j 1,j 1,k (4.7). For the proof of part b) we again need the crucial technical lemma which says that −1 −1 (n−1) (n) (n) (n) the matrix U = w¯ A (−t)w¯ A (p) , see (3.13) has the block structure 0 0   ∗ 0 0   ∗ 0 0     U =  ∗ 0  . 0 0     0 0 ∗ ∗ ∗ ∗ and specializes its diagonal entries. 25 Lemma 4.1 Nondiagonal matrix elements U (i 6= j) equal zero if j > 1 and i < 2n. i,j 1,k Matrix element U equals t s . Matrix element U equals for 1 < k ≤ n. 1,1 1,j 1,j k,k j>1 1,k 1,k Matrix element U equals for 1 < k ≤ n ˆ ˆ k,k 1,k The proof of Lemma 4.1 is sketched in Appendix B. As well as in the proof of Proposition (3.1), Lemma 4.1 implies the equality (n−1) (n−1) (n) (n−1) ˜ ¯ TX (p) = Λ X (−t)w¯ 0+ (n) where the diagonal matrix Λ is given in (4.5) and −1 (n−1) (n) (n−1) (n) ¯ ˜ X (−t) = Λ X (−t)Λ . (4.8) (n) Then the structure of the group element X (t), see (4.2) says that the parameters t i,j ǫ(n−i+1) and s are the coefficients at e for j < n; t is the coefficient at e , and s is i,j j−1 i,n i,n n−1 ǫ(n−i) the coefficient at e in Lusztig presentation of X(−t). This enables us to rewrite the n−1 conjugation (4.8) as the change of variables (4.6) and finish the proof of Proposition 4.1. Then the proof of part b) of Theorem 4.1 follows by induction on n. The inductive proof of part c) is analogous to that of Theorem 3.1. 4.2 Whittaker function Using the arguments of the end of the previous subsection, we describe the action of Cartan generators on the right Whittaker vector. Namely, the vector exp( x (e −e ))·v k ˆ ˆ k,k k=1 k,k R ′ is presented by the function exp(− µ x )ω (t ), where k k ′ ′ t = t · exp (x − x ) , s = s · exp (x − x ) , j < n, i,j j j−1 i,j j j−1 i,j i,j (4.9) ′ ′ t = t · exp (ǫ(n − i + 1)x − x ) , s = s · exp (ǫ(n − i)x − x ) . i,n n n−1 i,n n n−1 i,n i,n L R L Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions on N ω (t) and ν µ ν ω (t), Z Z dt dt ds γ δ i,j i,j R R γ R i,j i,j ωˆ (γ) = ω (t)t := ω (t) t s , µ µ µ i,j i,j t t s i,j i,j t>0 i<j t >0, i,j s >0 i,j Z Z dt dt ds γ +j−i δ +2n−i−j i,j i,j L ρ L γ L i,j i,j ωˆ (γ) = t ω (t)t := ω (t) t s . ν ν ν i,j i,j t t s i,j i,j t>0 i<j t >0, i,j s >0 i,j Here ρ = (n − k)(ε − ε ). Due to (4.9) the action of Cartan subgroup on the k,k ˆ ˆ k=1 k,k R R right Whittaker vector v transforms the function ωˆ (γ) to the product exp(− µ x )· k k µ µ exp H(x, γ)ωˆ (γ), where H(x, γ) = (γ + δ )(x −x ) + (γ + δ + . . .)(x − x )+ i,j i,j j j−1 n−1,n n−2,n n n−1 i<j<n (4.10) (δ + γ + δ + . . .)(−x − x ), n−1,n n−2,n n−3,n n−1 n 26 Due to Proposition 2.2 we have: ωˆ (γ) = Γ(γ )Γ(δ ). i,j i,j i<j For the calculation of ωˆ (γ) we pass in the integral X Y ′ ′ ′ ′ γ +ν −ν δ +ν +ν dt ds i,j i,j i,j i,j i j i j exp −(p + q ) · t s i,j i,j i,j i,j t s i,j i,j t ,s >0 i,j i,j i<j i<j from the integration variables t and s to p and q . Here i,j i,j i,j i,j ′ ′ ν = ν + ρ, ν = ν + n − i. Substitution of (4.4) gives the relation Y Y Y γ δ φ ψ θ i,j i,j i,j i,j i,j t s = p q · (p + q ) i,j i,j i,j i,j i,j i,j i<j 1≤i<j≤n 1≤i<j<n where ϕ = −δ + (γ + δ − γ − δ ) i,j i,j k,j+1 k,j+1 k,j k,j k>i (4.11) ψ = δ − (γ + δ − γ − δ ) − γ − δ , i,j i,j k,j+1 k,j+1 k,j k,j i,j+1 i,j+1 k>i θ = −δ − γ + δ + γ , i,j i,j i,j i,j+1 i,j+1 if j < n and θ = 0, i,n n−i−1 −δ + (−1) (γ − δ ), ε(n − i) = 1 i,n i+k,n i+k,n k=1 ϕ = i,n n−i−1 −γ + (−1) (δ − γ ), ε(n − i) = −1 i,n i+k,n i+k,n k=1 (4.12) n−i−1 −γ + (−1) (δ − γ ), ε(n − i) = 1 i,n i+k,n i+k,n k=1 ψ = i,n n−i−1 −δ + (−1) (γ − δ ), ε(n − i) = −1 i,n i+k,n i+k,n k=1 This means that the Mellin transform of the left Whittaker vector is described by the integral ′ ′ ′ ′ ϕ −ν +ν ψ −ν −ν dp dq i,j i,j i,j i,j i j i j i,j p q (p + q ) i,j i,j i,j i,j p q p ,q >0 i,j i,j i,j i,j i<j Integration over the variables p and q produced the product i,n i,n n−1 ′ ′ Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) (4.13) i,n i n i,n i n i=1 of corresponding Γ functions. For the calculation of integrals over the variables p and i,j q with j < n we use the integral i,j Γ(a)Γ(b)Γ(a + b + c) a−1 b−1 c −x−y x y (x + y) e dxdy = . (4.14) Γ(a + b) x,y>0 27 x Its evaluation is based on the change of variables u = x + y, t = . This gives the x + y product over 1 < i < j < n of the factors Γ(ϕ + θ + ψ − 2ν ) i,j i,j i,j i ′ ′ ′ ′ Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . (4.15) i,j i,j i j i j Γ(ϕ + ψ − 2ν ) i,j i,j 1≤i<j≤n Due to (4.11) Γ(ϕ + θ + ψ − 2ν ) Γ(−γ − δ − 2ν ) i,j i,j i,j i i,j i,j ′ ′ Γ(ϕ + ψ − 2ν ) Γ(−γ − δ − 2ν ) i,j i,j i,j+1 i,j+1 i i which implies cancelations of ratios in the product (4.15) so that it becomes equal to n−2 Y Y Γ(−γ − δ − 2ν ) i,i+1 i,i+1 ′ ′ ′ ′ i Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . (4.16) i,j i,j i j i j Γ(−γ − δ − 2ν ) i,n i,n 1≤i<j<n i=1 Using (4.13) we arrive to the following answers n−2 Y Y Γ(−γ − δ − 2ν ) i,i+1 i,i+1 L i ′ ′ ′ ′ ωˆ (γ) = · Γ(ϕ − ν + ν )Γ(ψ − ν − ν ). (4.17) i,j i,j ν i j i j Γ(−γ − δ − 2ν ) i,n i,n i=1 1≤i<j≤n and n−2 −i(λ,x) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) (2πi) Γ(γ + δ + 2iλ ) k,n k,n k k=1 C (4.18) Γ(−ϕ + i(λ − λ ))Γ(−ψ + i(λ + λ ))Γ(γ )Γ(δ )dγ dδ k,l k l k,l k l k,l k,l k,l k,l k<l Here H(x, γ) is given in (4.10), ψ and ϕ are given in (4.11) and (4.12), d = n(n − 1) i,j i,j and the contour C is a deformation of the imaginary plane Re γ = Reδ = 0 into the ij ij strip of analyticity of the integrand. Perform now the following change of variables: ˜ ˜ γ = γ˜ − γ˜ , δ = δ − δ , 1 ≤ i < j < n, i,j i,j i+1,j i,j i,j i+1,j ˜ ˜ δ − δ , ε(n − i) = 1, i,n i+1,n γ = i,n γ˜ − γ˜ , ε(n − i) = −1, i,n i+1,n γ˜ − γ˜ , ε(n − i) = 1, i,n i+1,n δ = i,n ˜ ˜ δ − δ , ε(n − i) = −1, i,n i+1,n that is γ˜ = γ + . . . + γ , δ = δ + . . . + δ , 1 ≤ i < j < n, i,j i,j j−1,j i,j i,j j−1,j γ˜ = δ + γ + ... + γ if n − i is even, i,n in i+1,n n−1,n γ˜ = γ + δ + ... + γ if n − i is odd, i,n in i+1,n n−1,n δ = γ + δ + ... + δ if n − i is even, i,n in i+1,n n−1,n δ = δ + γ + ... + δ if n − i is odd, i,n in i+1,n n−1,n 28 In this variables we have ˜ ˜ ϕ = γ˜ + δ − γ˜ − δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j ˜ ˜ ψ = −γ˜ − δ + γ˜ + δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ˜ ˜ ϕ = −γ˜ + δ , ψ = −δ + γ˜ 1 ≤ i < n, i,n i,n i+1,n i,n i,n i+1,n ˜ ˜ and H(x, γ) = (γ˜ + δ )(x − x ) + γ˜ (x − x ) + δ (−x − x ). Then 1,j 1,j j j−1 1,n n n−1 1,n n−1 n j<n we have Theorem 4.2 The function Ψ (x) is given by the integral n−2 −i(x,λ) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) (2πi) Γ(γ + δ − γ − δ + 2iλ ) k,n k,n k+1,n k+1,n k k=1 Γ(ξ + i(λ −λ ))Γ(η + i(λ +λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l d = n(n − 1), H(x, γ) = (γ + δ )(x − x ) + γ (x − x ) − δ (x + x ), 1,j 1,j j j−1 1,n n n−1 1,n n−1 n j<n ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , 1 ≤ i < n, i,n i,n i+1,n η = δ − γ 1 ≤ i < n, i,n i,n i+1,n The integration cycle is a deformation of the imaginary plain Reγ = Re δ = 0 into k,l k,l nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Reγ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n. i,j i,j i,j i,j 5 SO(n + 1, n) 5.1 BZ transform The split real form of the group SO(2n + 1,C) is the group SO(n + 1, n) ⊂ SL(2n,R) preserving symmetric form (x y + x y ) + x y , where i = 2n + 2 − i. Gauss de- ˆ ˆ i i n n i=1 i i composition is induced from that of GL(2n + 1,R). Positive roots are elements ε ± ε i j for 1 ≤ i < j ≤ n and ε , where ε ∈ h , k = 1, ..., n are defined by the condition i k ε (e − e ) = δ . We denote Chevalley generator of the Lie algebra g = so(2n + 1) by k j,j ˆˆ j,k jj e and f , i = 1, . . ., n Here i i e = e − e , f = e − e , i = 1, ..., n − 1, i i,i+1 2n−i,2n+1−i i i+1,i 2n+1−i,2n−i √ √ e = 2(e − e ), f = 2(e − e ). n n,n+1 n+1,n+2 n n+1,n n+2,n+1 Denote by s i = 1, ..., n the corresponding generators of the Weyl group and by s¯ their i i lifts to the group SO(n + 1, n) according to (2.30). We choose the following normal 29 ordering of the system Δ of positive roots: ε , (ε + ε , ε , ε − ε ), · · · , n n−1 n n−1 n−1 n (ε + ε , ε + ε , · · · , ε + ε , ε , ε − ε , · · · , ε − ε , ε − ε ). 1 2 1 3 1 n 1 1 n 1 3 1 2 It corresponds by (2.20) to the following reduced decomposition of the longest element (n) w of the Weyl group W : (n) w = s (s s s ) (s s s s s ) · · · (s s ...s s s ...s s ). (5.1) n n−1 n n−1 n−2 n−1 n n−1 n−2 1 2 n−1 n n−1 2 1 Note that as element of SO(n + 1, n) , 2,n (n) w¯ = (−1) e + e ˆ n+1,n+1 kk k=1 Denote by t Lusztig parameter corresponding to the root ε − ε , and by s Lusztig i,j i j i,j parameter corresponding to the root ε + ε , and by t the parameter, corresponding to i j k (n) ε . Here 1 ≤ i < j ≤ n, k = 1, ..., n. Then the group element X (t) looks as (n) X (t) = exp(t e ) (exp(s e ) exp(t e ) exp(t e )) · n n n−1,n n−1 n−1 n n−1,n n−1 . . . (5.2) (exp(s e ) exp(s e ) · · · exp(s e ) exp t e exp(t e ) · · · exp(t e ) exp(t e )) . 1,2 1 1,3 2 1,n n−1 1 n 1,n n−1 1,3 2 1,2 1 (n) BZ transform for SO(n + 1, n) is the solution of the equation (3.1), where in X (p) we use the notation p for Lusztig parameter, corresponding to the root ε − ε , q i,j i j i,j for the Lusztig parameter, corresponding to the root ε + ε , and p for the parameters, i j i corresponding to ε , (n) X (p) = exp(p e ) (exp(q e ) exp(p e ) exp(p e )) · n n n−1,n n−1 n−1 n n−1,n n−1 . . . (5.3) exp(q e ) exp(q e ) · · · exp(q e ) exp p e exp(t e ) · · · exp(p e ) exp(p e ). 1,2 1 1,3 2 1,n n−1 1 n 1,n n−1 1,3 2 1,2 1 We set s = t = p = q = p = u = 1, and for all i, j, 1 ≤ i < j ≤ n put j,j j,j j,j j,j j j,j i,j−1 u = t + s , r = . (5.4) i,j i,j i,j i,j u s i,j i,j−1 Theorem 5.1 a) BZ map for SO(n, n) looks as Y Y Y Y Y t s t s u t k,j−1 k,j k,j−1 k,j i,n kn p = r · , q = r · , p = (5.5) i,j i,j i,j i,j i s t s t t s s k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i −1 b) The twisting matrix T ∈ H is T = e + T e + T e , where ˆ ˆ n+1,n+1 k k,k k=1 k k,k Y Y j,k T = t · s t k k,j k,j j,k j<k j>k dt c) BZ transform preserves the measure : Y Y Y Y dt ds dt dp dq dp i,j i,j k i,j i,j k = . t s t p q p i,j i,j k i,j i,j k i<j k i<j k 30 Again, we have the same remarks with the same proofs: Remark 1. BZ transform τ is involutive, that is the inverse relation Y Y Y Y Y p q p q v p k,j−1 k,j k,j−1 k,j i,n kn t = r˜ · , s = r˜ · , t = (5.6) i,j i,j i,j i,j i q p q p p q q k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i has the same form as (4.3). Here i,j−1 v = p + q , r˜ = . i,j i,j i,j i,j v q i,j i,j−1 −1 Remark 2. The Cartan twist T can be as well written as T (t) = T (p ), that is −1 T = e + T e + T e , where ˆ ˆ n+1,n+1 k k,k k=1 k k,k Y Y 1 q 1 j,k T = · p p q p j,k k,j k,j j<k j>k Corollary 5.1 The restriction of left Whittaker vector to N is given by the function X X X X L ν −ν ω (t) = t · exp − (p + q ) − p = p · exp − (p + q ) − p ) i,j i,j k i,j i,j k i<j k i<j k where p and p are given by (5.5) and t for a weight ν = ν ε means the product i,j k k k k=1 Y Y ν −ν ν +ν i j i j 2ν ν k t = t s t i,j i,j k i<j (n) The proof of Theorem 5.1 follows the same scheme as before. The matrix X (−t) (n) (n−1) (n) admits a factorization X (−t) = X (−t) · A (−t), where (n) A (−t) = exp(−s e ) exp(−s e ) · · · exp(−s e ) exp(−t e )· 1,2 1 1,3 2 1,n n−1 1 n (5.7) exp(−t e ) · · · exp(−t e ) exp(−t e ) 1,n n−1 1,3 2 1,2 1 and (n−1) X (t) = exp(t e ) (exp(s e ) exp(t e ) exp(t e ))· n n n−1,n n−1 n−1 n n−1,n n−1 . . . (5.8) (exp(s e ) · · · exp(s e ) exp t e exp(t e ) · · · exp(t e )) . 2,3 2 2,n n−1 2 n 2,n n−1 2,3 2 represents a group element of the unipotent subgroup of embedded SO(n, n − 1). The (n) (n) (n−1) (n) (n) matrix X (p) has the same structure, X (p) = X (p) · A (p). Denote by Λ P −1 n (n) (n) (n) the diagonal matrix Λ = e + (Λ e + Λ e ), where n+1,n+1 k,k ˆ ˆ k=1 k,k k,k k,k n−1 1,k (n) (n) Λ = t t s Λ = , 1 < k ≤ n, 1,k 1,k 1,1 1 k,k 1,k k=1 and define the variables t and s˜ , 1 < i < j ≤ n by the relations i,j i,j s t s t s 1,j−1 1,j 1,j−1 1,j 1,n ˜ ˜ t = t · , s˜ = s · , t = t i,j i,j i,j i,j i i t s t s t 1,j−1 1,j 1,j−1 1,j 1,n The induction step is given by the following lemma and proposition. 31 Lemma 5.1 Nondiagonal matrix elements U (i 6= j) of the matrix (3.13) equal zero if i,j j > 1 and i < 2n + 1. Matrix element U equals t t s . Matrix element U 1,1 1,j 1,j k,k j>1 s t 1,k 1,k equals for 1 < k ≤ n. Matrix element U equals for 1 < k ≤ n. Element ˆ ˆ k,k t s 1,k 1,k U = 1. n+1,n+1 (n) Proposition 5.1 a) The parameters p , q , j = 2, ..., n and p of A (p) are equal to 1,j 1,j 1 u u s u 1,j−1 1,j−1 1,j 1,n p = , q = , p = 1,j 1,j 1 u s u s t t s 1,j 1,j−1 1,j 1,j−1 1,j 1 1,n (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ ˜ TX (p) = Λ · X (−t)w¯ 0+ All the proofs repeat that of the previous sections 5.2 Whittaker function Describe first the action of Cartan generators on the right Whittaker vector. The vector P P R R ′ exp( x (e − e )) · v is presented by the function exp(− µ x )ω (t ), where k ˆ ˆ k,k k k µ µ k=1 k,k k ′ ′ ′ t = t · exp (x − x ) , s = s · exp (x − x ) , t = t · exp(−x ). (5.9) i,j j j−1 i,j j j−1 i n i,j i,j i L R L R Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions ω (t) and ω (t), ν µ ν µ Z Z dt dt ds dt γ δ γ i,j i,j i R R γ R i,j i,j i ωˆ (γ) = ω (t)t := ω (t) t s t , µ µ µ i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Z Z dt dt ds dt γ +j−i δ +2n+1−i−j γ +n−i+1/2 i,j i,j i L ρ L γ L i,j i,j i ωˆ (γ) = t ω (t)t := ω (t) t s t . ν ν ν i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Here ρ = (n + −k)(ε −ε ). Due to (5.9) the action of Cartan subgroup on the k,k ˆ ˆ k=1 2 k,k R R right Whittaker vector v transforms the function ωˆ (γ) to the product exp(− µ x )· k k µ µ exp H(x, γ)ωˆ (γ), where X X H(x, γ) = (γ + δ )(x − x ) − x γ . (5.10) i,j i,j j j−1 n i i<j i As before, we have Y Y ωˆ (γ) = Γ(γ )Γ(δ ) Γ(γ ). (5.11) i,j i,j k 1<i<j≤n k=1 32 L For the calculation of ωˆ (γ) we pass in the integral Y Y ′ ′ ′ ′ γ +ν −ν δ +ν +ν dt ds dt γ +2ν i,j i,j i,j i,j i i j i j −p −q i −p i i i,j i,j t s e t e i,j i,j i t s t i,j i,j i i<j i t ,s >0,t >0 i,j i,j i from the integration variables t , s and t to p , q and p . Here i,j i,j i i,j i,j i ′ ′ ν = ν + ρ, ν = ν + n − i + . Substitution of (5.6) gives the relation Y Y Y Y γ δ ϕ ψ θ γ i,j i,j γ ϕ i,j i,j i i i i,j t t s t = p p q (p + q ) i,j i,j i i,j i,j i i i,j i,j i i<j i i<j where X X ϕ = −δ + (γ + δ ) − (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k>i k>i X X (5.12) ψ = δ − (γ + δ ) + (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k≥i k>i θ = −δ − γ + δ + γ , i,j i,j i,j i,j+1 i,j+1 for 1 ≤ i < j < n, and ϕ = −δ − (γ + δ − γ ) , i,n i,n kn kn k k>i (5.13) ψ = δ − γ + (γ + δ − γ ), i,n i,n i kn kn k k>i θ = γ − δ − γ , ϕ = −γ i,n i i,n i,n i i for 1 ≤ i < n. Using (4.14) we present the multiple integral ′ ′ Y ′ ′ ′ ψ −ν −ν dp dq dp ϕ −ν +n u i,j ϕ −2ν i,j j i,j i,j i i i j θ i i,j i p q (p + q ) p i,j i,j i,j i,j i p q p i,j i,j i p ,q ,p >0 i,j i,j i i<j i as the product Y Y Γ(ϕ + θ + ψ − 2ν ) i,j i,j i,j ′ ′ ′ ′ ′ Γ(−γ − 2ν ) Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . k i,j i,j k i j i j Γ(ϕ + ψ − 2ν ) i,j i,j i<j k=1 Substitution of (5.12) and (5.13) into the product over 1 ≤ i < j < n of ratios of Γ functions in the latter expression results, just as for SO(n, n) to the product n−1 Γ(−γ − δ − 2ν ) i,i+1 i,i+1 Γ(−γ − δ − 2ν ) i,n i,n i=1 33 while the same product over j = n, i = 1, ..., n − 1 is n−1 Γ(−δ − γ − 2ν ) i,n i,n Γ(−γ − 2ν ) i=1 Thus we have the following expressions for the left Whittaker vector n−1 L ′ ′ ωˆ (γ) = Γ(−γ − 2ν ) Γ(−γ − δ − 2ν )· n i,i+1 i,i+1 ν n i i=1 ′ ′ ′ ′ Γ(ϕ − ν + n u )Γ(ψ − ν − ν ). i,j j i,j i i j 1≤i<j≤n which results after substitution ν = iλ in the following expression for Whittaker wave function: n−1 −i(λ,x) Ψ (x) = exp H(x, γ) Γ(γ + δ + 2iλ )Γ(γ )dγ · λ k,k+1 k,i+1 k k k (2πi) k=1 Γ(−ϕ + i(λ − λ ))Γ(−ψ + i(λ + λ ))Γ(γ )Γ(δ )dγ dδ Γ(γ + 2iλ )dγ k,l k l k,l k l k,l k,l k,l k,l n n n k<l Here H(x, γ) is given in (5.10), ψ and ϕ are given in (5.12) and (5.13), d = n . The k,l k,l contour C is a deformation of imaginary plane Re γ > 0, Re δ > 0, Reγ > 0 into the i,j i,j i strip of analyticity of the integrand. The formula for Ψ (x) can be simplified by using the change of variables ˜ ˜ γ = γ˜ − γ˜ , δ = δ − δ , 1 ≤ i < j ≤ n, i,j i,j i+1,j i,j i,j i+1,j (5.14) γ = γ˜ − γ˜ , 1 ≤ i ≤ n, i i i+1 that is γ˜ = γ + . . . + γ , δ = δ + . . . + δ , γ˜ = γ + . . . + γ i,j i,j j−1,j i,j i,j j−1,j i i n In this variables we have ˜ ˜ ϕ = γ˜ + δ − γ˜ − δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j ˜ ˜ ψ = −γ˜ − δ + γ˜ + δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ˜ ˜ ϕ = −γ˜ − δ + γ˜ , ψ = γ˜ + δ − γ˜ . i = 1, ..., n. i,n i+1,n i,n i+1 i,n i+1,n i,n i so that each Gamma function in the integrand depends now not more than of four sum- mands. The exponential factor is now H(x, γ˜) = (γ˜ + δ )(x − x ) − γ˜ x .. 1,j 1,j j j−1 1 n j=2 Finally we have 34 Theorem 5.2 The function Ψ (x) is given by the integral −i(x,λ) Ψ (x) = exp H(x, γ)Γ(γ + 2iλ )Γ(γ )dγ · λ n n n n (2πi) n−1 Γ(γ + δ + 2iλ )Γ(γ − γ )dγ · k,k+1 k,k+1 k k k+1 k k=1 Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l and γ = 0 if k = 1 or k = n + 1, d = n , H(x, γ) = (γ + δ )(x − x ) − γ x , k 1,j 1,j j j−1 1 n j=2 and ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ + δ − γ , η = −γ − δ + γ , 1 ≤ i < n. i,n i+1,n i,n i+1 i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Reγ > 0, i,j i,j i,j i,j k k = 1, ..., n. 6 Sp(2n,R) 6.1 BZ transform The split real form of the group Sp(2n,C) is the group Sp(2n,R) ⊂ SL(2n,R) preserving skew-symmetric form (x y − x y ), where i = 2n + 1 − i. Positive roots are elements ˆ ˆ i i i=1 i i ε ± ε for 1 ≤ i < j ≤ n and 2ε , where ε ∈ h , k = 1, ..., n are defined by the condition i j i k ε (e − e ) = δ . We denote Chevalley generator of the Lie algebra g = so by e and ˆˆ k j,j j,k 2,n i jj f , i = 1, . . . , n Here e = e − e , f = e − e , i = 1, ..., n − 1, i i,i+1 2n−i,2n+1−i i i+1,i 2n+1−i,2n−i e = e , f = e . n n,n+1 n n+1,n Denote by s i = 1, ..., n the corresponding generators of the Weyl group and their lifts to the group Sp(2n,R) according to (2.30). The normal ordering of the system Δ copies that of SO(n + 1, n): 2ε , (ε + ε , ε , ε − ε ), · · · , n n−1 n n−1 n−1 n (ε + ε , ε + ε , · · · , ε + ε , 2ε , ε − ε , · · · , ε − ε , ε − ε ). 1 2 1 3 1 n 1 1 n 1 3 1 2 (n) It corresponds to reduced decomposition of the longest element w of the Weyl group W literally the same as (5.1): (n) w = s (s s s ) (s s s s s ) · · · (s s ...s s s ...s s ). n n−1 n n−1 n−2 n−1 n n−1 n−2 1 2 n−1 n n−1 2 1 35 Note that as element of Sp(2n,R) , (n) n+1 w¯ = (−1) e − e ˆ ˆ kk k,k k=1 Denote by t Lusztig parameter corresponding to the root ε −ε , and by s Lusztig i,j i j i,j parameter corresponding to the root ε + ε , and by t the parameter, corresponding to i j k (n) 2ε . Here 1 ≤ i < j ≤ n, k = 1, ..., n. Then the group element X (t) has a form (5.2) so that BZ transform for Sp(2n,R) is the solution of the equation (3.1), where in (n) X (p) we use the notation p for Lusztig parameter, corresponding to the root ε − ε , i,j i j q for the Lusztig parameter, corresponding to the root ε +ε , and p for the parameters, i,j i j i corresponding to 2ε , see (5.3). Keep the notation (5.4). We have Theorem 6.1 a) BZ map for Sp(2n,R) looks as Y Y Y Y Y t s t s t k,j−1 k,j k,j−1 k,j i,n kn , q = r · , p = (6.1) p = r · i,j i,j i,j i,j i 2 2 s t s t t s s k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i −1 b) The twisting matrix T ∈ H is T = T e + T e , where k k,k ˆ ˆ k=1 k k,k Y Y j,k T = t · s t k k k,j k,j j,k j<k j>k dt c) BZ transform preserves the measure : Y Y Y Y dt ds dt dp dq dp i,j i,j k i,j i,j k = . t s t p q p i,j i,j k i,j i,j k i<j i<j k k Again, we have the same remarks with the same proofs: Remark 1. BZ transform τ is involutive, that is the inverse relation Y Y Y Y Y p q p q p k,j−1 k,j k,j−1 k,j i,n kn t = r˜ · , s = r˜ · , t = (6.2) i,j i,j i,j i,j i 2 2 q p q p p q q k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i has the same form as (4.3). Here i,j−1 v = p + q , r˜ = . i,j i,j i,j i,j v q i,j i,j−1 −1 Remark 2. The Cartan twist T can be as well written as T (t) = T (p ), that is −1 T = T e + T e , where ˆ ˆ k k,k k=1 k k,k Y Y 1 q 1 j,k T = · p p q p k j,k k,j k,j j<k j>k 36 Corollary 6.1 The restriction of left Whittaker vector to N is given by the function X X X X L ν −ν ω (t) = t · exp − (p + q ) − p = p · exp − (p + q ) − p ) i,j i,j k i,j i,j k i<j k i<j k where p and p are given by (6.1) and t for a weight ν = ν ε means the product i,j k k k k=1 Y Y ν −ν ν +ν ν i j i j ν t = t s t i,j i,j k i<j k (n) (n−1) For inductive proof Theorem 6.1 we use the factorization X (−t) = X (−t) · (n) (n−1) (n) A (−t), where X (−t) and A (−t) are given by the expressions (5.7) and (5.8). P −1 n (n) (n) (n) (n) Denote by Λ the diagonal matrix Λ = (Λ e + Λ e ), where ˆ ˆ k,k k=1 k,k k,k k,k n−1 (n) (n) 1,k Λ = t t s Λ = , 1 < k ≤ n, 1 1,k 1,k 1,1 k,k 1,k k=1 and define the variables t and s˜ , 1 < i < j ≤ n by the relations i,j i,j s t s t 1,j−1 1,j 1,j−1 1,j 1,n ˜ ˜ t = t · , s˜ = s · , t = t i,j i,j i,j i,j i i t s t s t 1,j−1 1,j 1,j−1 1,j 1,n Then we have again Lemma 6.1 Nondiagonal matrix elements U (i 6= j) of the matrix (3.13) equal zero if i,j j > 1 and i < 2n + 1. Matrix element U equals t t s . Matrix element U 1,1 1 1,j 1,j k,k j>1 s t 1,k 1,k equals for 1 < k ≤ n. Matrix element U equals for 1 < k ≤ n. ˆ ˆ k,k t s 1,k 1,k (n) Proposition 6.1 a) The parameters p , q , j = 2, ..., n and p of A (p) are equal to 1,j 1,j 1 u u s 1,j−1 1,j−1 1,j 1,n p = , q = , p = 1,j 1,j 1 u s u s t t s 1,j 1,j−1 1,j 1,j−1 1,j 1 1,n (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ ˜ TX (p) = Λ · X (−t)w¯ 0+ These statement are proved in the same manner as in Section 3. They are sufficient for inductive proof of Theorem 6.1. 37 6.2 Whittaker function We start again with the action of Cartan generators on the right Whittaker vector. The P P R R ′ vector exp( x (e − e )) · v is presented by the function exp(− µ x )ω (t ), k ˆ ˆ k,k k k µ µ k=1 k,k k where ′ ′ ′ t = t · exp (x − x ) , s = s · exp (x − x ) , t = t · exp(−2x ). (6.3) i,j j j−1 i,j j j−1 i n i,j i,j i L R L R Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions ω (t) and ω (t), ν µ ν µ Z Z dt dt ds dt γ δ i,j i,j i i,j i,j γ R R γ R i ωˆ (γ) = ω (t)t := ω (t) t s t , µ µ µ i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Z Z dt dt ds dt γ +j−i δ +2n+2−i−j i,j i,j i i,j i,j γ +n−i+1 L ρ L γ L i ωˆ (γ) = t ω (t)t := ω (t) t s t . ν ν i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Here ρ = (n + 1−k)(ε −ε ). Due to (6.3) the action of Cartan subgroup on the k,k ˆ ˆ k=1 k,k R R right Whittaker vector v transforms the function ωˆ (γ) to the product exp(− µ x )· k k µ µ exp H(x, γ)ωˆ (γ), where X X H(x, γ) = (γ + δ )(x − x ) − 2x γ . (6.4) i,j i,j j j−1 n i i<j i The right Whittaker vector is presented by the function ωˆ (γ) of the form (5.11). For the calculation of ωˆ (γ) we pass in the integral Y Y ′ ′ ′ ′ γ +ν −ν δ +ν +ν dt ds dt i,j i,j γ +2ν i j i j i,j i,j i i −p −q −p i,j i,j i i t s e t e i,j i,j i t s t i,j i,j i i<j i t ,s >0,t >0 i,j i,j i from the integration variables t , s and t to p , q and p . Here i,j i,j i i,j i,j i ′ ′ ν = ν + ρ, ν = ν + n − i + 1. Substitution of (6.2) gives the relation Y Y Y Y γ δ ϕ ψ γ i,j i,j γ ϕ i,j i,j θ i i i i,j t t s t = p p q (p + q ) i,j i,j i i,j i,j i i i,j i,j i i<j i i<j where as before X X ϕ = −δ + (γ + δ ) − (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k>i k>i X X (6.5) ψ = δ − (γ + δ ) + (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k≥i k>i θ = −δ − γ + δ + γ , i,j i,j i,j i,j+1 i,j+1 38 for 1 ≤ i < j < n, and ϕ = −δ − (γ + δ − 2γ ) , i,n i,n kn kn k k>i (6.6) ψ = δ − 2γ + (γ + δ − 2γ ), i,n i,n i kn kn k k>i θ = 2γ − δ − γ , ϕ = −γ i,n i i,n i,n i i for 1 ≤ i < n. Using the (4.14) we present the multiple integral Y Y ′ ′ ′ ′ ϕ −ν +ν ψ −ν −ν dp dq dp i,j ϕ −ν i,j i,j i,j i i j i j θ i i,j i p q (p + q ) p i,j i,j i,j i,j i p q p i,j i,j i p ,q ,p >0 i,j i,j i i<j i as the product Y Y Γ(ϕ + θ + ψ − 2ν ) i,j i,j i,j ′ ′ ′ ′ i Γ(−γ − ν ) Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . k k i,j i,j i j i j Γ(ϕ + ψ − 2ν ) i,j i,j k=1 i<j Substitution of (6.5) into the product over 1 ≤ i < j < n of ratios of Γ functions in the latter expression results, just as for SO(n, n) to the product n−1 Γ(−γ − δ − 2n u ) i,i+1 i,i+1 i Γ(−γ − δ − 2ν ) i,n i,n i=1 while due to (6.6) the same product over j = n, i = 1, ..., n − 1 is n−1 Γ(−δ − γ − 2ν ) i,n i,n . (6.7) Γ(−2γ − 2ν ) i=1 Thus we have the following expressions for the left Whittaker vector n−1 Γ(−γ − ν ) L ′ ′ i ωˆ (γ) = Γ(−γ − ν ) Γ(−γ − δ − 2ν ) · · n i,i+1 i,i+1 ν n i Γ(−2γ − 2ν ) i=1 ′ ′ ′ ′ Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) i,j i,j i j i j 1≤i<j≤n and for the Whittaker wave function: n−1 n −i(λ,x) Y Y e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) · Γ(γ + iλ )Γ(γ )dγ · k k k k (2πi) Γ(2γ + 2iλ ) k k k=1 k=1 Γ(−ϕ + i(λ − λ ))Γ(−ψ + i(λ + λ ))Γ(γ )Γ(δ )dγ dδ · k,l k l k,l k l k,l k,l k,l k,l 1≤k<l≤n Here H(x, γ) is given in (5.10), ϕ and φ are given in (5.12) and (5.13), d = n . The i,j i,j contour C is the same as in the previous section. 39 The change of variables (5.14) simplifies the formula for Whittaker wave functions. Now we have ˜ ˜ ϕ = γ˜ + δ − γ˜ − δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j ˜ ˜ ψ = −γ˜ − δ + γ˜ + δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ˜ ˜ ϕ = −γ˜ − δ + 2γ˜ , ψ = γ˜ + δ − 2γ˜ , 1 ≤ i < n, i,n i+1,n i,n i+1 i,n i+1,n i,n i Finally we have Theorem 6.2 The function Ψ (x) is given by the integral n−1 −i(x,λ) Y ˜ e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) · (2πi) Γ(2γ − 2γ + 2λ ) k k+1 k k=1 (Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ )) Γ(γ − γ )Γ(δ − δ )dγ dδ ) · k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l k<l Γ(γ − γ + iλ )Γ(γ − γ )dγ . k k+1 k k k+1 k k=1 Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l and γ = 0 if k = 1 or k = n + 1, d = n is the dimension of the maximal unipotent subgroup of Sp(2n,R), H(x, γ) = (γ + δ )(x − x ) − 2γ x , 1,j 1,j j j−1 1 n j=2 ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ + δ − 2γ , 1 ≤ i < n, i,n i+1,n i,n i+1 η = −γ − δ + 2γ . i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Re γ > 0, k = 1, ..., n. i,j i,j i,j i,j k 7 Mellin transforms of Whittaker functions The presentations of Whittaker functions given in Theorems 3.2, 4.2, 5.2,6.2, have a form which is easy to interpret as an inverse Mellin transform. This enables one to write down precise expressions for direct Mellin transforms of Whittaker functions. 1. GL(n) Using the notations of Section 3.2 we denote z = exp x , z = exp(x − k k k,k+1 k x ), z = {z , . . ., z }. Set k+1 1 n (n − 1)λ − λ i j j6=i Λ = , Λ = Λ + Λ + . . . Λ i i,j i i+1 j 40 and put s = γ˜ + Λ . Then the formula (1.2) can be written as follows k,k+1 1,n+1−k 1,k i(λ +...+λ ) Z (z · · ·z ) 1 n −s −s 1,2 n−1,n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds λ 12 n−1,n 12 n−1,n 1,2 n−1,n n−1 (2πi) Re s =0+ k,k+1 where M (s , . . ., s ) = · 12 n−1,n n−1)(n−2)/2 (2πi) n−1 Γ(s − γ + i(λ − λ − Λ ))Γ(s − γ − iΛ ) k,k+1 2,n+1−k 1 k+1 1,k k,k+1 2,n+1−k 1,k (7.1) k=1 Γ(γ − γ + i(λ − λ ))Γ(γ − γ )dγ kl k+1,l k n+k−l+1 kl k+1,l+1 k,l 1<k<l≤n The integration contour C is a deformation of the imaginary plane Re γ = 0 to the ij region of analyticity of the integrand. The function M (s , . . . , s ) is then equal to 12 n−1,n i(λ +...+λ ) the Mellin transform of SL(n) Whittaker function Ψ (z) = Ψ (z) · (z · · ·z ) : λ λ 1 n s −1 s −1 n 1,2 n−1,n M (s , . . ., s ) = Ψ (z)z · · ·z dz · · ·dz 12 n−1,n λ 12 n−1,n λ 1,2 n−1,n z >0 i,j The relation (7.1) can be taken as a starting point for iterative construction of the Mellin transform of SL(n) part of the Whittaker function Ψ (z). 2. SO(n, n). Using the notations of Section 4.2 denote z = exp(x + x ) and n n−1 n z = exp(x − x ) for 1 ≤ i ≤ n − 1. Set i i i+1 Λ = λ + . . . + λ , 1 ≤ i = 1 ≤ n − 2, i 1 i λ + . . . + λ + λ λ + . . . + λ − λ 1 n−1 n 1 n−1 n Λ = , Λ = , n−1 n 2 2 s = γ˜ + iΛ , s = δ + iΛ , n−1 1,n n−1 n 1,n n ˜ ˜ s = γ˜ + δ + iΛ , t = γ˜ − δ , 1 ≤ i ≤ n − 2, i 1,i+1 1,i+1 i i 1,i+1 1,i+1 s¯ = s − iΛ = γ˜ + δ , 1 ≤ j ≤ n. j i j 1j 1,j In this notations the formula of Theorem 4.2 for the Whittaker function is written as the inverse Mellin transform: −s 1 −s n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds , λ 1 n 1 n 1 n λ (2πi) Re s =0+ where 1 Γ(s¯ + 2iλ )Γ(s¯ − γ )Γ(s¯ − δ ) 1 1 n−1 2,n n 2,n M (s , . . . , s ) = 1 n λ 2 (n−1) (2πi) Γ(s¯ + s¯ − γ − δ + 2iλ ) n−1 n 2,n 2,n 1 n−2 n−2 Y Y Y s¯ + t s¯ − t k k k k Γ − γ Γ − δ · L dt dγ dδ 2,k+1 2,k+1 k k,l k,l 2 2 k=1 k=1 2≤k<l≤n 41 The contour C is a deformation of the imaginary plane to the region of analyticity of the integrand. Here n−2 Y Y Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k L = Γ(γ − γ )Γ(δ − δ ) k,l k+1,l k,l k+1,l Γ(γ + δ − γ − δ + 2iλ ) k,n k,n k+1,n k+1,n k k=2 1<k<l≤n Y Y Γ(γ − γ ) Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ )) k k+1 k,l k l k,l k l k=2 1≤k<l≤n with ξ = −γ − δ + γ + δ , i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ , i < n, i,n i,n i+1,n i,n i,n i+1,n for i > 1 and s¯ − t j−1 j−1 ξ = −γ − δ + γ + , 1 < j < n, 1,j 2,j+1 2,j+1 2,j s¯ + t j−1 j−1 η = s¯ − γ − , 1 < j < n, 1,j j 2,j ξ = s¯ − δ , η = s¯ − γ . 1,n n−1 2,n 1,n n 2,n 3. SO(n + 1, n). Using the notations of Section 5.2 denote z = exp(x ) and z = n n i exp(x − x ) for 1 ≤ i ≤ n − 1. Set i i+1 Λ = λ + . . . + λ , 1 ≤ i = 1 ≤ n, i 1 i s = γ + δ + iΛ , t = γ − δ , 1 ≤ i ≤ n − 1, i 1,i+1 1,i+1 i i 1,i+1 1,i+1 s = γ + iΛ , s¯ = s − iΛ 1 ≤ i ≤ n. n 1 n i i i In this notations the formula of Theorem 5.2 for the Whittaker function looks as follows: −s −s n 1 n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds , λ 1 n 1 n 1 n λ (2πi) Re s =0+ where n−1 1 s¯ + t s¯ − t k k k k Ψ (x) = Γ − γ Γ − δ · λ 2,k+1 2,k+1 n(n−1) (2πi) 2 2 k=1 n−1 n Y Y Y Γ(s¯ + 2iλ )Γ(s¯ − γ ) · L dt dγ dδ dγ 1 1 n 2 k k,l k,l k k=1 2≤k<l≤n k=2 The contour C is a deformation of imaginary plane to the region of analyticity of the integrand. Here n−1 n Y Y L = Γ(γ + 2iλ ) Γ(γ + δ + 2iλ ) Γ(γ − γ )· n n k,k+1 k,k+1 k k k+1 k=2 k=2 Y Y Γ(ξ +i(λ − λ ))Γ(η + i(λ + λ )) Γ(γ − γ )Γ(δ − δ ) k,l k l k,l k l k,l k+1,l k,l k+1,l 1≤k<l≤n 2≤k<l≤n 42 with ξ = −γ − δ + γ + δ , i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ i < n, i,n i,n i+1,n i,n i,n i+1,n for i > 1 and s¯ − t j−1 j−1 ξ = −γ − δ + γ + , 1 < j < n, 1,j 2,j+1 2,j+1 2,j s¯ + t j−1 j−1 η = s¯ + γ − , 1 < j < n, 1,j j 2,j s¯ − t s¯ − t 1 1 1 1 ξ = − γ + γ , η = − + s¯ − γ . 1,n 2 2,n 1,n 1 2,n 2 2 4. Sp(2n,R). Using the notations of Section 6.2 denote again z = exp(x ) and n n z = exp(x − x ) for 1 ≤ i ≤ n − 1. Set i i i+1 Λ = λ + . . . + λ , 1 ≤ i = 1 ≤ n, i 1 i s = γ + δ + iΛ , t = γ − δ , 1 ≤ i ≤ n − 1, i 1,i+1 1,i+1 i i 1,i+1 1,i+1 s = 2γ + iΛ , s¯ = s − iΛ 1 ≤ i ≤ n. n 1 n i i i In this notations the formula of Theorem 6.2 looks as follows: −s −s n 1 n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds , λ 1 n 1 n 1 n λ (2πi) Re s =0+ where n−1 1 s¯ + t s¯ − t k k k k Ψ (x) = Γ − γ Γ − δ · λ 2,k+1 2,k+1 n(n−1) (2πi) 2 2 k=1 n−1 n Y Y Y Γ(s¯ − γ + iλ ) n 2 1 Γ(s¯ + 2iλ )Γ(s¯ − γ ) · L dt dγ dδ dγ 1 1 n 2 k k,l k,l k Γ(s¯ − 2γ + 2iλ ) n 2 1 k=1 2≤k<l≤n k=2 The contour C is a deformation of the imaginary to the region of analyticity of the integrand. Here n−1 n Y Y L = Γ(γ + 2iλ ) Γ(γ + δ + 2iλ ) Γ(γ − γ )· n n k,k+1 k,k+1 k k k+1 k=2 k=2 Y Y Γ(ξ +i(λ − λ ))Γ(η + i(λ + λ )) Γ(γ − γ )Γ(δ − δ )· k,l k l k,l k l k,l k+1,l k,l k+1,l 1≤k<l≤n 2≤k<l≤n n−1 Γ(γ − γ + iλ ) k k+1 k Γ(γ + iλ ) n n Γ(γ − γ + 2iλ ) k k+1 k k=2 43 with ξ = −γ − δ + γ + δ , i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ i < n, i,n i,n i+1,n i,n i,n i+1,n for i > 1 and s¯ − t j−1 j−1 ξ = −γ − δ + γ + , 1 < j < n, 1,j 2,j+1 2,j+1 2,j s¯ + t j−1 j−1 η = s¯ + γ − , 1 < j < n, 1,j j 2,j s¯ − t s¯ − t 1 1 1 1 ξ = − 2γ + γ , η = − + s¯ − γ . 1,n 2 2,n 1,n 1 2,n 2 2 Appendix A Proof of Lemma 3.1 The proof essentially consists of calculation of the product of two matrices, U = A · −1 (n−1) (n) (n) −1 (n) A (p) , where A = (w¯ ) A (−t)w¯ with matrix elements 0 0 (n) n−j (−1) A (−t), i = 1, 1,n+1−j A = i,j (n) i+j (−1) A (−t) i > 1, n+2−i,n+1−j and   1 −p 0 ... ... 0 1,n   0 1 −p ... ... 0 1,n−1   −1 (n)   0 ... ... 0 A (p) =     0 0 0 ... 1 −p 1,2 0 0 0 ... 0 1 −1 −1 (n) (n) so that A (p) = −p , if j = i + 1, and A (p) = 0, if j > i + 1. We then have 1i i,j i,j (n) (n) n−j n−j+1 U = (−1) A (−t) + (−1) A (−t) · (−p ), i = 1, 1,j 1,n+1−j 1,n+2−j 1,j+1 (n) (n) i+j i+j+1 U = (−1) A (−t) + (−1) A (−t) · (−p ), i > 1 i,j ˆ n+2−i,n+1−j n+2−i,n+2−j 1,j+1 so that the relations (3.12) and (3.10) imply the equalities 1 1 U = t t · · ·t = , U = p = , i > 1, 1,1 1,2 1,3 1,n ii 1,i+1 p p · · ·p t 1,2 1,3 1,n 1,i U = 0, i 6= j, j > 1. i,j 44 B Proof of Lemma 4.1 This proof is a analogous to that of Lemma 3.1 with more technical details which differ for n even and odd. Assume first that n is even. Denote for simplicity of notations entries (n) (n) of the matrix A (−t) by A , entries of the matrix A (p) by C , variables t , s , i,j i,j 1,j 1,j u , p , q v by t , s , u , p , q , and v correspondingly. The upper triangular matrix 1,j 1,j 1,j 1,j j j j j j j (n) A (−t) has a natural block structure with matrix coefficients equal to i+j A = (−1) s s · · ·s u , 1 ≤ i ≤ j ≤ n, i,j i+1 i+2 j−1 j A = t t · · ·t u , 1 ≤ j ≤ i ≤ n, ˆˆ j+1 j+2 i−1 i ij A = (−1) (s s · · ·s ) · (t t · · ·t ) 1 ≤ i < n, 1 ≤ j ≤ n, (B.1) ˆ n n−1 i+1 n n−1 j+1 i,j A = 0, A = (−1) (s t · · ·t ), 1 ≤ j < n, n,n ˆ ˆ n n−1 j+1 n,j A = 0, 1 ≤ i, j ≤ n i,j −1 (n−1) (n) (n) Using (4.1) we can express the matrix A = w¯ A (−t)w¯ as the sum 0 0 −A = (A e + A e + A ¯e ) + ˆ¯ ˆ¯ ˆ ik ik ik ik ik ik i,k:i6=1,n (A e + A e + A e + A e ) + e + e . ¯ ¯ ¯ ¯ 1,k 1,k nk n ˆk ˆ nn ˆ 1k 1k nk n ˆk Next, for any matrix X ∈ SO(n, n) we have the relation −1 X = X ˆˆ ji i,j −1 −1 (n−1) (n) (n) (n) so the matrix coefficients U of the matrix U = w¯ A (−t)w¯ A (p) are i,j 0 0 X X U = − A C , U = − A C , ˆ ¯ ¯ ¯ ¯ ˆ ˆ ˆ i,j ik jk ij ik jk k k X X U = − A C , U = − A ¯C ¯ + A C . ˆ¯ ˆ¯ ˆˆ i,j ik jk ik j,k ik jk ij k k and X X U = A C + A ¯C ¯ , U = C + A ¯C ¯, U = C , ˆ ˆ ˆ ˆˆ 1,k j,k 1k jk jn nk jk 1j nj 1j j1 k k X X U = A ¯C , U = A ¯C , U = C , ˆ¯ ˆ¯ ˆˆ ˆ 1,j 1k nj nk jk jk 1j j1 k k X X U = A ¯C , U = A ¯C ¯, n ˆj ˆ¯ ˆ n ˆk n ˆk jk jk n ˆj k k Then the proof reduces to the check of identities X X A C ¯ = 0, A ¯C = 0, (B.2) ˆ¯ ˆ¯ ik jk ik jk k k X X i i A C = −δ , A ¯C ¯ + A C = −δ (B.3) ˆ¯ ˆ¯ i,j ik j,k i,j ik jk ik jk t s i i k k 45 for i, j 6= 1, n, and of special cases s t n n , U = − U = U = U = U = 0, j 6= 1, U = − 1,j ˆ ˆ ˆˆ n,n n ˆn ˆ 1j j1 j1 t s n n U = 0, j 6= 1, n, U = 0, U = 0, j 6= n, U = 0, j 6= n, nj ˆ ˆ ˆ nj n ˆj n ˆj We check here several of them. First (B.2). According to (4.7), u u s u i−1 i−1 i i−1 p = − , q = − , v = − (B.4) i i i u s u t s t s i i−1 i i i−1 i i−1 Here we assume s = t = u = 1. The relations (B.2) reduce to 1 1 1 1 + u p (1 + p t + p p t t + · · · + (p · · ·p )(t · · ·t )) = 0 (B.5) i i i−1 i−1 i−2 i−1 i−1 i 2 i−1 2 i−1 Substitute (B.4): u u t t · · ·t i−1 i−2 i−1 i−1 2 i−1 1 + − + + · · · + (−1) = s s s s · · ·s i−1 i−1 i−2 i−1 1 t t t t · · ·t i−1 2 i−1 i−1 i−2 i−1 1 − 1 + + 1 + + · · · + (−1) = 0 s s s s · · ·s i−1 i−1 i−2 i−1 1 Compute the diagonal entries of U for i 6= 1: U = 1 + u v (1 + t p + · · · + (t · · ·t )(p · · ·p )) ii i i i−1 i−1 2 i−1 2 i−1 By the previous calculation, 1 + t p + · · · + (t · · ·t )(p · · ·p ) = −1/(u p ), so i−1 i−1 2 i−1 2 i−1 i i that u v s i i i U = 1 − = − ii u p t i i i Vanishing of nondiagonal entries U for i, j 6= 1, n, as well as of U for j 6= 1 also uses i,j 1,j the equality (B.5). Next, the element U equals to the sum n,n A ¯C = 0 + s v (1 + t p + · · · + (t · · ·t )(p · · ·p ). n n n−1 n−1 2 n−1 2 n−1 nk n ˆk Again use (B.5) and get s v s n n n − = − . p u t n n n Calculations for odd n are analogous with slightly different initial description of matrix (n) elements A of the matrix A (−t): i,j i+j A = (−1) s s · · ·s u , 1 ≤ i ≤ j ≤ n, i,j i+1 i+2 j−1 j A = t t · · ·t u , 1 ≤ j ≤ i ≤ n, ˆˆ j+1 j+2 i−1 i ij A = (−1) (s s · · ·s ) · (t t · · ·t ) 1 ≤ i < n, 1 ≤ j ≤ n, n n−1 i+1 n n−1 j+1 i,j A = 0, A = (−1) (t t · · ·t ), 1 ≤ j < n, n,n ˆ n n−1 j+1 n,j A = 0, 1 ≤ i, j ≤ n i,j 46 C GL(3) example Theorem 3.2 for GL(3) reads as follows: −i(λ x +λ x +λ x ) 1 1 2 2 3 3 Ψ (x) = exp γ (x − x ) + (γ + γ )(x − x ) · λ 1,3 2 1 1,2 2,3 3 2 (2πi) Re γ=0+ Γ(γ + γ + i(λ − λ ))Γ(γ + i(λ − λ ))Γ(γ − γ + i(λ − λ )) (C.1) 1,2 2,3 1 3 2,3 2 3 1,3 2,3 1 2 Γ(γ )Γ(γ )Γ(γ )dγ dγ dγ 1,2 1,3 2,3 1,2 1,3 2,3 Using the notation 2λ − λ − λ 2λ − λ − λ 2λ − λ − λ 1 2 3 2 1 3 3 1 2 Λ = , Λ = , Λ = . 1 2 3 3 3 3 we rewrite (C.1) as λ x 3 Z k l −i k,l=1 3 Ψ (x) = exp (γ + iΛ )(x − x ) + (γ + γ − iΛ )(x − x ) · λ 1,3 1 2 1 1,2 2,3 3 3 2 (2πi) Re γ=0+ Γ(γ + γ + i(λ − λ ))Γ(γ + i(λ − λ ))Γ(γ − γ + i(λ − λ )) 1,2 2,3 1 3 2,3 2 3 1,3 2,3 1 2 Γ(γ )Γ(γ )Γ(γ )dγ dγ dγ 1,2 1,3 2,3 1,2 1,3 2,3 Denote q = exp(x − x ), q = exp(x − x ), s = γ + iΛ , s = γ + γ − iΛ . Then 1 1 2 2 2 3 1 1,3 1 2 1,2 2,3 3 (6.1) can be presented as the inverse Mellin transform λ x 3 Z k l −i k,l=1 −s −s 1 2 Ψ (x) = q q M(s , s )ds ds , λ 1 2 1 2 1 2 (2πi) Re s =0+ where M(s , s ) =Γ(s − iΛ )Γ(s + iΛ ))· 1 2 1 1 2 1 Γ(γ + i(λ − λ ))Γ(γ )Γ(s − γ − iΛ )Γ(s − γ + iΛ )dγ . 2,3 2 3 2,3 1 2,3 2 2 2,3 3 2,3 2πi Re γ =0 2,3 Applying first Barnes lemma, we arrive to Bump [Bu] formula Γ(s − iΛ )Γ(s + iΛ ) 1 j 2 j j=1 M(s , s ) = (C.2) 1 2 Γ(s + s ) 1 2 Note that Bump formula (C.2) can be also derived from ’Gelfand-Tsetlin’ presentation of GL(n,R) Whittaker function studied in [GKL]. The derivation uses an integral calcu- lated by de Branges and Wilson [Br, W] Acknowledgements The authors thank V.Spiridonov and A.Shapiro for interesting discussions and A.Mironov for the help with the Maple package. The research of the first author was supported by RFBR grant 18-01-00460 used to obtain the results presented in sections 5,6,7. The second author appreciates the support of RSF grant, project 16-11-10316 used to obtain the results presented in sections 2,3,4. 47 References [BB] Back-Valente, V., Bardy-Panse, N., Messaoud, H. B., Rousseau, G. (1995). Formes presque-d´eploy´ees des alg`ebres de Kac-Moody: classification et racines relatives. Jour- nal of Algebra, 171:1 (1995), 43-96 [Br] de Branges, L., Tensor product spaces, Journal of Mathematical Analysis and Ap- plications, 38:1 (1972), 109-148. [BZ] Berenstein, A. A. Zelevinsky, A., Total positivity in Schubert varieties, Comment. Math. Helv. 72 (1997) 128-166. [Bu] Bump, D.Automorphic forms of GL(3,R), Lecture Notes in Mathematics, 1083, [G] Givental A. Stationary phase integrals, quantum Toda lattices, flag manifolds and the mirror conjecture, Topics in singularity theory, AMS Translations ser. 2, 180 (1997) 103 - 115 [GKL] Gerasimov A., Kharchev S., Lebedev D. Representation theory and quantum in- verse scattering method: the open Toda chain and the hyperbolic Sutherland model IMRN 2004.17 (2004), pp. 823-854. [GKLO] Gerasimov, A., Kharchev, S.M., Lebedev D.R., Oblezin S.V. On a Gauss- Givental representation of quantum Toda chain wave function, International Mathe- matics Research Notices 2006 (2006). [GLO] Gerasimov A.A., Lebedev D.R., Oblezin S.V. New integral representations of Whittaker functions for classical Lie groups, Russian Mathematical Surveys. 67:1 (2012) pp. 1- 96. [J] Jacquet, H. Fonctions de Whittaker associ´ees aux groupes de Chevalley Bulletin de la soci´et´e math´ematique de France 95 (1967), pp.243-309. [KL] Kharchev S., Lebedev D. Eigenfunctions of GL(N,R) Toda chain: The Mellin- Barnes representation, Pis’ma v ZhETF, (2000), 71, 338-343; [K] Kostant, B. Quantization and representation theory, Representation theory of Lie groups 34(9a) (1979), pp. 287–316. [L] Lusztig G. Total positivity in reductive groups, Lie theory and geometry. Birkh¨auser, Boston, MA, (1994) pp. 531–568. [Si] Silantyev, A. V. Transition function for the Toda chain, Theoretical and Mathemat- ical Physics, (2007), 150(3), 315-331. [SS] Schrader G., Shapiro A. On b-Whittaker functions arXiv:1806.00747 (2018) [St] Stade, E. Mellin transforms of GL(n,R) Whittaker functions American journal of mathematics 123:1 (2001), 121-161. 48 [Sch] Schiffmann, G. Int´egrales d’entrelacement et fonctions de Whittaker Bulletin de la Soci´et´e Math´ematique de France 99 (1971), 3-72. [Td] Toda, M. Theory of nonlinear lattices Springer Science and Business Media, 20 (2012) [Tt] Titchmarsh, E. C. Introduction to the theory of Fourier integrals. Oxford: Clarendon Press Vol. 950 (1948) [T] Tits J., Normalisateurs de Tores I. Groupes de Coxeter Etendus. Journal of Algebra 4 no. 1 (1966) 96-116. [V] Vilenkin, N. I. Special functions and the theory of group representations American Mathematical Soc., 22 (1978). [W] Wilson, J.A., Some hypergeometric orthogonal polynomials SIAM Journal on Math- ematical Analysis 11:4 (1980) 690-701. [WW] Whittaker E. T., Watson G. N. A course of modern analysis Cambridge university press, 1996. [Zh1] Zhelobenko D.P. Harmonic analysis on semisimple complex Lie groups, Current Problems in Mathematics, Moscow, Nauka (1974). [Zh2] Zhelobenko D.P. Representations of reductive Lie algebras; Nauka, Moscow (1994). http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

Mellin-Barnes presentations for Whittaker wave functions

Mathematics , Volume 2020 (1907) – Jul 1, 2019

Loading next page...
 
/lp/arxiv-cornell-university/mellin-barnes-presentations-for-whittaker-wave-functions-guWGFLr9NK

References (31)

ISSN
0001-8708
eISSN
ARCH-3343
DOI
10.1016/j.aim.2020.107368
Publisher site
See Article on Publisher Site

Abstract

We obtain certain Mellin-Barnes integrals which present Whittaker wave functions related to classical real split forms of simple complex Lie groups. Keywords: Whittaker function, Mellin transform, Lusztig parametrization 1 Introduction 1. In this paper we obtain certain Mellin-Barnes integrals which present Whittaker func- tions related to classical real split forms of simple complex Lie groups. Whittaker functions originally appeared as solutions of a special differential equation of hypergeometric type [WW]. They were then realized as eigenfunctions of Laplace operators of the group GL(2,R), see e.g. [V]. This construction was generalized to real semisimple groups and led to a series of significant researches in representation theory, see e.g. [J, Sch]. B.Kostant related the group theory of Whittaker functions with a family of Toda integrable systems [T]. Whittaker functions admit several integral presentations. Particular examples were obtained more than forty years before, see e.g. [Bu]. S.Kharchev and D.Lebedev in [KL] found integral presentation of GL(n,R) Whittaker wave functions using the machinery of inverse scattering method. Then in [GKL] the same presentation was obtained by cal- culating matrix elements in certain infinite dimensional ”Gelfand-Zetlin” representations. A.Givental found quite different integral presentation for the same Whittaker function using geometric arguments. A.Gerasimov et al. then realized in [GKLO, GLO] that Givental construction can be reformulated as the description of the matrix element in principal series representation using Gauss decomposition and Lusztig coordinates [L] on nilpotent subgroup. Moreover, Whittaker wave functions for all classical split real groups were described in [GLO] as certain integrals over positive cone in corresponding maximal nilpotent subgroup. Recently both presentations were generalized to a quantum group setting [SS] using the machinery of cluster mutations. In particular, the completeness and orthogonality of q-versions of GL(n,R) Whittaker wave functions were proved there. We start with the presentation of Whittaker wave function as of special matrix element [GLO] −(ρ,x) L R Ψ (x) = e (v , exp (−x)v ), (1.1) iλ−ρ iλ−ρ see (2.17) and (2.18) for precise notations, and rewrite this matrix element as Barnes integral. Our technique is rather elementary. It contains four ingredients: use of Lusztig arXiv:1907.00637v1 [math.RT] 1 Jul 2019 coordinates, Berenstein-Zelevinsky transform, Plancherel formula for Mellin transform and linear algebra matrix calculations. Lusztig coordinates are convenient in the descrip- tion of Whittaker functions by several reasons. They separate Lusztig positive cone N , which is original space of integration of the matrix element in consideration. Cluster type mutations between different Lusztig chats enable us to avoid the use of formulas for the action of the Lie algebra and observe elegant expressions for invariant forms and vectors. The definition (1.1) of the matrix element exploit two special vectors in generalized principal series; they are called left and right Whittaker vector and the Whittaker func- tions is the matrix element of the Cartan flow related to these vectors. The right Whittaker vector has a simple direct expression in Lusztig coordinates, see Proposition 2.2. The def- inition of the left Whittaker vector requires the conjugation by the longest element w of the Weyl group and the calculation of Gauss coordinates of the new matrix. This induces a birational map of the nilpotent subgroup N which in slightly different setting was studied by A.Berenstein and A.Zelevinsky [BZ] and was crucial for their description of Lusztig coordinates via ’generalised minors’ – matrix elements in fundamental representations. We find another expressions for this birational map (we call it BZ transform) just by elementary linear algebra calculations using the induction by the rank of the group. This is the main point of the construction and we suspect that the formulas for BZ maps which we found will serve elsewhere. The precise description of BZ maps is given in Theorems 3.1, 4.1, 5.1 and 6.1 The rest is the application of the convolution theorem for Mellin transform, which we use in a form of Plancherel formula [Tt]. It gives a presentation of Whittaker functions for classical split real groups GL(n,R), SO(n, n), SO(n, n+1) and Sp(2n,R) (which present root system of A, D, B and C series) by means of Barnes integrals. These presentations can be equivalently rewritten as Mellin transforms of Whittaker functions. See Section 7. For the group GL(n,R) we have now two different integral presentation of Whittaker function by Mellin–Barnes integral: Kharchev-Lebedev formulas [KL, GKL] and (1.2) of the present paper. They are quite different. We do not know how to derive one from another. On the other hand, Mellin transform for GL(n,R) Whittaker function was calculated by E.Stade [St]. Our formula (7.1) also differs from that of [St]. The following are the main results of the paper. 2. Let x = (x , . . . , x ), x ∈ R be the coordinates on the Cartan subalgebra h of 1 n i gl(n,R), λ ∈ R be dual coordinates on h , λ = (λ , . . . , λ ), so that the element h(x) ∈ h i 1 n P P n n is given by the diagonal matrix h = x e ; and (x, λ) = x λ . Let Ψ (x) be i ii k k λ i=1 k=1 the Whittaker wave function for GL(n,R), defined by the relation (2.18). Theorem 3.2 The function Ψ (x) is given by the integral −i(x,λ) Ψ (x) = exp (γ − γ )x λ 1,n+2−k 1,n+1−k k (2πi) 1≤k≤n (1.2) Γ(γ − γ + i(λ − λ ))Γ(γ − γ )dγ . kl k+1,l k n+k−l+1 kl k+1,l+1 k,l 1≤k<l≤n Here we set γ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n; k,l d = n(n − 1)/2 is the dimension of the maximal unipotent subgroup of GL(n,R). The 2 integration cycle C is a deformation of the imaginary plain Re γ = 0 into the domain k,l D ⊂ C of the analyticity of the integrand. For instance one can use iterated integration, which starts with integration over γ the over γ , then over γ etc., which n−1,n n−2,n−1 n−2,n respects the conditions Re γ > Re γ for all admissible triples k, l, m. k,l k+1,m Let x = (x , . . ., x ), x ∈ R be the coordinates on the Cartan subalgebra h of so(n, n), 1 n i and λ = (λ , . . ., λ ), λ ∈ R be dual coordinates on h , so that the element h(x) ∈ h is 1 n i P P n n given by the diagonal matrix h = x (e − e ) and (x, λ) = x λ . i ii 2n+1−i,2n+1−i k k i=1 k=1 Let Ψ (x) be the Whittaker wave function for SO(n, n) defined by the relation (2.18). Theorem 4.2 The function Ψ (x) is given by the integral n−2 −i(x,λ) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) (2πi) Γ(γ + δ − γ − δ + 2iλ ) k,n k,n k+1,n k+1,n k k=1 Γ(ξ + i(λ −λ ))Γ(η + i(λ +λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < k,l k,l l ≤ n, d = n(n − 1) is the dimension of the maximal unipotent subgroup of SO(n, n). H(x, γ) = (γ + δ )(x − x ) + γ (x − x ) − δ (x + x ), (1.3) 1,j 1,j j j−1 1,n n n−1 1,n n−1 n j<n ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, (1.4) i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ 1 ≤ i < n, i,n i,n i+1,n i,n i,n i+1,n The integration cycle is a deformation of the imaginary plain Reγ = Re δ = 0 into k,l k,l nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Reδ > 0, Re ξ > 0, Reη > 0, 1 ≤ i < j ≤ n. i,j i,j i,j i,j Let x = (x , . . ., x ), x ∈ R be the coordinates on the Cartan subalgebra h of so(n + 1 n i 1, n), and λ = (λ , . . . , λ ), λ ∈ R be dual coordinates on h , so that the element h(x) ∈ h 1 n i P P n n is given by the diagonal matrix h = x (e −e ) and (x, λ) = x λ . i ii 2n+2−i,2n+2−i k k i=1 k=1 Let Ψ (x) be the Whittaker function for SO(n + 1, n) defined by the relation (2.18). Theorem 5.2 The function Ψ (x) is given by the integral −i(x,λ) Ψ (x) = exp H(x, γ)Γ(γ + 2iλ )Γ(γ )dγ · λ n n n n (2πi) n−1 Γ(γ + δ + 2iλ )Γ(γ − γ )dγ · k,k+1 k,k+1 k k k+1 k k=1 Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n 3 Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l and γ = 0 if k = 1 or k = n + 1, d = n is the dimension of the maximal unipotent subgroup of SO(n + 1, n) H(x, γ) = (γ + δ )(x − x ) − γ x . (1.5) 1,j 1,j j j−1 1 n j=2 ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, (1.6) i,j i,j+1 i,j+1 i+1,j i,j ξ = γ + δ − γ , η = −γ − δ + γ , 1 ≤ i < n. i,n i+1,n i,n i+1 i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Re γ > 0, k = 1, ..., n. i,j i,j i,j i,j k Let x = (x , . . ., x ), x ∈ R be the coordinates on the Cartan subalgebra h of 1 n i sp(2n,R), and λ = (λ , . . . , λ ), λ ∈ R be dual coordinates on h , so that the ele- 1 n i ment h(x) ∈ h is given by the diagonal matrix h = x (e − e ) and i ii 2n+1−i,2n+1−i i=1 (x, λ) = x λ . Let Ψ (x) be the Whittaker function for Sp(2n,R) defined by the k k λ k=1 relation (2.18). Theorem 6.2. The function Ψ (x) is given by the integral n−1 −i(x,λ) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) · (2πi) Γ(2γ − 2γ + 2λ ) k k+1 k k=1 Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ · k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l k<l Γ(γ − γ + iλ )Γ(γ − γ )dγ . k k+1 k k k+1 k k=1 Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < k,l k,l l ≤ n, and γ = 0 if k = 1 or k = n + 1, d = n , H(x, γ) = (γ + δ )(x − x ) − 2γ x . (1.7) 1,j 1,j j j−1 1 n j=2 ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j (1.8) ξ = γ + δ − 2γ , 1 ≤ i < n, i,n i+1,n i,n i+1 η = −γ − δ + 2γ , i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Re γ > 0, k = 1, ..., n. i,j i,j i,j i,j k 4 2 Generalities 2.1 Whittaker vectors and Whittaker wave functions Let G be a split real form of a reductive group over C, B two opposite Borel subgroups of G, N their maximal nilpotent subgroups and H = B ∩B the Cartan subgroup. Let ± + − D(G) be the ring of bi-invariant differential operators on G. Denote by b , n and h the ± ± corresponding Lie algebras. Let Δ ∈ h be the systems of positive and negative roots of g, Π ⊂ Δ be a subsystem of simple roots and W the Weyl group of G. Denote by G + 0 the big Bruhat cell G = N HN . It is dense open in G. 0 − + For each index i of a simple root α ∈ Π denote by e = e , f = f = e and i i α i α −α i i i h = h the corresponding Chevalley generators of g, so that i α α (h ) = 2 (2.9) i i and e , f and h = α are standard generators of the embedded Lie algebra sl : i i i 2 [h , e ] = 2e , [h , f ] = −2f , [e , f ] = h . i i i i i i i i i Let ζ : N → C be nondegenerate characters, defined by the relations ± ± −t −t ζ (exp(te )) := e , ζ (exp(tf )) := e (2.10) + i − i for all simple roots α . In this paper Whittaker function is a analytical function ϕ on G i 0 satisfying the conditions ϕ(g) is an eigenfunction for any D ∈ D(G); (2.11) ϕ(n gn ) = ζ (n )ϕ(g)ζ (n ). (2.12) − + − − + + for any g ∈ G , n ∈ N , n ∈ N . The condition (2.11) implies that Whittaker functions 0 − − + + are completely determined by their restriction to Cartan subgroup H. B. Kostant noticed [K] that the restriction of the action of the center Z(g) of universal enveloping algebra U(g) to the space of Whittaker functions can be identified with Hamiltonians of the Toda chain related to the root system Δ = Δ ⊔ Δ . + − Whittaker functions can be constructed as matrix elements between a pair of dual Whittaker vectors. Let V be a representation of Lie algebra g, such that its restriction to b admits an extension to representation of the Borel group B compatible with g-module + + −1 1 structure on V , that is bgb u = Ad (g)u for any u ∈ V , g ∈ g and b ∈ B . A vector b + v ∈ V is called right Whittaker vector if e v = −v for any α ∈ Π. i i Let also V be a representation of Lie algebra g, such that its restriction to b admits an extension to representation of the Borel group B compatible with g-module structure on ′ ′ ′ V . A vector v ∈ V is called left Whittaker vector if ′ ′ f v = −v for any α ∈ Π. i i (g, B)- module in Harish-Chandra terminology 5 ′ Assume now that V and V are dual to each other, that is there is a nondegenerate ′ ′ ′ ′ ′ pairing ( , ) : V ⊗ V → C such that (xu , u) + (u , xu) = 0 for any u ∈ V , u ∈ V and x ∈ g. Then the matrix element ϕ(g) = (v , gv) (2.13) is well defined for any g ∈ G satisfies the condition (2.12) . If in addition the representations V and V are quiasi-simple, that is the center Z(g) acts on them by scalar operators, then the Whittaker functions (2.13) are eigenfunctions of generalized Toda Hamiltonians. It is common to use for this aim the representations ∗ ∗ of G induced from Borel subalgebra B . Namely for any µ ∈ h let χ : B → C be a − µ − one-dimensional representation (character) of B defined by the relation h µ (h) χ(e n) = e for any h ∈ h and n ∈ N . Denote by V the space of analytical functions on G satisfying the condition µ 0 f(bg) = χ (b)f(g) for any b ∈ B , g ∈ G (2.14) µ − 0 The element of the group B act on the functions from V by the right shifts, b · f(g) = + µ f(gb) for g ∈ G and b ∈ B and the elements of g act by infinitesimal right shifts, 0 + tx xf(g) = f(ge )| . (2.15) t=0 dt This induced module is quasisimple, see [Zh1], and can be regarded to wide extent as a representation of non-unitary principal series. If µ + ν = −2ρ then the pairing hf, gi = f(n)g(n)dn, f ∈ V , g ∈ V µ ν is formally invariant. Here ρ = α. The pairing is invariant under condition of α∈Δ 2 + the convergency of the integral. Here dn is invariant measure on N . We use instead sesquilinear pairing (f, g) = f(n)g(n)dn, f ∈ V , g ∈ V (2.16) µ ν where N ⊂ N is Lusztig positive cone, see (2.23). It is invariant when ν + µ¯ = −2ρ and ∗ + f and g rapidly vanish at the boundary of N . In the following we investigate right Whittaker vector v in the space V , left Whittaker vector v in V , where ν + µ¯ = −2ρ and the Whittaker wave function −(ρ,x) L R Ψ (x) = e (v , exp (−x)v ) (2.17) ,µ ν ν µ Here x ∈ h is an element of Cartan subalgebra. When µ = ν is a parameter of unitary principal series, µ = ν = iλ − ρ, where λ is real, that is λ(h ) ∈ R for all simple roots α , k k see (2.9), the integral in the RHS of (2.17) definitely converges and has the form −(ρ,x) L R Ψ (x) := Ψ (x) = e (v , exp (−x)v ) (2.18) λ iλ−ρ,iλ−ρ iλ−ρ iλ−ρ 6 ˜ The functions Ψ (x) and Ψ (x) are eigenfunctions for a family of Toda Hamiltonians ,µ ν λ H , −(ρ,x) (ρ,x) −(ρ,x) L R H Ψ (x) = e C e Ψ (x) = e (v , exp (−x)C v ), k λ k λ k iλ−ρ iλ−ρ where C are generators of the ring Z(g). We will also call Ψ (x) Whittaker wave func- k λ tion despite it differs from the restriction to Cartan subgroup of the Whittaker function L R −(ρ,x) (v , gv ) by the normalizing factor e chosen for the agreement with Toda Hamil- iλ−ρ iλ−ρ tonians. The Whittaker function in a form of matrix coefficient (2.18) and (2.16) was studied in [GKLO, GLO]. The paper [GKLO] contains integral presentations of Whittaker functions generalizing Givental formula [G] for gl . The integration over positive cone N implies the important property of this construction: the function Ψ (x) rapidly decreases in the region h = {h ∈ h , (α, h) > 0 for all α ∈ Δ }. ∗ + For G = GL(n,R) this Whittaker function is known to be symmetric on parameters λ, see [Si, SS]. 2.2 Lusztig coordinates In this subsection we describe Lusztig parametrization of the group N in slightly different notation. Let w be the longest element of the Weyl group W and w = s s ...s s (2.19) 0 i i i i 1 2 N−1 N be its reduced decomposition. Here s is the simple reflection in h corresponding to the root α . We associate to (2.19) the following normal (or convex in other terminology) ordering of the set Δ : γ = α , γ = s (α ), γ = s s (α ), . . . γ = s s · · ·s (α ). (2.20) 1 i 2 i i 3 i i i N i i i N 1 1 2 1 2 3 1 2 N−1 A normal orderings < of the system Δ of positive roots of a reductive Lie algebra over C is characterized by the condition α < α + β < β or β < α + β < α (2.21) if α, β, α+β are all in Δ . The rule (2.20) establishes a bijective correspondence between reduced decompositions of w and normal orderings of positive roots [Zh2]. Elementary transformations of reduced decompositions are performed by means of braid group relations s s · · · = s s · · ·, i 6= j, i j j i | {z } | {z } n +1 n +1 i,j i,j where n = a a + 1 and a is the entry of Cartan matrix, are reformulated into i,j i,j j,i i,j changes of normal orderings inside subsystems of the rank two: α, α + β, β → β, α + β, α if α, β ∈ A α, α + β, α + 2β, β → β, α + 2β, α + β, α if α, β ∈ B α, α+ β, 2α+ 3β, α+ 2β, α+ 3β, β → β, α+ 3β, α+ 2β, 2α+ 3β, α+ β, α if α, β ∈ G 7 and α, β → β, α if α, β ∈ A × A . 1 1 The reverse of the normal ordering of positive roots does not destroys its defining prop- erty (2.21) and thus is the normal ordering as well. Moreover the reverse respects the above transformations of normal orderings and thus defines an involutive automorphism of the root system preserving the subsystem of positive roots. Thus it is induced by an automorphism θ of Dynkin diagram . In particular this means that the last root γ is simple, as well as the first root γ = α , and 1 i γ = θ(α ) N i Following Lusztig [L] we associate to each reduced decomposition (2.19) (or, equiva- lently, to the related normal ordering (2.20)) the group element X(t) ∈ N X(t) = exp (t e ) · · · exp (t e ) (2.22) γ i γ i 1 1 N N The correspondence (2.22) establishes a birational isomorphism of the varieties N and |Δ | |Δ | + R . Denote by N ⊂ N , N ∼ R the open subset of N defined by the conditions ∗ + ∗ t > 0 for all γ ∈ Δ γ + N = {X(t) | t > 0, γ ∈ Δ } (2.23) ∗ γ + The definition of N does not depend on the choice of reduced decomposition of w , see ∗ 0 (2.24), (2.25), (2.26). The passage to another reduced decomposition defines the involutive transition map X(t ) = X(t) where t t t t α α+β β α+β ′ ′ ′ t = , t = t + t , t = (2.24) α β α α+β β t + t t + t a β a β for the changes of the normal order . . . α, α + β, β, . . . → . . . β, α + β, α, . . . or . . . β, α + β, α, . . . → . . . α, α + β, β, . . . of A subsystem, see [L]; t t t α+2β α π π t t t α+β 2 β α+β α+2β ′ ′ ′ 1 ′ t = , t = , t = , t = , (2.25) α α+β α+2β β π π π π 2 1 2 1 where 2 2 π = t t + (t + t )t , π = t t + (t + t ) t 1 β α+2β β α+β α 2 α+2β β α+β α for the changes of the normal order . . . , α, α + β, α + 2β, β, . . . → . . . β, α + 2β, α + β, α, . . . or . . . , β, α + 2β, α + β, α, . . . → . . . α, α + β, α + 2β, β, . . . We further preserve the notation θ for the corresponding automorphism of Lie algebra g and group G. 8 of B subsystem, see [BZ, Theorem 3.1]; and 3 2 3 t t t t t α α+3β π π α+β 2α+3β α+2β 3 ′ ′ ′ t = , t = , t = , α α+β 2α+3β π π π π 3 2 3 4 (2.26) t t t t t π π β α+3β 2α+3β α+β 4 α+2β ′ ′ 1 ′ t = , t = t = , α+2β α+3β β π π π π 1 2 4 1 where 2 2 2 π =t t t t + t t (t + t ) t + (t + t )t t t , 1 β α+3β 2α+3β β α+3β α+2β α+β α β α+2β 2α+3β α α+2β α+β 2 2 3 2 2 3 2 2 3 π =t t t t + t t (t + t ) t + (t + t ) t t t + 2 2α+3β α+2β α+β α β α+2β α β α+3β α+2β β α+3β 2α+3β α+β 2 2 +t t t t t (3t t + 2t + 2t t + 2t t ), β α+3β 2α+3β α β α+2β α+2β α+β β α+β α+β α+2β 3 2 3 3 2 3 3 2 3 π =t t t t + t t (t + t ) t + (t + t ) t t t + 3 2α+3β α+2β α+β α β α+2β α β α+3β α+2β β α+3β 2α+3β α+β 2 2 2 +t t t t t (3t t + 3t + 3t t + 2t t ), α+3β 2α+3β α β α+2β α+2β α+β β α+β β α+β α+2β 2 2 3 3 3 π =t t t t t t t t + 2t t (t + t ) t + 4 2α+3β β α+3β 2α+3β β α+3β α+2β α+β α β α+3β α+2β α+2β 2 2 + (3t t + 3t + 3t t + 2t t )t t t + β α+2β α+2β α+β β α+β 2α+3β α α+2β α+β 2 2 2 3 +t (t t (t + t ) + (t + t )t t ) β α+3β α+2β α+β β α+2β 2α+3β α α+β for the changes of the normal order . . . , α, α+ β, 2α+ 3β, α+ 2β, α+ 3β, β, . . . → . . . β, α+ 3β, α+ 2β, 2α+ 3β, α+ β, α, . . . ; . . . , β, α+ 3β, α+ 2β, 2α+ 3β, α+ β, α, . . . → . . . α, α+ β, 2α+ 3β, α+ 2β, α+ 3β, β, . . . of G subsystem, see [BZ, Theorem 3.1]. Let (, ) be W -invariant bilinear form on h . We use the common notation 2γ ∨ ∨ ∗ γ = , γ ∈ h (γ, γ) for coroots. When identifying h and h by means of the form ( , ) we denote them by h , ∨ ∗ so that µ (h ) = (µ, γ ). This notation is in agreement with (2.9). Let µ ∈ h be a weight (an integer weight), that is µ (h ) ∈ Z for any simple root α . Set i i µ (,µ γ ) t = t (2.27) γ∈Δ Lemma 2.1 The product (2.27) does not depend on the choice of the reduced decompo- sition of w . Thus t is a well defined rational function on N . Proof. This is a direct consequence of [BZ, Theorem 4.3], which states that the matrix + − element Δ (g) = (v , gv ) (generalized minor), restricted to N , admits a presentation k + k k Δ (X(t)) = t 9 + − where (ω , α ) = δ for each simple root α . Here v and v are highest and lowest weight k ik i i k k vectors of the fundamental representation V . Another way to see that is to notice that the transition maps (2.24), (2.25) and (2.26) leave invariant the following monomials: α β t = t t and t = t t for (2.24), α α+β β α+β α 2 β t = t t t and t = t t t for (2.25), α α+2β β α+2β α+β α+β α 3 2 3 β 2 t = t t t t t and t = t t t t t for (2.26) α β α+β 2α+3β α+2β α+3β α+3β α+2β 2α+3β α+β which ensure the invariance of the product (2.27) under all transition maps. Lemma 2.2 (see [GLO, Proposition 2.1]) The invariant measure dn on N is dt dn = t (2.28) γ∈Δ Proof [GLO]. First one checks by direct calculation that the measure dt dt t t γ∈Δ is invariant with respect to transition maps (2.24), (2.25) and (2.26). Thus the measure ρ dt t is invariant as well. Second we check that this measure is invariant with respect to multiplication of the nilpotent matrix X(t) by group element exp (se ) from the right, where α is arbitrary simple root. X(t) → X(t) · exp (se ) (2.29) To this end we choose a normal ordering which ends by the simple root θ(α) (such or- dering surely exists, see [Zh2]). In these Lusztig coordinates the map (2.29) becames a translation t → t + s, the measure in the right hand side of (2.28) factorises to θ(α) θ(α) the product ω ∧ dt , where ω does not depend on t and thus is invariant under that θ(α) θ(α) translation . 2.3 Structure of Whittaker vectors To describe Whittaker vectors, we need some more invariants of transition maps (2.24)– (2.26). Proposition 2.1 (i) The sum t + t + t is invariant with respect to transition map (2.24); α α+β β (ii) The sums t +t and t +t are invariant with respect to transition map (2.25); α α+2β α+β β (iii) The sums t + t + t and t + t + t are invariant with respect to α 2α+3β α+3β α+β α+2β β transition map (2.26). Proof. Direct Maple check. Corollary 2.1 The sum t does not depend on the choice of coordinates t . γ γ γ∈Δ 10 Moreover, the sums of coordinates over the roots of the same length are invariant as well due to statements (ii) and (iii) of Proposition 2.1. Since Whittaker vectors are functions on G from the spaces V and V , they are 0 µ ν completely determined by their restrictions to the subgroup N . Denote respectively the R R R L restriction v (X(t)) of the functions v (g) to N by ω (t) and the restriction v (X(t)) µ µ µ ν L L of the functions v (g) to N by ω (t) ν ν R R Proposition 2.2 The right Whittaker vector v is given by the function ω (t) on N µ µ ω (t) = exp − t γ∈Δ Proof. Choose a simple root α. The group element g exp(se ) has the same Gauss components from N and H. Thus it is enough to prove that for any simple root α R −s R v (X(t) exp(se )) = e v (X(t)) µ µ Again we choose a normal ordering which ends by θ(α). Then X(t) exp(se ) has the same coordinates as X(t) except t which shifts to t (α) + s. Then the sum t θ(α) θ γ γ∈Δ R −s R changes to s + t and the function ω (t) transmits to e ω (t) γ∈Δ µ µ Note also that for any real number ǫ the function ω (ǫt) gives rise to a Whittaker ǫ R vector with a renormalized character ζ , see (2.10). In particular, the function v¯ (g) on + µ g ∈ G , where g = Y TX(t), Y ∈ N , T ∈ H, X(t) ∈ N 0 − + R R v¯ (g) = χ (H)ω (X(−t)) µ µ −1 is the Whittaker vector from the space V with respect to the character ζ , that is R s R v¯ (g exp(se )) = e · v¯ (g) µ µ for each simple root α. We use in the following the standard lifts s¯ of simple reflections s ∈ W to the α α i i group elements which we denote by the same letter, s¯ = exp(e ) exp(−f ) exp(e ) (2.30) α i i i so that the products w¯ = s¯ · · ·s¯ do not depend on the choice of reduced decomposition α α i i 1 l of any element w ∈ W . Then this lift to G of the longest element group element w has the property −1 −1 w¯ e w¯ = Ad (e ) = −f , w¯ f w¯ = Ad (f ) = −e (2.31) 0 α w¯ α −w (α) 0 α w¯ α −w (α) 0 0 0 0 0 0 for each simple root α. This fact is a direct consequence of Tits’s result [T, Proposition 2.1 (3)] which states that if for a simple root α and w ∈ W there exists a simple root α i j −1 such that ws w = s , then the same is true for their lifts. See e.g. [BB, Lemme 4.9]. α α i j 11 Proposition 2.3 The function L R v (g) = v¯ (gw¯ ) ν ν is the left Whittaker vector in the space V and character ζ . ν − Proof. By the construction, the function u(g) = v¯ (gw¯ ) belongs to the space V . Choose 0 ν a simple root α and consider the function u(g exp(εf )). We have i α R R u(g exp(sf )) = v¯ (g exp(sf )w¯ ) =v¯ (gw¯ exp(−se )) = i i 0 0 i ν ν exp(−s) · v¯ (gw¯ )) = exp(−s) · u(g). The left Whittaker vector, as a function on G , is completely determined by its restriction ω to N . One of the goals of this work is a proper description of this restriction, applicable for the study of Mellin transform. The proposition 2.3 describes this restriction as follows. We start with the group element X(−t)w¯ . Take its Gauss decomposition ¯ ¯ X(−t)w¯ = Y · T · X, Y ∈ N , T ∈ H, X ∈ N . 0 − + Let p (t) be Lusztig coordinates of the element X ∈ N . Then the restriction of the left γ + Whittaker vector to N is given by the function ω (t) = χ (T ) · exp − p (t) ν γ γ∈Δ Denote by g and g the parts of Gauss decomposition of the group element g, ± 0 g = g g g , g ∈ N , g ∈ H, − 0 + ± ± 0 and by g the product g g . We see that the problem of writing precise expressions for 0+ 0 + the left Whittaker vector leads to the study of birational isomorphism τ of the manifold N and the map σ : N → H given by + + τ(X(t)) = (X(−t)w¯ ) , σ(X(t)) = (X(−t)w¯ ) 0 0 + 0 Another possibility, is to use for the construction of left Whittaker vector slightly different maps τ˜ : N → N and σ˜ : N → H given by + + + −1 −1 τ˜(X(t)) = X (t)w¯ , σ(X(t)) = X (t)w¯ . 0 0 + 0 Below we present explicit description of the maps τ and σ in Lusztig coordinates and use this description for the derivation of Mellin transforms of Whittaker functions. The maps τ˜ and τ are closely related to the birational transform η by Berenstein and w¯ Zelevinsky. The latter plays the crucial role in their derivation of the factorized expression of Lusztig coordinates via generalized minors [BZ, Theorem 1.4]. The map η is w¯ η (X) = w¯ X (2.32) w¯ 0 12 T where is an anti-automorphism of G, trivial on H, and satisfying the relations T T (exp(te )) = exp(tf )), and (exp(tf )) = exp(te )) α α α α −1 for each simple root α. Compute first w¯ X(t)w¯ . We have ← ← Y Y −1 −1 w¯ X(t)w¯ = w¯ exp t f w¯ = exp −t e (2.33) 0 0 γ α γ −w (α ) 0 k i 0 k 0 i k k k k −1 This expression coincides with (θ(X)) (t). We then have η (X) = (θ(X)w¯ ) = τ˜(θ(X)) (2.34) w¯ 0 + so that the maps η and τ˜ differ by Dynkin automorphism θ. The relation (2.33) implies w¯ also slightly more complicated relation between η and τ, w¯ η (X) = τ(ιθ(X)) (2.35) w¯ where ι is the birational automorphism of the manifold N , reversing the order of the product in Lusztig presentation (2.22) of the group element of N . Note that the map ι defined first for a given normal ordering, respects the transition maps (2.24)–(2.26) and thus does not depend on a choice of Lusztig coordinates. Having in mind relations (2.34) and (2.35) we further use the name Berenstein– Zelevinsky (BZ) transform for the birational map τ : N → N and for the corresponding + + change of Lusztig coordinates. The map σ will be referred as (Cartan) twist. 2.4 Using Plancherel formula The convolution property for the Mellin transform admits the following reading. Let F (s) and F (s) be Mellin transforms of integrable functions f (t) and f (t), 2 1 2 dt F (s) = f (t)t . i i Let S and S be the strips of analyticity of F (s) and F (s), 1 2 1 2 S : α < Re s < b . i i i Assume that the intersection of strips −S and S is nonzero and both functions F (s) and 1 2 1 F (s) rapidly decrease when s goes to ±i∞ along the contour C = {Re s = c} ⊂ −S ∩S . 2 1 2 Then dt 1 f (t)f (t) = F (−s)F (s)ds (2.36) 1 2 1 2 t 2πi Here is a check: c+i∞ c+i∞ ∞ Z Z Z 1 1 dt F (−s)F (s)ds = F (−s)ds f (t)t = 1 2 1 2 2πi 2πi t c−i∞ c−i∞ 0 ∞ c+i∞ ∞ −c+i∞ ∞ Z Z Z Z Z 1 dt 1 dt dt s −s f (t) t F (−s)ds = f (t) t F (s)ds = f (t)f (t) . 2 1 2 1 1 2 2πi t 2πi t t 0 c−i∞ 0 −c−i∞ 0 13 The first equality is due to the inclusion C ⊂ S , the second uses the decreasing at infinities, the third is the change of variables s → −s, the fourth is the Mellin inversion theorem due to the inclusion −C ⊂ S . Since Mellin transform of the function f (t) equals 1 1 to F (s¯) , we can rewrite the convolution property (2.36) in a form of Plancherel formula Z Z dt 1 ¯ ¯ f (t)f (t) = F (−s¯)F (s)ds (2.37) 1 2 1 2 t 2πi 0 C under the same assumptions on the functions F (s) and F (s). 1 2 L R ρ L R Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of t ω (t) and ω (t) as of functions ν µ ν µ on N , Z Z dt dt R R γ L ρ L γ ωˆ (γ) = ω (t)t , ωˆ (γ) = t ω (t)t µ µ ν ν t t t>0 t>0 Here t means the product γ γ t = (t ) , γ∈Δ γ ρ where (t ) is the power of the variable t , and t is defined by (2.27). We now use the γ γ Plancherel formula (2.37) to rewrite Whittaker wave functions (2.17) and (2.18) in terms L R of ωˆ (γ) and ωˆ (γ). First we note that by definition (2.14), (2.15) of the action of the ν µ Lie algebra g in the space V , the restriction of the function exp (−x)v for any x ∈ h is given by the relation R R exp (−x)v | = ω (t) exp (−x)| = N N µ + µ + R −(x,µ ) ad R exp (−x) exp (x)ω (t) exp (−x) = e e ω (t) µ µ Mellin transform turns first order differential operators ad into operators of multiplica- tions on functions H(x, γ), see (3.17), (4.10), (5.10), (6.4). Then by (2.37) and Lemma 2.2 we have dt −(ρ+,µ x ) L ad R Ψ (x) =e ω (t)e ω (t) = ,µ ν ν µ (2.38) −(ρ+,µ x ) L R ¯ ˜ ωˆ (−γ¯) exp H(x, γ)ωˆ (γ)dγ ν µ (2πi) and −i(λ,x) L R ¯ ˜ Ψ (x) = ωˆ (−γ¯) exp H(x, γ)ωˆ (γ)dγ (2.39) iλ−ρ iλ−ρ (2πi) Here d is the dimension of N , the contour C is a deformation of imaginary plane Re γ = 0 R L into the intersection of strips of analyticity of ωˆ (γ) and ωˆ (−γ¯) under the assumption µ ν of nonemptiness of their intersections and their vanishing on imaginary infinities. 3 GL(n,R) 3.1 BZ transform Let v be a fixed basis of R and e ∈ Mat be matrix units, e (v ) = δ v . Denote by i i,j n×n i,j k j,k i ε ∈ h the basic elements of h defined by the condition ε (e ) = δ and by s the group i i j,j i,j i 14 P elements, related to simple reflection s , that is s = (e − e ) + e ε −ε i i,i+1 i+1,i j,j i i+1 j6=i,i+1 as element of Mat . We use the following decomposition of the Weyl group element n×n (n) w = w , (n) w = s (s s ) · · · (s s · · ·s ). n−1 n−2 n−1 1 2 n−1 Under the so that the corresponding ordering (2.20) of positive roots is ε , ε , ε , ε , ε , ε , · · · , ε , ε · · ·ε , n−1,n n−2,n n−2,n−1 n−3,n n−3,n−1 n−3,n−2 1,n 2,n 1,2 (n) where ε = ε − ε . Let X (t) be a group element of the subgroup N , given by (2.22), i,j i j + (n) X (t) = exp(t e ) exp(t e ) exp(t e ) · · · n−1,n n−1,n n−2,n n−2,n−1 n−2,n−1 n−1,n exp(t e ) exp(t e ) · · · exp(t e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n Here we regard e as Chevalley generators of Lie algebra gl . In fundamental repre- i,i+1 sentation they are given by the matrices (n) X (t) = (Id +t e ) (Id +t e )(Id +t e ) · · · n−1,n n−1,n n−2,n n−2,n−1 n−2,n−1 n−1,n (Id +t e )(Id +t e ) · · · (Id +t e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n where Id ∈ Mat is the identity matrix. We are going to solve the following equation n×n (n) (n) (n) TX (p) = X (−t)w¯ (3.1) 0+ where (n) X (p) = (Id +p e ) (Id +p e )(Id +p e ) · · · n−1,n n−1,n n−2,n−1 n−2,n n−2,n−1 n−1,n (3.2) (Id +p e )(Id +p e ) · · · (Id +p e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n and T is a diagonal matrix. In other word, we have to find out the unknown variables p as function of t and the diagonal matrix T depending on p (and thus on t ) such i,j i,j i,j i,j that relation (3.2) holds. Denote further in this section k = k + 1 − i. Theorem 3.1 a) BZ map τ, see (2.32) and(3.1), has the form t t t 1 ˆ ˆ ˆ i−1,i+j−1 i−2,i+j−1 1,i+j−1 p = · · · (3.3) i,j t t t t ˆ ˆ ˆ ˆ i,i+j i−1,i+j i−2,i+j 1,i+j b) The twisting matrix T ∈ H reads t · · ·t t · · ·t 2,n 2,3 3,n 3,4 T = t · · ·t · e + · e + · e + . . . 1,n 1,2 1,1 2,2 3,3 t t t 1,2 1,3 2,3 (3.4) t · · ·t 1 i,n i,i+1 + · e + . . . + · e . i,i n,n t · · ·t t · · ·t 1,i i−1,i 1,n n−1,n dt c) BZ transform preserves the measure , Y Y dt dp i,j i,j = . t p i,j i,j i<j i<j 15 Remark 1. BZ transform τ is involutive, that is the inverse relation p p p 1 ˆ ˆ ˆ i−1,i+j−1 i−2,i+j−1 1,i+j−1 t = · · · (3.5) i,j p p p p ˆ ˆ ˆ ˆ i,i+j i−1,i+j i−2,i+j 1,i+j (n) (n) has the same form as (3.3). Indeed, the map τ: X (t) → X (p) is defined by the (n) (n) (n) (n) n+1 relation X (p) = X (−t)w¯ , Since w¯ = (−1) Id, this is equivalent to 0 0 (n) (n) X (−t) = X (p)w . This means that we can interchange in (3.3) t to −p and 0 i,j i,j p to −t . After cancelation of signs we get (3.5). i,j i,j Remark 2. The Cartan twist T can be as well written in shorthand notation as T (t) = −1 T (p ), that is 1 p p p 1,2 1,3 2,3 T = · e + · e + · e + . . . 1,1 2,2 3,3 p · · ·p p · · ·p p · · ·p 1,n 1,2 2,n 2,3 3,n 3,4 (3.6) p · · ·p 1,i i−1,i + · e + . . . + p · · ·p · e . i,i 1,n n−1,n n,n p · · ·p i,n i,i+1 Indeed, T is specified by the condition (n) (n) (n) TX (p) = X (−t)w¯ . 0+ (n) n+1 Again, since w¯ = (−1) Id, this is equivalent to (n) −1 (n) n+1 (n) T X (−t) = (−1) X (p)w¯ , 0+ −1 n+1 which implies the equality T (−p) = (−1) T (t). The cancelation of signs gives (3.6). Corollary 3.1 The restriction of left Whittaker vector to N is given by the function X X L ν −ν ω (t) = t · exp − p = p · exp − p (3.7) i,j i,j i<j i<j where p are given by (3.3) i,j The formula (3.7) is well known, see [GLO] an references therein. However, we got it in a form convenient for the study of Mellin transform. Further on we find analogous form for other classical groups. The proof of Theorem 3.1 is based on inductive calculation of BZ transform τ and (n) related map σ. Namely, the group element X (−t) admits a factorization (n) (n−1) (n) X (−t) = X (−t) · A (−t) where (n) A (−t) = (Id −t e )(Id −t e ) · · · (Id −t e ). 1,n 1,2 1,n−1 2,3 1,2 n−1,n 16 and (n−1) X (−t) = (Id −t e ) (Id −t e )(Id −t e ) · · · n−1,n n−1,n n−2,n n−2,n−1 n−2,n−1 n−1,n (Id −t e )(Id −t e ) · · · (Id −t e ). 2,n 1,2 2,n−1 2,3 2,3 n−2,n−1 represents a group element of the unipotent subgroup of embedded GL(n − 1),   1 0   1 ∗ ∗   (n−1) X (−t) =     0 ∗ 0 0 1 (n) The matrix X (p) has the same structure, (n) (n−1) (n) X (p) = X (p) · A (p). (n) (n) In the induction step we first express Lusztig coordinates of A (p) via that of A (−t); (n) compute the input of A (−t) into Cartan twist T and reduce the rest of calculations to (n−1) the computation of BZ transform and twist of GL(n − 1) matrix X (−t), which is (n−1) given by a certain gauge transform of X (−t). (n) Denote by Λ the diagonal matrix with diagonal entries 1 1 (n) (n) Λ = t t · · ·t , Λ = = , j > 1 (3.8) 1,n 1,n−1 1,2 1,1 j,j t t ˆ 1,n−j+2 1,j+1 and define the variables t , 1 < i < j ≤ n by the relation i,j 1,j−i+2 t = t · (3.9) i,j i,j 1,j−i+1 (n) Proposition 3.1 a) The parameters p , j = 2, ..., n of A (p) are equal to 1,j p = (3.10) 1,j 1,n−j+2 (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ TX (p) = Λ · X (−t)w¯ (3.11) 0+ Proof of part a) of Proposition 3.1. Matrix element A of upper triangular unipotent i,j (n) matrix A (−t) is (n) (n) j−i A = A (−t) = (−1) t t · · ·t , t i < j (3.12) ˆ ˆ ˆ ˆ i,j i,j 1,j+1 1,j+2 1,i−1 1,i (n−1) (n) Due to the structure (3.10) of the matrix X (−t) the first row of X (−t) coincides (n) with that of A (−t) and is equal to (n) (n) (n) n−1 n−2 ((−1) A , (−1) A , . . .A ) = (t t · · ·t , . . . , t t , t , 1). 1,n 1,n−1 1,2 1,3 1,2 1,2 1,n 2,n 1,1 17 (n) n−1 Since the right multiplication by w¯ = e −e +. . .+(−1) e leaves the first row of 1,n 2,n n,1 (n) (n) the matrix X (t) invariant, permuting its entries, the parameters of A (p) and matrix (n) element T can be completely determined from the parameters of A (−t). Namely, 1,1 T = t t · · ·t and we have two presentations for the first row of the matrix 1,1 1,n 2,n n−1,n (n) A (p): 1 1 1 (1, p , p p , · · · , p p · · ·p ) = 1, , , . . . , 1,n 1,n 1,n−1 1,n 2,n 1,2 t t t t t · · ·t 1,2 1,2 1,3 1,2 1,3 1,n (n) so that the parameters p of the matrix A (p) are equal to p = . i,n 1,j 1,n+2−j (n−1) Let w¯ be the element of embedded group GL(n−1) representing the corresponding (n−1) longest element of the Weyl group, w¯ = e + e − e + . . . + (−1) e . Let U 1,1 2,n 3,n−1 n,2 be the matrix −1 −1 (n−1) (n) (n) (n) U = w¯ A (−t)w¯ A (p) (3.13) The following lemma is the crucial technical step in the calculation of the transformation (3.1). It states that the matrix U has the block structure ∗ 0 U = ∗ Λ where Λ is (n − 1) × (n − 1) diagonal matrix. More precisely Lemma 3.1 Matrix elements U equal zero for i 6= j, j > 1. Matrix element U equals i,j 1,1 −1 −1 (p p · · ·p ) = t t . . . t . The element U equals p = t for i > 1. 1,2 1,3 1,n 1,2 1,3 1,n i,i ˆ 1,i+1 1,i The proof of Lemma 3.1 is given in Appendix A. −1 (n) (n−1) (n−1) ′ (n) Proof of part b) of Proposition 3.1. Denote by Λ = w¯ Λ w¯ the 0 0 diagonal matrices with nonzero entries (n) (n) ′ ′ Λ = t t · · ·t , Λ = , i > 1 1,2 1,3 1,n 1,1 i,i 1,i (n) Since A (p) ∈ N, the relation (3.1) can be equivalently rewritten as −1 (n) (n−1) (n−1) (n) (n) ˜ ˜ TX (p) = X (−t)A (−t)w¯ A (p) 0+ or (n−1) (n−1) (n) (n−1) (n−1) (n−1) ′ ˜ ˜ ˜ TX (p) = X (−t)w¯ U = X (−t)w¯ Λ V = 0 0 0+ 0+ (n−1) (n) (n−1) Λ X (−t)w¯ V , 0+ where −1 −1 (n) ′ (n−1) (n) (n−1) (n) ¯ ˜ V = Λ U and X (−t) = Λ X (−t)Λ . (3.14) 18 (n−1) (n−1) The matrices Y = X (−t)w¯ and V have the following block structure due to Lemma 3.1: 1 0 1 0 Y = , V = 0 Y Z Id n−1 where Y and Id are (n − 1) × (n − 1) matrices and Z is 1 × (n − 1) matrix. Then the n−1 product Y V also has a block structure and can be rewritten as 1 0 1 0 Y V = · ˜ ˜ Y Z Id 0 Y n−1 The first factor of the latter product is unipotent lower triangular matrix so that the upper triangular part of Y V coincides with upper triangular part of Y . Thus we proved the equality (n−1) (n−1) (n) (n−1) ˜ ¯ TX (p) = Λ X (−t)w¯ 0+ (n−1) where the matrix X (−t) is given by the relation (3.14). The last step is the computation of the conjugation in (3.14). To perform it we note that the exponent in the products (3.4) containing the variable t is i,j exp (−t e ) = (1 − t e ) (3.15) i,j n−j+i,n−j+i+1 i,j n−j+i,n−j+i+1 which means that the conjugation (3.14) results to multiplication of the coefficient at (n) (n) e by Λ /Λ which is due to (3.8), the rescaling n−j+i,n−j+i+1 n−j+i+1,n−j+i+1 n−j+i,n−j+i 1,j−i+2 t → t . i,j i,j 1,j−i+1 Proof of Theorem 3.1 follows from the inductive application of Proposition 3.1. At (n) the first step we find the variables p , see (3.10) and the input Λ of the first step to 1,j the diagonal matrix T . In particular, we find that T = t · · ·t . Then we pass to the 1,1 1,2 1,n second step, where we deal with (n − 1) square matrix but with rescaled by (3.9) matrix elements t . Here after the corresponding shift of indices we find out the next portion of i,j variables, 1 1 t 1,n−j+2 p = = 2,j t t 2,n−j+3 1,n−j+3 2,n−j+3 (n−1) due to (3.9) and (3.10). The Cartan matrix T gains the new income, equal to Λ with matrix entries (n−1) (n−1) 1,n ˜ ˜ Λ =1, Λ = t · · ·t = t · · ·t · , 2,3 2,n 2,3 2,n 1,1 2,2 1,2 1 1 t (n−1) 1,n−j+2 Λ = = , j > 2 j,j t t 2,n−j+3 1,n−j+3 2,n−j+3 and the renormalization of the variables t for new (n − 2) × (n − 2) task, i,j 2,j−i+3 ˜ ˜ ˜ t → t = t . i,j i,j i,j 2,j−i+2 19 Following this procedure we get both a) and b) statements of the Theorem. The part dt i,j c) may be observed as follows. Denote by Ω and Ω the skew forms Ω = ∧ and t p t i<j i,j dp i,j ′ ′′ ′ ′′ Ω = ∧ . They admit the factorizations Ω = Ω ∧ Ω , and Ω = Ω ∧ Ω , where p i<j t p t t p p i,j dt dt 1,j i,j ′ ′′ Ω = ∧ , Ω = ∧ , 1<j 1<i<j t t t t 1,j i,j ′ ′′ and analogously for Ω and Ω Looking at the induction step and relation (3.10) we see p p ′ ′ that the skew forms Ω and Ω coincide up to sign. But then the relations (3.9) say that t p in the wedge product dt i,j Ω ∧ 1<i<j i,j 1,j−i+2 the renormalization fractions should be regarded as constants which so do not 1,j−i+1 contribute to the wedge product, so that dt i,j ′′ Ω = ∧ 1<i<j i,j and we may further use the same equalities for the next induction steps. 3.2 Whittaker function Using the relation (3.15) we immediately describe the action of Cartan generators on the P P right Whittaker vector. By definition, exp( −x e )· f(g) = f(g exp( −x e )) for k k,k k k,k k k any function f : G → C, so the vector exp(− x e )v is presented by the function k k,k k µ R ′ exp(− µ x )ω (t ), where k k t = t · exp (x − x ) (3.16) i,j n−j+i n−j+i+1 i,j L R ρ L Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions on N t ω (t) and ν µ ν ω (t), Z Z dt dt γ i,j R R γ R i,j ωˆ (γ) = ω (t)t := ω (t) t , µ µ µ i,j t t i,j t>0 t >0 i,j i<j Z Z dt dt γ +j−i i,j L ρ L γ L i,j ωˆ (γ) = t ω (t)t := ω (t) t . ν ν ν i,j t t i,j t>0 t >0 i,j i<j Here ρ = − kε . Due to (3.16)the action of Cartan subgroup on the right Whittaker k=1 R R vector v transforms the function ωˆ (γ) to the product µ µ X X R R exp −x e : ωˆ (γ) 7→ exp(− µ x ) · exp H(x, γ) · ωˆ (γ) k k,k k k µ µ k k where H(x, γ) = γ (x − x ) (3.17) i,j n−j+i+1 n−j+i i<j 20 Due to Proposition 2.2 we have: ωˆ (γ) = Γ(γ ). i,j i<j For the calculation of ωˆ (γ) we pass in the integral X Y ′ dt ν i,j exp − p · t t , i,j i,j t >0 i,j i<j i<j where ν = ν − i from the integration variables t to p . Substitution of (3.5) gives the relation i,j i,j Y Y ′ ′ Y ′ ′ γ +ν −ν −ϕ +ν −ν i,j i,j ν i,j i j j i t t := t = p , i,j i,j i,j i<j i<j i<j where X X ϕ = − γ + γ i,j ˆ ˆ k,k+j−1 k,k+j k>i k≥i This implies the relation Y Y L ′ ′ L ′ ′ ωˆ (γ) = Γ(−ϕ + ν − ν ), ωˆ (−γ¯) = Γ(ϕ + ν − ν ) i,j i,j ν j i ν i j i<j i<j Then by (2.38) and (2.39) we have −(x,ρ+µ ) ′ ′ ˜ ˜ Ψ (x) = exp H(x, γ) Γ(ϕ + ν − ν )Γ(γ )dγ . ,µ ν i,j i,j i,j i j (2πi) i<j where now ν + µ¯ = −ρ, d = n(n − 1)/2 and the contour C is a deformation of imaginary plane Reγ = 0 to the strip of analyticity of the integrand. In particular, for µ = iλ − ρ ij we have −i(x,λ) Ψ (x) = exp H(x, γ) Γ(ϕ + i(λ − λ ))Γ(γ )dγ . (3.18) λ k,l k l i,j i,j (2πi) k<l Performing the following change of variables in the integral in (3.18): γ˜ = γ + γ + . . . + γ . i,j i,j i+1,j+1 n−j+i,n we finally arrive to Theorem 3.2 −i(λ,x) Ψ (x) = exp (γ − γ )x λ 1,n+2−k 1,n+1−k k (2πi) 1≤k≤n Γ(γ − γ + i(λ − λ ))Γ(γ − γ )dγ kl k+1,l k n+k−l+1 kl k+1,l+1 k,l k<l 21 Here we assume that γ = 0 unless 1 ≤ k < l ≤ n. The integration cycle C is a k,l n deformation of the imaginary plain Re γ = 0 into nonzero strip D ⊂ C of the analyticity k,l of the integrand, which can be described by inequalities Re γ > 0, Reγ > Re γ k,l k,l k+1,l for all admissible pairs (k, l) of indices. 4 SO(n, n) 4.1 BZ transform The split real form of the group SO(2n,C) is the group SO(n, n) ⊂ SL(2n,R) preserving 2n symmetric form x y , where as before i = 2n+1−i. Gauss decomposition is induced i=1 i from that of GL(2n,R). Positive roots are ε ± ε for 1 ≤ i < j ≤ n, where ε ∈ h are i j k now defined by the condition ε (e − e ) = δ . We denote Chevalley generator of the ˆ ˆ k j,j j,k j,j ± ± Lie algebra g = so(2n) by e and f , i = 1, . . . , n − 2 and e , f . Here i i n−1 n−1 e = e − e , f = e − e , i = 1, ..., n − 2, i i,i+1 2n−i,2n+1−i i i+1,i 2n+1−i,2n−i + + e = e − e , f = e − e , n−1,n n+1,n+2 n,n−1 n+2,n+1 n−1 n−1 − + e = e − e , f = e − e . n−1,n+1 n,n+2 n+1,n−1 n+2,n n−1 n−1 Denote by s i = 1, ..., n − 1 and s the corresponding generators of the Weyl group n−1 and their lifts to the group SO(n, n) according to (2.30). We choose the following normal ordering of the system Δ of positive roots: (ε + ε , ε − ε ), (ε + ε , ε + ε , ε − ε , ε − ε ), · · · , n−1 n n−1 n n−2 n−1 n−2 n n−2 n n−2 n−1 (ε + ε , ε + ε , · · · , ε + ε , ε − ε , · · · , ε − ε , ε − ε ). 1 2 1 3 1 n 1 n 1 3 1 2 It corresponds by (2.20) to the following reduced decomposition of the longest element (n) w of the Weyl group W : (n) ǫ(n−1) ǫ(n) − + + − w = (s s ) (s s s s ) · · · (s s ...s s s s ...s s ). n−2 n−2 1 2 n−2 n−2 2 1 0 n−1 n−1 n−1 n−1 n−1 n−1 where ǫ(k) = (−1) . Note that as element of SO(n, n), 2n (n) w = − e for even n, k,k k=1 (4.1) (n) w¯ = e + (e + e ) for odd n. n,n n+1,n+1 0 k,k k6=n,n+1 Denote by t the Lusztig parameter corresponding to the root ε − ε , and by s the i,j i j i,j Lusztig parameter corresponding to the root ε +ε . Here 1 ≤ i < j ≤ n. Then the group i j 22 (n) element X (t) looks as (n) − + X (t) = exp(s e ) exp(t e ) · n−1,n n−1,n n−1 n−1 . . . (4.2) ǫ(n−2) ǫ(n−1) (exp(s e ) · · · exp(s e ) exp(t e ) · · · exp(t e ) exp(t e ) · 2,3 2 2,n 2,n 2,4 3 2,3 2 n−1 n−2 ǫ(n−1) ǫ(n) (exp(s e ) exp(s e ) · · · exp(s e ) exp(t e ) · · · exp(t e ) exp(t e ) . 1,2 1 1,3 2 1,n 1,n 1,3 2 1,2 1 n−1 n−1 (n) BZ transform for SO(n, n) is the solution of the equation (3.1), where in X (p) we use the notation p for Lusztig parameter, corresponding to the root ε − ε , and q for the i,j i j i,j Lusztig parameter, corresponding to the root ε + ε , i j (n) − + X (p) = exp(q e ) exp(p e ) · · · n−1,n n−1,n n−1 n−1 ǫ(n−1) ǫ(n) (exp(q e ) exp(q e ) · · · exp(q e ) exp(p e ) · · · exp(p e ) exp(p e ) . 1,2 1 1,3 2 1,n 1,n 1,3 2 1,2 1 n−1 n−1 Set in addition s = t = p = q = u = 1, and for all i, j, 1 ≤ i < j ≤ n put j,j j,j j,j j,j j,j t + s , j < n, i,j i,j i,j−1 u = t , j = n, n − i odd, (i.e. ǫ(n − i) = −1), r = . i,j i,j i,j u s i,j i,j−1 s , j = n, n − i even, (i.e. ǫ(n − i) = 1) i,j Theorem 4.1 a) BZ map for SO(n, n) looks as Y Y Y Y t s t s k,j−1 k,j k,j−1 k,j p = r · , q = r · , j < n i,j i,j i,j i,j s t s t k,j−1 k,j k,j−1 k,j k<i k<i k<i k≤i (4.3) ǫ(n−i) ǫ(n−i) Y Y Y Y t t t s k,n−1 k,n k,n−1 k,n p = r · , q = r · . i,n i,n i,n i,n s s s t k,n−1 k,n k,n−1 k,n k<i k<i k<i k≤i −1 b) The twisting matrix T ∈ H is T = T e + T e , where k k,k ˆ ˆ k=1 k k,k Y Y j,k T = · s t k k,j k,j j,k j<k j>k dt c) BZ transform preserves the measure : Y Y dt ds dp dq i,j i,j i,j i,j = . t s p q i,j i,j i,j i,j i<j i<j We supply theorem 4.1 with remarks identical to those related to Theorem 3.1. Their (n) proofs are similar without any troubles with signs since here w¯ = 1. Namely Remark 1. BZ transform τ is involutive, that is the inverse relations Y Y Y Y p q p q k,j−1 k,j k,j−1 k,j t = r˜ · , s = r˜ · , j < n i,j i,j i,j i,j q p q p k,j−1 k,j k,j−1 k,j k<i k<i k<i k≤i (4.4) ǫ(n−i) ǫ(n−i) Y Y Y Y p p p q k,n−1 k,n k,n−1 k,n t = r˜ · , s = r˜ · . i,n i,n i,n i,n q q q p k,n−1 k,n k,n−1 k,n k<i k<i k<i k≤i 23 have the same form as (4.3). Here p + q , j < n, i,j i,j i,j−1 p , j = n, n − i odd, (i.e. ǫ(n − i) = −1), . v = r˜ = i,j i,j i,j v q i,j i,j−1 q , j = n, n − i even, (i.e. ǫ(n − i) = 1) i,j −1 Remark 2. The Cartan twist T can be as well written as T (t) = T (p ), that is −1 T = T e + T e , where k k,k ˆ ˆ k=1 k k,k Y Y q 1 j,k T = · p q p j,k k,j k,j j<k j>k Corollary 4.1 The restriction of the left Whittaker vector to N is given by the function X X L ν −ν ω (t) = t · exp − (p + q ) = p · exp − (p + q ) i,j i,j i,j i,j i<j i<j where p are given by (3.1) and t for a weight ν = ν ε means the product i,j k k k=1 ν −ν ν +ν ν i j i j t = t s i,j i,j i<j (n) The proof of Theorem 4.1 follows the same scheme as for GL(n). The matrix X (−t) (n) (n−1) (n) admits a factorization X (−t) = X (−t) · A (−t), where ǫ(n−1) (n) A (−t) = exp(−s e ) exp(−s e ) · · · exp(−s e )· 1,2 1 1,3 2 1,n n−1 ǫ(n) exp(−t e ) · · · exp(−t e ) exp(−t e ) 1,n 1,3 2 1,2 1 n−1 and (n−1) − + X (−t) = exp(−s e ) exp −(t e ) · n−1,n n−1,n n−1 n−1 . . . ǫ(n−2) ǫ(n−1) (− exp(s e ) · · · exp(−s e ) exp(−t e ) · · · exp(−t e ) exp(−t e ) · 2,3 2 2,n 2,n 2,4 3 2,3 2 n−1 n−2 represents a group element of the unipotent subgroup of embedded SO(n − 1, n − 1),   1 0 0   1 ∗ ∗     (n−1) X (−t) = 0 0   0 ∗     0 0 1 0 0 1 24 (n) (n) (n−1) (n) The matrix X (p) has the same structure, X (p) = X (p) · A (p). Denote by P −1 n (n) (n) (n) (n) Λ the diagonal matrix Λ = (Λ e + Λ e ), where ˆ ˆ k,k k=1 k,k k,k k,k n−1 ǫ(n−1) t t (n) (n) 1,k 1,n (n) Λ = t s Λ = , 1 < k < n, Λ = (4.5) 1,k 1,k 1,1 k,k n,n s s 1,k 1,n k=1 and define the variables t and s˜ , 1 < i < j ≤ n by the relations i,j i,j ǫ(n−1) s t s t 1,j−1 1,n 1,j 1,n−1 ˜ ˜ t = t · , j < n, t = t · i,j i,j i,n i,n t s t s 1,j−1 1,j 1,n−1 1,n (4.6) ǫ(n) s t s t 1,j−1 1,j 1,n−1 1,n s˜ = s · , j < n, s˜ = s · i,j i,j i,n i,n t s t s 1,j−1 1,j 1,n−1 1,n (n) Proposition 4.1 a) The parameters p and q , j = 2, ..., n of A (p) are equal to 1,j 1,j u u s 1,j−1 1,j−1 1,j p = , q = (4.7) 1,j 1,j u s u s t 1,j 1,j−1 1,j 1,j−1 1,j (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ TX (p) = Λ · X (−t)w¯ 0+ Proof of part a) of Proposition 4.1 consists as before in comparison of the first rows of (n) (n) (n) (n) matrices B = A (−t)w¯ and A (p). We have (n) (n) j+1 B = (−1) s · · ·s u , B = −(s · · ·s )(t · · ·t ), j < n, 1,i+1 1,j−1 1,j 1,2 1,i+1 1,j+1 1,n 1,j ˆ 1j (n) (n) B = s · · ·s , B = s · · ·s t 1,2 1,n 1,2 1,n−1 1,n 1,n 1n ˆ (n) By this we see first that the first diagonal entry Λ in the Gauss decomposition of the 1,1 (n) right hand side of (3.1) equals to B = t s and since the first row of the left 1,j 1,j 1,1 j>1 (n) hand side of (3.1)coincides with the first row of A (p), (n) (n) A (p) = q · · ·q v , A (p) = (−1) (q · · ·q )(p · · ·p ), 1,i+1 1,j−1 1,j 1,2 1,i+1 1,j+1 1,n 1,j ˆ 1j (n) the variables p and q then can be found via ratios of coefficients B . Thus we get 1,j 1,j 1,k (4.7). For the proof of part b) we again need the crucial technical lemma which says that −1 −1 (n−1) (n) (n) (n) the matrix U = w¯ A (−t)w¯ A (p) , see (3.13) has the block structure 0 0   ∗ 0 0   ∗ 0 0     U =  ∗ 0  . 0 0     0 0 ∗ ∗ ∗ ∗ and specializes its diagonal entries. 25 Lemma 4.1 Nondiagonal matrix elements U (i 6= j) equal zero if j > 1 and i < 2n. i,j 1,k Matrix element U equals t s . Matrix element U equals for 1 < k ≤ n. 1,1 1,j 1,j k,k j>1 1,k 1,k Matrix element U equals for 1 < k ≤ n ˆ ˆ k,k 1,k The proof of Lemma 4.1 is sketched in Appendix B. As well as in the proof of Proposition (3.1), Lemma 4.1 implies the equality (n−1) (n−1) (n) (n−1) ˜ ¯ TX (p) = Λ X (−t)w¯ 0+ (n) where the diagonal matrix Λ is given in (4.5) and −1 (n−1) (n) (n−1) (n) ¯ ˜ X (−t) = Λ X (−t)Λ . (4.8) (n) Then the structure of the group element X (t), see (4.2) says that the parameters t i,j ǫ(n−i+1) and s are the coefficients at e for j < n; t is the coefficient at e , and s is i,j j−1 i,n i,n n−1 ǫ(n−i) the coefficient at e in Lusztig presentation of X(−t). This enables us to rewrite the n−1 conjugation (4.8) as the change of variables (4.6) and finish the proof of Proposition 4.1. Then the proof of part b) of Theorem 4.1 follows by induction on n. The inductive proof of part c) is analogous to that of Theorem 3.1. 4.2 Whittaker function Using the arguments of the end of the previous subsection, we describe the action of Cartan generators on the right Whittaker vector. Namely, the vector exp( x (e −e ))·v k ˆ ˆ k,k k=1 k,k R ′ is presented by the function exp(− µ x )ω (t ), where k k ′ ′ t = t · exp (x − x ) , s = s · exp (x − x ) , j < n, i,j j j−1 i,j j j−1 i,j i,j (4.9) ′ ′ t = t · exp (ǫ(n − i + 1)x − x ) , s = s · exp (ǫ(n − i)x − x ) . i,n n n−1 i,n n n−1 i,n i,n L R L Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions on N ω (t) and ν µ ν ω (t), Z Z dt dt ds γ δ i,j i,j R R γ R i,j i,j ωˆ (γ) = ω (t)t := ω (t) t s , µ µ µ i,j i,j t t s i,j i,j t>0 i<j t >0, i,j s >0 i,j Z Z dt dt ds γ +j−i δ +2n−i−j i,j i,j L ρ L γ L i,j i,j ωˆ (γ) = t ω (t)t := ω (t) t s . ν ν ν i,j i,j t t s i,j i,j t>0 i<j t >0, i,j s >0 i,j Here ρ = (n − k)(ε − ε ). Due to (4.9) the action of Cartan subgroup on the k,k ˆ ˆ k=1 k,k R R right Whittaker vector v transforms the function ωˆ (γ) to the product exp(− µ x )· k k µ µ exp H(x, γ)ωˆ (γ), where H(x, γ) = (γ + δ )(x −x ) + (γ + δ + . . .)(x − x )+ i,j i,j j j−1 n−1,n n−2,n n n−1 i<j<n (4.10) (δ + γ + δ + . . .)(−x − x ), n−1,n n−2,n n−3,n n−1 n 26 Due to Proposition 2.2 we have: ωˆ (γ) = Γ(γ )Γ(δ ). i,j i,j i<j For the calculation of ωˆ (γ) we pass in the integral X Y ′ ′ ′ ′ γ +ν −ν δ +ν +ν dt ds i,j i,j i,j i,j i j i j exp −(p + q ) · t s i,j i,j i,j i,j t s i,j i,j t ,s >0 i,j i,j i<j i<j from the integration variables t and s to p and q . Here i,j i,j i,j i,j ′ ′ ν = ν + ρ, ν = ν + n − i. Substitution of (4.4) gives the relation Y Y Y γ δ φ ψ θ i,j i,j i,j i,j i,j t s = p q · (p + q ) i,j i,j i,j i,j i,j i,j i<j 1≤i<j≤n 1≤i<j<n where ϕ = −δ + (γ + δ − γ − δ ) i,j i,j k,j+1 k,j+1 k,j k,j k>i (4.11) ψ = δ − (γ + δ − γ − δ ) − γ − δ , i,j i,j k,j+1 k,j+1 k,j k,j i,j+1 i,j+1 k>i θ = −δ − γ + δ + γ , i,j i,j i,j i,j+1 i,j+1 if j < n and θ = 0, i,n n−i−1 −δ + (−1) (γ − δ ), ε(n − i) = 1 i,n i+k,n i+k,n k=1 ϕ = i,n n−i−1 −γ + (−1) (δ − γ ), ε(n − i) = −1 i,n i+k,n i+k,n k=1 (4.12) n−i−1 −γ + (−1) (δ − γ ), ε(n − i) = 1 i,n i+k,n i+k,n k=1 ψ = i,n n−i−1 −δ + (−1) (γ − δ ), ε(n − i) = −1 i,n i+k,n i+k,n k=1 This means that the Mellin transform of the left Whittaker vector is described by the integral ′ ′ ′ ′ ϕ −ν +ν ψ −ν −ν dp dq i,j i,j i,j i,j i j i j i,j p q (p + q ) i,j i,j i,j i,j p q p ,q >0 i,j i,j i,j i,j i<j Integration over the variables p and q produced the product i,n i,n n−1 ′ ′ Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) (4.13) i,n i n i,n i n i=1 of corresponding Γ functions. For the calculation of integrals over the variables p and i,j q with j < n we use the integral i,j Γ(a)Γ(b)Γ(a + b + c) a−1 b−1 c −x−y x y (x + y) e dxdy = . (4.14) Γ(a + b) x,y>0 27 x Its evaluation is based on the change of variables u = x + y, t = . This gives the x + y product over 1 < i < j < n of the factors Γ(ϕ + θ + ψ − 2ν ) i,j i,j i,j i ′ ′ ′ ′ Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . (4.15) i,j i,j i j i j Γ(ϕ + ψ − 2ν ) i,j i,j 1≤i<j≤n Due to (4.11) Γ(ϕ + θ + ψ − 2ν ) Γ(−γ − δ − 2ν ) i,j i,j i,j i i,j i,j ′ ′ Γ(ϕ + ψ − 2ν ) Γ(−γ − δ − 2ν ) i,j i,j i,j+1 i,j+1 i i which implies cancelations of ratios in the product (4.15) so that it becomes equal to n−2 Y Y Γ(−γ − δ − 2ν ) i,i+1 i,i+1 ′ ′ ′ ′ i Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . (4.16) i,j i,j i j i j Γ(−γ − δ − 2ν ) i,n i,n 1≤i<j<n i=1 Using (4.13) we arrive to the following answers n−2 Y Y Γ(−γ − δ − 2ν ) i,i+1 i,i+1 L i ′ ′ ′ ′ ωˆ (γ) = · Γ(ϕ − ν + ν )Γ(ψ − ν − ν ). (4.17) i,j i,j ν i j i j Γ(−γ − δ − 2ν ) i,n i,n i=1 1≤i<j≤n and n−2 −i(λ,x) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) (2πi) Γ(γ + δ + 2iλ ) k,n k,n k k=1 C (4.18) Γ(−ϕ + i(λ − λ ))Γ(−ψ + i(λ + λ ))Γ(γ )Γ(δ )dγ dδ k,l k l k,l k l k,l k,l k,l k,l k<l Here H(x, γ) is given in (4.10), ψ and ϕ are given in (4.11) and (4.12), d = n(n − 1) i,j i,j and the contour C is a deformation of the imaginary plane Re γ = Reδ = 0 into the ij ij strip of analyticity of the integrand. Perform now the following change of variables: ˜ ˜ γ = γ˜ − γ˜ , δ = δ − δ , 1 ≤ i < j < n, i,j i,j i+1,j i,j i,j i+1,j ˜ ˜ δ − δ , ε(n − i) = 1, i,n i+1,n γ = i,n γ˜ − γ˜ , ε(n − i) = −1, i,n i+1,n γ˜ − γ˜ , ε(n − i) = 1, i,n i+1,n δ = i,n ˜ ˜ δ − δ , ε(n − i) = −1, i,n i+1,n that is γ˜ = γ + . . . + γ , δ = δ + . . . + δ , 1 ≤ i < j < n, i,j i,j j−1,j i,j i,j j−1,j γ˜ = δ + γ + ... + γ if n − i is even, i,n in i+1,n n−1,n γ˜ = γ + δ + ... + γ if n − i is odd, i,n in i+1,n n−1,n δ = γ + δ + ... + δ if n − i is even, i,n in i+1,n n−1,n δ = δ + γ + ... + δ if n − i is odd, i,n in i+1,n n−1,n 28 In this variables we have ˜ ˜ ϕ = γ˜ + δ − γ˜ − δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j ˜ ˜ ψ = −γ˜ − δ + γ˜ + δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ˜ ˜ ϕ = −γ˜ + δ , ψ = −δ + γ˜ 1 ≤ i < n, i,n i,n i+1,n i,n i,n i+1,n ˜ ˜ and H(x, γ) = (γ˜ + δ )(x − x ) + γ˜ (x − x ) + δ (−x − x ). Then 1,j 1,j j j−1 1,n n n−1 1,n n−1 n j<n we have Theorem 4.2 The function Ψ (x) is given by the integral n−2 −i(x,λ) e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) (2πi) Γ(γ + δ − γ − δ + 2iλ ) k,n k,n k+1,n k+1,n k k=1 Γ(ξ + i(λ −λ ))Γ(η + i(λ +λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l d = n(n − 1), H(x, γ) = (γ + δ )(x − x ) + γ (x − x ) − δ (x + x ), 1,j 1,j j j−1 1,n n n−1 1,n n−1 n j<n ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , 1 ≤ i < n, i,n i,n i+1,n η = δ − γ 1 ≤ i < n, i,n i,n i+1,n The integration cycle is a deformation of the imaginary plain Reγ = Re δ = 0 into k,l k,l nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Reγ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n. i,j i,j i,j i,j 5 SO(n + 1, n) 5.1 BZ transform The split real form of the group SO(2n + 1,C) is the group SO(n + 1, n) ⊂ SL(2n,R) preserving symmetric form (x y + x y ) + x y , where i = 2n + 2 − i. Gauss de- ˆ ˆ i i n n i=1 i i composition is induced from that of GL(2n + 1,R). Positive roots are elements ε ± ε i j for 1 ≤ i < j ≤ n and ε , where ε ∈ h , k = 1, ..., n are defined by the condition i k ε (e − e ) = δ . We denote Chevalley generator of the Lie algebra g = so(2n + 1) by k j,j ˆˆ j,k jj e and f , i = 1, . . ., n Here i i e = e − e , f = e − e , i = 1, ..., n − 1, i i,i+1 2n−i,2n+1−i i i+1,i 2n+1−i,2n−i √ √ e = 2(e − e ), f = 2(e − e ). n n,n+1 n+1,n+2 n n+1,n n+2,n+1 Denote by s i = 1, ..., n the corresponding generators of the Weyl group and by s¯ their i i lifts to the group SO(n + 1, n) according to (2.30). We choose the following normal 29 ordering of the system Δ of positive roots: ε , (ε + ε , ε , ε − ε ), · · · , n n−1 n n−1 n−1 n (ε + ε , ε + ε , · · · , ε + ε , ε , ε − ε , · · · , ε − ε , ε − ε ). 1 2 1 3 1 n 1 1 n 1 3 1 2 It corresponds by (2.20) to the following reduced decomposition of the longest element (n) w of the Weyl group W : (n) w = s (s s s ) (s s s s s ) · · · (s s ...s s s ...s s ). (5.1) n n−1 n n−1 n−2 n−1 n n−1 n−2 1 2 n−1 n n−1 2 1 Note that as element of SO(n + 1, n) , 2,n (n) w¯ = (−1) e + e ˆ n+1,n+1 kk k=1 Denote by t Lusztig parameter corresponding to the root ε − ε , and by s Lusztig i,j i j i,j parameter corresponding to the root ε + ε , and by t the parameter, corresponding to i j k (n) ε . Here 1 ≤ i < j ≤ n, k = 1, ..., n. Then the group element X (t) looks as (n) X (t) = exp(t e ) (exp(s e ) exp(t e ) exp(t e )) · n n n−1,n n−1 n−1 n n−1,n n−1 . . . (5.2) (exp(s e ) exp(s e ) · · · exp(s e ) exp t e exp(t e ) · · · exp(t e ) exp(t e )) . 1,2 1 1,3 2 1,n n−1 1 n 1,n n−1 1,3 2 1,2 1 (n) BZ transform for SO(n + 1, n) is the solution of the equation (3.1), where in X (p) we use the notation p for Lusztig parameter, corresponding to the root ε − ε , q i,j i j i,j for the Lusztig parameter, corresponding to the root ε + ε , and p for the parameters, i j i corresponding to ε , (n) X (p) = exp(p e ) (exp(q e ) exp(p e ) exp(p e )) · n n n−1,n n−1 n−1 n n−1,n n−1 . . . (5.3) exp(q e ) exp(q e ) · · · exp(q e ) exp p e exp(t e ) · · · exp(p e ) exp(p e ). 1,2 1 1,3 2 1,n n−1 1 n 1,n n−1 1,3 2 1,2 1 We set s = t = p = q = p = u = 1, and for all i, j, 1 ≤ i < j ≤ n put j,j j,j j,j j,j j j,j i,j−1 u = t + s , r = . (5.4) i,j i,j i,j i,j u s i,j i,j−1 Theorem 5.1 a) BZ map for SO(n, n) looks as Y Y Y Y Y t s t s u t k,j−1 k,j k,j−1 k,j i,n kn p = r · , q = r · , p = (5.5) i,j i,j i,j i,j i s t s t t s s k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i −1 b) The twisting matrix T ∈ H is T = e + T e + T e , where ˆ ˆ n+1,n+1 k k,k k=1 k k,k Y Y j,k T = t · s t k k,j k,j j,k j<k j>k dt c) BZ transform preserves the measure : Y Y Y Y dt ds dt dp dq dp i,j i,j k i,j i,j k = . t s t p q p i,j i,j k i,j i,j k i<j k i<j k 30 Again, we have the same remarks with the same proofs: Remark 1. BZ transform τ is involutive, that is the inverse relation Y Y Y Y Y p q p q v p k,j−1 k,j k,j−1 k,j i,n kn t = r˜ · , s = r˜ · , t = (5.6) i,j i,j i,j i,j i q p q p p q q k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i has the same form as (4.3). Here i,j−1 v = p + q , r˜ = . i,j i,j i,j i,j v q i,j i,j−1 −1 Remark 2. The Cartan twist T can be as well written as T (t) = T (p ), that is −1 T = e + T e + T e , where ˆ ˆ n+1,n+1 k k,k k=1 k k,k Y Y 1 q 1 j,k T = · p p q p j,k k,j k,j j<k j>k Corollary 5.1 The restriction of left Whittaker vector to N is given by the function X X X X L ν −ν ω (t) = t · exp − (p + q ) − p = p · exp − (p + q ) − p ) i,j i,j k i,j i,j k i<j k i<j k where p and p are given by (5.5) and t for a weight ν = ν ε means the product i,j k k k k=1 Y Y ν −ν ν +ν i j i j 2ν ν k t = t s t i,j i,j k i<j (n) The proof of Theorem 5.1 follows the same scheme as before. The matrix X (−t) (n) (n−1) (n) admits a factorization X (−t) = X (−t) · A (−t), where (n) A (−t) = exp(−s e ) exp(−s e ) · · · exp(−s e ) exp(−t e )· 1,2 1 1,3 2 1,n n−1 1 n (5.7) exp(−t e ) · · · exp(−t e ) exp(−t e ) 1,n n−1 1,3 2 1,2 1 and (n−1) X (t) = exp(t e ) (exp(s e ) exp(t e ) exp(t e ))· n n n−1,n n−1 n−1 n n−1,n n−1 . . . (5.8) (exp(s e ) · · · exp(s e ) exp t e exp(t e ) · · · exp(t e )) . 2,3 2 2,n n−1 2 n 2,n n−1 2,3 2 represents a group element of the unipotent subgroup of embedded SO(n, n − 1). The (n) (n) (n−1) (n) (n) matrix X (p) has the same structure, X (p) = X (p) · A (p). Denote by Λ P −1 n (n) (n) (n) the diagonal matrix Λ = e + (Λ e + Λ e ), where n+1,n+1 k,k ˆ ˆ k=1 k,k k,k k,k n−1 1,k (n) (n) Λ = t t s Λ = , 1 < k ≤ n, 1,k 1,k 1,1 1 k,k 1,k k=1 and define the variables t and s˜ , 1 < i < j ≤ n by the relations i,j i,j s t s t s 1,j−1 1,j 1,j−1 1,j 1,n ˜ ˜ t = t · , s˜ = s · , t = t i,j i,j i,j i,j i i t s t s t 1,j−1 1,j 1,j−1 1,j 1,n The induction step is given by the following lemma and proposition. 31 Lemma 5.1 Nondiagonal matrix elements U (i 6= j) of the matrix (3.13) equal zero if i,j j > 1 and i < 2n + 1. Matrix element U equals t t s . Matrix element U 1,1 1,j 1,j k,k j>1 s t 1,k 1,k equals for 1 < k ≤ n. Matrix element U equals for 1 < k ≤ n. Element ˆ ˆ k,k t s 1,k 1,k U = 1. n+1,n+1 (n) Proposition 5.1 a) The parameters p , q , j = 2, ..., n and p of A (p) are equal to 1,j 1,j 1 u u s u 1,j−1 1,j−1 1,j 1,n p = , q = , p = 1,j 1,j 1 u s u s t t s 1,j 1,j−1 1,j 1,j−1 1,j 1 1,n (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ ˜ TX (p) = Λ · X (−t)w¯ 0+ All the proofs repeat that of the previous sections 5.2 Whittaker function Describe first the action of Cartan generators on the right Whittaker vector. The vector P P R R ′ exp( x (e − e )) · v is presented by the function exp(− µ x )ω (t ), where k ˆ ˆ k,k k k µ µ k=1 k,k k ′ ′ ′ t = t · exp (x − x ) , s = s · exp (x − x ) , t = t · exp(−x ). (5.9) i,j j j−1 i,j j j−1 i n i,j i,j i L R L R Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions ω (t) and ω (t), ν µ ν µ Z Z dt dt ds dt γ δ γ i,j i,j i R R γ R i,j i,j i ωˆ (γ) = ω (t)t := ω (t) t s t , µ µ µ i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Z Z dt dt ds dt γ +j−i δ +2n+1−i−j γ +n−i+1/2 i,j i,j i L ρ L γ L i,j i,j i ωˆ (γ) = t ω (t)t := ω (t) t s t . ν ν ν i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Here ρ = (n + −k)(ε −ε ). Due to (5.9) the action of Cartan subgroup on the k,k ˆ ˆ k=1 2 k,k R R right Whittaker vector v transforms the function ωˆ (γ) to the product exp(− µ x )· k k µ µ exp H(x, γ)ωˆ (γ), where X X H(x, γ) = (γ + δ )(x − x ) − x γ . (5.10) i,j i,j j j−1 n i i<j i As before, we have Y Y ωˆ (γ) = Γ(γ )Γ(δ ) Γ(γ ). (5.11) i,j i,j k 1<i<j≤n k=1 32 L For the calculation of ωˆ (γ) we pass in the integral Y Y ′ ′ ′ ′ γ +ν −ν δ +ν +ν dt ds dt γ +2ν i,j i,j i,j i,j i i j i j −p −q i −p i i i,j i,j t s e t e i,j i,j i t s t i,j i,j i i<j i t ,s >0,t >0 i,j i,j i from the integration variables t , s and t to p , q and p . Here i,j i,j i i,j i,j i ′ ′ ν = ν + ρ, ν = ν + n − i + . Substitution of (5.6) gives the relation Y Y Y Y γ δ ϕ ψ θ γ i,j i,j γ ϕ i,j i,j i i i i,j t t s t = p p q (p + q ) i,j i,j i i,j i,j i i i,j i,j i i<j i i<j where X X ϕ = −δ + (γ + δ ) − (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k>i k>i X X (5.12) ψ = δ − (γ + δ ) + (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k≥i k>i θ = −δ − γ + δ + γ , i,j i,j i,j i,j+1 i,j+1 for 1 ≤ i < j < n, and ϕ = −δ − (γ + δ − γ ) , i,n i,n kn kn k k>i (5.13) ψ = δ − γ + (γ + δ − γ ), i,n i,n i kn kn k k>i θ = γ − δ − γ , ϕ = −γ i,n i i,n i,n i i for 1 ≤ i < n. Using (4.14) we present the multiple integral ′ ′ Y ′ ′ ′ ψ −ν −ν dp dq dp ϕ −ν +n u i,j ϕ −2ν i,j j i,j i,j i i i j θ i i,j i p q (p + q ) p i,j i,j i,j i,j i p q p i,j i,j i p ,q ,p >0 i,j i,j i i<j i as the product Y Y Γ(ϕ + θ + ψ − 2ν ) i,j i,j i,j ′ ′ ′ ′ ′ Γ(−γ − 2ν ) Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . k i,j i,j k i j i j Γ(ϕ + ψ − 2ν ) i,j i,j i<j k=1 Substitution of (5.12) and (5.13) into the product over 1 ≤ i < j < n of ratios of Γ functions in the latter expression results, just as for SO(n, n) to the product n−1 Γ(−γ − δ − 2ν ) i,i+1 i,i+1 Γ(−γ − δ − 2ν ) i,n i,n i=1 33 while the same product over j = n, i = 1, ..., n − 1 is n−1 Γ(−δ − γ − 2ν ) i,n i,n Γ(−γ − 2ν ) i=1 Thus we have the following expressions for the left Whittaker vector n−1 L ′ ′ ωˆ (γ) = Γ(−γ − 2ν ) Γ(−γ − δ − 2ν )· n i,i+1 i,i+1 ν n i i=1 ′ ′ ′ ′ Γ(ϕ − ν + n u )Γ(ψ − ν − ν ). i,j j i,j i i j 1≤i<j≤n which results after substitution ν = iλ in the following expression for Whittaker wave function: n−1 −i(λ,x) Ψ (x) = exp H(x, γ) Γ(γ + δ + 2iλ )Γ(γ )dγ · λ k,k+1 k,i+1 k k k (2πi) k=1 Γ(−ϕ + i(λ − λ ))Γ(−ψ + i(λ + λ ))Γ(γ )Γ(δ )dγ dδ Γ(γ + 2iλ )dγ k,l k l k,l k l k,l k,l k,l k,l n n n k<l Here H(x, γ) is given in (5.10), ψ and ϕ are given in (5.12) and (5.13), d = n . The k,l k,l contour C is a deformation of imaginary plane Re γ > 0, Re δ > 0, Reγ > 0 into the i,j i,j i strip of analyticity of the integrand. The formula for Ψ (x) can be simplified by using the change of variables ˜ ˜ γ = γ˜ − γ˜ , δ = δ − δ , 1 ≤ i < j ≤ n, i,j i,j i+1,j i,j i,j i+1,j (5.14) γ = γ˜ − γ˜ , 1 ≤ i ≤ n, i i i+1 that is γ˜ = γ + . . . + γ , δ = δ + . . . + δ , γ˜ = γ + . . . + γ i,j i,j j−1,j i,j i,j j−1,j i i n In this variables we have ˜ ˜ ϕ = γ˜ + δ − γ˜ − δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j ˜ ˜ ψ = −γ˜ − δ + γ˜ + δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ˜ ˜ ϕ = −γ˜ − δ + γ˜ , ψ = γ˜ + δ − γ˜ . i = 1, ..., n. i,n i+1,n i,n i+1 i,n i+1,n i,n i so that each Gamma function in the integrand depends now not more than of four sum- mands. The exponential factor is now H(x, γ˜) = (γ˜ + δ )(x − x ) − γ˜ x .. 1,j 1,j j j−1 1 n j=2 Finally we have 34 Theorem 5.2 The function Ψ (x) is given by the integral −i(x,λ) Ψ (x) = exp H(x, γ)Γ(γ + 2iλ )Γ(γ )dγ · λ n n n n (2πi) n−1 Γ(γ + δ + 2iλ )Γ(γ − γ )dγ · k,k+1 k,k+1 k k k+1 k k=1 Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ ))Γ(γ − γ )Γ(δ − δ )dγ dδ . k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l 1≤k<l≤n Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l and γ = 0 if k = 1 or k = n + 1, d = n , H(x, γ) = (γ + δ )(x − x ) − γ x , k 1,j 1,j j j−1 1 n j=2 and ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ + δ − γ , η = −γ − δ + γ , 1 ≤ i < n. i,n i+1,n i,n i+1 i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Reγ > 0, i,j i,j i,j i,j k k = 1, ..., n. 6 Sp(2n,R) 6.1 BZ transform The split real form of the group Sp(2n,C) is the group Sp(2n,R) ⊂ SL(2n,R) preserving skew-symmetric form (x y − x y ), where i = 2n + 1 − i. Positive roots are elements ˆ ˆ i i i=1 i i ε ± ε for 1 ≤ i < j ≤ n and 2ε , where ε ∈ h , k = 1, ..., n are defined by the condition i j i k ε (e − e ) = δ . We denote Chevalley generator of the Lie algebra g = so by e and ˆˆ k j,j j,k 2,n i jj f , i = 1, . . . , n Here e = e − e , f = e − e , i = 1, ..., n − 1, i i,i+1 2n−i,2n+1−i i i+1,i 2n+1−i,2n−i e = e , f = e . n n,n+1 n n+1,n Denote by s i = 1, ..., n the corresponding generators of the Weyl group and their lifts to the group Sp(2n,R) according to (2.30). The normal ordering of the system Δ copies that of SO(n + 1, n): 2ε , (ε + ε , ε , ε − ε ), · · · , n n−1 n n−1 n−1 n (ε + ε , ε + ε , · · · , ε + ε , 2ε , ε − ε , · · · , ε − ε , ε − ε ). 1 2 1 3 1 n 1 1 n 1 3 1 2 (n) It corresponds to reduced decomposition of the longest element w of the Weyl group W literally the same as (5.1): (n) w = s (s s s ) (s s s s s ) · · · (s s ...s s s ...s s ). n n−1 n n−1 n−2 n−1 n n−1 n−2 1 2 n−1 n n−1 2 1 35 Note that as element of Sp(2n,R) , (n) n+1 w¯ = (−1) e − e ˆ ˆ kk k,k k=1 Denote by t Lusztig parameter corresponding to the root ε −ε , and by s Lusztig i,j i j i,j parameter corresponding to the root ε + ε , and by t the parameter, corresponding to i j k (n) 2ε . Here 1 ≤ i < j ≤ n, k = 1, ..., n. Then the group element X (t) has a form (5.2) so that BZ transform for Sp(2n,R) is the solution of the equation (3.1), where in (n) X (p) we use the notation p for Lusztig parameter, corresponding to the root ε − ε , i,j i j q for the Lusztig parameter, corresponding to the root ε +ε , and p for the parameters, i,j i j i corresponding to 2ε , see (5.3). Keep the notation (5.4). We have Theorem 6.1 a) BZ map for Sp(2n,R) looks as Y Y Y Y Y t s t s t k,j−1 k,j k,j−1 k,j i,n kn , q = r · , p = (6.1) p = r · i,j i,j i,j i,j i 2 2 s t s t t s s k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i −1 b) The twisting matrix T ∈ H is T = T e + T e , where k k,k ˆ ˆ k=1 k k,k Y Y j,k T = t · s t k k k,j k,j j,k j<k j>k dt c) BZ transform preserves the measure : Y Y Y Y dt ds dt dp dq dp i,j i,j k i,j i,j k = . t s t p q p i,j i,j k i,j i,j k i<j i<j k k Again, we have the same remarks with the same proofs: Remark 1. BZ transform τ is involutive, that is the inverse relation Y Y Y Y Y p q p q p k,j−1 k,j k,j−1 k,j i,n kn t = r˜ · , s = r˜ · , t = (6.2) i,j i,j i,j i,j i 2 2 q p q p p q q k,j−1 k,j k,j−1 k,j i i,n kn k<i k<i k<i k≤i k<i has the same form as (4.3). Here i,j−1 v = p + q , r˜ = . i,j i,j i,j i,j v q i,j i,j−1 −1 Remark 2. The Cartan twist T can be as well written as T (t) = T (p ), that is −1 T = T e + T e , where ˆ ˆ k k,k k=1 k k,k Y Y 1 q 1 j,k T = · p p q p k j,k k,j k,j j<k j>k 36 Corollary 6.1 The restriction of left Whittaker vector to N is given by the function X X X X L ν −ν ω (t) = t · exp − (p + q ) − p = p · exp − (p + q ) − p ) i,j i,j k i,j i,j k i<j k i<j k where p and p are given by (6.1) and t for a weight ν = ν ε means the product i,j k k k k=1 Y Y ν −ν ν +ν ν i j i j ν t = t s t i,j i,j k i<j k (n) (n−1) For inductive proof Theorem 6.1 we use the factorization X (−t) = X (−t) · (n) (n−1) (n) A (−t), where X (−t) and A (−t) are given by the expressions (5.7) and (5.8). P −1 n (n) (n) (n) (n) Denote by Λ the diagonal matrix Λ = (Λ e + Λ e ), where ˆ ˆ k,k k=1 k,k k,k k,k n−1 (n) (n) 1,k Λ = t t s Λ = , 1 < k ≤ n, 1 1,k 1,k 1,1 k,k 1,k k=1 and define the variables t and s˜ , 1 < i < j ≤ n by the relations i,j i,j s t s t 1,j−1 1,j 1,j−1 1,j 1,n ˜ ˜ t = t · , s˜ = s · , t = t i,j i,j i,j i,j i i t s t s t 1,j−1 1,j 1,j−1 1,j 1,n Then we have again Lemma 6.1 Nondiagonal matrix elements U (i 6= j) of the matrix (3.13) equal zero if i,j j > 1 and i < 2n + 1. Matrix element U equals t t s . Matrix element U 1,1 1 1,j 1,j k,k j>1 s t 1,k 1,k equals for 1 < k ≤ n. Matrix element U equals for 1 < k ≤ n. ˆ ˆ k,k t s 1,k 1,k (n) Proposition 6.1 a) The parameters p , q , j = 2, ..., n and p of A (p) are equal to 1,j 1,j 1 u u s 1,j−1 1,j−1 1,j 1,n p = , q = , p = 1,j 1,j 1 u s u s t t s 1,j 1,j−1 1,j 1,j−1 1,j 1 1,n (n−1) b) Cartan twist T and the matrix X (p) satisfy the relation (n−1) (n−1) (n) (n−1) ˜ ˜ ˜ TX (p) = Λ · X (−t)w¯ 0+ These statement are proved in the same manner as in Section 3. They are sufficient for inductive proof of Theorem 6.1. 37 6.2 Whittaker function We start again with the action of Cartan generators on the right Whittaker vector. The P P R R ′ vector exp( x (e − e )) · v is presented by the function exp(− µ x )ω (t ), k ˆ ˆ k,k k k µ µ k=1 k,k k where ′ ′ ′ t = t · exp (x − x ) , s = s · exp (x − x ) , t = t · exp(−2x ). (6.3) i,j j j−1 i,j j j−1 i n i,j i,j i L R L R Denote by ωˆ (γ) and ωˆ (γ) the Mellin transforms of the functions ω (t) and ω (t), ν µ ν µ Z Z dt dt ds dt γ δ i,j i,j i i,j i,j γ R R γ R i ωˆ (γ) = ω (t)t := ω (t) t s t , µ µ µ i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Z Z dt dt ds dt γ +j−i δ +2n+2−i−j i,j i,j i i,j i,j γ +n−i+1 L ρ L γ L i ωˆ (γ) = t ω (t)t := ω (t) t s t . ν ν i,j i,j i t t s t i,j i,j i i<j t>0 t >0, i,j s >0,t >0 i,j i Here ρ = (n + 1−k)(ε −ε ). Due to (6.3) the action of Cartan subgroup on the k,k ˆ ˆ k=1 k,k R R right Whittaker vector v transforms the function ωˆ (γ) to the product exp(− µ x )· k k µ µ exp H(x, γ)ωˆ (γ), where X X H(x, γ) = (γ + δ )(x − x ) − 2x γ . (6.4) i,j i,j j j−1 n i i<j i The right Whittaker vector is presented by the function ωˆ (γ) of the form (5.11). For the calculation of ωˆ (γ) we pass in the integral Y Y ′ ′ ′ ′ γ +ν −ν δ +ν +ν dt ds dt i,j i,j γ +2ν i j i j i,j i,j i i −p −q −p i,j i,j i i t s e t e i,j i,j i t s t i,j i,j i i<j i t ,s >0,t >0 i,j i,j i from the integration variables t , s and t to p , q and p . Here i,j i,j i i,j i,j i ′ ′ ν = ν + ρ, ν = ν + n − i + 1. Substitution of (6.2) gives the relation Y Y Y Y γ δ ϕ ψ γ i,j i,j γ ϕ i,j i,j θ i i i i,j t t s t = p p q (p + q ) i,j i,j i i,j i,j i i i,j i,j i i<j i i<j where as before X X ϕ = −δ + (γ + δ ) − (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k>i k>i X X (6.5) ψ = δ − (γ + δ ) + (γ + δ ) i,j i,j k,j+1 k,j+1 k,j k,j k≥i k>i θ = −δ − γ + δ + γ , i,j i,j i,j i,j+1 i,j+1 38 for 1 ≤ i < j < n, and ϕ = −δ − (γ + δ − 2γ ) , i,n i,n kn kn k k>i (6.6) ψ = δ − 2γ + (γ + δ − 2γ ), i,n i,n i kn kn k k>i θ = 2γ − δ − γ , ϕ = −γ i,n i i,n i,n i i for 1 ≤ i < n. Using the (4.14) we present the multiple integral Y Y ′ ′ ′ ′ ϕ −ν +ν ψ −ν −ν dp dq dp i,j ϕ −ν i,j i,j i,j i i j i j θ i i,j i p q (p + q ) p i,j i,j i,j i,j i p q p i,j i,j i p ,q ,p >0 i,j i,j i i<j i as the product Y Y Γ(ϕ + θ + ψ − 2ν ) i,j i,j i,j ′ ′ ′ ′ i Γ(−γ − ν ) Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) . k k i,j i,j i j i j Γ(ϕ + ψ − 2ν ) i,j i,j k=1 i<j Substitution of (6.5) into the product over 1 ≤ i < j < n of ratios of Γ functions in the latter expression results, just as for SO(n, n) to the product n−1 Γ(−γ − δ − 2n u ) i,i+1 i,i+1 i Γ(−γ − δ − 2ν ) i,n i,n i=1 while due to (6.6) the same product over j = n, i = 1, ..., n − 1 is n−1 Γ(−δ − γ − 2ν ) i,n i,n . (6.7) Γ(−2γ − 2ν ) i=1 Thus we have the following expressions for the left Whittaker vector n−1 Γ(−γ − ν ) L ′ ′ i ωˆ (γ) = Γ(−γ − ν ) Γ(−γ − δ − 2ν ) · · n i,i+1 i,i+1 ν n i Γ(−2γ − 2ν ) i=1 ′ ′ ′ ′ Γ(ϕ − ν + ν )Γ(ψ − ν − ν ) i,j i,j i j i j 1≤i<j≤n and for the Whittaker wave function: n−1 n −i(λ,x) Y Y e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) · Γ(γ + iλ )Γ(γ )dγ · k k k k (2πi) Γ(2γ + 2iλ ) k k k=1 k=1 Γ(−ϕ + i(λ − λ ))Γ(−ψ + i(λ + λ ))Γ(γ )Γ(δ )dγ dδ · k,l k l k,l k l k,l k,l k,l k,l 1≤k<l≤n Here H(x, γ) is given in (5.10), ϕ and φ are given in (5.12) and (5.13), d = n . The i,j i,j contour C is the same as in the previous section. 39 The change of variables (5.14) simplifies the formula for Whittaker wave functions. Now we have ˜ ˜ ϕ = γ˜ + δ − γ˜ − δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j ˜ ˜ ψ = −γ˜ − δ + γ˜ + δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ˜ ˜ ϕ = −γ˜ − δ + 2γ˜ , ψ = γ˜ + δ − 2γ˜ , 1 ≤ i < n, i,n i+1,n i,n i+1 i,n i+1,n i,n i Finally we have Theorem 6.2 The function Ψ (x) is given by the integral n−1 −i(x,λ) Y ˜ e Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k Ψ (x) = exp H(x, γ) · (2πi) Γ(2γ − 2γ + 2λ ) k k+1 k k=1 (Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ )) Γ(γ − γ )Γ(δ − δ )dγ dδ ) · k,l k l k,l k l k,l k+1,l k,l k+1,l k,l k,l k<l Γ(γ − γ + iλ )Γ(γ − γ )dγ . k k+1 k k k+1 k k=1 Here we set γ = δ = 0 if the pair (k, l) does not satisfies the condition 1 ≤ k < l ≤ n, k,l k,l and γ = 0 if k = 1 or k = n + 1, d = n is the dimension of the maximal unipotent subgroup of Sp(2n,R), H(x, γ) = (γ + δ )(x − x ) − 2γ x , 1,j 1,j j j−1 1 n j=2 ξ = −γ − δ + γ + δ , 1 ≤ i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , 1 ≤ i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ + δ − 2γ , 1 ≤ i < n, i,n i+1,n i,n i+1 η = −γ − δ + 2γ . i,n i+1,n i,n i The integration cycle is a deformation of the imaginary plain Re γ = Re δ = Re γ = 0 k,l k,l k into nonempty domain D ⊂ C of the analyticity of the integrand, which is described by the relations Re γ > 0, Re δ > 0, Re ξ > 0, Re η > 0, 1 ≤ i < j ≤ n, Re γ > 0, k = 1, ..., n. i,j i,j i,j i,j k 7 Mellin transforms of Whittaker functions The presentations of Whittaker functions given in Theorems 3.2, 4.2, 5.2,6.2, have a form which is easy to interpret as an inverse Mellin transform. This enables one to write down precise expressions for direct Mellin transforms of Whittaker functions. 1. GL(n) Using the notations of Section 3.2 we denote z = exp x , z = exp(x − k k k,k+1 k x ), z = {z , . . ., z }. Set k+1 1 n (n − 1)λ − λ i j j6=i Λ = , Λ = Λ + Λ + . . . Λ i i,j i i+1 j 40 and put s = γ˜ + Λ . Then the formula (1.2) can be written as follows k,k+1 1,n+1−k 1,k i(λ +...+λ ) Z (z · · ·z ) 1 n −s −s 1,2 n−1,n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds λ 12 n−1,n 12 n−1,n 1,2 n−1,n n−1 (2πi) Re s =0+ k,k+1 where M (s , . . ., s ) = · 12 n−1,n n−1)(n−2)/2 (2πi) n−1 Γ(s − γ + i(λ − λ − Λ ))Γ(s − γ − iΛ ) k,k+1 2,n+1−k 1 k+1 1,k k,k+1 2,n+1−k 1,k (7.1) k=1 Γ(γ − γ + i(λ − λ ))Γ(γ − γ )dγ kl k+1,l k n+k−l+1 kl k+1,l+1 k,l 1<k<l≤n The integration contour C is a deformation of the imaginary plane Re γ = 0 to the ij region of analyticity of the integrand. The function M (s , . . . , s ) is then equal to 12 n−1,n i(λ +...+λ ) the Mellin transform of SL(n) Whittaker function Ψ (z) = Ψ (z) · (z · · ·z ) : λ λ 1 n s −1 s −1 n 1,2 n−1,n M (s , . . ., s ) = Ψ (z)z · · ·z dz · · ·dz 12 n−1,n λ 12 n−1,n λ 1,2 n−1,n z >0 i,j The relation (7.1) can be taken as a starting point for iterative construction of the Mellin transform of SL(n) part of the Whittaker function Ψ (z). 2. SO(n, n). Using the notations of Section 4.2 denote z = exp(x + x ) and n n−1 n z = exp(x − x ) for 1 ≤ i ≤ n − 1. Set i i i+1 Λ = λ + . . . + λ , 1 ≤ i = 1 ≤ n − 2, i 1 i λ + . . . + λ + λ λ + . . . + λ − λ 1 n−1 n 1 n−1 n Λ = , Λ = , n−1 n 2 2 s = γ˜ + iΛ , s = δ + iΛ , n−1 1,n n−1 n 1,n n ˜ ˜ s = γ˜ + δ + iΛ , t = γ˜ − δ , 1 ≤ i ≤ n − 2, i 1,i+1 1,i+1 i i 1,i+1 1,i+1 s¯ = s − iΛ = γ˜ + δ , 1 ≤ j ≤ n. j i j 1j 1,j In this notations the formula of Theorem 4.2 for the Whittaker function is written as the inverse Mellin transform: −s 1 −s n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds , λ 1 n 1 n 1 n λ (2πi) Re s =0+ where 1 Γ(s¯ + 2iλ )Γ(s¯ − γ )Γ(s¯ − δ ) 1 1 n−1 2,n n 2,n M (s , . . . , s ) = 1 n λ 2 (n−1) (2πi) Γ(s¯ + s¯ − γ − δ + 2iλ ) n−1 n 2,n 2,n 1 n−2 n−2 Y Y Y s¯ + t s¯ − t k k k k Γ − γ Γ − δ · L dt dγ dδ 2,k+1 2,k+1 k k,l k,l 2 2 k=1 k=1 2≤k<l≤n 41 The contour C is a deformation of the imaginary plane to the region of analyticity of the integrand. Here n−2 Y Y Γ(γ + δ + 2iλ ) k,k+1 k,k+1 k L = Γ(γ − γ )Γ(δ − δ ) k,l k+1,l k,l k+1,l Γ(γ + δ − γ − δ + 2iλ ) k,n k,n k+1,n k+1,n k k=2 1<k<l≤n Y Y Γ(γ − γ ) Γ(ξ + i(λ − λ ))Γ(η + i(λ + λ )) k k+1 k,l k l k,l k l k=2 1≤k<l≤n with ξ = −γ − δ + γ + δ , i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ , i < n, i,n i,n i+1,n i,n i,n i+1,n for i > 1 and s¯ − t j−1 j−1 ξ = −γ − δ + γ + , 1 < j < n, 1,j 2,j+1 2,j+1 2,j s¯ + t j−1 j−1 η = s¯ − γ − , 1 < j < n, 1,j j 2,j ξ = s¯ − δ , η = s¯ − γ . 1,n n−1 2,n 1,n n 2,n 3. SO(n + 1, n). Using the notations of Section 5.2 denote z = exp(x ) and z = n n i exp(x − x ) for 1 ≤ i ≤ n − 1. Set i i+1 Λ = λ + . . . + λ , 1 ≤ i = 1 ≤ n, i 1 i s = γ + δ + iΛ , t = γ − δ , 1 ≤ i ≤ n − 1, i 1,i+1 1,i+1 i i 1,i+1 1,i+1 s = γ + iΛ , s¯ = s − iΛ 1 ≤ i ≤ n. n 1 n i i i In this notations the formula of Theorem 5.2 for the Whittaker function looks as follows: −s −s n 1 n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds , λ 1 n 1 n 1 n λ (2πi) Re s =0+ where n−1 1 s¯ + t s¯ − t k k k k Ψ (x) = Γ − γ Γ − δ · λ 2,k+1 2,k+1 n(n−1) (2πi) 2 2 k=1 n−1 n Y Y Y Γ(s¯ + 2iλ )Γ(s¯ − γ ) · L dt dγ dδ dγ 1 1 n 2 k k,l k,l k k=1 2≤k<l≤n k=2 The contour C is a deformation of imaginary plane to the region of analyticity of the integrand. Here n−1 n Y Y L = Γ(γ + 2iλ ) Γ(γ + δ + 2iλ ) Γ(γ − γ )· n n k,k+1 k,k+1 k k k+1 k=2 k=2 Y Y Γ(ξ +i(λ − λ ))Γ(η + i(λ + λ )) Γ(γ − γ )Γ(δ − δ ) k,l k l k,l k l k,l k+1,l k,l k+1,l 1≤k<l≤n 2≤k<l≤n 42 with ξ = −γ − δ + γ + δ , i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ i < n, i,n i,n i+1,n i,n i,n i+1,n for i > 1 and s¯ − t j−1 j−1 ξ = −γ − δ + γ + , 1 < j < n, 1,j 2,j+1 2,j+1 2,j s¯ + t j−1 j−1 η = s¯ + γ − , 1 < j < n, 1,j j 2,j s¯ − t s¯ − t 1 1 1 1 ξ = − γ + γ , η = − + s¯ − γ . 1,n 2 2,n 1,n 1 2,n 2 2 4. Sp(2n,R). Using the notations of Section 6.2 denote again z = exp(x ) and n n z = exp(x − x ) for 1 ≤ i ≤ n − 1. Set i i i+1 Λ = λ + . . . + λ , 1 ≤ i = 1 ≤ n, i 1 i s = γ + δ + iΛ , t = γ − δ , 1 ≤ i ≤ n − 1, i 1,i+1 1,i+1 i i 1,i+1 1,i+1 s = 2γ + iΛ , s¯ = s − iΛ 1 ≤ i ≤ n. n 1 n i i i In this notations the formula of Theorem 6.2 looks as follows: −s −s n 1 n Ψ (z) = z · · ·z M (s , . . . , s )ds · · ·ds , λ 1 n 1 n 1 n λ (2πi) Re s =0+ where n−1 1 s¯ + t s¯ − t k k k k Ψ (x) = Γ − γ Γ − δ · λ 2,k+1 2,k+1 n(n−1) (2πi) 2 2 k=1 n−1 n Y Y Y Γ(s¯ − γ + iλ ) n 2 1 Γ(s¯ + 2iλ )Γ(s¯ − γ ) · L dt dγ dδ dγ 1 1 n 2 k k,l k,l k Γ(s¯ − 2γ + 2iλ ) n 2 1 k=1 2≤k<l≤n k=2 The contour C is a deformation of the imaginary to the region of analyticity of the integrand. Here n−1 n Y Y L = Γ(γ + 2iλ ) Γ(γ + δ + 2iλ ) Γ(γ − γ )· n n k,k+1 k,k+1 k k k+1 k=2 k=2 Y Y Γ(ξ +i(λ − λ ))Γ(η + i(λ + λ )) Γ(γ − γ )Γ(δ − δ )· k,l k l k,l k l k,l k+1,l k,l k+1,l 1≤k<l≤n 2≤k<l≤n n−1 Γ(γ − γ + iλ ) k k+1 k Γ(γ + iλ ) n n Γ(γ − γ + 2iλ ) k k+1 k k=2 43 with ξ = −γ − δ + γ + δ , i < j < n, i,j i+1,j+1 i+1,j+1 i+1,j i,j η = γ + δ − γ − δ , i < j < n, i,j i,j+1 i,j+1 i+1,j i,j ξ = γ − δ , η = δ − γ i < n, i,n i,n i+1,n i,n i,n i+1,n for i > 1 and s¯ − t j−1 j−1 ξ = −γ − δ + γ + , 1 < j < n, 1,j 2,j+1 2,j+1 2,j s¯ + t j−1 j−1 η = s¯ + γ − , 1 < j < n, 1,j j 2,j s¯ − t s¯ − t 1 1 1 1 ξ = − 2γ + γ , η = − + s¯ − γ . 1,n 2 2,n 1,n 1 2,n 2 2 Appendix A Proof of Lemma 3.1 The proof essentially consists of calculation of the product of two matrices, U = A · −1 (n−1) (n) (n) −1 (n) A (p) , where A = (w¯ ) A (−t)w¯ with matrix elements 0 0 (n) n−j (−1) A (−t), i = 1, 1,n+1−j A = i,j (n) i+j (−1) A (−t) i > 1, n+2−i,n+1−j and   1 −p 0 ... ... 0 1,n   0 1 −p ... ... 0 1,n−1   −1 (n)   0 ... ... 0 A (p) =     0 0 0 ... 1 −p 1,2 0 0 0 ... 0 1 −1 −1 (n) (n) so that A (p) = −p , if j = i + 1, and A (p) = 0, if j > i + 1. We then have 1i i,j i,j (n) (n) n−j n−j+1 U = (−1) A (−t) + (−1) A (−t) · (−p ), i = 1, 1,j 1,n+1−j 1,n+2−j 1,j+1 (n) (n) i+j i+j+1 U = (−1) A (−t) + (−1) A (−t) · (−p ), i > 1 i,j ˆ n+2−i,n+1−j n+2−i,n+2−j 1,j+1 so that the relations (3.12) and (3.10) imply the equalities 1 1 U = t t · · ·t = , U = p = , i > 1, 1,1 1,2 1,3 1,n ii 1,i+1 p p · · ·p t 1,2 1,3 1,n 1,i U = 0, i 6= j, j > 1. i,j 44 B Proof of Lemma 4.1 This proof is a analogous to that of Lemma 3.1 with more technical details which differ for n even and odd. Assume first that n is even. Denote for simplicity of notations entries (n) (n) of the matrix A (−t) by A , entries of the matrix A (p) by C , variables t , s , i,j i,j 1,j 1,j u , p , q v by t , s , u , p , q , and v correspondingly. The upper triangular matrix 1,j 1,j 1,j 1,j j j j j j j (n) A (−t) has a natural block structure with matrix coefficients equal to i+j A = (−1) s s · · ·s u , 1 ≤ i ≤ j ≤ n, i,j i+1 i+2 j−1 j A = t t · · ·t u , 1 ≤ j ≤ i ≤ n, ˆˆ j+1 j+2 i−1 i ij A = (−1) (s s · · ·s ) · (t t · · ·t ) 1 ≤ i < n, 1 ≤ j ≤ n, (B.1) ˆ n n−1 i+1 n n−1 j+1 i,j A = 0, A = (−1) (s t · · ·t ), 1 ≤ j < n, n,n ˆ ˆ n n−1 j+1 n,j A = 0, 1 ≤ i, j ≤ n i,j −1 (n−1) (n) (n) Using (4.1) we can express the matrix A = w¯ A (−t)w¯ as the sum 0 0 −A = (A e + A e + A ¯e ) + ˆ¯ ˆ¯ ˆ ik ik ik ik ik ik i,k:i6=1,n (A e + A e + A e + A e ) + e + e . ¯ ¯ ¯ ¯ 1,k 1,k nk n ˆk ˆ nn ˆ 1k 1k nk n ˆk Next, for any matrix X ∈ SO(n, n) we have the relation −1 X = X ˆˆ ji i,j −1 −1 (n−1) (n) (n) (n) so the matrix coefficients U of the matrix U = w¯ A (−t)w¯ A (p) are i,j 0 0 X X U = − A C , U = − A C , ˆ ¯ ¯ ¯ ¯ ˆ ˆ ˆ i,j ik jk ij ik jk k k X X U = − A C , U = − A ¯C ¯ + A C . ˆ¯ ˆ¯ ˆˆ i,j ik jk ik j,k ik jk ij k k and X X U = A C + A ¯C ¯ , U = C + A ¯C ¯, U = C , ˆ ˆ ˆ ˆˆ 1,k j,k 1k jk jn nk jk 1j nj 1j j1 k k X X U = A ¯C , U = A ¯C , U = C , ˆ¯ ˆ¯ ˆˆ ˆ 1,j 1k nj nk jk jk 1j j1 k k X X U = A ¯C , U = A ¯C ¯, n ˆj ˆ¯ ˆ n ˆk n ˆk jk jk n ˆj k k Then the proof reduces to the check of identities X X A C ¯ = 0, A ¯C = 0, (B.2) ˆ¯ ˆ¯ ik jk ik jk k k X X i i A C = −δ , A ¯C ¯ + A C = −δ (B.3) ˆ¯ ˆ¯ i,j ik j,k i,j ik jk ik jk t s i i k k 45 for i, j 6= 1, n, and of special cases s t n n , U = − U = U = U = U = 0, j 6= 1, U = − 1,j ˆ ˆ ˆˆ n,n n ˆn ˆ 1j j1 j1 t s n n U = 0, j 6= 1, n, U = 0, U = 0, j 6= n, U = 0, j 6= n, nj ˆ ˆ ˆ nj n ˆj n ˆj We check here several of them. First (B.2). According to (4.7), u u s u i−1 i−1 i i−1 p = − , q = − , v = − (B.4) i i i u s u t s t s i i−1 i i i−1 i i−1 Here we assume s = t = u = 1. The relations (B.2) reduce to 1 1 1 1 + u p (1 + p t + p p t t + · · · + (p · · ·p )(t · · ·t )) = 0 (B.5) i i i−1 i−1 i−2 i−1 i−1 i 2 i−1 2 i−1 Substitute (B.4): u u t t · · ·t i−1 i−2 i−1 i−1 2 i−1 1 + − + + · · · + (−1) = s s s s · · ·s i−1 i−1 i−2 i−1 1 t t t t · · ·t i−1 2 i−1 i−1 i−2 i−1 1 − 1 + + 1 + + · · · + (−1) = 0 s s s s · · ·s i−1 i−1 i−2 i−1 1 Compute the diagonal entries of U for i 6= 1: U = 1 + u v (1 + t p + · · · + (t · · ·t )(p · · ·p )) ii i i i−1 i−1 2 i−1 2 i−1 By the previous calculation, 1 + t p + · · · + (t · · ·t )(p · · ·p ) = −1/(u p ), so i−1 i−1 2 i−1 2 i−1 i i that u v s i i i U = 1 − = − ii u p t i i i Vanishing of nondiagonal entries U for i, j 6= 1, n, as well as of U for j 6= 1 also uses i,j 1,j the equality (B.5). Next, the element U equals to the sum n,n A ¯C = 0 + s v (1 + t p + · · · + (t · · ·t )(p · · ·p ). n n n−1 n−1 2 n−1 2 n−1 nk n ˆk Again use (B.5) and get s v s n n n − = − . p u t n n n Calculations for odd n are analogous with slightly different initial description of matrix (n) elements A of the matrix A (−t): i,j i+j A = (−1) s s · · ·s u , 1 ≤ i ≤ j ≤ n, i,j i+1 i+2 j−1 j A = t t · · ·t u , 1 ≤ j ≤ i ≤ n, ˆˆ j+1 j+2 i−1 i ij A = (−1) (s s · · ·s ) · (t t · · ·t ) 1 ≤ i < n, 1 ≤ j ≤ n, n n−1 i+1 n n−1 j+1 i,j A = 0, A = (−1) (t t · · ·t ), 1 ≤ j < n, n,n ˆ n n−1 j+1 n,j A = 0, 1 ≤ i, j ≤ n i,j 46 C GL(3) example Theorem 3.2 for GL(3) reads as follows: −i(λ x +λ x +λ x ) 1 1 2 2 3 3 Ψ (x) = exp γ (x − x ) + (γ + γ )(x − x ) · λ 1,3 2 1 1,2 2,3 3 2 (2πi) Re γ=0+ Γ(γ + γ + i(λ − λ ))Γ(γ + i(λ − λ ))Γ(γ − γ + i(λ − λ )) (C.1) 1,2 2,3 1 3 2,3 2 3 1,3 2,3 1 2 Γ(γ )Γ(γ )Γ(γ )dγ dγ dγ 1,2 1,3 2,3 1,2 1,3 2,3 Using the notation 2λ − λ − λ 2λ − λ − λ 2λ − λ − λ 1 2 3 2 1 3 3 1 2 Λ = , Λ = , Λ = . 1 2 3 3 3 3 we rewrite (C.1) as λ x 3 Z k l −i k,l=1 3 Ψ (x) = exp (γ + iΛ )(x − x ) + (γ + γ − iΛ )(x − x ) · λ 1,3 1 2 1 1,2 2,3 3 3 2 (2πi) Re γ=0+ Γ(γ + γ + i(λ − λ ))Γ(γ + i(λ − λ ))Γ(γ − γ + i(λ − λ )) 1,2 2,3 1 3 2,3 2 3 1,3 2,3 1 2 Γ(γ )Γ(γ )Γ(γ )dγ dγ dγ 1,2 1,3 2,3 1,2 1,3 2,3 Denote q = exp(x − x ), q = exp(x − x ), s = γ + iΛ , s = γ + γ − iΛ . Then 1 1 2 2 2 3 1 1,3 1 2 1,2 2,3 3 (6.1) can be presented as the inverse Mellin transform λ x 3 Z k l −i k,l=1 −s −s 1 2 Ψ (x) = q q M(s , s )ds ds , λ 1 2 1 2 1 2 (2πi) Re s =0+ where M(s , s ) =Γ(s − iΛ )Γ(s + iΛ ))· 1 2 1 1 2 1 Γ(γ + i(λ − λ ))Γ(γ )Γ(s − γ − iΛ )Γ(s − γ + iΛ )dγ . 2,3 2 3 2,3 1 2,3 2 2 2,3 3 2,3 2πi Re γ =0 2,3 Applying first Barnes lemma, we arrive to Bump [Bu] formula Γ(s − iΛ )Γ(s + iΛ ) 1 j 2 j j=1 M(s , s ) = (C.2) 1 2 Γ(s + s ) 1 2 Note that Bump formula (C.2) can be also derived from ’Gelfand-Tsetlin’ presentation of GL(n,R) Whittaker function studied in [GKL]. The derivation uses an integral calcu- lated by de Branges and Wilson [Br, W] Acknowledgements The authors thank V.Spiridonov and A.Shapiro for interesting discussions and A.Mironov for the help with the Maple package. The research of the first author was supported by RFBR grant 18-01-00460 used to obtain the results presented in sections 5,6,7. The second author appreciates the support of RSF grant, project 16-11-10316 used to obtain the results presented in sections 2,3,4. 47 References [BB] Back-Valente, V., Bardy-Panse, N., Messaoud, H. B., Rousseau, G. (1995). Formes presque-d´eploy´ees des alg`ebres de Kac-Moody: classification et racines relatives. Jour- nal of Algebra, 171:1 (1995), 43-96 [Br] de Branges, L., Tensor product spaces, Journal of Mathematical Analysis and Ap- plications, 38:1 (1972), 109-148. [BZ] Berenstein, A. A. Zelevinsky, A., Total positivity in Schubert varieties, Comment. Math. Helv. 72 (1997) 128-166. [Bu] Bump, D.Automorphic forms of GL(3,R), Lecture Notes in Mathematics, 1083, [G] Givental A. Stationary phase integrals, quantum Toda lattices, flag manifolds and the mirror conjecture, Topics in singularity theory, AMS Translations ser. 2, 180 (1997) 103 - 115 [GKL] Gerasimov A., Kharchev S., Lebedev D. Representation theory and quantum in- verse scattering method: the open Toda chain and the hyperbolic Sutherland model IMRN 2004.17 (2004), pp. 823-854. [GKLO] Gerasimov, A., Kharchev, S.M., Lebedev D.R., Oblezin S.V. On a Gauss- Givental representation of quantum Toda chain wave function, International Mathe- matics Research Notices 2006 (2006). [GLO] Gerasimov A.A., Lebedev D.R., Oblezin S.V. New integral representations of Whittaker functions for classical Lie groups, Russian Mathematical Surveys. 67:1 (2012) pp. 1- 96. [J] Jacquet, H. Fonctions de Whittaker associ´ees aux groupes de Chevalley Bulletin de la soci´et´e math´ematique de France 95 (1967), pp.243-309. [KL] Kharchev S., Lebedev D. Eigenfunctions of GL(N,R) Toda chain: The Mellin- Barnes representation, Pis’ma v ZhETF, (2000), 71, 338-343; [K] Kostant, B. Quantization and representation theory, Representation theory of Lie groups 34(9a) (1979), pp. 287–316. [L] Lusztig G. Total positivity in reductive groups, Lie theory and geometry. Birkh¨auser, Boston, MA, (1994) pp. 531–568. [Si] Silantyev, A. V. Transition function for the Toda chain, Theoretical and Mathemat- ical Physics, (2007), 150(3), 315-331. [SS] Schrader G., Shapiro A. On b-Whittaker functions arXiv:1806.00747 (2018) [St] Stade, E. Mellin transforms of GL(n,R) Whittaker functions American journal of mathematics 123:1 (2001), 121-161. 48 [Sch] Schiffmann, G. Int´egrales d’entrelacement et fonctions de Whittaker Bulletin de la Soci´et´e Math´ematique de France 99 (1971), 3-72. [Td] Toda, M. Theory of nonlinear lattices Springer Science and Business Media, 20 (2012) [Tt] Titchmarsh, E. C. Introduction to the theory of Fourier integrals. Oxford: Clarendon Press Vol. 950 (1948) [T] Tits J., Normalisateurs de Tores I. Groupes de Coxeter Etendus. Journal of Algebra 4 no. 1 (1966) 96-116. [V] Vilenkin, N. I. Special functions and the theory of group representations American Mathematical Soc., 22 (1978). [W] Wilson, J.A., Some hypergeometric orthogonal polynomials SIAM Journal on Math- ematical Analysis 11:4 (1980) 690-701. [WW] Whittaker E. T., Watson G. N. A course of modern analysis Cambridge university press, 1996. [Zh1] Zhelobenko D.P. Harmonic analysis on semisimple complex Lie groups, Current Problems in Mathematics, Moscow, Nauka (1974). [Zh2] Zhelobenko D.P. Representations of reductive Lie algebras; Nauka, Moscow (1994).

Journal

MathematicsarXiv (Cornell University)

Published: Jul 1, 2019

There are no references for this article.