1
$\begingroup$

I'm having difficulty with this result (given as 2 lines in my book):

Let $\Phi$ be a root system as defined http://en.wikipedia.org/wiki/Root_system and let $W$ be a group generated by the reflections $s_\alpha$ for $\alpha \in \Phi$.

Suppose that we know each element of $W$ fixes pointwise the orthogonal complement, $U^\perp$ of the subspace spanned by $\Phi$, $U$.

Somehow, this implies that only $e$ can fix $\Phi$.

I can kinda see how we would want this to be true, but I'm unsure how to prove it.

  • 2
    How is the action of $U$ being extended to all of $\mathbb{R}^n$? If $W$ acts on $\Phi$, then the action naturally extends to $U$, but how do you extend it to $U^{\perp}$? Or is $W$ already acting on all of $\mathbb{R}^n$, and it just turns out that it acts on the set $\Phi$?2011-10-17
  • 0
    What is $e$? The identity? And what do you mean by "fix"-ing a set or a subspace? Do you mean $U^\perp$ is invariant under $W$, or something else?2011-10-17
  • 0
    @ArturoMagidin $W$ acts on $R^n$2011-10-17
  • 0
    @user1551 Sorry, pointwise, $\forall w \in W \hspace{3mm} \forall \lambda \in U^\perp \hspace{3mm} w(\lambda) = \lambda$2011-10-17
  • 0
    You are missing some important hypothesis: consider any non-trivial group acting trivially on $\mathbb R^{27}$ and let $\Phi$ be any finite subset of $\mathbb R^{27}$.2011-10-17
  • 0
    @MarianoSuárez-Alvarez I was hoping it wasn't required, but $\Phi$ is a root system: http://en.wikipedia.org/wiki/Root_system2011-10-17
  • 0
    Zeophite: my counter example works for every finite set of vectors :)2011-10-17
  • 0
    Apologies, I've updated the question2011-10-17

2 Answers 2

0

Clearly if a linear morphism fixes pointwise $\Phi$ and the orthogonal complement of $U$ then it fixes the whole space, being generated by $\Phi$ and the complement of $U$. So if one element in $W$ does that it is $e$. Perhaps I missed something but it seems quite easy ...

  • 0
    The fact after updating your question that $W$ appears to be a Weil group does not change my answer in my mind : it only ensures the fact that it actually fixes the orthogonal complement of the root space ...2011-10-17
1

Here's a related (simpler) problem that if you solve it first, should help you with your problem.

Suppose $G$ is a group of linear transformations of a vector space $V$ and suppose that $v_1, \dots, v_n$ is a basis of $V$ such that $g \cdot v_i = v_i$ for some $g \in G$. Then $g$ is the identity transformation.