The representation ring of the unitary groups and Markov processes of algebraic origin (Q304104)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The representation ring of the unitary groups and Markov processes of algebraic origin |
scientific article; zbMATH DE number 6619036
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The representation ring of the unitary groups and Markov processes of algebraic origin |
scientific article; zbMATH DE number 6619036 |
Statements
The representation ring of the unitary groups and Markov processes of algebraic origin (English)
0 references
23 August 2016
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
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
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.NEWLINENEWLINE 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'\), NEWLINE\[NEWLINE\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},NEWLINE\]NEWLINE where for any indices \(n_1\geq n_2\), NEWLINE\[NEWLINE\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}NEWLINE\]NEWLINE and for any \(n\in\mathbb{Z}\), NEWLINE\[NEWLINE\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}NEWLINE\]NEWLINE There operators are correctly defined on \(\mathbb{R}\).
0 references