Abstract
We are given a finite group H, an automorphism \(\tau \) of H of order r, a Galois extension L/K of fields of characteristic zero with cyclic Galois group \(\langle \sigma \rangle \) of order r, and an absolutely irreducible representation \(\rho :H\rightarrow \textsf {GL} (n,L)\) such that the action of \(\tau \) on the character of \(\rho \) is the same as the action of \(\sigma \). Then the following are equivalent.
\(\bullet \) \(\rho \) is equivalent to a representation \(\rho ':H\rightarrow \textsf {GL} (n,L)\) such that the action of \(\sigma \) on the entries of the matrices corresponds to the action of \(\tau \) on H, and
\(\bullet \) the induced representation \(\textsf {ind} _{H,H\rtimes \langle \tau \rangle }(\rho )\) has Schur index one; that is, it is similar to a representation over K.
As examples, we discuss a three dimensional irreducible representation of \(A_5\) over \(\mathbb {Q}[\sqrt{5}]\) and a four dimensional irreducible representation of the double cover of \(A_7\) over \(\mathbb {Q}[\sqrt{-7}]\).
Similar content being viewed by others
1 Introduction
This paper begins with the following question, suggested to the author by Richard Parker. The alternating group \(A_5\) has a three dimensional representation over the field \(\mathbb {Q}[\sqrt{5}]\) which induces up to the symmetric group \(S_5\) to give a six dimensional irreducible that can be written over \(\mathbb {Q}\). Given an involution in \(S_5\) that is not in \(A_5\), is it possible to write down a \(3\times 3\) matrix representation of \(A_5\) such that the Galois automorphism of \(\mathbb {Q}[\sqrt{5}]\) acts on matrices in the same way as the involution acts on \(A_5\) by conjugation?
More generally, we are given a finite group H, an automorphism \(\tau \) of order r, a Galois extension L/K of fields of characteristic zero with cyclic Galois group \(\textsf {Gal} (L/K)=\langle \sigma \rangle \) of order \([L:K]=r\), and an absolutely irreducible representation \(\rho :H\rightarrow \textsf {GL} (n,L)\). We assume that the action of \(\tau \) on the character of the representation \(\rho \) is the same as the action of \(\sigma \). Then the question is whether it is possible to conjugate to a representation \(\rho ':H\rightarrow \textsf {GL} (n,L)\) with the property that the Galois automorphism \(\sigma \) acts on matrices in the same way as \(\tau \) acts on H. In other words, we are asking whether the following diagram can be made to commute.
We answer this using the invariant \(\lambda (\rho )\) in the relative Brauer group
that defines the division algebra associated to the representation obtained by inducing to the semidirect product.
Theorem 1.1
Let \(\rho :H \rightarrow \textsf {GL} (n,L)\) be as above. Then there is an invariant \(\lambda (\rho )\in K^\times /N_{L/K}(L^\times )\) such that the following are equivalent.
-
(1)
\(\lambda (\rho )=1\).
-
(2)
There is a conjugate \(\rho '\) of \(\rho \) making the diagram above commute.
-
(3)
If G is the semidirect product \(H\rtimes \langle \tau \rangle \), then the induced representation \(\textsf {ind} _{H,G}(\rho )\) has Schur index equal to one; in other words, it can be written over K.
More generally, the order of \(\lambda (\rho )\) in \(K^\times /N_{L/K}(L^\times )\) is equal to the Schur index of the induced representation, and the associated division algebra is the one determined by \(\lambda (\rho )\).
The equivalence of (1) and (2) is proved in Section 3. The equivalence of (1) and (3) is more standard, see for example Turull [8], and is proved in Section 4. Combining these gives the more interesting statement of the equivalence of (2) and (3). We end with some examples. In the case of the three dimensional representations of \(A_5\), we have \(\lambda (\rho )=1\), and we write down explicit matrices for \(\rho '\), though they are not very pleasant. In the case of the four dimensional irreducible representations of \(2A_7\), we have \(\lambda (\rho )=-2\), which is not a norm from \(\mathbb {Q}[\sqrt{-7}]\), and the division ring associated to the induced representation is the quaternion algebra with symbol \((-2,-7)_\mathbb {Q}\).
2 The matrix X
Consider the composite \(\sigma \circ \rho \circ \tau ^{-1}\):
This representation is equivalent to \(\rho \), and so there exists a matrix X, well defined up to scalars in \(L^\times \), such that conjugation by X takes \(\rho \) to \(\sigma \circ \rho \circ \tau ^{-1}\). Write \(c_X\) for conjugation by X, so that \(c_X(A)=XAX^{-1}\). Then we have
By abuse of notation, we shall also write \(\sigma \) for the automorphism of \(\textsf {GL} (n,L)\) given by applying \(\sigma \) to each of its entries. Then
so we have
So equation (2.1) gives
Continuing this way, for any \(i>0\), we have
Taking \(i=r\), we have \(\sigma ^r=1\) and \(\tau ^r=1\), so
Definition 2.3
If A is an \(n\times n\) matrix over L, we define the norm of A to be
as an \(n\times n\) matrix over K.
Equation (2.2) now reads
By Schur’s lemma, it follows that the matrix \(N_{L/K}(X)\) is a scalar multiple of the identity,
Applying \(\sigma \) and rotating the terms on the left, we see that \(\lambda =\sigma (\lambda )\), so that \(\lambda \in K^\times \). If we replace X by a scalar multiple \(\mu X\), then the scalar \(\lambda \) gets multiplied by \(\sigma ^{r-1}(\mu )\cdots \sigma (\mu )\mu \), which is the norm \(N_{L/K}(\mu )\). Thus the scalar \(\lambda \) is well defined only up to norms of elements in \(L^\times \). We define it to be the \(\lambda \)-invariant of \(\rho \):
Thus \(\lambda (\rho )=1\) if and only if X can be replaced by a multiple of X to make \(N_{L/K}(X)=I\).
3 The matrix Y
The goal is to find a matrix Y conjugating \(\rho \) to a representation \(\rho '\) such that \(\sigma \circ \rho '\circ \tau ^{-1}=\rho '\). Thus we wish Y to satisfy
We rewrite this in stages:
Again applying Schur’s lemma, \(\sigma (Y)^{-1}Y\) is then forced to be a multiple of X. Since \(N_{L/K}(\sigma (Y)^{-1}Y)=I\), it follows that if there is such a Y, then \(\lambda (\rho )\) is the identity element of \(K^\times /N_{L/K}(L^\times )\). This proves one direction of Theorem 1.1. The other direction is now an immediate consequence of the version of Hilbert’s Theorem 90 given in Serre [6, Chapter X, Proposition 3]:
Theorem 3.1
Let L/K be a finite Galois extension of fields with Galois group \(\textsf {Gal} (L/K)\). Then \(H^1(\textsf {Gal} (L/K),\textsf {GL} (n,L))=0\).
Corollary 3.2
Let L/K be a Galois extension with cyclic Galois group \(\textsf {Gal} (L/K)=\langle \sigma \rangle \) of order r. If a matrix \(X\in \textsf {GL} (n,L)\) satisfies \(N_{L/K}(X)=I\), then there is a matrix Y such that \(\sigma (Y)^{-1}Y=X\).
Proof
This is the case of a cyclic Galois group of Theorem 3.1. \(\square \)
This completes the proof of the equivalence of (1) and (2) in Theorem 1.1.
Remark 3.3
In order to make effective use of the implication (1) \(\Rightarrow \) (2) of Theorem 1.1, given X with \(N_{L/K}(X)=I\), it is necessary to be able to construct a matrix Y such that \(\sigma (Y)^{-1}Y=X\). The practical implementation of this is discussed in closely related contexts in Fieker [1], Glasby et al. [2,3,4].
4 The induced representation
Let \(G=H\rtimes \langle \tau \rangle \), so that for \(h\in H\), we have \(\tau (h)=\tau h\tau ^{-1}\) in G. Then the induced representation \(\textsf {ind} _H^G(\rho )\) is an LG-module with character values in K, but cannot necessarily be written as an extension to L of a KG-module. So we restrict the coefficients to K and examine the endomorphism ring.
Lemma 4.1
\(\textsf {End} _{KG}(\textsf {ind} _{H,G}(\rho |_K))\) has dimension \(r^2\) over K.
Proof The representation \(\rho |_K\) is an irreducible KH-module, whose extension to L decomposes as the sum of the Galois conjugates of \(\rho \), so \(\textsf {End} _{KH}(\rho |_K)\) is r dimensional over K. For the induced representation \(\textsf {ind} _{H,G}(\rho |_K)=\textsf {ind} _{H,G}(\rho )|_K\), as vector spaces we then have
\(\square \)
Proposition 4.2
The algebra \(\textsf {End} _{KG}(\textsf {ind} _{H,G}(\rho |_K))\) is a crossed product algebra, central simple over K, with generators \(m_\lambda \) for \(\lambda \in L\) and an element \(\xi \), satisfying
Proof
We can write the representation \(\textsf {ind} _{H,G}(\rho |_K)\) in terms of matrices as follows.
It is easy to check that the following are endomorphisms of this representation.
with \(\lambda \in L\) and X as in Section 2. Since these generate an algebra of dimension \(r^2\) over K, by Lemma 4.1, they generate the algebra \(\textsf {End} _{KG}(\textsf {ind} _{H,G}(\rho |_K))\). The given relations are easy to check, and present an algebra which is easy to see has dimension at most \(r^2\), and therefore no further relations are necessary. \(\square \)
Corollary 4.3
The Schur index of the induced representation \(\textsf {ind} _{H,G}(\rho )\) is equal to the order of \(\lambda (\rho )\) as an element of \(K^\times /N_{L/K}(L^\times )\). In particular, the Schur index is one if and only if \(\lambda (\rho )=1\) as an element of \(K^\times /N_{L/K}(L^\times )\).
Proof
This follows from the structure of the central simple algebra \(\textsf {End} _{KG}(\rho |_K)\) given in Proposition 4.2, using the theory of cyclic crossed product algebras, as developed for example in Pierce [5, Section 15.1], particularly Proposition b of that section. \(\square \)
This completes the proof of the equivalence of (1) and (3) in Theorem 1.1. In particular, it shows that \(\lambda (\rho )\) can only involve primes dividing the order of G.
5 Examples
Our first example is a three dimensional representation of \(A_5\). There are two algebraically conjugate three dimensional irreducible representations of \(A_5\) over \(\mathbb {Q}[\sqrt{5}]\) swapped by an outer automorphism of \(A_5\), and giving a six dimensional representation of the symmetric group \(S_5\) over \(\mathbb {Q}\).
Setting \(\alpha =\frac{1+\sqrt{5}}{2}\), \({\bar{\alpha }}=\frac{1-\sqrt{5}}{2}\), we can write the action of the generators on one of these three dimensional representations as follows.
Taking this for \(\rho \), we find a matrix X conjugating this to \(\sigma \circ \rho \circ \tau ^{-1}\) where \(\sigma \) is the field automorphism and \(\tau \) is conjugation by (12). Using the fact that if \(a=(12)(34)\) and \(b=(153)\), then \(ab^2abab^2=(253)\), we find that
We compute that \(\sigma (X).X\) is minus the identity. Now \(-1\) is in the image of \(N_{\mathbb {Q}[\sqrt{5}],\mathbb {Q}}\), namely we have \((2-\sqrt{5})(2+\sqrt{5})=-1\). So we replace X by \((2-\sqrt{5})X\) to achieve \(\sigma (X).X=I\). Having done this, by Hilbert 90, there exists Y with \(\sigma (Y)^{-1}.Y=X\). Such a Y conjugates \(\rho \) to the desired form. For example, we can take
Thus we end up with the representation
Denoting these matrices by a, b, and c, it is routine to check that \(a^2=b^3=(ab)^5=1\), \(a^2=c^3=(ac)^5=1\), and \(c=\sigma (b)=ab^2abab^2\).
More generally, if H is an alternating group \(A_n\) and G is the corresponding symmetric group \(S_n\), then all irreducible representations of G are rational and so the invariant \(\lambda (\rho )\) is equal to one for any irreducible character of H that is not rational. So an appropriate matrix Y may always be found in this case.
Our second example is one with \(\lambda (\rho )\ne 1\). Let H be the group \(2A_7\), namely a non-trivial central extension of \(A_7\) by a cyclic group of order two. Let \(\tau \) be an automorphism of H of order two, lifting the action of a transposition in \(S_7\) on H, and let G be the semidirect product \(H\rtimes \langle \tau \rangle \). Then H has two Galois conjugate irreducible representations of dimension four over \(\mathbb {Q}[\sqrt{-7}]\). Let \(\rho \) be one of them. The induced representation is eight dimensional over \(\mathbb {Q}[\sqrt{-7}]\). Restricting coefficients to \(\mathbb {Q}\) produces a 16 dimensional rational representation whose endomorphism algebra E is a quaternion algebra. Thus the induced representation can be written as a four dimensional representation over \(E^{\textsf{op}}\cong E\). This endomorphism algebra was computed by Turull [7] in general for the double covers of symmetric groups. In this case, by Corollary 5.7 of that paper, the algebra E is generated over \(\mathbb {Q}\) by elements u and v satisfying \(u^2=-2\), \(v^2=-7\), and \(uv=-vu\). Thus the invariant \(\lambda (\rho )\) is equal to \(-2\) as an element of \(\mathbb {Q}^\times /N_{\mathbb {Q}[\sqrt{-7}],\mathbb {Q}}(\mathbb {Q}[\sqrt{-7}]^\times )\) in this case.
References
Fieker, C.: Minimizing representations over number fields II. J. Algebra 322(3), 752–765 (2009)
Glasby, S.P.: Writing representations over proper division subrings. J. Algebra 319(1), 77–92 (2008)
Glasby, S.P., Howlett, R.B.: Writing representations over minimal fields. Comm. Algebra 25(6), 1703–1711 (1997)
Glasby, S.P., Leedham-Green, C.R., O’Brien, E.A.: Writing projective representations over subfields. J. Algebra 295(1), 51–61 (2006)
Pierce, R.S.: Associative Algebras. Graduate Texts in Mathematics, vol. 88. Springer, Berlin/New York (1982)
Serre, J.-P.: Local Fields. Graduate Texts in Mathematics, vol. 67. Springer, Berlin/New York (1979)
Turull, A.: The Schur index of projective characters of symmetric and alternating groups. Ann. of Math. (2) 135, 91–124 (1992)
Turull, A.: Clifford theory for cyclic quotient groups. J. Algebra 227, 133–158 (2000)
Acknowledgements
I would like to thank Richard Parker for suggesting this problem and the examples, and Alexandre Turull and Gabriele Nebe for some helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Benson, D.J. Matrices for finite group representations that respect Galois automorphisms. Arch. Math. 122, 377–383 (2024). https://doi.org/10.1007/s00013-023-01963-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01963-x