{"title":"On ends of finite-volume noncompact manifolds of nonpositive curvature","authors":"Ran Ji, Yunhui Wu","doi":"10.1007/s00222-024-01266-0","DOIUrl":"https://doi.org/10.1007/s00222-024-01266-0","url":null,"abstract":"<p>In this paper we confirm a folklore conjecture which suggests that for a complete noncompact manifold <span>(M)</span> of finite volume with sectional curvature <span>(-1 leq K leq 0)</span>, if the universal cover of <span>(M)</span> is a visibility manifold, then the fundamental group of each end of <span>(M)</span> is almost nilpotent.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"54 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141167431","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}
Roland Bauerschmidt, Nicholas Crawford, Tyler Helmuth
{"title":"Percolation transition for random forests in $dgeqslant 3$","authors":"Roland Bauerschmidt, Nicholas Crawford, Tyler Helmuth","doi":"10.1007/s00222-024-01263-3","DOIUrl":"https://doi.org/10.1007/s00222-024-01263-3","url":null,"abstract":"<p>The arboreal gas is the probability measure on (unrooted spanning) forests of a graph in which each forest is weighted by a factor <span>(beta >0)</span> per edge. It arises as the <span>(qto 0)</span> limit of the <span>(q)</span>-state random cluster model with <span>(p=beta q)</span>. We prove that in dimensions <span>(dgeqslant 3)</span> the arboreal gas undergoes a percolation phase transition. This contrasts with the case of <span>(d=2)</span> where no percolation transition occurs.</p><p>The starting point for our analysis is an exact relationship between the arboreal gas and a non-linear sigma model with target space the fermionic hyperbolic plane <span>(mathbb{H}^{0|2})</span>. This latter model can be thought of as the 0-state Potts model, with the arboreal gas being its random cluster representation. Unlike the standard Potts models, the <span>(mathbb{H}^{0|2})</span> model has continuous symmetries. By combining a renormalisation group analysis with Ward identities we prove that this symmetry is spontaneously broken at low temperatures. In terms of the arboreal gas, this symmetry breaking translates into the existence of infinite trees in the thermodynamic limit. Our analysis also establishes massless free field correlations at low temperatures and the existence of a macroscopic tree on finite tori.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"187 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141059461","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":"Strong asymptotic freeness for independent uniform variables on compact groups associated to nontrivial representations","authors":"Charles Bordenave, Benoît Collins","doi":"10.1007/s00222-024-01259-z","DOIUrl":"https://doi.org/10.1007/s00222-024-01259-z","url":null,"abstract":"<p>Voiculescu discovered asymptotic freeness of independent Haar-distributed unitary matrices. Many refinements have been obtained, including strong asymptotic freeness of random unitaries and strong asymptotic freeness of random permutations acting on the orthogonal of the Perron-Frobenius eigenvector. In this paper, we consider a new matrix unitary model appearing naturally from representation theory of compact groups. We fix a nontrivial signature <span>(rho )</span>, i.e. two finite sequences of non-increasing natural numbers, and for <span>(n)</span> large enough, consider the irreducible representation <span>(V_{n,rho })</span> of <span>(mathbb{U}_{n})</span> associated with the signature <span>(rho )</span>. We consider the quotient <span>(mathbb{U}_{n,rho })</span> of <span>(mathbb{U}_{n})</span> viewed as a matrix subgroup of <span>(mathbb{U}(V_{n,rho }))</span>, and show that strong asymptotic freeness holds in this generalized context when drawing independent copies of the Haar measure. We also obtain the orthogonal variant of this result. Thanks to classical results in representation theory, this result is closely related to strong asymptotic freeness for tensors, which we establish as a preliminary. To achieve this result, we need to develop four new tools, each of independent theoretical interest: (i) a centered Weingarten calculus and uniform estimates thereof, (ii) a systematic and uniform comparison of Gaussian moments and unitary moments of matrices, (iii) a generalized and simplified operator-valued non-backtracking theory in a general <span>(C^{*})</span>-algebra, and finally, (iv) combinatorics of tensor moment matrices.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"56 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140934763","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":"Special cubulation of strict hyperbolization","authors":"Jean-François Lafont, Lorenzo Ruffoni","doi":"10.1007/s00222-024-01241-9","DOIUrl":"https://doi.org/10.1007/s00222-024-01241-9","url":null,"abstract":"<p>We prove that the Gromov hyperbolic groups obtained by the strict hyperbolization procedure of Charney and Davis are virtually compact special, hence linear and residually finite. Our strategy consists in constructing an action of a hyperbolized group on a certain dual <span>(operatorname {CAT}(0))</span> cubical complex. As a result, all the common applications of strict hyperbolization are shown to provide manifolds with virtually compact special fundamental group. In particular, we obtain examples of closed negatively curved Riemannian manifolds whose fundamental groups are linear and virtually algebraically fiber.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"80 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140885694","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":"Vanishing viscosity limit for axisymmetric vortex rings","authors":"Thierry Gallay, Vladimír Šverák","doi":"10.1007/s00222-024-01261-5","DOIUrl":"https://doi.org/10.1007/s00222-024-01261-5","url":null,"abstract":"<p>For the incompressible Navier-Stokes equations in <span>(mathbb{R}^{3})</span> with low viscosity <span>(nu >0)</span>, we consider the Cauchy problem with initial vorticity <span>(omega _{0})</span> that represents an infinitely thin vortex filament of arbitrary given strength <span>(Gamma )</span> supported on a circle. The vorticity field <span>(omega (x,t))</span> of the solution is smooth at any positive time and corresponds to a vortex ring of thickness <span>(sqrt{nu t})</span> that is translated along its symmetry axis due to self-induction, an effect anticipated by Helmholtz in 1858 and quantified by Kelvin in 1867. For small viscosities, we show that <span>(omega (x,t))</span> is well-approximated on a large time interval by <span>(omega _{mathrm {lin}}(x-a(t),t))</span>, where <span>(omega _{mathrm {lin}}(cdot ,t)=exp (nu tDelta )omega _{0})</span> is the solution of the heat equation with initial data <span>(omega _{0})</span>, and <span>(dot{a}(t))</span> is the instantaneous velocity given by Kelvin’s formula. This gives a rigorous justification of the binormal motion for circular vortex filaments in weakly viscous fluids. The proof relies on the construction of a precise approximate solution, using a perturbative expansion in self-similar variables. To verify the stability of this approximation, one needs to rule out potential instabilities coming from very large advection terms in the linearized operator. This is done by adapting V. I. Arnold’s geometric stability methods developed in the inviscid case <span>(nu =0)</span> to the slightly viscous situation. It turns out that although the geometric structures behind Arnold’s approach are no longer preserved by the equation for <span>(nu > 0)</span>, the relevant quadratic forms behave well on larger subspaces than those originally used in Arnold’s theory and interact favorably with the viscous terms.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"36 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140811860","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":"Finite quotients of 3-manifold groups","authors":"Will Sawin, Melanie Matchett Wood","doi":"10.1007/s00222-024-01262-4","DOIUrl":"https://doi.org/10.1007/s00222-024-01262-4","url":null,"abstract":"<p>For <span>(G)</span> and <span>(H_{1},dots , H_{n})</span> finite groups, does there exist a 3-manifold group with <span>(G)</span> as a quotient but no <span>(H_{i})</span> as a quotient? We answer all such questions in terms of the group cohomology of finite groups. We prove non-existence with topological results generalizing the theory of semicharacteristics. To prove existence of 3-manifolds with certain finite quotients but not others, we use a probabilistic method, by first proving a formula for the distribution of the (profinite completion of) the fundamental group of a random 3-manifold in the Dunfield-Thurston model of random Heegaard splittings as the genus goes to infinity. We believe this is the first construction of a new distribution of random groups from its moments.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"11 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140839431","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}
Bjoern Bringmann, Yu Deng, Andrea R. Nahmod, Haitian Yue
{"title":"Invariant Gibbs measures for the three dimensional cubic nonlinear wave equation","authors":"Bjoern Bringmann, Yu Deng, Andrea R. Nahmod, Haitian Yue","doi":"10.1007/s00222-024-01254-4","DOIUrl":"https://doi.org/10.1007/s00222-024-01254-4","url":null,"abstract":"<p>We prove the invariance of the Gibbs measure under the dynamics of the three-dimensional cubic wave equation, which is also known as the hyperbolic <span>(Phi ^{4}_{3})</span>-model. This result is the hyperbolic counterpart to seminal works on the parabolic <span>(Phi ^{4}_{3})</span>-model by Hairer (Invent. Math. 198(2):269–504, 2014) and Hairer-Matetski (Ann. Probab. 46(3):1651–1709, 2018).</p><p>The heart of the matter lies in establishing local in time existence and uniqueness of solutions on the statistical ensemble, which is achieved by using a para-controlled ansatz for the solution, the analytical framework of the random tensor theory, and the combinatorial molecule estimates.</p><p>The singularity of the Gibbs measure with respect to the Gaussian free field brings out a new caloric representation of the Gibbs measure and a synergy between the parabolic and hyperbolic theories embodied in the analysis of heat-wave stochastic objects. Furthermore from a purely hyperbolic standpoint our argument relies on key new ingredients that include a hidden cancellation between sextic stochastic objects and a new bilinear random tensor estimate.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"22 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140812105","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}
Otis Chodosh, Kyeongsu Choi, Christos Mantoulidis, Felix Schulze
{"title":"Mean curvature flow with generic initial data","authors":"Otis Chodosh, Kyeongsu Choi, Christos Mantoulidis, Felix Schulze","doi":"10.1007/s00222-024-01258-0","DOIUrl":"https://doi.org/10.1007/s00222-024-01258-0","url":null,"abstract":"<p>We show that the mean curvature flow of generic closed surfaces in <span>(mathbb{R}^{3})</span> avoids asymptotically conical and non-spherical compact singularities. We also show that the mean curvature flow of generic closed low-entropy hypersurfaces in <span>(mathbb{R}^{4})</span> is smooth until it disappears in a round point. The main technical ingredient is a long-time existence and uniqueness result for ancient mean curvature flows that lie on one side of asymptotically conical or compact shrinking solitons.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"35 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140802993","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":"Persistence of heterodimensional cycles","authors":"Dongchen Li, Dmitry Turaev","doi":"10.1007/s00222-024-01255-3","DOIUrl":"https://doi.org/10.1007/s00222-024-01255-3","url":null,"abstract":"<p>A heterodimensional cycle is an invariant set of a dynamical system consisting of two hyperbolic periodic orbits with different dimensions of their unstable manifolds and a pair of orbits that connect them. For systems which are at least <span>(C^{2})</span>, we show that bifurcations of a coindex-1 heterodimensional cycle within a generic 2-parameter family create robust heterodimensional dynamics, i.e., a pair of non-trivial hyperbolic basic sets with different numbers of positive Lyapunov exponents, such that the unstable manifold of each of the sets intersects the stable manifold of the second set and these intersections persist for an open set of parameter values. We also give a solution to the so-called local stabilization problem of coindex-1 heterodimensional cycles in any regularity class <span>(r=2,ldots ,infty ,omega )</span>. The results are based on the observation that arithmetic properties of moduli of topological conjugacy of systems with heterodimensional cycles determine the emergence of Bonatti-Díaz blenders.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"19 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572877","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}
Yuan Liu, Melanie Matchett Wood, David Zureick-Brown
{"title":"A predicted distribution for Galois groups of maximal unramified extensions","authors":"Yuan Liu, Melanie Matchett Wood, David Zureick-Brown","doi":"10.1007/s00222-024-01257-1","DOIUrl":"https://doi.org/10.1007/s00222-024-01257-1","url":null,"abstract":"<p>We consider the distribution of the Galois groups <span>(operatorname {Gal}(K^{operatorname{un}}/K))</span> of maximal unramified extensions as <span>(K)</span> ranges over <span>(Gamma )</span>-extensions of ℚ or <span>({{mathbb{F}}}_{q}(t))</span>. We prove two properties of <span>(operatorname {Gal}(K^{operatorname{un}}/K))</span> coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on <span>(n)</span>-generated profinite groups. In Part II, we prove as <span>(qrightarrow infty )</span>, agreement of <span>(operatorname {Gal}(K^{operatorname{un}}/K))</span> as <span>(K)</span> varies over totally real <span>(Gamma )</span>-extensions of <span>({{mathbb{F}}}_{q}(t))</span> with our distribution from Part I, in the moments that are relatively prime to <span>(q(q-1)|Gamma |)</span>. In particular, we prove for every finite group <span>(Gamma )</span>, in the <span>(qrightarrow infty )</span> limit, the prime-to-<span>(q(q-1)|Gamma |)</span>-moments of the distribution of class groups of totally real <span>(Gamma )</span>-extensions of <span>({{mathbb{F}}}_{q}(t))</span> agree with the prediction of the Cohen–Lenstra–Martinet heuristics.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":"38 1","pages":""},"PeriodicalIF":3.1,"publicationDate":"2024-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572872","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}