The representation ring of the unitary groups and Markov processes of algebraic origin (Q304104)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The representation ring of the unitary groups and Markov processes of algebraic origin |
scientific article |
Statements
The representation ring of the unitary groups and Markov processes of algebraic origin (English)
0 references
23 August 2016
0 references
Jointly with \textit{A. Borodin} the author introduced a family of Markov processes on the dual object of the infinite-dimensional unitary group \(U(\infty)\), [J. Funct. Anal. 263, No. 1, 248--303 (2012; Zbl 1260.60149)]. The main purpose of the present paper is the derivation of explicit expressions for the infinitesimal generators of these processes. In preparation, the author introduces and studies the representation ring \(\mathbb{R}\) for the family of compact unitary groups \(U(1),U(2),\dots\). It is a commutative graded algebra with infinite-dimensional homogeneous components, playing a similar role as the algebra of symmetric functions does for the family of finite symmetric groups. In the second half of the paper it is then shown that the envisaged infinitesimal generators are implemented by the second-order partial differential operators with countably many variables \(\{\varphi_n:n\in\mathbb{Z}\}\) and complex parameters \(x\), \(x'\), \(w\), \(w'\), \[ \mathbb{D}_{z,z',w,w'}= \sum_{nn}{\partial 2\over\partial\varphi^2_n}+ 2 \sum _{\substack{ n_1,n_2\in\mathbb{Z}\\ n_1>n_2}} A_{1n_2}{\partial^2\over \partial\varphi_{n_1} \partial\varphi_{n_2}}+ \sum_{n\in\mathbb{Z}} B_n{\partial\over \partial\varphi_n}, \] where for any indices \(n_1\geq n_2\), \[ \begin{multlined} A_{n_1n_2}= \sum^\infty_{p=0} (n_1-n_2+ 2p+ 1)(\varphi_{n_1+p+1}\varphi_{n_2-p}+ \varphi_{n_1+p} \varphi_{n_2-p-1})\\ -(n_1= n_2) \varphi_{n_1}\varphi_{n_2}-2\sum^\infty_{p=1} (n_1-n_2+ 2p) \varphi_{n_1+jp} \varphi_{n^2-p}\end{multlined} \] and for any \(n\in\mathbb{Z}\), \[ \begin{multlined} B_n= (n+ w+ 1)(n+ w'+ 1)\varphi_{n+1}+ (n-z-1)(n-z'-1)\varphi_{n-1}\\ -((n-z)(n-z')+ (n+ w)(n+ w'))\varphi_n.\end{multlined} \] There operators are correctly defined on \(\mathbb{R}\).
0 references
infinite-dimensional unitary group
0 references
dual object
0 references
representation ring
0 references
Feller process
0 references
infinitesimal generator
0 references
bilateral birth-death process
0 references
multivariate orthogonal polynomials
0 references