Non symmetric Cauchy kernels for the classical Groups

Amy M. Fu,Alain Lascoux
DOI: https://doi.org/10.48550/arXiv.math/0612828
2006-12-28
Abstract:We give non-symmetric versions of the Cauchy kernel and Littlewood's kernels, corresponding to the types $A_n$, $B_n$, $C_n$ and $D_n$, of the classical groups. We show that these new kernels are diagonal in the basis of two families of key polynomials (one of them being Demazure characters) obtained as images of dominant monomials under isobaric divided differences. We define scalar products such that the two families of key polynomials are adjoint to each other.
Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define asymmetric versions of the Cauchy kernel and the Littlewood kernel for classical groups (i.e., types \(A_n\), \(B_n\), \(C_n\) and \(D_n\)), and to show the diagonalization properties of these new kernels in specific bases. Specifically, the author hopes: 1. **Define asymmetric Cauchy kernel and Littlewood kernel**: For different types of classical groups, give the corresponding asymmetric versions of the Cauchy kernel and the Littlewood kernel. 2. **Prove diagonalization properties**: Prove that these newly - defined kernels are diagonalized in the basis composed of two types of key polynomials. One of these two types of key polynomials is Demazure characters, which are obtained from dominant monomials through isobaric divided differences. 3. **Introduce new scalar product**: Define a new scalar product such that these two types of key polynomials are adjoint to each other under this scalar product. ### Specific problem description - **Forms of asymmetric Cauchy kernel and Littlewood kernel**: - For type \(A\), the asymmetric Cauchy kernel \(\Omega_A\) is defined as: \[ \Omega_A := \prod_{i + j\leq n + 1}\frac{1}{1 - x_i y_j} \] - For type \(B\), the asymmetric Cauchy kernel \(\Omega_B\) is defined as: \[ \Omega_B := \prod_{i < j}(1 - x_i x_j)\prod_i(1 + x_i)\prod_{i,j}\frac{1}{1 - x_i y_j}\prod_{i\leq j}\frac{1}{1-\frac{x_i}{y_j}} \] - Similarly, for types \(C\) and \(D\), there are also corresponding definitions of the asymmetric Cauchy kernels \(\Omega_C\) and \(\Omega_D\). - **Diagonalization properties**: - Prove that these asymmetric kernels are diagonalized in the basis composed of two types of key polynomials. Specifically, the author shows that these kernels can be expressed as: \[ \Omega_A=\sum_{v\in\mathbb{N}^n}\hat{K}_v(x)K_v^\omega(y) \] \[ \Omega_{BC}=\sum_{v\in\mathbb{N}^n}\hat{K}_v(x)K_{BC}^{-v}(y) \] \[ \Omega_D=\sum_{v\in\mathbb{N}^n:v_n = 0}\hat{K}_v(x)K_D^{-v}(y) \] - **Definition of scalar product**: - Introduce a new scalar product \((f, g)_\heartsuit\), where \(\heartsuit\) represents different group types \(A, B, C, D, BC\), such that the two types of key polynomials are adjoint to each other under this scalar product. By solving these problems, the author not only extends the classical Cauchy kernel and Littlewood kernel to the asymmetric case, but also provides new tools and perspectives for understanding the properties of these kernels under different group types.