Pith. sign in

REVIEW 5 minor 1 cited by

Sasaki structures on general contact manifolds

T0 review · 0 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every Riemannian metric on a contact manifold determines a canonical lift to the symplectic cover, and the contact manifold is Sasakian exactly when that lift is Kählerian.

desk verdict Grabowska–Grabowski–Mohseni give the first coherent Sasakian definition for non-coorientable contact manifolds, and the construction holds up; the only real dependency is a cited symplectic R^x-bundle equivalence that the Möbius example supports. read the letter →

arxiv 2412.16697 v4 pith:6E6H6VO3 submitted 2024-12-21 math.DG math-phmath.MPmath.SG

Katarzyna Grabowska , Janusz Grabowski , Rouzbeh Mohseni This is my paper · ORCID
classification math.DGmath-phmath.MPmath.SG MSC 53C2553D1053D0532V0553D35
keywords contactstructureSasakianmanifoldsymplecticR^x-bundleKählerianCRprincipalbundleproductnon-coorientable
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper argues that Sasakian geometry need not be tied to a global contact form. It shows that any contact manifold (M,C), coorientable or not, has a canonical symplectic cover P, a principal R^x-bundle equipped with a homogeneous symplectic form ω. Given any Riemannian metric g_M on M, the paper constructs a uniquely determined positively homogeneous metric \tilde g_M on P, called its Kählerianization. The contact manifold is called almost Sasakian exactly when (P,ω,\tilde g_M) is almost Kähler, and Sasakian when it is Kähler; for cooriented manifolds this recovers the classical definition. If correct, this extends Sasakian geometry to non-coorientable contact manifolds and gives a canonical product of Sasakian manifolds.

What carries the argument

The symplectic cover: for a contact manifold (M,C), the annihilator C^o ⊂ T^*M, minus the zero section, is a principal R^x-bundle P over M whose canonical symplectic form is 1-homogeneous, and the contact distribution is the projection of the kernel of the Liouville form θ = i_∇ ω. The second ingredient is positive homogeneity: a tensor is positively homogeneous of degree k when pullback by the R^x action scales it by |s|^k, which allows genuine Riemannian metrics on the R^x-bundle even though the symplectic form is odd under s→−s. The calibration s = g(∇,∇) (or, canonically, the norm on L^*) turns any metric g_M on the base into \tilde g_M = s((ds/s)^2 + g_M), and compatibility is checked through the almost complex structure J = (ω^♭)^{-1}∘g^♭.

What would settle it

On the non-trivializable contact manifold $J^{1}$B^* over the Möbius band described in Example 9.3, compute the Nijenhuis torsion of the canonical almost complex structure J on its symplectic cover T^*B^×; the paper asserts it vanishes, so a nonzero value would refute the integrability criterion. More generally, take any contact manifold (M,C) with a metric g_M for which the canonical lift is compatible, and check whether failure of the paired CR integrability condition (N_{Φ_C}=0) is accompanied by nonzero N_J; if they ever disagree, Theorem 10.2's equivalence is false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 9.1 and Definition 9.2: every Riemannian metric g_M on a contact manifold (M,C) determines a unique calibration s on the symplectic cover P, defined by the norm induced on L^* = (TM/C)^*, and hence a canonical positively homogeneous metric \tilde g_M = s((ds/s)^2 + g_M). Then (C,g_M) is an almost Sasakian structure if and only if (ω,\tilde g_M) makes P an almost Kählerian R^x-bundle, and a Sasakian structure if and only if the induced almost complex structure is integrable. The authors further characterize all homogeneous almost Kähler structures on symplectic covers: locally they are of the form g = s((ds/s + μ)^2 + |η|^2 + g_C), with μ vanishing on C and a paired almost CR structure on C, and integrability forces μ to be closed (zero when P is non-trivializable) and the paired CR structure to be integrable with the paired Reeb field Killing. In the cooriented case these formulas reduce to the classical cone characterization of Sasakian structures. The framework also produces a canonical Sasakian product, since products of Kählerian R^x-bundles are Kählerian.

Load-bearing premise

The construction rests on the cited theorem that every contact manifold corresponds, up to isomorphism, to a symplectic R^x-bundle; if that correspondence fails for non-coorientable contact structures, the proposed definition would not apply to the manifolds it is meant to cover.

Editorial extensions

If this is right

  • Non-coorientable contact manifolds, such as first jet bundles of non-trivializable line bundles, now have a well-defined Sasakian geometry; the paper works out the Möbius-band example explicitly.
  • For cooriented manifolds with a chosen contact form, the new definition is equivalent to the classical one, so existing Sasakian geometry is preserved rather than replaced.
  • A Riemannian metric on a contact manifold is almost Sasakian exactly when it is a Levi metric built from a paired almost CR structure on the contact distribution.
  • The Sasakian product of two Sasakian manifolds is canonically Sasakian, removing the ad hoc choice of contact form in earlier contact-product constructions.
  • The Kählerianization of (M,C,g_M) is unique, so checking whether a metric is Sasakian reduces to checking integrability of one canonical almost complex structure on a fixed bundle.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One implicit consequence is that the category of Sasakian manifolds is closed under products once morphisms are taken to respect the symplectic-cover structure; classical cooriented-only formulations did not have a natural product.
  • The paired CR structure language suggests an extension of CR geometry to non-orientable distributions, where a complex structure on the contact subbundle is defined only up to an overall sign.
  • The local freedom in μ (a 1-form vanishing on C) could be tested as a source of genuinely new almost Sasakian metrics on a fixed contact manifold, with integrability selecting the closed ones.
  • A natural next test is whether the canonical Sasakian product preserves curvature features, for instance whether the product of two Einstein-Sasakian metrics is again Einstein-Sasakian; the paper does not address this.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proposes an extension of Sasakian geometry from cooriented contact manifolds to arbitrary contact manifolds understood as contact distributions. The key idea is to work on the symplectic R^×-bundle cover (P,ω) associated with a contact manifold (M,C). The authors classify positively homogeneous Riemannian metrics on such covers that are compatible with ω (Theorems 8.8 and 8.11), characterize the integrable case (Theorem 8.9), exhibit a canonical lift of any Riemannian metric g_M on M to a positively homogeneous metric fg_M on P (Theorem 9.1), and then define (almost) Sasakian structures by requiring (P,ω,fg_M) to be (almost) Kähler (Definition 9.2). They also define a Sasakian product of Sasakian manifolds using products of Kählerian R^×-bundles (Theorem 11.3), and illustrate the theory on the Möbius band and on a non-coorientable jet bundle.

Significance. If the main results hold, this gives a natural, choice-free extension of Sasakian geometry to non-coorientable contact manifolds, recovering the classical cooriented definition as a special case. The local classification in Theorems 8.8 and 8.9 is proved in detail, and the canonical lift in Theorem 9.1 is parameter-free, which are genuine strengths. The global paired formulation of Theorem 8.11 and the Möbius-band example provide concrete evidence that the construction applies precisely in the non-trivializable cases the paper targets. The product construction is also conceptually appealing and appears to be correct in its theorem form, although one of its explicit examples contains a computational error (see minor comments). The main external input, Theorem 3.6 on the equivalence between contact manifolds and symplectic R^×-bundles, is cited from [20]; the paper gives enough of the construction around it to make the dependence transparent, and the Möbius example supports the claimed equivalence, so I do not see a circularity or a demonstrated failure there.

minor comments (5)
  1. [Section 11, Example 11.4] With the parametrization (s1,s2)=(ts/(t+1), s/(t+1)), substitution into equation (49) gives g_M = dt^2/[t(t+1)^2] + t/(t+1) g_M1 + 1/(t+1) g_M2, not dt^2/(t+1)^2 + t/(t+1) g_M1 + 1/(t+1) g_M2 as displayed. Consequently the subsequent formulas for g_C and φC are written for a different metric; the example should be corrected and the paired CR structure recomputed. This is a local error in an illustration and does not affect the proof of Theorem 11.3.
  2. [Section 3, Theorem 3.6] The canonical equivalence between contact manifolds and symplectic R^×-bundles is quoted from [20] rather than proved. The surrounding text already sketches the construction via the Liouville 1-form and the embedding into T*M, so the dependence is not circular; nevertheless, a short self-contained proof or a more precise statement of the functorial equivalence would make Definition 9.2 easier to verify by the reader.
  3. [Section 11, Theorem 11.3] In the statement of Theorem 11.3, the notation 'ω1 ⊗ ω2' should be 'ω1 ⊕ ω2', since the product symplectic form on P1×!P2 is defined as the direct sum, not a tensor product.
  4. [Section 11, first paragraph] The sentence 'The smooth manifold M1×!M2 is actually an R^×-principal bundle over M1×M2' is confusing because M1×!M2 has already been introduced as the base of the diagonal R^×-bundle P1×!P2. Please clarify that M1×!M2 carries a residual R^×-bundle structure over M1×M2, while the diagonal action makes P1×P2 a principal R^×-bundle over M1×!M2.
  5. [Section 8, Theorem 8.11] In the statement of Theorem 8.11, the phrase 'dµ vanishes on |ξ|' is terse; since µ is a 1-form on M, the condition means i_{|ξ|} dµ = 0. Stating this explicitly would improve readability, especially because the local model has µ = a η with constant a in the integrable case.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the new Sasakian definition is an independent construction; the cited contact/symplectic equivalence is a framework input, not a fitted prediction.

full rationale

The derivation chain runs from the contact-to-symplectic-R^x-bundle correspondence (Theorem 3.6) through the canonical metric lift (Theorem 9.1) to the compatibility and integrability characterizations (Theorems 8.8, 8.9, 8.11). The only same-author citation in this chain is Theorem 3.6, attributed to [20]; however, the paper itself sketches the canonical representative P=(C^o)^x inside T^*M, and the contact/symplectic correspondence is a standard, externally established fact rather than a claim manufactured for this paper. The canonical lift fg_M = s((ds/s)^2 + bg_M) is uniquely determined by g_M through the norm on L=TM/C and contains no fitted parameter; Definition 9.2 then tests compatibility with the fixed homogeneous symplectic form, so the Sasakian property is not an input to the construction. The classical cooriented Sasakian condition is not presupposed: it is recovered as a special case from Theorem 8.9. The Möbius-band example is a genuine nontrivializable test, and the product construction follows from known products of Kähler structures. The cited Theorem 3.6 is load-bearing in the sense that the paper's objects P come from it, but a potential failure of that correspondence would be a correctness/verification concern, not a circular reduction of the paper's new definition to its own conclusion.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

No empirical fitting is involved. The function a(x) appearing in Theorem 8.8 is a mathematical degree of freedom parameterizing compatible homogeneous metrics on trivial bundles, not a fitted constant. Axioms are standard background results and the prior symplectic R^x-bundle formalism. No new physical entities are postulated; paired structures are mathematical constructs with explicit examples.

assumptions (4)
  • domain assumption Equivalence of contact manifolds and symplectic R^x-bundles (Theorem 3.6).
    Invoked as established from [20] and used as foundation for Definitions 8.3, 9.2 and Theorems 8.11, 9.1; not reproved in this paper.
  • standard math Every vector bundle admits a VB-metric, so calibrations exist on every R^x-bundle.
    Used in Section 5 and Theorem 9.1 to construct the canonical lift; standard in differential geometry.
  • standard math Newlander-Nirenberg theorem: an almost complex structure is integrable if and only if its Nijenhuis torsion vanishes.
    Used in Example 8.7 and Theorem 8.9 to identify Kählerian structures with vanishing N_J.
  • standard math Product of Kähler manifolds is Kähler; (R^x x R^x)/R^x is isomorphic to R^x.
    Used in Section 11 to define the Sasakian product and to show the product metric descends to the base contact manifold.
invented entities (1)
  • Paired Levi/CR structure (C, |phi_C|) and paired contact form |eta| independent evidence
    purpose: Encodes the sign ambiguity of local contact forms and complex structures on C when the contact manifold is not coorientable, allowing global theorems such as Theorem 8.11.
    Not an empirical entity but a mathematical construct. It is grounded in the explicit Möbius-band example (Sections 8 and 9), in the prior paired-section formalism [15,17], and it reduces to an ordinary CR structure in coorientable charts.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sasaki structures on general contact manifolds." pith.science (2026). https://pith.science/paper/6E6H6VO3

@misc{pith2026241216697,
  author       = {Pith},
  title        = {Pith review of: Sasaki structures on general contact manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6E6H6VO3}},
  note         = {Machine review of arXiv:2412.16697}
}
abstract

We extend the notion of a Sasakian structure from the classical setting of a cooriented contact manifold, where it is given by a compatibility between a contact form $\eta$ and a Riemannian metric $g_M$ on $M$, to the case of an arbitrary contact structure understood as a contact distribution. In the cooriented case, this compatibility can be equivalently expressed by the fact that the symplectic form $\omega=\mathrm{d}(s^2\eta)$ and the cone metric $g(x,s)=\mathrm{d} s\otimes\mathrm{d} s+s^2g_M(x)$ define a K\"ahler structure on the cone $\mathcal{M}=M\times\mathbb{R}_+$. Since general contact structures admit canonical realizations as homogeneous symplectic structures $\omega$ on principal $\mathbb{R}^\times$-bundles $P\to M$, it is natural to interpret Sasakian geometry in full generality in terms of suitable homogeneous K\"ahler structures on $P$. We characterize homogeneous K\"ahler structures on symplectizations $(P,\omega)$ associated with arbitrary contact structures on $M$, and show that they canonically determine a two-sheeted covering $\tilde M$ of $M$ equipped with a contact form. This reduces the problem to the cooriented case and leads to a notion of a generalized Sasakian structure on $M$ associated with a homogeneous K\"ahler structure on $(P,\omega)$. Moreover, since products of K\"ahler manifolds are again K\"ahler, our framework naturally yields a concept of a product of Sasakian manifolds. The whole constructions are intrinsic and conceptual, avoiding any ad hoc choices.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On Homogeneous K\"ahler Manifolds

    math.DG 2026-08 conditional novelty 6.0 of 10

    Homogeneous Kähler structures on principal R^×-bundles reduce to Sasakian structures exactly when the Euler vector field is pre-geodesic and the line bundle is oriented, and the same dictionary covers co-Kähler struct...

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 1 Pith paper

  1. [20]

    Grabowski, Graded contact manifolds and contact Courant algebroids,J

    J. Grabowski, Graded contact manifolds and contact Courant algebroids,J. Geom. Phys. 68(2011), 27–58

    work page 2011

  2. [1]

    V. I. Arnold, Mathematical Methods of Classical Mechanics,Graduate Texts in Mathe- matics60, Springer-Verlag, New York, 1989

    work page 1989

  3. [2]

    D. E. Blair, On the non-existence of flat contact metric structures,Tohoku Math. J.28 (1976), 373–379

    work page 1976

  4. [3]

    D. E. Blair, Riemannian geometry of contact and symplectic manifolds,Progr. Math. 203, Birkh¨ auser Boston, Ltd., Boston, MA, 2010

    work page 2010

  5. [4]

    Ch. P. Boyer, K. Galicki, L. Ornea, Constructions in Sasakian geometry,Math. Z.257 (2007), 907–924

    work page 2007

  6. [5]

    Ch. P. Boyer, K. Galicki, Sasakian geometry,Oxford Math. Monogr., Oxford University Press, Oxford, 2008

    work page 2008

  7. [6]

    W. M. Boothby, H. C. Wang, On contact manifolds,Ann. of Math.,68(1958), 721–734

    work page 1958

  8. [7]

    A. J. Bruce, K. Grabowska, J. Grabowski, Remarks on contact and Jacobi geometry, SIGMA Symmetry Integrability Geom. Methods Appl.13(2017), Paper No. 059, 22 pp

    work page 2017

Show all 41 references
  1. [8]

    da Nicola, and I

    B., Cappelletti Montana, A. da Nicola, and I. Yudin, Hard Lefschetz theorem for Sasakian manifolds,J. Differential Geom.101(2015), 47–66. 32

    2015

  2. [9]

    Geiges, An introduction to contact topology,Cambridge Stud

    H. Geiges, An introduction to contact topology,Cambridge Stud. Adv. Math.109, Cam- bridge University Press, Cambridge, 2008

    2008

  3. [10]

    Grabowska, J

    K. Grabowska, J. Grabowski, A novel approach to contact Hamiltonians and contact Hamilton-Jacobi Theory.J. Phys. A55(2022), 435204 (34pp)

    2022

  4. [11]

    Grabowska, J

    K. Grabowska, J. Grabowski, Reductions: precontact versus presymplectic,Ann. Mat. Pura Appl.202(2023), 2803–2839

    2023

  5. [12]

    Grabowska, J

    K. Grabowska, J. Grabowski, Contact geometric mechanics: the Tulczyjew triple,Adv. Theor. Math. Phys.28(2024), 599–654

    2024

  6. [13]

    Grabowska, J

    K. Grabowska, J. Grabowski, The regularity and products in contact geometry, arXiv:2412.20491, to apper inAnn. Mat. Pura Appl

    arXiv

  7. [14]

    Grabowska, J

    K. Grabowska, J. Grabowski, M. Ku´ s, and G. Marmo. Contactifications: a Lagrangian description of compact Hamiltonian systems,J. Phys. A57(2024), 395204 (31pp)

    2024

  8. [15]

    Grabowski, Modular classes of skew algebroid relations,Transform

    J. Grabowski, Modular classes of skew algebroid relations,Transform. Groups17(2012), 989–1010

    2012

  9. [16]

    Grabowski, M

    J. Grabowski, M. Ku´ s, G. Marmo, Geometry of quantum systems: density states and entanglement,J. Phys. A38(2005), 10217–10244

    2005

  10. [17]

    Grabowski, G

    J. Grabowski, G. Marmo, P. W. Michor. Homology and modular classes of Lie algebroids, Ann. Inst. Fourier.56(2006), 69–83

    2006

  11. [18]

    Grabowski, M

    J. Grabowski, M. Rotkiewicz, Higher vector bundles and multi-graded symplectic mani- folds,J. Geom. Phys.59(2009), 1285–1305

    2009

  12. [19]

    Grabowski, M

    J. Grabowski, M. Rotkiewicz, Graded bundles and homogeneity structures,J. Geom. Phys.62(2012), 21–36

    2012

  13. [21]

    J. W. Gray, Some global properties of contact structures,Annals of Mathematics69 (1959), 421–450

    1959

  14. [22]

    Greenfield, Cauchy-Riemann equations in several variables,Ann

    S. Greenfield, Cauchy-Riemann equations in several variables,Ann. Sc. norm. super. Pisa - Cl. sci.22(1968), 275–314

    1968

  15. [23]

    Ianus, Sulle variet´ a di Cauchy-Rieman,Rend

    S. Ianus, Sulle variet´ a di Cauchy-Rieman,Rend. Accad. Sci. Fis. Mat. Napoli, XXXIX (1972), 191–195

    1972

  16. [24]

    Ib´ a˜ nez, M

    R. Ib´ a˜ nez, M. de Le´ on, J. C. Marrero, D. Mart ´ ın de Diego, Co-isotropic and Legendre- Lagrangian submanifolds and conformal Jacobi morphisms,J. Phys. A30(1997), 5427– 5444

    1997

  17. [25]

    A. A. Kirillov, Local Lie algebras,Russian Math. Surveys31(1976), no. 4, 55–75

    1976

  18. [26]

    Lie, Theorie der Transformationsgruppen Abschn

    S. Lie, Theorie der Transformationsgruppen Abschn. 2, Leipzig: Teubner, 1890

  19. [27]

    C. M. Marle, On Jacobi manifolds and Jacobi bundles, in Symplectic geometry, groupoids, and integrable systems (Berkeley, CA, 1989), 227–246,Math. Sci. Res. Inst. Publ.20, Springer, New York, 1991. 33

    1989

  20. [28]

    Math.65(1957), 391–404

    A., Newlander, L., Nirenberg, Complex Analytic Coordinates in Almost Complex Mani- folds,Ann. Math.65(1957), 391–404

    1957

  21. [29]

    Ornea, M

    L. Ornea, M. Verbitsky, Sasakian structures on CR-manifolds,Geom. Dedicata125 (2007), 159–173

    2007

  22. [30]

    Ornea, M

    L. Ornea, M. Verbitsky, Principles of locally conformally K¨ ahler geometry, Birkh¨ auser/Springer, Cham, 2024

    2024

  23. [31]

    Sasaki, Y

    S. Sasaki, Y. Hatakeyama, On differentiable manifolds with certain structures which are closely related to almost contact structure. II,Tohoku Mathematical Journal, Second Series13(1961), no. 2, 281–294

    1961

  24. [32]

    Schnitzer, A

    J. Schnitzer, A. G. Tortorella, Weak dual pairs in Dirac–Jacobi geometryCommunications in Contemporary Mathematics25, no. 08 (2023), 2250035

    2023

  25. [33]

    Tanno, Variational Problems on Contact Riemannian Manifolds,Trans

    S. Tanno, Variational Problems on Contact Riemannian Manifolds,Trans. Amer. Math. Soc.314(1989), 349–79

    1989

  26. [34]

    Tashiro, On contact structure of hypersurfaces in complex manifolds I,Tohoku Math

    Y. Tashiro, On contact structure of hypersurfaces in complex manifolds I,Tohoku Math. J.15(1963), 62-78

    1963

  27. [35]

    A. G. Tortorella, L. Vitagliano, O. Yudilevich, Homogeneous G-structures,Ann. Mat. Pura Appl.(4)199(2020), 2357–2380

    2020

  28. [36]

    Vaisman, On locally conformal almost K¨ ahler manifolds,Israel J

    I. Vaisman, On locally conformal almost K¨ ahler manifolds,Israel J. Math.24(1976), 338–351

    1976

  29. [37]

    Vaisman, Conformal changes of almost contact metric structures, In: Artzy, R., Vaisman, I

    I. Vaisman, Conformal changes of almost contact metric structures, In: Artzy, R., Vaisman, I. (eds) Geometry and Differential Geometry. Lecture Notes in Mathematics, vol 792.Springer, Berlin, Heidelberg, 1980

    1980

  30. [38]

    Vitagliano, Dirac-Jacobi bundles,J

    L. Vitagliano, Dirac-Jacobi bundles,J. Symplectic Geom.16(2018), 485–561

    2018

  31. [39]

    Vitagliano, Products in Jacobi Geometry, conference talk, Rio do Janeiro, 2019

    L. Vitagliano, Products in Jacobi Geometry, conference talk, Rio do Janeiro, 2019

    2019

  32. [40]

    McKenzie Y. Wang, W. Ziller, Einstein metrics on principal torus bundles,J. Differential Geom.31(1990), 215–248

    1990

  33. [41]

    Zapata-Carratala, Jacobi Geometry and Hamiltonian Mechanics: the Unit-Free Ap- proach,Int

    C. Zapata-Carratala, Jacobi Geometry and Hamiltonian Mechanics: the Unit-Free Ap- proach,Int. J. Geom. Methods Mod. Phys.17(2020), 2030005. 14 Declarations Funding:Research of KG and JG funded by the National Science Centre (Poland) within the project WEA VE-UNISONO, No. 2023/...

    2020

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.