skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Complete Logarithmic Sobolev inequality via Ricci curvature bounded below II
We study the “geometric Ricci curvature lower bound”, introduced previously by Junge, Li and LaRacuente, for a variety of examples including group von Neumann algebras, free orthogonal quantum groups [Formula: see text], [Formula: see text]-deformed Gaussian algebras and quantum tori. In particular, we show that Laplace operator on [Formula: see text] admits a factorization through the Laplace–Beltrami operator on the classical orthogonal group, which establishes the first connection between these two operators. Based on a non-negative curvature condition, we obtain the completely bounded version of the modified log-Sobolev inequalities for the corresponding quantum Markov semigroups on the examples mentioned above. We also prove that the “geometric Ricci curvature lower bound” is stable under tensor products and amalgamated free products. As an application, we obtain a sharp Ricci curvature lower bound for word-length semigroups on free group factors.  more » « less
Award ID(s):
2000331
PAR ID:
10491990
Author(s) / Creator(s):
; ;
Publisher / Repository:
World Scientific
Date Published:
Journal Name:
Journal of Topology and Analysis
Volume:
15
Issue:
03
ISSN:
1793-5253
Page Range / eLocation ID:
741 to 794
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Starting with a vertex-weighted pointed graph [Formula: see text], we form the free loop algebra [Formula: see text] defined in Hartglass–Penneys’ article on canonical [Formula: see text]-algebras associated to a planar algebra. Under mild conditions, [Formula: see text] is a non-nuclear simple [Formula: see text]-algebra with unique tracial state. There is a canonical polynomial subalgebra [Formula: see text] together with a Dirac number operator [Formula: see text] such that [Formula: see text] is a spectral triple. We prove the Haagerup-type bound of Ozawa–Rieffel to verify [Formula: see text] yields a compact quantum metric space in the sense of Rieffel. We give a weighted analog of Benjamini–Schramm convergence for vertex-weighted pointed graphs. As our [Formula: see text]-algebras are non-nuclear, we adjust the Lip-norm coming from [Formula: see text] to utilize the finite dimensional filtration of [Formula: see text]. We then prove that convergence of vertex-weighted pointed graphs leads to quantum Gromov–Hausdorff convergence of the associated adjusted compact quantum metric spaces. As an application, we apply our construction to the Guionnet–Jones–Shyakhtenko (GJS) [Formula: see text]-algebra associated to a planar algebra. We conclude that the compact quantum metric spaces coming from the GJS [Formula: see text]-algebras of many infinite families of planar algebras converge in quantum Gromov–Hausdorff distance. 
    more » « less
  2. Abstract We first provide a stochastic formula for the Carathéodory distance in terms of general Markovian couplings and prove a comparison result between the Carathéodory distance and the complete Kähler metric with a negative lower curvature bound using the Kendall–Cranston coupling. This probabilistic approach gives a version of the Schwarz lemma on complete noncompact Kähler manifolds with a further decomposition Ricci curvature into the orthogonal Ricci curvature and the holomorphic sectional curvature, which cannot be obtained by using Yau–Royden's Schwarz lemma. We also prove coupling estimates on quaternionic Kähler manifolds. As a by‐product, we obtain an improved gradient estimate of positive harmonic functions on Kähler manifolds and quaternionic Kähler manifolds under lower curvature bounds. 
    more » « less
  3. null (Ed.)
    To Nicolás Andruskiewitsch on his 60th birthday, with admiration We introduce bivariate versions of the continuous [Formula: see text]-Hermite polynomials. We obtain algebraic properties for them (generating function, explicit expressions in terms of the univariate ones, backward difference equations and recurrence relations) and analytic properties (determining the orthogonality measure). We find a direct link between bivariate continuous [Formula: see text]-Hermite polynomials and the star product method of [S. Kolb and M. Yakimov, Symmetric pairs for Nichols algebras of diagonal type via star products, Adv. Math. 365 (2020), Article ID: 107042, 69 pp.] for quantum symmetric pairs to establish deformed quantum Serre relations for quasi-split quantum symmetric pairs of Kac–Moody type. We prove that these defining relations are obtained from the usual quantum Serre relations by replacing all monomials by multivariate orthogonal polynomials. 
    more » « less
  4. For a finite-index [Formula: see text] subfactor [Formula: see text], we prove the existence of a universal Hopf ∗-algebra (or, a discrete quantum group in the analytic language) acting on [Formula: see text] in a trace-preserving fashion and fixing [Formula: see text] pointwise. We call this Hopf ∗-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse. 
    more » « less
  5. We prove that discrete compact quantum groups (or more generally locally compact, under additional hypotheses) with coamenable dual are continuous fields over their central closed quantum subgroups, and the same holds for free products of discrete quantum groups with coamenable dual amalgamated over a common central subgroup. Along the way we also show that free products of continuous fields of [Formula: see text]-algebras are again free via a Fell-topology characterization for [Formula: see text]-field continuity, recovering a result of Blanchard’s in a somewhat more general setting. 
    more » « less