Pub Date : 2024-02-05DOI: 10.1007/s00039-024-00664-z
Orit E. Raz, Joshua Zahl
We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar d-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.
Given a Borel set A in the plane, we study the set of exceptional vantage points, for which the pinned distance Δp(A) has small dimension, that is, close to (dimA)/2. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if ϕ1, ϕ2, ϕ3 are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if A is a (δ,α)2-set in the sense of Katz and Tao, then at least one of the images ϕi(A) must have measure much larger than |A|1/2, where |A| stands for the measure of A. We prove analogous results for d smooth functions ϕ1,…,ϕd, whose associated d-web is not parallelizable.
We use similar tools to characterize when bivariate real analytic functions are “dimension expanding” when applied to a Cartesian product: if P is a bivariate real analytic function, then P is either locally of the form h(a(x)+b(y)), or P(A,B) has dimension at least α+c whenever A and B are Borel sets with Hausdorff dimension α. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.
我们考虑了四个相关问题。(1) 获得针法克纳距离问题的特殊有利位置集合的维数估计。(2) 非线性投影定理,以考夫曼、布尔甘和什梅尔金的精神为基础。(3) 平面 d 网的可并行性。(4) 关于展开多项式的 Elekes-Rónyai 定理.给定平面中的伯尔集合 A,我们研究例外有利点集合,对于该集合,针距 Δp(A) 具有小维度,即接近 (dimA)/2。我们将证明,如果这个集合具有正维度,那么它一定具有非常特殊的结构。这一结果源于一个更一般的单尺度非线性投影定理,即如果ϕ1、ϕ2、ϕ3 是三个光滑函数,其相关的 3 网具有非消失的布拉什克曲率,并且如果 A 是卡茨和陶的意义上的(δ,α)2 集,那么至少有一个图像 ϕi(A)的度量必须远远大于 ||A|1/2,其中 |A|代表 A 的度量。我们证明了 d 个光滑函数 ϕ1,...,ϕd 的类似结果,这些函数的相关 d 网是不可并行的。我们使用类似的工具来描述二元实解析函数在应用于笛卡尔积时的 "维度扩展 "情况:如果 P 是二元实解析函数,那么 P 要么是 h(a(x)+b(y)) 形式的局部函数,要么是 P(A,B) 至少有 α+c 维度,只要 A 和 B 是具有 Hausdorff 维度 α 的 Borel 集。同样,这源于单尺度估计,即卡茨-陶离散环猜想背景下的埃莱克斯-罗尼艾定理(Elekes-Rónyai theorem)。
{"title":"On the Dimension of Exceptional Parameters for Nonlinear Projections, and the Discretized Elekes-Rónyai Theorem","authors":"Orit E. Raz, Joshua Zahl","doi":"10.1007/s00039-024-00664-z","DOIUrl":"https://doi.org/10.1007/s00039-024-00664-z","url":null,"abstract":"<p>We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar <i>d</i>-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.</p><p>Given a Borel set <i>A</i> in the plane, we study the set of exceptional vantage points, for which the pinned distance Δ<sub><i>p</i></sub>(<i>A</i>) has small dimension, that is, close to (dim<i>A</i>)/2. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if <i>ϕ</i><sub>1</sub>, <i>ϕ</i><sub>2</sub>, <i>ϕ</i><sub>3</sub> are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if <i>A</i> is a (<i>δ</i>,<i>α</i>)<sub>2</sub>-set in the sense of Katz and Tao, then at least one of the images <i>ϕ</i><sub><i>i</i></sub>(<i>A</i>) must have measure much larger than |<i>A</i>|<sup>1/2</sup>, where |<i>A</i>| stands for the measure of <i>A</i>. We prove analogous results for <i>d</i> smooth functions <i>ϕ</i><sub>1</sub>,…,<i>ϕ</i><sub><i>d</i></sub>, whose associated <i>d</i>-web is not parallelizable.</p><p>We use similar tools to characterize when bivariate real analytic functions are “dimension expanding” when applied to a Cartesian product: if <i>P</i> is a bivariate real analytic function, then <i>P</i> is either locally of the form <i>h</i>(<i>a</i>(<i>x</i>)+<i>b</i>(<i>y</i>)), or <i>P</i>(<i>A</i>,<i>B</i>) has dimension at least <i>α</i>+<i>c</i> whenever <i>A</i> and <i>B</i> are Borel sets with Hausdorff dimension <i>α</i>. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"24 1 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139695834","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}
Pub Date : 2024-02-02DOI: 10.1007/s00039-024-00661-2
Abstract
A CAT(0) space has rank at least n if every geodesic lies in an n-flat. Ballmann’s Higher Rank Rigidity Conjecture predicts that a CAT(0) space of rank at least 2 with a geometric group action is rigid – isometric to a Riemannian symmetric space, a Euclidean building, or splits as a metric product. This paper is the first in a series motivated by Ballmann’s conjecture. Here we prove that a CAT(0) space of rank at least n≥2 is rigid if it contains a periodic n-flat and its Tits boundary has dimension (n−1). This does not require a geometric group action. The result relies essentially on the study of flats which do not bound flat half-spaces – so-called Morse flats. We show that the Tits boundary ∂TF of a periodic Morse n-flat F contains a regular point – a point with a Tits-neighborhood entirely contained in ∂TF. More precisely, we show that the set of singular points in ∂TF can be covered by finitely many round spheres of positive codimension.
摘要 如果每条测地线都位于一个 n 扁平中,则 CAT(0) 空间的秩至少为 n。鲍尔曼的高阶刚性猜想预言,具有几何群作用的至少 2 阶 CAT(0) 空间是刚性的--与黎曼对称空间、欧几里得建筑等距,或分裂为度量积。本文是鲍尔曼猜想系列的第一篇论文。我们在此证明,如果秩至少为 n≥2 的 CAT(0) 空间包含周期性 n 平面,且其 Tits 边界维数为 (n-1),那么它就是刚性的。这并不需要几何群作用。这一结果主要依赖于对不以平面半空间为界的平面--即所谓的莫尔斯平面--的研究。我们证明了周期性莫尔斯 n 平面 F 的 Tits 边界 ∂TF 包含一个正则点--一个 Tits 邻域完全包含在 ∂TF 中的点。更确切地说,我们证明了 ∂TF 中的奇异点集合可以被有限多个正标度圆球覆盖。
{"title":"CAT(0) Spaces of Higher Rank I","authors":"","doi":"10.1007/s00039-024-00661-2","DOIUrl":"https://doi.org/10.1007/s00039-024-00661-2","url":null,"abstract":"<h3>Abstract</h3> <p>A CAT(0) space has rank at least <em>n</em> if every geodesic lies in an <em>n</em>-flat. Ballmann’s Higher Rank Rigidity Conjecture predicts that a CAT(0) space of rank at least 2 with a geometric group action is <em>rigid</em> – isometric to a Riemannian symmetric space, a Euclidean building, or splits as a metric product. This paper is the first in a series motivated by Ballmann’s conjecture. Here we prove that a CAT(0) space of rank at least <em>n</em>≥2 is rigid if it contains a periodic <em>n</em>-flat and its Tits boundary has dimension (<em>n</em>−1). This does not require a geometric group action. The result relies essentially on the study of flats which do not bound flat half-spaces – so-called <em>Morse flats</em>. We show that the Tits boundary <em>∂</em><sub><em>T</em></sub><em>F</em> of a periodic Morse <em>n</em>-flat <em>F</em> contains a <em>regular point</em> – a point with a Tits-neighborhood entirely contained in <em>∂</em><sub><em>T</em></sub><em>F</em>. More precisely, we show that the set of singular points in <em>∂</em><sub><em>T</em></sub><em>F</em> can be covered by finitely many round spheres of positive codimension.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"302 1 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139676933","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}
Pub Date : 2024-02-01DOI: 10.1007/s00039-024-00665-y
Abstract
We prove a conjecture of Kleinbock which gives a clear-cut classification of all extremal affine subspaces of (mathbb{R}^{n}). We also give an essentially complete classification of all Khintchine type affine subspaces, except for some boundary cases within two logarithmic scales. More general Jarník type theorems are proved as well, sometimes without the monotonicity of the approximation function. These results follow as consequences of our novel estimates for the number of rational points close to an affine subspace in terms of diophantine properties of its defining matrix. Our main tool is the multidimensional large sieve inequality and its dual form.
{"title":"Extremal Affine Subspaces and Khintchine-Jarník Type Theorems","authors":"","doi":"10.1007/s00039-024-00665-y","DOIUrl":"https://doi.org/10.1007/s00039-024-00665-y","url":null,"abstract":"<h3>Abstract</h3> <p>We prove a conjecture of Kleinbock which gives a clear-cut classification of all extremal affine subspaces of <span> <span>(mathbb{R}^{n})</span> </span>. We also give an essentially complete classification of all Khintchine type affine subspaces, except for some boundary cases within two logarithmic scales. More general Jarník type theorems are proved as well, sometimes without the monotonicity of the approximation function. These results follow as consequences of our novel estimates for the number of rational points close to an affine subspace in terms of diophantine properties of its defining matrix. Our main tool is the multidimensional large sieve inequality and its dual form.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"177 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139660183","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}
Pub Date : 2024-02-01DOI: 10.1007/s00039-024-00663-0
Abstract
We give an optimal bound on normal curvatures of immersed n-torus in a Euclidean ball of large dimension.
摘要 我们给出了浸没在大维度欧几里得球中的 n-torus法曲率的最优约束。
{"title":"Gromov’s Tori Are Optimal","authors":"","doi":"10.1007/s00039-024-00663-0","DOIUrl":"https://doi.org/10.1007/s00039-024-00663-0","url":null,"abstract":"<h3>Abstract</h3> <p>We give an optimal bound on normal curvatures of immersed <em>n</em>-torus in a Euclidean ball of large dimension.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"51 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139659972","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}
Pub Date : 2024-02-01DOI: 10.1007/s00039-024-00666-x
Zhihan Wang
We show that any minimizing hypercone can be perturbed into one side to a properly embedded smooth minimizing hypersurface in the Euclidean space, and every viscosity mean convex cone admits a properly embedded smooth mean convex self-expander asymptotic to it near infinity. These two together confirm a conjecture of Lawson (Geom. Meas. Theor. Calcu. Var. 44:441, 1986, Problem 5.7).
{"title":"Mean Convex Smoothing of Mean Convex Cones","authors":"Zhihan Wang","doi":"10.1007/s00039-024-00666-x","DOIUrl":"https://doi.org/10.1007/s00039-024-00666-x","url":null,"abstract":"<p>We show that any minimizing hypercone can be perturbed into one side to a properly embedded smooth minimizing hypersurface in the Euclidean space, and every viscosity mean convex cone admits a properly embedded smooth mean convex self-expander asymptotic to it near infinity. These two together confirm a conjecture of Lawson (Geom. Meas. Theor. Calcu. Var. 44:441, 1986, Problem 5.7).</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"16 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139660218","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}
Pub Date : 2024-02-01DOI: 10.1007/s00039-024-00662-1
Giovanni Catino, Paolo Mastrolia, Alberto Roncoroni
The aim of this paper is to prove two results concerning the rigidity of complete, immersed, orientable, stable minimal hypersurfaces: we show that they are hyperplane in R4, while they do not exist in positively curved closed Riemannian (n+1)-manifold when n≤5; in particular, there are no stable minimal hypersurfaces in Sn+1 when n≤5. The first result was recently proved also by Chodosh and Li, and the second is a consequence of a more general result concerning minimal surfaces with finite index. Both theorems rely on a conformal method, inspired by a classical work of Fischer-Colbrie.
{"title":"Two Rigidity Results for Stable Minimal Hypersurfaces","authors":"Giovanni Catino, Paolo Mastrolia, Alberto Roncoroni","doi":"10.1007/s00039-024-00662-1","DOIUrl":"https://doi.org/10.1007/s00039-024-00662-1","url":null,"abstract":"<p>The aim of this paper is to prove two results concerning the rigidity of complete, immersed, orientable, stable minimal hypersurfaces: we show that they are hyperplane in <i>R</i><sup>4</sup>, while they do not exist in positively curved closed Riemannian (<i>n</i>+1)-manifold when <i>n</i>≤5; in particular, there are no stable minimal hypersurfaces in <i>S</i><sup><i>n</i>+1</sup> when <i>n</i>≤5. The first result was recently proved also by Chodosh and Li, and the second is a consequence of a more general result concerning minimal surfaces with finite index. Both theorems rely on a conformal method, inspired by a classical work of Fischer-Colbrie.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"37 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139659970","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}
Pub Date : 2024-01-30DOI: 10.1007/s00039-024-00659-w
James Davies
We prove that every finite colouring of the plane contains a monochromatic pair of points at an odd distance from each other.
我们证明,平面的每一种有限着色都包含一对相距奇数的单色点。
{"title":"Odd Distances in Colourings of the Plane","authors":"James Davies","doi":"10.1007/s00039-024-00659-w","DOIUrl":"https://doi.org/10.1007/s00039-024-00659-w","url":null,"abstract":"<p>We prove that every finite colouring of the plane contains a monochromatic pair of points at an odd distance from each other.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"1 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139644131","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}
Pub Date : 2024-01-22DOI: 10.1007/s00039-024-00657-y
David Ginzburg, David Soudry
In this paper, we prove a formula, realizing certain residual Eisenstein series on symplectic groups as regularized kernel integrals. These Eisenstein series, as well as the kernel integrals, are attached to Speh representations. This forms an initial step to a new type of a regularized Siegel-Weil formula that we propose. This new formula bears the same relation to the generalized doubling integrals of Cai, Friedberg, Ginzburg and Kaplan, as does the regularized Siegel-Weil formula to the doubling integrals of Piatetski-Shapiro and Rallis.
{"title":"A New Regularized Siegel-Weil Type Formula. Part I","authors":"David Ginzburg, David Soudry","doi":"10.1007/s00039-024-00657-y","DOIUrl":"https://doi.org/10.1007/s00039-024-00657-y","url":null,"abstract":"<p>In this paper, we prove a formula, realizing certain residual Eisenstein series on symplectic groups as regularized kernel integrals. These Eisenstein series, as well as the kernel integrals, are attached to Speh representations. This forms an initial step to a new type of a regularized Siegel-Weil formula that we propose. This new formula bears the same relation to the generalized doubling integrals of Cai, Friedberg, Ginzburg and Kaplan, as does the regularized Siegel-Weil formula to the doubling integrals of Piatetski-Shapiro and Rallis.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"2 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139510830","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}
Pub Date : 2023-11-09DOI: 10.1007/s00039-023-00654-7
James R. Lee
We investigate the validity of the “Einstein relations” in the general setting of unimodular random networks. These are equalities relating scaling exponents:
where dw is the walk dimension, df is the fractal dimension, ds is the spectral dimension, and (tilde{zeta }) is the resistance exponent. Roughly speaking, this relates the mean displacement and return probability of a random walker to the density and conductivity of the underlying medium. We show that if df and (tilde{zeta } geqslant 0) exist, then dw and ds exist, and the aforementioned equalities hold. Moreover, our primary new estimate (d_{w} geqslant d_{f} + tilde{zeta }) is established for all (tilde{zeta } in mathbb{R}).
For the uniform infinite planar triangulation (UIPT), this yields the consequence dw=4 using df=4 (Angel in Geom. Funct. Anal. 13(5):935–974, 2003) and (tilde{zeta }=0) (established here as a consequence of the Liouville Quantum Gravity theory, following Gwynne-Miller 2020 and (Ding and Gwynne in Commun. Math. Phys. 374(3):1877–1934, 2020)). The conclusion dw=4 had been previously established by Gwynne and Hutchcroft (2018) using more elaborate methods. A new consequence is that dw=df for the uniform infinite Schnyder-wood decorated triangulation, implying that the simple random walk is subdiffusive, since df>2.
研究了“爱因斯坦关系”在非模随机网络一般情况下的有效性。这些是与缩放指数相关的等式:$$begin{aligned} d_{w} &= d_{f} + tilde{zeta }, d_{s} &= 2 d_{f}/d_{w}, end{aligned}$$其中dw是行走维数,df是分形维数,ds是光谱维数,(tilde{zeta })是阻力指数。粗略地说,这将随机行走器的平均位移和返回概率与底层介质的密度和电导率联系起来。我们证明,如果df和(tilde{zeta } geqslant 0)存在,则dw和ds存在,并且上述等式成立。此外,我们的主要新估计(d_{w} geqslant d_{f} + tilde{zeta })建立了所有(tilde{zeta } in mathbb{R}) .对于均匀无限平面三角剖分(UIPT),这产生了结果dw=4使用df=4 (Angel in Geom)。函数。数学学报,13(5):935-974,2003)和(tilde{zeta }=0)(作为Liouville量子引力理论的结果,在Gwynne- miller 2020和(Ding and Gwynne in commons)之后建立。数学。物理学报,34(3):1877 - 184,2020)。Gwynne和Hutchcroft(2018)之前使用更复杂的方法建立了dw=4的结论。对于均匀无限Schnyder-wood装饰三角剖分,一个新的结论是dw=df,这意味着简单随机漫步是次扩散的,因为df&gt;2。
{"title":"Relations between scaling exponents in unimodular random graphs","authors":"James R. Lee","doi":"10.1007/s00039-023-00654-7","DOIUrl":"https://doi.org/10.1007/s00039-023-00654-7","url":null,"abstract":"<p>We investigate the validity of the “Einstein relations” in the general setting of unimodular random networks. These are equalities relating scaling exponents: </p><span> $$begin{aligned} d_{w} &= d_{f} + tilde{zeta }, d_{s} &= 2 d_{f}/d_{w}, end{aligned}$$ </span><p> where <i>d</i><sub><i>w</i></sub> is the walk dimension, <i>d</i><sub><i>f</i></sub> is the fractal dimension, <i>d</i><sub><i>s</i></sub> is the spectral dimension, and <span>(tilde{zeta })</span> is the resistance exponent. Roughly speaking, this relates the mean displacement and return probability of a random walker to the density and conductivity of the underlying medium. We show that if <i>d</i><sub><i>f</i></sub> and <span>(tilde{zeta } geqslant 0)</span> exist, then <i>d</i><sub><i>w</i></sub> and <i>d</i><sub><i>s</i></sub> exist, and the aforementioned equalities hold. Moreover, our primary new estimate <span>(d_{w} geqslant d_{f} + tilde{zeta })</span> is established for all <span>(tilde{zeta } in mathbb{R})</span>.</p><p>For the uniform infinite planar triangulation (UIPT), this yields the consequence <i>d</i><sub><i>w</i></sub>=4 using <i>d</i><sub><i>f</i></sub>=4 (Angel in Geom. Funct. Anal. 13(5):935–974, 2003) and <span>(tilde{zeta }=0)</span> (established here as a consequence of the Liouville Quantum Gravity theory, following Gwynne-Miller 2020 and (Ding and Gwynne in Commun. Math. Phys. 374(3):1877–1934, 2020)). The conclusion <i>d</i><sub><i>w</i></sub>=4 had been previously established by Gwynne and Hutchcroft (2018) using more elaborate methods. A new consequence is that <i>d</i><sub><i>w</i></sub>=<i>d</i><sub><i>f</i></sub> for the uniform infinite Schnyder-wood decorated triangulation, implying that the simple random walk is subdiffusive, since <i>d</i><sub><i>f</i></sub>>2.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"56 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2023-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72364946","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}
Pub Date : 2023-11-02DOI: 10.1007/s00039-023-00655-6
Zeév Rudnick
For a compact hyperbolic surface, we define a smooth linear statistic, mimicking the number of Laplace eigenvalues in a short energy window. We study the variance of this statistic, when averaged over the moduli space (mathcal{M}_{g}) of all genus g surfaces with respect to the Weil-Petersson measure. We show that in the double limit, first taking the large genus limit and then the short window limit, we recover GOE statistics for the variance. The proof makes essential use of Mirzakhani’s integration formula.
{"title":"GOE statistics on the moduli space of surfaces of large genus","authors":"Zeév Rudnick","doi":"10.1007/s00039-023-00655-6","DOIUrl":"https://doi.org/10.1007/s00039-023-00655-6","url":null,"abstract":"<p>For a compact hyperbolic surface, we define a smooth linear statistic, mimicking the number of Laplace eigenvalues in a short energy window. We study the variance of this statistic, when averaged over the moduli space <span>(mathcal{M}_{g})</span> of all genus <i>g</i> surfaces with respect to the Weil-Petersson measure. We show that in the double limit, first taking the large genus limit and then the short window limit, we recover GOE statistics for the variance. The proof makes essential use of Mirzakhani’s integration formula.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"25 11","pages":""},"PeriodicalIF":2.2,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71509201","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}