SearcharxivSearch

arXiv subjects

Tobias Hartnick

Publications and source records attributed to Tobias Hartnick.

At least 19 recordsLinked to original sources

Elementwise conservative actions and new constructions of boomerang subgroups

We show that countable non-abelian free groups admit uncountably many mutually singular elementwise conservative non-singular random subgroups, which are supported on infinite subgroups of infinite index and singular with respect to every invariant random subgroup. This complements recent rigidity results for elementwise-conservative random subgroups in higher rank lattices by the first- and third-named authors. Our proof is based on a study of representations of free groups into measurable full groups in which the action of the first generator of the free group is fixed. We show that elementwise conservativity is generic among such representations in the sense of Baire category.

math.GR

Symbolic substitution systems beyond abelian groups

In this article we construct the first examples of strongly aperiodic linearly repetitive Delone sets in non-abelian Lie groups by means of symbolic substitutions. In particular, we find such sets in all $2$-step nilpotent Lie groups with rational structure constants such as the Heisenberg group. More generally, we consider the class of $1$-connected nilpotent Lie groups whose Lie algebras admit a rational form and a derivation with positive eigenvalues. Any group in this class admits a lattice which is invariant under a natural family of dilations, and this allows us to construct primitive non-periodic symbolic substitutions. We show that, as in the abelian case, the associated subshift (and hence the induced Delone dynamical system) is minimal, uniquely ergodic and weakly aperiodic and consists of linearly repetitive configurations. In the $2$-step nilpotent case, it is even strongly aperiodic.

math.DS

Bounded cohomological induction for transverse measured groupoids

We establish an induction isomorphism in the context of measurable bounded cohomology of discrete measured groupoid, which generalizes the Eckmann-Shapiro isomorphism in bounded cohomology of lattices due to Burger and Monod. In our wider setting, the role of lattices is taken by the class of transverse measured groupoids $(\mathcal{G}, ν)$ associated with a cross-section $Y$ in a pmp dynamical system $(X, μ)$ of a lcsc group $G$ such that the associated hitting time process of $Y$ is locally integrable. Typical examples are given by pattern groupoids of strong approximate lattices. Under the assumptions that $G$ is unimodular we show that the measurable bounded cohomology of $(\mathcal{G}, ν)$ is isomorphic to the continuous bounded cohomology of $G$ with coefficients in $\text{L}^{\infty}(X, μ)$. As a consequence, if $G$ is amenable, then $(\mathcal{G}, ν)$ is boundedly acyclic, and in general the restriction map $\text{H}_{\text{cb}}^\bullet (G; \mathbb{R}) \to \text{H}_{\text{mb}}^\bullet ((\mathcal{G}, ν);\underline{\mathbb{R}})$ is injective. Moreover, it follows from known results in continuous bounded cohomology that if $G$ is a semisimple higher rank Lie group of Hermitian (respectively complex classical) type, then the second (respectively third) measurable bounded cohomology of $(\mathcal{G}, ν)$ is generated by the restriction of the bounded Kähler class (respectively bounded Borel class). These are the first explicit computations of non-trivial bounded cohomology groups of measured groupoids which are not isomorphic to an action groupoid.

math.DS

Siegel-Radon transforms of transverse dynamical systems

We extend Helgason's classical definition of a generalized Radon transform, defined for a pair of homogeneous spaces of an lcsc group $G$, to a broader setting in which one of the spaces is replaced by a possibly non-homogeneous dynamical system over $G$ together with a suitable cross section. This general framework encompasses many examples studied in the literature, including Siegel (or $Θ$-) transforms and Marklof-Strömbergsson transforms in the geometry of numbers, Siegel-sVeech transforms for translation surfaces, and Zak transforms in time-frequency analysis. Our main applications concern dynamical systems $(X, μ)$ in which the cross section is induced from a separated cross section. We establish criteria for the boundedness, integrability, and square-integrability of the associated Siegel-Radon transforms, and show how these transforms can be used to embed induced $G$-representations into $L^p(X, μ)$ for appropriate values of $p$. These results apply in particular to hulls of approximate lattices and certain "thinnings" thereof, including arbitrary positive density subsets in the amenable case. In the special case of cut-and-project sets, we derive explicit formulas for the dual transforms, and in the special case of the Heisenberg group we provide isometric embedding of Schrödinger representations into the $L^2$-space of the hulls of positive density subsets of approximate lattices in the Heisenberg group by means of aperiodic Zak transforms.

math.DS

Sharp density discrepancy for cut and project sets: An approach via lattice point counting

Cut and project sets are obtained by taking an irrational slice of a lattice and projecting it to a lower dimensional subspace, and are fully characterised by the shape of the slice (window) and the choice of the lattice. In this context we seek to quantify fluctuations from the asymptotics for point counts. We obtain uniform upper bounds on the discrepancy depending on the diophantine properties of the lattice as well as universal lower bounds on the average of the discrepancy. In an appendix, Michael Björklund and Tobias Hartnick obtain lower bounds on the $L^2$-norm of the discrepancy also depending on the diophantine class; these lower bounds match our uniform upper bounds and both are therefore sharp. Using the sufficient criteria of Burago--Kleiner and Aliste-Prieto--Coronel--Gambaudo we find an explicit full-measure class of cut and project sets that are biLipschitz equivalent to lattices; the lower bounds on the variance indicate that this is the largest class of cut and project sets for which those sufficient criteria can apply.

math.NT

Hurewicz and Dranishnikov-Smith theorems for asymptotic dimension of countable approximate groups

We establish two main results for the asymptotic dimension of countable approximate groups. The first one is a Hurewicz type formula for a global morphism of countable approximate groups $f:(Ξ, Ξ^\infty) \to (Λ, Λ^\infty)$, stating that $\mathrm{asdim} Ξ\leq \mathrm{asdim} Λ+\mathrm{asdim} ([\mathrm{ker} f]_c)$. This is analogous to the Dranishnikov-Smith result for groups, and is relying on another Hurewicz type formula we prove, using a 6-local morphism instead of a global one. The second result is similar to the Dranishnikov-Smith theorem stating that, for a countable group $G$, $\mathrm{asdim} G$ is equal to the supremum of asymptotic dimensions of finitely generated subgroups of $G$. Our version states that, if $(Λ, Λ^\infty)$ is a countable approximate group, then $\mathrm{asdim} Λ$ is equal to the supremum of asymptotic dimensions of approximate subgroups of finitely generated subgroups of $Λ^\infty$, with these approximate subgroups contained in $Λ^2$.

math.GR

Foundations of geometric approximate group theory

We develop the foundations of a geometric theory of countably-infinite approximate groups, extending work of Björklund and the second-named author. Our theory is based on the notion of a quasi-isometric quasi-action (qiqac) of an approximate group on a metric space. More specifically, we introduce a geometric notion of finite generation for approximate group and prove that every geometrically finitely-generated approximate group admits a geometric qiqac on a proper geodesic metric space. We then show that all such spaces are quasi-isometric, hence can be used to associate a canonical QI type with every geometrically finitely-generated approximate group. This in turn allows us to define geometric invariants of approximate groups using QI invariants of metric spaces. Among the invariants we consider are asymptotic dimension, finiteness properties, numbers of ends and growth type. For geometrically finitely-generated approximate groups of polynomial growth we derive a version of Gromov's polynomial growth theorem, based on work of Hrushovski and Breuillard--Green--Tao. A particular focus is on qiqacs on hyperbolic spaces. Our strongest results are obtained for approximate groups which admit a geometric qiqac on a proper geodesic hyperbolic space. For such "hyperbolic approximate groups" we establish a number of fundamental properties in analogy with the case of hyperbolic groups. For example, we show that their asymptotic dimension is one larger than the topological dimension of their Gromov boundary and that - under some mild assumption of being "non-elementary" - they have exponential growth and act minimally on their Gromov boundary. We also study convex cocompact qiqacs on hyperbolic spaces. Using the theory of Morse boundaries, we extend some of our results concerning qiqacs on hyperbolic spaces to qiqacs on proper geodesic metric spaces with non-trivial Morse boundary.

math.GR

A Quillen Stability Criterion for Bounded Cohomology

We provide a version of Quillen's homological stability criterion for continuous bounded cohomology. This criterion is exploited in the companion paper (arXiv:2201.03879) in order to derive new bounded cohomological stability results for various families of classical groups.

math.GR

Dynamics on spaces of quasimorphisms and applications to approximate lattice theory

We study the dynamics of countable groups on their respective spaces of quasimorphisms. For cohomologically non-trivial quasimorphisms we show that there are no invariant measures and classify stationary measures. Within the equivalence class of any given quasimorphism we find both uniquely stationary orbit closures which are in fact boundaries and orbit closures with uncountably many ergodic stationary probability measures. We apply these results to study hulls of uniform approximate lattices which arise from twists by quasimorphisms. We show that these hulls do not admit invariant probability measures (extending results by Machado and Hrushovski) and classify stationary probability measures on these hulls.

math.DS

Automorphisms of self-similar trees

We explicitly determine the automorphism groups of all self-similar trees (a.k.a. trees with finitely many cone types). We show that any such automorphism group is a direct limit of certain finite products of finite symmetric groups, which are parametrized by a certain deterministic finite automaton.

math.GR

Automorphism groups of cocompact CAT(0) cube complexes and simplicity

We provide a systematic description of the automorphism groups of specially cocompact CAT(0) cube complexes. We show that these groups are topologically finitely generated, present a method to explicitly obtain generating sets, and prove a dichotomy on their size. Furthermore, we show that, under some extra assumptions, the normal subgroup known as Aut^+ is simple, non-discrete, and tdlc. In particular, we obtain a new class of simple, non-discrete, tdlc groups that are accessible to further study. Finally, we study the relative size of Aut^+ in the automorphism group, providing a sufficient condition for its closure to be finite index and presenting a common example where it is not even cocompact.

math.GR

Stabilization of Bounded Cohomology for Classical Groups

We show that bounded cohomology stabilizes along sequences of classical Lie groups, and along sequences of lattices in them. Our method is based on a criterion from (arXiv:2307.12808) which adapts Quillen's stability method to the setting of bounded cohomology. This criterion is then applied to a family of measured complexes, the so-called Stiefel complexes, associated to any vector space endowed with a non-degenerate sesquilinear form.

math.GR

Hyperuniformity and non-hyperuniformity of quasicrystals

We develop a general framework to study hyperuniformity of various mathematical models of quasicrystals. Using this framework we provide examples of non-hyperuniform quasicrystals which unlike previous examples are not limit-quasiperiodic. Some of these examples are even anti-hyperuniform or have a positive asymptotic number variance. On the other hand we establish hyperuniformity for a large class of mathematical quasicrystals in Euclidean spaces of arbitrary dimension. For certain models of quasicrystals we moreover establish that hyperuniformity holds for a generic choice of the underlying parameters. For quasicrystals arising from the cut-and-project method we conclude that their hyperuniformity depends on subtle diophantine properties of the underlying lattice and window and is by no means automatic.

math-ph

Higher finiteness properties of arithmetic approximate lattices: The Rank Theorem for number fields

We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups without infinite places we show that the finiteness length is finite and compute this finiteness length explicitly. In the simple case it is one less than the sum of the local ranks. This extends the Rank Theorem of Bux, Köhl and the second author from positive characteristic to characteristic zero. Our proof is based on a geometric version of their proof, but except for some input from reduction theory it is characteristic free. This indicates that the apparent differences between arithmetic groups in characteristic zero and positive characteristic concerning finiteness properties are entirely due to the presence of infinite places.

math.GR

Linear repetitivity beyond abelian groups

We show that linearly repetitive weighted Delone sets in groups of polynomial growth have a uniquely ergodic hull. This result applies in particular to the linearly repetitive weighted Delone sets in homogeneous Lie groups constructed in the companion paper arXiv:2109.15210 using symbolic substitution methods. More generally, using the quasi-tiling method of Ornstein-Weiss, we establish unique ergodicity of hulls of weighted Delone sets in amenable unimodular lcsc groups under a new repetitivity condition which we call tempered repetitivity. For this purpose, we establish a general sub-additive convergence theorem, which also has applications concerning the existence of Banach densities and uniform approximation of the spectral distribution function of finite hopping range operators on Cayley graphs.

math.DS

Efficient computations with counting functions on free groups and free monoids

We present efficient algorithms to decide whether two given counting functions on non-abelian free groups or monoids are at bounded distance from each other and to decide whether two given counting quasimorphisms on non-abelian free groups are cohomologous. We work in the multi-tape Turing machine model with non-constant time arithmetic operations. In the case of integer coefficients we construct an algorithm of linear space and time complexity (assuming that the rank is at least $3$ in the monoid case). In the case of rational coefficients we prove that the time complexity is $O(N\log N)$, where $N$ denotes the size of the input, i.e. it is as fast as addition of rational numbers (implemented using the Harvey--van der Hoeven algorithm for integer multiplication). These algorithms are based on our previous work which characterizes bounded counting functions.

math.GR

Intersection spaces and multiple transverse recurrence

We study multiple recurrence properties along separated cross sections for pmp actions of unimodular lcsc group on Polish spaces. We establish a multiple transverse recurrence theorem under the assumption that sufficiently large powers of the return time set are Delone sets. Typical examples of such situations arise from the theory of uniform approximate lattices.

math.DS

Bounded cohomology, Higgs bundles, and Milnor-Wood inequalities

We explain how the generalized Milnor-Wood inequality for reductive representations of a cocompact complex-hyperbolic lattice into a Hermitian Lie group translates, under the non-abelian Hodge correspondence, into various kinds of Milnor-Wood inequalities for Higgs bundles. This clarifies the relation between the representation theoretic generalized Milnor-Wood inequality and the various different versions of Milnor-Wood inequalities for Higgs bundles that are known in the literature.

math.DG