{"title":"On the existence of minimal expansive solutions to the $N$ -body problem","authors":"Davide Polimeni, Susanna Terracini","doi":"10.1007/s00222-024-01289-7","DOIUrl":"https://doi.org/10.1007/s00222-024-01289-7","url":null,"abstract":"<p>We deal, for the classical <span>(N)</span>-body problem, with the existence of action minimizing half entire expansive solutions with prescribed asymptotic direction and initial configuration of the bodies. We tackle the cases of hyperbolic, hyperbolic-parabolic and parabolic arcs in a unified manner. Our approach is based on the minimization of a renormalized Lagrangian action on a suitable functional space. With this new strategy, we are able to confirm the already-known results of the existence of both hyperbolic and parabolic solutions, and we prove for the first time the existence of hyperbolic-parabolic solutions for any prescribed asymptotic expansion in a suitable class. Associated with each element of this class we find a viscosity solution of the Hamilton-Jacobi equation as a linear correction of the value function. Besides, we also manage to give a precise description of the growth of parabolic and hyperbolic-parabolic solutions.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"13 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142223330","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 dichotomy for Hörmander-type oscillatory integral operators","authors":"Shaoming Guo, Hong Wang, Ruixiang Zhang","doi":"10.1007/s00222-024-01288-8","DOIUrl":"https://doi.org/10.1007/s00222-024-01288-8","url":null,"abstract":"<p>In this paper, we first generalize the work of Bourgain (Geom. Funct. Anal. 1(4):321–374, 1991) and state a curvature condition for Hörmander-type oscillatory integral operators, which we call Bourgain’s condition. This condition is notably satisfied by the phase functions for the Fourier restriction problem and the Bochner-Riesz problem. We conjecture that for Hörmander-type oscillatory integral operators satisfying Bourgain’s condition, they satisfy the same <span>(L^{p})</span> bounds as in the Fourier Restriction Conjecture. To support our conjecture, we show that whenever Bourgain’s condition fails, then the <span>(L^{infty } to L^{q})</span> boundedness always fails for some <span>(q= q(n) > frac{2n}{n-1})</span>, extending Bourgain’s three-dimensional result (Geom. Funct. Anal. 1(4):321–374, 1991). On the other hand, if Bourgain’s condition holds, then we prove <span>(L^{p})</span> bounds for Hörmander-type oscillatory integral operators for a range of <span>(p)</span> that extends the currently best-known range for the Fourier restriction conjecture in high dimensions, given by Hickman and Zahl (A note on Fourier restriction and nested polynomial wolff axioms, 2020, arXiv:2010.02251). This gives new progress on the Fourier restriction problem, the Bochner-Riesz problem on <span>(mathbb{R}^{n})</span>, the Bochner-Riesz problem on spheres <span>(S^{n})</span>, etc.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"60 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142223329","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":"Trace formulas and inverse spectral theory for generalized indefinite strings","authors":"Jonathan Eckhardt, Aleksey Kostenko","doi":"10.1007/s00222-024-01287-9","DOIUrl":"https://doi.org/10.1007/s00222-024-01287-9","url":null,"abstract":"<p>Generalized indefinite strings provide a canonical model for self-adjoint operators with simple spectrum (other classical models are Jacobi matrices, Krein strings and <span>(2times 2)</span> canonical systems). We prove a number of Szegő-type theorems for generalized indefinite strings and related spectral problems (including Krein strings, canonical systems and Dirac operators). More specifically, for several classes of coefficients (that can be regarded as Hilbert–Schmidt perturbations of model problems), we provide a complete characterization of the corresponding set of spectral measures. In particular, our results also apply to the isospectral Lax operator for the conservative Camassa–Holm flow and allow us to establish existence of global weak solutions with various step-like initial conditions of low regularity via the inverse spectral transform.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"5 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142223331","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}
Irving Dai, Sungkyung Kang, Abhishek Mallick, JungHwan Park, Matthew Stoffregen
{"title":"The $(2,1)$ -cable of the figure-eight knot is not smoothly slice","authors":"Irving Dai, Sungkyung Kang, Abhishek Mallick, JungHwan Park, Matthew Stoffregen","doi":"10.1007/s00222-024-01286-w","DOIUrl":"https://doi.org/10.1007/s00222-024-01286-w","url":null,"abstract":"<p>We prove that the <span>((2,1))</span>-cable of the figure-eight knot is not smoothly slice by showing that its branched double cover bounds no equivariant homology ball.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"11 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142223332","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}
Theodore D. Drivas, Tarek M. Elgindi, In-Jee Jeong
{"title":"Twisting in Hamiltonian flows and perfect fluids","authors":"Theodore D. Drivas, Tarek M. Elgindi, In-Jee Jeong","doi":"10.1007/s00222-024-01285-x","DOIUrl":"https://doi.org/10.1007/s00222-024-01285-x","url":null,"abstract":"<p>We introduce a notion of stability for non-autonomous Hamiltonian flows on two-dimensional annular surfaces. This notion of stability is designed to capture the sustained twisting of particle trajectories. The main Theorem is applied to establish a number of results that reveal a form of irreversibility in the Euler equations governing the motion of an incompressible and inviscid fluid. In particular, we show that nearby general stable steady states (i) all fluid flows exhibit indefinite twisting (ii) vorticity generically exhibits gradient growth and wandering. We also give examples of infinite time gradient growth for smooth solutions to the SQG equation and of smooth vortex patches that entangle and develop unbounded perimeter in infinite time.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"4 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142227535","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":"Morse inequalities for ordered eigenvalues of generic self-adjoint families","authors":"Gregory Berkolaiko, Igor Zelenko","doi":"10.1007/s00222-024-01284-y","DOIUrl":"https://doi.org/10.1007/s00222-024-01284-y","url":null,"abstract":"<p>In many applied problems one seeks to identify and count the critical points of a particular eigenvalue of a smooth parametric family of self-adjoint matrices, with the parameter space often being known and simple, such as a torus. Among particular settings where such a question arises are the Floquet–Bloch decomposition of periodic Schrödinger operators, topology of potential energy surfaces in quantum chemistry, spectral optimization problems such as minimal spectral partitions of manifolds, as well as nodal statistics of graph eigenfunctions. In contrast to the classical Morse theory dealing with smooth functions, the eigenvalues of families of self-adjoint matrices are not smooth at the points corresponding to repeated eigenvalues (called, depending on the application and on the dimension of the parameter space, the diabolical/Dirac/Weyl points or the conical intersections). This work develops a procedure for associating a Morse polynomial to a point of eigenvalue multiplicity; it utilizes the assumptions of smoothness and self-adjointness of the family to provide concrete answers. In particular, we define the notions of non-degenerate topologically critical point and generalized Morse family, establish that generalized Morse families are generic in an appropriate sense, establish a differential first-order conditions for criticality, as well as compute the local contribution of a topologically critical point to the Morse polynomial. Remarkably, the non-smooth contribution to the Morse polynomial turns out to depend only on the size of the eigenvalue multiplicity and the relative position of the eigenvalue of interest and not on the particulars of the operator family; it is expressed in terms of the homologies of Grassmannians.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"25 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141932689","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 sharp square function estimate for the moment curve in $mathbb{R}^{3}$","authors":"Dominique Maldague","doi":"10.1007/s00222-024-01282-0","DOIUrl":"https://doi.org/10.1007/s00222-024-01282-0","url":null,"abstract":"<p>We prove a sharp (up to <span>(C_{varepsilon }R^{varepsilon })</span>) <span>(L^{7})</span> square function estimate for the moment curve in <span>(mathbb{R}^{3})</span>.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"78 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141932849","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":"Long range order for three-dimensional random field Ising model throughout the entire low temperature regime","authors":"Jian Ding, Yu Liu, Aoteng Xia","doi":"10.1007/s00222-024-01283-z","DOIUrl":"https://doi.org/10.1007/s00222-024-01283-z","url":null,"abstract":"<p>For <span>(dgeq 3)</span>, we study the Ising model on <span>(mathbb{Z}^{d})</span> with random field given by <span>({epsilon h_{v}: vin mathbb{Z}^{d}})</span> where <span>(h_{v})</span>’s are independent normal variables with mean 0 and variance 1. We show that for any <span>(T < T_{c})</span> (here <span>(T_{c})</span> is the critical temperature without disorder), long range order exists as long as <span>(epsilon )</span> is sufficiently small depending on <span>(T)</span>. Our work extends previous results of Imbrie (1985) and Bricmont–Kupiainen (1988) from the very low temperature regime to the entire low temperature regime.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"43 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141871419","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":"Purity and 2-Calabi–Yau categories","authors":"Ben Davison","doi":"10.1007/s00222-024-01279-9","DOIUrl":"https://doi.org/10.1007/s00222-024-01279-9","url":null,"abstract":"<p>For various 2-Calabi–Yau categories <span>(mathscr{C})</span> for which the classical stack of objects <span>(mathfrak{M})</span> has a good moduli space <span>(pcolon mathfrak{M}rightarrow mathcal{M})</span>, we establish purity of the mixed Hodge module complex <span>(p_{!}underline{{mathbb{Q}}}_{{mathfrak {M}}})</span>. We do this by using formality in 2CY categories, along with étale neighbourhood theorems for stacks, to prove that the morphism <span>(p)</span> is modelled étale-locally by the semisimplification morphism from the stack of modules of a preprojective algebra. Via the integrality theorem in cohomological Donaldson–Thomas theory we then prove purity of <span>(p_{!}underline{{mathbb{Q}}}_{{mathfrak {M}}})</span>. It follows that the Beilinson–Bernstein–Deligne–Gabber decomposition theorem for the constant sheaf holds for the morphism <span>(p)</span>, despite the possibly singular and stacky nature of <span>({mathfrak {M}})</span>, and the fact that <span>(p)</span> is not proper. We use this to define cuspidal cohomology for <span>({mathfrak {M}})</span>, which conjecturally provides a complete space of generators for the BPS algebra associated to <span>(mathscr{C})</span>. We prove purity of the Borel–Moore homology of the moduli stack <span>(mathfrak{M})</span>, provided its good moduli space ℳ is projective, or admits a suitable contracting <span>({mathbb{C}}^{*})</span>-action. In particular, when <span>(mathfrak{M})</span> is the moduli stack of Gieseker semistable sheaves on a K3 surface, this proves a conjecture of Halpern-Leistner. We use these results to moreover prove purity for several stacks of coherent sheaves that do not admit a good moduli space. Without the usual assumption that <span>(r)</span> and <span>(d)</span> are coprime, we prove that the Borel–Moore homology of the stack of semistable degree <span>(d)</span> rank <span>(r)</span> Higgs sheaves is pure and carries a perverse filtration with respect to the Hitchin base, generalising the usual perverse filtration for the Hitchin system to the case of singular stacks of Higgs sheaves.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"69 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141776324","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":"Asymptotic geometry of lamplighters over one-ended groups","authors":"Anthony Genevois, Romain Tessera","doi":"10.1007/s00222-024-01278-w","DOIUrl":"https://doi.org/10.1007/s00222-024-01278-w","url":null,"abstract":"<p>This article is dedicated to the asymptotic geometry of wreath products <span>(Fwr H := left ( bigoplus _{H} F right ) rtimes H)</span> where <span>(F)</span> is a finite group and <span>(H)</span> is a finitely generated group. Our first main result says that a coarse map from a finitely presented one-ended group to <span>(Fwr H)</span> must land at bounded distance from a left coset of <span>(H)</span>. Our second main result, building on the later, is a very restrictive description of quasi-isometries between two lamplighter groups on finitely presented one-ended groups. Third, we obtain a complete classification of these groups up to quasi-isometry. More precisely, given two finite groups <span>(F_{1})</span>, <span>(F_{2})</span> and two finitely presented one-ended groups <span>(H_{1})</span>, <span>(H_{2})</span>, we show that <span>(F_{1} wr H_{1})</span> and <span>(F_{2} wr H_{2})</span> are quasi-isometric if and only if either (i) <span>(H_{1})</span>, <span>(H_{2})</span> are non-amenable quasi-isometric groups and <span>(|F_{1}|)</span>, <span>(|F_{2}|)</span> have the same prime divisors, or (ii) <span>(H_{1})</span>, <span>(H_{2})</span> are amenable, <span>(|F_{1}|=k^{n_{1}})</span> and <span>(|F_{2}|=k^{n_{2}})</span> for some <span>(k,n_{1},n_{2} geq 1)</span>, and there exists a quasi-<span>((n_{2}/n_{1}))</span>-to-one quasi-isometry <span>(H_{1} to H_{2})</span>. This can be seen as far reaching extension of a celebrated work of Eskin-Fisher-Whyte who treated the case of <span>(H=mathbb{Z})</span>. Our approach is however fundamentally different, as it crucially exploits the assumption that <span>(H)</span> is one-ended. Our central tool is a new geometric interpretation of lamplighter groups involving natural families of quasi-median spaces.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"23 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141745937","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}