For the distance function from any closed subset of any complete Finsler manifold, we prove that the singular set is equal to a countable union of delta-convex hypersurfaces up to an exceptional set of codimension two. In addition, in dimension two, the whole singular set is equal to a countable union of delta-convex Jordan arcs up to isolated points. These results are new even in the standard Euclidean space and shown to be optimal in view of regularity.
{"title":"Delta-convex structure of the singular set of distance functions","authors":"Tatsuya Miura, Minoru Tanaka","doi":"10.1002/cpa.22195","DOIUrl":"10.1002/cpa.22195","url":null,"abstract":"<p>For the distance function from any closed subset of any complete Finsler manifold, we prove that the singular set is equal to a countable union of delta-convex hypersurfaces up to an exceptional set of codimension two. In addition, in dimension two, the whole singular set is equal to a countable union of delta-convex Jordan arcs up to isolated points. These results are new even in the standard Euclidean space and shown to be optimal in view of regularity.</p>","PeriodicalId":10601,"journal":{"name":"Communications on Pure and Applied Mathematics","volume":"77 9","pages":"3631-3669"},"PeriodicalIF":3.1,"publicationDate":"2024-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140063984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove that every non-degenerate minimal submanifold of codimension two can be obtained as the energy concentration set of a family of critical maps for the (rescaled) Ginzburg–Landau functional. The proof is purely variational, and follows the strategy laid out by Jerrard and Sternberg, extending a recent result for geodesics by Colinet–Jerrard–Sternberg. The same proof applies also to the