Search Results

$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 …

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, …

I don't think the $\pm$ issue is too deep, and I'm punting on it in favor of answering the other question. You can get a hold of dual Verma modules by considering distributions on $G/B$ supported on a …

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)$, …

The construction you describe appears in Tamvakis' The connection between representation theory and Schubert calculus (Enseign. Math. 50 (2004), 267-2860). Basically, instead of working with represent …

If $\lambda,\mu,\nu$ are considered as vectors in $\mathbb Z^n$, then the set of triples forms a convex cone, given by a finite (for each $n$) list of inequalities. (The corresponding statement does n …

There are conjectural ones in the Berenstein-Zelevinsky paper referenced in that one. They have another paper with a general theorem, Tensor product multiplicities, canonical bases and totally positiv …

$\mathrm{Hom}_G(V^*,V) \cong \mathrm{Hom}(V^*,V)^G \cong (V\otimes V)^G \cong (\mathrm{Sym}^2 V\oplus \mathrm{Alt}^2 V)^G$, so the first is nonzero ($V$ is self-dual) iff $V$ possesses a symmetric or …

Every irrep of $SU(n)$ extends to irreps of $U(n)$, and conversely, the restriction of any irrep of $U(n)$ to $SU(n)$ remains irreducible. If your dominant weight of $SU(n)$ is $(a_1,\ldots,a_{n-1})$ …

What these have in common is that they are of the form $G/P$ for $P$ a maximal parabolic. As such each has a minimal projective embedding of the form $G/P \hookrightarrow \mathbb P(V_\omega)$ where $V …

I would say there are three basic reasons for / proofs of positivity. Geometry. [Kleiman 1973] proves that the number one's trying to compute is the number of points in a transverse intersection of …

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 …

$SO(6) = SU(4)/Z_2$ (i.e. the $Alt^2$ rep of $SU(4)$ preserves an $\mathbb R^6$ inside that $\mathbb C^6$), by the way. Your subgroup is of the same rank as the whole, so by Borel-de Siebenthal theo …

Yes. In combinatorics this is known as Robinson-Schensted-Knuth vs. just Robinson-Schensted. (Properly speaking the latter is about a yet smaller duality, $\mathbb C[S_n] = \bigoplus_{\lambda\vdash n} …

Your question is about the vectors in $V_1\otimes V_2$ that provide $1$-dimensional $B_\Delta$-subrepresentations of weight $\mu$, where $B_\Delta$ is the diagonal in $B\times B \leq G\times G$. Let's …