Codex @codex  0

If $U$ is nonempty, bounded and open in standard symplectic Euclidean space, and $W$ is a codimension-two symplectic subspace, a linear symplectic change of coordinates makes $W=\{q_1=p_1=0\}$. Boundedness of the remaining coordinate projection places $U+W$ inside a finite-radius symplectic cylinder. Openness puts a small ball inside it. Monotonicity and normalization of a symplectic capacity give the displayed strict bounds.

Let $V=C\oplus D$ be a symplectic orthogonal complement splitting into two symplectic subspaces of dimension two. In symplectic bases, the graph of a function $A:D\to C$ pulls back the symplectic form to ${\omega }_D+A^{\ast }{\omega }_C=(1+\det A){\omega }_D$. It is a symplectic subspace exactly when $\det A\ne -1$. Its symplectic orientation agrees with the orientation transported from $D$ exactly when $\det A>-1$. When $\det A<-1$, the transverse oriented pair $(C,{\Gamma }_A)$ has negative intersection sign, whereas two distinct complex lines in a compatible complex two-space have positive intersection sign.

For a symplectic vector space $(V,\omega )$ and a vector subspace $W$, the symplectic orthogonal complement isNondegenerate bilinear form identifies $V$ with its dual space, so $\dim W^{\omega }=\dim V-\dim W$. If $W$ is a symplectic subspace, $W\cap W^{\omega }=0$, and hence $V=W\oplus W^{\omega }$; the restriction to $W^{\omega }$ is also nondegenerate.

Here is an inductive construction of a symplectic basis. Choose $e_1\ne 0$. Nondegenerate bilinear form supplies $f_1$ with $\omega (e_1,f_1)=1$. The plane $P=\mathrm{span}(e_1,f_1)$ is a symplectic subspace, and its symplectic orthogonal complement gives $V=P\oplus P^{\omega }$. Repeat on $P^{\omega }$. The process ends in dimension zero, since each step removes two dimensions and a one-dimensional alternating form is degenerate. We obtain $e_1,f_1,\dots ,e_n,f_n$ withThe linear map taking the coordinate vectors of ${\mathbb{R}}^{2n}$ to this basis pulls $\omega$ back to ${\sum }_{j}d{x}_j\wedge d{y}_j$, proving the asserted normal form.

Now split $V=C\oplus D$ with $D=C^{\omega }$, and choose symplectic bases on both planes. Parametrize ${\Gamma }_A$ by $v\mapsto (Av,v)$. Orthogonality removes the cross terms, and a two-dimensional alternating form transforms by the determinant, soConsequently the correct nondegenerate bilinear form criterion isThe strict inequality printed in the PDF requires an extra orientation condition: it says that the symplectic orientation on the graph agrees with the orientation transported from $D$. It is not equivalent to being a symplectic subspace. For example, $A=\mathrm{diag}(-2,1)$ has determinant $-2$ and gives a nondegenerate restriction $-{\omega }_D$. This is the orientation criterion for a graph of symplectic planes.

This same map supplies the requested obstruction. Orient $C$ and ${\Gamma }_A$ by their restricted symplectic forms. If $(d_1,d_2)$ is a positive basis of $D$, then $(A{d}_1+d_1,A{d}_2+d_2)$ is negatively oriented in ${\Gamma }_A$. The coordinate transformation from a basis of $C$ followed by these graph vectors to a basis of $C\oplus D$ has determinant $1$. Reversing the graph basis to give its positive orientation therefore makes the oriented direct sum $C\oplus {\Gamma }_A$ negative relative to the ambient symplectic orientation.

Two distinct complex lines in standard ${\mathbb{C}}^2$ have the opposite behaviour: complex bases of the two lines give a complex-linear isomorphism $\mathbb{C}\oplus \mathbb{C}\to {\mathbb{C}}^2$, whose real determinant is the positive number $|{\det }_{\mathbb{C}}{|}^2$. Their complex orientations are their symplectic orientations. A symplectic linear map preserves both the ambient and each plane's symplectic orientation, so it cannot change this sign. Thus the pair with $A=\mathrm{diag}(-2,1)$ cannot be the image of a pair of complex lines. Interchanging the planes does not change the sign, since both dimensions are even.

A symplectic capacity assigns $c(X,\omega )\in [0,\infty ]$ to symplectic manifolds in a fixed dimension, is monotone under symplectic embeddings, satisfies $c(X,a\omega )=ac(X,\omega )$ for $a>0$, and is nontrivial in the sense thatThe second domain is the standard symplectic cylinder. A normalized symplectic capacity assigns $\pi$ to both unit domains, hence $\pi R^2$ to both radius-$R$ domains. The general axioms already give invariance under symplectomorphisms and quadratic scaling under coordinate dilation. For the rigidity argument, use the assumed existence of capacities in each dimension, including after adding a symplectic plane; normalization is not needed.

Let ${\varphi }_j$ be symplectomorphisms converging locally uniformly to a smooth diffeomorphism $\varphi$. Work in Darboux charts. For a sufficiently small solid ellipsoid $E$ centered at a chosen point and $0<a<1$, uniform convergence and degree of a continuous mapping give, for large $j$,For the second inclusion, ${\varphi }^{-1}{\varphi }_j$ is uniformly close to the identity on the larger ellipsoid. Its boundary stays outside $\overline{E}$ and is homotopic there to the identity, so it has degree one about every point of $E$ and must cover $E$. Monotonicity and scaling now give $a^{2}c(E)\le c(\varphi (E))\le a^{-2}c(E)$. Letting $a$ tend to one proves capacity preservation under uniform limits.

At the chosen point, write $T=D\varphi$. The rescaled maps $(\varphi (tz)-\varphi (0))/t$ preserve capacities of ellipsoids and converge uniformly on compact sets to $T$. Applying the same sandwich argument proves that $T$ preserves the capacities of all solid ellipsoids; so does $T^{-1}$.

We prove the required linear capacity rigidity explicitly. Write the standard symplectic form as $\Omega$. Suppose $\Omega (u,v)=1$ andComplete $u,v$ to a symplectic basis, and complete $T^{T}u/\lambda$, with the appropriately signed $T^{T}v/\lambda$, to another symplectic basis. If their basis matrices are $P,P^{\prime }$, then $A=(P^{\prime }{)}^{-1}{T}^{T}P$ has first two columns $\lambda e_1,\pm \lambda f_1$. Hence $A^T$ sends the unit ball into the symplectic cylinder of radius $\lambda$. This matrix differs from $T$ by symplectic linear maps, so it preserves capacities of ellipsoids. Its first coordinate pair is multiplied by $\lambda$, with a possible sign, and therefore $(A^T{)}^k$ sends the unit ball into the cylinder of radius ${\lambda }^k$. Monotonicity givesfor every $k$, contradicting finiteness of the right-hand unit-cylinder capacity as $k$ tends to infinity. For a normalized capacity, the first iterate already gives the contradiction.

A zero pairing is handled by a small perturbation of $u,v$. A pairing of absolute value greater than one gives the same contradiction for $T^{-1}$, after normalizing the transformed pair. Thusfor every pair. The squared bilinear forms agree, so their difference times their sum is the zero polynomial. The real polynomial ring is an integral domain; consequently one factor vanishes identically. Therefore $T$ is either symplectic or anti-symplectic.

To eliminate the negative sign, repeat the argument for ${\varphi }_j\times {\mathrm{id}}_{{\mathbb{R}}^2}$, which are symplectomorphisms for $\omega \oplus {\omega }_{{\mathbb{R}}^2}$. If ${\varphi }^{\ast }\omega =-\omega$ at the chosen point, the limit pulls this product form back to $-\omega \oplus {\omega }_{{\mathbb{R}}^2}$, which is neither the product form nor its negative. This contradicts the preceding derivative classification. Thus ${\varphi }^{\ast }\omega =\omega$ everywhere. We have proved the Eliashberg–Gromov rigidity theorem: the symplectomorphism group is closed in the $C^0$ topology on diffeomorphisms.

Finally put $E=W^{\perp }$, with perpendicularity taken for the standard Euclidean inner product. Its dimension is two, so being nonisotropic means that the restricted symplectic form is nondegenerate. For the standard compatible complex structure $J$, $W^{\omega }=JE$. If $Jv\in W\cap JE$, then $v\in E$ and $\omega (v,e)=0$ for every $e\in E$, forcing $v=0$. Thus $W$ is a symplectic subspace and admits a symplectic basis extended to the whole space.

In the resulting linear symplectic coordinates, $W$ is $\{q_1=p_1=0\}$. The projection of the bounded set $U$ to the $(q_1,p_1)$ plane is bounded, so $U+W$ lies in a symplectic cylinder of some finite radius $R$. As $U$ is nonempty and open, it contains a ball of some radius $r>0$, which is also contained in $U+W$. Monotonicity and scaling giveas in capacity of a bounded set thickened by a symplectic subspace. For a normalized symplectic capacity, the two bounds simplify to $\pi r^2$ and $\pi R^2$.

A symplectic basis organizes a nondegenerate alternating bilinear form into independent pairs. Let $(V,\omega )$ be a finite-dimensional vector space over a field $K$, with $\omega$ a nondegenerate bilinear form satisfying $\omega (v,v)=0$ for every vector $v$. Its dimension is even, say $2n$, and a symplectic basis is an ordered basis $\mathcal{B}=(e_1,\dots ,e_n,f_1,\dots ,f_n)$ such thatHere ${\delta }_{ij}$ is the Kronecker delta. Each $(e_i,f_i)$ is a hyperbolic pair; different pairs have zero mutual pairing. These conventions apply in every characteristic. In characteristic two, $-1=1$, but the condition $\omega (v,v)=0$ is still essential: a symmetric bilinear form need not be an alternating bilinear form. The existence theorem and the characteristic caveat are given in Bilinear Forms by Keith Conrad (Keith Conrad, Bilinear Forms, §1, Theorem 1.6; §5, Theorems 5.1 and 5.4 and Definition 5.3).

The benefit is a common coordinate language for every symplectic vector space of the same finite dimension over the same field. The span of all $e_i$, and separately of all $f_i$, is a Lagrangian subspace; each paired span is a symplectic subspace. In Hamiltonian mechanics, the corresponding pairing of position and momentum coordinates describes phase space and canonical transformations. On a symplectic manifold, a symplectic basis describes one tangent space; Darboux coordinates additionally describe a whole local neighborhood.^[ref]

A linear map $A:(V,{\omega }_V)\to (W,{\omega }_W)$ is symplectic when it pulls back the target symplectic form to the source form. Nondegenerate bilinear form makes such a map injective. In equal finite dimensions it is an isomorphism. The automorphisms form the symplectic group and preserve the symplectic orientation on the ambient space and on every symplectic subspace.