×

既不包含扩展器也不嵌入Hilbert空间的自由群的框空间。 (英语) Zbl 1414.46020号

具有有界几何的度量空间的第一个示例没有粗嵌入到Hilbert空间中,由M.格罗莫夫[摘自:GAFA 2000。数学愿景——走向2000年。会议记录,以色列特拉维夫,1999年8月25日至9月3日。第一部分巴塞尔协议:Birkhäuser。118–161 (2000;Zbl 1006.53035号)]也就是说,他观察到有界几何的度量空间(M)包含弱扩展器序列({G_n}{n=1}^infty)(这意味着存在具有一致有界Lipschitz常数的映射(f_n:G_n到M),点的预映象(f_n{-1}(M))的基数为\(o(|G_n|)\))不允许粗略嵌入希尔伯特空间。这个观察在拓扑学和群论中起着非常重要的作用(参见[M.格罗莫夫,几何。功能。分析。13,第1期,73–146(2003年;Zbl 1122.20021号)]和[N.希格森等,Geom。功能。分析。12,第2330-354号(2002年;兹比尔1014.46043)]).
长期以来,弱可嵌入扩展器是具有有界几何的度量空间在Hilbert空间中实现粗可嵌入性的唯一已知障碍。(如果没有边界几何的要求,其他障碍物是已知的,例如公制子类型,请参见[M.孟德尔A.Naor公司[数学年鉴(2)168,第1期,247–298(2008;Zbl 1187.46014号)].) 在这方面,有人问,请参阅[审稿人,Metric embeddings.Bilipschitz and rough embedding into Banach spaces.Berlin:de Gruyter(2013;Zbl 1279.46001号)]:将有界几何度量空间嵌入到\(\ell2\)中还有其他障碍吗?
这个问题在一篇非常重要的论文中得到了否定的回答G.阿尔赞茨瓦R.特斯拉【地理功能分析25,第2期,317–341(2015;Zbl 1325.46022号)].
本文致力于空间的另一种构造,给出了这个问题的否定答案。作者通过构造自由群的两个不同的盒子空间和三个生成器来实现这一点,其中一个是扩展器,另一个是可以粗嵌入到Hilbert空间中,然后“混合”这些构造。证明的主要部分是表明,盒空间及其混合可以这样构造:混合可以从扩展器的粗不可嵌入序列继承到Hilbert空间中,并且可以从缺少弱可嵌入扩张器的粗嵌入序列继承。该构造为具有有界几何的空间的结构提供了新的线索,这些空间不允许在希尔伯特空间中进行粗略嵌入。

MSC公司:

46B85号 离散度量空间在Banach空间中的嵌入;拓扑与计算机科学的应用
20E26型 剩余性质和推广;剩余有限群
20层65 几何群论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Arzhantseva,G。;Guentner,E。;Špakula,J.,《粗糙不可接受性和粗埋置》,Geom。功能。分析。,22, (2012) ·兹比尔1275.46013
[2] 阿尔赞采娃,G。;Tessera,R.,相对膨胀机,Geom。功能。分析。,25, (2015) ·Zbl 1325.46022号
[3] G.Arzhantseva,R.Tessera,承认粗嵌入在群扩展下不被保留,国际数学。Res.不。2017年2月,https://doi.org/10.1093/imrn/rny017; G.Arzhantseva,R.Tessera,承认粗嵌入在群扩展下不被保留,国际数学。Res.不。2017年2月,https://doi.org/10.1093/imrn/rny017 ·Zbl 1516.20089
[4] 陈,X。;王,Q。;Wang,X.,通过纤维粗嵌入到Hilbert空间来表征Haagerup特性,Bull。伦敦。数学。Soc.,45(2013)·Zbl 1347.20043号
[5] 大卫杜夫,G。;萨纳克,P。;Valette,A.,初等数论、群论和Ramanujan图,LMS学生教材,第55卷,(2003)·Zbl 1032.11001号
[6] 特拉比,T。;Khukhro,A.,粗基本群和盒空间,Proc。罗伊。Soc.爱丁堡教派。A: 数学。,(2017),出版中
[7] Gromov,M.,《随机群中的随机行走》,Geom。功能。分析。,13, (2003) ·Zbl 1122.20021号
[8] 约翰逊,W。;Randrianarivony,N.L.,(\ell_p(p>2))没有粗嵌入到Hilbert空间中,Proc。阿默尔。数学。Soc.,134(2006)·Zbl 1097.46051号
[9] Khukhro,A.,《框空间、群扩张和Hilbert空间的粗嵌入》,J.Funct。分析。,263, (2012) ·Zbl 1250.46017号
[10] Khukhro,A.,自由群的可嵌入框空间,数学。安,360,(2014)·Zbl 1337.46018号
[11] Lubotzky,A.,《离散群,展开图和不变测度》,Birkhäuser Progress in Mathematics,vol.125,(1994)·Zbl 0826.22012号
[12] 卢博茨基,A。;菲利普斯,R。;Sarnak,P.,Ramanujan图,组合数学,8,(1988)·Zbl 0661.05035号
[13] Margulis,G.,扩展器的显式构造,Problemy Peredachi Informatsii,9,(1973)
[14] Nowak,P。;Yu,G.,《大尺度几何》,EMS数学教科书,(2012)·Zbl 1264.53051号
[15] Tessera,R.,《Hilbert空间中的粗糙嵌入》,Haagerup性质和Poincaré不等式,J.Topol。分析。,1, (2009) ·Zbl 1178.46018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。