Search arXivSearch

arXiv · 2608.12080

Word-Length Spectral Triples of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$ Are Not Metric

Abstract

Given a countable discrete group equipped with a proper length function, one can construct a natural spectral triple on its reduced group C$^{\ast}$-algebra. A well-studied question in non-commutative metric geometry is whether the Connes pseudo-metric associated with such a triple recovers the weak$^{\ast}$-topology on the state space, thereby yielding a compact quantum metric space in the sense of Rieffel. While this metric property is known to hold for several classes of groups - including those of polynomial growth and word-hyperbolic groups - it was widely expected that not every word-length function induces a compact quantum metric space. Despite this, no explicit counterexample has been identified to date. In this note, we provide the first family of counterexamples by proving that for every integer $d \geq 2$ the canonical spectral triple of the Lamplighter group $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$, equipped with the word-length function associated with a finite symmetric generating set, fails to be a spectral metric space.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mario Klisse. 2026-08-12. Word-Length Spectral Triples of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$ Are Not Metric. https://arxiv.org/abs/2608.12080

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rings of non-commutative functions and their fields of fractions

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables. These examples arise canonically in free analysis by completing the free algebra in the topology of ``uniform convergence on operator-space balls'' in the non-commutative universe of tuples of square matrices of any finite size. We show, in particular, that the ring of (uniformly) entire non-commutative (NC) functions in $d \in \mathbb{N}$ non-commuting variables, $\scr{O}_d$, is a semifir. Every finitely--generated right (or left) ideal in $\scr{O}_d$ is closed, which yields an analytic extension of G. Bergman's nullstellensatz for the free algebra. Any semifir admits a universal skew field of fractions; applying this to $\scr{O}_d$ yields the universal skew field of ``NC meromorphic expressions", $\scr{M} _d$. We show that any $f \in \scr{M} _d$ has a well-defined domain and evaluations in a large class of stably-finite topological algebras, including finite $C^*$-algebras, extending a result of Cohn for NC rational functions. As an application, we extend the almost sure convergence result of Haagerup and Thorbjörnsen for free polynomials evaluated on tuples of random matrices to the setting of NC meromorphic expressions.

math.OA

Quantum channels on duals of von Neumann algebras in the Schrödinger picture

The theory of quantum channels is traditionally studied either on finite-dimensional state spaces or within the Heisenberg picture as completely positive maps on C^*-algebras. In this paper, we consider quantum channels as completely positive maps on the duals of general von Neumann algebras in the Schrodinger picture. We investigate the construction of such channels through Pettis integrals using representations of topological groups.

math.OA

Infinitesimal Freeness of Wigner Matrices

In this paper, within the framework of real infinitesimal free probability introduced by Cébron and the second author, we compute the real infinitesimal free cumulants of independent complex Wigner matrices. Our approach relies on establishing a combinatorial relation between annular non-crossing partitions and families of directed graphs. As a consequence, we demonstrate that independent complex Wigner matrices are asymptotically real infinitesimally free. In particular, we show (under mild conditions) that a complex Wigner matrix is asymptotically infinitesimally free from its transpose.

math.OA