[論文レビュー] Obata's rigidity theorem in free probability

Charles-Philippe Diez|arXiv (Cornell University)|Mar 5, 2026

Spectral Theory in Mathematical Physics被引用数 0

ひとこと要約

Paper proves a free-probability analogue of Obata’s rigidity: under a non-commutative curvature–dimension condition and Lipschitz conjugate variables, extremizers of Voiculescu’s free Poincaré inequality must be affine, giving a free Gaussian (semicircular) splitting and maximal amenability results.

ABSTRACT

We establish a free analogue of Obata's rigidity theorem. More precisely, Cheng and Zhou (2017) proved that on a weighted Riemannian manifold, the sharp spectral gap (Poincaré constant) is achieved only when the space splits isometrically off a one-dimensional Gaussian factor, providing an infinite-dimensional counterpart of Obata's rigidity theorem. We obtain the corresponding phenomenon in free probability, extending it beyond the setting of analytic self-adjoint potentials: Assume a self-adjoint $n$-tuple $X=(X_1,\dots,X_n)$ admits Lipschitz conjugate variables in the sense of Dabrowski (2014). Under a suitable non-commutative curvature-dimension condition, we show that any non-zero saturator of Voiculescu's free Poincaré inequality must be an affine function of the generators. Consequently, we deduce that the von Neumann algebra $M=W^*(X_1,\dots,X_n)$ necessarily splits off a freely complemented semicircular component $W^*(Y_1)\simeq L^{\infty}([-2,2],μ_{ m sc})$, which is also maximal amenable in $M$. More generally, whenever the first eigenspace of the free Laplacian $Δ=\partial^*\bar\partial$ is finite-dimensional of rank $r\ge 1$, our rigidity argument shows that these $r$ extremal directions form a free semicircular family, yielding a free product decomposition with an $L(\mathbb{F}_r)$ factor. This provides a free-probability analogue of the classical Gaussian splitting phenomenon and reveals a rigidity mechanism under non-commutative curvature.

研究の動機と目的

• Motivate a free analogue of Obata’s rigidity theorem in the non-commutative setting.
• Establish a curvature–dimension framework under which extremizers of the free Poincaré inequality are affine.
• Derive structural decompositions of von Neumann algebras generated by X into semicircular components via freeness.
• Draw connections between Lipschitz conjugate variables, free Fisher information, and rigidity phenomena.

提案手法

• Use non-commutative curvature–dimension condition CD(1,∞) formulated via the Jacobian of conjugate variables.
• Employ Lipschitz conjugate variable framework to control free Poincaré constants through a Bakry–Émery‑type argument.
• Analyze saturators of Voiculescu’s free Poincaré inequality to show they must be affine functions of the generators.
• Deduce structural decompositions W*(X1,...,Xn) ≅ W*(Y1)*N and, by maximal amenability, classify the semicircular component as freely complemented.
• Leverage commutation relations between conjugate variables and generators to strengthen regularity conclusions and enable a Gaussian splitting analogue.

実験結果

リサーチクエスチョン

• RQ1 Under a CD(1,∞) non-commutative curvature–dimension condition, what can saturators of Voiculescu’s free Poincaré inequality look like?
• RQ2 Do extremizers of the free Poincaré inequality force an affine dependence on the generators in the Lipschitz conjugate variable framework?
• RQ3 What von Neumann algebra decompositions are forced by the presence of a saturated Poincaré inequality (Gaussian-like splitting) in free probability?
• RQ4 Can the existence of a freely complemented semicircular component be deduced from rigidity, and is it maximal amenable within the ambient algebra?

主な発見

• Any non-zero saturator of Voiculescu’s free Poincaré inequality under CD(1,∞) must be affine in the generators.
• The von Neumann algebra M = W*(X1,...,Xn) splits off a freely complemented semicircular component, leading to M ≅ W*(Y1)*N and, for n≥2, maximal amenability of W*(Y1) in M.
• If the first eigen-structure of the free Laplacian is finite dimensional of rank r≥1, the r extremal directions form a free semicircular family, yielding a free product decomposition with L(F_r).
• This provides a free analogue of Gaussian splitting (Obata-type rigidity) in the non-commutative curvature setting.
• Lipschitz conjugate variables allow a robust framework beyond analytic potentials, enabling a Bakry–Émery–type approach in free probability.