Geometri simplektik

Potret fase dari oskilator Van der Pol, sebuah sistem satu dimensional. Ruang fase adalah obnyek asli dari pembelajaran dalam 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 dimana 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 ℝ². 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=\underset{S}{\int }\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 2n terbentuk dari pasangan arah

$((x_1,x_2),(x_3,x_4),\dots (x_{2n-1},x_{2n}))$

dalam lipatan dimensi 2n bersama dengan bentuk simplektis

$\omega =d{x}_1\wedge d{x}_2+d{x}_3\wedge d{x}_4+\cdots +d{x}_{2n-1}\wedge d{x}_{2n}.$

Bentuk simplektis ini menghasilkan ukuran wilayah dimensi 2n - V di ruang angkasa sebagai jumlah area proyeksi V ke masing-masing bidang yang dibentuk oleh pasangan arah

$L=\underset{V}{\int }\omega =\underset{V}{\int }d{x}_1\wedge d{x}_2+\underset{V}{\int }d{x}_3\wedge d{x}_4+\cdots +\underset{V}{\int }d{x}_{2n-1}\wedge d{x}_{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 2n isomorfik terhadap struktur simplektis standar pada himpunan terbuka ℝ²ⁿ. 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²(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

Templat:Quotebox 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 Templat:Harvtxt, 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. Templat:Clear

Lihat pula

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

Referensi

• Templat:Cite book
• Templat:Cite book
• Templat:Cite book (An undergraduate level introduction.)
• Templat:Cite book
• Templat:Cite journal
• Templat:Cite book Reprinted by Princeton University Press (1997). Templat:ISBN. Templat:MR.

Pranala luar

• Templat:Springer