Source author record

Collin Bleak

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.DS math.GN Formal Languages and Automata Theory math.FA math.LO math.OA

Catalog footprint

Research overview

12works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Complexity among the finitely generated subgroups of Thompson's group

We demonstrate the existence of a family of finitely generated subgroups of Richard Thompson's group $F$ which is strictly well-ordered by the embeddability relation in type $ε_0 +1$ . All except the maximum element of this family (which is $F$ itself) are elementary amenable groups. In fact we also obtain, for each $α< ε_0$ , a finitely generated elementary amenable subgroup of $F$ whose EA-class is $α+ 2$ . These groups all have simple, explicit descriptions and can be viewed as a natural continuation of the progression which starts with $\mathbf{Z} + \mathbf{Z}$ , $\mathbf{Z} \wr \mathbf{Z}$ , and the Brin-Navas group $B$ . We also give an example of a pair of finitely generated elementary amenable subgroups of $F$ with the property that neither is embeddable into the other.

preprint2020arXiv

Some embeddings between symmetric R. Thompson groups

Let $m\leq n\in \mathbb{N}$ , and $G\leq S_m$ and $H\leq S_n$ . In this article we find conditions enabling embeddings between the symmetric R. Thompson groups $V_m(G)$ and $V_n(H)$ . When $n\equiv 1 \mod(m-1)$ and under some other technical conditions we find an embedding of $V_n(H)$ in $V_m(G)$ via topological conjugation. With the same modular condition we also generalise a purely algebraic construction of Birget from 2019 to find a group $H\leq S_m$ and an embedding of $V_m(G)$ in $V_n(H)$ .

preprint2016arXiv

A dynamical definition of f.g. virtually free groups

We show that the class of finitely generated virtually free groups is precisely the class of demonstrable subgroups for R. Thompson's group $V$ . The class of demonstrable groups for $V$ consists of all groups which can embed into $V$ with a natural dynamical behaviour in their induced actions on the Cantor space $\mathfrak{C}_2 := \left\{0,1\right\}^ω$ . There are also connections with formal language theory, as the class of groups with context-free word problem is also the class of finitely generated virtually free groups, while R. Thompson's group $V$ is a candidate as a universal $co\mathcal{CF}$ group by Lehnert's conjecture, corresponding to the class of groups with context free co-word problem (as introduced by Holt, Rees, Röver, and Thomas). Our main reults answers a question of Berns-Zieze, Fry, Gillings, Hoganson, and Matthews, and separately of Bleak and Salazar-Díaz, and it fits into the larger exploration of the class of $co\mathcal{CF}$ groups as it shows that all four of the known closure properties of the class of $co\mathcal{CF}$ groups hold for the set of finitely generated subgroups of $V.$

preprint2016arXiv

An exploration of normalish subgroups of R. Thompson's groups $F$ and $T$

In this short note, we show that R. Thompson's group $F$ admits a normalish amenable subgroup, and that the standard copy of $F$ in R. Thompson's group $T$ is normalish in $T$ . We further conjecture that if $F$ is non-amenable, then $T$ does not admit a normalish amenable subgroup, and therefore that the reduced $C^*$ algebra of $T$ is in fact simple in that case.

preprint2016arXiv

Determining solubility for finitely generated groups of PL homeomorphisms

The set of finitely generated subgroups of the group $PL_+(I)$ of orientation-preserving piecewise-linear homeomorphisms of the unit interval includes many important groups, most notably R.~Thompson's group $F$ . In this paper we show that every finitely generated subgroup $G<PL_+(I)$ is either soluble, or contains an embedded copy of Brin's group $B$ , a finitely generated, non-soluble group, which verifies a conjecture of the first author from 2009. In the case that $G$ is soluble, we show that the derived length of $G$ is bounded above by the number of breakpoints of any finite set of generators. We specify a set of `computable' subgroups of $PL_+(I)$ (which includes R. Thompson's group $F$ ) and we give an algorithm which determines in finite time whether or not any given finite subset $X$ of such a computable group generates a soluble group. When the group is soluble, the algorithm also determines the derived length of $\langle X\rangle$ . Finally, we give a solution of the membership problem for a family of finitely generated soluble subgroups of any computable subgroup of $PL_+(I)$ .

preprint2016arXiv

Embedding Right-Angled Artin Groups into Brin-Thompson Groups

We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$ . It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of $nV$ are unsolvable.

preprint2014arXiv

Ideal structure of the C*-algebra of Thompson group T

In a recent paper Uffe Haagerup and Kristian Knudsen Olesen show that for Richard Thompson's group $T$ , if there exists a finite set $H$ which can be decomposed as disjoint union of sets $H_1$ and $H_2$ with $\sum_{g\in H_1}π(g)=\sum_{h\in H_2}π(h)$ and such that the closed ideal generated by $\sum_{g\in H_1}λ(g)-\sum_{h\in H_2}λ(h)$ coincides with $C^*_λ(T)$ , then the Richard Thompson group $F$ is not amenable. In particular, if $C_λ^*(T)$ is simple then $F$ is not amenable. Here we prove the converse, namely, if $F$ is not amenable then we can find two sets $H_1$ and $H_2$ with the above properties. The only currently available tool for proving simplicity of group $C^*$ -algebra is Power's condition. We show that it fails for $C_λ^*(T)$ and present an apparent weakening of that condition which could potentially be used for various new groups $H$ to show the simplicity of $C_λ^*(H)$ . While we use our weakening in the proof of the first result, we also show that the new condition is still too strong to be used to show the simplicity of $C_λ^*(T)$ . Along the way, we give a new application of the Ping-Pong Lemma to find free groups as subgroups in groups of homeomorphisms of the circle generated by elements with rational rotation number.

preprint2014arXiv

Some isomorphism results for Thompson like groups $V_n(G)$

We consider a class of groups $V_n(G)$ which are supergroups of the Higman-Thompson groups $V_n$ . These groups fit in a framework of Elizabeth Scott for generating infinite virtually simple groups, and the groups we study in particular are initially introduced by Farley and Hughes. The group $V_n(G)$ is the result one obtains by taking the $V_n$ generators and adding a tree automorphism for each generator of a subgroup $G$ of the symmetric group on $n$ letters, where the new generators each permute the child leaves of a specific vertex $α$ of the infinite rooted $n$ -ary tree according to the permutation they represent, and then they iterate this permutation again at each vertex which is a descendent of $α$ . Farley and Hughes show that $V_n(G)$ is not isomorphic to $V_n$ when $G$ fails to act freely on the points $\{1,2,...,n\}$ , and expect further non-isomorphism results in the other cases. We show the perhaps surprising result that if $G$ does act freely, then $V_n(G)\cong V_n$ . We also generalise these results and produce some examples of even more isomorphisms amongst groups in the family $V_n(G)$ . Essential tools in the above work are a study of the dynamics of the action of elements of $V_n(G)$ on Cantor space, Rubin's Theorem, and transducers from Grigorchuk, Nekrashevych, and Suschanskiĭ's rational group on the $n$ -ary alphabet.

preprint2011arXiv

Centralizers in R. Thompson's group V_n

Let n be bigger than 1 and let A be an element in the Higman-Thompson group V_n. We study the structure of the centralizer of a in V_n through a careful analysis of the action of the group generated by A on the Cantor set C. We make use of revealing tree pairs as developed by Brin and Salazar from which we derive discrete train tracks to assist us in our analysis. A consequence of our structure theorem is that centralizers are finitely generated. Along the way we give a short argument using revealing tree pairs which shows that cyclic groups are undistorted in V_n.

preprint2011arXiv

Structure theorems for subgroups of homeomorphisms groups

In this partly expository paper, we study the set A of groups of orientation-preserving homeomorphisms of the circle S^1 which do not admit non-abelian free subgroups. We use classical results about homeomorphisms of the circle and elementary dynamical methods to derive various new and old results about the groups in A. Of the known results, we include some results from a family of results of Beklaryan and Malyutin, and we also give a new proof of a theorem of Margulis. Our primary new results include a detailed classification of the solvable subgroups of R. Thompson's group T .

preprint2006arXiv

A geometric classification of some solvable groups of homeomorphisms

We investigate subgroups of the group PLo(I) of piecewise-linear, orientation-preserving homeomorphisms of the unit interval with finitely many breaks in slope, under the operation of composition, and also subgroups of the generalized Thompson groups F_n. We find geometric criteria determining the derived length of any such group, and use this criteria to produce a geometric classification of the solvable and non-solvable subgroups of PLo(I) and of the F_n. We also show that any standard restricted wreath product C wr T (of non-trivial groups) that embeds in PLo(I) or F_n must have T isomorphic with the integers.

preprint2006arXiv

Some questions about the dimension of a group action

We discuss three families of groups, $ZW_n$ , $PL(I^n)$ , and $PL(S^n)$ (the last two being families of groups of piecewise-linear homeomorphisms of standard $n$ -dimensional spaces). We note that for all positive integers $n$ , $ZW_n$ embeds in $PL(I^n)$ which embeds in $PL(S^n)$ . In another direction, $ZW_2$ fails to embed in $PL(I^1)$ by an earlier result of the author, and we extend that result to show that $ZW_2$ also fails to embed in $PL(S^1)$ . The nature of the proofs of these non-embedding results leads us to ask if there are corresponding non-embedding results in higher dimensions.

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.

Collin Bleak

Research overview

Is this your work?

12 publications

Complexity among the finitely generated subgroups of Thompson's group

Some embeddings between symmetric R. Thompson groups

A dynamical definition of f.g. virtually free groups

An exploration of normalish subgroups of R. Thompson's groups $F$ and $T$

Determining solubility for finitely generated groups of PL homeomorphisms

Embedding Right-Angled Artin Groups into Brin-Thompson Groups

Ideal structure of the C*-algebra of Thompson group T

Some isomorphism results for Thompson like groups $V_n(G)$

Centralizers in R. Thompson's group V_n

Structure theorems for subgroups of homeomorphisms groups

A geometric classification of some solvable groups of homeomorphisms

Some questions about the dimension of a group action

See the researcher in context

Building this map preview

Collin Bleak

Research overview

Is this your work?

12 publications

Complexity among the finitely generated subgroups of Thompson's group

Some embeddings between symmetric R. Thompson groups

A dynamical definition of f.g. virtually free groups

An exploration of normalish subgroups of R. Thompson's groups FFF and TTT

Determining solubility for finitely generated groups of PL homeomorphisms

Embedding Right-Angled Artin Groups into Brin-Thompson Groups

Ideal structure of the C*-algebra of Thompson group T

Some isomorphism results for Thompson like groups Vn(G)V_n(G)Vn​(G)

Centralizers in R. Thompson's group V_n

Structure theorems for subgroups of homeomorphisms groups

A geometric classification of some solvable groups of homeomorphisms

Some questions about the dimension of a group action

See the researcher in context

Building this map preview

An exploration of normalish subgroups of R. Thompson's groups $F$ and $T$

Some isomorphism results for Thompson like groups $V_n(G)$