Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs

Léo Paviet Salomon, Pascal Vanier

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Subshifts are sets of colourings – or tilings – of the plane, defined by local constraints. Historically introduced as discretizations of continuous dynamical systems, they are also heavily related to computability theory. In this article, we study a conjugacy invariant for subshifts, known as the projective fundamental group. It is defined via paths inside and between configurations. We show that any finitely presented group can be realized as a projective fundamental group of some SFT.

Original languageEnglish
Title of host publication48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023
EditorsJerome Leroux, Sylvain Lombardy, David Peleg
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959772921
DOIs
Publication statusPublished - 1 Aug 2023
Externally publishedYes
Event48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023 - Bordeaux, France
Duration: 28 Aug 20231 Sept 2023

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume272
ISSN (Print)1868-8969

Conference

Conference48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023
Country/TerritoryFrance
CityBordeaux
Period28/08/231/09/23

Keywords

  • Computability
  • Dynamical Systems
  • Fundamental Group
  • Subshift of Finite Type
  • Subshifts
  • Wang tiles

Fingerprint

Dive into the research topics of 'Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs'. Together they form a unique fingerprint.

Cite this