Aljabar Poisson-Hopf

Rizal Afgani

1. Differentiable Manifold

Definisi: M adalah differentiable manifold berdimensi m jika:

1. M adalah ruang topologi

2. M dilengkapi dengan pasangan f (Ui ; Ái )g;
3. adalah klas dari open set yang menutupi M, yaitu . adalah
homeomorfisma dari dari Ui ke open subset dari ;
4. Diberikan Ui dan Uj sehingga , terdapat pemetaan dari
ke yang terturunkan tak hingga kali

Pasangan disebut peta (chart) dan klas disebut atlas. disebut fungsi
koordinat atau koordinat. Fungsi direpresentasikan oleh . Titik
tidak bergantung pada koordinat yang dipilih. Pada setiap open set Ui , M terlihat seperti open
subset dari yang elemennya ditandai oleh . Artinya secara lokal M terlihat
mirip dengan walaupun secara global tidak perlu.
Misalkan adalah pemetaan dari manifold M berdimensi m ke manifold N
berdimensi n. Titik dipetakan ke yaitu . Manifold M memiliki
peta dan manifold N memiliki peta . Maka f dinyatakan dalam koordinat sebagai
berikut:

[Beginning of the document]10[Automatic section break]

00110()

Jika kita tulis dan , maka pemetaan dapat ditulis

atau . Jika adalah terhadap setiap , f disebut
terturunkan di p atau .

Kurva terbuka c di M adalah pemetaan yang mana adalah

interval terbuka sehingga . Menggunkan peta kurva dinyatakan
. Fungsi f di M didefinisikan sebagai pemetaan terturunkan dari M ke .
Dalam koordinat dinyatakan sebagai yang bernilai real dengan m variabel.
Kita nyatakan kumpulan fungsi pada M sebagai .
 Kita nyatakan vektor singgung di c(0) sebagai turunan berarah dari fungsi
sepanjang kurva pada . Laju perubahan fungsi pada sepanjang kurva
adalah
¯
df (c(t)) ¯¯
dt ¯t= 0 00110()

Dalam koordinat lokal ditulis

00110()

Dengan kata lain, pada diperoleh dengan memakaikan operator turunan X

pada fungsi f, yaitu

00110()

Dengan demikian

00110()
¹ ¹
Sehingga X = X @=@x yang mendefinisikan vektor singgung di p = c(0) sepanjang kurva
c(t).

Jika dua kurva c1 (t) dan c2 (t) memenuhi:

1. c1 (0) = c2 (0) = p;
¯ ¯
dx ¹ (c1 (t )) ¯ dx ¹ (c2 (t)) ¯
dt ¯ = dt ¯
2. t= 0 t= 0 ;

c1 (t) dan c2 (t) menghasilkan opertor turunan X yang sama di p, kita definisikan c1 (t) » c2 (t).
Jelas bahwa » adalah relasi ekivalen dan mendefinisikan kelas-kelas ekivalen. Vektor
singgung X kita nyatakan sebagai kelas ekivalen dari kurva-kurva
½ ¯ ¯ ¾
c(t)) ¯¯
dx ¹ (~ dx ¹ (c(t) ¯¯
[c(t)] = c~(t)j c~(0) = c(0) dan ¯ =
dt t= 0 dt ¯t= 0 00110()

Seluruh kelas-kelas ekivalen dari kurva-kurva di p 2 M membentuk ruang vektor yang

¹
disebut ruang singgung (tangent space) di p ditulis Tp M . e¹ = @=@x merupakan vektor
¹
basis bagi Tp M dan disebut basis koordinat. Untuk V 2 Tp M dapat ditulis V = V e¹ dan V
tidak bergantung koordinat.
Karena Tp M adalah ruang vektor maka terdapat ruang dual yang anggotanya adalah
¤
fungsi linier dari Tp M ke R . Ruang ini disebut ruang kotangen di p ditulis Tp M . Anggota
! 2 Tp¤ M disebut vektor dual, atau kotangen vekor disebut juga one-form. Contoh dari
differential form adalah differensial df dari f 2 F (M ). Jika vektor V dipakaikan pada fungsi
¤
f yaitu V[f ] = V @f =@x 2 R . Maka aksi df 2 Tp M pada V 2 Tp M didefinisikan dengan:
¹ ¹

@f
hdf ; Vi ´ V[f ] = V ¹ ¹ 2 R
@x 00110()

Maka hdf ; Vi bersifat R -linier terhadap kedua df dan V.

df dinyatakan dalam koordinat x = Á(p) sebagai df = (@f =@x ¹ )dx ¹ , secara alamiah
¤
dx ¹ adalah koordinat basis bagi Tp M . Basis ini juga merupakan dual bagi e¹ karena
¿ À
¹ @ @x º
dx ; ¹ = = ±¹º
@x @x ¹ 00110()

Sembarang one-form ! dapat ditulis sebagai

! = ! ¹ dx ¹ 00110()
¹
Vektor V = V e¹ dan one-form ! = ! º dx dapat dioperasikan dengan pemetaan
º

h ; i : Tp¤ M £ Tp M ! R , yaitu operasi perkalian dalam yang didefinisikan oleh

¿ À
@
h! ; Vi = ! º V dx ; ¹ = ! º V ¹ ±¹º = ! ¹ V ¹
¹ º
@x 00110()

One-form bersifat independen terhadap koordinat.

Jika vektor-vektor dipasangkan secara mulus pada setiap p 2 M sehingga
V[f ] 2 F (M ) untuk setiap f 2 F (M ) maka V disebut medan vektor. Maka setiap komponen
dari V adalah fungsi mulus dari M ke R . Himpunan dari medan-medan vektor disebut X (M )
Fungsi mulus f : M ! N menginduksi pemetaan lain f ¤ disebut pemetaan
differensial, yaitu:
f ¤ : Tp M ! Tf (p) N 00110()

Bentuk eksplisit dari f ¤ didapatkan dari definisi vektor singgung sebagai turunan dari fungsi
di M sepanjang kurva. Jika g 2 F (N ) maka g ± f 2 F (M ). Vektor V beraksi pada f ± g
memberikan nilai . Kita definisikan
00110()

Dinyatakan dalam peta pada M dan pada N

00110()

Di mana dan . Misalkan dan , maka

persamaan (1. 13) menghasilkan:

@ ¹ @
W® [g ± á 1
(y)] = V [g ± f ± Á¡ 1 (x)]:
@y® @x ¹ 00110()
Jika kita ambil , kita mendapatkan hubungan antara dan ,

00110()

3. Grup Lie dan Aljabar Lie

Definisi: Grup Lie G adalah differentiable manifold yang dilengkapi dengan struktur grup
sehingga operasi

(i)
(ii)

terturunkan.

Elemen unit pada Grup Lie ditulis e. Dimensi dari grup Lie G sama dengan dimensi
G sebagai manifold. Selanjutnya perkalian dalam grup akan ditulis tanpa titik yaitu
. Setiap subgroup H dari grup Lie G adalah subgroup Lie.

Definisi: Misalkan a dan g adalah anggota grup Lie G. Translasi kanan dan
translasi kiri yang bekerja pada g oleh a didefinisikan sebagai

20[Automatic section break] 00220()

00220()

Pemetaan La dan Ra menginduksi pemetaan dan .

Definisi: Misalkan X adalah medan vector pada grup Lie G. X disebut medan vektor
invariant kanan jika .

Proposisi: Jika medan vector X invariant terhadapa translasi kanan maka X memenuhi:
¯ ¯
¹ @x n u (ga) @ ¯¯ º @¯
¯
L a ¤ X jg = X (g) = X
@x ¹ (g) @x º ¯ga @x º ¯ga 00220()

yang mana dan adalah koordinat dari g dan ga.

Vektor mendefinisikan medan vector invariant kanan yang unik dengan

mendefinisikan

X V jg = L g¤ V g2 G 00220()