2
$\begingroup$

I'm reading the book 'A course in Modern Mathematical Physics' by 'Szekeres' and encountered a problem in interpreting the proof of the following corollary of Schur's lemma.

The corollary and the proof in the book is as follows (I mark my problem area's in the proof with (<1>) and (<2>) :

Corollary 4.2. Let $T : G \rightarrow {GL} (V)$ be a irreducible representation of a finite (<1>) group G on a complex vector space $V$ and $A : V \rightarrow V$ an operator such that $\forall g \in G$ we have $T (g) \circ A = A \circ T (g)$ then $A = \alpha {id}_V$ for some complex scalar $\alpha$.

Proof: As $\alpha {id}_V$ commutes with $T (g)$ for every $g$ and every complex $\alpha$ we have $\forall g \in G$ that $T (g) \circ (A - \alpha {id}_V) = (A - \alpha {id}_V) \circ T (g)$ and from Shur's lemma it follows then that either $A - \alpha {id}_V = 0$ or $A - \alpha {id}_V$ is a isomorphism (and thus invertible). Now if $V$ is complex then $A$ must have a eigenvalue $\alpha$ (<2>) so that $A - \alpha {id}_V$ is not invertible and thus we must have $A = \alpha {id}_V$

The problems I have with this proof are as follows :

  1. For (<2>) to be valid (that $A$ has a eigenvalue) must we not have that $V$ is finite dimensional. The corollary tells nothing about finite dimensionality of $V$.

  2. For what do we need (<1>) ($G$ is finite). In the same book at the formulation of Shur's lemma $G$ does not need to be finite, so I think the fact that $G$ is finite should be used somewhere in the proof of the corollary but I fail to see where (unless from $G$ finite it follows that $V$ is finite which would solve my previous problem but I fail to see how this could be true). This is my biggest problem, the previous problem is in my opinion a typo in the text of the book, but here I have the impression that I'm missing something in the proof, in my opinion none of the steps in the proof do not need finiteness of G so can we omit the requirement that G must be finite in the corollary.

Thanks a lot in advance

Marc Mertens

$\endgroup$

3 Answers 3

3
$\begingroup$

What Emerton says is of course correct: an irreducible representation of a finite group is necessarily finite-dimensional. Indeed, the same holds for any continuous irreducible representation of a compact group on a Hilbert space.

It seems to me that you can get away with milder assumptions: $G$ can be any group so long as $V$ is a Banach space and $A$ is a bounded linear operator. Then in the proof you take $\alpha$ to be the Banach space analogue of an eigenvalue for $A$, i.e., an element of the spectrum of $A$.

You did of course look ahead and try to see what form of Schur's Lemma is actually used? (I mentioned a generalization because of the vague impression that operators discussed in physics are usually on infinite-dimensional spaces.) There are certainly multiple related results all going under that name. If you feel you need a different form than is proved in the text, let us know. I'm sure someone here (e.g. Emerton) can help you out.

$\endgroup$
3
$\begingroup$

Let $v \in V$ be non-zero. Then the span of the elements $g v$ ($g \in G$) is finite-dimensional, because $G$ is finite, and is a $G$-invariant subspace of $V$. Since $V$ is irred., it is just equal to this span, and so is itself finite-dimensional. This should deal with both your points 1 and 2.

$\endgroup$
0
1
$\begingroup$

This corollary of Schur's lemma is valid also in countable dimensions (or, better to say, in dimensions less than continuum). When the dimensionality is continuum, this corollary fails.

The proofs of these facts are remarkably elementary. See the discussion at

Dixmier's lemma as a generalisation of Schur's first lemma

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.