4
$\begingroup$

I have been reading the paper "On the images of modular and geometric three-dimensional Galois representations" (see also the earlier arXiv preprint). But there is a detail in section 6.2 case (c) and case (d) that I do not follow, and would be very grateful, if anyone could clarify it.

The detail in cases (c) and (d) appears to be similar, so I'll just write up the situation for one of them.

Let P(G) be an irreducible subgroup contained in a maximal subgroup of PSL$(3,l)$ that leaves invariant a triangle with coordinates in $\mathbb{F}_{l}$ and makes all six permutations of its vertices (see Mitchell's paper or Bloom's paper).

Then we have an exact sequence, $1 \to R \to P(G) \to U \to 1$, with $R$ diagonal and $U$ isomorphic to a subgroup of $S_3$. We want to show that the projective image of the inertia subgroup at $l$, $P(I)$, is contained in $R$. It is claimed that $P(I)$ is cyclic with order greater than or equal to $l - 1 > 3$, and so lies in $R$, as $S_3$ does not have cyclic groups of order greater than 3.

I can see from the description of $P(I)$ in section 5 that it has cyclic quotients of order greater than or equal to $l-1>3$, but not why it is cyclic. I don't see either why this must mean it lies in $R$. For example, we have the exact sequence, $1 \to <i> \to Q_8 \to C_2 \to 1$, where $Q_8$ is the quaternion group of order 8. Yet there are cyclic subgroups of $Q_8$ of order greater than 2, which aren't contained in $<i>$, for example $<j>$, and $<k>$.

1: MR2045504 11F80 Dieulefait, Luis; Vila, Núria On the images of modular and geometric three-dimensional Galois representations. Amer. J. Math. 126 (2004), no. 2, 335–361.

$\endgroup$
  • 1
    $\begingroup$ It's useful to add more specific links to the article, which was published in 2004 (ams.org/mathscinet-getitem?mr=2045504) but appeared earlier in preprint form (front.math.ucdavis.edu/0111.5043). $\endgroup$ – Jim Humphreys Apr 1 '17 at 19:05
  • 1
    $\begingroup$ In general there are cyclic subgroups of $P(G)$ that are not contained in $R$. For example, the maximal subgroup of ${\rm PSL}(3,8)$ with structure $7^2:S_3$ has elements of order $14$. But I am unsure of the definition of the inertia subgroup $I$. $\endgroup$ – Derek Holt Apr 2 '17 at 12:50
  • $\begingroup$ There is a description of (the image of) the inertia subgroup in section 5 of Dieulefait and Vila's paper. But for this you would need to know the definition of a fundamental character. There's a nice [post here][1] explaining them. If you're happy to read about them. How did you find this example? I would like to have a look at these subgroups too, if possible. [1]:mathoverflow.net/questions/44654/… $\endgroup$ – mdave16 Apr 2 '17 at 13:21
  • $\begingroup$ Do you have another example like this one, but not over a field of characteristic 2? The authors of this paper wouldn't have been considering characteristic 2. Thank you! $\endgroup$ – mdave16 Apr 2 '17 at 13:44
  • 3
    $\begingroup$ For an example in odd characteristic, ${\rm PSL}(3,11)$ has a maximal (imprimitive) subgroup with structure $10^2:S_3$. For $P(G)$ we can take its (maximal) subgroup with structure $5^2:S_3$, which is still irreducible. It has elements of order $10$. I have spent a lot of my time during the past several years working on the structure of the maximal subgroups of the classical groups, so I have become very familiar with them. That's how I thought of these examples. $\endgroup$ – Derek Holt Apr 2 '17 at 16:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.