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.^[1]

Potret fase dari oskilator Van der Pol, sebuah sistem satu dimensional. Ruang fase adalah obnyek asli dari pembelajaran dalam geometri 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.^[2]

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

${\displaystyle \omega =dp\wedge dq}$

dan merupakan bentuk wilayah yang mengukur luas L dari suatu wilayah S dalam bidang melalui integrasi:

${\displaystyle L=\int _{S}\omega .}$

The area is important because as conservative dynamical systems evolve in time, this area is invariant.^[2]

Geometri simplektis berdimensi lebih tinggi didefinisikan secara analogis. Geometri simplektis berdimensi 2n terbentuk dari pasangan arah

${\displaystyle ((x_{1},x_{2}),(x_{3},x_{4}),\ldots (x_{2n-1},x_{2n}))}$

dalam lipatan dimensi 2n bersama dengan bentuk simplektis

${\displaystyle \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 2n - V di ruang angkasa sebagai jumlah area proyeksi V ke masing-masing bidang yang dibentuk oleh pasangan arah^[2]

${\displaystyle 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 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

Nama "kelompok kompleks" yang saya anjurkan sebelumnya dalam kaitannya dengan kompleks garis, karena ini didefinisikan dengan lenyapnya bentuk-bentuk bilinear antisimetris, telah menjadi lebih dan lebih memalukan melalui tabrakan dengan kata "kompleks" dalam konotasi bilangan kompleks. Karena itu saya mengusulkan untuk menggantinya dengan kata sifat Yunani yang sesuai "simplektis". Dickson menyebut kelompok itu sebagai "kelompok linier Abelian" sebagai penghormatan kepada Abel yang pertama kali mempelajarinya.

(Weyl 1939, hlm. 165)

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 (Weyl 1939, footnote, p.165), 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-.^[3] 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

1. Hartnett, Kevin (February 9, 2017). "A Fight to Fix Geometry's Foundations". Quanta Magazine. Diarsipkan dari versi asli tanggal 2017-03-15. Diakses tanggal 2017-09-26.
2. McDuff, Dusa (2010), "What is Symplectic Geometry?" (PDF), dalam Hobbs, Catherine; Paycha, Sylvie, European Women in Mathematics – Proceedings of the 13th General Meeting, World Scientific, hlm. 33–51, ISBN 9789814277686, diarsipkan dari versi asli (PDF) tanggal 2014-10-06, diakses tanggal 5 October 2014
3. The Symplectization of Science Diarsipkan 2011-06-13 di Wayback Machine., Mark J. Gotay and James A. Isenberg, p. 13.

Referensi

• Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. London: Benjamin-Cummings. ISBN 978-0-8053-0102-1.
• McDuff, Dusa; Salamon, D. (1998). Introduction to Symplectic Topology. Oxford University Press. ISBN 978-0-19-850451-1.
• Fomenko, A. T. (1995). Symplectic Geometry (edisi ke-2nd). Gordon and Breach. ISBN 978-2-88124-901-3. (An undergraduate level introduction.)
• de Gosson, Maurice A. (2006). Symplectic Geometry and Quantum Mechanics. Basel: Birkhäuser Verlag. ISBN 978-3-7643-7574-4.
• Weinstein, Alan (1981). "Symplectic Geometry" (PDF). Bulletin of the American Mathematical Society. 5 (1): 1–13. doi:10.1090/s0273-0979-1981-14911-9. Diarsipkan (PDF) dari versi asli tanggal 2023-07-31. Diakses tanggal 2017-09-26.
• Weyl, Hermann (1939). The Classical Groups. Their Invariants and Representations. Reprinted by Princeton University Press (1997). ISBN 0-691-05756-7. MR0000255.

Pranala luar

• Hazewinkel, Michiel, ed. (2001) [1994], "Symplectic structure", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4