Source author record

Daniel Farley

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.AT math.GT math.KT

Catalog footprint

Research overview

7works

4topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Braided Diagram Groups and Local Similarity Groups

Hughes defined a class of groups that act as local similarities on compact ultrametric spaces. Guba and Sapir had previously defined braided diagram groups over semigroup presentations. The two classes of groups share some common characteristics: both act properly by isometries on CAT(0) cubical complexes, and certain groups in both classes have type F-infinity, for instance. Here we clarify the relationship between these families of groups: the braided diagram groups over tree-like semigroup presentations are precisely the groups that act on compact ultrametric spaces via small similarity structures. The proof can be considered a generalization of the proof that Thompson's group V is a braided diagram group over a tree-like semigroup presentation. We also prove that certain additional groups, such as the Houghton groups, and a certain group of quasi-automorphisms lie in both classes.

preprint2014arXiv

Local similarity groups with context-free co-word problem

Let $G$ be a group, and let $S$ be a finite subset of $G$ that generates $G$ as a monoid. The co-word problem is the collection of words in the free monoid $S^{\ast}$ that represent non-trivial elements of $G$ . A current conjecture, based originally on a conjecture of Lehnert and modified into its current form by Bleak, Matucci, and Neuhöffer, says that Thompson's group $V$ is a universal group with context-free co-word problem. In other words, it is conjectured that a group has a context-free co-word problem exactly if it is a finitely generated subgroup of $V$ . Hughes introduced the class $\mathcal{FSS}$ of groups that are determined by finite similarity structures. An $\mathcal{FSS}$ group acts by local similarities on a compact ultrametric space. Thompson's group $V$ is a representative example, but there are many others. We show that $\mathcal{FSS}$ groups have context-free co-word problem under a minimal additional hypothesis. As a result, we can specify a subfamily of $\mathcal{FSS}$ groups that are potential counterexamples to the conjecture.

preprint2012arXiv

The Lower Algebraic K-Theory of Split Three-Dimensional Crystallographic Groups

We explicitly compute the lower algebraic K-theory of the split three-dimensional crystallographic groups; i.e., the groups G that act properly and cocompactly on three-dimensional Euclidean space by isometries, such that the natural map from G to O(3) is a split injection onto its image. There are 73 split three-dimensional crystallographic groups in all, out of a total of 219 isomorphism types of three-dimensional crystallographic groups. We also provide a general splitting formula for the lower algebraic K-theory that is valid for all three-dimensional crystallographic groups. This result generalizes earlier work of Alves and Ontaneda. Along the way, we give explicit descriptions of all 73 split three-dimensional crystallographic groups, and completely work out their classification. The split crystallographic groups are sometimes called "splitting groups". A theorem of crystallographic groups says that any crystallographic group is a finite-index subgroup of its splitting group, so each three-dimensional crystallographic group is a finite-index subgroup of one from our list.

preprint2009arXiv

Constructions of E_{vc} and E_{fbc} for groups acting on CAT(0) spaces

If G is a group acting properly by semisimple isometries on a proper CAT(0) space X, then we build models for the classifying spaces E_{vc} and E_{fbc} under the additional assumption that the action of G has a well-behaved collection of axes in X. (This hypothesis is described in the paper.) We conjecture that the latter hypothesis is satisfied in a large range of cases. Our classifying spaces resemble those created by Connolly, Fehrman, and Hartglass for crystallographic groups G.

preprint2009arXiv

Presentations of Graph Braid Groups

Let G be a graph. The (unlabeled) configuration space of n points on G is the space of all n-element subsets of G. The fundamental group of such a configuration space is called a graph braid group. We use a version of discrete Morse theory to compute presentations of all graph braid groups, for all finite connected graphs G and all natural numbers n.

preprint2007arXiv

On the cohomology rings of tree braid groups

Let $Γ$ be a finite connected graph. The (unlabelled) configuration space $UC^n Γ$ of $n$ points on $Γ$ is the space of $n$ -element subsets of $Γ$ . The $n$ -strand braid group of $Γ$ , denoted $B_nΓ$ , is the fundamental group of $UC^n Γ$ . We use the methods and results of our paper "Discrete Morse theory and graph braid groups" to get a partial description of the cohomology rings $H^*(B_n T)$ , where $T$ is a tree. Our results are then used to prove that $B_n T$ is a right-angled Artin group if and only if $T$ is linear or $n<4$ . This gives a large number of counterexamples to Ghrist's conjecture that braid groups of planar graphs are right-angled Artin groups.

preprint2005arXiv

Discrete Morse theory and graph braid groups

If Gamma is any finite graph, then the unlabelled configuration space of n points on Gamma, denoted UC^n(Gamma), is the space of n-element subsets of Gamma. The braid group of Gamma on n strands is the fundamental group of UC^n(Gamma). We apply a discrete version of Morse theory to these UC^n(Gamma), for any n and any Gamma, and provide a clear description of the critical cells in every case. As a result, we can calculate a presentation for the braid group of any tree, for any number of strands. We also give a simple proof of a theorem due to Ghrist: the space UC^n(Gamma) strong deformation retracts onto a CW complex of dimension at most k, where k is the number of vertices in Gamma of degree at least 3 (and k is thus independent of n).

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.