• Keine Ergebnisse gefunden

7. Problem sheet on “Lie Groups and Their Representations”

N/A
N/A
Protected

Academic year: 2022

Aktie "7. Problem sheet on “Lie Groups and Their Representations”"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Fachbereich Mathematik

AG Algebra, Geometrie, Funktionalanalysis Prof. Dr. K.-H. Neeb

SS 2009

T E C H N I S C H E UNIVERSIT ¨ AT DARMSTADT

A

4. Juni 2009

7. Problem sheet on “Lie Groups and Their Representations”

Exercise 6.1 We have defined the tensor product H⊗Kb of two Hilbert spaces as a space of functions on the product H × K, defined by the kernel

K((x0, y0),(x, y)) =hx, x0ihy, y0i.

Show thatH⊗Kb consists of continuous maps which are biantilinear, i.e., antilinear in each argument.

Exercise 6.2 Let V be a real vector space andω: V ×V →R be a bilinear map.

(a) Show that on R×V we obtain a group structure by

(t, v)(s, w) := (t+s+ω(v, w), v+w).

This group is called theHeisenberg group Heis(V, ω).

More generally, we obtain for any two abelian groups V and Z and any biadditive map ω: V ×V →Z a group structure on Z×V by

(t, v)(s, w) := (t+s+ω(v, w), v+w).

(b) Let H be a complex Hilbert space. How do we have to choose V and ω to obtain an isomorphism Heis(V, ω)∼= Heis(H)?

(c) Verify that Z(Heis(V, ω)) = R×rad(ωs), where

ωs(v, w) :=ω(v, w)−ω(w, v) and rad(ωs) :={v ∈V : ωs(v, V) ={0}}.

(d) Show that forV =R2 withω(x, y) =x1y2, the Heisenberg groupH(V, ω) is isomorphic to the matrix group

H :=

(

1 x z 0 1 y 0 0 1

: x, y, z∈R )

.

Exercise 6.3 LetK: X×X →Cbe a positive definite kernel andθ: X →C×a function.

Determine necessary and sufficient conditions on θ such that θ(x)K(x, y)θ(y) = K(x, y) for x, y ∈X.

Hint: Consider the subsetX1 :={x∈X: K(x, x)>0}and its complement X0 separately.

Exercise 6.4 Show that if (π,H) is a factor representation of G and there exists an irreducible subrepresentation H1 ⊆ H, then (π,H) is of type I. Hint: Consider the decompositionH=Hd⊕ Hc into continuous and discrete part and show thatHc is trivial.

1

(2)

Exercise 6.5 Let (V,k · k) be a normed space,

P(V) :={[v] :=Rv: 06=v ∈V}

be the space of one-dimensional subspace of V (the projective space). Show that (a) g.[v] := [gv] defines an action of GL(V) on P(V).

(b) J: GL(V)×P(V)→R×, J(g,[v]) := kgvkkvk is a 1-cocycle with respect to this action.

Exercise 6.6 Let G =Q

j∈JGj be a product of abelian topological groups and pj: G → Gj be the projection maps. Show that the map

S: M

j∈J

Gcj →G,b (χj)j∈J 7→Y

j∈J

j◦pj) is an isomorphism of abelian groups.

Exercise 6.7 On Rn we consider the vector spacePk of all homogeneous polynomials of degree k:

p(x) = X

|α|=k

cαxα, cα∈R, xα :=xα11· · ·xαnn, |α|=α1+· · ·+αn.

We associate to such a polynomialp a differential operator by p(∂) := X

|α|=k

cαα, ∂α :=∂1α1· · ·∂nαn, ∂i := ∂

∂xi.

Show that the Fischer inner product

hp, qi:= (p(∂)q)(0)

defines onPk the structure of a real Hilbert space with continuous point evaluations. Show further that its kernel is given by

K(x, y) = 1

k!hx, yik= 1 k!

Xn

j=1

xjyj

k

.

Hint: Show that the monomials pα(x) = xα form an orthogonal subset with hpα, pαi=α!

and conclude with Theorem 3.1.3 thatK(x, y) =P

|α|=m xαyα

α! .

Exercise 6.8 Let K, Q ∈ P(X,C) be positive definite kernels on X and θ: X → C×. Show that

mθ: HK → HQ, f 7→θf defines a unitary map if and only if

Q(x, y) = θ(x)K(x, y)θ(y) for x, y ∈X.

2

Referenzen

ÄHNLICHE DOKUMENTE

(c) A closed subgroup of a compact Lie group is a compact Lie group. Exercise

In Section 2.4 we briefly discuss Haar measure on a locally compact group G and how it leads to faithful continuous unitary representations of G.. 2.1 Measures and L

Exercise 1.4 (Antilinear Isometries) Let H be a complex Hilbert space. On U(H) we may either use the norm topology or the

AG Algebra, Geometrie, Funktionalanalysis Prof. We suggest the

Show that µ is strongly ergodic with respect to the left translation action σ(g, xH ) := gxH of G on the quotient space G/H of left cosets

Conclude with Exercise 10.2 that a representation of an abelian involutive semigroup on a separable Hilbert space is cyclic if and only if it is multiplicity

AG Algebra, Geometrie, Funktionalanalysis Prof. This group is sometimes called the ax + b-group.. Example 2.2.7) form the so-called spherical prinicipal series. Exercise 4.6 Let (X,

After the extention of the definition of exponential map of a Lie group, we shall eliminate the dependence on the financial event e, recognizing the precence of essen- tialy one