pith. machine review for the scientific record. sign in

arxiv: 2605.11141 · v1 · submitted 2026-05-11 · 🧮 math.DG

Recognition: 1 theorem link

· Lean Theorem

Contact Whirl Curves in Sasakian Lorentzian 3-Manifolds

Luis E. Portilla P. , Guerrero M. Hector
Authors on Pith no claims yet

Pith reviewed 2026-05-13 00:45 UTC · model grok-4.3

classification 🧮 math.DG
keywords contact whirl curvesSasakian manifoldsLorentzian geometryLegendre curvesFrenet curvestorsionmagnetic trajectoriesHeisenberg group
0
0 comments X

The pith

Every non-geodesic Legendre Frenet curve in a Sasakian Lorentzian 3-manifold is a contact whirl curve with constant torsion 1.

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

The paper introduces contact whirl curves to describe how a curve's adapted frame interacts with the Reeb vector field of a Lorentzian contact manifold. It derives a differential equation for the torsion of such curves in terms of Frenet invariants and contact data. In the Sasakian setting this equation forces every non-geodesic unit-speed Legendre curve to be a contact whirl curve, which immediately implies that its torsion is constantly equal to 1. The same rigidity appears when the curves are also magnetic trajectories of the canonical contact magnetic field. Explicit coordinate expressions and constructions by quadratures are given for the standard Sasakian structure on the Lorentzian Heisenberg group.

Core claim

In a three-dimensional Lorentzian Sasakian manifold, every non-geodesic Legendre Frenet curve is automatically a contact whirl curve and therefore satisfies τ = 1. The contact whirl condition is the requirement that the Reeb vector field satisfies a specific relation with the curve's Frenet frame; the Sasakian identities reduce the resulting torsion equation to the constant value 1. The same conclusion holds for any non-geodesic curve that is simultaneously a magnetic trajectory and a contact whirl curve.

What carries the argument

The contact whirl condition, which encodes the alignment of the curve's adapted frame with the ambient Reeb vector field through the contact structure.

If this is right

  • Non-geodesic Legendre curves have constant torsion equal to 1.
  • Any curve that is both magnetic and contact whirl must be Legendre.
  • Magnetic contact whirl curves in the Sasakian case obey the universal law τ = 1.
  • Coordinate expressions for the whirl condition allow explicit constructions, including non-Legendre examples built by quadratures.

Where Pith is reading between the lines

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

  • The result parallels Lancret-type rigidity for helices, suggesting contact geometry imposes comparable constraints on curve twisting.
  • The constructions in the Lorentzian Heisenberg group indicate that the same phenomena can be studied explicitly in other nilpotent or solvable contact manifolds.
  • The reduction to τ = 1 may extend to higher-dimensional Sasakian or K-contact settings when suitable Frenet-type frames are available.

Load-bearing premise

The ambient space is a three-dimensional Lorentzian Sasakian contact manifold and the curve is a unit-speed non-geodesic Frenet curve that is Legendre.

What would settle it

Exhibit a non-geodesic unit-speed Legendre Frenet curve in a Sasakian Lorentzian 3-manifold whose torsion is not constantly equal to 1.

read the original abstract

We introduce and study \emph{contact whirl curves} in three-dimensional Lorentzian contact manifolds, with emphasis on the Sasakian setting. This notion refines the concept of whirl curves by encoding the interaction between the adapted frame of a curve and the ambient contact structure through the Reeb vector field. For non-geodesic unit-speed contact whirl curves, we derive a differential equation governing the torsion in terms of the Frenet invariants and the contact data. In the Lorentzian Sasakian setting, this leads to rigidity phenomena of Lancret type. In particular, we prove that every non-geodesic Legendre Frenet curve is automatically a contact whirl curve, and consequently has constant torsion $\tau=1$. We also investigate the interaction between contact whirl curves and magnetic trajectories associated with the canonical contact magnetic field. We show that every non-geodesic curve which is simultaneously magnetic and contact whirl must be Legendre, and we obtain an explicit expression for its torsion in terms of the tensor $h=\frac12\mathcal L_\xi\Phi$. In the Sasakian case, this reduces to the universal law $\tau=1$. Finally, in the Lorentzian Heisenberg group endowed with its standard Sasakian structure, we derive a coordinate form of the whirl condition and use it to produce explicit examples, including a construction by quadratures of non-Legendre contact whirl curves and a horizontal helicoidal Legendre family.

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 / 3 minor

Summary. The paper introduces contact whirl curves in 3-dimensional Lorentzian contact manifolds, emphasizing the Sasakian setting. It derives a torsion differential equation for non-geodesic unit-speed contact whirl curves in terms of Frenet invariants and contact data. In the Lorentzian Sasakian case, it proves that every non-geodesic Legendre Frenet curve is automatically a contact whirl curve with constant torsion τ=1. It further shows that non-geodesic curves that are both magnetic and contact whirl must be Legendre, with torsion expressed via the tensor h=½ℒ_ξΦ (reducing to τ=1 when Sasakian). Explicit coordinate forms and examples are given in the Lorentzian Heisenberg group, including non-Legendre contact whirl curves constructed by quadratures and a horizontal helicoidal Legendre family.

Significance. If the central rigidity result holds, the work establishes a Lancret-type theorem in Sasakian Lorentzian 3-geometry that directly ties the Legendre condition to constant torsion without additional parameters. The magnetic-trajectory intersection and the explicit Heisenberg-group constructions (including quadratures for non-Legendre cases) supply concrete, falsifiable content that strengthens the contribution. The new notion of contact whirl curves refines existing curve classes in contact geometry and is supported by standard structure equations.

minor comments (3)
  1. [§2] §2 (preliminaries on contact whirl curves): the definition of the contact whirl condition should be stated as an explicit equation involving the adapted frame and the Reeb field ξ before the torsion ODE is derived, to make the subsequent specialization to the Sasakian case fully transparent.
  2. [§5] §5 (magnetic trajectories): when the torsion is expressed in terms of h, the paper should note whether the formula assumes a particular causal character for the curve, given that Lorentzian Frenet-Serret equations carry metric-signature signs.
  3. [§6] §6 (Heisenberg-group examples): the coordinate expressions for the non-Legendre contact whirl curves obtained by quadratures would benefit from at least one fully worked numerical instance or plot to illustrate the construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as the recommendation for minor revision. The referee's assessment correctly identifies the key rigidity results and explicit constructions in the Lorentzian Sasakian setting.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central claim—that every non-geodesic Legendre Frenet curve is automatically a contact whirl curve with constant torsion τ=1—follows directly from imposing the Legendre condition η(γ')=0 on the standard Sasakian structure equations together with the 3D Lorentzian Frenet-Serret formulas. The paper introduces the contact whirl notion as a new refinement and then derives the rigidity result as a theorem using only ambient contact identities (no parameter fitting, no self-citation load-bearing for the key step, and no renaming of known results). The derivation chain remains independent of the paper's own fitted values or prior self-referential assumptions, making the result externally verifiable from classical Sasakian geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the newly introduced definition of contact whirl curves together with the standard axioms of contact and Sasakian geometry in Lorentzian 3-manifolds. No numerical free parameters or data-fitting steps appear.

axioms (2)
  • domain assumption Standard axioms of contact structures and Sasakian Lorentzian metrics in dimension 3
    Invoked throughout to define the Reeb field, the tensor h, and the compatibility conditions used in the torsion derivations.
  • standard math Frenet-Serret frame equations for unit-speed curves in 3-manifolds
    Used to express the differential equation for torsion in terms of curvature and contact data.
invented entities (1)
  • Contact whirl curve no independent evidence
    purpose: A new class of curves that encodes interaction between the adapted frame and the Reeb vector field
    Introduced in the paper to refine ordinary whirl curves; no independent existence proof outside the definition is given.

pith-pipeline@v0.9.0 · 5555 in / 1454 out tokens · 51863 ms · 2026-05-13T00:45:13.039570+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Symmetry , volume =

    Lee, Ji-Eun , title =. Symmetry , volume =

    work page

  2. [2]

    Advances in Mathematics , volume =

    Baraglia, David and Hekmati, Pedram , title =. Advances in Mathematics , volume =

    work page

  3. [3]

    Donaldson, S. K. and Kronheimer, P. B. , title =

    work page

  4. [4]

    , title =

    Blair, David E. , title =

    work page

  5. [5]

    and Galicki, Krzysztof , title =

    Boyer, Charles P. and Galicki, Krzysztof , title =

    work page

  6. [6]

    Some (Anti-) Self Duality Solutions on 6 -Manifolds , journal =

    work page

  7. [7]

    and Galicki, Krzysztof , title =

    Boyer, Charles P. and Galicki, Krzysztof , title =. arXiv preprint , note =

    work page

  8. [8]

    Advances in Theoretical and Mathematical Physics , volume =

    Biswas, Indranil and Schumacher, Georg , title =. Advances in Theoretical and Mathematical Physics , volume =

    work page

  9. [9]

    Journal of Geometry and Physics , volume =

    Inoguchi, Jun-ichi , title =. Journal of Geometry and Physics , volume =

    work page

  10. [10]

    Colloquium Mathematicum , volume =

    Inoguchi, Jun-ichi , title =. Colloquium Mathematicum , volume =

    work page

  11. [11]

    Balkan Journal of Geometry and Its Applications , volume =

    Lee, Jaedong and Inoguchi, Jun-ichi , title =. Balkan Journal of Geometry and Its Applications , volume =

    work page

  12. [12]

    Central European Journal of Mathematics , volume =

    Inoguchi, Jun-ichi , title =. Central European Journal of Mathematics , volume =

    work page

  13. [13]

    Turkish Journal of Mathematics , volume =

    Camcı, Cetin , title =. Turkish Journal of Mathematics , volume =

    work page

  14. [14]

    Duggal, K. L. and Jin, D. H. , title =

    work page

  15. [15]

    Lancret-type results for a new family of curves in Minkowski 3-space , journal =

    Guerrero Mora, H. Lancret-type results for a new family of curves in Minkowski 3-space , journal =

    work page

  16. [16]

    , title =

    Boyer, Charles P. , title =. Bulletin of the Mathematical Society of the Sciences and Mathematics of Romania , volume =. 2009 , note =

    work page 2009

  17. [17]

    and Ehrlich, Paul E

    Beem, John K. and Ehrlich, Paul E. and Easley, Kevin L. , title =

    work page

  18. [18]

    and Koufogiorgos, T

    Blair, David E. and Koufogiorgos, T. and Papantoniou, B. J. , title =. Pacific Journal of Mathematics , volume =

    work page

  19. [19]

    Turkish Journal of Mathematics , volume =

    Izumiya, Shyuichi and Takeuchi, Nobuyuki , title =. Turkish Journal of Mathematics , volume =

    work page

  20. [20]

    , title =

    Lancret, M. , title =. M

    work page

  21. [21]

    Bulletin of the Australian Mathematical Society , volume =

    Cho, Jong Taek and Inoguchi, Jun-ichi and Lee, Ji-Eun , title =. Bulletin of the Australian Mathematical Society , volume =

    work page