Table of Contents
Fetching ...

A $C^{*}$-Algebraic Approach To Principal Symbol Calculus On Filtered Manifolds

David Farrell, Fedor Sukochev, Fulin Yang, Dmitriy Zanin

Abstract

From the viewpoint of $*$-homomorphism on $C^{*}$-algebras, we establish the principal symbol mapping for filtered manifolds which are locally isomorphic to stratified Lie groups. Let $\mathbb{G}$ be a stratified Lie group, and let $M$ be a filtered manifold with a $\mathbb{G}$-atlas and a smooth positive density $ν$. For the $C^{*}$-algebra bundle $E_{hom}$ of $M$ constructed from quasi-Riesz transforms on $\mathbb{G}$, we show that there exists a surjective $*$-homomorphism $${\rm sym}_{M}:Π_{M}\to C_{b}(E_{hom})$$ such that $${\rm ker}({\rm sym}_{M})=\mathcal{K}(L_{2}(M,ν))\subset Π_{M}$$ where the domain $Π_{M}\subset\mathcal{B}(L_{2}(M,ν))$ is a $C^{*}$-algebra and $C_{b}(E_{hom})$ is the $C^{*}$-algebra of bounded continuous sections of $E_{hom}$. Especially, we do not make any assumptions on the lattice of the osculating group of $M$ or the assumption of compactness on manifolds in \cite{DAO3,DAO4}.

A $C^{*}$-Algebraic Approach To Principal Symbol Calculus On Filtered Manifolds

Abstract

From the viewpoint of -homomorphism on -algebras, we establish the principal symbol mapping for filtered manifolds which are locally isomorphic to stratified Lie groups. Let be a stratified Lie group, and let be a filtered manifold with a -atlas and a smooth positive density . For the -algebra bundle of constructed from quasi-Riesz transforms on , we show that there exists a surjective -homomorphism such that where the domain is a -algebra and is the -algebra of bounded continuous sections of . Especially, we do not make any assumptions on the lattice of the osculating group of or the assumption of compactness on manifolds in \cite{DAO3,DAO4}.

Paper Structure

This paper contains 31 sections, 75 theorems, 473 equations.

Key Result

Theorem 1.10

chowrashevskii Let $M$ be a smooth manifold equipped with a bracket generating horizontal distribution $H$. Then, for all $x,y\in M$, if there is a path from $x$ to $y$, there is a horizontal path from $x$ to $y$.

Theorems & Definitions (186)

  • Remark 1.3
  • Remark 1.4
  • Remark 1.5
  • Remark 1.6
  • Definition 1.7
  • Definition 1.8
  • Definition 1.9
  • Theorem 1.10: Chow-Raveskii Theorem
  • Definition 1.11
  • Remark 1.12
  • ...and 176 more