Frobenius-Schur indicators for subgroups and the Drinfel’d double of Weyl groups

Guralnick, Robert; Montgomery, Susan

doi:10.1090/S0002-9947-09-04659-5

Frobenius-Schur indicators for subgroups and the Drinfel’d double of Weyl groups
HTML articles powered by AMS MathViewer

by Robert Guralnick and Susan Montgomery PDF

Trans. Amer. Math. Soc. 361 (2009), 3611-3632 Request permission

Abstract:

If $G$ is any finite group and $k$ is a field, there is a natural construction of a Hopf algebra over $k$ associated to $G$, the Drinfel’d double $D(G)$. We prove that if $G$ is any finite real reflection group, with Drinfel’d double $D(G)$ over an algebraically closed field $k$ of characteristic not $2$, then every simple $D(G)$-module has Frobenius-Schur indicator +1. This generalizes the classical results for modules over the group itself. We also prove some new results about Weyl groups. In particular, we prove that any abelian subgroup is inverted by some involution. Also, if $E$ is any elementary abelian $2$-subgroup of the Weyl group $W$, then all representations of $C_W(E)$ are defined over $\mathbb {Q}$.

References

Peter Bantay, The Frobenius-Schur indicator in conformal field theory, Phys. Lett. B 394 (1997), no. 1-2, 87–88. MR 1436801, DOI 10.1016/S0370-2693(96)01662-0
Peter Bantay, Frobenius-Schur indicators, the Klein-bottle amplitude, and the principle of orbifold covariance, Phys. Lett. B 488 (2000), no. 2, 207–210. MR 1782167, DOI 10.1016/S0370-2693(00)00802-9
T. Breuer, in preparation.
R. Dijkgraaf, V. Pasquier, and P. Roche, Quasi Hopf algebras, group cohomology and orbifold models, Nuclear Phys. B Proc. Suppl. 18B (1990), 60–72 (1991). Recent advances in field theory (Annecy-le-Vieux, 1990). MR 1128130, DOI 10.1016/0920-5632(91)90123-V
Walter Feit, The representation theory of finite groups, North-Holland Mathematical Library, vol. 25, North-Holland Publishing Co., Amsterdam-New York, 1982. MR 661045
J. Fuchs, A. Ch. Ganchev, K. Szlachányi, and P. Vecsernyés, $S_4$ symmetry of $6j$ symbols and Frobenius-Schur indicators in rigid monoidal $C^*$ categories, J. Math. Phys. 40 (1999), no. 1, 408–426. MR 1657800, DOI 10.1063/1.532778
D. Goldstein and R. Guralnick, Rationality of certain subgroups of Weyl groups, preprint.
R. Gow, Real representations of the finite orthogonal and symplectic groups of odd characteristic, J. Algebra 96 (1985), no. 1, 249–274. MR 808851, DOI 10.1016/0021-8693(85)90049-3
R. Gow, Properties of the characters of the finite general linear group related to the transpose-inverse involution, Proc. London Math. Soc. (3) 47 (1983), no. 3, 493–506. MR 716800, DOI 10.1112/plms/s3-47.3.493
K. S. Wang and L. C. Grove, Realizability of representations of finite groups, J. Pure Appl. Algebra 54 (1988), no. 2-3, 299–310. MR 963550, DOI 10.1016/0022-4049(88)90036-9
James E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, Cambridge, 1990. MR 1066460, DOI 10.1017/CBO9780511623646
A. Jedwab and S. Montgomery, Representations of some Hopf algebras associated to the symmetric groups, preprint.
Yevgenia Kashina, On semisimple Hopf algebras of dimension $2^m$, Algebr. Represent. Theory 6 (2003), no. 4, 393–425. MR 2020263, DOI 10.1023/B:ALGE.0000003540.74953.97
Y. Kashina, G. Mason, and S. Montgomery, Computing the Frobenius-Schur indicator for abelian extensions of Hopf algebras, J. Algebra 251 (2002), no. 2, 888–913. MR 1919158, DOI 10.1006/jabr.2001.9129
Yevgenia Kashina, Yorck Sommerhäuser, and Yongchang Zhu, Self-dual modules of semisimple Hopf algebras, J. Algebra 257 (2002), no. 1, 88–96. MR 1942273, DOI 10.1016/S0021-8693(02)00034-0
Yevgenia Kashina, Yorck Sommerhäuser, and Yongchang Zhu, On higher Frobenius-Schur indicators, Mem. Amer. Math. Soc. 181 (2006), no. 855, viii+65. MR 2213320, DOI 10.1090/memo/0855
Richard G. Larson and David E. Radford, Semisimple cosemisimple Hopf algebras, Amer. J. Math. 110 (1988), no. 1, 187–195. MR 926744, DOI 10.2307/2374545
V. Linchenko and S. Montgomery, A Frobenius-Schur theorem for Hopf algebras, Algebr. Represent. Theory 3 (2000), no. 4, 347–355. Special issue dedicated to Klaus Roggenkamp on the occasion of his 60th birthday. MR 1808131, DOI 10.1023/A:1009949909889
Geoffrey Mason, The quantum double of a finite group and its role in conformal field theory, Groups ’93 Galway/St. Andrews, Vol. 2, London Math. Soc. Lecture Note Ser., vol. 212, Cambridge Univ. Press, Cambridge, 1995, pp. 405–417. MR 1337285, DOI 10.1017/CBO9780511629297.009
Geoffrey Mason and Siu-Hung Ng, Central invariants and Frobenius-Schur indicators for semisimple quasi-Hopf algebras, Adv. Math. 190 (2005), no. 1, 161–195. MR 2104908, DOI 10.1016/j.aim.2003.12.004
Akira Masuoka, Faithfully flat forms and cohomology of Hopf algebra extensions, Comm. Algebra 25 (1997), no. 4, 1169–1197. MR 1437667, DOI 10.1080/00927879708825915
S. Montgomery, Representation theory of semisimple Hopf algebras, Algebra—representation theory (Constanta, 2000) NATO Sci. Ser. II Math. Phys. Chem., vol. 28, Kluwer Acad. Publ., Dordrecht, 2001, pp. 189–218. MR 1858037, DOI 10.1007/978-94-010-0814-3_{9}
Siu-Hung Ng and Peter Schauenburg, Central invariants and higher indicators for semisimple quasi-Hopf algebras, Trans. Amer. Math. Soc. 360 (2008), no. 4, 1839–1860. MR 2366965, DOI 10.1090/S0002-9947-07-04276-6
Siu-Hung Ng and Peter Schauenburg, Frobenius-Schur indicators and exponents of spherical categories, Adv. Math. 211 (2007), no. 1, 34–71. MR 2313527, DOI 10.1016/j.aim.2006.07.017
S-H. Ng and P. Schauenburg, Higher Frobenius-Schur indicators for pivotal categories, AMS Contemporary Math., to appear.
Sonia Natale, Frobenius-Schur indicators for a class of fusion categories, Pacific J. Math. 221 (2005), no. 2, 353–377. MR 2196640, DOI 10.2140/pjm.2005.221.353
Peter Schauenburg, On the Frobenius-Schur indicators for quasi-Hopf algebras, J. Algebra 282 (2004), no. 1, 129–139. MR 2095575, DOI 10.1016/j.jalgebra.2004.08.015
T. A. Springer, Regular elements of finite reflection groups, Invent. Math. 25 (1974), 159–198. MR 354894, DOI 10.1007/BF01390173
J. G. Thompson, Bilinear forms in characteristic $p$ and the Frobenius-Schur indicator, Lecture Notes Math. 1185 (1986), pp. 221-230.
Pham Huu Tiep and A. E. Zalesski, Real conjugacy classes in algebraic groups and finite groups of Lie type, J. Group Theory 8 (2005), no. 3, 291–315. MR 2137972, DOI 10.1515/jgth.2005.8.3.291
S. J. Witherspoon, The representation ring of the quantum double of a finite group, J. Algebra 179 (1996), no. 1, 305–329. MR 1367852, DOI 10.1006/jabr.1996.0014