The space \(L^2\) on semi-infinite Grassmannian over finite field (Q2445382)

The representation theory for infinite dimensional classical groups is relatively well understood and the same is true for infinite symmetric groups, but this is not the case for groups of infinite matrices over finite fields \(\mathrm{GL}(\infty,\mathbb{F}_q)\). In the paper under review the author gives some steps towards the development of this theory. There are several attempts to extend the well known techniques for studying \(\mathrm{GL}(n,\mathbb{F}_q)\) to the groups \(\mathrm{GL}(\infty,\mathbb{F}_q)\), here the author chooses the way through inverse limits of homogeneous spaces (c.f. \textit{D. Pickrell} [J. Funct. Anal. 70, 323--356 (1987; Zbl 0621.28008)]). Let \(\ell\) be the direct sum of countable copies of \(\mathbb{F}_q\) and let \(\ell^\diamond\) be the direct product of countable copies of \(\mathbb{F}_q\). The author consider the linear space \(\ell\oplus\ell^\diamond\) equipped with a natural topology coming from the extension of the discrete topology of \(\mathbb{F}_q\). Set \(\mathrm{GL}(\ell\oplus\ell^\diamond)\) for the group of continuous invertible linear operators in \(\ell\oplus\ell^\diamond\), this group has a natural homomorphism \(\theta\) into \(\mathbb{Z}\) whose kernel is denoted by \(\mathrm{GL}^0(\ell\oplus\ell^\diamond)\). Take \(\mathcal{M}\) as the set of subspaces of \(\ell\oplus\ell^\diamond\) of the form \(v\oplus vT\), for some infinite matrix \(T\) over \(\mathbb{F}_q\). A subspace \(M\) of \(\ell\oplus\ell^\diamond\) is said semi-infinite if there exists \(L\in\mathcal{M}\) such that \(\alpha(L)=\dim\left(L/(L\cap M)\right)\) and \(\beta(L)=\dim\left(M/(L\cap M)\right)\), are both finite. The relative dimension of \(L\) is then defined as \(\dim(L)=\alpha(L)-\beta(L)\). The primary target of the paper is to understand the set \(\mathrm{Gr}^\alpha\) of subspaces \(L\in\mathcal{M}\) of relative dimension \(\alpha\), these subspaces are called the semi-infinite Grassmannians and we have that \(\mathrm{GL}^0(\ell\oplus\ell^\diamond)\) acts transitively on each \(\mathrm{Gr}^\alpha\). In the paper it is shown that there exists a unique, up to a scalar factor, and finite \(\mathrm{GL}^0(\ell\oplus\ell^\diamond)-\)invariant Borel measure \(\mu\) on \(\mathrm{Gr}^0\). When \(\mu\) is normalized by the condition \(\mu(\mathcal{M})=1\), then \[ \mu(\mathrm{Gr}^0)=\prod_{j=1}^{\infty}(1-q^{-j})^{-1}. \] Given \(L\in \mathrm{Gr}^0\), it is defined \(\Sigma_L=\{K\in \mathrm{Gr}^0\mid \dim\left(L/(L\cap K)\right)=\dim\left(K/(L\cap K)\right)=1\}\), and it is shown that there exists a unique probability measure \(\nu_L\) on \(\Sigma_L\) invariant with respect to the stabilizer of \(L\) in \(\mathrm{GL}^0(\ell\oplus\ell^\diamond)\). Then the operator \[ \Delta f(L)=\int\limits_{\Sigma_L}f(K)d\nu_L(K), \] is a bounded self adjoint \(\mathrm{GL}^0(\ell\oplus\ell^\diamond)-\)intertwining operator in \(L^2(\mathrm{Gr}^0,\mu)\) with spectrum \(\{1,q^{-1},q^{-2},\ldots\}\). Finally the author gives the invariant functions in terms of the Al-Salam--Carlitz orthogonal polynomials, and describes a measure on the flags of \(\ell\oplus\ell^\diamond\).