2021/03/12 by Jason Cantarella, Elizabeth Denne, Cantarella, Jason +3
Computer Science · Mathematics · #51M04 #57Q65 #58A20 #Computational Geometry and Mesh Generation #FOS: Mathematics #Geometric Analysis and Curvature Flows #Geometric Topology (math.GT) #Geometric and Algebraic Topology #Primary 53A04 #Secondary 55R80
paper · doi:10.48550/arxiv.2103.07506
openalex publication_date 2021/03/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove a transversality "lifting property" for compactified configuration spaces as an application of the multijet transversality theorem: given a submanifold of configurations of points on an embedding of a compact manifold M in Euclidean space, we can find a dense set of smooth embeddings of M for which the corresponding configuration space of points is transverse to any submanifold of the configuration space of points in Euclidean space, as long as the two submanifolds of compactified configuration space are boundary-disjoint. We use this setup to provide an attractive proof of the square-peg problem: there is a dense family of smoothly embedded circles in the plane where each simple closed curve has an odd number of inscribed squares, and there is a dense family of smoothly embedded circles in ℝn where each simple closed curve has an odd number of inscribed square-like quadrilaterals.