TULLIO CECCHERINI-SILBERSTEIN, MICHEL COORNAERT, XUAN KIEN PHUNG
{"title":"Invariant sets and nilpotency of endomorphisms of algebraic sofic shifts","authors":"TULLIO CECCHERINI-SILBERSTEIN, MICHEL COORNAERT, XUAN KIEN PHUNG","doi":"10.1017/etds.2023.120","DOIUrl":null,"url":null,"abstract":"Let <jats:italic>G</jats:italic> be a group and let <jats:italic>V</jats:italic> be an algebraic variety over an algebraically closed field <jats:italic>K</jats:italic>. Let <jats:italic>A</jats:italic> denote the set of <jats:italic>K</jats:italic>-points of <jats:italic>V</jats:italic>. We introduce algebraic sofic subshifts <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385723001207_inline1.png\" /> <jats:tex-math> ${\\Sigma \\subset A^G}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and study endomorphisms <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385723001207_inline2.png\" /> <jats:tex-math> $\\tau \\colon \\Sigma \\to \\Sigma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. We generalize several results for dynamical invariant sets and nilpotency of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385723001207_inline3.png\" /> <jats:tex-math> $\\tau $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> that are well known for finite alphabet cellular automata. Under mild assumptions, we prove that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385723001207_inline4.png\" /> <jats:tex-math> $\\tau $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is nilpotent if and only if its limit set, that is, the intersection of the images of its iterates, is a singleton. If moreover <jats:italic>G</jats:italic> is infinite, finitely generated and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385723001207_inline5.png\" /> <jats:tex-math> $\\Sigma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is topologically mixing, we show that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385723001207_inline6.png\" /> <jats:tex-math> $\\tau $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is nilpotent if and only if its limit set consists of periodic configurations and has a finite set of alphabet values.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/etds.2023.120","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Let G be a group and let V be an algebraic variety over an algebraically closed field K. Let A denote the set of K-points of V. We introduce algebraic sofic subshifts ${\Sigma \subset A^G}$ and study endomorphisms $\tau \colon \Sigma \to \Sigma $ . We generalize several results for dynamical invariant sets and nilpotency of $\tau $ that are well known for finite alphabet cellular automata. Under mild assumptions, we prove that $\tau $ is nilpotent if and only if its limit set, that is, the intersection of the images of its iterates, is a singleton. If moreover G is infinite, finitely generated and $\Sigma $ is topologically mixing, we show that $\tau $ is nilpotent if and only if its limit set consists of periodic configurations and has a finite set of alphabet values.