Cyclic quadrilaterals and smooth Jordan curves (Q6091097)

After having solved the long-standing rectangular peg problem in [\textit{J. E. Greene} and \textit{A. Lobb}, Ann. Math. (2) 194, No. 2, 509--517 (2021; Zbl 1472.51010)], the authors prove in this paper a like-minded conjecture stated in [\textit{B. Matschke}, Notices Am. Math. Soc. 61, No. 4, 346--352 (2014; Zbl 1338.51017)], namely that ``Every cyclic quadrilateral inscribes in every smooth Jordan curve in the Euclidean plane.'' One says that quadrilateral \(Q\) inscribes in a smooth Jordan curve \(\gamma\) in the Euclidean plane if there exists an orientation-preserving similarity of the plane taking the vertices of \(Q\) to \(\gamma\). Given that \(\gamma\) could be a circle, the cyclic quadrilaterals represent the largest class of quadrilaterals to which the rectangular peg problem could possibly be generalized. Use is made of Lagrangian tori and of a theorem discovered independently in [\textit{C. Viterbo}, Invent. Math. 100, No. 2, 301--320 (1990; Zbl 0727.58015); \textit{L. V. Polterovich}, Trans. Am. Math. Soc. 325, No. 1, 241--248 (1991; Zbl 0719.53016)], which states that an embedded Lagrangian torus in \({\mathbb C}^2\) has minimum Maslov number 2.