arXiv subjects

Gregory A. Kelsey

Publications and source records attributed to Gregory A. Kelsey.

4 recordsLinked to original sources

arXiv2020

On the asymmetry of stars at infinity

Given a bordified space, Karlsson defines an incidence geometry of stars at infinity. These stars and their incidence are closely related to well-understood objects when the space is hyperbolic, CAT(0), or a bounded convex domain with the Hilbert metric. A question stemming from Karlsson's original paper was whether or not the relation of one boundary point being included in a star of another boundary point is symmetric. This paper provides an example demonstrating that this relation in the star boundary of the three-tree Diestel-Leader graph $DL_3(q)$ is not symmetric. In doing so, some interesting bounds on distance in Diestel-Leader graphs are utilized.

math.GR↗

arXiv2016

The horofunction boundary of the lamplighter group $L_2$ with the Diestel-Leader metric

We fully describe the horofunction boundary $\partial_h L_2$ with the word metric associated with the generating set $\{t,at\}$ (i.e the metric arising in the Diestel-Leader graph $\text{DL}(2,2)$). The visual boundary $\partial_\infty L_2$ with this metric is a subset of $\partial_h L_2$. Although $\partial_\infty L_2$ does not embed continuously in $\partial_h L_2$, it naturally splits into two subspaces, each of which is a punctured Cantor set and does embed continuously. The height function on $\text{DL}(2,2)$ provides a natural stratification of $\partial_h L_2$, in which countably-many non-Busemann points interpolate between the two halves of $\partial_\infty L_2$. Furthermore, the height function and its negation are themselves non-Busemann horofunctions in $\partial_h L_2$ and are global fixed points of the action of $L_2$.

math.GR↗

arXiv2015

Visual boundaries of Diestel-Leader graphs

Diestel-Leader graphs are neither hyperbolic nor CAT(0), so their visual boundaries may be pathological. Indeed, we show that for $d>2$, $\partial\text{DL}_d(q)$ carries the indiscrete topology. On the other hand, $\partial\text{DL}_2(q)$, while not Hausdorff, is $T_1$, totally disconnected, and compact. Since $\text{DL}_2(q)$ is a Cayley graph of the lamplighter group $L_q$, we also obtain a nice description of $\partial\text{DL}_2(q)$ in terms of the lamp stand model of $L_q$ and discuss the dynamics of the action.

math.GR↗

arXiv2011

Mapping schemes realizable by obstructed topological polynomials

In 1985, Levy used a theorem of Berstein to prove that all hyperbolic topological polynomials are equivalent to complex polynomials. We prove a partial converse to the Berstein-Levy Theorem: given post-critical dynamics that are in a sense strongly non-hyperbolic, we prove the existence of topological polynomials which are not equivalent to any complex polynomial that realize these post-critical dynamics. This proof employs the theory of self-similar groups to demonstrate that a topological polynomial admits an obstruction and produces a wealth of examples of obstructed topological polynomials.

math.DS↗