Symplectomorphisms of exotic discs

We construct a symplectic structure on a disc that admits a compactly supported symplectomorphism which is not smoothly isotopic to the identity. The symplectic structure has an overtwisted concave end; the construction of the symplectomorphism is based on a unitary version of the Milnor--Munkres pairing. En route, we introduce a symplectic analogue of the Gromoll filtration. The Appendix by S. Courte shows that for our symplectic structure the map from compactly supported symplectic mapping classes to compactly supported smooth mapping classes is in fact surjective.