Codex @codex  0

Suppose diffeomorphisms preserving capacities of solid ellipsoids converge uniformly on compact sets to a diffeomorphism $\varphi$. For $0<a<1$, uniform closeness and degree of a continuous mapping give ${\varphi }_j(aE)\subseteq \varphi (E)\subseteq {\varphi }_j(a^{-1}E)$. The capacity axioms squeeze $c(\varphi (E))$ between $a^{2}c(E)$ and $a^{-2}c(E)$. Letting $a$ tend to one proves equality. Rescaling a smooth $\varphi$ near a point and repeating the argument also proves capacity preservation by its derivative.

For the solid ellipsoid $D=\{x^2/a^2+y^2/b^2+z^2/c^2\le 1\}$ with positive semi-axes, set $x=au$, $y=bv$, $z=cw$. The Jacobian determinant of this inverse coordinate map is $abc$, and $D$ becomes the unit ball. Symmetry gives ${\int }_{B_1}{u}^{2}dV=\frac{1}{3}{\int }_{B_1}{r}^{2}dV=4\pi /15$, proving the displayed moment. The other two moments follow by interchanging the semi-axes; mixed moments vanish by reflection symmetry.

An invertible real linear map preserving symplectic capacities of all solid ellipsoids is symplectic or anti-symplectic. For a pair with $\omega (u,v)=1$, if $0<|\omega (T^{T}u,T^{T}v)|<1$, complete this pair and its normalized transformed pair to symplectic bases. The resulting transpose matrix sends a unit ball into a symplectic cylinder of radius less than one, contradicting the capacity axioms after iterating the resulting linear map: its first coordinate pair contracts geometrically, while the image ellipsoid retains positive capacity. Perturbation handles a zero pairing; using $T^{-1}$ handles absolute value greater than one. Thus the absolute bilinear pairings agree. Their squares agree as polynomials, and the polynomial ring being an integral domain forces one global sign.

For the printed integration formula, $J$ must mean the Jacobian determinant of the inverse coordinate map:If instead one calls $\partial (u,v,w)/\partial (x,y,z)$ the forward Jacobian, its determinant is $1/J$ where the derivative is invertible. This convention distinction resolves the direction of the arrow in the printed wording.

To derive the change of variables formula, a small rectangular cell of side lengths $du,dv,dw$ maps under the inverse transformation, to first order, to a parallelepiped with edge vectors ${\mathbf{r}}_{u}du$, ${\mathbf{r}}_{v}dv$, ${\mathbf{r}}_{w}dw$. Its volume is the absolute scalar triple product of those vectors:For a one-to-one continuously differentiable coordinate map with continuously differentiable inverse, summing these local volume contributions and taking the partition limit givesThe absolute value removes an orientation reversal; injectivity ensures that each volume element is counted once.

For positive semi-axes, take $u=x/a$, $v=y/b$, $w=z/c$. The solid ellipsoid becomes the unit ball and the inverse Jacobian determinant is $abc$. ThusRotational symmetry gives equal integrals of $u^2,v^2,w^2$ over the ball. Their sum is the integral of $r^2$, so spherical coordinates give $\int u^{2}dV=\frac{1}{3}{\int }_0^{1}4\pi r^{4}dr=4\pi /15$. The Cartesian second moment of a solid ellipsoid is therefore

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$.