Search Results

There seem to be a bunch of different results of the form "This nice representation $V$ of $G\times H$ breaks up as $\bigoplus_\lambda V_\lambda \otimes W_\lambda$, where the $(V_\lambda)$ are distinc …

Let $\Gamma$ be a finite subgroup of $SL_2({\mathbb C})$, and $Q$ the set of its irreducible representations. McKay makes $Q$ into a directed graph by having $V \to W$ if $W \leq V \otimes {\mathbb C} …

Let $\mathfrak g$ be a finite-dimensional simple Lie algebra over $\mathbb C$. Theorem 1. The highest root is perpendicular to all but one simple root, except in the case ${\mathfrak g}={\mathfrak sl …

Prologue. To $M^n$ a compact real manifold with frame bundle $F$ (a principal $GL_n$ bundle), we associate a line bundle using the representation $M\mapsto \sqrt{|\det M|}$, the bundle of half-densiti …

Let $G$ be a complex reductive Lie group, $B$ a Borel subgroup, with which to define "dominant weight". Let $\lambda$ be an integral weight, not necessarily dominant, but nonetheless giving a one-dime …

$E_6$'s Dynkin diagram is a line of 5 vertices, which we will number 1...5, and a sixth one attached to #3, which we will ignore. $\dim V_{\omega_2} = 351 = \dim V_{2\ \omega_1}$, where $\omega_i$ den …

To define a Nakajima quiver variety associated to a quiver $Q = (Q_0,Q_1)$ (vertices and arrows), one first doubles it to $Q^\heartsuit$ by attaching an extra vertex to every old vertex in $Q_0$. Then …

On the last page of Schmid's article "Discrete Series", he says "In the Beilinson-Bernstein picture, discrete series modules are attached to closed $K$-orbits in $X$... the $K_{\mathbb R}$-structure o …

The complex irreps of a finite group come in three types: self-dual by a symmetric form, self-dual by a symplectic form, and not self-dual at all. In the first two cases, the character is real-valued, …

Let $G$ be a complex reductive Lie group, $G/P$ a flag manifold, and $\Phi: T^* G/P \to {\mathfrak g}^*$ the moment map. So $\Phi(T^* G/P)$ is the closure of a nilpotent orbit. Lots of classes of ni …

If $\lambda,\mu$ are two dominant weights for a Lie group $G$, then there is a canonical (up to scale, perhaps) surjection $V_\lambda \otimes V_\mu \to V_{\lambda+\mu}$ of finite-dimensional represen …

Let $\lambda$ be a dominant integral weight of $\mathfrak g$, a finite-dimensional reductive Lie algebra over $\mathbb C$. Let $M(w\cdot \lambda)$ denote the Verma module with high weight $w\cdot \lam …

Let $\theta:G\to G$ be an involution of a complex connected reductive Lie group, preserving a maximal torus $T$ (which, for me, lies inside a $\theta$-invariant Borel $B$). Let $K = G^\theta$ be the f …

If one iterates the multiplicity-free branching rule from $\operatorname{GL}(n)$ representations (finite-dim, over $\mathbb C$) to $\operatorname{GL}(n-1)$ all the way down to $\operatorname{GL}(0)$, …

Let $G$ be a simply connected complex Lie group, $\theta$ an involution, and $K = G^\theta$ the fixed point subgroup. Pick a $\theta$-invariant Borel subgroup $B$. Then there is a natural map $K\backs …