arXiv Science⌕ 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

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↗