Use of n-transitivity in finite group theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T21:36:36Z http://mathoverflow.net/feeds/question/2281 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2281/use-of-n-transitivity-in-finite-group-theory Use of n-transitivity in finite group theory Thomas Sauvaget 2009-10-24T13:11:01Z 2011-10-24T01:16:50Z <p>Hello, apparently finite groups which are n-transitive with n>5 are only the permutation groups S<sub>n</sub> or the alternating groups A<sub>n+2</sub>, see e.g. page 226 this book by Isaacs <a href="http://books.google.fr/books?id=pCLhYaMUg8IC&amp;pg=PA226" rel="nofollow">http://books.google.fr/books?id=pCLhYaMUg8IC&amp;pg=PA226</a></p> <p>Is this characterization useful at all? For instance, are there famous proofs (maybe in a geometric context), which use it to, say, show that a certain group is in fact some A<sub>n</sub> ?</p> http://mathoverflow.net/questions/2281/use-of-n-transitivity-in-finite-group-theory/2282#2282 Answer by David Lehavi for Use of n-transitivity in finite group theory David Lehavi 2009-10-24T13:21:21Z 2009-10-24T13:21:21Z <p>Half of my PhD was a proof that any smooth plane quartic can be recostructed by It's bitangents. This is classical if you know which bitangents corresponds to which odd theta characteristics. Here is the heart of the proof:</p> <p>Say that A is moduli of sets of bitangents + level structure, B is the moduli of sets of bitangents, so A->B is Galois with Galois group at least SP(6,2) (the level-2 deck group), and at most S_28. I showed that this group is 2-transtivie, which meant that it is either SP(6,2), A28 or S28. Then I showed that it is not the last two, which brought it to the classical case.</p> http://mathoverflow.net/questions/2281/use-of-n-transitivity-in-finite-group-theory/2285#2285 Answer by JSE for Use of n-transitivity in finite group theory JSE 2009-10-24T14:33:04Z 2011-10-23T12:48:10Z <p>This fact is used in a nice way by <a href="http://arxiv.org/abs/math/0502567" rel="nofollow">Dunfield and Thurston</a> to show that, for any finite simple group Q, the number of Q-covers of a "random" 3-manifold in their sense follows a Poisson distribution. (The multiple transitivity appears in Thm 7.4.)</p> <p>Also: I don't have a reference for this in mind, but I've seen Nick Katz give talks where he uses a "linear" version of this, showing that an algebraic subgroup of GL(V) (typically a monodromy group) is "as big as you expect", using irreducibility of tensor powers of V.</p> <p><strong>EDIT:</strong> In response to Noah's query, I looked up a reference; the relevant theorem is due to Michael Larsen and is often called "Larsen's Alternative." You can read about it in section 1 of <a href="http://muse.jhu.edu/journals/american_journal_of_mathematics/info/docs/hida_pdfs/hida18.pdf" rel="nofollow">this paper of Katz</a>. </p> <p>For the specific problem of distinguishing a subgroup from a group by means of moments, <a href="http://www.ams.org/ert/2005-009-05/S1088-4165-05-00192-5/home.html" rel="nofollow">the 2005 paper of Guralnick and Tiep</a> is relevant.</p> http://mathoverflow.net/questions/2281/use-of-n-transitivity-in-finite-group-theory/78803#78803 Answer by Noam D. Elkies for Use of n-transitivity in finite group theory Noam D. Elkies 2011-10-21T22:31:11Z 2011-10-24T01:16:50Z <p>[<em>Edited to add the final field-theoretic paragraph</em>]</p> <p>Just noticed this in a list of "Related" problems. I've seen applications to the computation of Galois groups $G$ of explicit polynomials $P \in k[X]$. See for example <a href="http://www.ams.org/journals/bull/1992-27-01/S0273-0979-1992-00270-7/S0273-0979-1992-00270-7.pdf" rel="nofollow">Abhyankar's survey paper</a></p> <blockquote> <p>[A] Abhyankar, Shreeram S., with an appendix by J.-P. Serre: Galois theory on the line in nonzero characteristic, *Bull. AMS (N.S.) <strong>27</strong> #1 (July 1992), 68–133.</p> </blockquote> <p>(Note the dedication to "Walter Feit, J-P. Serre, and e-mail"!)</p> <p>Let $N = \deg P$. If $G = S_N$ or $A_N$ then this can be proved by showing that $G$ is $n$-transitive for $n$ large enough (depending on $N$), at which point $G=A_N$ if ${\rm disc}(P\phantom.)$ is square in $F$, and $G=S_N$ if not. [This last assumes $2 \neq 0$ in $k$; there's a pseudo-discriminant criterion that works in characteristic 2.] As T. Sauvaget notes in his question, $n>5$ is always enough, but in fact $n=4$ suffices except for $N=11,12,23,24$ (Mathieu groups), and even $n=3$ brings it down to a usually-manageable list of possibilities (see [A, pages 86–87]). </p> <p>This approach can be useful because showing (say) 4-transitivity amounts to proving that a few polynomials are irreducible. Indeed $P$ itself is irreducible <strong>iff</strong> $G$ is 1-transitive; in this case, we may adjoin to $k$ a root $X_0$ of $P$, and then the point stabilizer in $G$ is the Galois group of the degree-$(N-1)$ polynomial $P_1 := P(X)/(X-X_0)$ over $k_1 := k(X_0)$, so $G$ is 2-transitive <strong>iff</strong> $P_1$ is irreducible over $k_1$, in which case we can adjoin a second root, etc.; if $P_3$ is irreducible then $G$ is 4-transitive, and you're done (except in the four Mathieu cases where you must go one or two steps further). Again see [A], in particular Section 4 "Throwing away roots" (p.69).</p> <p>This also has the following amusing consequence. Let $P\phantom.$ be an irreducible separable polynomial over $k$, and define $P_1, P_2, \ldots, P_n$ as before, as long as $P_m$ is irreducible for each <code>$m&lt;n$</code>. Then:</p> <blockquote> <p>i) If each of $P_1,P_2,P_3$ is irreducible but $P_4$ is reducible then $\deg P \phantom. \in \lbrace 6, 11, 23 \rbrace$.</p> <p>ii) If each of $P_1,P_2,P_3,P_4$ is irreducible but $P_5$ is reducible then $\deg P \phantom. \in \lbrace 7, 12, 24 \rbrace$.</p> <p>iii) Suppose $n \geq 5$. If $P_m$ is irreducible for each $m \leq n$, but $P_{n+1}$ is reducible, then $\deg P \phantom. = n + 3$.</p> <p>Moreover, each of the allowed possibilities for $\deg P\phantom.$ in (i), (ii), and (iii) occurs for suitable $k$ and $P$.</p> </blockquote> <p>This statement does not explicitly mention finite groups at all, but given Galois theory it is equivalent to the classification of 4-transitive permutation groups.</p>