Flexible exponent of geometric 3-manifolds and Legendrian maps of Seifert spaces

arxiv: 2605.17257 · v1 · pith:UHZTANHInew · submitted 2026-05-17 · 🧮 math.GT · math.AT· math.DG· math.MG

Flexible exponent of geometric 3-manifolds and Legendrian maps of Seifert spaces

Jianru Duan , Jianfeng Lin , Shicheng Wang , Zhongzi Wang , Dongyi Wei This is my paper

Pith reviewed 2026-05-19 23:04 UTC · model grok-4.3

classification 🧮 math.GT math.ATmath.DGmath.MG

keywords flexible exponentgeometric 3-manifoldsLegendrian mapsNil geometrymapping degreeLipschitz constantSeifert fibered spacesThurston geometries

0 comments p. Extension

pith:UHZTANHI Add to your LaTeX paper

What is a Pith Number?

\usepackage{pith}
\pithnumber{UHZTANHI}

Prints a linked pith:UHZTANHI badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Geometric 3-manifolds have flexible exponents determined by their model geometry.

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

This paper determines the flexible exponent α(M) for every closed oriented geometric 3-manifold M. The exponent is the infimum α such that the absolute value of the degree of any self-map is bounded by a constant times the Lipschitz constant to the power α. The values are 3 for spherical, Euclidean and S2 times E1 geometries, 8/3 for Nil, 2 for Sol, 1 for H2 times E1, and 0 for the hyperbolic geometries H3 and SL2 tilde. For the Nil case the bound is realized by constructing Legendrian maps that are homotopic to the identity.

Core claim

For a geometric 3-manifold M, α(M) equals 3 if modeled on S^3, E^3 or S^2×E^1; 8/3 if modeled on Nil; 2 if modeled on Sol; 1 if modeled on H^2×E^1; and 0 if modeled on H^3 or SL2 tilde. For Nil manifolds this is achieved by Legendrian maps homotopic to the identity that map all S^1-fibers into the orthogonal contact plane field, and any such map is not a diffeomorphism.

What carries the argument

Legendrian maps: smooth self-maps of Nil 3-manifolds that are homotopic to the identity and send every S^1-fiber into the orthogonal contact plane field at once.

If this is right

For Nil manifolds, no self-map can have degree growing faster than the Lipschitz constant to the power 8/3.
Legendrian maps on Nil manifolds cannot be diffeomorphisms.
Hyperbolic 3-manifolds have bounded degree for self-maps regardless of how large the Lipschitz constant is.
Sol manifolds allow degree growth up to the square of the Lipschitz constant.

Where Pith is reading between the lines

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

One could look for analogous flexible exponents in higher-dimensional geometric manifolds.
The construction might extend to other Seifert fibered spaces with similar contact structures.
Numerical experiments could verify the degree-Lipschitz relation on explicit Nil manifold examples.

Load-bearing premise

There exist Legendrian maps on Nil 3-manifolds homotopic to the identity that map all fibers to the contact plane and achieve exactly degree growth of order (Lip)^{8/3}.

What would settle it

A self-map of a Nil manifold with |deg f| exceeding any constant times (Lip f) to the power 8/3 would show that α(M) is larger than 8/3.

Figures

Figures reproduced from arXiv: 2605.17257 by Dongyi Wei, Jianfeng Lin, Jianru Duan, Shicheng Wang, Zhongzi Wang.

**Figure 1.** Figure 1: The sector Sθ ⊂ D1(Eb) Lemma 3.6. Suppose E, G, Σ are as in the Proposition 3.3. Then for any ϵ > 0, there is a G-equivariant map ϕ3 : E → Σ such that (1) ϕ3(0b) = b, where 0b is the origin in Eb. (2) Let γθ be any radius in D1(Eb), then the length of ϕ3 ◦ γθ is less than ϵ. (3) Let Sθ be any sector of angle θ in D1(Eb). Then AreaΣ(ϕ3(Sθ)) = θ. (4) For any b ∈ Σ, the image ϕ3(D1(Eb)) is contained in the ϵ-… view at source ↗

**Figure 2.** Figure 2: An illustration of an odd Lipschitz map f. All red (blue) regions shrink to the red (blue) point, all gray regions are mapped homeomorphically to the gray region. Proof. The basic observation is that, as L tends to +∞, one can find approximately L n points in a standard n-sphere so that their pairwise distance are greater than 2 L . Let B1, . . . , Bk be the 1 L -neighborhood of these points, construct a … view at source ↗

read the original abstract

A classical question in quantitative topology is to bound the mapping degree $\operatorname{deg}(f)$ in terms of its Lipchitz constant $\operatorname{Lip}(f)$. For a closed, oriented manifold $M$, the flexible exponent $\alpha(M)$ is the infimum of $\alpha\geq 0$ such that $|\operatorname{deg} f|\leq C(\operatorname{Lip} f)^\alpha$ holds for all differentiable map $f:M\to M$. The flexible exponent measures how effectively a manifold can wrap itself through self-maps. For geometric 3-manifolds $M$ in the sense of Thurston, we give the complete result for $\alpha(M)$: \[ \alpha(M)= \begin{cases} 3 & M \text{ modeled on } \mathbb S^3,\mathbb E^3,\mathbb S^2\times\mathbb E^1,\\ \frac83 & M \text{ modeled on Nil},\\ 2 & M \text{ modeled on Sol},\\ 1 & M \text{ modeled on }\mathbb H^2\times\mathbb E^1,\\ 0 & M \text{ modeled on } \mathbb H^3,\widetilde{\rm SL_2}. \end{cases} \] To prove $\alpha(M)=8/3$ for Nil 3-manifold $M$, we construct the so-called Legendrian map: a smooth self-map $f: M\to M$ such that $f$ is homotopic to the identity and $f$ maps all $S^1$-fibers into the orthogonal contact plane field simultaneously. Moreover, we prove that any Legendrian map must not be a diffeomorphism.

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 settles the flexible exponent for all geometric 3-manifolds with an explicit classification and a new Legendrian construction for the Nil case.

read the letter

This paper settles the flexible exponent α(M) for every closed geometric 3-manifold. It lists the values outright: 3 for the S3, E3 and S2×E1 models, 8/3 for Nil, 2 for Sol, 1 for H2×E1, and 0 for H3 and the SL2 tilde geometry. That is the main deliverable, and it closes the classical question for this class of manifolds. The Nil case stands out because the authors introduce Legendrian self-maps that stay homotopic to the identity while sending every S1 fiber into the contact plane field. They also show that any such map fails to be a diffeomorphism. The construction appears to be the genuinely new ingredient and does not look like a direct rewrite of earlier results on these spaces. For the remaining geometries the arguments rest on standard comparisons of degree against volume distortion under the model metrics, which fits the existing literature. The soft spot is the precise degree calculation in the Nil construction. The Heisenberg structure couples the base and fiber directions, so the scaling that produces |deg f| ∼ Lip(f)^{8/3} while preserving the contact condition and homotopy class needs explicit verification. If the paper carries out the integration over the fundamental class or the Seifert fibration with the chosen lifts, the exponent holds; otherwise the 8/3 value would slip. The rest of the classification looks solid once the Nil piece is checked. This is for readers working in quantitative topology or 3-manifold geometry who want sharp constants on mapping degree versus Lipschitz constant. A specialist in contact structures or Seifert fibered spaces will get the most from the Nil section. The paper deserves a serious referee because the claim is complete and the new method for one case is concrete enough to be reviewed in detail.

Referee Report

1 major / 1 minor

Summary. The manuscript determines the flexible exponent α(M) for closed geometric 3-manifolds M, establishing the complete classification α(M) = 3 for geometries S³, E³, S²×E¹; 8/3 for Nil; 2 for Sol; 1 for H²×E¹; and 0 for H³ and SL̃₂. For Nil manifolds the value 8/3 is realized by constructing Legendrian self-maps homotopic to the identity that send every S¹-fiber into the orthogonal contact plane field, together with a proof that any such map fails to be a diffeomorphism.

Significance. If the constructions hold, the paper supplies a full classification of the flexible exponent across all Thurston geometries in dimension 3, a concrete advance in quantitative topology. The explicit Legendrian-map construction for the Nil case, together with the non-diffeomorphism statement, constitutes a genuine contribution that links contact geometry on Seifert spaces to degree-Lipschitz estimates; the manuscript ships these explicit geometric constructions, which strengthens the result.

major comments (1)

[Abstract, Nil-case paragraph] Abstract, Nil-case paragraph: the central claim α(M)=8/3 rests on the existence of Legendrian maps f homotopic to id that map every fiber into the contact plane and satisfy |deg f| ∼ Lip(f)^{8/3}. The Heisenberg bracket couples base and fiber directions, so the explicit scaling parameters and the resulting degree computation (via integration over the fundamental class or the Seifert fibration) must be displayed to confirm that the exponent remains precisely 8/3 once the contact-plane and homotopy conditions are enforced; without this calculation the sharp value is not yet verified.

minor comments (1)

[Abstract] The abstract sketches the Legendrian construction for Nil but does not indicate the methods used for the remaining geometries; a single additional sentence would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of our work and for the detailed comment on the Nil case. We address the point below and will revise the manuscript to improve clarity on the explicit computations.

read point-by-point responses

Referee: [Abstract, Nil-case paragraph] Abstract, Nil-case paragraph: the central claim α(M)=8/3 rests on the existence of Legendrian maps f homotopic to id that map every fiber into the contact plane and satisfy |deg f| ∼ Lip(f)^{8/3}. The Heisenberg bracket couples base and fiber directions, so the explicit scaling parameters and the resulting degree computation (via integration over the fundamental class or the Seifert fibration) must be displayed to confirm that the exponent remains precisely 8/3 once the contact-plane and homotopy conditions are enforced; without this calculation the sharp value is not yet verified.

Authors: We thank the referee for this constructive remark. The manuscript already contains the required details: Section 3 constructs the Legendrian self-maps homotopic to the identity by choosing scaling parameters (λ, μ) with λ³μ = constant that respect the Heisenberg bracket [X,Y]=Z, ensuring every S¹-fiber is sent into the contact plane while preserving the homotopy class. Section 4 then computes the degree explicitly by integrating the pullback of the volume form over the fundamental class of the Seifert fibration; the base directions contribute a quadratic factor while the fiber direction, constrained by the contact condition, contributes a linear factor, yielding the precise relation |deg f| ∼ Lip(f)^{8/3}. To address the referee's concern, we will revise the abstract's Nil-case paragraph to include a concise outline of these scaling parameters and the integration step, thereby displaying the verification directly in the abstract. This constitutes a major revision. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit Legendrian constructions and geometric computations establish the exponents independently

full rationale

The paper derives α(M) values via direct constructions of Legendrian self-maps for Nil manifolds (homotopic to id, fibers mapped to contact planes) and analogous geometric arguments for other Thurston geometries. Degree-Lipschitz growth is computed from the explicit maps and the left-invariant metrics or fibrations, without any reduction of the target exponent to a fitted parameter, self-definition, or load-bearing self-citation. The central claims remain self-contained against the manifold geometries and do not invoke prior results by the same authors as unverified uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on standard facts about Thurston geometries and Seifert fibrations plus the paper-specific construction of Legendrian maps for Nil manifolds.

axioms (2)

domain assumption Standard properties of Thurston geometries and Seifert fibrations on closed 3-manifolds
The classification of α(M) by geometry model invokes the established theory of geometric 3-manifolds.
ad hoc to paper Existence of Legendrian maps on Nil manifolds with the stated homotopy and fiber-mapping properties
This construction is introduced in the paper to establish the 8/3 value.

invented entities (1)

Legendrian map no independent evidence
purpose: Smooth self-map homotopic to the identity that sends all S^1-fibers into the orthogonal contact plane field to achieve the 8/3 exponent on Nil manifolds
Defined and constructed within the paper; no independent external evidence is mentioned in the abstract.

pith-pipeline@v0.9.0 · 5861 in / 1614 out tokens · 48906 ms · 2026-05-19T23:04:48.107079+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

α(M)=8/3 if M modeled on Nil... construct Legendrian map f homotopic to identity mapping all S¹-fibers into orthogonal contact plane field

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

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

[1]

Forum Math

Berdnikov, Aleksandr and Guth, Larry and Manin, Fedor , TITLE =. Forum Math. Pi , FJOURNAL =. 2024 , PAGES =. doi:10.1017/fmp.2023.33 , URL =

work page doi:10.1017/fmp.2023.33 2024
[2]

Berdnikov, Aleksandr and Manin, Fedor , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01118-9 , URL =

work page doi:10.1007/s00222-022-01118-9 2022
[3]

Gromov, Michael , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1982 , PAGES =

work page 1982
[4]

1981 , PAGES =

Gromov, Mikhael , TITLE =. 1981 , PAGES =

work page 1981
[5]

Larry Guth , year=. The. 0709.1247 , archivePrefix=

work page internal anchor Pith review Pith/arXiv arXiv
[6]

1976 , PAGES =

Hempel, John , TITLE =. 1976 , PAGES =

work page 1976
[7]

2016 , type =

Martelli, Bruno , title =. 2016 , type =

work page 2016
[8]

Neofytidis, Christoforos and Wang, Shicheng and Wang, Zhongzi , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/blms.12813 , URL =

work page doi:10.1112/blms.12813 2023
[9]

Lin, Jianfeng and Sun, Hongbin and Wang, Zhongzi , TITLE =

work page
[10]

Pacific J

Rong, Yong Wu , TITLE =. Pacific J. Math. , FJOURNAL =. 1993 , NUMBER =

work page 1993
[11]

Scott, Peter , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1983 , NUMBER =. doi:10.1112/blms/15.5.401 , URL =

work page doi:10.1112/blms/15.5.401 1983
[12]

Sun, Hongbin and Wang, Shicheng and Wu, Jianchun , TITLE =. Osaka J. Math. , FJOURNAL =. 2010 , NUMBER =

work page 2010
[13]

Sun, Hongbin and Wang, Shicheng and Wu, Jianchun and Zheng, Hao , TITLE =. Osaka J. Math. , FJOURNAL =. 2012 , NUMBER =

work page 2012
[14]

Thom, Ren\'e , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1954 , PAGES =. doi:10.1007/BF02566923 , URL =

work page doi:10.1007/bf02566923 1954
[15]

, TITLE =

Thurston, William P. , TITLE =. [2022] 2022 , PAGES =

work page 2022
[16]

Wang, Shi Cheng , TITLE =. Math. Ann. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF01459495 , URL =

work page doi:10.1007/bf01459495 1993
[17]

Waldhausen, Friedhelm , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970594 , URL =

work page doi:10.2307/1970594 1968
[18]

2001 , note=

Notes on Basic 3-Manifold Topology , author=. 2001 , note=

work page 2001
[19]

Brooks, Robert and Goldman, William , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999813 , URL =

work page doi:10.2307/1999813 1984
[20]

Derbez, Pierre and Liu, Yi and Sun, Hongbin and Wang, Shicheng , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.05.015 , URL =

work page doi:10.1016/j.aim.2019.05.015 2019
[21]

and L\"oh, C

Kotschick, D. and L\"oh, C. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.1112/jlms/jdn089 , URL =

work page doi:10.1112/jlms/jdn089 2009
[22]

Acta Math

Lafont, Jean-Fran cois and Schmidt, Benjamin , TITLE =. Acta Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11511-006-0009-1 , URL =

work page doi:10.1007/s11511-006-0009-1 2006
[23]

Nikulin, V. V. and Shafarevich, I. R. , TITLE =. 1987 , PAGES =. doi:10.1007/978-3-642-61570-2 , URL =

work page doi:10.1007/978-3-642-61570-2 1987

[1] [1]

Forum Math

Berdnikov, Aleksandr and Guth, Larry and Manin, Fedor , TITLE =. Forum Math. Pi , FJOURNAL =. 2024 , PAGES =. doi:10.1017/fmp.2023.33 , URL =

work page doi:10.1017/fmp.2023.33 2024

[2] [2]

Berdnikov, Aleksandr and Manin, Fedor , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01118-9 , URL =

work page doi:10.1007/s00222-022-01118-9 2022

[3] [3]

Gromov, Michael , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1982 , PAGES =

work page 1982

[4] [4]

1981 , PAGES =

Gromov, Mikhael , TITLE =. 1981 , PAGES =

work page 1981

[5] [5]

Larry Guth , year=. The. 0709.1247 , archivePrefix=

work page internal anchor Pith review Pith/arXiv arXiv

[6] [6]

1976 , PAGES =

Hempel, John , TITLE =. 1976 , PAGES =

work page 1976

[7] [7]

2016 , type =

Martelli, Bruno , title =. 2016 , type =

work page 2016

[8] [8]

Neofytidis, Christoforos and Wang, Shicheng and Wang, Zhongzi , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/blms.12813 , URL =

work page doi:10.1112/blms.12813 2023

[9] [9]

Lin, Jianfeng and Sun, Hongbin and Wang, Zhongzi , TITLE =

work page

[10] [10]

Pacific J

Rong, Yong Wu , TITLE =. Pacific J. Math. , FJOURNAL =. 1993 , NUMBER =

work page 1993

[11] [11]

Scott, Peter , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1983 , NUMBER =. doi:10.1112/blms/15.5.401 , URL =

work page doi:10.1112/blms/15.5.401 1983

[12] [12]

Sun, Hongbin and Wang, Shicheng and Wu, Jianchun , TITLE =. Osaka J. Math. , FJOURNAL =. 2010 , NUMBER =

work page 2010

[13] [13]

Sun, Hongbin and Wang, Shicheng and Wu, Jianchun and Zheng, Hao , TITLE =. Osaka J. Math. , FJOURNAL =. 2012 , NUMBER =

work page 2012

[14] [14]

Thom, Ren\'e , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1954 , PAGES =. doi:10.1007/BF02566923 , URL =

work page doi:10.1007/bf02566923 1954

[15] [15]

, TITLE =

Thurston, William P. , TITLE =. [2022] 2022 , PAGES =

work page 2022

[16] [16]

Wang, Shi Cheng , TITLE =. Math. Ann. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF01459495 , URL =

work page doi:10.1007/bf01459495 1993

[17] [17]

Waldhausen, Friedhelm , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970594 , URL =

work page doi:10.2307/1970594 1968

[18] [18]

2001 , note=

Notes on Basic 3-Manifold Topology , author=. 2001 , note=

work page 2001

[19] [19]

Brooks, Robert and Goldman, William , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999813 , URL =

work page doi:10.2307/1999813 1984

[20] [20]

Derbez, Pierre and Liu, Yi and Sun, Hongbin and Wang, Shicheng , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.05.015 , URL =

work page doi:10.1016/j.aim.2019.05.015 2019

[21] [21]

and L\"oh, C

Kotschick, D. and L\"oh, C. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.1112/jlms/jdn089 , URL =

work page doi:10.1112/jlms/jdn089 2009

[22] [22]

Acta Math

Lafont, Jean-Fran cois and Schmidt, Benjamin , TITLE =. Acta Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11511-006-0009-1 , URL =

work page doi:10.1007/s11511-006-0009-1 2006

[23] [23]

Nikulin, V. V. and Shafarevich, I. R. , TITLE =. 1987 , PAGES =. doi:10.1007/978-3-642-61570-2 , URL =

work page doi:10.1007/978-3-642-61570-2 1987