Dice Question Streamline Icon: https://streamlinehq.com

LLP for surface groups and hyperbolic 3-manifold groups

Establish whether the maximal group C*-algebra C*(Γ) of Γ equal to a surface group or to the fundamental group of a closed hyperbolic three-manifold satisfies Kirchberg’s local lifting property (LLP), so that unit ball–valued quasi-representations can be uniformly approximated by ucp quasi-representations and the ucp hypothesis can be removed from the conditional weak stability results proved in the paper.

Information Square Streamline Icon: https://streamlinehq.com

Background

The local lifting property (LLP) is a central technical tool in the paper: it enables approximation of general quasi-representations by unital completely positive (ucp) quasi-representations, which is needed to apply the new stable uniqueness theorem. The authors show their main conditional weak stability results under a ucp assumption whenever LLP is unavailable.

LLP is known for amenable groups and for some constructions (e.g., certain free products and semidirect products with amenable groups), but its status for many geometrically significant groups is unclear. If surface groups or hyperbolic 3–manifold groups had LLP, then the ucp restriction could be removed from several main theorems. The authors explicitly conjecture LLP holds in these cases.

References

However, the LLP does not seem to have received much attention from group theorists and relatively little is known here: for example, it is open if surface groups or fundamental groups of hyperbolic $3$-manifolds satisfy the LLP, which is the reason ``ucp'' appears in the conclusions of Theorems \ref{intro surf the}, \ref{bs intro}, and \ref{intro 3man the} above; it could be dropped if these groups were known to satisfy the LLP and we conjecture that this is indeed the case.

Conditional representation stability, classification of $*$-homomorphisms, and relative eta invariants (2408.13350 - Willett, 23 Aug 2024) in Section “C*-algebra K-theory and stable uniqueness,” paragraph following Theorem \ref{intro gp main 2}