Configuration Spaces, Multijet Transversality, and the Square-Peg Problem

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Cantarella, Jason, Denne, Elizabeth, McCleary, John
Format: Preprint
Publié: 2021
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866914051462791168
author Cantarella, Jason
Denne, Elizabeth
McCleary, John
author_facet Cantarella, Jason
Denne, Elizabeth
McCleary, John
contents 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 $\mathbb{R}^n$ where each simple closed curve has an odd number of inscribed square-like quadrilaterals.
format Preprint
id arxiv_https___arxiv_org_abs_2103_07506
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle Configuration Spaces, Multijet Transversality, and the Square-Peg Problem
Cantarella, Jason
Denne, Elizabeth
McCleary, John
Geometric Topology
Primary 53A04, Secondary 55R80, 57Q65, 58A20, 51M04
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 $\mathbb{R}^n$ where each simple closed curve has an odd number of inscribed square-like quadrilaterals.
title Configuration Spaces, Multijet Transversality, and the Square-Peg Problem
topic Geometric Topology
Primary 53A04, Secondary 55R80, 57Q65, 58A20, 51M04
url https://arxiv.org/abs/2103.07506