arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.06187

$\boldsymbol{\mathrm{K}_1^Δ}$ for $\boldsymbol{\mathrm{C}^\ast}$-algebras

James Gabe·Alistair Miller
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce a topological abelian group $\mathrm{K}_1^Δ(A)$ for every $\mathrm{C}^\ast$-algebra $A$, which is functorial in $A$ and invariant under stabilisations. $\mathrm{K}_1^Δ$ can distinguish group actions indistinguishable by equivariant (K)K-theory and traces --- we illustrate this on the irrational rotation algebra by exhibiting strongly outer actions of $\mathbb Z$ which, via $\mathrm{K}_1^Δ$, are not (stably) cocycle conjugate. These actions are moreover trivial in $\mathrm{KK}^{\mathbb Z}$ and on the Hausdorffised unitary algebraic $\mathrm{K}_1$ group $\overline{\mathrm{K}}_1^{\mathrm{alg}}(A)$. The Hausdorffisation $\overline{\mathrm{K}}_1^Δ(A)$ of $\mathrm{K}_1^Δ(A)$ forms the final part of the total stable invariant $\mathrm{\underline{K}T}_{\mathrm{s}}(A)$, which we also introduce. We prove that $\mathrm{\underline{K}T}_{\mathrm{s}}$ classifies $*$-homomorphisms up to approximate unitary equivalence between certain stable $\mathrm{C}^\ast$-algebras which contain a non-zero projection. $\mathrm{K}_1^Δ(A)$ is new even in the unital setting, but under further assumptions on $A$ recovers the unitary algebraic $\mathrm{K}_1$ group $\mathrm{K}_1^{\mathrm{alg}}(A)$, whereas the Hausdorffisations $\overline{\mathrm{K}}_1^Δ(A)$ and $\overline{\mathrm{K}}_1^{\mathrm{alg}}(A)$ agree for every unital $A$.

Explore related subjects

math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

James Gabe, Alistair Miller. 2026-10-05. $\boldsymbol{\mathrm{K}_1^Δ}$ for $\boldsymbol{\mathrm{C}^\ast}$-algebras. https://arxiv.org/abs/2610.06187

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗