Difference between revisions of "Brauer height-zero conjecture"
(Added significant recent progress on conjecture) |
(reference to simple finite group) |
||
Line 7: | Line 7: | ||
Every block contains an irreducible character of height zero. Brauer's height-zero conjecture is the assertion that every irreducible character in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045012.png" /> has height zero if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045013.png" /> is Abelian (cf. also [[Abelian group|Abelian group]]). | Every block contains an irreducible character of height zero. Brauer's height-zero conjecture is the assertion that every irreducible character in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045012.png" /> has height zero if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045013.png" /> is Abelian (cf. also [[Abelian group|Abelian group]]). | ||
− | That every irreducible character in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045012.png" /> has height zero when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045013.png" /> is Abelian was proved for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045014.png" />-solvable groups (cf. also [[Pi-solvable group|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045015.png" />-solvable group]]) by P. Fong (see [[#References|[a2]]], X.4). The converse for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045014.png" />-solvable groups was proved by D. Gluck and T. Wolf [[#References|[a3]]], using the [[ | + | That every irreducible character in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045012.png" /> has height zero when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045013.png" /> is Abelian was proved for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045014.png" />-solvable groups (cf. also [[Pi-solvable group|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045015.png" />-solvable group]]) by P. Fong (see [[#References|[a2]]], X.4). The converse for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045014.png" />-solvable groups was proved by D. Gluck and T. Wolf [[#References|[a3]]], using the [[Simple finite group|classification of finite simple groups]]. The "if" direction has been reduced to the consideration of quasi-simple groups by T.R. Berger and R. Knörr [[#References|[a1]]]. The task of checking this half of the conjecture for the quasisimple groups was completed in 2011 by R. Kessar and G. Malle [[#References|[a4]]], hence completing the proof of the "if" direction. The evidence for the "only if" direction is more slender. |
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> T.R. Berger, R. Knörr, "On Brauer's height <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045016.png" /> conjecture" ''Nagoya Math. J.'' , '''109''' (1988) pp. 109–116</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> W. Feit, "The representation theory of finite groups" , North-Holland (1982)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> D. Gluck, T.R. Wolf, "Brauer's height conjecture for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045017.png" />-solvable groups" ''Trans. Amer. Math. Soc.'' , '''282''' : 1 (1984) pp. 137–152</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Kessar, G. Malle, "Quasi-isolated blocks and Brauer's height conjecture" arXiv:1112.2642</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> T.R. Berger, R. Knörr, "On Brauer's height <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045016.png" /> conjecture" ''Nagoya Math. J.'' , '''109''' (1988) pp. 109–116</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> W. Feit, "The representation theory of finite groups" , North-Holland (1982)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> D. Gluck, T.R. Wolf, "Brauer's height conjecture for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120450/b12045017.png" />-solvable groups" ''Trans. Amer. Math. Soc.'' , '''282''' : 1 (1984) pp. 137–152</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Kessar, G. Malle, "Quasi-isolated blocks and Brauer's height conjecture" arXiv:1112.2642</TD></TR></table> |
Revision as of 13:14, 13 April 2012
For notation and definitions, see also Brauer first main theorem.
Let be an irreducible character in a block of a group with defect group (cf. also Defect group of a block). Let be the discrete valuation defined on the integers with whenever is prime to . By a theorem of Brauer, . The height of is defined to be
Every block contains an irreducible character of height zero. Brauer's height-zero conjecture is the assertion that every irreducible character in has height zero if and only if is Abelian (cf. also Abelian group).
That every irreducible character in has height zero when is Abelian was proved for -solvable groups (cf. also -solvable group) by P. Fong (see [a2], X.4). The converse for -solvable groups was proved by D. Gluck and T. Wolf [a3], using the classification of finite simple groups. The "if" direction has been reduced to the consideration of quasi-simple groups by T.R. Berger and R. Knörr [a1]. The task of checking this half of the conjecture for the quasisimple groups was completed in 2011 by R. Kessar and G. Malle [a4], hence completing the proof of the "if" direction. The evidence for the "only if" direction is more slender.
References
[a1] | T.R. Berger, R. Knörr, "On Brauer's height conjecture" Nagoya Math. J. , 109 (1988) pp. 109–116 |
[a2] | W. Feit, "The representation theory of finite groups" , North-Holland (1982) |
[a3] | D. Gluck, T.R. Wolf, "Brauer's height conjecture for -solvable groups" Trans. Amer. Math. Soc. , 282 : 1 (1984) pp. 137–152 |
[a4] | R. Kessar, G. Malle, "Quasi-isolated blocks and Brauer's height conjecture" arXiv:1112.2642 |
Brauer height-zero conjecture. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Brauer_height-zero_conjecture&oldid=24286