zbMATH — the first resource for mathematics

Standard Majorana representations of the symmetric groups. (English) Zbl 1351.05228
Let \(G\) be a finite group generated by a \(G\)-stable set \(\mathcal{T}\) of involutions. A Majorana representation of \(G\) is a quintuple \(\mathcal{R} = (G,\mathcal{T}, W, \phi,\psi)\), where \(W\) is a finite-dimensional Euclidean space equipped with a commutative (not necessarily associative) algebra product, \(\phi: G \longrightarrow \mathrm{Aut}(W)\) is a representation of \(G\) which preserves the algebra product on \(W\) and such that \(g^\phi\) is an isometry on \(W\) for each \(g\in G\), and \(\psi: \mathcal{T}\longrightarrow W\setminus\{0\}\) is an injective map such that, for every \(g\in G\) and \(t\in \mathcal{T}\), \((t^\psi)^{g^\phi} = (g^{-1}tg)^\psi\). This tuple must satisfy a certain list of conditions (see [A. Castillo-Ramirez and A. A. Ivanov, in: Groups of exceptional type, Coxeter groups and related geometries. Invited articles based on the presentations at the international conference on “Groups and geometries”, Bangalore, India, December 10–21, 2012. New Delhi: Springer. 159–188 (2014; Zbl 1341.20010)]). The fundamental example of a Majorana representation is \(\mathcal{R}_M = (M,\mathcal{T}_M,U_M,\phi_M,\psi_M)\), where \(M\) is the monster group, \(\mathcal{T}_M\) is a set of \(2A\)-involutions of \(M\), \(U_M\) is the Conway-Norton-Griess algebra, \(\phi_M\) is the faithful representation of \(M\) on \(U_M\), and \(\psi_M: \mathcal{T}_M \longrightarrow U_M\) is the map \(t\mapsto a(t)\), where \(a(t)\) is the axial vector of \(t\).
Let \(S_n\) be the symmetric group on \(n\) letters, and let \(\mathcal{T}_n\) be the set of permutations which are products of two disjoint transpositions. A Majorana representation \(\mathcal{R} = (S_n,\mathcal{T},W,\phi,\psi)\) of \(S_n\) is said to be standard if \(\mathcal{T}_n \subseteq \mathcal{T}\). In [S. P. Norton, Contemp. Math. 45, 271–285 (1985; Zbl 0577.20013)], it was shown that \(S_n\) has a standard Majorana representation if \(n \leq 12\). In the paper under review, the authors prove \(S_n\) has a standard Majorana representation if and only if \(n\leq 12\). Moreover, for \(8\leq n \leq 12\), a decomposition, in terms of the Specht modules of \(S_n\), is given for the subspace of \(W\) spanned by the set \(\mathcal{T}_n^\psi\).

05E10 Combinatorial aspects of representation theory
05E30 Association schemes, strongly regular graphs
20C30 Representations of finite symmetric groups
20B30 Symmetric groups
17B69 Vertex operators; vertex operator algebras and related structures
05B99 Designs and configurations
Full Text: DOI
[1] Bannai, E., Ito, T.: Algebraic Combinatorics I. Association Schemes. Benjamin-Cummings Lect. Notes, Menlo Park (1984) · Zbl 0555.05019
[2] Castillo-Ramirez, A; Ivanov, AA, The axes of a Majorana representation of \(A_{12}\), in groups of exceptional type, Coxeter groups and related geometries, Springer Proc. Math. Stat., 82, 159-188, (2014) · Zbl 1341.20010
[3] Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A., Wilson, R.A.: Atlas of finite groups. Clarendon Press, Oxford (1985) · Zbl 0568.20001
[4] Curtis, C.W., Reiner, I.: Representation Theory of Finite Groups and Associative Algebras. Chelsea Publishing, American Math. Soc., Providence, RI (1962) · Zbl 0131.25601
[5] Decelle, S, The \(L_2(11)\)-subalgebra of the monster algebra, Ars Math. Contemp., 7, 83-103, (2014) · Zbl 1333.20017
[6] Franchi, C; Ivanov, AA; Mainardis, M, The \(2A\)-Majorana representations of the harada-norton group, Ars Math. Contemp., 11, 175-187, (2016) · Zbl 1394.20009
[7] Higman, D.G.: Coherent configurations, Part I: ordinary representation theory. Geom. Dedicata 4, 1-32 (1975) · Zbl 0333.05010
[8] Isaacs, I.M.: Character Theory of Finite Groups. Dover Publications Inc, New York (1994) · Zbl 0849.20004
[9] Ivanov, AA; Pasechnik, DV; Seress, Á; Shpectorov, S, Majorana representations of the symmetric group of degree \(4\), J. Algebra, 324, 2432-2463, (2010) · Zbl 1257.20011
[10] Ivanov, A.A.: The Monster Group and Majorana Involutions: Cambridge Tracts in Mathematics 176. Cambridge University Press, Cambridge (2009)
[11] Ivanov, AA; Seress, Á, Majorana representations of \(A_5\), Math. Z., 272, 269-295, (2012) · Zbl 1260.20019
[12] Ivanov, AA, On Majorana representations of \(A_6\) and \(A_7\), Comm. Math. Phys., 307, 1-16, (2011) · Zbl 1226.17023
[13] Ivanov, AA, Majorana representations of \(A_6\) involving \(3C\)-algebras, Bull. Math. Sci., 1, 365-378, (2011) · Zbl 1257.17036
[14] Ivanov, AA; Shpectorov, S, Majorana representations of \(L_3(2)\), Adv. Geom., 12, 717-738, (2012) · Zbl 1264.20016
[15] Jacobson, N.: Basic Algebra II. W.H. Freeman and Co., New York (1989) · Zbl 0694.16001
[16] James, G.D.: The representation theory of the symmetric groups. Lecture Notes in Mathematics, vol. 682, Springer, Berlin-Heidelberg (1978) · Zbl 0393.20009
[17] Lang, S.: Algebra. Graduate Texts in Mathematics 211. Springer, New York (2002)
[18] Norton, S. P.: The uniqueness of the Fischer-Griess Monster. In: McKay, J. (ed.) Finite Groups-Coming of Age (Montreal, Que., 1982). Contemp. Math. 45, pp. 271-285. AMS, Providence, RI (1985) · Zbl 1257.20011
[19] Norton, S. P.: The Monster algebra: some new formulae. In Moonshine, the Monster and Related Topics (South Hadley, Ma., 1994), Contemp. Math. 193, pp. 297-306. AMS, Providence, RI (1996) · Zbl 0847.11023
[20] Sakuma, S.: \(6\)-transposition property of \(τ \)-involutions of vertex operator algebras. Int. Math. Res. Not. (2007). doi:10.1093/imrn/rmn030 · Zbl 1138.17013
[21] Serre, J.P.: Linear Representations of Finite Groups: Graduate Texts in Mathematics 42. Springer, New York (1977)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.