Source author record

Tobias Hartnick

Tobias Hartnick appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

22works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2022arXiv

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.

preprint2020arXiv

Aperiodic order and spherical diffraction, II: Translation bounded measures on homogeneous spaces

We study the auto-correlation measures of invariant random point processes in the hyperbolic plane which arise from various classes of aperiodic Delone sets. More generally, we study auto-correlation measures for large classes of Delone sets in (and even translation bounded measures on) arbitrary locally compact homogeneous metric spaces. We then specialize to the case of weighted model sets, in which we are able to derive more concrete formulas for the auto-correlation. In the case of Riemannian symmetric spaces we also explain how the auto-correlation of a weighted model set in a Riemannian symmetric space can be identified with a (typically non-tempered) positive-definite distribution on $\mathbb R^n$. This paves the way for a diffraction theory for such model sets, which will be discussed in the sequel to the present article.

preprint2020arXiv

Aperiodic order and spherical diffraction, III: The shadow transform and the diffraction formula

We define spherical diffraction measures for a wide class of weighted point sets in commutative spaces, i.e. proper homogeneous spaces associated with Gelfand pairs. In the case of the hyperbolic plane we can interpret the spherical diffraction measure as the Mellin transform of the auto-correlation distribution. We show that uniform regular model sets in commutative spaces have a pure point spherical diffraction measure. The atoms of this measure are located at the spherical automorphic spectrum of the underlying lattice, and the diffraction coefficients can be characterized abstractly in terms of the so-called shadow transform of the characteristic functions of the window. In the case of the Heisenberg group we can give explicit formulas for these diffraction coefficients in terms of Bessel and Laguerre functions.

preprint2020arXiv

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.

preprint2017arXiv

Aperiodic order and spherical diffraction, I: Auto-correlation of model sets

We study uniform and non-uniform model sets in arbitrary locally compact second countable (lcsc) groups, which provide a natural generalization of uniform model sets in locally compact abelian groups as defined by Meyer and used as mathematical models of quasi-crystals. We then define a notion of auto-correlation for subsets of finite local complexitiy in arbitrary lcsc groups, which generalizes Hof's classical definition beyond the class of amenable groups, and provide a formula for the auto-correlation of a regular model set. Along the way we show that the punctured hull of an arbitrary regular model set admits a unique invariant probability measure, even in the case where the punctured hull is non-compact and the group is non-amenable. In fact this measure is also the unique stationary measure with respect to any admissible probability measure.

preprint2017arXiv

Bounded cohomology and virtually free hyperbolically embedded subgroups

Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$, \dots) embeds via the natural restriction maps into the inverse limit of the second bounded cohomologies of its virtually free subgroups, and in fact even into the inverse limit of the second bounded cohomologies of its hyperbolically embedded virtually free subgroups. This result is new and non-trivial even in the case where $G$ is a (non-free) hyperbolic group. The corresponding statement fails in general for the third bounded cohomology, even for surface groups.

preprint2016arXiv

On order preserving representations

In this article we introduce order preserving representations of fundamental groups of surfaces into Lie groups with bi-invariant orders. By relating order preserving representations to weakly maximal representations, introduced in arXiv:1305.2620, we show that order preserving representations into Lie groups of Hermitian type are faithful with discrete image and that the set of order preserving representations is closed in the representation variety. For Lie groups of Hermitian type whose associated symmetric space is of tube type we give a geometric characterization of these representations in terms of the causal structure on the Shilov boundary.

preprint2016arXiv

On weakly maximal representations of surface groups

We introduce and study a new class of representations of surface groups into Lie groups of Hermitian type, called {\em weakly maximal} representations. We prove that weakly maximal representations are discrete and injective and we describe the structure of the Zariski closure of their image. Furthermore we prove that the set of weakly maximal representations is a closed subset of the representation variety and describe its relation to other geometrically significant subsets of the representation variety.

preprint2016arXiv

Perturbations of the Spence-Abel equation and deformations of the dilogarithm function

We analyze existence, uniqueness and regularity of solutions for perturbations of the Spence-Abel equation for the Rogers' dilogarithm. As an application we deduce a version of Hyers-Ulam stability for the Spence-Abel equation. Our analysis makes use of a well-known cohomological interpretation of the Spence-Abel equation and is based on our recent results on continuous bounded cohomology of SL(2,R).

preprint2015arXiv

Quasi-state Rigidity for Finite-dimensional Lie Algebras

We say that a Lie algebra $\gfr$ is quasi-state rigid if every Ad-invariant continuous Lie quasi-state on it is the directional derivative of a homogeneous quasimorphism. Extending work of Entov and Polterovich, we show that every reductive Lie algebra, as well as the algebras $\C^n \rtimes Ł{u}(n)$, $n \geq 1$, are rigid. On the other hand, a Lie algebra which surjects onto the three-dimensional Heisenberg algebra is not rigid. For Lie algebras of dimension $\leq 3$ and for solvable Lie algebras which split over a codimension one abelian ideal, we show that this is the only obstruction to rigidity.

preprint2015arXiv

Relations between counting functions on free groups and free monoids

We consider finite sums of counting functions on the free group $F_n$ and the free monoid $M_n$ for $n \geq 2$. Two such sums are considered equivalent if they differ by a bounded function. We find the complete set of linear relations between equivalence classes of sums of counting functions and apply this result to construct an explicit basis for the vector space of such equivalence classes. Moreover, we provide a graphical algorithm to determine whether two given sums of counting functions are equivalent. In particular, this yields an algorithm to decide whether two sums of Brooks quasimorphisms on $F_n$ represent the same class in bounded cohomology.

preprint2014arXiv

On quasioutomorphism groups of free groups and their transitivity properties

We introduce a notion of quasimorphism between two arbitrary groups, generalizing the classical notion of Ulam. We then define and study the category of homogeneous quasigroups, whose objects are groups and whose morphisms are equivalence classes of quasimorphisms in our sense. We call the automorphism group QOut(G) of a group G in this category the quasioutomorphism group. It acts on the space of real-valued homogeneous quasimorphisms on G extending the natural action of Out(G). We discuss various classes of examples of quasioutomorphisms of free groups. We use these examples to show that the orbit of Hom(F_n, R) under QOut(F_n) spans a dense subspace. This is contrast to the classical fact that the corresponding Out(F_n)-orbit is closed and of uncountable codimension. We also show that QOut(Z^n) = GL_n(R).

preprint2013arXiv

On topological twin buildings and topological split Kac-Moody groups

We prove that a two-spherical split Kac-Moody group over a local field naturally provides a topological twin building in the sense of Kramer. This existence result and the local-to-global principle for twin building topologies combined with the theory of Moufang foundations as introduced and studied by Mühlherr, Ronan, and Tits allows one to immediately obtain a classification of two-spherical split Moufang topological twin buildings whose underlying Coxeter diagram contains no loop and no isolated vertices.

preprint2011arXiv

Cross ratios, translation lengths and maximal representations

We define a family of four-point invariants for Shilov boundaries of bounded symmetric domains of tube type, which generalizes the classical four-point cross ratio on the unit circle. This generalization, which is based on a similar construction of Clerc and Ørsted, is functorial and well-behaved under products; these two properties determine our extension uniquely. Our generalized cross ratios can be used to estimate translation lengths of a large class of isometries of the underlying bounded symmetric domain. Our main application concerns maximal representations of surface groups with Hermitian target. For any such representation we can construct a strict cross ratio on the circle in the sense of Labourie via pullback of our generalized cross ratio along a suitable limit curve. In this context our translation length estimates then imply that maximal representations with Hermitian target are well-displacing; this implies in particular that the action of the mapping class group on the moduli space of maximal representations into a Hermitian Lie group is proper.

preprint2011arXiv

Invariant Orders on Hermitian Lie Groups

We study three natural bi-invariant partial orders on a certain covering group of the automorphism group of a bounded symmetric domain of tube type; these orderings are defined using the geometry of the Shilov boundary, Lie semigroup theory and quasimorphisms respectively. Our main result shows that these orders are related by two inclusion relations. In the case of $SL_2(\R)$ we can show that they coincide.

preprint2011arXiv

Quasi-Total Orders and Translation Numbers

We show that a group admits a non-zero homogeneous quasimorphism if and only if it admits a certain type of action on a poset. Our proof is based on a construction of quasimorphisms which generalizes Poincaré--Ghys' construction of the classical translation number quasimorphism. We then develop a correspondence between quasimorphisms and actions on posets, which allows us to translate properties of orders into properties of quasimorphisms and vice versa. Concerning examples we obtain new realizations of the Rademacher quasimorphism, certain Brooks type quasimorphisms, the Dehornoy floor quasimorphism as well as Guichardet-Wigner quasimorphisms on simple Hermitian Lie groups of tube type. The latter we relate to Kaneyuki causal structures on Shilov boundaries, following an idea by Clerc and Koufany. As applications we characterize those quasimorphisms which arise from circle actions, and subgroups of Hermitian Lie groups with vanishing Guichardet-Wigner quasimorphisms.

preprint2011arXiv

Weakly maximal representations of surface groups

We introduce and study a new class of representations of surface groups into Lie groups of Hermitian type, called weakly maximal representations. They are defined in terms of invariants in bounded cohomology and extend considerably the scope of maximal representations. We prove that weakly maximal representations are discrete and injective and describe the structure of the Zariski closure of the image. An interesting feature of these representations is that they admit an elementary topological characterization in terms of bi-invariant orderings. In particular if the target group is Hermitian of tube type, the ordering can be described in terms of the causal structure on the Shilov boundary.

preprint2010arXiv

Biharmonic functions on groups and limit theorems for quasimorphisms along random walks

We show for very general classes of measures on locally compact second countable groups that every Borel measurable quasimorphism is at bounded distance from a quasi-biharmonic one. This allows us to deduce non-degenerate central limit theorems and laws of the iterated logarithm for such quasimorphisms along regular random walks on topological groups using classical martingale limit theorems of Billingsley and Stout. For quasi-biharmonic quasimorphism on countable groups we also obtain integral representations using martingale convergence.

preprint2010arXiv

Reconstructing quasimorphisms from associated partial orders and a question of Polterovich

We show that every continuous homogeneous quasimorphism on a finite-dimensional 1-connected simple Lie group arises as the relative growth of any continuous bi-invariant partial order on that group. More generally we show, that an arbitrary homogeneous quasimorphism can be reconstructed as the relative growth of a partial order subject to a certain sandwich condition. This provides a link between invariant orders and bounded cohomology and allows the concrete computation of relative growth for finite dimensional simple Lie groups as well as certain infinite-dimensional Lie groups arising from symplectic geometry.

preprint2008arXiv

Final group topologies, Kac-Moody groups and Pontryagin duality

We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k_ω-space, or locally k_ω. As a first application, we show that unitary forms of complex Kac-Moody groups can be described as the colimit of an amalgam of subgroups (in the category of Hausdorff topological groups, and the category of k_ω-groups). Our second application concerns Pontryagin duality theory for the classes of almost metrizable topological abelian groups, resp., locally k_ωtopological abelian groups, which are dual to each other. In particular, we explore the relations between countable projective limits of almost metrizable abelian groups and countable direct limits of locally k_ωabelian groups.