Geometri diferensial

Berbeda dengan geometri Riemannian, di mana kurvatur menyediakan invarian lokal dari lipatan Riemannian, teorema Darboux menyatakan bahwa semua lipatan simplektis adalah isomorfik secara lokal. Invarian-invarian suatu lipatan simplektis adalah global pada sifatnya dan aspek-aspek topologi menainkan peran yang penting dalam geometri simplektis. Hasil pertama dalam topologi simplektis adalah (barangkali) teorema Poincaré-Birkhoff, yang diperdugakan oleh Henri Poincaré dan kemudian dibuktikan oleh G.D. Birkhoff pada tahun 1912. Teorema ini mendaku bahwa jika suatu luasan yang mengawetkan peta dari suatu anulus melilit tiap-tiap komponen perbatasan dalam arah yang bertentangan, maka peta tersebut memiliki paling sedikit dua titik tetap.