×

双曲群上有限型的强非周期次移位。 (英语) Zbl 1506.37023号

设(G\)是一个群,(a\)是具有离散拓扑的有限集设备。从\(G\)到\(A\)的所有函数的集合\(A^{G}=\{\omega:G\长右箭头A\}\)具有乘积拓扑结构和\(G~)的右作用,称为\(G_)上的全移位。(A^{G})的元素称为配置。(A^{G})的闭不变子集(Omega)称为子移位。(A^{G})中的圆柱集是一个形式为(G}中的prod_{G})的集合,其中每个都有(U{G}\substeqA\),并且除了有限多个之外都有(G\),(U{c}=A\)。clopen集是圆柱集的有限并集。
如果存在clopen集\(Z_{1},Z_{2},\dots,Z_{n}\),使得\(\Omega=\bigcap_{g\在g中;i=1,2,\dots,n}Z_{i}\cdot g\),则子移位\(\Omega\)称为有限型子移位(SFT)。如果SFT(Omega)不是空的,并且对于每一个稳定器(Omega-in-Omega{刺}_{G} (\omega)\)是微不足道的。
有许多已知的群体家族承认强烈非周期性SFT,还有许多已知的不承认SFT的群体家族。但总的来说,这个与曲面平铺密切相关的问题仍然存在。如果一组瓦片允许平铺,但不允许平铺具有平移对称性,则它是强非周期的。
在[R.伯杰多米诺骨牌问题的不确定性。普罗维登斯,RI:美国数学学会(AMS)(1966;Zbl 0199.30802号)]证明了(mathbb{Z}^{2})承认一个强非周期瓷砖集,而群(mathbb{Z}^{2{)则承认一个强烈非周期SFT。在[S.Mozes公司,发明。数学。128,第3期,603–611(1997年;Zbl 0879.52011)]通过研究秩-1对称空间上的分块,得到秩至少为2的简单李群中的一致格允许强非周期SFT。在[D.B.科恩高级数学。308, 599–626 (2017;Zbl 1400.20034号)]证明了至少有两个端点的群(G)不允许存在强非周期SFT。此外,在[“群上有限类型的非周期子移位”中,Preprint,arXiv:1501.06831]E.詹德尔已经证明,不存在具有不可判定单词问题的有限呈现群存在强非周期SFT。这些是唯一已知的障碍,本文作者提出以下问题:是否存在一个不允许强非周期SFT的具有可判定单词问题的单端有限呈现群?
它们证明了以下主张:
(1)
定理。双曲群允许有限型SFT的强非周期子位移当且仅当它至多有一端时。这个结果补充了Mozes[loc.cit.]的结果。由于单端双曲群包括闭双曲流形的所有基本群,实际上也包括截面曲率为负的所有闭双曲流形的基本群,因此这里的定理推广了[D.B.科恩C.古德曼-施特劳斯,组Geom。动态。11,第3期,1041–1059(2017;Zbl 1377.37028号)].
(2)
推论。一个秩为1的简单李群中的一致格承认一个强非周期SFT。
(3)
推论。具有负截面曲率的闭流形的基本群允许一个强非周期SFT。

理学硕士:

第37页第51页 有限型多维位移
37B52号 平铺动力学
20英尺67英寸 双曲群和非正曲群
20层65 几何群论
05B45号 镶嵌和平铺问题的组合方面
52C20个 二维平铺(离散几何的方面)
52C23型 离散几何中的准晶体和非周期镶嵌
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aubrun,N.、Barbieri,S.和Jeandel,E.关于群体次迁移的多米诺骨牌问题。序列、群和数论(数学趋势)。Ed.Berthé,V.和Rigo,M.Birkhäuser,Cham,2018年·Zbl 1405.20023号
[2] Aubrun,N.、Barbieri,S.和Moutot,E.。多米诺骨牌问题在表面群体中是无法判定的。程序。第44届国际交响乐团。计算机科学数学基础(MFCS 2019)。第138卷。德国达格斯图尔,2019年,46页·Zbl 07561690号
[3] Aubrun,N.和Schraudner,M.,Baumslag-Solitar群BS(1,N)上作为有限型子移位的替代原点双曲平面的倾斜。预印本,2020年,arXiv:2012.1037。
[4] 关于有限生成群直积的几何模拟定理。离散分析。9(2019),第25页·Zbl 1432.37037号
[5] 多米诺骨牌问题的不可判定性。内存。阿默尔。数学。Soc.66(1966),72-79·兹比尔0199.30802
[6] Bridson,M.R.和Haefliger,A.。非正曲率度量空间(Grundlehren der Mathematischen Wissenschaften[数学科学基本原理],319)。斯普林格·弗拉格,柏林,1999年·Zbl 0988.53001号
[7] Bonk,M.和Kleiner,B.,双曲群中的准双曲面。程序。阿默尔。数学。《社会分类》133(9)(2005),2491-2494·Zbl 1123.20036号
[8] Bowditch,B.H.。双曲群的割点和正则分裂。《数学学报》180(2)(1998),145-186·Zbl 0911.57001号
[9] Barbieri,S.和Sablik,M.。半直积模拟定理的推广。埃尔戈德。Th.和Dynam。系统39(12)(2019),3185-3206·Zbl 1433.37013号
[10] Block,J.和Weinberger,S.。非周期平铺,正标量曲率和空间的适应性。J.Amer。数学。Soc.5(4)(1992),907-918·Zbl 0780.53031号
[11] Calegari,D.。双曲群的遍历理论。《几何与拓扑下》(当代数学,597)。美国数学学会,普罗维登斯,RI,2013年,第15-52页·兹比尔1283.20052
[12] Cannon,J.W.。共紧离散双曲群的组合结构。地理。Dedicata 16(2)(1984),123-148·Zbl 0606.57003号
[13] Cannon,J.W.,《负弯曲空间和群理论》。遍历理论、符号动力学和双曲空间(Trieste,1989)(牛津科学出版社)。牛津大学出版社,纽约,1991年,第315-369页·Zbl 0764.57002号
[14] Calegari,D.和Fujiwara,K.,可梳函数,拟态和中心极限定理。埃尔戈德。Th.和Dynam。系统30(5)(2010),1343-1369·Zbl 1217.37025号
[15] Cohen,D.B.和Goodman-Strauss,C.,表面基团上的强非周期次移位。组Geom。发电机11(3)(2017),1041-1059·Zbl 1377.37028号
[16] Cohen,D.B.,有限型强非周期子移位的大尺度几何。莱斯大学博士论文,2015年。
[17] Cohen,D.B.,有限型强非周期子移位的大尺度几何。《高级数学》308(2017),599-626·Zbl 1400.20034号
[18] Coornaert,M.,《帕特森-沙利文(Mesures de Patterson-Sullivan sur le bord d'un espace)的计量》,格罗莫夫(au sens de Gromov)的双曲线。太平洋数学杂志,159(2)(1993),241-270·Zbl 0797.20029号
[19] Coornaert,M.和Papadopoulos,A.。Gromov双曲群上的Horof函数和符号动力学。格拉斯。数学。J.43(3)(2001),425-456·Zbl 1044.20027号
[20] Coornaert,M.和Papadopoulos,A.。与双曲群相关的测地线流的符号编码。《数学手稿》109(4)(2002),465-492·Zbl 1045.20036号
[21] Carroll,D.和Penland,A.。有限类型移位的周期点和群的可公度不变量。《纽约数学杂志》21(2015),811-822·Zbl 1360.37037号
[22] Coornaert,M.和Papadopoulos,A.。符号动力学和双曲群(数学讲义,1539)。施普林格·弗拉格,柏林,1993年·Zbl 0783.58017号
[23] Ceccherini-Silberstein,T.和Coornaert,M.,《细胞自动机和群》(Springer数学专著)。施普林格·弗拉格,柏林,2010年·Zbl 1218.37004号
[24] De Bruijn,N.G.。彭罗斯平面非周期拼接的代数理论。二、。Indagationes Mathematicae(Proceedings,84)。爱思唯尔,阿姆斯特丹,1981年,第53-66页·Zbl 0457.05022号
[25] De Bruijn,N.G.,特殊生产规则生成的零和一序列。Indagationes Mathematicae(Proceedings,84)。Elsevier,阿姆斯特丹,1981年,第27-37页·Zbl 0471.10007号
[26] Dehn,M.,《群论和拓扑论文》。Springer-Verlag,纽约,1987年·Zbl 1264.01046号
[27] Dahmani,F.,Futer,D.和Wise,D.T.。拟凸子群的增长。数学。程序。剑桥菲洛斯。Soc.167(3)(2019),505-530·Zbl 1472.20092号
[28] Epstein,D.B.A.、Cannon,J.W.、Holt,D.F.、Levy,S.V.F.、Paterson,M.S.和Thurston,W.P.《群体中的文字处理》。琼斯和巴特利特出版社,马萨诸塞州波士顿,1992年·2017年7月64日
[29] Esnay,J.和Moutot,E.。Baumslag-Solitar群上有限类型的弱和强非周期子移位。预印本,2020年,arXiv:2004.02534·Zbl 07533876号
[30] Fernique,T.和Ollinger,N.,《组合替换和沙发瓷砖》。程序。Journées Automates Cellulaires 2010。图尔库计算机科学中心,图尔库,2010年,第100-110页。
[31] Gromov,M.,双曲群。群论论文(数学科学研究所出版物,8)。施普林格,纽约,1987年,第75-263页·Zbl 0634.20015
[32] Goodman-Strauss,C.双曲平面上的一组非周期瓷砖。发明。数学159(1)(2005),119-132·Zbl 1064.52012年
[33] Goodman-Strauss,C.匹配规则和替换平铺。数学安。(2)147(1) (1998), 181-223. ·Zbl 0941.52018号
[34] 霍普夫,H.Enden of ner räume und unendliche diskontinuierliche gruppen。注释。数学。Helv.16(1)(1943年),81-100·Zbl 0060.40008号
[35] Jeandel,E.。群上有限类型的非周期子移位。预印本,2015年,arXiv:1501.06831。
[36] Jeandel,E.,《多环群上的非周期性亚转移》。预印本,2015年,arXiv:1510.02360。
[37] Jeandel,E.和Rao,M.,一组不定期的11块王牌。高级组合。(2021), https://doi.org/10.19086/aic.18614 ·Zbl 1478.05020号
[38] Kari,J.。重温瓷砖问题(扩展摘要)。机器、计算和普遍性。MCU(计算机科学讲义,4664)。Ed.Durand-Lose,J.和Margenstern,M.Springer,柏林,2007年。
[39] 卡拉加尼斯,J.J.。关于图的立方体。加拿大。数学。公牛6(1968),295-296·Zbl 0162.27701号
[40] Kari,J.。一组不定期的小王牌。《离散数学》160(1-3)(1996),259-264·Zbl 0861.05017号
[41] Milnor,J.,关于曲率和基本群的注记。《差异地质学杂志》2(1968),1-7·Zbl 0162.25401号
[42] Margulis,G.A.和Mozes,S.。凸多边形对双曲平面的非周期平铺。以色列J.Math.107(1998),319-325·Zbl 0928.52012号
[43] Mozes,S.,Tilings,代换系统及其生成的动力系统。J.分析。数学53(1989),139-186·兹比尔07455-2013
[44] Mozes,S.,《非周期瓷砖》。发明。数学128(3)(1997),603-611·Zbl 0879.52011
[45] Piantadosi,S.T.。自由群的象征动力学。离散连续。发电机。系统20(3)(2008),725·Zbl 1140.37006号
[46] Radin,C.平面的风车瓷砖。数学安。(2)139(3) (1994), 661-702. ·Zbl 0808.52022号
[47] 平面平铺的不确定性和非周期性。发明。数学。,12 (1971), 177-209. ·Zbl 0197.46801号
[48] Robinson,R.M.。双曲平面中的不确定平铺问题。发明。数学44(3)(1978),259-264·Zbl 0354.50006号
[49] Sela,Z.。双曲群的同构问题。数学年鉴。(2)141(2) (1995), 217-283. ·Zbl 0868.57005号
[50] 伯恩赛德问题,跨越树和瓷砖。地理。《白杨》18(1)(2014),179-210·Zbl 1338.2004年11月
[51] Seward,B.。非可修正群的每一个动作都是小动作的因素。J.修订版。Dyn.8(2)(2014),251-270·Zbl 1351.37010号
[52] Swarup,G.A.关于切点猜想。电子。Res.公告。阿默尔。数学。Soc.2(2)(1996),98-100·Zbl 0868.20032号
[53] Wang,H.。用模式识别证明定理。ACM3(4)(1960),220-234·Zbl 0101.10504号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。