Pub Date : 2024-02-14DOI: 10.1007/s00039-024-00676-9
Abstract
We exhibit a group of type F whose second cohomology contains a weakly bounded, but not bounded, class. As an application, we disprove a long-standing conjecture of Gromov about bounded primitives of differential forms on universal covers of closed manifolds.
摘要 我们展示了一个 F 型群,它的第二同调包含一个弱有界类,但不是有界类。作为一个应用,我们推翻了格罗莫夫关于闭流形普盖上微分形式有界基元的一个长期猜想。
{"title":"Weakly Bounded Cohomology Classes and a Counterexample to a Conjecture of Gromov","authors":"","doi":"10.1007/s00039-024-00676-9","DOIUrl":"https://doi.org/10.1007/s00039-024-00676-9","url":null,"abstract":"<h3>Abstract</h3> <p>We exhibit a group of type F whose second cohomology contains a weakly bounded, but not bounded, class. As an application, we disprove a long-standing conjecture of Gromov about bounded primitives of differential forms on universal covers of closed manifolds.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"11 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139733604","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-14DOI: 10.1007/s00039-024-00667-w
Grigori Avramidi, Boris Okun, Kevin Schreve
We introduce a hyperbolic reflection group trick which builds closed aspherical manifolds out of compact ones and preserves hyperbolicity, residual finiteness, and—for almost all primes p—(mathbb{F} _{p})-homology growth above the middle dimension. We use this trick, embedding theory and manifold topology to construct Gromov hyperbolic 7-manifolds that do not virtually fiber over a circle out of graph products of large finite groups.
{"title":"Homology Growth, Hyperbolization, and Fibering","authors":"Grigori Avramidi, Boris Okun, Kevin Schreve","doi":"10.1007/s00039-024-00667-w","DOIUrl":"https://doi.org/10.1007/s00039-024-00667-w","url":null,"abstract":"<p>We introduce a hyperbolic reflection group trick which builds closed aspherical manifolds out of compact ones and preserves hyperbolicity, residual finiteness, and—for almost all primes <i>p</i>—<span>(mathbb{F} _{p})</span>-homology growth above the middle dimension. We use this trick, embedding theory and manifold topology to construct Gromov hyperbolic 7-manifolds that do not virtually fiber over a circle out of graph products of large finite groups.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"18 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139733585","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-07DOI: 10.1007/s00039-024-00670-1
Sergio R. Fenley, Rafael Potrie
We show that if a hyperbolic 3-manifold admits a partially hyperbolic diffeomorphism then it also admits an Anosov flow. Moreover, we give a complete classification of partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds as well as partially hyperbolic diffeomorphisms in Seifert manifolds inducing pseudo-Anosov dynamics in the base. This classification is given in terms of the structure of their center (branching) foliations and the notion of collapsed Anosov flows.
{"title":"Partial Hyperbolicity and Pseudo-Anosov Dynamics","authors":"Sergio R. Fenley, Rafael Potrie","doi":"10.1007/s00039-024-00670-1","DOIUrl":"https://doi.org/10.1007/s00039-024-00670-1","url":null,"abstract":"<p>We show that if a hyperbolic 3-manifold admits a partially hyperbolic diffeomorphism then it also admits an Anosov flow. Moreover, we give a complete classification of partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds as well as partially hyperbolic diffeomorphisms in Seifert manifolds inducing pseudo-Anosov dynamics in the base. This classification is given in terms of the structure of their center (branching) foliations and the notion of collapsed Anosov flows.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"35 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139704953","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-07DOI: 10.1007/s00039-024-00658-x
Anders Karlsson
A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new for isometries of convex sets of Banach spaces as well as for non-locally compact CAT(0)-spaces and injective spaces. Examples of actions on non-proper CAT(0)-spaces come from the study of diffeomorphism groups, birational transformations, and compact Kähler manifolds. A special case of the fixed point theorem provides a novel mean ergodic theorem that in the Hilbert space case implies von Neumann’s theorem. The theorem accommodates classically fixed-point-free isometric maps such as those of Kakutani, Edelstein, Alspach and Prus. Moreover, from the main theorem together with some geometric arguments of independent interest, one can deduce that every bounded invertible operator of a Hilbert space admits a nontrivial invariant metric functional on the space of positive operators. This is a result in the direction of the invariant subspace problem although its full meaning is dependent on a future determination of such metric functionals.
{"title":"A Metric Fixed Point Theorem and Some of Its Applications","authors":"Anders Karlsson","doi":"10.1007/s00039-024-00658-x","DOIUrl":"https://doi.org/10.1007/s00039-024-00658-x","url":null,"abstract":"<p>A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new for isometries of convex sets of Banach spaces as well as for non-locally compact CAT(0)-spaces and injective spaces. Examples of actions on non-proper CAT(0)-spaces come from the study of diffeomorphism groups, birational transformations, and compact Kähler manifolds. A special case of the fixed point theorem provides a novel mean ergodic theorem that in the Hilbert space case implies von Neumann’s theorem. The theorem accommodates classically fixed-point-free isometric maps such as those of Kakutani, Edelstein, Alspach and Prus. Moreover, from the main theorem together with some geometric arguments of independent interest, one can deduce that every bounded invertible operator of a Hilbert space admits a nontrivial invariant metric functional on the space of positive operators. This is a result in the direction of the invariant subspace problem although its full meaning is dependent on a future determination of such metric functionals.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"25 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139705033","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-05DOI: 10.1007/s00039-024-00671-0
Abstract
Avila’s Almost Reducibility Conjecture (ARC) is a powerful statement linking purely analytic and dynamical properties of analytic one-frequency (SL(2,{mathbb{R}})) cocycles. It is also a fundamental tool in the study of spectral theory of analytic one-frequency Schrödinger operators, with many striking consequences, allowing to give a detailed characterization of the subcritical region. Here we give a proof, completely different from Avila’s, for the important case of Schrödinger cocycles with trigonometric polynomial potentials and non-exponentially approximated frequencies, allowing, in particular, to obtain all the desired spectral consequences in this case.
{"title":"On the Almost Reducibility Conjecture","authors":"","doi":"10.1007/s00039-024-00671-0","DOIUrl":"https://doi.org/10.1007/s00039-024-00671-0","url":null,"abstract":"<h3>Abstract</h3> <p>Avila’s Almost Reducibility Conjecture (ARC) is a powerful statement linking purely analytic and dynamical properties of analytic one-frequency <span> <span>(SL(2,{mathbb{R}}))</span> </span> cocycles. It is also a fundamental tool in the study of spectral theory of analytic one-frequency Schrödinger operators, with many striking consequences, allowing to give a detailed characterization of the subcritical region. Here we give a proof, completely different from Avila’s, for the important case of Schrödinger cocycles with trigonometric polynomial potentials and non-exponentially approximated frequencies, allowing, in particular, to obtain all the desired spectral consequences in this case.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"34 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139695624","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-05DOI: 10.1007/s00039-024-00660-3
Tuomas Orponen, Pablo Shmerkin, Hong Wang
We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let (X,Y subset mathbb{R}^{2}) be non-empty Borel sets. If X is not contained in any line, we prove that
$$ sup _{x in X} dim _{mathrm {H}}pi _{x}(Y , setminus , {x}) geq min { dim _{mathrm {H}}X,dim _{mathrm {H}}Y,1}. $$
If dimHY>1, we have the following improved lower bound:
$$ sup _{x in X} dim _{mathrm {H}}pi _{x}(Y , setminus , {x}) geq min { dim _{mathrm {H}}X + dim _{mathrm {H}}Y - 1,1}. $$
Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck’s theorem in combinatorial geometry: if (X subset mathbb{R}^{2}) is a Borel set with the property that dimH(X ∖ ℓ)=dimHX for all lines (ell subset mathbb{R}^{2}), then the line set spanned by X has Hausdorff dimension at least min{2dimHX,2}.
While the results above concern (mathbb{R}^{2}), we also derive some counterparts in (mathbb{R}^{d}) by means of integralgeometric considerations. The proofs are based on an ϵ-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.
我们就 "径向投影如何扭曲平面集的维度?让 (X,Y subset mathbb{R}^{2}) 都是非空的伯尔集合。如果 X 不包含在任何直线中,我们证明 $$ sup _{x in X} dim _{mathrm {H}}pi _{x}(Y , setminus , {x}) geq min { dim _{mathrm {H}X,dim _{mathrm {H}Y,1}.$$ 如果dimHY>1,我们有以下改进的下界: $$ sup _{x in X} dim _{mathrm {H}}pi _{x}(Y , setminus , {x}) geq min {dim _{mathrm {H}}X + dim _{mathrm {H}}Y - 1,1}。$$ 我们的结果解决了 Lund-Thang-Huong、Liu 和第一作者的猜想。另一个推论是下面组合几何中贝克定理的连续版本:如果 (X subset mathbb{R}^{2}) 是一个波尔集合,对于所有线段 (ell subset mathbb{R}^{2}) 具有 dimH(X ∖ ℓ)=dimHX 的性质,那么 X 所跨的线段集合的豪斯多夫维度至少为 min{2dimHX,2}。虽然上述结果涉及到 (mathbb{R}^{2}),但我们也通过积分几何考虑推导出了在(mathbb{R}^{d})中的一些对应结果。这些证明基于两位第一作者对弗斯滕伯格集问题的ϵ改进、第二和第三作者引入的引导方案,以及傅晓明和任志强提出的新的平面入射估计。
{"title":"Kaufman and Falconer Estimates for Radial Projections and a Continuum Version of Beck’s Theorem","authors":"Tuomas Orponen, Pablo Shmerkin, Hong Wang","doi":"10.1007/s00039-024-00660-3","DOIUrl":"https://doi.org/10.1007/s00039-024-00660-3","url":null,"abstract":"<p>We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let <span>(X,Y subset mathbb{R}^{2})</span> be non-empty Borel sets. If <i>X</i> is not contained in any line, we prove that </p><span>$$ sup _{x in X} dim _{mathrm {H}}pi _{x}(Y , setminus , {x}) geq min { dim _{mathrm {H}}X,dim _{mathrm {H}}Y,1}. $$</span><p> If dim<sub>H</sub><i>Y</i>>1, we have the following improved lower bound: </p><span>$$ sup _{x in X} dim _{mathrm {H}}pi _{x}(Y , setminus , {x}) geq min { dim _{mathrm {H}}X + dim _{mathrm {H}}Y - 1,1}. $$</span><p> Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck’s theorem in combinatorial geometry: if <span>(X subset mathbb{R}^{2})</span> is a Borel set with the property that dim<sub>H</sub>(<i>X</i> ∖ <i>ℓ</i>)=dim<sub>H</sub><i>X</i> for all lines <span>(ell subset mathbb{R}^{2})</span>, then the line set spanned by <i>X</i> has Hausdorff dimension at least min{2dim<sub>H</sub><i>X</i>,2}.</p><p>While the results above concern <span>(mathbb{R}^{2})</span>, we also derive some counterparts in <span>(mathbb{R}^{d})</span> by means of integralgeometric considerations. The proofs are based on an <i>ϵ</i>-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.</p>","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"48 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139695631","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-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}