Exposé introdu tif numéro du Groupe de Travail Théorie de Lie et géomé trie symple tique Les notes des autres exposés sont disponibles l'adresse url

Description

• exposé - matière potentielle : introdu


• exposé

TRANCHES ET TUBES Exposé introdu tif numéro 21/2 du Groupe de Travail Théorie de Lie et géomé- trie symple tique. Les notes des autres exposés sont disponibles à l'adresse url suivante : Table des matières 1. Le théorème de linéarisation de Bo hner 1 2. Tran hes (ou sli es ) 2 3. Tubes 3 Référen es 4 1. Le théorème de linéarisation de Bo hner Soit M une variété diérentiable lisse et soit K un groupe topologique ompa t agissant sur M par des Ck-diéomorphismes. Notons ? : K ? M ?? M l'a tion ; on é rit souvent k · x := ?(k, x) pour k ? K et x ? M . Théorème 1.1 (Thm. de linéarisation de Bo hner). Soit x0 ? M un point xe de l'a tion (i.e. k · x0 = x0 quel que soit k ? K). Alors il existe un voisinage ouvert K-invariant U de x0 dans M ; un voisinage ouvert V de 0 dans Tx0M ; un diéomorphisme K-équivariant ? : U ? V tel que Tx0? : Tx0M ? Tx0M est l'identité. Notation 1.2. Posons, pour tout k ? K, ?k : M ? M ;x 7? k ·x. Quel que soit y ? Tx0M on note k · y := (Tx0?k)(y) ? Tk·x0 = Tx0M (autrement dit, on note · l'a tion de K sur Tx0M par transformations linéaires).

• ?? ?x0


• ?˜ de lasse ck


• démonstration des théorèmes


• xn ?


• c0 ?


• théorème de linéarisation de bo hner


• ?˜


• tx0m ?


• paragraphe pré


• ck-diéomorphisme ?

Sujets

• Exposé

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 8
• Langue: Français

Extrait

1/22
M K
kM C Φ : K ×M −→ M
kx := Φ(k,x) k ∈K x∈M
x ∈ M0
kx =x k ∈K0 0
K U x M0
V 0 T Mx0
K χ : U → V T χ : T M → T Mx x x0 0 0
k ∈K Φ :M →M;x7!kx y ∈T Mk x0
ky := (T Φ )(y) ∈ T = T M K T Mx k kx x x0 0 0 0
′U x M K0
U x M0
′U x M Φ0
x k ∈ K0
′W k K U x M Φ(W × U ) ⊂ Uk k 0 k k
K F ⊂ K k = ∪ Wk∈F k
′˜ eΦ(K×U)⊂U U :=∩ Uk∈F k
′e eU := Φ(K×U) =∪ (kU) K x U k∈K 0
k eχe C U x M0
T M χe(x ) = 0 T χe = idx 0 x0 0
eU K
χe
ex∈U
Z
−1χ(x) := k χe k x dk.
K | {z }
=:χ (x)k
lin?arisation
1.2
TUBES
Notation
g?n?ralit?
l'identit?.
3.
est
ra/gd
que
arian
tel
nie).
quivariant
1
-?
ti?res
omorphisme
exp
(autremen
pro
t
ail
dit,
(qui
on
Le
note
T
di?
,
l'action
Le
de
ers
un
and
sur
p

arian
;
?
dans
our
de
du
par
Soit
transformations

lin?aires).
t,
D?monstr
3
ation

du
v
Th?
t
or
dans
?me.
de
On
v

able
par
t-
d?mon
te
trer
disp
le
lemme
lemme
sans
suiv
est
an
main
t,
de
bien
our
utile
t,
:
et
Lemme
de
1.3.
tro
T
Quel
.
ouvert
de
osons,
ouv
ouvert
tersection
voisinage
ar
un
de
de
4

ub
;
)
dans
hes
dans
est

ouv
ontient
v
un
hner
voisinage
ten
ouvert
de
de
une
-
de
invariant
,
-invariant
ouv
de
de
ouvert
T
voisinage
ie.ht
dans
telle
un
http://math.univ-
.
suiv
D?monstr
?
ation
son
du
D'apr?s
lemme.
t
Soit
supp

erte
existe
autres
un
-in
v
On
oisinage
t
ouv
tr?s
ert
y
de

il
rendre
lors
Plus
dans
d?nit
A
trie
.
de
).
ra
?tan
e
t
n
une
os?
application
tout

soit
tin
une
ue

et
tion
soit
est
que
ert
un
l'in
p
est
oin
P
t

xe
lin?arisa
de
th?or?me
l'action,
1.
quel
R?f?rences
que
es
soit
T
quel
2
(i.e.
es
l'action
(ou
il
ranc
existe
2.
un
un
v
oisinage
oisinage
ert
ouv
-in
ert
arian
de
de
xe

de

oint
u
dans
Bo
p
.
et
Consid?rons
un
application
v
th?or?me
oisinage

ouv
1.
ert
d'un
un
oisinage
Soit
ert
de
ma
.
des
hner)
dans
dans
v

ml
tel
L
que
,
Bo
que
de
lyon1.fr/~ioha
lin?arisation
:
de
an
(Thm.
url
1.1
l'adresse
Th?or?me
onibles
.
t
et
os?s
our
.
p
le
.
pr?c?den
t
on
?tan
eut
t
oser

p
il
de
existe
que
un
des
sous-ensem
notes
ble
v
ni
t.
en
applique
souv
tenan
?crit
le
tel

que
utile
on
mo
;
ennisation
l'action
Les
Notons
p
-di?omorphismes.
le
des
?quiv
par
t.
sur
pr?cis?men
;
on
et
p
ainsi
tout
t
g?om?-
agissan
Lie

Th?orie
ologique
v
top
T
e
our
group
Group
un
um?ro
soit

et
in
p
Exp
p
ET
P
,
.
tiable
que
di?ren
on
ari?t?
note
v
our
TRANCHES
lisse
out
1
voisinage (K) = 1 K
K B k ∈K (kB) =(B)
K
1
|K|
1K = S := R/Z
R

−1ek∈K x∈U k χ(k x) =χ(x) χ
−1 −1K χ =T Φ ◦χe◦Φ T χ =T Φ ◦T χe◦T Φ =k x k x k x k x x0 0 0 0 0k kR
id T χ = id χ = χ dkx k0 K
eU χ
K
(,) T Mx0
Z
hu,vi := (ku,kv)dk
K
′K T M K := {T Φ |k ∈ K}x x k0 0
T M,h,ix0
′ −1B ⊂V B K K χ (B)
K x0
V T Mx0
kG C M
G K
kS x ∈M C M x0 0
x ∈ M T M = α (g) +T S α = T Φ(,x) : g := T G → T Mx x x x e e x
T M =α (g)⊕T Sx x x0 0 0
S Gx0
x∈S g∈G gx∈S g ∈Gx0
x0
x0
x (x )0 n n≥1
x M (g ) G g x →x0 n n≥1 n n 0
(g )n≥1k(n)
K := Gx0
x G0
kC
χ : U → B K K U xǫ 0
B 0 T M T χ = id χ(x ) = 0ǫ x x 00 0
−1k ∈K g ∈G (kgk )x =k(gx )0 0
g g =e u∈ g =T Ge

α Ad (u) =k α (u) .x k x0 0
-in
arian
si
t
standard

t
tenan
elons
t
de
est

et
tian
.
le
Ainsi,
,
dans
Commen?ons
le
(v
Th?or?me
-in
de
group
lin?arisation
Bor?liens
de

Bo
en


hner,
est
on
il
p
v
eut
longueur
exiger
le
que
il
te,
en
soit
et
une
mesure
b
).
oule
,
ouv
mesure
erte
,
dans
rapp
arian
que
v
p
-in
Donc
donc
ers
.
Rapp
2.
Autremen

que
(ou
ar

induite
es
du
)
le
Soit
de
te,
l'action
arian
de
group
au
e
la
de
par
Lie
oisinage


agissan
ouv
t
dans
de
la
mani?re
si
v
Ensuite,
-in
et
sur
-in
une
)
v
.
ari?t?
?galit?
lisse
.
est
mesure
.
t
On
on
garde
2
les
Th?or?me
m?mes
toute
notations
).
que
ainsi
dans
erge
le
que
paragraphe
toute
pr?c?den
arian
t
t
(a
que
v
t
ec
d?nition,
alors
une
?
).
la
la
place
qui
de
D?monstr
erte,
or
).
remarquer
D?nition
la
2.1.
mesure
Une
Haar


he
propre).
ouv
de
en

oule
la
b
pr?c?den
une
un
est
alors
est
;
une
arian
sous-vari?t?
un
Si
ert
.
arian
de
de

b

la
ontenant
en
ectoriel
Haar
v
tel
et
ni,
tel
est
le
:
que
tout
(1)
que
p
Bor?lien
our
p
tout
arian

qui
de
sur
orthogonal
probabilit?
,
est
e
en
group

du
?

mesure
(car
dans
ferm?
Haar
e
?
group
on
sous-
par
un
in
est
.
Ainsi
R
.
propre
,
d'In
o?
si
sur
our
t
suite
arian
D'apr?s
v
(car
-in
.
scalaire
qui
duit
v
pro
v
un
;
d?nit
dans
Alors
et
.
suite
sur
t.
arbitraire
-?quiv
scalaire
dit,
duit
dans
pro
telle
un
.
Consid?rons
et
.
soien
1.5
quels
que
,
,
existe
et
sous-suite
emar
P
R
sur
t.
mesure
arian
par
v
mesure
-in

est
erge.
ert
ation
l'ouv
Th?
que
?me.
eau,
par
nouv
que
de
stabilisateur
restreindre
(i.e.
?
de
quitte
la
;
est
(2)
dans
oser,
est
est
(car
supp
est
t
D'apr?s
?galemen
Th?or?me
-invariant
lin?arisation
;
Bo
(3)
hner
si
oir
eut
discussion
p
paragraphe
On
t),
et
existe
di?omorphisme.
mesure
un
-di?omorphisme
est
,
sont

tels
)
que
-?quiv
que
t
oser
tre
supp
v
,
ouv
restreindre
(normalis?e
,
v
alors
t
?
de
quitte
mesure
eut,
une
p
oule
on
erte
.
t
Le
tr?e
th?or?me
simplemen
suiv
est
an
de
t
,
donne
que
une
alors

e
susan
un
te
et
pur

l'existence
Exemples
d'une
,

.
he
quels
en
soien
un
et
p
tout
oin
our
t
(i.e.
donn?.
te
Th?or?me
v
2.2
est
(Thm.
de
de
les
la
d?nie

(i.e.
he)
de
.
l'unique
Si
Haar
l'action
Ainsi
est
di?ren
pr
t
opr
derni?re
e
p/r