Background: I've been studying some flows on vector spaces associated with linear actions of Lie groups, with the hope of using these flows to prove things about quotient spaces. The most successful tool so far has been a certain kind of inequality for functions associated with the action. I'm trying to generalize this inequality, and my question concerns a key step in the proof. To avoid unnecessary baggage and notation, I'll state the problem purely in terms of linear algebra.
Let $V$ be a vector subspace of the space of $n\times n$ skew-hermitian matrices (I do not assume that $V$ is closed under the matrix commutator). Call a subspace $V'$ of $V$ commuting if $[A,B] = 0$ for all $A,B \in V'$, and maximal commuting if $V'$ is not properly contained in any other commuting subspace.
My question is: is there a nice description of the maximal commuting subspaces of $V$?
Motivating example: if $V$ is itself the Lie algebra of some closed subgroup $G$ of $U(n)$, then a maximal commuting subspace is just a Cartan subalgebra, and Lie theory tells us that any two such subspaces are conjugate by some $g \in G \subset U(n)$.
Since my motivating example is already a nontrivial result in Lie theory, I suspect that the general case is hard. I thought about mimicking this example as follows: define $G_V$ to be the group of $g \in U(n)$ such that $g V g^{-1} \subset V$. Call two maximal commuting subspaces equivalent if there are conjugate via some $g \in G_V$. Is there any hope of proving a result like "there are only finitely many equivalence classes of maximal commuting subspaces"? If not, are there any hypotheses that we can put on $V$ to guarantee such a result?
