Searcharxiv⌕ Search

arXiv · 2610.03407

Talagrand type for noncommutative $L_1$ spaces

Abstract

Let $(\mathcal{M},τ)$ be a semi-finite von Neumann algebra. We prove that $L_1(\mathcal{M})$ has Talagrand type $(1,ψ_{1,1})$, where $ψ_{1,1}(t)=t/\log(e+t)$. As an consequence, the Schatten trace class $S_1$ has Talagrand type $(1,ψ_{1,1})$, thus settled an open problem of Question 2 in Cordero-Erausquin and Eskenazis (2023). Our proof is based on the noncommutative Mazur maps initiated by Ricard.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sijie Luo, Yusen Wang, Dejian Zhou. 2026-10-02. Talagrand type for noncommutative $L_1$ spaces. https://arxiv.org/abs/2610.03407

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

KEEP EXPLORING

Related papers

On the relation between the product of KK-groups and the KK-group of the product

We observe that the canonical map \(KK(A, \prod_{n \in \mathbb{N}} B_n) \to \prod_{n \in \mathbb{N}} KK(A,B_n)\) is an isomorphism of abelian groups whenever \(A\) enjoys the Universal Coefficient Theorem and \(B_n\) are unital, simple and purely infinite C*-algebras. This clarifies an aspect of previous work of Dadarlat--Eilers and Tikuisis--White--Winter.

math.OA↗

How to approximate the flat spectral triple of a quantum torus by fuzzy tori : a twisted tale

We prove that the classical and the quantum flat torus can be rigorously approximated at a differential level by finite-dimensional fuzzy tori within the framework of the spectral propinquity. Standard attempts to establish this convergence are traditionally obstructed by the intrinsic non-locality of discrete calculus and the subsequent failure of the Leibniz rule. While contemporary alternatives such as spectral truncations circumvent this issue by abandoning $C^*$-algebras in favor of operator systems, we instead preserve the $C^*$-algebraic category by generalizing the commutator formula. To this end, we introduce a relaxed notion of a twisted spectral triple where the twist is a linear map acting as a discretized Riesz transform that encapsulates the non-locality of the discrete world. Self-adjointness is obtained by adjoining the backward difference to the forward difference and representing this doubled calculus with the creation and annihilation operators of the CAR algebra. We also require the L-seminorm to control both the twisted commutator and the displacement of the twist from the identity. By extending the spectral propinquity to this generalized setting of twisted spectral triples with possibly unbounded twists, we prove that fuzzy tori equipped with their natural two-sided discrete calculus converge to an amplification of the standard flat Dirac triple, while the underlying twists converge to the identity.

math.OA↗

The classification of flows on $\mathrm{II}_1$ factors and Connes' bicentralizer problem

We solve two long-standing open problems in von Neumann algebras. First, we classify all flows with full Connes spectrum on the hyperfinite $\mathrm{II}_1$ factor up to cocycle conjugacy. Every such flow is cocycle conjugate to an irrational rotation flow on a noncommutative torus. In particular, there is a unique outer flow with full Connes spectrum up to cocycle conjugacy. This settles Takesaki's classification problem for flows on the hyperfinite $\mathrm{II}_1$ factor. To prove this result, we draw on type $\mathrm{III}$ theory. Notably, we develop bicentralizer machinery for trace-preserving actions of locally compact groups. In the amenable case, we relate the bicentralizer conjecture to the Rokhlin property. For abelian groups, we prove an analog of the Connes--Størmer transitivity theorem and we generalize the Connes--Takesaki relative commutant theorem. A new resonance phenomenon is revealed which allows us to solve the bicentralizer conjecture for actions of $\mathbb{R}$. We then go back to the type $\mathrm{III}$ world and use this new resonance phenomenon to solve Connes' bicentralizer conjecture for all type $\mathrm{III}_1$ factors.

math.OA↗