pith. sign in

arxiv: 2011.01800 · v8 · submitted 2020-11-03 · 🧮 math.DG

The Geometry of Loop Spaces III: Isometry Groups of Contact Manifolds

Satoshi Egi , Yoshiaki Maeda , Steven Rosenberg This is my paper

Pith reviewed 2026-05-24 14:29 UTC · model grok-4.3

classification 🧮 math.DG
keywords contact manifoldsloop spacesisometry groupsWodzicki formsChern-Simons formscircle bundlessymplectic manifolds
0
0 comments X

The pith

Wodzicki-Chern-Simons forms on the loop space of a circle bundle detect that the isometry group has infinite fundamental group for large Chern class.

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

The paper constructs Wodzicki-Chern-Simons forms on the loop space LM_p of a contact manifold M_p that is a circle bundle over a 4n-dimensional symplectic manifold with first Chern class p times the symplectic class. These forms are used to show that the fundamental group of the isometry group of a compatible metric is infinite once |p| is large enough. A reader would care because the construction supplies the first high-dimensional examples of nonvanishing Wodzicki-Pontryagin forms and links loop-space characteristic classes directly to the topology of isometry groups of contact manifolds.

Core claim

For M_p a circle bundle with first Chern class p[ω] over a closed integral symplectic 4n-manifold, and for a metric g on M_p compatible with both the symplectic structure and the circle fibers, the Wodzicki-Chern-Simons forms on LM_p are non-trivial for |p| sufficiently large; they therefore prove that π₁(Isom(M_p,g)) is infinite. The same forms supply the first high-dimensional examples of non-vanishing Wodzicki-Pontryagin classes.

What carries the argument

Wodzicki-Chern-Simons forms on the loop space LM_p, which integrate over loops to produce non-trivial elements in the cohomology of the isometry group.

If this is right

  • The isometry group of M_p contains a circle factor generated by the detected loop for each large p.
  • The construction works for any closed integral symplectic base of dimension 4n.
  • Wodzicki-Pontryagin forms are non-zero on the loop space of these contact manifolds in every dimension 4n+1 with n large.
  • The method produces infinite families of contact manifolds whose isometry groups are not discrete.

Where Pith is reading between the lines

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

  • The same loop-space forms might detect higher homotopy groups of the isometry group.
  • The technique could be applied to other circle bundles or to more general contact structures with closed Reeb orbits.
  • Non-vanishing of these forms may impose new constraints on the possible diffeomorphism types of high-dimensional contact manifolds.

Load-bearing premise

A metric exists on the circle bundle that is simultaneously compatible with the symplectic form on the base and with the geometry of the circle fibers.

What would settle it

An explicit calculation showing that the relevant Wodzicki-Chern-Simons form vanishes on LM_p for some sequence of arbitrarily large |p|.

read the original abstract

Let $M_p$ be a circle bundle with first Chern class $p[\omega]$ over a closed $4n$-dimensional integral symplectic manifold $(\overline{M}, \omega)$. Equivalently, $M_p$ is a closed contact $(4n+1)$-manifold whose Reeb orbits are all closed and have the same period. For a metric $g$ on $M_p$ compatible with the symplectic structure and the geometry of the circle fiber, we use Wodzicki-Chern-Simons forms on the loop space $LM_p$ to prove that $\pi_1({\rm Isom}(M_p,g))$ is infinite for $|p| \gg 0.$ We also give the first high dimensional examples of nonvanishing Wodzicki-Pontryagin forms.

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

1 major / 0 minor

Summary. The paper claims that for circle bundles M_p over closed 4n-dimensional integral symplectic manifolds (M-bar, ω) with first Chern class p[ω], and for a metric g on M_p compatible with the symplectic structure and circle-fiber geometry, the Wodzicki-Chern-Simons forms on the loop space LM_p imply that π₁(Isom(M_p,g)) is infinite when |p| ≫ 0. It also claims to provide the first high-dimensional examples of nonvanishing Wodzicki-Pontryagin forms.

Significance. If the central claims hold, the work would contribute new examples of contact manifolds whose isometry groups have infinite fundamental group detected via loop-space invariants, along with explicit high-dimensional nonvanishing Wodzicki-Pontryagin forms. These results would extend the geometric applications of Wodzicki residues in the context of the loop-space geometry series.

major comments (1)
  1. [Abstract] Abstract, first paragraph: the central infinitude claim requires the existence of a metric g simultaneously compatible with the symplectic form on the base and the circle-fiber geometry so that the Wodzicki residue produces closed Chern-Simons forms on LM_p whose periods detect non-trivial loops in Isom(M_p,g). No construction or existence argument for such a g is supplied when |p| is large, nor is it shown that the resulting forms remain non-vanishing on isometry orbits; this assumption is load-bearing for the stated result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a load-bearing assumption in the abstract and main claims. We agree that the existence of a suitable metric g for large |p| and the detection property on isometry orbits require explicit justification. We will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract, first paragraph: the central infinitude claim requires the existence of a metric g simultaneously compatible with the symplectic form on the base and the circle-fiber geometry so that the Wodzicki residue produces closed Chern-Simons forms on LM_p whose periods detect non-trivial loops in Isom(M_p,g). No construction or existence argument for such a g is supplied when |p| is large, nor is it shown that the resulting forms remain non-vanishing on isometry orbits; this assumption is load-bearing for the stated result.

    Authors: We acknowledge that the manuscript states the result for metrics g compatible with the symplectic structure on the base and the circle-fiber geometry but does not supply an explicit existence argument when |p| is large, nor a detailed verification that the Wodzicki-Chern-Simons forms remain non-vanishing when restricted to isometry orbits. In the revised version we will add a dedicated subsection (likely in Section 2 or an appendix) constructing such metrics explicitly: start with a compatible almost-complex structure on the base symplectic manifold, lift it to the total space of the circle bundle via the connection form whose curvature is pω, and average with respect to the S^1-action to obtain a Riemannian metric g whose Reeb field is Killing and whose horizontal distribution is compatible with ω. We will also prove that the resulting Wodzicki residue forms are invariant under the isometry group action (or at least that their periods are well-defined on the quotient) by using the naturality of the Wodzicki residue under diffeomorphisms that preserve the contact structure. This will make the infinitude statement unconditional for |p| ≫ 0. revision_made = yes revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on external Wodzicki forms and metric compatibility without reducing to self-definition or fitted inputs

full rationale

The abstract states that for a compatible metric g, Wodzicki-Chern-Simons forms on LM_p are used to prove infinitude of π₁(Isom(M_p,g)) for large |p|, plus nonvanishing Wodzicki-Pontryagin forms. No quoted equations or steps exhibit self-definitional reduction, fitted parameters renamed as predictions, or load-bearing self-citations whose content collapses to the present paper. The compatibility assumption on g is an existence hypothesis external to the derivation chain itself and does not create a circular loop within the paper's own equations. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms or invented entities; the central claim rests on the existence of compatible metrics and the applicability of Wodzicki forms, but these are not detailed.

pith-pipeline@v0.9.0 · 5665 in / 1256 out tokens · 29525 ms · 2026-05-24T14:29:31.534187+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

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    Ricci flow and diffeomorphism groups of 3-manifolds

    Bamler, R. and Kleiner, B., Ricci flow and diffeomorphism groups of 3-manifolds , arXiv:1712.06197

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    203, Birkh¨ auser Boston, Ltd., Boston, MA, 20 10

    Blair, D., Riemannian geometry of contact and symplectic manifolds , second ed., Progress in Mathematics, vol. 203, Birkh¨ auser Boston, Ltd., Boston, MA, 20 10

    work page

  3. [3]

    Cohen, R., Jones, J. D. S., and Yan, J., The loop homology algebra of spheres and projective spaces, Categorical decomposition techniques in algebraic topology (Isle o f Skye, 2001), Progr. Math., vol. 215, Birkh¨ auser, Basel, 2004, pp. 77–92

    work page 2001

  4. [4]

    Earle, C. J. and Eells, J., The diffeomorphism group of a compact Riemann surface , Bull. Amer. Math. Soc. 73 (1967), 557–559

    work page 1967

  5. [5]

    Egi, S., Calculation of the coefficient of the highest power of p (Theor em 3.4) , 2020 (Accessed July 14, 2020), https://github.com/egisatoshi/EMR-Paper-Computation

    work page 2020

  6. [6]

    , Thurston-calculation.pdf, 2020 (Accessed July 14, 2020), https://github.com/egison/egison/blob/master/sample/math/geometry/thurston.egi

    work page 2020

  7. [7]

    and Hsiang, W

    Farrell, F. and Hsiang, W. C., On the rational homotopy groups of the diffeomorphism groups of discs, spheres and aspherical manifolds , Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 325–337

    work page 1976

  8. [8]

    Fedosov, B., Golse, F

    Leichtnam, E. Fedosov, B., Golse, F. and Schrohe, E., The noncommutative residue for manifolds with boundary, J. Funct. Analysis 142 (1996), 1–31

    work page 1996

  9. [9]

    Differ- ential Geom

    Gabai, D., The Smale conjecture for hyperbolic 3-manifolds: Isom(M 3) ≃ Diff(M 3), J. Differ- ential Geom. 58 (2001), 113–149

    work page 2001

  10. [10]

    Gompf, R., A new construction of symplectic manifolds , Ann. of Math. (2) 142 (1995), no. 3, 527–595

    work page 1995

  11. [11]

    , Symplectically aspherical manifolds with nontrivial π2, Math. Res. Lett. 5 (1998), no. 5, 599–603

    work page 1998

  12. [12]

    Hatcher, A., A proof of the Smale conjecture, Diff(S3) ≃ O(4), Ann. of Math. (2) 117 (1983), no. 3, 553–607

    work page 1983

  13. [13]

    , A 50-year view of diffeomorphism groups , 2012 (Accessed July 14, 2020), https://pi.math.cornell.edu/~hatcher/Papers/Diff%28M%292012.pdf

    work page 2012

  14. [14]

    Klingenberg, W., Lectures on closed geodesics , Springer-Verlag, Berlin-New York, 1978, Grundlehren der Mathematischen Wissenschaften, Vol. 230

    work page 1978

  15. [15]

    532, AMS, 2011

    Larrain-Hubach, A., Rosenberg, S., Scott, S., and Torres-Ar dila, F., Characteristic classes and zeroth order pseudodifferential operators , Spectral Theory and Geometric Analysis, Contempo- rary Mathematics, vol. 532, AMS, 2011

    work page 2011

  16. [16]

    Maeda, Y., Rosenberg, S., and Torres-Ardila, F., The geometry of loop spaces I: H s Riemannian metrics, Int. J. Math. 26 (2015)

    work page 2015

  17. [17]

    , The geometry of loop spaces II: Characteristic classes , Adv. in Math. 287 (2016), 485– 518

    work page 2016

  18. [18]

    and Soma, T, The Smale conjecture for Seifert fibered spaces with hyperbo lic base orbifold, J

    McCullough, D. and Soma, T, The Smale conjecture for Seifert fibered spaces with hyperbo lic base orbifold, J. Differential Geom. 93 (2013), 327–353

    work page 2013

  19. [19]

    Differential Geom

    McDuff, D., Examples of simply-connected symplectic non-K¨ ahlerian m anifolds, J. Differential Geom. 20 (1984), no. 1, 267–277

    work page 1984

  20. [20]

    and Stasheff, J., Characteristic classes , Princeton U

    Milnor, J. and Stasheff, J., Characteristic classes , Princeton U. Press, Princeton, 1974

    work page 1974

  21. [21]

    O’Neill, B., The fundamental equations of a submersion , Michigan J. Math. 13 (1966), 459–469

    work page 1966

  22. [22]

    Smale, S., Diffeomorphisms of the 2-sphere, Proc. Amer. Math. Soc. 10 (1959), 621–626

    work page 1959

  23. [23]

    P., Some simple examples of symplectic manifolds , Proc

    Thurston, W. P., Some simple examples of symplectic manifolds , Proc. Amer. Math. Soc. 55 (1976), 467–468. 28 S. EGI, Y. MAEDA, AND S. ROSENBERG

    work page 1976

  24. [24]

    Rakuten Institute of Technology, Rakuten, Inc

    Watanabe, T., Some exotic nontrivial elements of Diff( S4), arXiv:1812.02448. Rakuten Institute of Technology, Rakuten, Inc. Email address : satoshi.egi@rakuten.com Tohoku Forum for Creativity, Tohoku University Email address : yoshimaeda@tohoku.ac.jp Department of Mathematics and Statistics, Boston Universi ty Email address : sr@math.bu.edu

    work page arXiv