Quasi-Automorphism Groups of Type F-infinity
Samuel Audino, Delaney R. Aydel, Daniel S. Farley

TL;DR
This paper proves that the quasi-automorphism groups of the infinite binary tree, including QF, QT, and QV, have type F-infinity, using hybrid diagrams and actions on CAT(0) cubical complexes.
Contribution
It introduces a novel use of hybrid diagrams to establish the finiteness properties of these quasi-automorphism groups.
Findings
All groups studied have type F-infinity.
Hybrid diagrams share properties with planar and braided diagrams.
Groups act properly on CAT(0) cubical complexes.
Abstract
The groups QF, QT, and QV are groups of quasi-automorphisms of the infinite binary tree. Their names indicate a similarity with Thompson's well-known groups F, T, and V. We will use the theory of diagram groups over semigroup presentations to prove that all of the above groups (and several generalizations) have type F-infinity. Our proof uses certain types of hybrid diagrams, which have properties in common with both planar diagrams and braided diagrams. The diagram groups defined by hybrid diagrams also act properly and isometrically on CAT(0) cubical complexes.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Quasi-Automorphism Groups of Type
Samuel Audino
,
Delaney R. Aydel
Department of Mathematics
Miami University
Oxford, OH 45056 U.S.A
and
Daniel S. Farley
Department of Mathematics
Miami University
Oxford, OH 45056 U.S.A
Abstract.
The groups , , , , and are groups of quasi-automorphisms of the infinite binary tree. Their names indicate a similarity with Thompson’s well-known groups , , and .
We will use the theory of diagram groups over semigroup presentations to prove that all of the above groups (and several generalizations) have type . Our proof uses certain types of hybrid diagrams, which have properties in common with both planar diagrams and braided diagrams. The diagram groups defined by hybrid diagrams also act properly and isometrically on CAT([math]) cubical complexes.
Key words and phrases:
quasi-automorphism group, Thompson’s groups, Houghton groups, finiteness properties of groups, CAT(0) cubical complexes
2010 Mathematics Subject Classification:
20F65, 57M07
1. Introduction
Let be a graph. A quasi-automorphism of is a bijection of the vertices that preserves adjacency, with at most finitely many exceptions. Following the notation of [14], we will let denote the group of quasi-automorphisms of the infinite binary tree that also take the left and right children of a given vertex to the left and right children of , again with at most finitely many exceptions. The notation “” indicates that is a collection of quasi-automorphisms that bears a family resemblance to Thompson’s group . (A standard reference for Thompson’s groups is [6]. We will assume a basic familiarity with that source or its equivalent throughout this article.)
Groups of quasi-automorphisms have been the subject of several recent studies. Lehnert conjectured in his thesis that the group is a universal group with context-free coword problem; i.e., a universal group. Bleak, Matucci, and Neunhöffer [2] have produced an embedding of into Thompson’s group , and thus proved that Lehnert’s conjecture is equivalent to the conjecture that is itself a universal group. More recently, Nucinkis and St. John-Green [14] have studied the finiteness properties of and related groups. They introduced additional groups , , , and . The groups and are natural subgroups of that preserve (respectively) the linear and cyclic orderings of the ends of the infinite binary tree (and therefore bear a family resemblance to Thompson’s groups and , respectively). The groups and are analogous groups that act as quasi-automorphisms on the union of an infinite binary tree with an isolated point. Nucinkis and St. John-Green show that the groups , , and have type , and also compute explicit finite presentations for these groups. Whether and are finitely presented (and thus, more particularly, of type ) is left as an open problem in [14].
The third author showed (in [11]) that is a braided diagram group over a semigroup presentation. This description suggests an approach to proving the property for . Since [10] shows that a class of braided diagram groups (including Thompson’s group ) have type , and in fact other classes of diagram groups were shown to have type in [8] and [10], it is at least plausible that some approach inspired by the theory of diagram groups could establish the property for and . (We note that the original proofs that Thompson’s groups , , and have type were given by Brown [4] and by Brown and Geoghegan [5] in the 1980s.)
Nucinkis and St. John-Green show, however, that the hypotheses of the main theorem in [10] are satisfied by neither nor . In fact, as also noted in [14], even the much more general main theorem of [15] does not apply to either of and .
The goal of the present article is to extend the diagram-group methods of [8] and [10] to the groups , , , , and . We will show that all of these groups can be described using the theory of diagram groups over semigroup presentations. Indeed, all of these groups are diagram groups over the same semigroup presentation, namely , although the specific types of diagram vary from group to group. Three types of diagram groups have been considered in the literature: planar, annular, and braided diagram groups. All were introduced by Guba and Sapir in [12], which devotes by far the greatest attention to planar diagram groups (which are usually simply called diagram groups). The papers [9] and [10] consider the annular and braided diagram groups in more detail. Here we will introduce hybrid diagram groups that combine properties of multiple diagram group types. For instance, the group is a special type of diagram group over , in which the diagrams exhibit both planar and braided behavior at the same time. We will use such hybrid diagrams to prove that the groups , , , , and all act properly by isometries on CAT([math]) cubical complexes, and that all have type . In fact, our methods extend with equal ease to the case of an arbitrary finite number of binary trees and isolated vertices (see Section 5), and the case of -ary trees (for fixed ) is different only in the details. It even seems likely that our argument generalizes to other, non-regular, trees, although this is more speculative, and we attempt no general statement about such cases here.
We note that it is probably possible to extend the main theorem of [15] to prove the property in the cases under consideration here. This is only a guess, however, since the authors claim little familiarity with the methods of [15].
We will now offer an outline of the argument. In Section 2, we will give a rapid introduction to the basic theory of diagram groups (including all three types: planar, annular, and braided), and describe the natural cubical complexes on which such groups act, including a description of the links of vertices. In Section 3, we will give careful definitions of the groups , , and , and describe how to represent elements of each group as “hybrid” diagrams. Section 3 also includes a description of natural complexes on which and act; these arise as convex (and thus CAT([math]) by [7]) subcomplexes of . (We will in fact confine our attention to , , and alone, without sketching a general theory of “hybrid” diagrams. Nevertheless, we hope that the ideas indicated in Section 3 may be of some independent interest.) Section 4 shows that , , and have type . Our argument follows the long-established method given by Ken Brown in [4]. Section 5 sketches some possible further developments, including sketches of the proofs that and have type (as already proved by [14]), and the other generalizations briefly described above.
2. Braided diagram groups and actions on associated complexes
2.1. Definition of braided diagram groups
To define braided diagram groups, we must first define braided diagrams over semigroup presentations.
Definition 2.1**.**
(Braided diagrams over a semigroup presentation) Let be a semigroup presentation; thus , where is a set (to be regarded as an alphabet) and , where is the set of all non-empty positive words in the symbols . We view the elements of as equalities between elements of (i.e., as relations). For technical reasons, we impose the additional restriction that , for any .
A braided diagram over is a labelled ordered topological space formed by making identifications among three types of components: wires, transistors, and the frame.
- •
A wire is a homeomorphic copy of . The “[math]” end is the bottom of the wire, and the “” end is the top.
- •
A transistor is a homeomorphic copy of . Each transistor has well-defined top, bottom, left, and right sides (in the obvious senses: the top is , the bottom is , etc.). These sides are part of the transistor’s definition. The top and bottom sides have equally obvious left-to-right orderings. (We make no use of any ordering of the sides.)
- •
The frame is a homeomorphic copy of . It has well-defined top, bottom, left, and right sides, just as a transistor does. The top and bottom sides have obvious left-to-right orderings.
To form a braided diagram over , we begin with a finite non-empty collection of wires, a labelling function , a finite (possibly empty) collection of transistors, and a frame. Each endpoint of each wire is then attached either to a transistor or to the frame. The bottom of a wire is attached either to the top of a transistor or to the bottom of the frame; the top of a wire is attached either to the bottom of a transistor or to the top of the frame. Moreover, the images of any two wires in the quotient must be disjoint.
The resulting labelled oriented quotient space is called a braided diagram over if the following two conditions are also satisfied:
- (1)
Note that each transistor inherits a top and bottom label from the labels of the wires it touches. (The points at which the wires meet transistors are called contacts.) These labels are words in , obtained by reading the labels of connecting wires from left to right.
Let and denote the top and bottom labels, respectively. We require that or that , for each transistor . 2. (2)
For transistors , of , write if there is a wire whose bottom contact is a point on the top of and whose top contact is a point on the bottom of . Let be the transitive closure of . We require that be a strict partial order on the transistors of .
(Equivalently: suppose that the braided diagram is drawn in the plane, such that each transistor is enclosed by the frame, and the sides of the transistors and frame are parallel to the coordinate axes. We require that it be possible to arrange the transistors and the frame in this fashion in such a way that each wire can be embedded monotonically; i.e., so that the -coordinate in the embedded image increases as we move from the bottom of the wire to the top.)
Definition 2.2**.**
(Planar and annular diagrams) Let be a braided diagram over the semigroup presentation . If admits an embedding into the plane that preserves the left-right and top-bottom orientations on the transistors and frame, then we say that is planar.
We say that is annular if it can be similarly embedded in an annulus. Or, more precisely, suppose that we replace the frame with a pair of disjoint circles, each of which is given the standard counterclockwise orientation, in place of the usual left-right orientations on the top and bottom of . We further give both circles basepoints, which are to be disjoint from all contacts. Transistors and wires are defined as before, and their attaching maps are subject to the same restrictions as before. We say that the resulting diagram is annular if the result may be embedded in the plane, again preserving the left-right orientations of the transistors. We think of the “top” circle as the inner ring of the annulus and the “bottom” circle as the outer ring.
[Here it may be helpful to view the transistors as having the counterclockwise orientation on their “top” and “bottom” faces, where the “top” faces the interior boundary circle of the annulus and the “bottom” faces the external boundary of the annulus.]
Definition 2.3**.**
(Equivalence of braided diagrams) Two braided diagrams and are equivalent if there is a homeomorphism between them, such that preserves the labelings of wires and all orientations (left-right and top-bottom) on all transistors and the frame.
Definition 2.4**.**
(-diagrams) Let be a braided semigroup diagram; let . We can define the top and bottom labels of by reading the labels of the wires that connect to the frame, from left to right, just as we defined the top and bottom labels of an individual transistor above. We say that is a braided -diagram if the top label of is and the bottom label is .
In some cases, it is not important to specify the bottom label. We say that is a braided -diagram if the top label of is , and the bottom label is arbitrary.
Definition 2.5**.**
(Concatenation) If is a braided -diagram and is a braided -diagram, then the concatenation is defined by stacking the diagrams, on top of .
Remark 2.6**.**
We note (for the sake of clarity) that the basepoints on the inner and outer circles of an annular diagram are needed in Definitions 2.4 and 2.5. Here, the “top” label of is to be read counterclockwise from the top (inner) basepoint, while the bottom label of is similarly read counterclockwise from the outer circle’s basepoint.
If and are annular - and -diagrams (respectively, for , , ), then the concatenation is the result of identifying the outer circle of with the inner circle of at the chosen basepoints (while also, of course, matching the other contacts in counterclockwise order).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A. Björner. Topological methods. In Handbook of combinatorics, Vol. 1, 2 , pages 1819–1872. Elsevier Sci. B. V., Amsterdam, 1995.
- 2[2] Collin Bleak, Francesco Matucci, and Max Neunhöffer. Embeddings into Thompson’s group V 𝑉 V and c o 𝒞 ℱ 𝑐 𝑜 𝒞 ℱ co\mathcal{CF} groups. J. Lond. Math. Soc. (2) , 94(2):583–597, 2016.
- 3[3] Martin R. Bridson and André Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999.
- 4[4] Kenneth S. Brown. Finiteness properties of groups. In Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985) , volume 44, pages 45–75, 1987.
- 5[5] Kenneth S. Brown and Ross Geoghegan. An infinite-dimensional torsion-free FP ∞ subscript FP {\rm FP}_{\infty} group. Invent. Math. , 77(2):367–381, 1984.
- 6[6] J. W. Cannon, W. J. Floyd, and W. R. Parry. Introductory notes on Richard Thompson’s groups. Enseign. Math. (2) , 42(3-4):215–256, 1996.
- 7[7] John Crisp and Bert Wiest. Embeddings of graph braid and surface groups in right-angled Artin groups and braid groups. Algebr. Geom. Topol. , 4:439–472, 2004.
- 8[8] Daniel S. Farley. Finiteness and CAT ( 0 ) CAT 0 \rm CAT(0) properties of diagram groups. Topology , 42(5):1065–1082, 2003.
