Researcher profile

Guyan Robertson

Guyan Robertson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
29works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2013arXiv

$C^*$--algebras arising from group actions on the boundary of a triangle building

A subgroup of an amenable group is amenable. The $C^*$-algebra version of this fact is false. This was first proved by M.-D. Choi who proved that the non-nuclear $C^*$-algebra $C^*_r(\ZZ_2*\ZZ_3)$ is a subalgebra of the nuclear Cuntz algebra ${\cal O}_2$. A. Connes provided another example, based on a crossed product construction. More recently J. Spielberg [23] showed that these examples were essentially the same. In fact he proved that certain of the $C^*$-algebras studied by J. Cuntz and W. Krieger [10] can be constructed naturally as crossed product algebras. For example if the group $Γ$ acts simply transitively on a homogeneous tree of finite degree with boundary $Ω$ then $\cross$ is a Cuntz-Krieger algebra. Such trees may be regarded as affine buildings of type $\widetilde A_1$. The present paper is devoted to the study of the analogous situation where a group $\G$ acts simply transitively on the vertices of an affine building of type $\widetilde A_2$ with boundary $Ø$. The corresponding crossed product algebra $\cross$ is then generated by two Cuntz-Krieger algebras. Moreover we show that $\cross$ is simple and nuclear. This is a consequence of the facts that the action of $\G$ on $Ø$ is minimal, topologically free, and amenable.

preprint2013arXiv

A Haagerup Inequality for $\tA_1\times\tA_1$ and $\tA_2$ Buildings

Haagerup's inequality for convolvers on free groups may be interpreted as a result on $\tA_1$ buildings, i.e. trees. Here are proved analogous inequalities for discrete groups acting freely on the vertices of $\tA_1\times\tA_1$ and $\tA_2$ buildings. The results apply in particular to groups of type-rotating automorphisms acting simply transitively on the vertices of such buildings. These results provide the first examples of higher rank groups with property (RD).

preprint2013arXiv

Affine buildings, tiling systems and higher rank Cuntz-Krieger algebras

To an $r$-dimensional subshift of finite type satisfying certain special properties we associate a $C^*$-algebra $\cA$. This algebra is a higher rank version of a Cuntz-Krieger algebra. In particular, it is simple, purely infinite and nuclear. We study an example: if $\G$ is a group acting freely on the vertices of an $\wt A_2$ building, with finitely many orbits, and if $Ω$ is the boundary of that building, then $C(\Om)\rtimes \G$ is the algebra associated to a certain two dimensional subshift.

preprint2013arXiv

Boundary $C^*$-algebras of triangle geometries

Let $Δ$ be a building of type $\widetilde A_2$ and order $q$, with maximal boundary $Ω$. Let $Γ$ be a group of type preserving automorphisms of $Δ$ which acts regularly on the chambers of $Δ$. Then the crossed product $C^*$-algebra $C(Ω) \rtimes Γ$ is isomorphic to $M_{3(q+1)} \otimes\cl O_{q^2}\otimes\cl O_{q^2}$, where $\cl O_n$ denotes the Cuntz algebra generated by $n$ isometries whose range projections sum to the identity operator.

preprint2013arXiv

Crofton formulae and geodesic distance in hyperbolic spaces

The geodesic distance between points in real hyperbolic space is a hypermetric, and hence is a kernel negative type. The proof given here uses an integral formula for geodesic distance, in terms of a measure on the space of hyperplanes. An analogous integral formula, involving the space of horospheres, is given for complex hyperbolic space.By contrast geodesic distance in a projective space is not of negative type.

preprint2013arXiv

Groups acting on products of trees, tiling systems and analytic K-theory

Let $T_1$ and $T_2$ be homogeneous trees of even degree $\ge 4$. A BM group $Γ$ is a torsion free discrete subgroup of $\aut (T_1) \times \aut (T_2)$ which acts freely and transitively on the vertex set of $T_1 \times T_2$. This article studies dynamical systems associated with BM groups. A higher rank Cuntz-Krieger algebra $\mathcal A(\G)$ is associated both with a 2-dimensional tiling system and with a boundary action of a BM group $Γ$. An explicit expression is given for the K-theory of $\mathcal A(\G)$. In particular $K_0=K_1$. A complete enumeration of possible BM groups $\G$ is given for a product homogeneous trees of degree 4, and the K-groups are computed.

preprint2013arXiv

Irreducible subshifts associated with $\tilde A_2$ buildings

Let $Γ$ be a group of type rotating automorphisms of a building $\cB$ of type $\widetilde A_2$, and suppose that $Γ$ acts freely and transitively on the vertex set of $\cB$. The apartments of $\cB$ are tiled by triangles, labelled according to $Γ$-orbits. Associated with these tilings there is a natural subshift of finite type, which is shown to be irreducible. The key element in the proof is a combinatorial result about finite projective planes.

preprint2013arXiv

Maximal abelian subalgebras of the group factor of an $\widetilde A_2$ group

An $\widetilde A_2$ group $Γ$ acts simply transitively on the vertices of an affine building $\triangle$. We study certain subgroups $Γ_0 \cong {\Bbb Z}^2$ which act on certain apartments of $\triangle$. If one of these subgroups acts simply transitively on an apartment, then the corresponding subalgebra of the group von Neumann algebra is maximal abelian and singular. Moreover the Pukánszky invariant contains a type $I_{\infty}$ summand.

preprint2013arXiv

Negative definite functions and a dynamical characterization of property (T) for countable groups

A class of negative definite kernels is defined in terms of measure spaces. Using this concept, property (T) for a countable group $\G$ is characterized in terms of measure preserving actions of $\G$, as follows. If a set $S$ is translated a finite amount by any fixed element of $\G$, then there is a uniform bound on how far $S$ is translated.

preprint2013arXiv

Strong singularity for subalgebras of finite factors

In this paper we develop the theory of strongly singular subalgebras of von Neumann algebras, begun in earlier work. We mainly examine the situation of type $\tto$ factors arising from countable discrete groups. We give simple criteria for strong singularity, and use them to construct strongly singular subalgebras. We particularly focus on groups which act on geometric objects, where the underlying geometry leads to strong singularity.

preprint2011arXiv

On the K-theory of boundary $C^*$-algebras of $\widetilde A_2$ groups

Let $Γ$ be an $\widetilde A_2$ subgroup of $\PGL_3(\mathbb K)$, where $\mathbb K$ is a local field with residue field of order $q$. The module of coinvariants $C(\mathbb P^2_{\mathbb K},\mathbb Z)_Γ$ is shown to be finite, where $\mathbb P^2_{\mathbb K}$ is the projective plane over $\mathbb K$. If the group $Γ$ is of Tits type and if $q \not\equiv 1 \pmod {3}$ then the exact value of the order of the class $[I]_{K_0}$ in the K-theory of the (full) crossed product $C^*$-algebra $C(Ω)\rtimesΓ$ is determined, where $Ω$ is the Furstenberg boundary of $\PGL_3(\mathbb K)$. For groups of Tits type, this verifies a conjecture of G. Robertson and T. Steger.

preprint2008arXiv

Invariant boundary distributions for finite graphs

Let $Γ$ be the fundamental group of a finite connected graph $\mathcal G$. Let $\mathfrak M$ be an abelian group. A {\it distribution} on the boundary $\partialΔ$ of the universal covering tree $Δ$ is an $\mathfrak M$-valued measure defined on clopen sets. If $\mathfrak M$ has no $χ(\mathcal G)$-torsion then the group of $Γ$-invariant distributions on $\partialΔ$ is isomorphic to $H_1(\mathcal G,\mathfrak M)$.

preprint2005arXiv

Abelian subalgebras of von Neumann algebras from flat tori in locally symmetric spaces

Consider a compact locally symmetric space $M$ of rank $r$, with fundamental group $Γ$. The von Neumann algebra $\vn(Γ)$ is the convolution algebra of functions $f\in\ell_2(Γ)$ which act by left convolution on $\ell_2(Γ)$. Let $T^r$ be a totally geodesic flat torus of dimension $r$ in $M$ and let $Γ_0\cong\bb Z^r$ be the image of the fundamental group of $T^r$ in $Γ$. Then $\vn(Γ_0)$ is a maximal abelian $\star$-subalgebra of $\vn(Γ)$ and its unitary normalizer is as small as possible. If $M$ has constant negative curvature then the Pukánszky invariant of $\vn(Γ_0)$ is $\infty$.

preprint2005arXiv

Tiling systems and homology of lattices in tree products

Let $Γ$ be a torsion free cocompact lattice in $\aut(\cl T_1)\times\aut(\cl T_2)$, where $\cl T_1$, $\cl T_2$ are trees whose vertices all have degree at least three. The group $H_2(Γ, \bb Z)$ is determined explicitly in terms of an associated 2-dimensional tiling system. It follows that under appropriate conditions the crossed product $C^*$-algebra $\cl A$ associated with the action of $Γ$ on the boundary of $\cl T_1\times \cl T_2$ satisfies $\rank K_0(\cl A) = 2\cdot\rank H_2(Γ, \bb Z)$.

preprint2005arXiv

Torsion in Boundary Coinvariants and K-theory for Affine Buildings

Let $(G,{\mathfrak I},N,S)$ be an affine topological Tits system, and let $Γ$ be a torsion free cocompact lattice in $G$. This article studies the coinvariants $H_0(Γ; C(Ω,{\mathbb Z}))$, where $Ω$ is the Furstenberg boundary of $G$. It is shown that the class $[1]$ of the identity function in $H_0(Γ; C(Ω,{\mathbb Z}))$ has finite order, with explicit bounds for the order. A similar statement applies to the $K_0$ group of the boundary crossed product $C^*$-algebra $C(Ω)\rtimesΓ$. If the Tits system has type $\widetilde A_2$, exact computations are given, both for the crossed product algebra and for the reduced group $C^*$-algebra.

preprint2004arXiv

Boundary operator algebras for free uniform tree lattices

Let $X$ be a finite connected graph, each of whose vertices has degree at least three. The fundamental group $Γ$ of $X$ is a free group and acts on the universal covering tree $Δ$ and on its boundary $\partial Δ$, endowed with a natural topology and Borel measure. The crossed product $C^*$-algebra $C(\partial Δ) \rtimes Γ$ depends only on the rank of $Γ$ and is a Cuntz-Krieger algebra whose structure is explicitly determined. The crossed product von Neumann algebra does not possess this rigidity. If $X$ is homogeneous of degree $q+1$ then the von Neumann algebra $L^\infty(\partial Δ)\rtimes Γ$ is the hyperfinite factor of type $III_λ$ where $λ=1/{q^2}$ if $X$ is bipartite, and $λ=1/{q}$ otherwise.

preprint2000arXiv

Asymptotic K-theory for groups acting on $\tildeA_2$ buildings

Let $Γ$ be a torsion free lattice in $G=\PGL(3,{\mathbb F})$ where ${\mathbb F}$ is a nonarchimedean local field. Then $Γ$ acts freely on the affine Bruhat-Tits building ${\mathcal B}$ of $G$ and there is an induced action on the boundary $Ω$ of ${\mathcal B}$. The crossed product $C^*$-algebra ${\mathcal A}(Γ)=C(Ω) \rtimes Γ$ depends only on $Γ$ and is classified by its K-theory. This article shows how to compute the K-theory of ${\mathcal A}(Γ)$ and of the larger class of rank two Cuntz-Krieger algebras.

preprint2000arXiv

Boundary actions for affine buildings and higher rank Cuntz-Krieger algebras

Let $\G$ be a group of type rotating automorphisms of an affine building $\cB$ of type $\wt A_2$. If $\G$ acts freely on the vertices of $\cB$ with finitely many orbits, and if $Ω$ is the (maximal) boundary of $\cB$, then $C(\Om)\rtimes \G$ is a p.i.s.u.n. $C^*$-algebra. This algebra has a structure theory analogous to that of a simple Cuntz-Krieger algebra and is the motivation for a theory of higher rank Cuntz-Krieger algebras, which has been developed by T. Steger and G. Robertson. The K-theory of these algebras can be computed explicitly in the rank two case. For the rank two examples of the form $C(\Om)\rtimes \G$ which arise from boundary actions on $\wt A_2$ buildings, the two K-groups coincide.

preprint2000arXiv

Torsion in K-theory for boundary actions on affine buildings of type $\tA_n$

Let $Γ$ be a torsion free lattice in $G = \PGL(n+1,\FF)$, where $n\ge 1$ and $\FF$ is a non-archimedean local field. Then $Γ$ acts on the Furstenberg boundary $G/P$, where $P$ is a minimal parabolic subgroup of $G$. The identity element $\id$ in the crossed product $C^*$-algebra $C(G/P)\rtimes Γ$ generates a class $[\id]$ in the $K_0$ group of $C(G/P)\rtimes Γ$. It is shown that $[\id]$ is a torsion element of $K_0$ and there is an explicit bound for the order of $[\id]$. The result is proved more generally for groups acting on affine buildings of type $\tA_n$. For $n=1, 2$ the Euler-Poincaré characteristic $χ(Γ)$ annihilates the class $[\id]$.