Related papers: Aperiodic monotiles: from geometry to groups

We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…

It is shown that the correct mathematical implementation of symmetry in the geometric formulation of classical field theory leads naturally beyond the concept of Lie groups and their actions on manifolds, out into the realm of Lie group…

Band topology is both constrained and enriched by the presence of symmetry. The importance of anti-unitary symmetries such as time reversal was recognized early on leading to the classification of topological band structures based on the…

We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.

We study ordinary abelian schemes in characteristic $p$ and their moduli spaces from the perspective of char $p$ Mumford--Tate, log Ax--Lindemann, and geometric Andr\'e--Oort conjectures (abbreviated as $\MTT_p$, $\mathrm{logAL}_p$ and…

Various algebraic structures in geometry and group theory have appeared to be governed by certain universal rings. Examples include: the cohomology rings of Hilbert schemes of points on projective surfaces and quasi-projective surfaces; the…

For nonempty subsets $X$ and $Y$ of a group $G$, we say that $(X,Y)$ is a tiling of $G$ if every element of $G$ can be uniquely expressed as $xy$ for some $x\in X$ and $y\in Y$. In 1966, Rothaus and Thompson studied whether the symmetric…

In this master thesis, we extend results from classical simple homotopy theory to the world of stratified homotopy theory. To obtain a well-established framework to work in, we prove a series of results on two model categories of simplicial…

Classical results on aperiodic tilings are rather complicated and not widely understood. Below, an alternative approach is discussed in hope to provide additional intuition not apparent in classical works.

We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the…

This paper presents a more complete version than hitherto published of our explanation of a transition from regular to irregular motions and more generally of the nature of a certain kind of deterministic chaos. To this end we introduced a…

We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of…

We survey two decades of work on the (sequential) topological complexity of configuration spaces of graphs (ordered and unordered), aiming to give an account that is unifying, elementary, and self-contained. We discuss the traditional…

We use mirror symmetry to establish the first concrete arena of spacetime topology change in string theory. In particular, we establish that the {\it quantum theories} based on certain nonlinear sigma models with topologically distinct…

We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2].

A common criticism of infinity-categories in algebraic geometry is that they are an extremely technical subject, so abstract to be useless in everyday mathematics. The aim of this note is to show in a classical example that quite the…

Quasiperiodic patterns described by polyhedral "atomic surfaces" and admitting matching rules are considered. It is shown that the cohomology ring of the continuous hull of such patterns is isomorphic to that of the complement of a torus…

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…

We explicitly construct a strongly aperiodic subshift of finite type for the discrete Heisenberg group. Our example builds on the classical aperiodic tilings of the plane due to Raphael Robinson. Extending those tilings to the Heisenberg…

A symmetry based quantization method of reparametrization invariant systems is described; it will work for all systems that possess complete sets of perennials whose Lie algebras close and which generate a sufficiently large symmetry…