arxiv: 2604.25713 · v1 · submitted 2026-04-28 · 🧮 math.GT · math.CV· math.DG

Recognition: unknown

CR-invariant energy of Legendrian knots in the Heisenberg group

Jun O'Hara, Yoshihiko Matsumoto

Pith reviewed 2026-05-07 14:13 UTC · model grok-4.3

classification 🧮 math.GT math.CVmath.DG

keywords Legendrian knotsHeisenberg groupCR-invariant energyR-circlesKoranyi distanceknot energyDoyle-Schramm formula

0 comments

The pith

A CR-invariant energy for Legendrian knots in the Heisenberg group is minimized precisely by the R-circles.

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

The paper defines an energy functional for Legendrian knots in the Heisenberg group by regularizing the divergent integral of an order -2 potential with respect to the Koranyi distance. This regularization is chosen so the resulting energy is invariant under the action of PU(2,1). The authors prove that the minimizers are exactly the R-circles and obtain a Heisenberg version of the Doyle-Schramm cosine formula. They further rewrite the energy integrand as a complex-valued 2-form on the complement of the diagonal in the product space H times H. A reader would care because the construction supplies a sub-Riemannian analog of classical Möbius-invariant knot energies with built-in contact and CR symmetry.

Core claim

We introduce an energy functional for Legendrian knots in the 3-dimensional Heisenberg group H, obtained by regularizing a divergent integral of the potential of order -2 with respect to the Koranyi distance on H. This choice of distance makes the energy invariant under PU(2,1). We characterize the R-circles as the minimizers of the energy, establish a Heisenberg analog of the Doyle-Schramm cosine formula, and show that the energy integrand admits an expression in terms of a complex-valued 2-form on the complement of the diagonal in H times H.

What carries the argument

The regularized energy functional obtained from the order -2 potential integral with the Koranyi distance, which enforces CR-invariance and selects R-circles as unique minimizers.

If this is right

R-circles achieve the global minimum energy among all Legendrian knots.
The energy is unchanged under any transformation belonging to PU(2,1).
A cosine formula for the energy holds that is formally analogous to the classical Doyle-Schramm identity.
The energy density equals the exterior derivative of a complex-valued 2-form away from the diagonal in H times H.

Where Pith is reading between the lines

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

The same regularization technique could be tested on Legendrian knots in other contact 3-manifolds by selecting a suitable homogeneous distance.
The 2-form expression may allow the energy to be recast in terms of currents or linking integrals in the contact setting.
Because R-circles are the only minimizers, the energy difference between a given knot and the nearest R-circle might serve as a quantitative measure of CR complexity.

Load-bearing premise

Regularizing the divergent order -2 integral using the Koranyi distance produces a finite energy that is invariant under PU(2,1) and minimized exactly by the R-circles.

What would settle it

Explicit computation of the energy for any Legendrian knot that is not an R-circle and direct comparison showing its value is strictly smaller than the energy of any R-circle would disprove the minimizer characterization.

read the original abstract

We introduce an energy functional for Legendrian knots in the 3-dimensional Heisenberg group $\mathcal{H}$, which serves as a sub-Riemannian analog of the M\"obius invariant knot energy in Euclidean 3-space introduced by the second author. The energy is obtained by regularizing a divergent integral of the potential of order -2 with respect to the Kor\'anyi distance on $\mathcal{H}$; this choice of distance is essential for the energy to be invariant under the action of PU(2,1). We characterize $\mathbb{R}$-circles in $\mathcal{H}$ as the minimizers of the energy, and establish a Heisenberg analog of the Doyle--Schramm cosine formula. We also show that the energy integrand admits an expression in terms of a complex-valued 2-form on the complement of the diagonal in $\mathcal{H}\times\mathcal{H}$, providing a partial analog of the infinitesimal cross ratio interpretation known from the classical setting.

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.

Desk Editor's Note private letter to a colleague

This paper builds a CR-invariant energy for Legendrian knots in the Heisenberg group by regularizing the Koranyi-distance integral and proves that R-circles minimize it.

read the letter

The punchline is that this paper gives a sub-Riemannian analog of the Möbius knot energy for Legendrian knots in the Heisenberg group, using the Koranyi distance to get invariance under PU(2,1), and proves that R-circles are the minimizers. They regularize the divergent integral and obtain a finite functional. They characterize the minimizers as the R-circles and derive a Heisenberg version of the Doyle-Schramm cosine formula. They also express the energy integrand as a complex-valued 2-form away from the diagonal in H times H. This is new work. The energy functional, the invariance, the minimizer result, the cosine formula, and the 2-form expression are presented as fresh constructions not in the prior literature. The paper does well in making the connection to the Euclidean case explicit and in highlighting why the Koranyi distance is the right one for the invariance to hold. The soft spot is the regularization. Since the potential is order -2, the integral diverges, and the way they extract the finite part must not break the invariance. The abstract says the distance choice is essential, but one has to verify that the regularization scheme itself is equivariant under the group action. If it is not, the energy might pick up non-invariant terms. This is the part that needs the most scrutiny in the proofs. The paper is for people working on geometric knot theory, especially those interested in contact or CR structures. A reader who knows O'Hara's Möbius energy will see the parallels immediately and can assess how well the analogy holds. I would not cite this in my own work in the next year because it is quite specialized, but it is worth reading if you follow knot energies. It deserves a serious referee because the results are concrete and the setup is clear enough for experts to check the details.

Referee Report

1 major / 2 minor

Summary. The manuscript introduces a CR-invariant energy functional for Legendrian knots in the 3-dimensional Heisenberg group H by regularizing a divergent integral of an order -2 potential with respect to the Korányi distance. The authors claim that this choice of distance ensures invariance under PU(2,1), characterize R-circles as the energy minimizers, establish a Heisenberg analog of the Doyle-Schramm cosine formula, and express the energy integrand via a complex-valued 2-form on H×H minus the diagonal.

Significance. If the regularization is shown to yield a rigorously defined, PU(2,1)-invariant functional whose minimizers are precisely the R-circles, the work would supply a sub-Riemannian counterpart to the Möbius energy, with potential applications to Legendrian knot theory and CR geometry. The cosine-formula analog and 2-form expression would further strengthen the parallel to the Euclidean theory.

major comments (1)

[Definition of the energy functional and invariance proof (likely §2–3)] The central claim that the regularized energy is CR-invariant (and hence that R-circles are its minimizers) rests on the assertion that the Korányi distance is essential for invariance. However, the manuscript does not exhibit an explicit equivariant regularization scheme (e.g., a cutoff or principal-value prescription whose subtracted terms transform correctly under PU(2,1)). Without this verification, the finite part after regularization may acquire non-invariant contributions, undermining the characterization of minimizers. This issue is load-bearing for the main theorem.

minor comments (2)

[Abstract and §1] The abstract and introduction would benefit from a brief statement of the precise regularization procedure (cutoff function, principal-value prescription, or subtracted counterterm) before the invariance claim is asserted.
[Preliminaries] Notation for the Heisenberg group operations and the Korányi distance should be fixed consistently from the first appearance; a short table of symbols would aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for pinpointing the need for a more explicit treatment of the regularization scheme to establish CR-invariance. We address this central concern below and will revise the paper accordingly.

read point-by-point responses

Referee: The central claim that the regularized energy is CR-invariant (and hence that R-circles are its minimizers) rests on the assertion that the Korányi distance is essential for invariance. However, the manuscript does not exhibit an explicit equivariant regularization scheme (e.g., a cutoff or principal-value prescription whose subtracted terms transform correctly under PU(2,1)). Without this verification, the finite part after regularization may acquire non-invariant contributions, undermining the characterization of minimizers. This issue is load-bearing for the main theorem.

Authors: We agree that the current presentation does not supply a fully explicit verification of equivariance for the regularization procedure. The manuscript relies on the PU(2,1)-invariance of the Korányi distance to argue that the regularized energy is CR-invariant, but it stops short of detailing how a concrete cutoff function or principal-value prescription transforms so that divergent terms cancel in an equivariant manner. In the revised manuscript we will insert a new subsection (likely in §2) that defines the regularization explicitly—specifying the cutoff radius in the Korányi metric and the subtracted counterterms—and then computes their transformation law under the action of PU(2,1). This computation will confirm that the finite remainder is invariant, thereby removing any ambiguity about non-invariant contributions and reinforcing the minimality of R-circles. revision: yes

Circularity Check

0 steps flagged

No circularity: energy defined via external regularization on standard Koranyi distance, independent of fitted inputs or self-citation chains

full rationale

The derivation begins from the standard Koranyi distance on the Heisenberg group and regularizes a divergent order -2 integral to obtain a finite functional, explicitly motivated by invariance under PU(2,1) and as an analog to prior Euclidean work by one author. No equations reduce the new energy or its minimizers (R-circles) back to a fitted parameter, self-defined quantity, or load-bearing self-citation; the cosine formula and 2-form expression are presented as derived consequences rather than tautological renamings. The construction is self-contained against external sub-Riemannian benchmarks, with the distance choice serving as an independent geometric input rather than an output of the energy itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on standard facts from sub-Riemannian geometry and contact geometry that are not derived here. The regularization step introduces an implicit choice of cutoff whose effect on the final energy is not quantified in the abstract.

axioms (2)

domain assumption The Koranyi distance is the appropriate metric for obtaining PU(2,1)-invariance of the regularized integral.
Stated explicitly in the abstract as 'this choice of distance is essential'.
ad hoc to paper The divergent integral of the order -2 potential admits a regularization that produces a finite, well-defined energy functional.
The regularization procedure itself is not detailed in the abstract.

invented entities (1)

CR-invariant energy functional for Legendrian knots no independent evidence
purpose: To serve as a sub-Riemannian analog of the Möbius invariant knot energy
Newly defined in the paper; no independent existence proof outside the construction is given in the abstract.

pith-pipeline@v0.9.0 · 5461 in / 1649 out tokens · 49846 ms · 2026-05-07T14:13:26.094069+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references

[1]

Brylinski, The beta function of a knot,Internat

J.-L. Brylinski, The beta function of a knot,Internat. J. Math.10(1999), no. 4, 415–423

1999
[2]

Capogna, D

L. Capogna, D. Danielli, S. D. Pauls, and J. T. Tyson,An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem, Progress in Mathematics vol. 259, Birkh¨ auser Verlag, Basel, 2007

2007
[3]

G. B. Folland,The Heisenberg Group---A Survey, American Mathematical Society Colloquium Publications vol. 68, American Mathematical Society, Providence, RI, 2025

2025
[4]

M. H. Freedman, Z.-X. He, and Z. Wang, M¨ obius energy of knots and unknots,Ann. of Math. (2)139(1994), no. 1, 1–50. CR-INVARIANT ENERGY OF LEGENDRIAN KNOTS IN THE HEISENBERG GROUP 19

1994
[5]

W. M. Goldman,Complex Hyperbolic Geometry, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1999. Oxford Science Publications

1999
[6]

Kor´ anyi and H

A. Kor´ anyi and H. M. Reimann, The complex cross ratio on the Heisenberg group,Enseign. Math. (2)33 (1987), no. 3-4, 291–300

1987
[7]

Langevin and J

R. Langevin and J. O’Hara, Conformally invariant energies of knots,J. Inst. Math. Jussieu4(2005), no. 2, 219–280

2005
[8]

Nakauchi, A remark on O’Hara’s energy of knots,Proc

N. Nakauchi, A remark on O’Hara’s energy of knots,Proc. Amer. Math. Soc.118(1993), no. 1, 293–296

1993
[9]

O’Hara, Energy of a knot,Topology30(1991), no

J. O’Hara, Energy of a knot,Topology30(1991), no. 2, 241–247

1991
[10]

33, World Scientific Publishing Co., Inc., River Edge, NJ, 2003

,Energy of Knots and Conformal Geometry, Series on Knots and Everything vol. 33, World Scientific Publishing Co., Inc., River Edge, NJ, 2003

2003
[11]

O’Hara and G

J. O’Hara and G. Solanes, Regularized Riesz energies of submanifolds,Math. Nachr.291(2018), no. 8-9, 1356–1373. Department of Mathematics, Graduate School of Science, The University of Osaka, Toyonaka, Osaka 560-0043, Japan Email address:matsumoto.yoshihiko.sci@osaka-u.ac.jp Department of Mathematics and Informatics, Chiba University, Inage, Chiba 263-852...

2018