Curvature, Hodge-Dirac operators and Riesz transforms

Cédric Arhancet
2024-01-17
Abstract:We introduce a notion of Ricci curvature lower bound for symmetric sub-Markovian semigroups. We use this notion to investigate functional calculus of the Hodge-Dirac operator associated to the semigroup in link with the boundedness of suitable Riesz transforms. Our paper offers a unified framework that not only encapsulates existing results in some contexts but also yields new findings in others. This is demonstrated through applications in the frameworks of Riemannian manifolds, compact (quantum) groups, noncommutative tori, Ornstein-Uhlenbeck semigroup, $q$-Ornstein-Uhlenbeck semigroups and semigroups of Schur multipliers. We also provide an $\mathrm{L}^p$-Poincaré inequality that is applicable to all previously discussed contexts under assumptions of boundedness of Riesz transforms and uniform exponential stability. Finally, we prove the boundedness of some Riesz transforms in some contexts as compact Lie groups.
Functional Analysis,Operator Algebras
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects: 1. **Introduction of the concept of lower Ricci curvature bound**: The author introduced the definition of the lower Ricci curvature bound of symmetric sub - Markov semigroups and used this concept to study the functional calculus of Hodge - Dirac operators related to semigroups and the boundedness of appropriate Riesz transforms. 2. **Establishment of a unified framework**: The paper provides a unified framework that not only covers some contexts of existing results but also yields new findings. Specific applications include Riemannian manifolds, compact (quantum) groups, non - commutative tori, Ornstein - Uhlenbeck semigroups, q - Ornstein - Uhlenbeck semigroups and Schur multiplier semigroups, etc. 3. **Proof of Poincaré inequality**: Under the assumptions of the boundedness of Riesz transforms and uniform exponential stability, the author proved an \(L^p\) Poincaré inequality applicable to all of the above contexts. 4. **Development of Banach K - homology theory**: The author attempts to develop the K - homology theory of Banach space variants and explain the significance of these results in this theory. ### Specific problems and their solutions - **Functional calculus of Hodge - Dirac operators**: - By introducing the definition of the lower Ricci curvature bound, the author studied the spectral properties and functional calculus of Hodge - Dirac operators in different contexts. - For example, on Riemannian manifolds, the spectral properties of Hodge - Dirac operators are closely related to the geometric characteristics of the manifolds. - **Boundedness of Riesz transforms**: - The author proved the boundedness of Riesz transforms in certain contexts, especially in compact Lie groups. - These results help to understand the connection between the analytical properties of semigroups and the geometric structures they generate. - **Poincaré inequality**: - The author proved an \(L^p\) Poincaré inequality, which holds in multiple contexts, including commutative and non - commutative cases. - This inequality has the form: \[ \|f - E_p(f)\|_{L^p(M)} \lesssim_p \|\partial_p(f)\|_{H_p}, \quad f \in \text{dom}(\partial_p) \] - where \(E_p\) is the conditional expectation and \(\partial_p\) is the closed unbounded derivative operator. - **Banach K - homology theory**: - The author attempts to extend the K - homology theory to Banach space variants and use these results to construct non - trivial K - homology classes. - The development of this theory is of great significance for understanding certain problems in non - commutative geometry. ### Conclusion By introducing the concept of lower Ricci curvature bound, this paper provides a unified framework that not only covers existing research results but also discovers new results. At the same time, the paper proves important inequalities and the boundedness of transforms in multiple contexts, contributing to the development of non - commutative geometry and Banach space theory.