pith. sign in

arxiv: 2606.12377 · v1 · pith:MDB2CBYMnew · submitted 2026-06-10 · 🧮 math.CV

Cohomology of CR structures on compact Lie groups

Pith reviewed 2026-06-27 07:28 UTC · model grok-4.3

classification 🧮 math.CV
keywords CR structurestangential Cauchy-Riemann cohomologycompact Lie groupsleft-invariant CR structuresdivision conditionfinite-dimensional cohomologymaximal torusFourier analysis
0
0 comments X

The pith

Under a division condition the tangential Cauchy-Riemann cohomology of a compact Lie group with left-invariant CR structure reduces to a maximal torus and is therefore finite-dimensional.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that when a division condition holds, the tangential Cauchy-Riemann cohomology of left-invariant CR structures on compact Lie groups reduces completely to a computation on a suitable maximal torus. This reduction shows at once that the cohomology groups must be finite-dimensional. The authors further prove that for one class of such CR structures the division condition is actually required if the total cohomology is to stay finite-dimensional. The arguments proceed by combining Fourier analysis on the group with highest-weight representation theory and Lie algebra cohomology.

Core claim

Under a division condition, the tangential Cauchy-Riemann cohomology of a compact Lie group with a left-invariant CR structure can be computed on a suitable maximal torus. As a consequence the tangential Cauchy-Riemann cohomology is finite-dimensional. For a class of CR structures the division condition is necessary for the total cohomology to be finite-dimensional. The proof combines Fourier analysis on compact Lie groups, highest-weight representations and Lie algebra cohomology.

What carries the argument

The division condition on the left-invariant CR structure, which permits Fourier decomposition and highest-weight analysis to reduce all cohomology computations to the maximal torus.

If this is right

  • The cohomology groups are finite-dimensional whenever the division condition holds.
  • For a specified class of CR structures the division condition is necessary to keep the total cohomology finite-dimensional.
  • The same reduction supplies a concrete method for calculating the cohomology by working only on the torus.
  • The result covers all left-invariant CR structures on compact Lie groups that obey the division condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction technique could be tested on other homogeneous CR manifolds that admit a comparable decomposition into weight spaces.
  • When the division condition fails, the cohomology may become infinite-dimensional, offering a possible criterion for detecting non-finite cases.
  • The finite-dimensionality statement supplies a uniform way to bound the dimension of cohomology groups across an entire family of symmetric CR structures.

Load-bearing premise

The left-invariant CR structure satisfies the division condition that allows the cohomology to be reduced to the maximal torus.

What would settle it

An explicit left-invariant CR structure on a compact Lie group that meets the division condition yet produces infinite-dimensional tangential Cauchy-Riemann cohomology would falsify the claim.

read the original abstract

We show that, under a division condition, the tangential Cauchy--Riemann cohomology of a compact Lie group with a left-invariant CR structure can be computed on a suitable maximal torus. As a consequence, we conclude that the tangential Cauchy--Riemann cohomology is finite-dimensional. We also show that, for a class of CR structures, this division condition is necessary for the total cohomology to be finite-dimensional. The proof combines Fourier analysis on compact Lie groups, highest-weight representations and Lie algebra cohomology. This not only generalizes but provides completely new proofs for the analogous result due to Pittie and for its extensions to Levi-flat CR structures, obtained by Jacobowitz and Jahnke.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that, under a division condition, the tangential Cauchy-Riemann cohomology of a compact Lie group equipped with a left-invariant CR structure reduces to a computation on a suitable maximal torus and is therefore finite-dimensional. For a specified class of CR structures the division condition is shown to be necessary for finite-dimensionality of the total cohomology. The argument combines Fourier analysis on compact Lie groups, highest-weight representation theory, and Lie-algebra cohomology; it supplies new proofs of Pittie’s theorem and of its extensions to Levi-flat structures due to Jacobowitz and Jahnke.

Significance. If the central reduction holds, the work gives a clean, representation-theoretic route to finite-dimensionality results that were previously obtained by different methods. The necessity statement for a concrete class of structures adds a useful converse. The proof ingredients are standard tools of the field and are applied without the introduction of free parameters or self-referential definitions.

minor comments (2)
  1. [§1] §1 (Introduction): the precise statement of the division condition is only alluded to; a short displayed definition or reference to the equation where it first appears would help readers locate it immediately.
  2. The manuscript cites Pittie, Jacobowitz–Jahnke and standard texts on Lie-algebra cohomology, but does not indicate whether any of the Fourier-analytic estimates are taken from a specific reference or derived in the text; a brief remark on this point would improve traceability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on standard, externally established tools (Fourier analysis on compact Lie groups, highest-weight representations, and Lie algebra cohomology) applied under an explicitly stated division condition. The paper explicitly provides new proofs rather than depending on prior self-citations by overlapping authors as load-bearing steps. No self-definitional reductions, fitted inputs renamed as predictions, or ansatzes smuggled via citation are present; the central claims reduce to the application of these independent methods to the CR structure on the group and torus, without the result being equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The argument is described as combining standard Fourier analysis, highest-weight representations, and Lie-algebra cohomology on compact Lie groups.

pith-pipeline@v0.9.1-grok · 5645 in / 1210 out tokens · 22274 ms · 2026-06-27T07:28:57.392269+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

156 extracted references · 110 canonical work pages

  1. [1]

    The Annals of Mathematics , author =

    An. The Annals of Mathematics , author =. 1957 , pages =. doi:10.2307/1970121 , number =

  2. [2]

    Closed elliptic structures on compact semisimple

    Jahnke, Max Reinhold , year =. Closed elliptic structures on compact semisimple. Proceedings of the American Mathematical Society , publisher =. doi:10.1090/proc/17563 , number =

  3. [3]

    Annals of Mathematics

    Lie algebra cohomology and the generalized. Annals of Mathematics. Second Series , author =. 1961 , pages =

  4. [4]

    Humphreys, J. E. , year =. Introduction to. doi:10.1007/978-1-4612-6398-2 , publisher =

  5. [5]

    Duistermaat, J. J. and Kolk, J. A. C. , year =. Lie groups , isbn =. doi:10.1007/978-3-642-56936-4 , publisher =

  6. [6]

    Knapp, A. W. , year =. Lie groups beyond an introduction , volume =

  7. [7]

    , year =

    Hörmander, L. , year =. The. doi:10.1007/978-3-642-61497-2 , urldate =

  8. [8]

    and Lins N., A

    Camacho, C. and Lins N., A. , year =. Geometric theory of foliations , isbn =. doi:10.1007/978-1-4612-5292-4 , publisher =

  9. [9]

    , year =

    Jacobowitz, H. , year =. Transversely holomorphic foliations and. Matemática

  10. [10]

    and Ferra, I

    Araújo., G. and Ferra, I. A. and Jahnke, M. R. and Ragognette, L. F. , year =. Real involutive systems on compact

  11. [11]

    Journal of the European Mathematical Society (JEMS) , author =

    Divergent. Journal of the European Mathematical Society (JEMS) , author =. 2016 , mrnumber =. doi:10.4171/JEMS/653 , number =

  12. [12]

    Kohn, J. J. and Rossi, H. , year =. On the extension of holomorphic functions from the boundary of a complex manifold , volume =. doi:10.2307/1970624 , journal =

  13. [13]

    Geometric and Functional Analysis , author =

    Holomorphic. Geometric and Functional Analysis , author =. 1998 , mrnumber =. doi:10.1007/s000390050066 , number =

  14. [14]

    Acta Mathematica , author =

    Algebraicity of holomorphic mappings between real algebraic sets in. Acta Mathematica , author =. 1996 , mrnumber =. doi:10.1007/BF02392622 , number =

  15. [15]

    The Journal of Geometric Analysis , author =

    Reflection ideals and mappings between generic submanifolds in complex space , volume =. The Journal of Geometric Analysis , author =. 2002 , mrnumber =. doi:10.1007/BF02930653 , number =

  16. [16]

    Acta Mathematica , author =

    Convergence and divergence of formal. Acta Mathematica , author =. 2018 , mrnumber =. doi:10.4310/ACTA.2018.v220.n2.a5 , number =

  17. [17]

    On the cohomology of compact homogeneous spaces of nilpotent

    Nomizu, Katsumi , year =. On the cohomology of compact homogeneous spaces of nilpotent. doi:10.2307/1969716 , journal =

  18. [18]

    From divergent power series to analytic functions , volume =

    Balser, Werner , year =. From divergent power series to analytic functions , volume =. doi:10.1007/BFb0073564 , publisher =

  19. [19]

    Mathematische Annalen , author =

    On a class of globally analytic hypoelliptic operators with non-negative characteristic form , volume =. Mathematische Annalen , author =. 2025 , mrnumber =. doi:10.1007/s00208-025-03229-z , number =

  20. [20]

    Pacific Journal of Mathematics , author =

    A reflection principle in complex space for a class of hypersurfaces and mappings , volume =. Pacific Journal of Mathematics , author =. 1995 , mrnumber =

  21. [21]

    Institute for Advanced Study, Princeton , author =

    A complex. Institute for Advanced Study, Princeton , author =

  22. [22]

    Transactions of the American Mathematical Society , author =

    Asymptotic behavior of the solutions of linear and quasilinear elliptic equations on. Transactions of the American Mathematical Society , author =. 2004 , mrnumber =. doi:10.1090/S0002-9947-03-03234-3 , number =

  23. [23]

    Lecture notes on quantitative unique continuation for solutions of second order elliptic equations , volume =

    Logunov, Alexander and Malinnikova, Eugenia , year =. Lecture notes on quantitative unique continuation for solutions of second order elliptic equations , volume =. Harmonic analysis and applications , publisher =

  24. [24]

    Quantitative propagation of smallness for solutions of elliptic equations , isbn =

    Logunov, Alexander and Malinnikova, Eugenia , year =. Quantitative propagation of smallness for solutions of elliptic equations , isbn =. Proceedings of the

  25. [25]

    Chern, S. S. and Moser, J. K. , year =. Real hypersurfaces in complex manifolds , volume =. doi:10.1007/BF02392146 , journal =

  26. [26]

    Acta Mathematica , author =

    Erratum: “. Acta Mathematica , author =. 1983 , mrnumber =. doi:10.1007/BF02392974 , number =

  27. [27]

    Journal of Differential Geometry , author =

    Analytic differential equations and spherical real hypersurfaces , volume =. Journal of Differential Geometry , author =. 2016 , mrnumber =

  28. [28]

    American Journal of Mathematics , author =

    On the analyticity of. American Journal of Mathematics , author =. 2018 , mrnumber =. doi:10.1353/ajm.2018.0002 , number =

  29. [29]

    , year =

    Stanton, Nancy K. , year =. Real hypersurfaces with no infinitesimal. doi:10.1090/conm/251/03888 , booktitle =

  30. [30]

    Transactions of the American Mathematical Society , author =

    The equivalence theory for infinite type hypersurfaces in. Transactions of the American Mathematical Society , author =. 2022 , mrnumber =. doi:10.1090/tran/8627 , number =

  31. [31]

    Documenta Mathematica , author =

    Normal form for infinite type hypersurfaces in. Documenta Mathematica , author =. 2017 , mrnumber =

  32. [32]

    and Lamel, B

    Kossovskiy, I. and Lamel, B. and Stolovitch, L. , year =. Equivalence of three-dimensional. doi:10.1016/j.aim.2021.108117 , journal =

  33. [33]

    Journal of Dynamical and Control Systems , author =

    Normal form for second order differential equations , volume =. Journal of Dynamical and Control Systems , author =. 2018 , mrnumber =. doi:10.1007/s10883-017-9380-9 , number =

  34. [34]

    Université de Grenoble

    Principe du maximum, inégalite de. Université de Grenoble. Annales de l'Institut Fourier , author =. 1969 , mrnumber =

  35. [35]

    Hypoelliptic second order differential equations , volume =

    Hörmander, Lars , year =. Hypoelliptic second order differential equations , volume =. doi:10.1007/BF02392081 , journal =

  36. [36]

    Matematicheskiĭ Sbornik

    Lie groups which are transitive on compact manifolds. Matematicheskiĭ Sbornik. Novaya Seriya , author =. 1967 , mrnumber =

  37. [37]

    , year =

    Köthe, G. , year =. Topological vector spaces

  38. [38]

    Journal of Geometric Analysis , author =

    A class of globally analytic hypoelliptic operators on compact. Journal of Geometric Analysis , author =. 2025 , mrnumber =. doi:10.1007/s12220-025-02100-6 , number =

  39. [39]

    and Ferra, I

    Araújo, G. and Ferra, I. A. and Ragognette, L. F. and Jahnke, M. R. , keywords =. Real involutive systems on compact

  40. [40]

    and Jacobowitz, H

    Wehler, K. and Jacobowitz, H. and Jahnke, M. R. , keywords =

  41. [41]

    and Neeb, K.-H

    Hilgert, J. and Neeb, K.-H. , year =. Structure and geometry of. doi:10.1007/978-0-387-84794-8 , publisher =

  42. [42]

    Mathematische Annalen , author =

    Global solvability and cohomology of tube structures on compact manifolds , copyright =. Mathematische Annalen , author =. 2024 , keywords =. doi:10.1007/s00208-024-02804-0 , abstract =

  43. [43]

    , year =

    Araújo, G. , year =. Computing cohomology spaces of left-invariant involutive structures on. doi:10.1007/978-3-031-73274-4_4 , booktitle =

  44. [44]

    Hiroshima Mathematical Journal , author =

    The first eigenvalue of the. Hiroshima Mathematical Journal , author =. 1987 , mrnumber =

  45. [45]

    , year =

    Hörmander, L. , year =. L ^. doi:10.1007/BF02391775 , journal =

  46. [47]

    , year =

    Köthe, G. , year =. On a class of nuclear spaces. doi:10.1002/mana.19841190114 , journal =

  47. [48]

    Illinois Journal of Mathematics , author =

    Differential forms and. Illinois Journal of Mathematics , author =. 1962 , mrnumber =

  48. [49]

    Communications in Partial Differential Equations , author =

    New extension phenomena for solutions of tangential. Communications in Partial Differential Equations , author =. 2016 , mrnumber =. doi:10.1080/03605302.2016.1180536 , number =

  49. [50]

    Complex Analysis and its Synergies , author =

    Regularity of. Complex Analysis and its Synergies , author =. 2020 , mrnumber =. doi:10.1007/s40627-020-00051-y , number =

  50. [51]

    , year =

    Demailly, J.-P. , year =. Complex. Free online book: http://www-fourier.ujf-grenoble.fr/

  51. [52]

    , year =

    Folland, Gerald B. , year =. Introduction to partial differential equations , isbn =

  52. [53]

    , year =

    Bott, Raoul and Tu, Loring W. , year =. Differential forms in algebraic topology , volume =

  53. [54]

    Memoirs of the American Mathematical Society , author =

    Homotopy formulas in the tangential. Memoirs of the American Mathematical Society , author =. doi:10.1090/memo/0434 , language =

  54. [55]

    An introduction to

    Morimoto, Mitsuo , year =. An introduction to. doi:10.1090/mmono/129 , publisher =

  55. [56]

    Tokyo Journal of Mathematics , author =

    Gevrey classes on compact real analytic. Tokyo Journal of Mathematics , author =. 1995 , mrnumber =. doi:10.3836/tjm/1270043467 , number =

  56. [57]

    Goldmann, Helmut , year =. Uniform

  57. [58]

    The Journal of Geometric Analysis , author =

    The. The Journal of Geometric Analysis , author =. 2024 , pages =. doi:10.1007/s12220-024-01596-8 , abstract =

  58. [59]

    Symplectic geometry and analytic hypo-ellipticity , volume =

    Treves, François , year =. Symplectic geometry and analytic hypo-ellipticity , volume =. doi:10.1090/pspum/065/1662756 , booktitle =

  59. [60]

    Analysis & PDE , author =

    Analytic hypoellipticity for sums of squares and the. Analysis & PDE , author =. 2017 , mrnumber =. doi:10.2140/apde.2017.10.1613 , number =

  60. [61]

    Journal of Functional Analysis , author =

    Analytic hypoellipticity for sums of squares and the. Journal of Functional Analysis , author =. 2018 , keywords =. doi:https://doi.org/10.1016/j.jfa.2018.03.009 , abstract =

  61. [62]

    Journal of Differential Equations , author =

    On a class of globally analytic hypoelliptic sums of squares , volume =. Journal of Differential Equations , author =. 2022 , keywords =. doi:https://doi.org/10.1016/j.jde.2022.04.013 , abstract =

  62. [63]

    Acta Mathematica , author =

    Hypoelliptic differential operators and nilpotent groups , volume =. Acta Mathematica , author =. 1976 , mrnumber =. doi:10.1007/BF02392419 , number =

  63. [64]

    A remark on the stability of. J. Pseudo-Differ. Oper. Appl. , author =. 2015 , mrnumber =. doi:10.1007/s11868-015-0118-8 , number =

  64. [65]

    and Cordaro, Paulo D

    Braun Rodrigues, N. and Cordaro, Paulo D. and Petronilho, Gerson , year =. Hypoellipticity for certain systems of complex vector fields , volume =. doi:10.1016/j.jde.2023.07.042 , journal =

  65. [66]

    The Journal of Fourier Analysis and Applications , author =

    Global. The Journal of Fourier Analysis and Applications , author =. 2020 , mrnumber =. doi:10.1007/s00041-020-09799-7 , number =

  66. [67]

    Complex Analysis and its Synergies , author =

    Analyticity in partial differential equations , volume =. Complex Analysis and its Synergies , author =. 2020 , mrnumber =. doi:10.1007/s40627-020-00052-x , number =

  67. [68]

    Mathematische Nachrichten , author =

    Globally hypoelliptic triangularizable systems of periodic pseudo-differential operators , volume =. Mathematische Nachrichten , author =. 2023 , mrnumber =

  68. [69]

    and Camus, J

    Bolley, P. and Camus, J. and Mattera, C. , year =. Analyticité microlocale et itérés d'opérateurs , booktitle =

  69. [70]

    Proceedings of the American Mathematical Society , author =

    Global analytic hypoellipticity and solvability of certain operators subject to group actions , volume =. Proceedings of the American Mathematical Society , author =. 2022 , mrnumber =. doi:10.1090/proc/16118 , number =

  70. [71]

    Annali di Matematica Pura ed Applicata

    Analytic and. Annali di Matematica Pura ed Applicata. Series IV , author =. 2018 , mrnumber =. doi:10.1007/s10231-017-0720-x , number =

  71. [72]

    sums of squares

    On the microlocal regularity of the analytic vectors for “sums of squares” of vector fields , volume =. Mathematische Zeitschrift , author =. 2022 , mrnumber =. doi:10.1007/s00209-022-03129-x , number =

  72. [73]

    Transactions of the American Mathematical Society , author =

    Global analytic regularity for sums of squares of vector fields , volume =. Transactions of the American Mathematical Society , author =. 1998 , mrnumber =. doi:10.1090/S0002-9947-98-01987-4 , number =

  73. [74]

    Mathematical Research Letters , author =

    Global analytic hypoellipticity of a class of degenerate elliptic operators on the torus , volume =. Mathematical Research Letters , author =. 1994 , mrnumber =. doi:10.4310/MRL.1994.v1.n4.a10 , number =

  74. [75]

    Annales Fennici Mathematici , author =

    Fourier analysis for. Annales Fennici Mathematici , author =. 2021 , mrnumber =. doi:10.5186/aasfm.2021.4655 , number =

  75. [76]

    Journal of Functional Analysis , author =

    The theorem of iterates for elliptic and non-elliptic operators , volume =. Journal of Functional Analysis , author =. 2022 , mrnumber =. doi:10.1016/j.jfa.2022.109554 , number =

  76. [77]

    Mathematische Nachrichten , author =

    Perturbations by lower order terms do not destroy the global hypoellipticity of certain systems of pseudodifferential operators defined on torus , volume =. Mathematische Nachrichten , author =. 2023 , mrnumber =

  77. [78]

    Jahnke, M. R. , year =. A equação de. doi:10.11606/D.45.2013.tde-07022014-205830 , school =

  78. [79]

    Jahnke, M. R. , year =. Top-degree solvability for hypocomplex structures and the cohomology of left-invariant involutive structures on compact. doi:10.11606/T.45.2019.tde-25032019-092801 , school =

  79. [80]

    Manuscripta Mathematica , author =

    Equivariant embeddings of strongly pseudoconvex. Manuscripta Mathematica , author =. 2022 , mrnumber =. doi:10.1007/s00229-021-01291-w , number =

  80. [81]

    Michigan Mathematical Journal , author =

    G-equivariant embedding theorems for. Michigan Mathematical Journal , author =. 2022 , mrnumber =. doi:10.1307/mmj/20205864 , number =

Showing first 80 references.