Products of longitudinal pseudodifferential operators on flag varieties (Q846957)

Associated to each set \(S\) of simple roots of \(GL(n,\mathbb{C})\) is an equivariant fibration \(\mathcal{X}\to\mathcal{X}_S\) of the complete flag variety \(\mathcal{X}\) of \(\mathbb{C} ^n\). To each such fibration the author associates an algebra \(\mathcal{J}\)\(_S\) of operators on \(L ^2(\mathcal{X})\), or more generally, on \(L^2\)-sections of vector bundles over \(\mathcal{X}\). The ideal contains, in particular, the longitudinal pseudodifferential operators of negative order tangent to the fibres. Together, they form a lattice of operator ideals whose common intersection is the compact operators. Thus, for instance, the product of negative order pseudodifferential operators along the fibers of two such fibrations \(\mathcal{X}\to\mathcal{X}_S\) and \(\mathcal{X}\to\mathcal{X}_T\) is a compact operator if \(S\cup T\) is the full set of simple roots. The construction of the ideals uses noncommutative harmonic analysis, and hinges upon a representation theoretic property of subgroups of \(SU(n)\), which may be described as 'essential orthogonality subrepresentations'.