{"title":"Completeness and Geodesic Distance Properties for Fractional Sobolev Metrics on Spaces of Immersed Curves.","authors":"Martin Bauer, Patrick Heslin, Cy Maor","doi":"10.1007/s12220-024-01652-3","DOIUrl":"https://doi.org/10.1007/s12220-024-01652-3","url":null,"abstract":"<p><p>We investigate the geometry of the space of immersed closed curves equipped with reparametrization-invariant Riemannian metrics; the metrics we consider are Sobolev metrics of possible fractional-order <math><mrow><mi>q</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></math>. We establish the critical Sobolev index on the metric for several key geometric properties. Our first main result shows that the Riemannian metric induces a metric space structure if and only if <math><mrow><mi>q</mi><mo>></mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></math>. Our second main result shows that the metric is geodesically complete (i.e., the geodesic equation is globally well posed) if <math><mrow><mi>q</mi><mo>></mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></math>, whereas if <math><mrow><mi>q</mi><mo><</mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></math> then finite-time blowup may occur. The geodesic completeness for <math><mrow><mi>q</mi><mo>></mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></math> is obtained by proving metric completeness of the space of <math><msup><mi>H</mi><mi>q</mi></msup></math>-immersed curves with the distance induced by the Riemannian metric.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11068588/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140857102","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"<ArticleTitle xmlns:ns0=\"http://www.w3.org/1998/Math/MathML\">The <ns0:math><ns0:msub><ns0:mi>A</ns0:mi><ns0:mi>∞</ns0:mi></ns0:msub></ns0:math> Condition, <ns0:math><ns0:mi>ε</ns0:mi></ns0:math>-Approximators, and Varopoulos Extensions in Uniform Domains.","authors":"S Bortz, B Poggi, O Tapiola, X Tolsa","doi":"10.1007/s12220-024-01666-x","DOIUrl":"https://doi.org/10.1007/s12220-024-01666-x","url":null,"abstract":"<p><p>Suppose that <math><mrow><mi>Ω</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup></mrow></math>, <math><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></math>, is a uniform domain with <i>n</i>-Ahlfors regular boundary and <i>L</i> is a (not necessarily symmetric) divergence form elliptic, real, bounded operator in <math><mi>Ω</mi></math>. We show that the corresponding elliptic measure <math><msub><mi>ω</mi><mi>L</mi></msub></math> is quantitatively absolutely continuous with respect to surface measure of <math><mrow><mi>∂</mi><mi>Ω</mi></mrow></math> in the sense that <math><mrow><msub><mi>ω</mi><mi>L</mi></msub><mo>∈</mo><msub><mi>A</mi><mi>∞</mi></msub><mrow><mo>(</mo><mi>σ</mi><mo>)</mo></mrow></mrow></math> if and only if any bounded solution <i>u</i> to <math><mrow><mi>L</mi><mi>u</mi><mo>=</mo><mn>0</mn></mrow></math> in <math><mi>Ω</mi></math> is <math><mi>ε</mi></math>-approximable for any <math><mrow><mi>ε</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></mrow></math>. By <math><mi>ε</mi></math>-approximability of <i>u</i> we mean that there exists a function <math><mrow><mi>Φ</mi><mo>=</mo><msup><mi>Φ</mi><mi>ε</mi></msup></mrow></math> such that <math><mrow><msub><mrow><mo>‖</mo><mi>u</mi><mo>-</mo><mi>Φ</mi><mo>‖</mo></mrow><mrow><msup><mi>L</mi><mi>∞</mi></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub><mo>≤</mo><mi>ε</mi><msub><mrow><mo>‖</mo><mi>u</mi><mo>‖</mo></mrow><mrow><msup><mi>L</mi><mi>∞</mi></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub></mrow></math> and the measure <math><msub><mover><mi>μ</mi><mo>~</mo></mover><mi>Φ</mi></msub></math> with <math><mrow><mi>d</mi><mover><mi>μ</mi><mo>~</mo></mover><mo>=</mo><mrow><mo>|</mo><mi>∇</mi><mi>Φ</mi><mrow><mo>(</mo><mi>Y</mi><mo>)</mo></mrow><mo>|</mo></mrow><mspace></mspace><mi>d</mi><mi>Y</mi></mrow></math> is a Carleson measure with <math><msup><mi>L</mi><mi>∞</mi></msup></math> control over the Carleson norm. As a consequence of this approximability result, we show that boundary <math><mrow><mspace></mspace><mtext>BMO</mtext><mspace></mspace></mrow></math> functions with compact support can have Varopoulos-type extensions even in some sets with unrectifiable boundaries, that is, smooth extensions that converge non-tangentially back to the original data and that satisfy <math><msup><mi>L</mi><mn>1</mn></msup></math>-type Carleson measure estimates with <math><mrow><mspace></mspace><mtext>BMO</mtext><mspace></mspace></mrow></math> control over the Carleson norm. Our result complements the recent work of Hofmann and the third named author who showed the existence of these types of extensions in the presence of a quantitative rectifiability hypothesis.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11087277/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140913353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Leandro Arosio, Gian Maria Dall'Ara, Matteo Fiacchi
{"title":"Worm Domains are not Gromov Hyperbolic.","authors":"Leandro Arosio, Gian Maria Dall'Ara, Matteo Fiacchi","doi":"10.1007/s12220-023-01320-y","DOIUrl":"10.1007/s12220-023-01320-y","url":null,"abstract":"<p><p>We show that Worm domains are not Gromov hyperbolic with respect to the Kobayashi distance.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10232651/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9578918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the Normal Stability of Triharmonic Hypersurfaces in Space Forms.","authors":"Volker Branding","doi":"10.1007/s12220-023-01414-7","DOIUrl":"10.1007/s12220-023-01414-7","url":null,"abstract":"<p><p>This article is concerned with the stability of triharmonic maps and in particular triharmonic hypersurfaces. After deriving a number of general statements on the stability of triharmonic maps we focus on the stability of triharmonic hypersurfaces in space forms, where we pay special attention to their normal stability. We show that triharmonic hypersurfaces of constant mean curvature in Euclidean space are weakly stable with respect to normal variations while triharmonic hypersurfaces of constant mean curvature in hyperbolic space are stable with respect to normal variations. For the case of a spherical target we show that the normal index of the small proper triharmonic hypersphere <math><mrow><mi>ϕ</mi><mo>:</mo><msup><mrow><mi>S</mi></mrow><mi>m</mi></msup><mrow><mo>(</mo><mn>1</mn><mo>/</mo><msqrt><mn>3</mn></msqrt><mo>)</mo></mrow><mo>↪</mo><msup><mrow><mi>S</mi></mrow><mrow><mi>m</mi><mo>+</mo><mn>1</mn></mrow></msup></mrow></math> is equal to one and make some comments on the normal stability of the proper triharmonic Clifford torus.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10465648/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"10509996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Multicomplexes on Carnot Groups and Their Associated Spectral Sequence.","authors":"Antonio Lerario, Francesca Tripaldi","doi":"10.1007/s12220-023-01259-0","DOIUrl":"https://doi.org/10.1007/s12220-023-01259-0","url":null,"abstract":"<p><p>The aim of this paper is to give a thorough insight into the relationship between the Rumin complex on Carnot groups and the spectral sequence obtained from the filtration on forms by homogeneous weights that computes the de Rham cohomology of the underlying group.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10119276/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9389909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Enrico Le Donne, Daniele Morbidelli, Séverine Rigot
{"title":"Horizontally Affine Functions on Step-2 Carnot Algebras.","authors":"Enrico Le Donne, Daniele Morbidelli, Séverine Rigot","doi":"10.1007/s12220-023-01360-4","DOIUrl":"10.1007/s12220-023-01360-4","url":null,"abstract":"<p><p>In this paper, we introduce the notion of horizontally affine, h-affine in short, function and give a complete description of such functions on step-2 Carnot algebras. We show that the vector space of h-affine functions on the free step-2 rank-<i>n</i> Carnot algebra is isomorphic to the exterior algebra of <math><msup><mrow><mi>R</mi></mrow><mi>n</mi></msup></math>. Using that every Carnot algebra can be written as a quotient of a free Carnot algebra, we shall deduce from the free case a description of h-affine functions on arbitrary step-2 Carnot algebras, together with several characterizations of those step-2 Carnot algebras where h-affine functions are affine in the usual sense of vector spaces. Our interest for h-affine functions stems from their relationship with a class of sets called precisely monotone, recently introduced in the literature, as well as from their relationship with minimal hypersurfaces.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10492776/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"10589130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Phillip Baumann, Idriss Mazari-Fouquer, Kevin Sturm
{"title":"The Topological State Derivative: An Optimal Control Perspective on Topology Optimisation.","authors":"Phillip Baumann, Idriss Mazari-Fouquer, Kevin Sturm","doi":"10.1007/s12220-023-01295-w","DOIUrl":"10.1007/s12220-023-01295-w","url":null,"abstract":"<p><p>In this paper, we introduce the topological state derivative for general topological dilatations and explore its relation to standard optimal control theory. We show that for a class of partial differential equations, the shape-dependent state variable can be differentiated with respect to the topology, thus leading to a linearised system resembling those occurring in standard optimal control problems. However, a lot of care has to be taken when handling the regularity of the solutions of this linearised system. In fact, we should expect different notions of (very) weak solutions, depending on whether the main part of the operator or its lower order terms are being perturbed. We also study the relationship with the topological state derivative, usually obtained through classical topological expansions involving boundary layer correctors. A feature of the topological state derivative is that it can either be derived via Stampacchia-type regularity estimates or alternately with classical asymptotic expansions. It should be noted that our approach is flexible enough to cover more than the usual case of point perturbations of the domain. In particular, and in the line of (Delfour in SIAM J Control Optim 60(1):22-47, 2022; J Convex Anal 25(3):957-982, 2018), we deal with more general dilatations of shapes, thereby yielding topological derivatives with respect to curves, surfaces or hypersurfaces. To draw the connection to usual topological derivatives, which are typically expressed with an adjoint equation, we show how usual first-order topological derivatives of shape functionals can be easily computed using the topological state derivative.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10185627/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9544949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Szegő Kernel Asymptotics on Complete Strictly Pseudoconvex CR Manifolds.","authors":"Chin-Yu Hsiao, George Marinescu, Huan Wang","doi":"10.1007/s12220-022-00990-4","DOIUrl":"https://doi.org/10.1007/s12220-022-00990-4","url":null,"abstract":"<p><p>We prove a Bochner-Kodaira-Nakano formula and establish Szegő kernel expansions on complete strictly pseudoconvex CR manifolds with transversal CR <math><mi>R</mi></math> -action under certain natural geometric conditions. As a consequence we show that such manifolds are locally CR embeddable.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9387902/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"40437983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analytic Torsion of Generic Rank Two Distributions in Dimension Five.","authors":"Stefan Haller","doi":"10.1007/s12220-022-00987-z","DOIUrl":"10.1007/s12220-022-00987-z","url":null,"abstract":"<p><p>We propose an analytic torsion for the Rumin complex associated with generic rank two distributions on closed 5-manifolds. This torsion behaves as expected with respect to Poincaré duality and finite coverings. We establish anomaly formulas, expressing the dependence on the sub-Riemannian metric and the 2-plane bundle in terms of integrals over local quantities. For certain nilmanifolds, we are able to show that this torsion coincides with the Ray-Singer analytic torsion, up to a constant.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9325871/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"40574965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Hermitian-Yang-Mills Connections on Collapsing Elliptically Fibered <i>K</i>3 Surfaces.","authors":"Ved Datar, Adam Jacob","doi":"10.1007/s12220-021-00808-9","DOIUrl":"https://doi.org/10.1007/s12220-021-00808-9","url":null,"abstract":"<p><p>Let <math><mrow><mi>X</mi> <mo>→</mo> <msup><mrow><mi>P</mi></mrow> <mn>1</mn></msup> </mrow> </math> be an elliptically fibered <i>K</i>3 surface, admitting a sequence <math><msub><mi>ω</mi> <mi>i</mi></msub> </math> of Ricci-flat metrics collapsing the fibers. Let <i>V</i> be a holomorphic <i>SU</i>(<i>n</i>) bundle over <i>X</i>, stable with respect to <math><msub><mi>ω</mi> <mi>i</mi></msub> </math> . Given the corresponding sequence <math><msub><mi>Ξ</mi> <mi>i</mi></msub> </math> of Hermitian-Yang-Mills connections on <i>V</i>, we prove that, if <i>E</i> is a generic fiber, the restricted sequence <math> <mrow><msub><mi>Ξ</mi> <mi>i</mi></msub> <msub><mrow><mo>|</mo></mrow> <mi>E</mi></msub> </mrow> </math> converges to a flat connection <math><msub><mi>A</mi> <mn>0</mn></msub> </math> . Furthermore, if the restriction <math> <msub><mrow><mi>V</mi> <mo>|</mo></mrow> <mi>E</mi></msub> </math> is of the form <math> <mrow><msubsup><mo>⊕</mo> <mrow><mi>j</mi> <mo>=</mo> <mn>1</mn></mrow> <mi>n</mi></msubsup> <msub><mi>O</mi> <mi>E</mi></msub> <mrow><mo>(</mo> <msub><mi>q</mi> <mi>j</mi></msub> <mo>-</mo> <mn>0</mn> <mo>)</mo></mrow> </mrow> </math> for <i>n</i> distinct points <math> <mrow><msub><mi>q</mi> <mi>j</mi></msub> <mo>∈</mo> <mi>E</mi></mrow> </math> , then these points uniquely determine <math><msub><mi>A</mi> <mn>0</mn></msub> </math> .</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8741718/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"39882092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}