arXiv:1511.06327v1 [math-ph] 19 Nov 2015

Isotypical Components of Rational Functions
Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
Abstract
A finite group of Möbius transformations acts on the field of rational functions, which
in turn decomposes into isotypical components. In spite of the modest group sizes,
it is a substantial computational problem to obtain an explicit description of these
components by straightforward methods such as averaging. In this paper we find various properties of the isotypical components of rational functions without the need
for computations. In particular, we find that each summand is freely generated as a
module over the automorphic functions, and the number of generators is the square of
the dimension of the associated irreducible representation. The determinant of these
generators is expressed in the classical (Kleinian) ground forms.
1. Introduction
Invariant vectors are considered in many branches of mathematics. They form a natural object of
study in representation theory and invariant theory, and they received particular attention in the
theory of dynamical systems, where ‘equivariant vector’ is the usual terminology (e.g. equivariant
bifurcations, cf. [GSS88, GS02, GS85, DR09, ADM08]), as well as in mathematical physics, where
rational maps can be used to understand the structure of solutions of the Skyrme model [HMS98],
known as Skyrmions (e.g. [MS04] and references therein).
Recently, the theory of Automorphic Lie Algebras [LM05, Lom04], related to integrable systems, has been a motivator to study invariant vectors over rational functions in depth. In this
paper we consider a finite group G < Aut(P1 ) of Möbius transformations (hence G is isomorphic
either to a cyclic group Z/N , a dihedral group DN , the tetrahedral group T, the octahedral group
O or the icosahedral group Y) and an orbit Γ ⊂ P1 of G and study the isotypical components
M(P1 )χΓ ,

χ ∈ Irr(G)

of the space of meromorphic (i.e. rational) functions M(P1 ) whose poles are contained in Γ. Here
we write Irr(G) for the set of irreducible characters of G. There is a one-to-one correspondence
between direct summands in M(P1 )Γ isomorphic to a representation Vχ with character χ, and
G
invariant vectors Vχ ⊗ M(P1 )Γ . Each invariant vector is the trace of the basis of Vχ with a
χ-basis in M(P1 )Γ [SS77, KLS15b]. Thus the study of isotypical components M(P1 )χΓ is identical
G
to the study of invariant vectors Vχ ⊗ M(P1 )Γ .
Obtaining explicit descriptions of invariant vectors as a set of generators over a ring of invariant functions is usually a substantial computational problem, and various methods have been
developed to carry out such computations effectively [Gat00]. This paper provides information
2010 Mathematics Subject Classification 13A50 (Actions of groups on commutative rings; invariant theory).
Keywords: Invariant theory, equivariant vectors.
The second author gratefully acknowledges financial support from EPSRC (EP/E044646/1 and EP/E044646/2)
and from NWO VENI (016.073.026).

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
on all invariant vectors circumventing the need for computing. The three main results are the
determination of the evaluated invariant vectors (Proposition 3.2), the structure of invariant
vectors as a module over the ring of automorphic functions (Theorem 5.8) and a formula for the
determinant of the generating invariant vectors (Theorem 6.5). These results hold for all finite
groups acting on the rational functions by precomposition.
The subjects of this paper are classical, and their, currently main, application is to the
modern theory of Automorphic Lie Algebras. Indeed, the results of this paper explain many
of the interesting algebraic properties of Automorphic Lie Algebras that were discovered for
particular cases in [LM04, LM05, LS10, Bur10, KLS14] and prove that they hold in far greater
generality. For example, this paper proves the fact that Automorphic Lie Algebras allow a basis
similar to the complex base Lie algebra, and it provides the numbers denoted by κ which turned
out to be valuable invariants in [KLS15b]. This paper thus provides an aid in the classification
of Automorphic Lie Algebras. Moreover, it links the theory of Automorphic Lie Algebras to a
cohomology theory on root systems [Kni14, KLS15a]. Besides that, the results presented here
could be relevant in any field where there is an interest in the classification of rational equivariant
vectors, such as the field of equivariant bifurcations as well as in the search for invariant rational
maps in physics.
2. Polyhedral groups
A polyhedral group G is a finite group of rotations in 3-dimensional space, equivalently a finite
group of Möbius transformations λ 7→ aλ+b
cλ+d , i.e. automorphisms of the complex projective line.
These groups are well studied and described, cf. [Dol09, Kle56, Kle93, Tot02]. Consider the action
of G on P1 . Let Ω ∋ i be an index set for the G-orbits Γi of elements with nontrivial stabiliser
groups, exceptional orbits hereafter. Moreover, let di = |Γi | be the size of such an orbit and νi
the order of such a stabiliser subgroup. In particular
di νi = |G|,

i ∈ Ω.

The classification of finite subgroups of Aut(P1 ) is obtained through the formula


 X
1
1
2 1−
.
=
1−
|G|
νi

(1)

i∈Ω

First of all it follows that there are either 2 or 3 exceptional orbits. If |Ω| = 2 one finds the cyclic
groups and if |Ω| = 3 one obtains the orientation preserving symmetry groups of the Platonic
solids and regular polygons embedded in R3 . Table 1 contains various relevant numbers for all
polyhedral groups, such as their exponent kGk = min{n ∈ N | g n = 1, ∀g ∈ G} and the order of
their Schur multiplier |M (G)|.
Most attention will go to the non-cyclic groups, the groups with three exceptional orbits. For
convenience we fix in this situation
Ω = {a, b, c},

choose νa > νb > νc and use the presentation

G = hga , gb , gc | ga νa = gb νb = gc νc = ga gb gc = 1i.
Notice the Euler characteristic of the sphere, da + db − dc = 2.
2

(2)

Isotypical Components of Rational Functions
Table 1. Groups G, orders, exponent kGk, Schur multiplier M (G) and abelianisation AG.
G
Z/N
DN =2M −1
DN =2M
T
O
Y

|Ω|
2
3
3
3
3
3

(νa , νb (, νc ))
(N, N )
(N, 2, 2)
(N, 2, 2)
(3, 3, 2)
(4, 3, 2)
(5, 3, 2)

(da , db (, dc ))
(1, 1)
(2, N, N )
(2, N, N )
(4, 4, 6)
(6, 8, 12)
(12, 20, 30)

|G|
N
2N
2N
12
24
60

kGk
N
2N
N
6
12
30

|M (G)|
1
1
2
2
2
2

AG
Z/N
Z/2
Z/2 × Z/2
Z/3
Z/2
1

Representations of polyhedral groups have the following curious property. The special case
of the icosahedral group is discussed by Lusztig [Lus03] where it is attributed to Serre.
Lemma 2.1. If G is a polyhedral group and V a G-module, then
X
(|Ω| − 2) dim V + 2 dim V G =
dim V hgi i
i∈Ω

where gi is a generator of a stabilizer subgroup at an exceptional orbit Γi .
We refer to [Kni14] for a proof. This result will mostly be used for nontrivial irreducible
representations V of non-cyclic polyhedral groups. In that case the formula simplifies to
X
dim V =
dim V hgi i
i∈Ω

and we find the direct sum of vector spaces (not of G-modules) V = V hga i ⊕ V hgb i ⊕ V hgc i .
3. Evaluations
In this section we present a simple expression of the vector space obtained by evaluating all
invariant meromorphic vectors. In particular, this space can be found without any knowledge of
the invariant vectors. We use the following observation.
Lemma 3.1. Let CG denote the regular representation of a finite group G. If H < G is a subgroup
then
dim CGH = [G : H]
where [G : H] =

|G|
|H|

is the index of H in G.

P
Proof. Denote an arbitrary vector v ∈ CG by v =
g∈G vg g, where vg ∈ C. Invariance of v
under h ∈ H means
X
X
X
X
vg g =
vg h−1 g =
vhg g.
vg g = h−1
g∈G

g∈G

g∈G

g∈G

In other words, v ∈ CGH if and only if vhg = vg for all g ∈ G and h ∈ H, i.e. g 7→ vg is constant
|G|
on cosets of H, leaving a vector space of dimension |H|
.
Applied to a polyhedral group and a stabiliser subgroup of its action on P1 , Lemma 3.1 reads
dim CGhgi i = di .

3

(3)

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
Let S be a Riemann surface, Γ ⊂ S a subset and λ0 ∈ S \ Γ a point. We define the evaluation
map
ελ0 : V ⊗ M(S)Γ → V

by linear extension of ελ0 : v ⊗ f 7→ f (λ0 )v.

Proposition 3.2. Suppose a finite group G acts on a vector space V and on the complex
projective line P1 . Let Γ be a G-orbit in P1 . The space of equivariant V -valued rational maps
G
V ⊗ M(P1 )Γ can be evaluated at a point λ0 in its holomorphic domain P1 \ Γ resulting in
G
ελ0 V ⊗ M(P1 )Γ = V Gλ0
where Gλ0 = {g ∈ G | gλ0 = λ0 } is the stabiliser subgroup.

Proof. Let S be a Riemann surface and G < Aut(S) a finite group. By definition of invariance,
ελ0 (V ⊗ M(S)Γ )G ⊂ V Gλ0 .

(4)

Lemma 3.1 gives information on the right hand side of this inclusion:

 Gλ
0
X
M
Gλ 0
χ(1) dim Vχ = dim 
χ(1)Vχ 
= dim(CG)Gλ0 = [G : Gλ0 ].
χ∈Irr(G)

χ∈Irr(G)

For brevity we define

Now it is sufficient to show that

dλ0 = [G : Gλ0 ] = |Gλ0 |.

dim ελ0 (CG ⊗ M(S)Γ )G =

X

χ∈Irr(G)

χ(1) dim ελ0 (Vχ ⊗ M(S)Γ )G > dλ0

so that the dimension of the vector space on the left hand side of (4) is greater than or equal to
the dimension of the right hand side.
P
A |G|-tuple of functions fg ∈ M(S)Γ defines a vector g∈G fg g ∈ CG ⊗ M(S)Γ , which is inP
P
P
P
variant if and only if g∈G fg (λ)g = h g∈G fg (λ)g = g∈G fg (h−1 λ)hg = g∈G fh−1 g (h−1 λ)g,
i.e.
fg (λ) = fhg (hλ),

∀g, h ∈ G, ∀λ ∈ S.

In particular, a tuple of rational functions (fg | g ∈ G) related to an invariant is defined by one
function, e.g. f1 , since fg (λ) = fg−1 g (g−1 λ) = f1 (g−1 λ). Conversely, any function f1 ∈ M(S)Γ
gives rise to an invariant in CG ⊗ M(S)Γ .
Consider a left transversal {h1 , . . . , hdλ0 } ⊂ G of Gλ0 . That is, a set of representatives of left
Gλ0 -cosets. We have a disjoint union
dλ0

G=

G

hi Gλ0 .

i=1
−1
Define dλ0 vectors vi ∈ C|G| by vi = (f (h−1
i g λ0 ) | g ∈ G) where f ∈ M(S)Γ . Then vi ∈
G
ελ0 (CG ⊗ M(S)Γ ) . We are done if we can show that these vectors are linearly independent
for at least one choice of f . Here we might as well restrict our attention to the square ma−1 −1
−1 and g ′−1 are in the same coset h G
trix (f (h−1
j λ0 then f (hi g λ0 ) =
i hj λ0 )), because if g
′−1 λ ) = f (h−1 h λ ).
f (h−1
0
j 0
i g
i

4

Isotypical Components of Rational Functions
First consider the matrix (h−1
i hj λ0 ). Clearly the point λ0 appears at each diagonal entry.
−1
Moreover, we can see that a row in this matrix consists of distinct points: if h−1
i hj λ0 = hi hj ′ λ0
′
then h−1
j hj ′ ∈ Gλ0 , i.e. hj ′ ∈ hj Gλ0 and therefore hj = hj ′ , i.e. j = j . Hence each row is a
permutation of the points {h1 λ0 = λ0 , h2 λ0 = c2 , . . . , hdλ0 λ0 = cdλ0 }.

The proof follows by showing existence of a function f ∈ M(S)Γ such that the determinant
−1
det(f (h−1
i hj λ0 )) 6= 0. For example, f (λ0 ) = 1 and f (ci ) = 0 for 2 6 i 6 dλ0 , so that (f (hi hj λ0 ))
1
is the identity matrix. In case S = P it is not a problem to find such a function f , since
M(P1 ) = C(λ) is the field of rational functions. Indeed, one can take
Qdλ0
(λ − ci )
f (λ) = i=2 d −1
(λ − γ) λ0
for some γ ∈ Γ.

4. Linearisation
In this section we make the identification of the Riemann sphere with the projective line and
their respective function fields explicit (in a standard manner, see e.g. [Eis95, Mir95]). This will
enable us to exploit the degree information of forms in the remainder of this paper.
Meromorphic functions on the projective line M(P1 ) will be identified with the field of quotients of forms in two variables of the same degree (forms are multivariate polynomials where
any two terms have identical degree: the degree of the form), and with rational functions C(λ)
in one variable. We write elements of the projective line as
λ=

X
∈ P1
Y

where (X, Y ) ∈ C2 \ (0, 0). A polynomial p(λ) of degree d defines a form P (X, Y ) of the same
degree by
 
X
= Y −d P (X, Y ).
(5)
p
Y
In particular p(λ) = P (λ, 1). The other way around, a form P of degree d defines a polynomial
p(λ) by (5) of degree d minus the number of factors Y in P .
A rational function in λ becomes
p(λ)
Y − deg p P (X, Y )
Y deg q P (X, Y )
= − deg q
= deg p
q(λ)
Y
Q(X, Y )
Y
Q(X, Y )
a quotient of two forms (automatically of the same degree). Also, a quotient of two forms of
identical degree d is a rational function of λ,
P (X, Y )
Y −d P (X, Y )
p(λ)
= −d
=
.
Q(X, Y )
Y Q(X, Y )
q(λ)
Now we
the polyhedral groups back in the picture. A linear action of G on P1 =
 bring
∗
\ {0} /C is obtained by a projective representation ρ : G → PGL(C2 ). Such representations
are induced by linear representations ρ : H → GL(C2 ) of certain central extensions H of G. In
this paper we prefer to work with the binary polyhedral groups H = G♭ , defined as the preimage
of a polyhedral group G ⊂ PSL(C2 ) under the quotient map SL(C2 ) → PSL(C2 ). All projective
representations of G are induced by linear representations of G♭ . Moreover, the binary polyhedral
C2

5

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
groups allow the presentation
G♭ = hga , gb , gc | ga νa = gb νb = gc νc = ga gb gc i
where the numbers νi correspond to the associated polyhedral group G. We choose to use the same
symbols gi for generators of different groups, G and G♭ . The context should prevent confusion.
The transition process from forms to rational functions will be called homogenisation (even
though this term is overused and there is some ambiguity). A form in two variables is homogenised
if it is divided by a form of the same degree, to obtain an object of degree 0, or a rational function
of X
Y = λ. Equation (5) is an example of this process. The denominator determines the location
of the poles on the Riemann sphere, e.g. ∞ in the case of (5).

Following [KLS14] we define two operators which formalise this process, and identify an
intermediate position, which will be our preferred place to work. Concretely, we define the
prehomogenisation operator P and the homogenisation operator H, which will take us from
♭
(V ⊗ C[X, Y ])G to (V ⊗ M(P1 )Γ )G in two steps. By taking just the first step, one can study
(V ⊗ M(P1 )Γ )G while holding on to the degree information of the forms in C[X, Y ].

Definition 4.1 Prehomogenisation. Let U be a vector spaces and C[U ] the ring of polynomials
with arguments in U . Define Pd : C[U ] → C[U ] to be the linear projection operator acting on
forms P by

P if d | deg P ,
Pd P =
0 otherwise.
Elements of V are considered forms of degree zero in the tensor product V ⊗ C[U ] with a
polynomial ring. The prehomogenisation operator is thus extended Pd : V ⊗ C[U ] → V ⊗ C[U ]
sending a basis element v ⊗ P to Pd (v ⊗ P ) = Pd v ⊗ Pd P = v ⊗ Pd P.

The prehomogenisation operator does not respect products, it is not a morphism of modules.
Indeed, one can take two forms such that their degrees are no multiples of d but the sum of
their degrees is, so that both forms are annihilated by Pd , but their product is not. This is the
problematic part of the transition between forms and rational functions. But now that this is
captured in the prehomogenisation procedure, we can define a second map that behaves well
with respect to products.
Definition 4.2 Homogenisation.
Let Γ ⊂ P1 be a finite subset and FΓ ⊂ C[X, Y ] the form of
Q
degree |Γ| related to f (λ) = λ0 ∈Γ (λ − λ0 ) through (5). If |Γ| | d we define
HΓ : Pd C[X, Y ] → M(P1 )Γ ,

HΓ P =

P
FΓr

where r|Γ| = deg P .
The homogenisation map generalises to HΓ : V ⊗ Pd C[X, Y ] → V ⊗ M(P1 )Γ in the same
manner as the prehomogenisation map by acting trivially on V .
Definition 4.3 Ground form [Dol09, Kle56, Kle93, Tot02]. Let G < Aut(P1 ) and Γ ∈ P1/G .
Define fΓ as the polynomial with divisor Γ and let FΓ ∈ C[X, Y ] be related to fΓ through (5).
Define νΓ = |G||Γ|−1 . In the case of an exceptional orbit Γ = Γi we use a short hand notation,
fi = fΓi , Fi = FΓi and νi = νΓi , and Fi is called a ground form. In general the ground forms are
relative invariants (there is a homomorphism χ : G♭ → C∗ such that g · Fi = χ(g)Fi ) and fΓνΓ and
6

Isotypical Components of Rational Functions
FΓνΓ are invariants of G and G♭ respectively. Of special interest are the automorphic functions
Ii =

fiνi
∈ M(P1 )G
Γ
fΓνΓ

with divisor νi Γi − νΓ Γ.

Remark 4.4. The term ground form originates from classical invariant theory and describes a
(set of) covariant form(s) such that all other covariant forms can be derived from it by transvection. In the context of this paper this would mean that one restricts one’s attention to those
relative invariants of minimal order (Fi such that |Γi | 6 |Γj | for all j ∈ Ω).

The next lemma shows that all invariant vectors (V ⊗ M(P1 )Γ )G are realised as quotients of
invariant vectors in V ⊗ C[X, Y ] and invariant forms whose degrees are multiples of |G|.

Lemma 4.5 [KLS14]. Let V and P1 be G-modules, Γ ∈ P1/G and v̄ ∈ (V ⊗M(P1 )Γ )G . Then there
♭
exists a number e ∈ N ∪ {0} and an invariant vector v ∈ (V ⊗ C[X, Y ])G such that v̄ = vFΓ−eνΓ ,
with FΓ and νΓ as in Definition 4.3. In particular, the map
G
♭
HΓ : (V ⊗ Pd C[X, Y ])G → V ⊗ M(P1 )Γ
is surjective if |G| divides d.

Proof. If v̄ is constant then the statement follows by taking e = 0 and v = v̄. Suppose v̄ is not
constant. Then there is a vector v ′ ∈ V ⊗ C[X, Y ] and a polynomial F ′ ∈ C[X, Y ] of the same
′
homogeneous degree, such that v̄ = Fv ′ , as described in the introduction of this section. Since v̄
is not constant, F ′ has zeros, which are in Γ by assumption. The invariance of v̄ implies that the
order of the poles is constant on an orbit. Therefore F ′ = FΓp for some p ∈ N. Choose e ∈ N such
v′
F′

that q = eνΓ − p > 0. Put v = v ′ FΓq . Then v̄ =

=

v′
FΓp

hence invariance of v̄ implies invariance of v.

=

v′ FΓq
FΓp+q

=

v
eν .
FΓ Γ

But FΓνΓ is invariant,

G
♭
To see that HΓ : (V ⊗ Pd C[X, Y ])G → V ⊗ M(P1 )Γ is surjective if d = d′ |G|, notice that
one can choose e such that e = e′ d′ , as there is only a lower bound for e. Then deg v = e|G| =
♭
e′ d′ |G| = e′ d, hence v ∈ (V ⊗ Pd C[X, Y ])G .
We define an equivalence relation ∼F on C[U ] ∋ F by

P ∼F Q ⇔ ∃r ∈ Z : P = F r Q.

One may use the notion of associates. Two elements of a ring are associates if one can be obtained
by multiplying the other by a unit. Considering the localisation
C[U ]F = {F r P | P ∈ C[U ], r ∈ Z} ,
(i.e. we allow division by F [Eis95]) and embedding C[U ] canonically in this ring, we see that
P, Q ∈ C[U ] are ∼F equivalent if and only if P and Q are associates in C[U ]F .

Lemma 4.6 [KLS14]. Let V and P1 be G-modules and Γ ⊂ P1 a G-orbit. If |G| divides d then
there is an isomorphism of modules
G
♭
Pd (V ⊗ C[X, Y ])G ∼FΓ ∼
= V ⊗ M(P1 )Γ ,
where FΓ is given in Definition 4.3.

♭

Proof. The linear map HΓ : Pd (V ⊗ C[X, Y ])G → (V ⊗ M(P1 )Γ )G respects products and is
therefore a homomorphism of modules. Restricted to the ring Pd C[X, Y ], the kernel HΓ−1 (1) is the
equivalence class of the identity, monomials in FΓ , and by Lemma 4.5 the map is surjective.

7

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
5. Squaring the Ring
In this section we consider the polynomial ring C[U ] where U is the natural representation
of a binary polyhedral group G♭ . Through elementary arguments we find the character of the
subspaces of fixed degree m|G| and m|G| − 1. This will be particularly useful in light of Lemma
4.6, and it results in a description of the space of invariant vectors as a module over the ring of
automorphic functions.
Let kGk denote the exponent of the group G, i.e. the least common multiple of the orders of
group elements.
Lemma 5.1. Let G♭ be a binary polyhedral group corresponding to the polyhedral group G.
Then

2|G|
|G| if G ∈ {D2M , T, O, Y}
♭
=
kG k = 2 lcm(νa , νb , νc ) = 2kGk =
2|G| if G ∈ {Z/N, D2M +1 }
|M (G)|

where M (G) is the Schur multiplier of G and lcm stands for least common multiple.

Proof. We prove that kG♭ k = 2 lcm(νa , νb , νc ). The other equalities can be found in Table 1. The
polyhedral group G is covered by stabiliser subgroups Gλ , λ ∈ P1 . Thus, if π : G♭ → G is any
extension with kernel Z, then G♭ is covered by the preimages π −1 Gλ , λ ∈ P1 . The order of an
element h ∈ G♭ thus divides the order of the subgroup π −1 Gλ containing it, which is |Z|νi . Hence
the exponent divides the least common multiple of these;
kG♭ k | lcm(|Z|νa , |Z|νb , |Z|νc ) = |Z| lcm(νa , νb , νc ).

On the other hand, if we assume that G♭ is the binary polyhedral group then it is clear from the
presentation G♭ = hga , gb , gc | ga νa = gb νb = gc νc = ga gb gc i and the fact that ga gb gc ∈ Z(G♭ ) = Z/2
that the order of gi is 2νi , so that
2 lcm(νa , νb , νc ) = lcm(2νa , 2νb , 2νc ) | kG♭ k

and kG♭ k = 2 lcm(νa , νb , νc ) as desired.

Notice that if G♭ is a Schur cover, equal to the binary polyhedral group when possible, then
= |G|. For now we wish to use some results that are specific to SL2 (C). Let χ be the
character of the natural representation of G♭ , i.e. the monomorphism σ : G♭ → SL(U ) = SL2 (C),
and denote its symmetric tensor of degree h by
kG♭ k

χh = χS h U .
The Clebsch-Gordan decomposition [Fos81] for SL2 (C)-modules
U ⊗ S h U = S h+1 U ⊕ S h−1 U,

h > 2,

(6)

can be conveniently used to find the decomposition of χh when h is a multiple of kG♭ k. To this
end, we write the Clebsch-Gordan decomposition in terms of the characters

 


χh
χ −1
χh−1
=
(7)
χh−1
1 0
χh−2

with boundary conditions

χ−1 = 0,

χ0 = ǫ,

where ǫ is the trivial character. The function χ−1 might not be defined by a symmetric tensor
product but it gives a convenient boundary condition resulting in the correct solution, with
χ1 = χ.

8

Isotypical Components of Rational Functions
Lemma 5.2. If g ∈ G♭ has order ν > 2 and χh is the character of the h-th symmetric power of
the natural representation of G♭ , then
χh+ν (g) = χh (g)
for all h ∈ Z.

Proof. Let ω and ω −1 be the eigenvalues of g’s representative in SL2 (C). In particular ω ν = 1.
The matrix which defines the linear recurrence relation (7) becomes


ω + ω −1 −1
M (g) =
.
1
0

We check that this matrix has eigenvalues ω ±1 as well. If the eigenvalues are distinct, i.e. ω 2 =
6 1,
−1
i.e. ν > 2, then M (g) is similar to diag(ω, ω ) and has order ν, proving the lemma. Notice that
M (g) is not diagonalisable if ν = 1 or ν = 2.
The only maps in SL2 (C) whose square is the identity are ±Id. The epimorphism π in the
π
→ G → 1 therefore satisfies
short exact sequence 1 → Z/2 → G♭ −
g ∈ ker π ⇔ g 2 = 1.

(8)

Moreover, if 1 6= z ∈ ker π then its SL2 (C)-representative is −Id and its action on a form
F ∈ ShU ∼
= S h U ∗ is given by
zF = (−1)h F.
Let χregG and χregG♭ be the characters of the regular representations of G and G♭ respectively,
i.e.


2|G| g = 1,
|G| π(g) = 1,
∗
χregG♭ (g) =
π χregG (g) =
0
g 6= 1,
0
π(g) 6= 1,
∗
where π f (g) = f (π(g)).
Theorem 5.3. Let G be a polyhedral group and G♭ its corresponding binary polyhedral group,
with epimorphism π : G♭ → G. Let χh be the character of the h-th symmetric power of the natural
representation of G♭ , and χregG and ǫ the character of the regular and trivial representation
respectively. Then
χm|G| = mπ ∗ χregG + ǫ,
for all m ∈

2
|M (G)| N

χm|G|−1 = m(χregG♭ − π ∗ χregG ),
∪ {0}.

Proof. The statement is trivial for m = 0. We prove the first equality for m ∈

2
|M (G)| N

by

G♭ .

evaluating both sides of the equation at each element of
First of all, if π(g) = 1 then (mπ ∗ χregG + ǫ)(g) = m|G| + 1. On the other hand, since m|G| is
an even number, the action of g ∈ ker π on χm|G| is trivial and χm|G| (g) = dim χm|G| = m|G| + 1.

If π(g) 6= 1 then (mπ ∗ χregG + ǫ)(g) = 1. Also, by (8), g has order ν > 2. Since ν | kG♭ k =
2|G|
|M (G)| | m|G| by Lemma 5.1, one can apply Lemma 5.2 to find χm|G| (g) = χ0 (g) = 1. The second
equality follows in the same manner.
Example 5.4. As an illustration we compute the first twelve symmetric powers of the natural representation T♭ ֒→ SL(C2 ) of the binary tetrahedral group, using the Clebsch-Gordan

9

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
decomposition (6), and list them in Table 3 (possibly the easiest way to do this is using the
affine Dynkin diagram E6 in Figure 1, which is related to T by the McKay correspondence,
cf. [Dol09, Spr87]). Here we denote irreducible representation of T♭ by T♭i , i = 1, . . . , 7. This
notation allows us later to compare representations from multiple polyhedral groups. Moreover,
we drop the superscript ♭ and call the representation nonspinorial whenever the representation
factors through T. Otherwise we say it is spinorial. The number ω3 is a cube root of unity. The
natural representation T♭ ֒→ SL2 (C) is recognised as T♭4 in the character table, since it is the only
real valued 2-dimensional character. We have underlined the character of a natural representation
in the character tables.
Compare Theorem 5.3 for G = T and m = 1 (see S 11 T♭4 and S 12 T♭4 ). Notice also that all even
powers are nonspinorial and all odd powers are spinorial.
Table 2. Irreducible characters of the binary tetrahedral group T♭ .
g
|CG (g)|
T1
T2
T3
T♭4
T♭5
T♭6
T7

1
24
1
1
1
2
2
2
3

ga 2
6
1
ω3
ω32
−1
−ω32
−ω3
0

gc
4
1
1
1
0
0
0
−1

z
24
1
1
1
−2
−2
−2
3

gb 2
6
1
ω32
ω3
−1
−ω3
−ω32
0

gb
6
1
ω3
ω32
1
ω32
ω3
0

ga
6
1
ω32
ω3
1
ω3
ω32
0

Figure 1. Affine Dynkin diagram E6 labeled by irreducible characters of T♭ .
T3

T♭5

ǫ=T1

χ=T♭4

T7

T♭6

T2

The first equation in the Theorem 5.3 is equivalent to the following Poincaré series of the
image of the prehomogenisation operator Pm|G| of a space of invariant vectors,

if χ is spinorial,

 0
  1+(m−1)tm|G|
χ
if χ = ǫ,
P Pm|G| C[X, Y ] , t =
(9)
(1−tm|G| )2

2 tm|G|

mχ(1)

otherwise,
(1−tm|G| )2

where m is a multiple of |M 2(G)| . Notice that |M 2(G)| = 1 for most of the interesting groups, namely
for T, O, Y and D2M , in which case one can obtain the simplest formula by taking m = 1.

10

Isotypical Components of Rational Functions
Table 3. Decomposition of symmetric powers S h T♭4 , h 6 kTk.
h
−1
0
1
2
3
4
5
6
7
8
9
10
11
12

S h T♭4
0
T1
T♭4
T7
T♭5 + T♭6
T2 + T3 + T7
T♭4 + T♭5 + T♭6
T1 + 2T7
2T♭4 + T♭5 + T♭6
T1 + T2 + T3 + 2T7
T♭4 + 2(T♭5 + T♭6 )
T2 + T3 + 3T7
2(T♭4 + T♭5 + T♭6 )
2T1 + T2 + T3 + 3T7

T♭4 ⊗ S h T♭4
0
T♭4
T♭4 T♭4 = T1 + T7
T♭4 T7 = T♭4 + T♭5 + T♭6
T2 + T3 + 2T7
T♭4 + 2T♭5 + 2T♭6
T1 + T2 + T3 + 3T7
T♭4 + 2(T♭4 + T♭5 + T♭6 )
2T1 + 4T7 + T2 + T3
3(T♭4 + T♭5 + T♭6 )
T1 + 2(T2 + T3 ) + 5T7
4(T♭5 + T♭6 ) + 3T♭4
2(T1 + T2 + T3 + 3T7 )

The Poincaré series (9) suggest, but do not prove, the existence of a set of primary and
secondary invariants such that the modules of invariant vectors have the form given in Proposition
5.7 below. The fact that such invariants exist nonetheless can be established using the following
well known concept and proposition.
Definition 5.5 Homogeneous system of parameters, [PS08]. Let n be the Krull dimension of a
graded algebra A. A set of homogeneous elements θ1 , . . . , θn of positive degree is a homogeneous
system of parameters for the algebra if A is finitely generated as a C[θ1 , . . . θn ]-module.
Proposition 5.6 [Neu07, PS08, Sta79]. If an algebra is a finitely generated free module over
one homogeneous system of parameters, then it is a finitely generated free module over any of
its homogeneous systems of parameters.
An algebra that satisfies the property of Proposition 5.6 is said to be Cohen-Macaulay.
Proposition 5.7. Let G♭ be a binary polyhedral group, V a G♭ -module and U the natural
G♭ -module. Let Fi , i ∈ Ω, be the ground form in C[U ] of degree |G|
νi . Then

if V is spinorial,

 0
Lm−1 rνi (m−r)νj
mνj
mνi
G♭
Pm|G| (V ⊗ C[U ]) =
C[Fi , Fj ](1 r=1 Fi Fj
) if V is trivial,

 Lm dim V C[F mνi , F mνj ]ζ
otherwise,
r
r=1
i
j

for some invariant vectors ζ1 , . . . , ζm dim V of degree m|G|.

Proof. For the case of the trivial representation, recall that Fiνi is an invariant form and has
degree |G| (cf. Definition 4.3). Therefore
mνj

C[Fimνi , Fj

](1

m−1
M

(m−r)νj

Firνi Fj

r=1

♭

) ⊂ Pm|G| (Vǫ ⊗ C[U ])G .

Since Fi and Fj are algebraically independent, the Poincaré series (9) gives equality.

11

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
In the last case, recall first that each copy of Vχ in C[U ] contributes one invariant vector to
♭
(Vχ ⊗ C[U ])G . It is well known that the full isotypical component is Cohen-Macaulay [Sta79],
G♭

(V ⊗ C[U ])

=

k
M

C[θ1 , θ2 ]ηr .

r=1

We will show that the prehomogenised module is Cohen-Macaulay as well, allowing us to apply
Proposition 5.6.
The prehomogenisation operator is linear so that it moves through the sum. Moreover, since
it merely eliminates certain elements, no relations can be introduced, therefore the sum remains
direct.
G♭

Pm|G| (V ⊗ C[U ])

= Pm|G|
=

k
M
r=1

k
M

C[θ1 , θ2 ]ηr

r=1

′

Pm|G| C[θ1 , θ2 ]ηr =

k
M

C[θ1ν1 , θ2ν2 ]η̃r

r=1

where m|G| divides νi deg θi (this always holds for some integer νi because θi is a polynomial in
the ground forms, all whose degrees divide |G|) and
{η̃1 , . . . η̃k′ } = {θ1a1 θ2a2 ηj | m|G| divides deg θ1a1 θ2a2 η̃j , 0 6 ai < νi , 0 6 j 6 k}.
♭

This shows that Pm|G| (V ⊗ C[U ])G is a free C[θ1ν1 , θ2ν2 ]-module. Therefore, by Proposition 5.6,
♭

Pm|G| (V ⊗ C[U ])G is free over any homogeneous system of parameters. The proof is done if
mν
we show that {Fimνi , Fj j } is a homogeneous system of parameters, i.e. we need to show that
mνj

♭

Pm|G| (V ⊗ C[U ])G is finitely generated over C[Fimνi , Fj

]. But the parameters θiνi are in♭

variant forms whose degrees divide m|G|. Therefore C[θ1ν1 , θ2ν2 ] is a subset of Pm|G| C[U ]G =
L
mν
rνi (m−r)νj
C[Fimνi , Fj j ](1 m−1
) and
r=1 Fi Fj
′

G♭

Pm|G| (V ⊗ C[U ])

=

k
M

C[θ1ν1 , θ2ν2 ]η̃r

r=1
′

=

k
X

mνj

C[Fimνi , Fj

](1

′′

=

(m−s)νj

Fisνi Fj

)η̃r

s=1

r=1

k
X

m−1
M

mνj

C[Fimνi , Fj

]η̃˜r

r=1

(m−s)νj
Fisνi Fj
η̃r

ν

where {η̃˜r | r = 1 . . . k ′′ } = {η̃r ,
| r = 1 . . . k′ , s = 1, . . . , m − 1}, i.e. {Fiνi , Fj j }
is indeed a homogeneous system of parameters. Now, by Proposition 5.6 there exist elements ζr
♭
mν
that freely generate Pm|G| (V ⊗ C[U ])G over C[Fimνi , Fj j ] and the Poincaré series (9) tells us
the number and degrees of these generators.
The next theorem combines the results so far to obtain the structure of the invariant vectors
as a module over the automorphic functions. Recall the notation
(
ν
F i
HΓ Fiνi = F iνΓ , if Γi 6= Γ
(10)
Ii =
Γ
1
if Γi = Γ

12

Isotypical Components of Rational Functions
from Definition 4.3, where we use HΓ from Definition 4.2. Thus the orbit of poles is suppressed
in the notation but we keep the orbit of zeros explicit. Recall that the dependence on the group
G was already suppressed in the notation for the ground forms Fi .
The classical theory on ground forms [Dol09, Kle56, Kle93] shows there are two linear relations
among the automorphic functions Ia , Ib and Ic , so that each of them can be linearly expressed
in another if the latter is nonconstant. In particular
ν

HΓ C[Fiνi , Fj j ] = C[I]

(11)

if I = Ii and Γi 6= Γ.
Theorem 5.8. If G < Aut(P1 ) is a finite group acting on a vector space V , then the space of
invariant vectors
G
V ⊗ M(P1 )Γ

is a free C[I]-module generated by dim V vectors.

Proof. Most of the work that goes into this proof has been done above. If G is one of the groups
D2M , T, O or Y we can take the result of Proposition 5.7, with m = 1, as starting point. If V is
a nontrivial irreducible G-module one can apply Lemma 4.5, Proposition 5.7 and equation (11)
to find
(V ⊗ M(P1 )Γ )G = HΓ P|G| (V ⊗ C[U ])G
= HΓ
=

dim
MV

dim
XV

♭

ν

C[Fiνi , Fj j ]ζr

r=1

C[I]ζ̄r

r=1

where ζ̄r = HΓ ζr . The remaining groups, Z/N and D2M −1 , equal their own Schur cover (i.e. have
trivial Schur multiplier), so we may replace G♭ by G in the above computation. The case of the
cyclic group is much simpler due to the fact that all irreducible characters are one-dimensional.
The case of the dihedral groups are explicitly calculated in [KLS14, Kni14]. The same results are
found, namely dim V generators ζ̄r .
To prove the claim we need to establish independence of the invariant vectors ζ̄r over C[I].
Suppose
p1 (I)ζ̄1 + . . . + pdim V (I)ζ̄dim V = 0,
P1

pr ∈ C[I].

Evaluated anywhere in the domain D =
\ (Γ ∪ Γa ∪ Γb ∪ Γc ), the vectors ζ̄r are independent
over C, by Proposition 3.2. Hence the functions pr all vanish on D. Because D is not a discrete
set and the functions pr are rational, they must be identically zero.
6. Determinant of Invariant Vectors
In the previous section we showed that the space of invariant vectors in V has dim V generators,
but we have little information on these generators. In this section we obtain their determinant.
This provides a powerfull invariant in the theory of Automorphic Lie Algebras.
We use the notion of a divisor on a Riemann surface S. A divisor is a formal Z-linear combi-

13

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
nation of points of S. The divisor of a meromorphic function f on S is the sum
X
div(f ) =
ordλ (f ) λ
λ∈S

where ordλ (f ) is the order of f at λ: the smallest power in a local Laurent expansion with nonzero
coefficient. The results of the previous section allow us to assign a divisor on the Riemann sphere
to each character of a polyhedral group, defined by the invariant vectors.

Definition 6.1 Determinant of invariant vectors. Let χ be a nontrivial irreducible character of
a polyhedral group G. By Theorem 5.8 there are invariant vectors v1 , . . . , vχ(1) freely generating
G
G
Vχ ⊗ M(P1 )Γ over M(P1 )Γ = C[I]. Define

div(χ)Γ = div det(v1 , . . . , vχ(1) )

and extend the definition to reducible characters of G by the rules
div(ǫ)Γ = 0,


div χ + χ′ Γ = div(χ)Γ + div χ′ Γ .

We will call div(χ)Γ the determinant of invariant χ-vectors.

A general formula for the determinant of invariant vectors can be expressed using the following
half integers.
Definition 6.2 κ(χ). Let V be a module of a polyhedral group G affording the character χ. We
define the half integer κ(χ)i by
κ(χ)i =

1/2

codim V

hgi i

νi −1
1 X
χ(1)
−
χ(gij ),
=
2
2νi
j=0

i ∈ Ω,

where codim V hgi i = dim V − dim V hgi i .
Lemma 2.1 translates to
X
i∈Ω

κ(χ)i = dim Vχ − dim VχG = χ(1) − (χ, ǫ).

(12)

The determinant of invariant vectors is a relative invariant of G. Moreover, by Proposition
3.2, it can only vanish on an exceptional orbit. This implies that the determinant is a monomial
in ground forms
Y δ
Fi i .
(13)
det(v1 , . . . , vχ(1) ) = HΓ
i∈Ω

What remains is to find the orders δi ∈ N0 . We can already find their sum,
X
X
δi =
νi κ(χ)i .
i∈Ω

(14)

i∈Ω

Indeed, by Lemma 4.5 we know that each invariant vector vi originating from a nontrivial
character is the homogenisation of a vector over C[X, Y ] of degree |G|. Therefore the degree
P
Q
Q
P
δi |G|
δi
δi
deg i∈Ω F
i∈Ω νi = (χ(1) −
i∈Ω δi deg Fi =
i∈Ω νi equals (χ(1) − (χ, ǫ))|G|. That is,
i =
P
(χ, ǫ)) =
i∈Ω κ(χ)i , where the last step is given by equation (12). In the remainder of this
section we find a lower bound for each δi separately, which can be seen to be sharp due to (14),
and thus obtain an explicit description of the determinant of invariant vectors div(χ)Γ .

14

Isotypical Components of Rational Functions
Let G be a finite group acting holomorphically and effectively on a Riemann surface S. Then
a stabiliser subgroup Gλ0 , λ0 ∈ S, is cyclic. Moreover, if Gλ0 = hgi has order ν > 2, then there
is a local coordinate z centered at λ0 in which g(z) = ωz, where ω is a primitive root of unity of
order ν [Mir95]. As a consequence we have the following.
Lemma 6.3. Adopting the above notation, if f ∈ M(S) and f (g −1 λ) = ω j f (λ) for all λ ∈ S,
then the Laurent expansion of f in the local coordinate z linearising g is of the form
X
f (z) =
fn z n .
n∈j+Zν

In particular, ordλ0 (f ) ∈ j + Zν.
Proof. In terms ofPthe Laurent expansion,
the hypothesis regarding the action of g on f (z) =
P
P
n reads
n = ωj
n
f
z
f
(ωz)
n
n
n∈Z
n∈Z
n∈Z fn z , i.e.
ω n fn = ω j fn ,

n ∈ Z.

This implies fn = 0 if n ∈
/ j + Zν, since ω is a primitive root of unity of order ν.
If τ : G → GL(V ) is the representation affording a real valued character χ then the eigenvalues
of τ (g) are powers of ω and the nonreal eigenvalues come in conjugate pairs. We denote the
multiplicity of the eigenvalue 1 and −1 by κ+ and κ− respectively and the number of conjugate
2
pairs by κc . That is, κ+ = dim V hgi , κ+ + κ− = dim V hg i and κ+ + κ− + 2κc = χ(1). If g = gi
then 1/2 κ− + κc = κ(χ)i .
There is a basis for V such that
τ (g) = diag(1, . . . , 1, −1, . . . , −1, ω j1 , ω −j1 , . . . , ω jκc , ω −jκc )
and we may assume that 1 6 j1 , . . . , jκc 6 ν − 1. Notice however that these numbers depend on
the particular primitive root of unity ω, which in turn is defined by the chart that gives the local
parameter z linearizing g near λ0 .
Let the meromorphic invariant vectors on the Riemann sphere be
G
Vχ ⊗ M(P1 )Γ = C[I]v1 ⊕ . . . ⊕ C[I]vχ(1)

and express each generator vr by a tuple corresponding to the aforementioned basis for V ,
vr = (f1r , . . . , fκr+ , hr1 , . . . , hrκ− , pr1 , q1r , . . . , prκc , qκr c )
where fsr , hrs , prs , qsr ∈ M(P1 )Γ . Notice that det(v1 , . . . , vχ(1) ) reads
f11
..
.

χ(1)
f1

···

fκ1+
..
.

h11
..
.

···

χ(1)
f κ+

χ(1)
h1

···

h1κ−
..
.

p11
..
.

q11
..
.

···

χ(1)
hκ−

χ(1)
p1

χ(1)
q1

···

p1κc
..
.

···

χ(1)
pκ c

qκ1 c
..
. .

(15)

χ(1)
qκc

Let λ0 ∈ P1 and hgi = Gλ0 . Thanks to Proposition 3.2 we have the space of evaluated
G
invariant vectors ελ0 Vχ ⊗ M(P1 )Γ = V hgi , which implies hrs (λ0 ) = prs (λ0 ) = qsr (λ0 ) = 0. Our
goal is to investigate the orders of these zeros.
Lemma 6.4. In the setting described above, we find the following orders of the zero at λ0 :
ordλ0 (hrs ) = ν/2,
ordλ0 (prs ) = ν − js ,

ordλ0 (qsr ) = js .

15

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
Proof. All functions in question vanish at λ0 , i.e. the order at this point is positive. Adding the
information from Lemma 6.3 gives
ordλ0 (hrs ) ∈ ν/2 + N0 ν,

ordλ0 (prs ) ∈ ν − js + N0 ν,

ordλ0 (qsr ) ∈ js + N0 ν

(here we use that 1 6 js 6 ν − 1). Thus, each column h·s in (15) adds at least ν2 λ0 to the divisor
div(χ)Γ , and the pair of columns p·s and qs· adds at least νλ0 to the divisor div(χ)Γ . Hence, if
g = gi and ν = νi , the coefficient of λ0 in this divisor is at least ν2i κ− + νi κc = νi κ(χ)i . But this
coefficient is δi in (13), thus equation (14) shows this lower bound is sharp.
The observation δi = νi κ(χ)i in the previous proof shows the ‘if’ part of the following.
Theorem 6.5. Let χ be a character of a polyhedral group G < Aut(P1 ) and let Γ ∈ P1/G . Then
its determinant of invariant vectors is given by
X
div(χ)Γ =
κ(χ)i (νi Γi − νΓ Γ)
i∈Ω

if and only if χ is real valued. Here we identify a subset Γ ⊂ P1 with the divisor

P

γ∈Γ

γ.

To include the ‘only if’ we consider the two nonreal valued irreducible characters of polyhedral
groups: T2 and T3 . Example 7.2 shows that here the formula of the theorem does not apply.
7. Examples illustrating Theorem 6.5
The numbers κ(χ)i appear in the theory of Automorphic Lie Algebras due to Theorem 6.5. We
list them in Table 7. Notice that νi κ(χ)i , i ∈ Ω, are integers if and only if χ is real valued. The
κ’s found in the latest developments [KLS15b] on Automorphic Lie Algebras can be constructed
from the table, by collecting the irreducible characters involved.
Table 7 is determined using the characters of the polyhedral groups. Therefore we will present
these first. Consider the dihedral group DN = hr, s | r N = s2 = (rs)2 = 1i. If N is odd then
DN has two one-dimensional characters, χ1 and χ2 . If N is even there are two additional onedimensional characters, χ3 and χ4 .
Table 4. One-dimensional characters of DN .
g
r
s

χ1
1
1

χ2
1
−1

χ3
−1
1

χ4
−1
−1

The remaining irreducible characters are two-dimensional (indeed, there is a normal subgroup of
index 2: Z/N , [SS77]). We denote these characters by ψj , for 1 6 j < N/2. They take the values
ji
−ji
ψj (r i ) = ωN
+ ωN
,
2πi

ψj (sr i ) = 0 ,

(16)

where ωN = e N .
The characters of the binary tetrahedral group are collected in Table 2 above. Below we give
the character tables for O♭ and Y♭ . For this last table we define the golden section φ+ and its

16

Isotypical Components of Rational Functions
√
conjugate φ− in Q( 5)

√
1± 5
.
φ =
2
±

Table 5. Irreducible characters of the binary octahedral group O♭ .
g
|CG (g)|
O1
O2
O3
O♭4
O♭5
O6
O7
O♭8

1
48
1
1
2
2
2
3
3
4

gc
4
1
−1
0
0
0
1
−1
0

gb 2
6
1
1
−1
−1
−1
0
0
1

ga 2
8
1
1
2
0
0
−1
−1
0

z
48
1
1
2
−2
−2
3
3
−4

ga 3
8
1
−1
0
√
− 2
√
2
−1
1
0

gb
6
1
1
−1
1
1
0
0
−1

ga
8
1
−1
√0
2
√
− 2
−1
1
0

Table 6. Irreducible characters of the binary icosahedral group Y♭ .
g
|CG (g)|
Y1
Y♭2
Y♭3
Y4
Y5
Y6
Y♭7
Y8
Y♭9

1
120
1
2
2
3
3
4
4
5
6

ga 2
10
1
−φ−
−φ+
φ+
φ−
−1
−1
0
1

ga 4
10
1
−φ+
−φ−
φ−
φ+
−1
−1
0
1

gb
6
1
1
1
0
0
1
−1
−1
0

gc
4
1
0
0
−1
−1
0
0
1
0

gb 2
6
1
−1
−1
0
0
1
1
−1
0

ga 3
10
1
φ−
φ+
φ+
φ−
−1
1
0
−1

z
120
1
−2
−2
3
3
4
−4
5
−6

ga
10
1
φ+
φ−
φ−
φ+
−1
1
0
−1

Table 7. Rows 3, 4 and 5 display κ(χ)i and rows 6, 7 and 8 display νi κ(χ)i .

a
b
c
a
b
c

χ2
1
0
1/2
1/2
0
1
1

χ3
1
1/2
1/2
0
N/2
1
0

χ4
1
1/2
0
1/2
N/2
0
1

ψj
2
1
1/2
1/2
N
1
1

T2
1
1/2
1/2
0
3/2
3/2
0

T3
1
1/2
1/2
0
3/2
3/2
0

T7
3
1
1
1
3
3
2

O2
1
1/2
0
1/2
2
0
1

O3
2
1/2
1
1/2
2
3
1

O6
3
3/2
1
1/2
6
3
1

O7
3
1
1
1
4
3
2

Y4
3
1
1
1
5
3
2

Y5
3
1
1
1
5
3
2

Y6
4
2
1
1
10
3
2

Y8
5
2
2
1
10
6
2

Example 7.1 Determinants of DN -invariant vectors. For the dihedral group we have explicit
descriptions for the isotypical components C[X, Y ]χ at hand; they are explicitly computed in
both [KLS14] and [Kni14]. Here we give the results without derivation.

17

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
The characters of DN = hr, s | r N = s2 = (rs)2 = 1i are given above. We will choose bases in
which r acts diagonally, so that the matrices for the generators in the representation ψj become
ρ(r) =

j
ωN
0

0
N −j
ωN

!

,

ρ(s) =




0 1
,
1 0

(17)

2πi

2
2
where ωN = e N . By confirming that the group relations ρN
r = ρs = (ρr ρs ) = Id hold and that
the trace ψj = tr ◦ ρ is given by (16) one can check that this is indeed the correct representation.

Suppose {X, Y } is a basis for Vψ∗1 , corresponding to (17). One then finds the relative invariant
forms
Fa = XY,

Fb =

XN + Y N
,
2

Fc =

XN − Y N
,
2

(18)

and equivariant vectors as presented in Table 8 and Table 9.
Table 8. Module generators ηi in (Vχ ⊗ C[X, Y ])DN =
χ
ηi

χ1
1

χ2
Fc



 ψj N −j 
Xj
Y
,
j
Y
X N −j

L

i C[Fa , Fb ]ηi ,

Table 9. Module generators ηi in (Vχ ⊗ C[X, Y ])D2N =
χ
ηi

χ1
1

χ2
Fb Fc

χ3
Fb

χ4
Fc



N odd.

2
i C[Fa , Fb ]ηi .

L

 ψ
j 2N −j 
Xj
Y
,
j
Y
X 2N −j

Now we can readily check Theorem 6.5 for DN by computing all the determinants and compare
in each case the exponents of Fa , Fb and Fc to the relevant column in Table 7. First notice that
all representations of DN are of real type.
2
We start with χ2 . If N is odd then C[X, Y ]χ2N
= (C[Fa , Fb ]Fc )2N = CFb Fc . If N is even,
2
♭
we use the extension G = D2N and also find C[X, Y ]χ2N
= C[Fa , Fb2 ]Fb Fc 2N = CFb Fc . The
exponents (0, 1, 1) are indeed identical to (νa κ(χ2 )a , νb κ(χ2 )b , νc κ(χ2 )c ) as found in the χ2 column of Table 7.
N

3
For χ3 and N even, G♭ = D2N , one finds C[X, Y ]χ2N
= C[Fa , Fb2 ]Fb 2N = CFa2 Fb , and the
N

4
last linear character χ4 gives C[X, Y ]χ2N
= C[Fa , Fb2 ]Fc 2N = CFa2 Fc , also in agreement with
Table 7.

18

Isotypical Components of Rational Functions
Now we consider the two-dimensional representations, when N is odd;


 j
X
Yj
ψj
det C[X, Y ]2N = det C[Fa , Fb ]
Y N −j X N −j
2N

 N−j

N−j

j
j
2
2

F
F X
Fa Fb Y 


C det  aN+j b
= CFaN Fb Fc j odd,

N+j


N
−j
N
−j
2
2
Y
Fa X

Fa 2N−j
=
2N−j

j
j
2
2

X
Fa
Y 

 C det  Fja
= CFaN Fb Fc j even.

j


N
−j
N
−j
2
2
F F X
F F Y
a

b

a

b

If N is even and G♭ = D2N , we only consider 2j because the statement of Theorem 6.5 only
concerns representations of G, not for instance spinorial representation of G♭ ;



X 2j
Y 2j
ψ2j
2
det C[X, Y ]2N = det C[Fa , Fb ]
Y 2N −2j X 2N −2j
2N
!
N −j 2j
N −j j
Fa X
Fa Y
= CFaN (X 2N − Y 2N ) = CFaN Fb Fa .
= C det
Faj Y 2N −2j Faj X 2N −2j
This confirms Theorem 6.5 for all representations of the dihedral group.
The other examples that are feasible to do by hand are the remaining one-dimensional characters. These include the only representations of the polyhedral groups that are not real valued,
namely T2 and T3 , cf. Table 2.
Example 7.2 One-dimensional characters. Let the characters of the ground forms be indexed
by Ω,
gFi = χi (g)Fi ,

i ∈ Ω.

For the tetrahedral group, the degrees of the ground forms are da = db = 4 and dc = 6, cf. Table
1. Necessarily χa = T2 and χb = T3 , or the other way around. There is no way to distinguish,
(but they cannot be equal because there is a degree 8 invariant, which can be deduced using
the Molien series) so we take the first choice. The last ground form is invariant, χc = T1 ,
because χνc c = T1 , νc = 2, and there is no element of order two in AT = Z/3. We get C[X, Y ]T1 =
C[Fa Fb , Fc ](Fa3 +Fb3 ) and C[X, Y ]T2 = C[Fa Fb , Fc ](Fa ⊕Fb2 ) and C[X, Y ]T3 = C[Fa Fb , Fc ](Fa2 ⊕Fb ),
using for instance generating functions. Thus

C[X, Y ]T122 = C[Fa Fb , Fc ](Fa ⊕ Fb2 ) 12 = CFa2 Fb ,

C[X, Y ]T123 = C[Fa Fb , Fc ](Fa2 ⊕ Fb ) 12 = CFa Fb2 ,
T2 +T3
det C[X, Y ]12
= C[X, Y ]T122 C[X, Y ]T123 = CFa3 Fb3 .

We see that the formula of Theorem 6.5 indeed does not hold for the characters T2 and T3 of
complex type, but it does for the real valued character T2 + T3 .
The remaining one-dimensional character to check is O2 . We have χa = O2 , χb = O1 and
O2
χc = O2 and C[X, Y ]24
= C[Fa2 , Fb ](Fa ⊕ Fc ) 24 = CFa2 Fc , in correspondence with the O2 column in Table 7.

19

Vincent Knibbeler, Sara Lombardo and Jan A. Sanders
References
ADM08 F. Antoneli, A.P.S. Dias, and P.C. Matthews. Invariants, equivariants and characters in symmetric bifurcation theory. Proc. Roy. Soc. Edinburgh Sect. A, 138(3):477–512, 2008.
Bur10

R. Bury. Automorphic Lie Algebras, Corresponding Integrable Systems and their Soliton Solutions. PhD in Applied Mathematics, The University of Leeds, School of Mathematics, Department of Applied Mathematics, 2010.

Dol09

I. Dolgachev. McKay correspondence. Winter 2006/07. Lecture notes, 2009.

DR09

A.P.S. Dias and A. Rodrigues. Hopf bifurcation with SN -symmetry. Nonlinearity, 22(3):627–666,
2009.

Eis95

D. Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry, volume 27.
Springer New York, 1995.

Fos81

R.M. Fossum. Invariant theory, representation theory, commutative algebra - ménage à trois.
Lecture Notes in Mathematics 867, Springer-Verlag, pages 1–37, 1981.

Gat00

K. Gatermann. Computer algebra methods for equivariant dynamical systems, volume 1728 of
Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2000.

GS85

M. Golubitsky and D.G. Schaeffer. Singularities and groups in bifurcation theory. Vol. I, volume 51 of Applied Mathematical Sciences. Springer-Verlag, New York, 1985.

GS02

M. Golubitsky and I. Stewart. The symmetry perspective, volume 200 of Progress in Mathematics.
Birkhäuser Verlag, Basel, 2002. From equilibrium to chaos in phase space and physical space.

GSS88

M. Golubitsky, I. Stewart, and D.G. Schaeffer. Singularities and groups in bifurcation theory.
Vol. II, volume 69 of Applied Mathematical Sciences. Springer-Verlag, New York, 1988.

HMS98

C.J. Houghton, N.S. Manton, and P.M. Sutcliffe. Rational maps, monopoles and skyrmions.
Nuclear Physics B, 510(3):507–537, 1998.

Kle56

F. Klein. Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree. Dover
Publications Inc., New York, revised edition, 1956. Translated into English by George Gavin
Morrice.

Kle93

F. Klein. Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom Fünften
Grade. Birkhäuser Verlag, Basel, 1993. Reprint of the 1884 original, Edited, with an introduction
and commentary by Peter Slodowy.

KLS14

V. Knibbeler, S. Lombardo, and J.A. Sanders. Automorphic Lie algebras with dihedral symmetry. J. Phys. A: Math. Theor., 47(36):365201, 2014.

KLS15a V. Knibbeler, S. Lombardo, and J.A. Sanders. Automorphic Lie Algebras and the Cohomology
of their Root Systems. In preparation, 2015.
KLS15b V. Knibbeler, S. Lombardo, and J.A. Sanders. Higher dimensional Automorphic Lie Algebras.
Submitted, 2015. arXiv:1504.06777 [math-ph].
Kni14

V. Knibbeler. Invariants of Automorphic Lie Algebras. PhD in Mathematics, Northumbria University, Department of Mathematics and Information Sciences, 2014. arXiv:1504.03616 [mathph].

LM04

S. Lombardo and A.V. Mikhailov. Reductions of integrable equations: dihedral group. J. Phys.
A, 37(31):7727–7742, 2004.

LM05

S. Lombardo and A.V. Mikhailov. Reduction Groups and Automorphic Lie Algebras. Comm.
Math. Phys., 258(1):179–202, 2005.

Lom04

S. Lombardo. Reductions of Integrable Equations and Automorphic Lie Algebras. PhD in Applied Mathematics, The University of Leeds, School of Mathematics, Department of Applied
Mathematics, 2004.

LS10

S. Lombardo and J.A. Sanders. On the Classification of Automorphic Lie Algebras. Comm.
Math. Phys., 29(3):793, 2010.

20

Isotypical Components of Rational Functions
Lus03
Mir95

G. Lusztig. Homomorphisms of the alternating group A5 into reductive groups. Journal of
Algebra, 260(1):298–322, 2003.
R. Miranda. Algebraic Curves and Riemann Surfaces, volume 5. American Mathematical Soc.,
1995.

MS04

N. Manton and P. Sutcliffe. Topological solitons. Cambridge Monographs on Mathematical
Physics. Cambridge University Press, Cambridge, 2004.

Neu07
PS08

M.D. Neusel. Invariant Theory, volume 36 of Student Mathematical Library. AMS, 2007.
P. Paule and B. Sturmfels. Algorithms in Invariant Theory. Springer, 2008.

Spr87

T.A. Springer. Poincaré Series of Binary Polyhedral Groups and McKay’s Correspondence.
Mathematische Annalen, 278(1):99–116, 1987.

SS77
Sta79

J.P. Serre and L.L. Scott. Linear Representations of Finite Groups, volume 42. Springer, 1977.
R.P. Stanley. Invariants of finite groups and their applications to combinatorics. Bulletin of the
American Mathematical Society, 1(3):475–511, 1979.

Tot02

G. Toth. Finite Möbius Groups, Minimal Immersions of Spheres, and Moduli. Springer, 2002.

Vincent Knibbeler v.j.a.knibbeler@vu.nl
Department of Mathematics, Faculty of Sciences, Vrije Universiteit, De Boelelaan 1081a, 1081
HV Amsterdam, The Netherlands
Sara Lombardo
Department of Mathematics and Information Sciences, Northumbria University, Newcastle upon
Tyne, NE2 1XE, United Kingdom
Jan A. Sanders
Department of Mathematics, Faculty of Sciences, Vrije Universiteit, De Boelelaan 1081a, 1081
HV Amsterdam, The Netherlands

21

