• Keine Ergebnisse gefunden

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

N/A
N/A
Protected

Academic year: 2022

Aktie "8. 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

15. Juni 2009

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

Exercise 8.1 Let C ⊆ V be a convex cone in the real vector space V and α ∈ V with α(c)>0 for 06=c∈C. Show that

S:={c∈C: α(c) = 1}

satisfies:

(a) C =R+S.

(b) x∈S is an extreme point ofS if and only if R+xis an extremal ray of C.

Exercise 8.2 Let D1,D2 ⊆ C be two open subsets and ϕ: D1 → D2 be a biholomorphic map, i.e., ϕis bijective andϕ−1 is also holomorphic. LetB(D) :=L2(D, dz)∩ O(D) denote the Bergman space of D. Show that the map

Φ : B(D2)→ B(D1), f 7→(ϕf)·ϕ0, ϕf =f ◦ϕ

is unitary. Hint: For the real linear mapλz: C→C, w 7→zw, we have detRz) = |z|2. Exercise 8.3 LetG=NoαK be a semidirect product group andϕ ∈ P(N) be a positive definite function on N which is K-invariant in the sense that

ϕ(k.n) =ϕ(n) for k ∈K, n∈N.

Then

ψ: G→C, ψ(n, k) :=ϕ(n)

is a positive definite function on G. Hint: Show that the representation (πϕ,Hϕ) ofN ex- tends byπϕ(k)f :=f◦α(k)−1 to a unitary representation (πϕ,Hϕ) ofG(Proposition 5.1.5) and consider πϕ ∈ P(G).

Exercise 8.4 Show that for a euclidean space V, the group O(V) of linear surjective isometries acts transitively on the sphere

S(V) = {v ∈V : kvk= 1}.

Hint: For a unit vector v ∈S(V) consider the map σv(x) :=x−2hx, viv.

Show thatσv ∈O(V) and that for x, y ∈S(V) there exists a v ∈Swith σv(x) =y.

1

(2)

Exercise 8.5 We consider the group G := GL2(C) and the complex projective line (the Riemann sphere)

P1(C) = {[v] := Cv: 06=v ∈C2}

of 1-dimensional linear subspaces ofC2. We write [x:y] for the line C x

y

. Show that:

(a) The mapC →P1(C), z 7→[z : 1] is injective and its complement consists of the single point ∞ := [1 : 0] (the horizontal line). We thus identify P1(C) with the one-point compactificationCb ofC. These are the so-called homogeneous coordinates onP1(C).

(b) The natural action of GL2(C) on P1(C) by g.[v] := [gv] is given in the coordinates of (b) by

g.z =σg(z) := az+b

cz+d for g = a b

c d

.

(c) On C2 we consider the indefinte hermitian form β(z, w) := z1w1−z2w2 =w

1 0 0 −1

z.

We define

U1,1(C) := {g ∈GL2(C) : (∀z, w ∈C2)β(gz, gw) = β(z, w)}.

Show thatg ∈U1,1(C) is equivalent to g−1 =

1 0 0 −1

g

1 0 0 −1

.

Show further that the above relation is equivalent to

detg ∈T, d=adetg and c=bdetg.

In particular, we obtain |a|2− |b|2 = 1.

(d) The hermitian form β is negative definite on the subspace [z1 : z2] if and only if

|z1| < |z2|, i.e., [z1 : z2] = [z : 1] for |z| < 1. Conclude that g.z := az+bcz+d defines an action of U1,1(C) on the open unit disc D inC.

(e) Show that the action of the subgroup SL2(R) of SL2(C) on Cb preserves the circle Rb =R∪ {∞} and the upper half plane

C+ :={z ∈C: Imz >0}.

2

Referenzen

ÄHNLICHE DOKUMENTE

In particular, we prove that any finite dimensional Lie algebra is obtained from a Lie group, classify connections Lie groups with given Lie algebra and prove existence results

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