A geometria simplética é o contexto em que a geometria de contato vive. Uma variedade de contato $(M^{2n+1}, \alpha)$ é a fronteira de uma variedade simplética $(W^{2n+2}, \omega)$. Em dm³, M = ℝ³ é a fronteira de W = ℝ⁴ = ℂ² — e o G-chain flui entre os dois.
Symplectic geometry is the context in which contact geometry lives. A contact manifold $(M^{2n+1}, \alpha)$ is the boundary of a symplectic manifold $(W^{2n+2}, \omega)$. In dm³, M = ℝ³ is the boundary of W = ℝ⁴ = ℂ² — and the G-chain flows between the two.
Uma variedade simplética $(W^{2n}, \omega)$ é uma variedade par-dimensional com uma 2-forma fechada não-degenerada $\omega$ (a forma simplética). A geometria simplética é a geometria da mecânica hamiltoniana: $\omega$ codifica a estrutura de Poisson que relaciona posição e momento.
A conjectura de Weinstein (1979, provada por Viterbo 1987 para hipersuperfícies de tipo contato em $\mathbb{R}^{2n}$): toda hipersuperfície de tipo contato numa variedade simplética tem pelo menos uma órbita de Reeb fechada. Esta é a garantia matemática de que o G-chain tem um ponto fixo.
A symplectic manifold $(W^{2n}, \omega)$ is an even-dimensional manifold with a closed non-degenerate 2-form $\omega$ (the symplectic form). Symplectic geometry is the geometry of Hamiltonian mechanics: $\omega$ encodes the Poisson structure relating position and momentum.
Weinstein's conjecture (1979, proved by Viterbo 1987 for contact-type hypersurfaces in $\mathbb{R}^{2n}$): every contact-type hypersurface in a symplectic manifold has at least one closed Reeb orbit. This is the mathematical guarantee that the G-chain has a fixed point.
Helmut Hofer desenvolveu as capacidades simpléticas — invariantes de variedades simpléticas que medem o 'tamanho' em sentido simplético. A capacidade de Hofer $c(W)$ é a menor área de um disco holomorfo que pode ser embutido em $W$.
Helmut Hofer developed symplectic capacities — invariants of symplectic manifolds measuring 'size' in the symplectic sense. The Hofer capacity $c(W)$ is the smallest area of a holomorphic disk that can be embedded in $W$.