subgroup of SU(N) with maximal manifold dimension - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T00:22:53Z http://mathoverflow.net/feeds/question/16562 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/16562/subgroup-of-sun-with-maximal-manifold-dimension subgroup of SU(N) with maximal manifold dimension Alberto Montina 2010-02-26T22:56:21Z 2010-02-28T04:35:30Z <p>Given the group SU(N) of NxN unitary matrices, does there exist a subgroup S with a manifold dimension larger than the SU(N-1) manifold dimension and smaller than the SU(N) one? S should not necessarily have SU(N-1) as subgroup.</p> http://mathoverflow.net/questions/16562/subgroup-of-sun-with-maximal-manifold-dimension/16571#16571 Answer by Somnath Basu for subgroup of SU(N) with maximal manifold dimension Somnath Basu 2010-02-27T01:29:32Z 2010-02-27T01:29:32Z <p>I guess the answer is yes. Consider the symplectic group $Sp(2)$, consiting of elements in $GL_2(\mathbb{H})$ which preserve the Hermitian form on $\mathbb{H}^2$. It is a subgroup of $SU(4)$ and has dimension $10$. However, there is no inclusion of groups $\iota:SU(3)\to Sp(2)$ since the quotient $X:=Sp(2)/SU(3)$ is a homogeneous space and a closed manifold of dimension $2$ with trivial $\pi_1$ and $\pi_2$.</p> http://mathoverflow.net/questions/16562/subgroup-of-sun-with-maximal-manifold-dimension/16585#16585 Answer by Dmitri for subgroup of SU(N) with maximal manifold dimension Dmitri 2010-02-27T10:31:36Z 2010-02-27T10:31:36Z <p>The answer is yes for all $n$, $SU(n)$ contains $U(n-1)$ as a block-diagonal $(n-1)\times (n-1)+1\times 1$ matrix. This $U(n-1)$ contains $SU(n-1)$ of cours. </p> <p>For $n$ large enough it should be possible to prove that there are no more examples using classification of compact groups. </p> http://mathoverflow.net/questions/16562/subgroup-of-sun-with-maximal-manifold-dimension/16654#16654 Answer by Victor Ostrik for subgroup of SU(N) with maximal manifold dimension Victor Ostrik 2010-02-28T04:28:38Z 2010-02-28T04:35:30Z <p>Your question is equivalent to the question about maximal dimension of a proper Lie subalgebra of $su(N)$. Clearly such subalgebra is reductive since it has a positive definite invariant form. Thus you are looking for a reductive Lie algebra of maximal possible dimension strictly smaller than $N^2-1$ with faithful representation $V$ of dimension $N$. We claim that this dimension is $(N-1)^2$ for $N>4$. Here is a sketch of argument:</p> <p>1) representation $V$ is irreducible: if it splits into direct sum of subrepresentations of dimensions $a$ and $b$, then dimension of our Lie algebra is less than $a^2+b^2\le (N-1)^2$ (one needs to consider the special case when $a=1$ separately).</p> <p>2) representation $V$ is not a tensor product of irreducible representations: if it is a tensor product of representations of dimensions $a$ and $b$, then our Lie algebra has dimension less than $a^2+b^2\le (N/2)^2+(N/2)^2=N^2/2\le (N-1)^2$.</p> <p>3) it follows from 2) above that our Lie algebra is in fact simple Lie algebra. The smallest possible dimension of an irreducible representation of any simple Lie algebra is well known (this is always one of the fundamental representations). Now quick search gives you the result (and the counterexample pointed out by Somnath). </p>