Borel-Weil theory and Feynman path integrals on flag manifolds (Q1310527)

In [the authors and \textit{H. Yasunaga}, Hokkaido Math. J. 20, 353-405 (1991; Zbl 0733.58007)] we computed path integrals on coadjoint orbits of the Heisenberg group, \(\text{SU}(1,1)\) and \(\text{SU}(2)\) etc. As to the Heisenberg group, we succeeded in computing the path integrals for complex polarizations as well as real polarizations. For the complex polarizations of \(\text{SU}(1,1)\) and \(\text{SU}(2)\), however, we found it difficult to carry out the computation of path integrals, so that we computed the path integrals without Hamiltonians. Soon after we encountered the difficulty of divergence of the path integrals along the method in [op. cit.]. For the complex polarizations of \(\text{SU}(1,1)\) and \(\text{SU}(2)\), by taking the operator ordering into account and then regularizing the path integrals by use of the explicit form of the integrand, we computed the path integrals with Hamiltonians in [the authors, Kirillov-Kostant theory and Feynman path integrals on coadjoint orbits of \(\text{SU}(2)\) and \(\text{SU}(1,1)\). Proc. RIMS Res. Project 91 on Infinite Analysis (to appear)]. In this paper, we shall give an idea how to regularize the path integrals for complex polarizations of any connected semisimple Lie group \(G\) which contains a compact Cartan subgroup \(T\) and shall show, along this idea, that the path integral gives the kernel function of the irreducible unitary representation of \(G\) realized by Borel-Weil theory. Our idea is roughly explained as follows. Let \(\mathfrak h\) be the Lie algebra of \(T\) and \({\mathfrak h}^c\) the complexification of \(\mathfrak h\). Denote by \({\mathfrak n}^+\) and \({\mathfrak n}^-\) the Lie algebras spanned by the positive root vectors and the negative root vectors, respectively. For any integral form \(\Lambda\) on \({\mathfrak h}^c\) we denote by \(\xi_\Lambda\) the holomorphic character of \(T^c\) defined by \(\Lambda\) and by \(L_\Lambda\), the associated holomorphic line bundle on the flag manifold \(G/T\). Let \(\pi_\Lambda\) be the irreducible unitary representation of \(G\) on the Hilbert space of all square integrable holomorphic sections of \(L_\Lambda\) which is realized by the Borel-Weil theorem. Put \(\lambda= \sqrt{-1}\Lambda\). Then for any element \(Y\) of the Lie algebra of \(G\), the Hamiltonian on the flag manifold \(G/T\) is defined by \[ H_Y(g)= \langle \text{Ad}^*(g) \lambda, Y\rangle= \sqrt{- 1} \Lambda(\text{Ad}(g^{- 1})Y). \] Since the path integral of this Hamiltonian is divergent, we regularize it by replacing \[ e^{- \sqrt{- 1}H_Y(g)} = e^{\Lambda(H(\text{Ad}(g^{- 1})Y))}\qquad = \xi_\Lambda(\exp(H(\text{Ad}(g^{- 1})Y))) \] by \[ \xi_\Lambda(h(\exp(\text{Ad}(g^{- 1})Y))), \] where \(H\) and \(h\) denote the projection operators: \[ H: {\mathfrak n}^++ {\mathfrak h}^c+ {\mathfrak n}^-\to {\mathfrak h}^c, \] \[ h: \exp {\mathfrak n}^+\exp {\mathfrak h}^c\exp {\mathfrak n}^-\to \exp {\mathfrak h}^c= T^c. \]