Advances in Mathematics最新文献

{"title":"Almost splitting maps, transformation theorems and smooth fibration theorems","authors":"Hongzhi Huang ,&nbsp;Xian-Tao Huang","doi":"10.1016/j.aim.2024.109914","DOIUrl":"10.1016/j.aim.2024.109914","url":null,"abstract":"<div><p>In this paper, we introduce a notion, called generalized Reifenberg condition, under which we prove a smooth fibration theorem for collapsed manifolds with Ricci curvature bounded below, which gives a unified proof of smooth fibration theorems in many previous works (including the ones proved by Fukaya and Yamaguchi respectively). A key tool in the proof of this fibration theorem is the transformation technique for almost splitting maps, which originates from Cheeger-Naber (<span><span>[16]</span></span>) and Cheeger-Jiang-Naber (<span><span>[14]</span></span>). More precisely, we show that a transformation theorem of Cheeger-Jiang-Naber (see Proposition 7.7 in <span><span>[14]</span></span>) holds for possibly collapsed manifolds. Some other applications of the transformation theorems are given in this paper.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142137458","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}

{"title":"Vertex algebras with big centre and a Kazhdan-Lusztig correspondence","authors":"Boris L. Feigin ,&nbsp;Simon D. Lentner","doi":"10.1016/j.aim.2024.109904","DOIUrl":"10.1016/j.aim.2024.109904","url":null,"abstract":"<div><p>We study the semiclassical limit <span><math><mi>κ</mi><mo>→</mo><mo>∞</mo></math></span> of the generalized quantum Langlands kernel associated to a Lie algebra <span><math><mi>g</mi></math></span> and an integer level <em>p</em>. This vertex algebra acquires a big centre, containing the ring of functions over the space of <span><math><mi>g</mi></math></span>-connections. We conjecture that the fibre over the zero connection is the Feigin-Tipunin vertex algebra, whose category of representations should be equivalent to the small quantum group, and that the other fibres are precisely its twisted modules, and that the entire category of representations is related to the quantum group with a big centre. In this sense we present a generalized Kazhdan-Lusztig conjecture, involving deformations by any <span><math><mi>g</mi></math></span>-connection. We prove our conjectures in small cases <span><math><mo>(</mo><mi>g</mi><mo>,</mo><mn>1</mn><mo>)</mo></math></span> and <span><math><mo>(</mo><msub><mrow><mi>sl</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mn>2</mn><mo>)</mo></math></span> by explicitly computing all vertex algebras and categories involved.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142130176","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}

{"title":"Ergodic theory on coded shift spaces","authors":"Tamara Kucherenko ,&nbsp;Martin Schmoll ,&nbsp;Christian Wolf","doi":"10.1016/j.aim.2024.109913","DOIUrl":"10.1016/j.aim.2024.109913","url":null,"abstract":"<div><p>We study ergodic-theoretic properties of coded shift spaces. A coded shift space is defined as a closure of all bi-infinite concatenations of words from a fixed countable generating set. We derive sufficient conditions for the uniqueness of measures of maximal entropy and equilibrium states of Hölder continuous potentials based on the partition of the coded shift into its concatenation set (sequences that are concatenations of generating words) and its residual set (sequences added under the closure). In this case we provide a simple explicit description of the measure of maximal entropy. We also obtain flexibility results for the entropy on the concatenation and residual sets. Finally, we prove a local structure theorem for intrinsically ergodic coded shift spaces which shows that our results apply to a larger class of coded shift spaces compared to previous works by Climenhaga <span><span>[9]</span></span>, Climenhaga and Thompson <span><span>[10]</span></span>, <span><span>[11]</span></span>, and Pavlov <span><span>[25]</span></span>.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142130097","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}

{"title":"Zero-temperature chaos in bidimensional models with finite-range potentials","authors":"Sebastián Barbieri ,&nbsp;Rodrigo Bissacot ,&nbsp;Gregório Dalle Vedove ,&nbsp;Philippe Thieullen","doi":"10.1016/j.aim.2024.109906","DOIUrl":"10.1016/j.aim.2024.109906","url":null,"abstract":"<div><p>We construct a finite-range potential on a bidimensional full shift on a finite alphabet that exhibits a zero-temperature chaotic behavior as introduced by van Enter and Ruszel. This is the phenomenon where there exists a sequence of temperatures that converges to zero for which the whole set of equilibrium measures at these given temperatures oscillates between two sets of ground states. Brémont's work shows that the phenomenon of non-convergence does not exist for finite-range potentials in dimension one for finite alphabets; Leplaideur obtained a different proof for the same fact. Chazottes and Hochman provided the first example of non-convergence in higher dimensions <span><math><mi>d</mi><mo>≥</mo><mn>3</mn></math></span>; we extend their result for <span><math><mi>d</mi><mo>=</mo><mn>2</mn></math></span> and highlight the importance of two estimates of recursive nature that are crucial for this proof: the relative complexity and the reconstruction function of an extension.</p><p>We note that a different proof of this result was found by Chazottes and Shinoda, at around the same time that this article was initially submitted and that a strong generalization has been found by Gayral, Sablik and Taati.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142121638","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}

{"title":"Actions of cusp forms on holomorphic discrete series and von Neumann algebras","authors":"Jun Yang","doi":"10.1016/j.aim.2024.109912","DOIUrl":"10.1016/j.aim.2024.109912","url":null,"abstract":"&lt;div&gt;&lt;p&gt;A holomorphic discrete series representation &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;L&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;H&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; of a connected semi-simple real Lie group &lt;em&gt;G&lt;/em&gt; is associated with an irreducible representation &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; of its maximal compact subgroup &lt;em&gt;K&lt;/em&gt;. The underlying space &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;H&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; can be realized as certain holomorphic &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;-valued functions on the bounded symmetric domain &lt;span&gt;&lt;math&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mo&gt;≅&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;/&lt;/mo&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. By the Berezin quantization, we transfer &lt;span&gt;&lt;math&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;H&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; into &lt;span&gt;&lt;math&gt;&lt;mi&gt;End&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-valued functions on &lt;span&gt;&lt;math&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. For a lattice Γ of &lt;em&gt;G&lt;/em&gt;, we give the formula of a faithful normal tracial state on the commutant &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;L&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;′&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;/math&gt;&lt;/span&gt; of the group von Neumann algebra &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;L&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;″&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;/math&gt;&lt;/span&gt;. We find the Toeplitz operators &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;T&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; that are associated with essentially bounded &lt;span&gt;&lt;math&gt;&lt;mi&gt;End&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-valued functions &lt;em&gt;f&lt;/em&gt; on &lt;span&gt;&lt;math&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mo&gt;﹨&lt;/mo&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; generate the entire commutant &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;L&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;′&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;/math&gt;&lt;/span&gt;:&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;T&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;L&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;∞&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mo&gt;﹨&lt;/mo&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;End&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mtext&gt;w.o.&lt;/mtext&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;L&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;π&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;′&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;.&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt; For any cuspidal automorphic form &lt;em&gt;f&lt;/em&gt; defined on &lt;em&gt;G&lt;/em&gt; (or &lt;span&gt;&lt;math&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;) for Γ, we find the associated Toeplitz","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142122947","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}

{"title":"A comparison method for the fractional Laplacian and applications","authors":"Alireza Ataei ,&nbsp;Alireza Tavakoli","doi":"10.1016/j.aim.2024.109901","DOIUrl":"10.1016/j.aim.2024.109901","url":null,"abstract":"<div><p>We study the boundary behavior of solutions to fractional Laplacian. As the first result, the isolation of the first eigenvalue of the fractional Lane-Emden equation is proved in the bounded open sets with Wiener regular boundary. Then, a generalized Hopf's lemma and a global boundary Harnack inequality are proved for the fractional Laplacian.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S000187082400416X/pdfft?md5=bff3ab0b576373357ae665081f0d45e1&pid=1-s2.0-S000187082400416X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142096755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Geodesic planes in a geometrically finite end and the halo of a measured lamination","authors":"Tina Torkaman ,&nbsp;Yongquan Zhang","doi":"10.1016/j.aim.2024.109902","DOIUrl":"10.1016/j.aim.2024.109902","url":null,"abstract":"<div><p>Recent works <span><span>[22]</span></span>, <span><span>[23]</span></span>, <span><span>[3]</span></span>, <span><span>[33]</span></span> have shed light on the topological behavior of geodesic planes in the convex core of a geometrically finite hyperbolic 3-manifold <em>M</em> of infinite volume. In this paper, we focus on the remaining case of geodesic planes outside the convex core of <em>M</em>, giving a complete classification of their closures in <em>M</em>.</p><p>In particular, we show that the behavior is different depending on whether exotic roofs exist or not. Here an <em>exotic roof</em> is a geodesic plane contained in an end <em>E</em> of <em>M</em>, which limits on the convex core boundary ∂<em>E</em>, but cannot be separated from the core by a support plane of ∂<em>E</em>.</p><p>A necessary condition for the existence of exotic roofs is the existence of exotic rays for the bending lamination. Here an <em>exotic ray</em> is a geodesic ray that has a finite intersection number with a measured lamination <span><math><mi>L</mi></math></span> but is not asymptotic to any leaf nor eventually disjoint from <span><math><mi>L</mi></math></span>. We establish that exotic rays exist if and only if <span><math><mi>L</mi></math></span> is not a multicurve. The proof is constructive, and the ideas involved are important in the construction of exotic roofs.</p><p>We also show that the existence of geodesic rays satisfying a stronger condition than being exotic, phrased only in terms of the hyperbolic surface ∂<em>E</em> and the bending lamination, is sufficient for the existence of exotic roofs. As a result, we show that geometrically finite ends with exotic roofs exist in every genus. Moreover, in genus 1, when the end is homotopic to a punctured torus, a generic one (in the sense of Baire category) contains uncountably many exotic roofs.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142087956","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}

{"title":"Lie algebras arising from two-periodic projective complex and derived categories","authors":"Jiepeng Fang ,&nbsp;Yixin Lan ,&nbsp;Jie Xiao","doi":"10.1016/j.aim.2024.109903","DOIUrl":"10.1016/j.aim.2024.109903","url":null,"abstract":"&lt;div&gt;&lt;p&gt;Let &lt;em&gt;A&lt;/em&gt; be a finite-dimensional &lt;span&gt;&lt;math&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;-algebra of finite global dimension and &lt;span&gt;&lt;math&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; be the category of finitely generated right &lt;em&gt;A&lt;/em&gt;-modules. By using of the category of two-periodic projective complexes &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;, we construct the motivic Bridgeland's Hall algebra for &lt;span&gt;&lt;math&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, where structure constants are given by Poincaré polynomials in &lt;em&gt;t&lt;/em&gt;, then construct a &lt;span&gt;&lt;math&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;-Lie subalgebra &lt;span&gt;&lt;math&gt;&lt;mi&gt;g&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;⊕&lt;/mo&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; at &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;, where &lt;span&gt;&lt;math&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; is constructed by stack functions about indecomposable radical complexes, and &lt;span&gt;&lt;math&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; is by contractible complexes. For the stable category &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;, we construct its moduli spaces and a &lt;span&gt;&lt;math&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;-Lie algebra &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;g&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;˜&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;˜&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;mo&gt;⊕&lt;/mo&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;˜&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt;, where &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;˜&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt; is constructed by support-indecomposable constructible functions, and &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;˜&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt; is by the Grothendieck group of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. We prove that the natural functor &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;→&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; together with the natural isomorphism between Grothendieck groups of &lt;span&gt;&lt;math&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; induces a Lie algebra isomorphism &lt;span&gt;&lt;math&gt;&lt;mi&gt;g&lt;/mi&gt;&lt;mo&gt;≅&lt;/mo&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;g&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;˜&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt;. This makes clear that the structure constants at &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; provided by Bridgeland in &lt;span&gt;&lt;span&gt;[5]&lt;/span&gt;&lt;/span&gt; in terms of exact structure of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; precisely equal to that given in &lt;span&gt;&lt;span&gt;[30]&lt;/span&gt;&lt;/span&gt; in terms of triangulated category structure o","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142087955","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}

{"title":"Sharp decay characterization for the compressible Navier-Stokes equations","authors":"Lorenzo Brandolese ,&nbsp;Ling-Yun Shou ,&nbsp;Jiang Xu ,&nbsp;Ping Zhang","doi":"10.1016/j.aim.2024.109905","DOIUrl":"10.1016/j.aim.2024.109905","url":null,"abstract":"<div><p>The low-frequency <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> assumption has been extensively applied to the large-time asymptotics of solutions to the compressible Navier-Stokes equations and incompressible Navier-Stokes equations since the classical efforts due to Kawashima, Matsumura, Nishida, Ponce, Schonbek and Wiegner. In this paper, we establish a sharp decay characterization for the compressible Navier-Stokes equations in the critical <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span> framework. Precisely, it is proved that the Besov space <span><math><msubsup><mrow><mover><mrow><mi>B</mi></mrow><mrow><mo>˙</mo></mrow></mover></mrow><mrow><mn>2</mn><mo>,</mo><mo>∞</mo></mrow><mrow><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msubsup></math></span>-boundedness condition (with <span><math><mfrac><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>−</mo><mfrac><mrow><mn>2</mn><mi>d</mi></mrow><mrow><mi>p</mi></mrow></mfrac><mo>≤</mo><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>&lt;</mo><mfrac><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>−</mo><mn>1</mn></math></span>) of the low-frequency part of initial perturbation is not only sufficient, but also necessary to achieve those upper bounds of time-decay estimates. Furthermore, we show that the upper and lower bounds of time-decay estimates hold if and only if the low-frequency part of initial perturbation belongs to a nontrivial subset of <span><math><msubsup><mrow><mover><mrow><mi>B</mi></mrow><mrow><mo>˙</mo></mrow></mover></mrow><mrow><mn>2</mn><mo>,</mo><mo>∞</mo></mrow><mrow><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msubsup></math></span>. To the best of our knowledge, our work is the first one addressing the inverse problem for the large-time asymptotics of compressible viscous fluids.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142087926","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}

{"title":"Existence of free boundary disks with constant mean curvature in R3","authors":"Da Rong Cheng","doi":"10.1016/j.aim.2024.109899","DOIUrl":"10.1016/j.aim.2024.109899","url":null,"abstract":"<div><p>Given a surface Σ in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> diffeomorphic to <span><math><msup><mrow><mi>S</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>, Struwe <span><span>[38]</span></span> proved that for almost every <em>H</em> below the mean curvature of the smallest sphere enclosing Σ, there exists a branched immersed disk which has constant mean curvature <em>H</em> and boundary meeting Σ orthogonally. We reproduce this result using a different approach and improve it under additional convexity assumptions on Σ. Specifically, when Σ itself is convex and has mean curvature bounded below by <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, we obtain existence for all <span><math><mi>H</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><msub><mrow><mi>H</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span>. Instead of the heat flow in <span><span>[38]</span></span>, we use a Sacks-Uhlenbeck type perturbation. As in previous joint work with Zhou <span><span>[7]</span></span>, a key ingredient for extending existence across the measure zero set of <em>H</em>'s is a Morse index upper bound.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142089653","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}