3
$\begingroup$

I would like to have examples of a finite group, $G$, with a finite dimensional representation, $V$, (over the complex numbers, say) with four conditions:

  1. $V$ has a $G$-invariant inner product
  2. The exterior square of $V$ has two (distinct) composition factors
  3. The symmetric square is multiplicity-free.
  4. The symmetric square has more than four composition factors (including the trivial representation).

You can interchange the role of symmetric and exterior squares, if you wish.

$\endgroup$
3
  • $\begingroup$ Here's a random example. Let $G$ be the double cover of $A_6$. Take a four dimensional faithful irreducible module, say $\chi_8$ in Atlas notation. This supports a $G$-invariant (symplectic) inner product. The exterior square is $\chi_1+\chi_2$, of dimensions $1$ and $5$, while the symmetric square is $\chi_7$, irreducible of dimension $10$. I'm not sure if this is what you're looking for, because you seem to be asking about four or five different questions. $\endgroup$ Commented Sep 13 at 16:13
  • 1
    $\begingroup$ Yes, it did come out as several questions. The question I want to ask is whether any of the features I see for simple Lie algebras are special to that context. That is an open question and I was trying to make it precise. $\endgroup$ Commented Sep 13 at 17:16
  • $\begingroup$ What precisely do you mean by "inner product"? Every complex representation $V$ of a finite group $G$ has a $G$-invariant inner product with values in $\mathbb{C}$ (by taking an arbitrary inner product and averaging over $G$). On the other hand, $V$ will have a $G$-invariant bilinear form with values in $\mathbb{C}$ iff $V$ has real-valued character, i.e., iff $V$ has non-zero Frobenius--Schur indicator. $\endgroup$ Commented Sep 14 at 19:14

2 Answers 2

8
$\begingroup$

Let $G=\mathrm{PSU}(3,5)$, the simple group of order 126,000. Let $\chi_2$ be the $20$ dimensional representation. This has an invariant (symplectic) inner product. Then the symmetric square is $\chi_7 + \chi_{10}$, while the exterior square is $\chi_1+\chi_4+\chi_5+\chi_6+\chi_8$. Here, the dimensions are $84+126$ and $1+28+28+28+105$. This is an example with the roles interchanged, as permitted by the question. I've used ATLAS notation for the characters.

$\endgroup$
8
  • $\begingroup$ Your conditions force it to be a fairly small representation of a fairly big group that's close to simple, so I started looking around the 100,000 mark. This was one of the first ones I tried, so there are probably many more. $\endgroup$ Commented Sep 13 at 18:26
  • $\begingroup$ Intriguing. I am not surprised there are examples. I didn't expect it to be so easy to find one. $\endgroup$ Commented Sep 13 at 18:48
  • 1
    $\begingroup$ It's really a question of having some idea of where to look, I suppose, because if you just try a bunch of smallish groups, you won't succeed any time soon. $\endgroup$ Commented Sep 13 at 18:52
  • $\begingroup$ Is there an (outer) automorphism which permutes the 3 x 28 and fixes the others? $\endgroup$ Commented Sep 13 at 18:56
  • $\begingroup$ Yes there is. Adjoining it gives $\mathrm{PGU}(3,5)=G.3$. $\endgroup$ Commented Sep 13 at 18:57
2
$\begingroup$

Here is a simple infinite family of examples which shows that we can have as many irreducible constituents as we want in both the symmetric and exterior square. Let $G=\operatorname{PGL}_2(\mathbb{F}_q)$, where $q$ is odd and let $V$ be the Steinberg representation (which has dim $q$). It can be checked that $V\otimes V$ is multiplicity-free and contains every irrep of $G$ except the non-trivial one-dimensional one (this is the least obvious step). Moreover, $V$ has real-valued character, so carries a $G$-invariant bilinear form.

The group $G$ has $(q-3)/2$ irreps of dim $q+1$, $(q-1)/2$ irreps of dim $q-1$, 2 irreps of dim $q$ and 2 of dim 1. Meanwhile, the symmetric square of $V$ has dim $q(q+1)/2$ and the exterior square has dim $q(q-1)/2$. Thus, for $q$ large enough, each one contains more than $N$ irreducible constituents, for any given positive $N$. For example, for $q=11$, $G$ has order 1,320 and the symmetric and exterior squares of $V$ both have at least 5 irreducible constituents (one can easily find a better bound or even the exact numbers).

$\endgroup$
2
  • $\begingroup$ I think he wanted one of exterior/symmetric square to have just two composition factors. At least, that's how I read it. Maybe the OP can comment on this. $\endgroup$ Commented Sep 15 at 11:30
  • $\begingroup$ You may be right. In that case this doesn't answer the question. $\endgroup$ Commented Sep 15 at 12:34

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.