Moment maps and equivariant Szegő kernels (Q1883978)

In the paper under review the microlocal approach to the Szegő kernels due to \textit{L.~Boutet de Monvel} and \textit{J.~Sjöstrand} [Astérisque 34--35, 123--164 (1976; Zbl 0344.32010)] is employed in conjunction with the stationary phase method in order to investigate asymptotic properties of certain series of group representations. More specifically, let \(\mu\colon G\times M\to M\) be a holomorphic Hamiltonian action of the compact connected Lie group \(G\) on \((M,\Omega)\), where \(M\) is a connected \(n\)-dimensional complex projective manifold and \(\Omega\) is a Kähler form on \(M\) such that \(-2\pi i\Omega\) equals the curvature of the compatible covariant derivative \(\nabla_L\) of a Hermitian ample holomorphic line bundle \((L,h_L)\) on \(M\). Assume that the action of \(G\) on \(M\) lifts to an action on \(L\) such that both the connection \(\nabla_L\) and the Hermitian structure \(h_L\) of \(L\) are \(G\)-invariant. In particular, for every integer \(k\geq0\) we have a unitary representation of \(G\) on the Hilbert space \(H^0(M,L^{\otimes k})\) of global sections. Now, for any \(G\)-invariant subspace \(V\) of \(H^0(M,L^{\otimes k})\) define the function \(\nu_V\colon M\to{\mathbb R}_{+}\) by \(\nu_V(p)=\sum\limits_{j\geq1}\| s_j(p)\|^2\), where \(\{s_j\}_{j\geq1}\) is an arbitrary orthonormal basis of \(V\). The main concern of the paper under review is to describe the asymptotic behavior of sequences of functions such as \(\{\nu_{H^0(M,L^{\otimes k})_\omega}\}_{k\geq1}\), where \(H^0(M,L^{\otimes k})_\omega\) is the isotypic component of \(H^0(M,L^{\otimes k})\) corresponding to an irreducible representation \(\omega\) of the Lie group~\(G\).