2
$\begingroup$

Let $G$ be a unitary group $U(n)$ and $G’$ is a subgroup $U(m)$. (i.e. $m\le n$)

Let $\mathfrak{g},\mathfrak{g}'$ be the complexified Lie algebra of $G,G’$ and $\mathfrak{z},\mathfrak{z}’$ be the center their universal enveloping algebra.

Let $\mathfrak{t}’$ and $\mathfrak{t}$ be their maximal toral subalgebra of $\mathfrak{g}'$ and $\mathfrak{g}$ such that $\mathfrak{t}’ \subset \mathfrak{t}$.

Since $\mathfrak{t}’ \subset \mathfrak{t}$, I guess that there is a natural canonical surjection $\mathfrak{z}, \to \mathfrak{z},’$ which is compatible with domain restriction morphism $C^{\infty}((U(n)) \to C^{\infty}(U(m))$.(Here, we regards elements of $\mathfrak{z}$ and $\mathfrak{z}'$ as differential operators.)

More precisely, I am asking the exitence of canonical surjection $p:\mathfrak{z}, \to \mathfrak{z}’,$ such that for $\phi \in C^{\infty}((U(n))$ and $X \in \mathfrak{z}’$, $X \cdot (\phi|_{U(m)})=(Y \cdot \phi)|_{U(m)}$ where $Y$ is an arbitrary element in $p^{-1}(X)$.

Such $p$ does exists? If so how can we construct it? Some expert has alluded to me to use Harish-Chandra isomorphism. But I have no idea how to use it in this situation.

Thank you in advance!

$\endgroup$
8
  • $\begingroup$ For a particular case ZUgl(n) to ZUgl(N). Take a look at section 10. "Coherence property of quantum immanants and shifted Schur polynomials" , of the arxiv.org/abs/q-alg/9605042 there is kind of "averaging" map discussed there . $\endgroup$ Commented Apr 1, 2020 at 13:33
  • $\begingroup$ I assume $\mathfrak{t}, \mathfrak{t}'$ are the relevant maximal tori, which implies that you are choosing tori. Does this mean that your "canonical" surjection is allowed to depend on the choice of maximal tori? $\endgroup$
    – user44191
    Commented Apr 1, 2020 at 14:38
  • $\begingroup$ @Alexander, Thank you! It seems to holds for unitary groups. Do you think that it does hold for other classical groups also? $\endgroup$
    – Monty
    Commented Apr 1, 2020 at 14:39
  • $\begingroup$ @user44191, Yes! I mean canonical map as the natural map once we fix relevant maximal tori. $\endgroup$
    – Monty
    Commented Apr 1, 2020 at 14:41
  • $\begingroup$ Does mathoverflow.net/questions/107389/… answer your question ? $\endgroup$ Commented Apr 1, 2020 at 17:19

0

You must log in to answer this question.

Browse other questions tagged .