Searcharxiv⌕ Search

arXiv · 2610.05952

Metric Spectral Geometry of $\mathbb{Z}^d$-Crossed Products beyond Equicontinuity

Abstract

We construct linearly twisted spectral triples on $C^\ast$-crossed products $\mathfrak{A}\rtimes_α\mathbb{Z}^d$, starting from a spectral triple $(\mathfrak{A},\mathcal{H},D)$ and an action $α$ admitting an adapted weight. The weight compensates for the growth of the base Dirac operator under the dynamics while preserving the canonical differential structure in the $\mathbb{Z}^d$-directions. The construction takes place directly on the original crossed product and does not require the action to be equicontinuous. We prove that, whenever the base spectral triple is metric, the resulting twisted spectral triple is $κ$-metric for every $κ>0$: its associated Monge--Kantorovich metric metrizes the weak* topology on the state space of the crossed product. Our framework applies, in particular, to every action preserving the domain of the Lipschitz seminorm of the base triple. In this case, an exponential weight may be chosen so that the induced metric geometry restricts exactly to the original metric geometry on the base algebra. In the equicontinuous case, the weight may be chosen constant, the twist disappears, and the standard crossed-product spectral triple is recovered. We also establish a general finite-mode criterion for convergence in the spectral propinquity. As an application, we prove joint continuity, with respect to the deformation parameter and suitable fluctuations of the flat metric, for the twisted spectral triples associated with crossed products of quantum $2$-tori by fixed automorphisms in $\operatorname{SL}(2,\mathbb{Z})$, including Anosov automorphisms.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Frederic Latremoliere. 2026-10-05. Metric Spectral Geometry of $\mathbb{Z}^d$-Crossed Products beyond Equicontinuity. https://arxiv.org/abs/2610.05952

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

KEEP EXPLORING

Related papers

Cartan subproduct systems

Given a semisimple compact Lie group $G$ and a nonzero dominant integral weight $λ$, the highest weight $G_q$-modules $V_{nλ}$ form a subproduct system of finite dimensional Hilbert spaces. Using a conjectural asymptotic behavior of Clebsch-Gordan coefficients we identify the corresponding Cuntz-Pimsner algebras with algebras of quantized functions on homogeneous spaces of $G$. We also show that the gauge-invariant part of the Toeplitz algebra provides a model for convergence of full matrix algebras to quantum flag manifolds, complementing and generalizing results of Landsman and Rieffel for $q=1$ and results of Vaes-Vergnioux in the rank one case for $q\ne1$. We verify our conjecture on Clebsch-Gordan coefficients for $G=SU(n)$ and all weights that are either regular or multiples of the fundamental weight $ω_1$. For $λ=ω_1$, we also provide a detailed description of the Toeplitz and Cuntz-Pimsner algebras, generalizing results of Arveson on symmetric subproduct systems.

math.OA↗

A class of II$_1$ factors without non-trivial crossed product decompositions

We introduce a class of separable II$_1$ factors $M$ admitting no non-trivial crossed product decompositions: $M\not\cong B\rtimes_σG$, for any trace preserving action $G\curvearrowright^σ(B,τ)$ of an infinite countable group $G$ on a tracial von Neumann algebra $(B,τ)$. These provide the first examples of II$_1$ factors that do not arise as crossed products of noncommutative dynamical systems. Our approach relies on a novel construction of separable II$_1$ factors $M$ whose embeddings into their tensor product square $M\overline{\otimes}M$ all arise from the canonical embeddings $x\mapsto x\otimes 1$ and $x\mapsto 1\otimes x$.

math.OA↗

An Explicit Polynomial Counterexample to Connes' Embedding Conjecture

We construct an explicit Hermitian polynomial in six selfadjoint variables, $f=-1+ω+ω^*+M\sum_{j=1}^{15}(2-u_j-u_j^*)$, with integer coefficients, degree $72$, and exactly $33$ monomials. Here $ω,u_1,\ldots,u_{15}$ are specified words, $*$ reverses words, and $M$ is a specified positive integer. Its normalized trace is at least $3/4$ on selfadjoint matrix contraction tuples of every dimension, but equals $-1$ at a specified tuple of selfadjoint unitaries in a group von Neumann algebra. Thus $f$ is a counterexample to the algebraic formulation of Connes' embedding conjecture. We also construct a Hermitian quartic in $37$ selfadjoint variables, with coefficients in $\mathbb{Z}[i]=\mathbb{Z}+i\mathbb{Z}$ and $387$ monomials, attaining the same trace bounds without norm restrictions on selfadjoint matrix inputs. Degree four is minimal in this unrestricted setting. Finally, an encoding in two selfadjoint variables yields a counterexample on the contraction domain with integer coefficients and degree at most $48$; two variables are minimal.

math.OA↗