Sharp mapping properties of Poisson transforms and the Baum-Connes conjecture
Pith reviewed 2026-05-16 23:17 UTC · model grok-4.3
The pith
For semisimple Lie groups of real rank one, the Poisson transform maps Sobolev spaces on P backslash G boundedly with closed range into L2 spaces on K backslash G.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a semisimple Lie group G of real rank one, the Poisson transform maps a Sobolev space on P backslash G boundedly with closed range to an L2-space on K backslash G. The result is obtained for the Poisson transform studied by Knapp-Wallach under the name Szegö map, and the appropriate Sobolev spaces are defined using van Erp-Yuncken's Heisenberg calculus. The proof generalizes to show that commutators of this Poisson transform with smooth functions on the Furstenberg compactification are compact. This proves the remaining open conjecture in Julg's seminal program to establish the Baum-Connes conjecture for closed subgroups of semisimple Lie groups of real rank one.
What carries the argument
The Szegö map (Poisson transform) acting from Heisenberg-calculus Sobolev spaces on P backslash G to L2 spaces on K backslash G, carrying the argument via its boundedness with closed range and compact commutators.
Load-bearing premise
The Heisenberg calculus definition of the Sobolev spaces on P backslash G supplies exactly the regularity needed for the Poisson transform to be bounded with closed range.
What would settle it
A concrete counterexample would be a distribution in the claimed Sobolev space on P backslash G whose Poisson transform image lies outside the target L2 space on K backslash G or has unbounded norm.
read the original abstract
We prove a sharp, quantitative analogue of Helgason's conjecture at the level of distributions: For a semisimple Lie group $G$ of real rank one, Poisson transforms map a Sobolev space on $P\backslash G$ boundedly with closed range to an $L^2$-space on $K\backslash G$. The result is obtained for the Poisson transform studied by Knapp-Wallach under the name Szeg\"o map, and the appropriate Sobolev spaces are defined using van Erp-Yuncken's Heisenberg calculus. The proof generalizes to show that commutators of this Poisson transform with smooth functions on the Furstenberg compactification are compact. This proves the remaining open conjecture in Julg's seminal program to establish the Baum-Connes conjecture for closed subgroups of semisimple Lie groups of real rank one.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for semisimple Lie groups G of real rank one, the Szegö map (Knapp-Wallach Poisson transform) maps Sobolev spaces on P∖G, defined via van Erp-Yuncken Heisenberg calculus, boundedly with closed range into L²(K∖G). It further shows that commutators of this map with smooth functions on the Furstenberg compactification are compact operators. This is claimed to resolve the remaining open conjecture in Julg's program toward the Baum-Connes conjecture for closed subgroups of such groups, providing a quantitative analogue of Helgason's conjecture at the distributional level.
Significance. If the boundedness, closed-range, and compactness claims hold, the result supplies the missing analytic ingredient for Julg's approach to Baum-Connes for rank-one groups, yielding sharp Sobolev mapping properties that were previously unavailable. The use of the Heisenberg calculus to define the domain spaces is a technical strength, as it permits precise symbol-level control over the integral kernel. The compactness of commutators directly addresses the K-theoretic assembly map requirements in the program.
major comments (2)
- [Heisenberg symbol analysis of the Szegö map] The central boundedness and closed-range assertions rest on the principal symbol of the Szegö map being elliptic (hence Fredholm) in the van Erp-Yuncken Heisenberg calculus. The manuscript must supply the explicit symbol computation for the Knapp-Wallach kernel at the boundary (likely in the section deriving the mapping properties) to confirm invertibility; without it, the closed-range property does not follow from the rank-one assumption alone.
- [Commutator compactness argument] The compactness of commutators with smooth functions on the Furstenberg compactification is invoked to complete Julg's conjecture, but the argument appears to reuse the same symbol ellipticity. If the parametrix construction fails to remain inside the calculus for the rank-one case, this step would not hold; an explicit remainder estimate is required.
minor comments (2)
- [Preliminaries] Notation for the Sobolev spaces H^s(P∖G) should be clarified with respect to the precise filtration in the Heisenberg calculus; the current definition risks ambiguity with classical Sobolev spaces.
- [Introduction] The abstract and introduction cite Julg's program but should include a precise reference to the specific open conjecture being resolved (e.g., the exact statement in Julg's paper).
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying points where additional explicit computations would strengthen the presentation. We agree that the manuscript benefits from more detail on the symbol analysis and remainder estimates. Below we address the major comments point by point and indicate the revisions we will make.
read point-by-point responses
-
Referee: [Heisenberg symbol analysis of the Szegö map] The central boundedness and closed-range assertions rest on the principal symbol of the Szegö map being elliptic (hence Fredholm) in the van Erp-Yuncken Heisenberg calculus. The manuscript must supply the explicit symbol computation for the Knapp-Wallach kernel at the boundary (likely in the section deriving the mapping properties) to confirm invertibility; without it, the closed-range property does not follow from the rank-one assumption alone.
Authors: We agree that an explicit principal-symbol computation is required to make the ellipticity and Fredholm property fully transparent. In the revised manuscript we will insert a new subsection (in the section currently numbered 4) that carries out the symbol calculation for the Knapp-Wallach kernel in the van Erp-Yuncken Heisenberg calculus. The computation uses the rank-one root-system structure to show that the symbol is invertible on the boundary cotangent bundle, thereby establishing ellipticity and the closed-range property directly from the symbol rather than from the rank-one assumption alone. revision: yes
-
Referee: [Commutator compactness argument] The compactness of commutators with smooth functions on the Furstenberg compactification is invoked to complete Julg's conjecture, but the argument appears to reuse the same symbol ellipticity. If the parametrix construction fails to remain inside the calculus for the rank-one case, this step would not hold; an explicit remainder estimate is required.
Authors: The compactness argument proceeds by showing that the commutator is a lower-order operator whose principal symbol vanishes to first order; the resulting operator is therefore compact on the relevant Sobolev spaces. To address the concern about the parametrix, the revised version will include an explicit remainder estimate (new Proposition in Section 5) that verifies the parametrix construction stays inside the Heisenberg calculus for real-rank-one groups. The estimate exploits the explicit form of the Knapp-Wallach kernel and the rank-one restriction on the nilpotent structure to obtain the necessary decay of the remainder in the appropriate operator norms. revision: yes
Circularity Check
No circularity: mapping properties derived from external Heisenberg calculus and Knapp-Wallach definition
full rationale
The paper establishes boundedness with closed range for the Szegö map (Poisson transform) from van Erp-Yuncken Heisenberg-calculus Sobolev spaces on P∖G to L² on K∖G, plus compactness of commutators with Furstenberg functions, for real-rank-one groups. These follow from the symbol calculus and kernel properties in the cited external frameworks (van Erp-Yuncken for the Sobolev spaces and symbol ellipticity; Knapp-Wallach for the integral kernel). No equation or claim reduces the target mapping property to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The result is independent of the Baum-Connes application and does not import uniqueness theorems from the authors' prior work. This is the normal case of a derivation resting on prior, externally verifiable calculus.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Standard structural properties of semisimple Lie groups of real rank one
- domain assumption Existence and basic mapping properties of the Szegö map as defined by Knapp-Wallach
Reference graph
Works this paper leans on
-
[1]
A. Afgoustidis,On the analogy between real reductive groups and Cartan motion groups: the Mackey- Higson bijection.Camb. J. Math. 9 (2021), no. 3, 551–575
work page 2021
-
[2]
PreprintarXiv:2201.12060, 47 pp
I. Androulidakis, O. Mohsen, and R. Yuncken,A pseudodifferential calculus for maximally hypoel- liptic operators and the Helffer-Nourrigat conjecture, arXiv:2201.12060
-
[3]
M. Atiyah, and W. Schmid,A geometric construction of the discrete series for semisimple Lie groups, Invent. Math. 42 (1977), 1–62. POISSON TRANSFORMS AND THE BAUM-CONNES CONJECTURE 39
work page 1977
-
[4]
P. Baum, A. Connes, and N. Higson,Classifying space for proper actions andK-theory of groupC ∗- algebras,C ∗-algebras: 1943–1993 (San Antonio, TX, 1993), 240–291, Contemp. Math., 167, Amer. Math. Soc., Providence, RI, 1994
work page 1943
-
[5]
R. Beals, and P. Greiner,Calculus on Heisenberg manifolds, Annals of Mathematics Studies, 119. Princeton University Press, Princeton, NJ, 1988
work page 1988
-
[6]
J. Bernstein,Analytic structures on representation spaces of reductive groups, Proceedings of the International Congress of Mathematicians, Vol. II, Doc. Math. (1998), 519–525
work page 1998
-
[7]
J. Bernstein, and B. Kr¨ otz,Smooth Fr´ echet globalizations of Harish-Chandra modules, Israel J. Math. 199 (2014), no. 1, 45–111
work page 2014
-
[8]
B. E. Blank,Knapp-Wallach Szeg˝ o integrals and generalized principal series representations: the parabolic rank one case, J. Funct. Anal. 60 (1985), no. 2, 127–145
work page 1985
-
[9]
A. Borel, and L. Ji,Compactifications of symmetric and locally symmetric spaces, Mathematics: Theory & Applications. Birkh¨ auser Boston, Inc., Boston, MA, 2006
work page 2006
-
[10]
R. Bott,The index theorem for homogeneous differential operators, Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), pp. 167–186, Princeton Univ. Press, Princeton, NJ, 1965
work page 1965
-
[11]
L. Boutet de Monvel, and V. Guillemin,The spectral theory of Toeplitz operators, Annals of Math- ematics Studies, 99. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1981
work page 1981
-
[12]
A. ˇCap, C. Harrach, and P. Julg,A Poisson transform adapted to the Rumin complex, J. Topol. Anal. 14 (2022), no. 3, 615–653
work page 2022
-
[13]
A. ˇCap, and J. Slov´ ak,Parabolic geometries. I. Background and general theory, Mathematical Sur- veys and Monographs, 154. American Mathematical Society, Providence, RI, 2009. x+628 pp
work page 2009
-
[14]
A. ˇCap, J. Slov´ ak, and V. Souˇ cek,Bernstein-Gelfand-Gelfand sequences, Ann. of Math. (2) 154 (2001), no. 1, 97–113
work page 2001
-
[15]
W. Casselman,Canonical extensions of Harish-Chandra modules to representations ofG, Canadian Journal of Mathematics 41 (1989), 385–438
work page 1989
-
[16]
J. Chabert, S. Echterhoff, and R. Nest,The Connes-Kasparov conjecture for almost connected groups and for linearp-adic groups, Publ. Math. Inst. Hautes ´Etudes Sci. No. 97 (2003), 239–278
work page 2003
-
[17]
Chen,S´ eries compl´ ementaires des groupes de Lorentz et KK-th´ eorie, J
Z.Q. Chen,S´ eries compl´ ementaires des groupes de Lorentz et KK-th´ eorie, J. Funct. Anal. 137(1996), 76–96
work page 1996
- [18]
- [19]
- [20]
-
[21]
N. Couchet, and R. Yuncken,On polyhomogeneous symbols and the Heisenberg pseudodifferential calculus, arXiv:2210.15391
-
[22]
L. J. Corwin, and F. P. Greenleaf,Representations of nilpotent Lie groups and their applications, Cambridge Studies Adv. Mathematics18. Cambridge University Press 1990
work page 1990
-
[23]
S. Dave, and S. Haller,The heat asymptotics on filtered manifolds, J. Geom. Anal. 30 (2020), no. 1, 337–389
work page 2020
-
[24]
S. Dave, and S. Haller,Graded hypoellipticity of BGG sequences, Ann. Global Anal. Geom. 62(2022), 721-789
work page 2022
-
[25]
C. Debord, and J.-M. Lescure,Index theory and groupoids, Geometric and topological methods for quantum field theory, pages 86–158. Cambridge Univ. Press, Cambridge, 2010
work page 2010
-
[26]
C. Debord, and G. Skandalis,Adiabatic groupoid, crossed product byR ∗ + and pseudodifferential calculus, Adv. Math. 257 (2014), 66–91
work page 2014
-
[27]
C. Debord, and G. Skandalis,Psseudodifferential extensions and adiabatic deformation of smooth groupoid actions, Bull. Sci. Math., 139(7):750–776, 2015
work page 2015
-
[28]
C. Debord, and G. Skandalis,Lie groupoids, pseudodifferential calculus and index theory, Advances in noncommutative geometry, 245–289, Springer, Cham, (2019)
work page 2019
-
[29]
M. Engliˇ s, and J. Eschmeier,Geometric Arveson-Douglas conjectureAdv. Math. 274 (2015), 606– 630
work page 2015
-
[30]
E. Ewert,Index theory and groupoids for filtered manifolds, PhD thesis G¨ ottingen, 2020, available at this link
work page 2020
-
[31]
Ewert,Pseudodifferential operators on filtered manifolds as generalized fixed points, J
E. Ewert,Pseudodifferential operators on filtered manifolds as generalized fixed points, J. Noncom- mut. Geom. 17 (2023), no. 1, 333–383
work page 2023
-
[32]
V. Fischer, and M. Ruzhansky,Quantization on nilpotent Lie groups, Progress in Mathematics, 314. Birkh¨ auser/Springer, [Cham], 2016
work page 2016
-
[33]
J. Fox, and P. Haskell,K-amenability forSU(n,1), J. Funct. Anal. 117 (1993), no. 2, 274–307. 40 HEIKO GIMPERLEIN, MAGNUS GOFFENG
work page 1993
-
[34]
Fries,RelativeK-homology of higher-order differential operators, J
M. Fries,RelativeK-homology of higher-order differential operators, J. Funct. Anal. 288 (2025), no. 1, Paper No. 110678, 45 pp
work page 2025
-
[35]
Furstenberg,A Poisson formula for semi-simple Lie groups, Ann
H. Furstenberg,A Poisson formula for semi-simple Lie groups, Ann. of Math. (2) 77 (1963), 335–386
work page 1963
-
[36]
H. Gimperlein, B. Kr¨ otz, J. Kuit, H. Schlichtkrull,A Paley-Wiener theorem for Harish-Chandra modules, Cambridge J. Math. 10 (2022), 689–742
work page 2022
-
[37]
H. Gimperlein, B. Kr¨ otz, L. Roncal, and S. Thangavelu,Poisson transform and unipotent complex geometry, J. Funct. Anal. 288 (2025), no. 3, Paper No. 110742
work page 2025
-
[38]
M. Goffeng, and A. Kuzmin,Index theory of hypoelliptic operators on Carnot manifolds, arXiv:2203.04717
-
[39]
Goffeng,Solving the index problem for (curved) Bernstein–Gelfand–Gelfand sequences, arXiv:2406.07033
M. Goffeng,Solving the index problem for (curved) Bernstein–Gelfand–Gelfand sequences, arXiv:2406.07033
- [40]
-
[41]
M. P. Gomez Aparicio, P. Julg, and A. Valette,The Baum-Connes conjecture: an extended survey, Advances in noncommutative geometry—on the occasion of Alain Connes’ 70th birthday, 127–244, Springer, Cham, 2019
work page 2019
-
[42]
B. H. Gross, and N. R. Wallach,On quaternionic discrete series representations, and their contin- uations, J. Reine Angew. Math. 481 (1996), 73–123
work page 1996
-
[43]
Helgason,A duality for symmetric spaces with applications to group representations, Advances in Math
S. Helgason,A duality for symmetric spaces with applications to group representations, Advances in Math. 5 (1970), 1–154
work page 1970
-
[44]
Helgason,A duality for symmetric spaces with applications to group representations
S. Helgason,A duality for symmetric spaces with applications to group representations. II. Differ- ential equations and eigenspace representations, Advances in Math. 22 (1976), no. 2, 187–219
work page 1976
-
[45]
Helgason,Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathemat- ics, 80
S. Helgason,Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathemat- ics, 80. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1978
work page 1978
-
[46]
S. Helgason,Groups and geometric analysis, Integral geometry, invariant differential operators, and spherical functions, Corrected reprint of the 1984 original. Mathematical Surveys and Monographs,
work page 1984
-
[47]
American Mathematical Society, Providence, RI, 2000
work page 2000
-
[48]
Helgason,Geometric analysis on symmetric spaces, Second edition
S. Helgason,Geometric analysis on symmetric spaces, Second edition. Mathematical Surveys and Monographs, 39. American Mathematical Society, Providence, RI, 2008
work page 2008
-
[49]
N. Higson, and G. Kasparov,E-theory andKK-theory for groups which act properly and isometri- cally on Hilbert space, Invent. Math. 144 (2001), no. 1, 23–74
work page 2001
-
[50]
H¨ ormander,The analysis of linear partial differential operators
L. H¨ ormander,The analysis of linear partial differential operators. I. Distribution theory and Fourier analysis, Reprint of the second (1990) edition [Springer, Berlin; MR1065993 (91m:35001a)]. Classics in Mathematics. Springer-Verlag, Berlin, 2003
work page 1990
-
[51]
Julg,How to prove the Baum-Connes conjecture for the groupsSp(n,1)?J
P. Julg,How to prove the Baum-Connes conjecture for the groupsSp(n,1)?J. Geom. Phys. 141 (2019), 105–119
work page 2019
-
[52]
P. Julg, and G. Kasparov,OperatorK-theory for the groupSU(n,1), J. Reine Angew. Math. 463 (1995), 99–152
work page 1995
-
[53]
P. Julg, and S. Nishikawa,Slow exponential growth representations ofSp(n,1)at the edge of Cowl- ing’s strip, J. Operator Theory 92 (2024), 283–302
work page 2024
-
[54]
M. Kashiwara, A. Kowata, K. Minemura, K. Okamoto, T. ¯Oshima, M. Tanaka,Eigenfunctions of invariant differential operators on a symmetric space, Ann. of Math. (2) 107 (1978), no. 1, 1–39
work page 1978
-
[55]
M. Kashiwara, and W. Schmid,Quasi-equivariant D-modules, equivariant derived category, and representations of reductive Lie groups, in “Lie theory and geometry”, Progr. Math. 123 (1994), 457–488, Birkh¨ auser, Boston
work page 1994
-
[56]
G. G. Kasparov,Lorentz groups: K-theory of unitary representations and crossed products, Dokl. Akad. Nauk SSSR 275 (1984), 541–545
work page 1984
-
[57]
A. A. Kirillov,Lectures on the orbit method, Graduate Studies in Mathematics, 64. American Math- ematical Society, Providence, RI, 2004
work page 2004
-
[58]
A. W. Knapp, and E. M. Stein,Intertwining operators for semisimple groups, Ann. of Math. (2) 93 (1971), 489–578
work page 1971
-
[59]
A. W. Knapp, and N. R. Wallach,Szeg¨ o kernels associated with discrete series, Invent. Math. 34 (1976), no. 3, 163–200
work page 1976
-
[60]
A. W. Knapp,Representation theory of semisimple groups. An overview based on examples, Reprint of the 1986 original. Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 2001
work page 1986
-
[61]
Lafforgue,K-th´ eorie bivariante pour les alg` ebres de Banach et conjecture de Baum-Connes, Invent
V. Lafforgue,K-th´ eorie bivariante pour les alg` ebres de Banach et conjecture de Baum-Connes, Invent. Math. 149 (2002), no. 1, 1–95
work page 2002
-
[62]
V. Lafforgue,BanachKK-theory and the Baum-Connes conjecture, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), 795–812, Higher Ed. Press, Beijing, 2002
work page 2002
-
[63]
Lafforgue,Un renforcement de la propri´ et´ e (T), Duke Math
V. Lafforgue,Un renforcement de la propri´ et´ e (T), Duke Math. J. 143 (2008), no. 3, 559–602
work page 2008
-
[64]
Lafforgue,La conjecture de Baum-Connes ` a coefficients pour les groupes hyperboliques, J
V. Lafforgue,La conjecture de Baum-Connes ` a coefficients pour les groupes hyperboliques, J. Non- commut. Geom. 6 (2012), no. 1, 1–197. POISSON TRANSFORMS AND THE BAUM-CONNES CONJECTURE 41
work page 2012
-
[65]
H. Liu, and G. Zhang,Realization of quaternionic discrete series on the unit ball inH d, J. Funct. Anal. 262 (2012), no. 7, 2979–3005
work page 2012
-
[66]
R. Mazzeo, and A. Vasy,Analytic continuation of the resolvent of the Laplacian on symmetric spaces of noncompact type, J. Funct. Anal. 228 (2005), no. 2, 311–368
work page 2005
-
[67]
Melin,Lie filtrations and pseudo-differential operators, Preprint, 1982
A. Melin,Lie filtrations and pseudo-differential operators, Preprint, 1982
work page 1982
-
[68]
Mohsen,On the deformation groupoid of the inhomogeneous pseudo-differential calculus, Bull
O. Mohsen,On the deformation groupoid of the inhomogeneous pseudo-differential calculus, Bull. Lond. Math. Soc. 53 (2021), no. 2, 575–592
work page 2021
-
[69]
B. Ørsted, and G. Zhang,Laplacians on quotients of Cauchy-Riemann complexes and Szeg˝ o map forL 2-harmonic forms, Indag. Math. (N.S.) 16 (2005), no. 3-4, 639–653
work page 2005
-
[70]
Parthasarathy,Dirac operator and the discrete series, Ann
R. Parthasarathy,Dirac operator and the discrete series, Ann. of Math. (2) 96 (1972), 1–30
work page 1972
-
[71]
Pedon,Harmonic analysis for differential forms on complex hyperbolic spaces, J
E. Pedon,Harmonic analysis for differential forms on complex hyperbolic spaces, J. Geom. Phys. 32 (1999), no. 2, 102–130
work page 1999
-
[72]
Pedon,The differential form spectrum of quaternionic hyperbolic spaces, Bull
E. Pedon,The differential form spectrum of quaternionic hyperbolic spaces, Bull. Sci. Math. 129 (2005), no. 3, 227–265
work page 2005
-
[73]
R. S. Ponge,Noncommutative residue invariants for CR and contact manifolds, J. Reine Angew. Math. 614 (2008), 117–151
work page 2008
-
[74]
R. S. Ponge,Heisenberg calculus and spectral theory of hypoelliptic operators on Heisenberg mani- folds, Mem. Amer. Math. Soc. 194 (2008), no. 906, viii+ 134 pp
work page 2008
-
[75]
Prudhon,K-theory forSp(n,1), J
N. Prudhon,K-theory forSp(n,1), J. Funct. Anal. 221 (2005), no. 1, 226–249
work page 2005
-
[76]
M. Puschnigg,Finitely summable Fredholm modules over higher rank groups and lattices, J.K- Theory 8 (2011), no. 2, p. 223–239
work page 2011
-
[77]
Schmid,On the realization of the discrete series of a semisimple Lie group, Rice Univ
W. Schmid,On the realization of the discrete series of a semisimple Lie group, Rice Univ. Studies 56, No. 2, 99-108 (1970)
work page 1970
-
[78]
W. Schmid,Boundary value problems for group invariant differential equations, The mathematical heritage of Elie Cartan (Lyon, 1984). Ast´ erisque 1985, Numero Hors Serie, 311–321
work page 1984
-
[79]
M. A: Shubin,Pseudodifferential operators and spectral theory, Translated from the 1978 Russian original by Stig I. Andersson. Second edition. Springer-Verlag, Berlin, 2001
work page 1978
-
[80]
Street,Maximal subellipticity, De Gruyter Studies in Mathematics, 93
B. Street,Maximal subellipticity, De Gruyter Studies in Mathematics, 93. De Gruyter, Berlin, 2023
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.