• Aucun résultat trouvé

On the Fourier transform for finite groups

N/A
N/A
Protected

Academic year: 2022

Partager "On the Fourier transform for finite groups"

Copied!
2
0
0

Texte intégral

(1)

University of Zurich (UZH) Fall 2012 MAT532 – Representation theory

Sheet 4

On induced representations

In the followingGis a finite group andH a subgroup.

Exercise 1. [(3.18)and (3.19)in [1]]

LetW be a representation ofH andV =IndW be the induced representation.

• Explain why for g∈G

χV(g) = X

σ∈G/H:gσ=σ

χW s−1gs

with s∈σ is arbitrary.

• If C is a conjugacy class of G and C∩H decomposes into conjugacy classes D1, . . . , Dr of H, then:

χV(C) = |G|

|H|

r

X

i=1

|Di|

|C|χW(Di)

• If W is the trivial representation of H then:

χV(C) = [G:H]

|C| · |C∩H|

Exercise 2. [(3.23)in [1]]

Find the representation ofG=S4, the symmetric group in4 elements, induced by:

• the one dimensional representation of the group H=h(1234)i, where(1234) acts by multiplica- tion by i=√

−1.

• the one dimensional representation of the groupH =h(123)i, where(123)acts by multiplication by j=ei3 .

Exercise 3. [(3.26)in [1]]

There is a unique non abelian group of order21, which can be realized as the group of affine transfor- mations x7→ αx+β of the line over the field with seven elements F7, with α a root of unity in that field. Find the irreducible representations and character table of the group.

Recall that affine transformations over any field can be seen as upper triangular matrices with coeffi- cients in that field.

On the Fourier transform for finite groups

Exercise 4. [(2.35)[1]] Using the exercises in the previous sheet, show that if the irreducible reprenta- tions of G are represented by unitary matrices, the matrix entries of these representations form an orthogonal basis ofall functions, with inner product given by:

hf, gi= 1

|G|

X

h∈G

f(h)g(h)

1

(2)

In the next exercise, we see that the inverse Fourier transform on the group gives an expansion over this orthogonal basis.

Exercise 5. [(3.32)[1]] LetGbe a finite group andGb the set of (isomorphism classes) its irreducible representations. If ρ : G → GL(Vρ) is a representation in Gb and ϕ is a function on G, define the Fourier transformϕˆ:Gb→End(Vρ) as:

ˆ

ϕ(ρ) =X

g∈G

ϕ(g)ρ(g)

• The convolution ϕ ? ψ of two functionsϕ, φ:G→Cis given by:

ϕ ? ψ(g) = X

h∈G

ϕ(h)ψ(h−1g)

Prove that ϕ ? ψ(ρ) = ˆ[ ϕ(ρ) ˆψ(ρ)

• For ϕ:G→C, prove the Fourier inversion formula:

ϕ(g) = 1

|G|

X

ρ∈Gb

dim(Vρ)T r ρ(g−1)·ϕ(ρ)ˆ

If just like the previous exercise,ρ(g) is taken to be a unitary matrix, then the formula becomes:

ϕ(g) = 1

|G|

X

ρ∈Gb

dim(Vρ)

dimVρ

X

i,j=1

ρ(g)i,jϕ(ρ)ˆ i,j

which is indeed an expansion of ϕover matrix coefficients of irreducible representations.

• For ϕ, ψ:G→C, prove the Plancherel formula:

X

g∈G

ϕ(g−1)ψ(g) = 1

|G|

X

ρ∈Gb

dim(Vρ)T r ˆ

ϕ(ρ) ˆψ(ρ)

References

[1] Fulton, Harris. Representation theory: A first course. Springer 1991.

2

Références

Documents relatifs

Show that the center of the smallest sphere enclosing P is either a vertex of the farthest Voronoi diagram or the intersection of an edge (bisector of two sites A and B) of the

[The Fourier transform] Let G be a finite group and G b the set of (isomorphism classes of) its irreducible representations... Complete the character table - one has to

Titchmarsh’s [5, Therem 85] characterized the set of functions in L 2 ( R ) satisfying the Cauchy Lipschitz condition by means of an asymptotic estimate growth of the norm of

proved two useful estimates for the Fourier transform in the space of square integral multivariable functions on certain classes of functions characterized by the generalized

Abstract In this paper, we prove two estimates useful in applications for the Fourier trans- form in the space L p ( R n ), 1 < p ≤ 2, as applied to some classes of

Write how the field φ(x) transforms under the action of an element of the Poincar´ e group.. Show that it is reducible and do the reduction in terms of irreducible

The word-fnal accent pattern, accompanied by the /+h/ afx and word-fnal aspiration, displays a shift in accent from the non-fnal to the fnal syllable1. When the /+h/ afx is

into irreducible factors in F [X] – this was the start of the theory of linear representations and characters of finite