Generating function for \(\text{GL}_n\)-invariant differential operators in the skew Capelli identity (Q993440): Difference between revisions

Working in the complex numbers, let Alt\(_{n}\) be space of alternating \(n\times n\) matrices, that is, skew-symmetric matrices with zeros on the diagonal. Then \(\text{GL}_{n}\) acts on Alt\(_{n}\) via \(g.x=gxg^{t}\) giving rise to a representation \(\pi:\) \(\text{GL}_{n}\rightarrow\mathbb{C}[\) Alt\(_{n}]\), which in turn determines a representation \(d\pi\;\) of \(\mathfrak{gl}_{n}\), the Lie algebra of \(\text{GL}_{n}.\) Let \(\mathcal{PD}\left( \text{Alt}_{n}\right)\) be the ring of differential operators on Alt\(_{n}\) with polynomial coefficients. Then \(\mathcal{PD}\left( \text{Alt}_{n}\right) ^{\text{GL}_{n}}\) denotes the \(\text{GL}_{n}\)-invariant differential operators. There is a well-known set \(\left\{ \Gamma_{k}\right\} ,\) \(k\) a positive integer, \(k\leq n/2,\) of \(\text{GL}_{n}\)-invariant differential operators which form a generating system for \(\mathcal{PD}\left( \text{Alt}_{n}\right) ^{\text{GL}_{n}}\). In this work, the author gives a generating function for \(\left\{ \Gamma_{k}\right\}\). This generating function is the Pfaffian of a certain anti-alternating matrix whose entries are derivations, multiplication operators, and \(\pm u\) for a fixed parameter \(u\). This generating function has coefficients which are a monic polynomials in \(u\) of degree \(n-2k\) which are, up to a power of \(-i/2\in\mathbb{C}\), Hermite polynomials. Specifically, the coefficient to \(\Gamma_{k}\) is \(\left( -i/2\right) ^{n-2k}H_{n-2k}\left( iu\right)\).