Pseudo-injectivity radius conjecture for the symplectic two-sphere

Let (S2,ωst)(S^2,\omega_{st}) be the symplectic two-sphere normalized by

S2ωst=1.\int_{S^2}\omega_{st}=1.

Let inj(M,ω)inj(M,\omega) be the pseudo-injectivity radius, namely the supremum of the radii rr such that ϕ~js<r|\widetilde{\phi}|_j^s<r implies that the space of quasi-flat morphisms in P(id,ϕ~)\mathcal{P}(id,\widetilde{\phi}) is nonempty and contractible. For ϵ>0\epsilon>0, let B(1ϵ)B(1-\epsilon) denote the Hofer (1ϵ)(1-\epsilon)-ball in Ham(S2,ωst)\operatorname{Ham}(S^2,\omega_{st}). Pseudo-injectivity radius conjecture.

inj(S2,ωst)=1.inj(S^2,\omega_{st})=1.

Moreover, the space of quasi-flat morphisms from idid to ϕ\phi over each ϕB(1ϵ)\phi\in B(1-\epsilon) forms a Serre fibration over B(1ϵ)B(1-\epsilon). This conjecture concerns the local topology of quasi-flat morphisms near the identity in Hofer geometry; the source presents it as a further conjectural application, and no resolution is supplied.

Sources & referencesView supporting material

Primary source

Yasha Savelyev, “Spectral geometry of the group of Hamiltonian symplectomorphisms”, arXiv:1007.3213 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.