Existence of a strongly continuous topologically irreducible representation of a compact group on an infinite dimensional Banach space? Does there exists a triple $(G, X, \pi)$, where $G$ is a compact group, $X$ an infinite dimensional Banach space over $\mathbf{C}$, and $\pi : G \to B(X)$ a strongly continuous representation of $G$, such that if $Y$ is a non-zero closed invariant subspace of $X$ in the sense that $\pi(g)Y \subseteq Y$ for all $g \in G$, then $Y = X$ (we call nonzero strongly representations of $G$ satisfying this property topologically irreducible)?
I am not sure that if this is settled already, as the question seems natural, yet I am ignorant of the relevant literature, nor could I come up with a proof or disproof. Let me be (perhaps overly) precise about the question asked in the title. By compact group, I mean Hausdorff plus quasi-compact, and topologically irreducible means that the only invariant closed subspaces are either $0$ or the whole space. More generally, can we find such an example by replacing infinite dimensional Banach spaces by complete infinite dimensional locally convex Hausdorff spaces instead? While we are on the subject, I'd also appreciate some recommendation of books, papers/surveys on representations of topological groups on Banach spaces that is not focused on unitary representations on Hilbert spaces?
 A: For Banach spaces, the question is no : there is a form of the Peter-Weyl theorem, due to Shiga, which implies that in every Banach space representation of a compact group, the finite-dimensional sub-representations span a dense subspace. In particular, strongly continuous irreducible representations on a Banach space are finite-dimensional. I am not sure about arbitrary locally convex topological vector space.
Shiga's paper is here. If the link does not work, the precise reference is:
K. Shiga, Representations of a compact group on a Banach space, Journal of the Mathematical Society of Japan 7 (1955), 224–248.
A: Another reference is
Hofmann, Morris, "The structure of compact groups", Zbl 1277.22001
(There is a 4th edition, but my library has access to this 3rd edition which I'll give references to).
Chapter 3 considers this question, and the "Big Peter and Weyl Theorem", Theorem 3.51, is exactly the result which Mikael de la Salle mentions, but is here stated and proved for any "$G$-complete locally convex" space.  In particular, this applies to any complete locally convex topological space, see page 72.
(There are some very brief references given, but no bibliographic notes, so I don't know where this result was first proved.)
