证明Anosov陈述

IF 0.9 3区数学 Q2 MATHEMATICS

Bulletin of the London Mathematical Society Pub Date : 2026-03-27 DOI:10.1112/blms.70342

J. Maxwell Riestenberg

{"title":"证明Anosov陈述","authors":"J. Maxwell Riestenberg","doi":"10.1112/blms.70342","DOIUrl":null,"url":null,"abstract":"By providing new finite criteria which certify that a finitely generated subgroup of <math>\n <semantics>\n <mrow>\n <mo>SL</mo>\n <mo>(</mo>\n <mi>d</mi>\n <mo>,</mo>\n <mrow>\n <mo>R</mo>\n </mrow>\n <mo>)</mo>\n </mrow>\n <annotation>$\\operatorname{SL}(d,\\operatorname{\\mathbb {R}})$</annotation>\n </semantics></math> or <math>\n <semantics>\n <mrow>\n <mo>SL</mo>\n <mo>(</mo>\n <mi>d</mi>\n <mo>,</mo>\n <mi>C</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\operatorname{SL}(d,\\mathbb {C})$</annotation>\n </semantics></math> is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in <math>\n <semantics>\n <mrow>\n <mi>SL</mi>\n <mo>(</mo>\n <mn>3</mn>\n <mo>,</mo>\n <mi>R</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\mathrm{SL}(3,\\mathbb {R})$</annotation>\n </semantics></math> by verifying the criteria for all words of length 8. The previous version required checking all words of length 2 million.","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2026-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70342","citationCount":"0","resultStr":"{\"title\":\"Certifying Anosov representations\",\"authors\":\"J. Maxwell Riestenberg\",\"doi\":\"10.1112/blms.70342\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"By providing new finite criteria which certify that a finitely generated subgroup of <math>\\n <semantics>\\n <mrow>\\n <mo>SL</mo>\\n <mo>(</mo>\\n <mi>d</mi>\\n <mo>,</mo>\\n <mrow>\\n <mo>R</mo>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\operatorname{SL}(d,\\\\operatorname{\\\\mathbb {R}})$</annotation>\\n </semantics></math> or <math>\\n <semantics>\\n <mrow>\\n <mo>SL</mo>\\n <mo>(</mo>\\n <mi>d</mi>\\n <mo>,</mo>\\n <mi>C</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\operatorname{SL}(d,\\\\mathbb {C})$</annotation>\\n </semantics></math> is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in <math>\\n <semantics>\\n <mrow>\\n <mi>SL</mi>\\n <mo>(</mo>\\n <mn>3</mn>\\n <mo>,</mo>\\n <mi>R</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\mathrm{SL}(3,\\\\mathbb {R})$</annotation>\\n </semantics></math> by verifying the criteria for all words of length 8. The previous version required checking all words of length 2 million.\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"58 4\",\"pages\":\"\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2026-03-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70342\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.70342\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.70342","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

通过提供新的有限准则来证明SL (d)的有限生成子群R)$ \operatorname{SL}(d,\operatorname{\mathbb {R}})$或SL (d， C)$ \operatorname{SL}(d,\mathbb {C})$是投影的Anosov，给出了一种验证Anosov条件的实用算法。在SL (3， R)$ \ mathm {SL}(3,\mathbb {R})$中，我们通过验证所有长度为8的词的标准来证明属2的曲面群。以前的版本要求检查长度为200万的所有单词。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

Certifying Anosov representations

查看原文本刊更多论文

Certifying Anosov representations

By providing new finite criteria which certify that a finitely generated subgroup of $SL (d, R)$ or $SL (d, C)$ is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in $SL (3, R)$ by verifying the criteria for all words of length 8. The previous version required checking all words of length 2 million.