{"title":"有控制增长的封面的渐近维度","authors":"David Hume, John M. Mackay, Romain Tessera","doi":"10.1112/jlms.70043","DOIUrl":null,"url":null,"abstract":"<p>We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mi>H</mi>\n <mi>n</mi>\n </msup>\n <mo>→</mo>\n <msup>\n <mi>H</mi>\n <mrow>\n <mi>n</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n </msup>\n <mo>×</mo>\n <mi>Y</mi>\n </mrow>\n <annotation>$\\mathbb {H}^n\\rightarrow \\mathbb {H}^{n-1}\\times Y$</annotation>\n </semantics></math> for <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>⩾</mo>\n <mn>3</mn>\n </mrow>\n <annotation>$n\\geqslant 3$</annotation>\n </semantics></math>, or <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>T</mi>\n <mn>3</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n <mi>n</mi>\n </msup>\n <mo>→</mo>\n <msup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>T</mi>\n <mn>3</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n <mrow>\n <mi>n</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n </msup>\n <mo>×</mo>\n <mi>Y</mi>\n </mrow>\n <annotation>$(T_3)^n \\rightarrow (T_3)^{n-1}\\times Y$</annotation>\n </semantics></math> whenever <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> is a bounded degree graph with subexponential growth, where <span></span><math>\n <semantics>\n <msub>\n <mi>T</mi>\n <mn>3</mn>\n </msub>\n <annotation>$T_3$</annotation>\n </semantics></math> is the 3-regular tree. We also resolve Question 5.2 (<i>Groups Geom. Dyn</i>. <b>6</b> (2012), no. 4, 639–658), proving that there is no regular map <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mi>H</mi>\n <mn>2</mn>\n </msup>\n <mo>→</mo>\n <msub>\n <mi>T</mi>\n <mn>3</mn>\n </msub>\n <mo>×</mo>\n <mi>Y</mi>\n </mrow>\n <annotation>$\\mathbb {H}^2 \\rightarrow T_3 \\times Y$</annotation>\n </semantics></math> whenever <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> is a bounded degree graph with at most polynomial growth, and no quasi-isometric embedding whenever <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> has subexponential growth. Finally, we show that there is no regular map <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mi>F</mi>\n <mi>n</mi>\n </msup>\n <mo>→</mo>\n <mi>Z</mi>\n <mo>≀</mo>\n <msup>\n <mi>F</mi>\n <mrow>\n <mi>n</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n </msup>\n </mrow>\n <annotation>$F^n\\rightarrow \\mathbb {Z}\\wr F^{n-1}$</annotation>\n </semantics></math> where <span></span><math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math> is the free group on two generators. To prove these results, we introduce and study generalisations of asymptotic dimension that allow unbounded covers with controlled growth.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"111 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70043","citationCount":"0","resultStr":"{\"title\":\"Asymptotic dimension for covers with controlled growth\",\"authors\":\"David Hume, John M. Mackay, Romain Tessera\",\"doi\":\"10.1112/jlms.70043\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) <span></span><math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>H</mi>\\n <mi>n</mi>\\n </msup>\\n <mo>→</mo>\\n <msup>\\n <mi>H</mi>\\n <mrow>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>1</mn>\\n </mrow>\\n </msup>\\n <mo>×</mo>\\n <mi>Y</mi>\\n </mrow>\\n <annotation>$\\\\mathbb {H}^n\\\\rightarrow \\\\mathbb {H}^{n-1}\\\\times Y$</annotation>\\n </semantics></math> for <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>⩾</mo>\\n <mn>3</mn>\\n </mrow>\\n <annotation>$n\\\\geqslant 3$</annotation>\\n </semantics></math>, or <span></span><math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>T</mi>\\n <mn>3</mn>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n <mi>n</mi>\\n </msup>\\n <mo>→</mo>\\n <msup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mi>T</mi>\\n <mn>3</mn>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n <mrow>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>1</mn>\\n </mrow>\\n </msup>\\n <mo>×</mo>\\n <mi>Y</mi>\\n </mrow>\\n <annotation>$(T_3)^n \\\\rightarrow (T_3)^{n-1}\\\\times Y$</annotation>\\n </semantics></math> whenever <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> is a bounded degree graph with subexponential growth, where <span></span><math>\\n <semantics>\\n <msub>\\n <mi>T</mi>\\n <mn>3</mn>\\n </msub>\\n <annotation>$T_3$</annotation>\\n </semantics></math> is the 3-regular tree. We also resolve Question 5.2 (<i>Groups Geom. Dyn</i>. <b>6</b> (2012), no. 4, 639–658), proving that there is no regular map <span></span><math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>H</mi>\\n <mn>2</mn>\\n </msup>\\n <mo>→</mo>\\n <msub>\\n <mi>T</mi>\\n <mn>3</mn>\\n </msub>\\n <mo>×</mo>\\n <mi>Y</mi>\\n </mrow>\\n <annotation>$\\\\mathbb {H}^2 \\\\rightarrow T_3 \\\\times Y$</annotation>\\n </semantics></math> whenever <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> is a bounded degree graph with at most polynomial growth, and no quasi-isometric embedding whenever <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> has subexponential growth. Finally, we show that there is no regular map <span></span><math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>F</mi>\\n <mi>n</mi>\\n </msup>\\n <mo>→</mo>\\n <mi>Z</mi>\\n <mo>≀</mo>\\n <msup>\\n <mi>F</mi>\\n <mrow>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>1</mn>\\n </mrow>\\n </msup>\\n </mrow>\\n <annotation>$F^n\\\\rightarrow \\\\mathbb {Z}\\\\wr F^{n-1}$</annotation>\\n </semantics></math> where <span></span><math>\\n <semantics>\\n <mi>F</mi>\\n <annotation>$F$</annotation>\\n </semantics></math> is the free group on two generators. To prove these results, we introduce and study generalisations of asymptotic dimension that allow unbounded covers with controlled growth.</p>\",\"PeriodicalId\":49989,\"journal\":{\"name\":\"Journal of the London Mathematical Society-Second Series\",\"volume\":\"111 1\",\"pages\":\"\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-12-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70043\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the London Mathematical Society-Second Series\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70043\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70043","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Asymptotic dimension for covers with controlled growth
We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) for , or whenever is a bounded degree graph with subexponential growth, where is the 3-regular tree. We also resolve Question 5.2 (Groups Geom. Dyn. 6 (2012), no. 4, 639–658), proving that there is no regular map whenever is a bounded degree graph with at most polynomial growth, and no quasi-isometric embedding whenever has subexponential growth. Finally, we show that there is no regular map where is the free group on two generators. To prove these results, we introduce and study generalisations of asymptotic dimension that allow unbounded covers with controlled growth.
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.