2017/12/31 by Shantanu Dave, Stefan Haller
Mathematics · #Analytic continuation #Continuation #Differential (mechanical device) #Differential geometry #Differential operator #Geometric Analysis and Curvature Flows #Geometric analysis #Heat kernel #Microlocal analysis #Random Matrices and Applications #Spectral Theory in Mathematical Physics #TRACE (psycholinguistics) #math.AP #math.DG #msc:58J20 #msc:58J35 #msc:58J40
paper · pdf · doi:10.1007/s12220-018-00137-4
published as J. Geom. Anal. 30(2020), 337--389 · v2: accepted manuscript, introduction rewritten, results unchanged, added journal reference and DOI
openalex created_date 2018/01/05 · openalex publication_date 2019/01/23 · arxiv created 2020/02/06 · arxiv updated 2020/02/07 · openalex updated_date 2026/08/06
The short-time heat kernel expansion of elliptic operators provides a link between local and global features of classical geometries. For many geometric structures related to (non-)involutive distributions, the natural differential operators tend to be Rockland, hence hypoelliptic. In this paper, we establish a universal heat kernel expansion for formally self-adjoint non-negative Rockland differential operators on general closed filtered manifolds. The main ingredient is the analysis of parametrices in a recently constructed calculus adapted to these geometric structures. The heat expansion implies that the new calculus, a more general version of the Heisenberg calculus, also has a non-commutative residue. Many of the well-known implications of the heat expansion such as, the structure of the complex powers, the heat trace asymptotics, the continuation of the zeta function, as well as Weyl's law for the eigenvalue asymptotics, can be adapted to this calculus. Other consequences include a McKean-Singer type formula for the index of Rockland differential operators. We illustrate some of these results by providing a more explicit description of Weyl's law for Rumin-Seshadri operators associated with curved BGG sequences over 5-manifolds equipped with a rank-two distribution of Cartan type.