skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Dynamic asymptotic dimension and Matui's HK conjecture
Abstract We prove that the homology groups of a principal ample groupoid vanish in dimensions greater than the dynamic asymptotic dimension of the groupoid (as a side‐effect of our methods, we also give a new model of groupoid homology in terms of the Tor groups of homological algebra, which might be of independent interest). As a consequence, the K‐theory of the ‐algebras associated with groupoids of finite dynamic asymptotic dimension can be computed from the homology of the underlying groupoid. In particular, principal ample groupoids with dynamic asymptotic dimension at most two and finitely generated second homology satisfy Matui's HK‐conjecture. We also construct explicit maps from the groupoid homology groups to the K‐theory groups of their ‐algebras in degrees zero and one, and investigate their properties.  more » « less
Award ID(s):
1901522
PAR ID:
10420584
Author(s) / Creator(s):
 ;  ;  ;  
Publisher / Repository:
Oxford University Press (OUP)
Date Published:
Journal Name:
Proceedings of the London Mathematical Society
Volume:
126
Issue:
4
ISSN:
0024-6115
Page Range / eLocation ID:
p. 1182-1253
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; (, International Mathematics Research Notices)
    Abstract The Fourier and Fourier–Stieltjes algebras over locally compact groupoids have been defined in a way that parallels their construction for groups. In this article, we extend the results on surjectivity or lack of surjectivity of the restriction map on the Fourier and Fourier–Stieltjes algebras of groups to the groupoid setting. In particular, we consider the maps that restrict the domain of these functions in the Fourier or Fourier–Stieltjes algebra of a groupoid to an isotropy subgroup. These maps are continuous contractive algebra homomorphisms. When the groupoid is étale, we show that the restriction map on the Fourier algebra is surjective. The restriction map on the Fourier–Stieltjes algebra is not surjective in general. We prove that for a transitive groupoid with a continuous section or a group bundle with discrete unit space, the restriction map on the Fourier–Stieltjes algebra is surjective. We further discuss the example of an HLS groupoid, and obtain a necessary condition for surjectivity of the restriction map in terms of property FD for groups, introduced by Lubotzky and Shalom. As a result, we present examples where the restriction map for the Fourier–Stieltjes algebra is not surjective. Finally, we use the surjectivity results to provide conditions for the lack of certain Banach algebraic properties, including the (weak) amenability and existence of a bounded approximate identity, in the Fourier algebra of étale groupoids. 
    more » « less
  2. ; (, Symmetry, Integrability and Geometry: Methods and Applications)
    Double groupoids are a type of higher groupoid structure that can arise when one has two distinct groupoid products on the same set of arrows. A particularly important example of such structures is the irrational torus and, more generally, strict 2-groups. Groupoid structures give rise to convolution operations on the space of arrows. Therefore, a double groupoid comes equipped with two product operations on the space of functions. In this article we investigate in what sense these two convolution operations are compatible. We use the representation theory of compact Lie groups to get insight into a certain class of 2-groups. 
    more » « less
  3. ; ; (, International Mathematics Research Notices)
    Abstract When the reduced twisted $C^*$-algebra $$C^*_r({\mathcal{G}}, c)$$ of a non-principal groupoid $${\mathcal{G}}$$ admits a Cartan subalgebra, Renault’s work on Cartan subalgebras implies the existence of another groupoid description of $$C^*_r({\mathcal{G}}, c)$$. In an earlier paper, joint with Reznikoff and Wright, we identified situations where such a Cartan subalgebra arises from a subgroupoid $${\mathcal{S}}$$ of $${\mathcal{G}}$$. In this paper, we study the relationship between the original groupoids $${\mathcal{S}}, {\mathcal{G}}$$ and the Weyl groupoid and twist associated to the Cartan pair. We first identify the spectrum $${\mathfrak{B}}$$ of the Cartan subalgebra $$C^*_r({\mathcal{S}}, c)$$. We then show that the quotient groupoid $${\mathcal{G}}/{\mathcal{S}}$$ acts on $${\mathfrak{B}}$$, and that the corresponding action groupoid is exactly the Weyl groupoid of the Cartan pair. Lastly, we show that if the quotient map $${\mathcal{G}}\to{\mathcal{G}}/{\mathcal{S}}$$ admits a continuous section, then the Weyl twist is also given by an explicit continuous $$2$$-cocycle on $${\mathcal{G}}/{\mathcal{S}} \ltimes{\mathfrak{B}}$$. 
    more » « less
  4. ; ; ; ; (, Duke Mathematical Journal)
    A long-standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question always has a positive answer when the acting group is polycyclic, and we obtain a positive answer for all free actions of a large class of solvable groups including the Baumslag–Solitar group BS(1, 2) and the lamplighter group Z2 ≀ Z. This marks the first time that a group of exponential volume-growth has been verified to have this property. In obtaining this result we introduce a new tool for studying Borel equivalence relations by extending Gromov’s notion of asymptotic dimension to the Borel setting. We show that countable Borel equivalence relations of finite Borel asymptotic dimension are hyperfinite, and more generally we prove under a mild compatibility assumption that increasing unions of such equivalence relations are hyperfinite. As part of our main theorem, we prove for a large class of solvable groups that all of their free Borel actions have finite Borel asymptotic dimension (and finite dynamic asymptotic dimension in the case of a continuous action on a zero dimensional space). We also provide applications to Borel chromatic numbers, Borel and continuous Følner tilings, topological dynamics, and C∗-algebras. 
    more » « less
  5. ; (, Mathematical Proceedings of the Cambridge Philosophical Society)
    The algebraic K-theory of Lawvere theories is a conceptual device to elucidate the stable homology of the symmetry groups of algebraic structures such as the permutation groups and the automorphism groups of free groups. In this paper, we fully address the question of how Morita equivalence classes of Lawvere theories interact with algebraic K-theory. On the one hand, we show that the higher algebraic K-theory is invariant under passage to matrix theories. On the other hand, we show that the higher algebraic K-theory is not fully Morita invariant because of the behavior of idempotents in non-additive contexts: We compute the K-theory of all Lawvere theories Morita equivalent to the theory of Boolean algebras. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email