Showing 1–10 of 10 results for author: Karrer, A

RAAGedy right-angled Coxeter groups

Authors: Christopher H. Cashen, Pallavi Dani, Alexandra Edletzberger, Annette Karrer

Abstract: We give criteria for deciding whether or not a triangle-free simple graph is the presentation graph of a right-angled Coxeter group that is quasiisometric to some right-angled Artin group, and, if so, producing a presentation graph for such a right-angled Artin group. We introduce two new graph modification operations, cloning and unfolding, to go along with an existing operation called link dou… ▽ More We give criteria for deciding whether or not a triangle-free simple graph is the presentation graph of a right-angled Coxeter group that is quasiisometric to some right-angled Artin group, and, if so, producing a presentation graph for such a right-angled Artin group. We introduce two new graph modification operations, cloning and unfolding, to go along with an existing operation called link doubling. These operations change the presentation graph but not the quasiisometry type of the resulting group. We give criteria on the graph that imply it can be transformed by these operations into a graph that is recognizable as presenting a right-angled Coxeter group commensurable to a right-angled Artin group. In the converse direction we derive coarse geometric obstructions to being quasiisometric to a right-angled Artin group, first by specializing existing results from the literature to this setting, then by developing new approaches using configurations of maximal product regions. In all cases we give sufficient graphical conditions that imply these geometric obstructions. We implemented our criteria on a computer and applied them to an enumeration of small graphs. Our methods completely answer the motiving question when the graph has at most 10 vertices. △ Less

Submitted 20 June, 2025; originally announced June 2025.

Comments: 77 pages, 32 figures

MSC Class: 20F65; 20F55

Subgroups arising from connected components in the Morse boundary

Authors: Annette Karrer, Babak Miraftab, Stefanie Zbinden

Abstract: We study connected components of the Morse boundary and their stabilisers. We introduce the notion of point-convergence and show that if the set of non-singleton connected components of the Morse boundary of a finitely generated group $G$ is point-convergent, then every non-singleton connected component is the (relative) Morse boundary of its stabiliser. The above property only depends on the topo… ▽ More We study connected components of the Morse boundary and their stabilisers. We introduce the notion of point-convergence and show that if the set of non-singleton connected components of the Morse boundary of a finitely generated group $G$ is point-convergent, then every non-singleton connected component is the (relative) Morse boundary of its stabiliser. The above property only depends on the topology of the Morse boundary and hence is invariant under quasi-isometry. This shows that the topology of the Morse boundary not only carries algebraic information but can be used to detect certain subgroups which in some sense are invariant under quasi-isometry. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Comments: 18 pages, 5 figures, comments welcome!

MSC Class: 20F65; 20F67

On the Čech cohomology of Morse boundaries

Authors: Elia Fioravanti, Annette Karrer, Alessandro Sisto, Stefanie Zbinden

Abstract: We consider cusped hyperbolic $n-$manifolds, and compute Čech cohomology groups of the Morse boundaries of their fundamental groups. In particular, we show that the reduced Čech cohomology with real coefficients vanishes in dimension at most $n-3$ and does not vanish in dimension $n-2$. A similar result holds for relatively hyperbolic groups with virtually nilpotent peripherals and Bowditch bounda… ▽ More We consider cusped hyperbolic $n-$manifolds, and compute Čech cohomology groups of the Morse boundaries of their fundamental groups. In particular, we show that the reduced Čech cohomology with real coefficients vanishes in dimension at most $n-3$ and does not vanish in dimension $n-2$. A similar result holds for relatively hyperbolic groups with virtually nilpotent peripherals and Bowditch boundary homeomorphic to a sphere; these include all non-uniform lattices in rank$-1$ simple Lie groups. △ Less

Submitted 27 February, 2024; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 41 pages, 8 figures; minor edits, accepted in Advances in Mathematics

Report number: MPIM-Bonn-2023

Connected components of Morse boundaries of graphs of groups

Authors: Elia Fioravanti, Annette Karrer

Abstract: Let a finitely generated group $G$ split as a graph of groups. If edge groups are undistorted and do not contribute to the Morse boundary $\partial_MG$, we show that every connected component of $\partial_MG$ with at least two points originates from the Morse boundary of a vertex group. Under stronger assumptions on the edge groups (such as wideness in the sense of Druţu-Sapir), we show that Morse… ▽ More Let a finitely generated group $G$ split as a graph of groups. If edge groups are undistorted and do not contribute to the Morse boundary $\partial_MG$, we show that every connected component of $\partial_MG$ with at least two points originates from the Morse boundary of a vertex group. Under stronger assumptions on the edge groups (such as wideness in the sense of Druţu-Sapir), we show that Morse boundaries of vertex groups are topologically embedded in $\partial_MG$. △ Less

Submitted 27 January, 2022; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: 16 pages; better title, final version; to appear in Pacific J. Math

Journal ref: Pacific J. Math. 317 (2022) 339-361

The boundary rigidity of lattices in products of trees

Authors: Kasia Jankiewicz, Annette Karrer, Kim Ruane, Bakul Sathaye

Abstract: We show that every group acting freely and vertex-transitively by isometries on a product of two regular trees of finite valence is boundary rigid. That means that every CAT(0) space that admits a geometric action of any such group has the visual boundary homeomorphic to a join of two copies of the Cantor set. We show that every group acting freely and vertex-transitively by isometries on a product of two regular trees of finite valence is boundary rigid. That means that every CAT(0) space that admits a geometric action of any such group has the visual boundary homeomorphic to a join of two copies of the Cantor set. △ Less

Submitted 1 March, 2023; v1 submitted 19 September, 2021; originally announced September 2021.

Comments: 10 pages. Upon the revision of the paper, we learned that Margolis (arXiv:2207.04401) proved a much stronger result than our main theorem

MSC Class: 20F65

Right-angled Coxeter groups with totally disconnected Morse boundaries

Authors: Annette Karrer

Abstract: This paper introduces a new class of right-angled Coxeter groups with totally disconnected Morse boundaries. We construct this class recursively by examining how the Morse boundary of a right-angled Coxeter group changes if we glue a graph to its defining graph. More generally, we present a method to construct amalgamated free products of CAT(0) groups with totally disconnected Morse boundaries th… ▽ More This paper introduces a new class of right-angled Coxeter groups with totally disconnected Morse boundaries. We construct this class recursively by examining how the Morse boundary of a right-angled Coxeter group changes if we glue a graph to its defining graph. More generally, we present a method to construct amalgamated free products of CAT(0) groups with totally disconnected Morse boundaries that act geometrically on CAT(0) spaces that have a treelike block decomposition. △ Less

Submitted 15 July, 2021; v1 submitted 9 May, 2021; originally announced May 2021.

Comments: 36 pages, 19 figures; an error in Section 4.3 was corrected (main result unchanged); a corresponding example with a figure was added; explanations and a reference to the example were added to the introduction; in particular, Definition 1.3 of the relative Morse boundary was improved; pictures were improved; typos corrected; a remark in section 6 was added

MSC Class: 20F65; 20F55

Surprising circles in Morse boundaries of right-angled Coxeter groups

Authors: Marius Graeber, Annette Karrer, Nir Lazarovich, Emily Stark

Abstract: We show that the Morse boundary of a right-angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph. We show that the Morse boundary of a right-angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 3 pages, 2 figures

MSC Class: 20F65; 20F55

The triangle groups (2,4,5) and (2,5,5) are not systolic

Authors: Annette Karrer, Petra Schwer, Koen Struyve

Abstract: In this paper we provide new examples of hyperbolic but nonsystolic groups by showing that the triangle groups $(2,4,5)$ and $(2,5,5)$ are not systolic. Along the way we prove some results about subsets of systolic complexes stable under involutions. In this paper we provide new examples of hyperbolic but nonsystolic groups by showing that the triangle groups $(2,4,5)$ and $(2,5,5)$ are not systolic. Along the way we prove some results about subsets of systolic complexes stable under involutions. △ Less

Submitted 24 June, 2020; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 37 pages, 16 figures

High girth hypergraphs with unavoidable monochromatic or rainbow edges

Authors: Maria Axenovich, Annette Karrer

Abstract: A classical result of Erdős and Hajnal claims that for any integers $k, r, g \geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ with chromatic number at least $k$. This implies that there are sparse hypergraphs such that in any coloring of their vertices with at most $k-1$ colors there is a monochromatic hyperedge. We show that for any integers $r, g\geq 2$ there is an $r$-uniform hy… ▽ More A classical result of Erdős and Hajnal claims that for any integers $k, r, g \geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ with chromatic number at least $k$. This implies that there are sparse hypergraphs such that in any coloring of their vertices with at most $k-1$ colors there is a monochromatic hyperedge. We show that for any integers $r, g\geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ such that in any coloring of its vertices there is either a monochromatic or a rainbow (totally multicolored) edge. We give a probabilistic and a deterministic proof of this result. △ Less

Submitted 17 August, 2016; v1 submitted 22 July, 2016; originally announced July 2016.

Comments: Corrected remark to references. The paper [8] addresses both graphs and hypergraphs

MSC Class: 05C15 ACM Class: G.2.2

Simultaneous Embedding: Edge Orderings, Relative Positions, Cutvertices

Authors: Thomas Bläsius, Annette Karrer, Ignaz Rutter

Abstract: A simultaneous embedding (with fixed edges) of two graphs $G^1$ and $G^2$ with common graph $G=G^1 \cap G^2$ is a pair of planar drawings of $G^1$ and $G^2$ that coincide on $G$. It is an open question whether there is a polynomial-time algorithm that decides whether two graphs admit a simultaneous embedding (problem SEFE). In this paper, we present two results. First, a set of three linear-time… ▽ More A simultaneous embedding (with fixed edges) of two graphs $G^1$ and $G^2$ with common graph $G=G^1 \cap G^2$ is a pair of planar drawings of $G^1$ and $G^2$ that coincide on $G$. It is an open question whether there is a polynomial-time algorithm that decides whether two graphs admit a simultaneous embedding (problem SEFE). In this paper, we present two results. First, a set of three linear-time preprocessing algorithms that remove certain substructures from a given SEFE instance, producing a set of equivalent SEFE instances without such substructures. The structures we can remove are (1) cutvertices of the union graph $G^\cup = G^1 \cup G^2$, (2) most separating pairs of $G^\cup$, and (3) connected components of $G$ that are biconnected but not a cycle. Second, we give an $O(n^3)$-time algorithm solving SEFE for instances with the following restriction. Let $u$ be a pole of a P-node $μ$ in the SPQR-tree of a block of $G^1$ or $G^2$. Then at most three virtual edges of $μ$ may contain common edges incident to $u$. All algorithms extend to the sunflower case, i.e., to the case of more than three graphs pairwise intersecting in the same common graph. △ Less

Submitted 18 June, 2015; originally announced June 2015.

Comments: 64 pages, 20 figures

ACM Class: G.2.1; G.2.2; F.2.2