Geometri simplektik

**Geometri simplektik** adalah sebuah cabang geometri diferensial dan topologi diferensial yang mempelajari manifol-manifol simplektik; yang merupakan manifol-manifol diferensiabel yang dialati dengan bentuk tertutup dan nondegenerasi Geometri simplektik bermula dari perumusan Hamiltonian dari mekanika klasik di mana ruang fase dari sistem-sistem klasik tertentu ditampatkan pada struktur manifol simplektik.

## Pendahuluan
Geometri simplektis didefinisikan pada ruang berdimensi genap mulus yang merupakan lipatan terdiferensiasi. Pada ruang ini didefinisikan sebuah benda geometris, yaitu bentuk simplektik, yang memungkinkan untuk pengukuran ukuran benda dua dimensi di ruang. Bentuk simplektis dalam geometri simplektis memainkan peran analog dengan metrik tensor di geometri Riemannian. Jika tensor metrik mengukur panjang dan sudut, bentuk simplektis mengukur area berorientasi.

Geometri simplektik muncul dari studi tentang mekanika klasik dan salah satu contoh struktur simplektik adalah gerak suatu benda dalam satu dimensi. Untuk menentukan lintasan objek, seseorang membutuhkan posisi * q * dan momentum * p *, yang membentuk sebuah titik (* p *, * q *) pada bidang Euclidean ℝ2. Dalam hal ini, bentuk simplektisnya adalah
:\omega = dp \wedge dq
dan merupakan bentuk wilayah yang mengukur luas * L * dari suatu wilayah * S * dalam bidang melalui integrasi:
:L = \int_S \omega.
The area is important because as conservative dynamical systems evolve in time, this area is invariant.

Geometri simplektis berdimensi lebih tinggi didefinisikan secara analogis. Geometri simplektis berdimensi 2*n * terbentuk dari pasangan arah
: ((x_1,x_2), (x_3,x_4),\ldots(x_{2n-1},x_{2n}))
dalam lipatan dimensi 2*n * bersama dengan bentuk simplektis
:\omega = dx_1 \wedge dx_2 + dx_3 \wedge dx_4 + \cdots + dx_{2n-1} \wedge dx_{2n}.
Bentuk simplektis ini menghasilkan ukuran wilayah dimensi 2*n * - * V * di ruang angkasa sebagai jumlah area proyeksi * V * ke masing-masing bidang yang dibentuk oleh pasangan arah

:L = \int_V \omega = \int_V dx_1 \wedge dx_2 + \int_V dx_3 \wedge dx_4 + \cdots + \int_V dx_{2n-1} \wedge dx_{2n}.

## Perbandingan dengan geometri Riemannian
Geometri simplektis memiliki sejumlah persamaan dan perbedaan dari geometri Riemannian, yaitu studi tentang lipatan terdiferensiasi yang dilengkapi dengan 2-tensor simetris nondegenerasi. Berbeda dengan kasus Riemannian, lipatan simplektis tidak memiliki invarian lokal seperti kelengkungan. Ini adalah konsekuensi dari Teorema Darboux yang menyatakan bahwa lingkungan dari apapun titik lipatan simplektis berdimensi 2*n * isomorfik terhadap struktur simplektis standar pada himpunan terbuka ℝ2*n*. Perbedaan lain dengan geometri Riemannian adalah bahwa tidak setiap kebutuhan lipatan yang dapat dibedakan menerima bentuk simplektis; ada batasan topologi tertentu. Misalnya, setiap lipatan simplektis berdimensi genap dan berorientasi. Selain itu, bila *M* adalah lipatan simplektis tertutup, kemudian kohomologi de Rham grup ke-2 *H*2(*M*) tidak sepele; ini menyiratkan, misalnya, bahwa satu-satunya '' n ''-bola yang menerima bentuk simplektis adalah 2-bola. Sebuah paralel yang dapat ditarik antara dua subjek adalah analogi antara geodesik dalam geometri Riemannian dan kurva pseudoholomorfik dalam geometri simplektis: Geodesik adalah kurva dengan panjang terpendek (secara lokal), sedangkan kurva pseudoholomorfik adalah permukaan dengan luas minimal. Kedua konsep tersebut memainkan peran mendasar dalam disiplin ilmu masing-masing.

## Contoh dan struktur
Setiap lipatan Kähler juga merupakan lipatan simplektis. Hingga tahun 1970-an, para ahli simplektis tidak yakin apakah ada lipatan simplektis non-Kähler yang kompak, tetapi sejak itu banyak contoh telah dibuat (yang pertama adalah karena William Thurston); khususnya, Robert Gompf telah menunjukkan bahwa setiap kelompok yang disajikan secara terbatas muncul sebagai grup fundamental dari beberapa lipatan-4 simplektis, sangat kontras dengan kasus Kähler.

Kebanyakan lipatan simplektis, bisa dikatakan, bukanlah Kähler; dan karenanya tidak memiliki integral struktur kompleks yang kompatibel dengan bentuk simplektis. Mikhail Gromov, bagaimanapun, membuat pengamatan penting bahwa lipatan simplektis memang mengakui kelimpahan struktur yang hampir kompleks yang kompatibel, sehingga mereka memenuhi semua aksioma untuk lipatan Kähler * kecuali * persyaratan bahwa peta transisi adalah holomorfik.

Gromov menggunakan keberadaan struktur yang hampir kompleks pada lipatan simplektis untuk mengembangkan teori kurva pseudoholomorfik, Invarian ini juga memainkan peran kunci dalam teori string.

## Nama

Geometri simplektik juga disebut *'Topologi simplektik' l*  meskipun yang terakhir sebenarnya merupakan subbidang yang berkaitan dengan pertanyaan global penting dalam geometri simplektis.

Istilah "simplektis", diperkenalkan oleh , adalah calque dari "kompleks"; sebelumnya, "kelompok simplektis" disebut "kelompok kompleks garis".
"Kompleks "berasal dari bahasa Latin * com-plexus *, yang berarti" dijalin bersama "(co- + plexus), sedangkan simplektis berasal dari bahasa Yunani * sym-plektikos * (συμπλεκτικός); dalam kedua kasus batang berasal dari akar Indo-Eropa *plek-. Nama tersebut mencerminkan hubungan yang dalam antara struktur kompleks dan simplektis.

## Lihat pula

* Geometri kontak
* Mekanika Hamiltonian
* Mekanika geometris
* Peta momen
* Geometri Poisson
* Paket bingkai simbolis
* Integrasi Simpletik
* Berjenis Simplektik

## Catatan

## Referensi
* 
* 
*  *(An undergraduate level introduction.)*
* 
* 
*  Reprinted by Princeton University Press (1997). . .

## Pranala luar

*