--- title: "Pinching a Free Normal Cover: Variable Critical Exponent in a Quasiconformal Teichmuller Space" date: 2026-09-01 version: "0.2.0-candidate" doi: 10.5281/zenodo.22229561 pdf: https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent/releases/download/v0.2.0-candidate/pinching-free-normal-cover-critical-exponent-v0.2.0.pdf repository: https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent archive: https://zenodo.org/records/22229561 license: CC0-1.0 status: unrefereed (internally replayed; not peer reviewed, not independently reproduced, not formally verified) --- # Pinching a Free Normal Cover: Variable Critical Exponent in a Quasiconformal Teichmuller Space ## Summary Take a closed hyperbolic surface and cut it along enough disjoint curves to leave a connected sphere with holes. A fixed normal cover then arranges copies of this cut-open surface like the vertices of a nonabelian free group. This anonymous, unrefereed candidate argues that the cover is always uniformised by an infinitely generated Fuchsian group of the first kind. Its critical exponent is below $1$ for every marked compact-base metric. When all cut curves are pinched to a common small length $\ell$, the exponent approaches $1$ from below with $$ 1-\delta(\Gamma_\ell)=O_g(\ell). $$ It therefore assumes infinitely many values inside one all-Fuchsian quasiconformal deformation family. The historical boundary matters. Astala and Zinsmeister (1995) appear already to answer the existential AIM question under a broad quasi-Fuchsian group-deformation reading. The present claim is an all-Fuchsian strengthening and a direct solution candidate only under the reduced surface-based reading. It is not presented as the first solution. ## Why the problem matters The critical exponent measures exponential orbit growth. For finitely generated Fuchsian groups it is closely tied to the geometry of the limit set, but infinitely generated first-kind groups can have the entire boundary circle as limit set while still having exponent below $1$. AIM Problem 4.3 asks whether the exponent can vary within one reduced quasiconformal Teichmuller space. An all-Fuchsian answer is especially sharp: the variation occurs while every group continues to preserve a hyperbolic plane, rather than by moving into three-dimensional quasi-Fuchsian geometry. ## The exact theorem candidate For every integer $g\ge 2$, choose a geometric symplectic basis $(a_i,b_i)$ of a closed genus-$g$ surface so that the $b_i$ form a disjoint cut system. Define $$ q:\pi_1(S_g)\longrightarrow F_g, \qquad q(a_i)=x_i,\quad q(b_i)=1, \qquad K=\ker q. $$ For a marked closed hyperbolic metric $m$, let $\rho_m$ be its Fuchsian holonomy and set $\Gamma_m=\rho_m(K)$. The candidate theorem states: - every $\Gamma_m$ is infinitely generated and of the first kind; - the marked covers give points in one reduced surface-based space $T_{qc}^{\mathrm{red}}(X_0)$ and, by reflected sphere extensions, in the all-Fuchsian locus of the AIM group space $T_{qc}(\Gamma_0)$; - $\delta(\Gamma_m)<1$ for every marked compact-base metric; - along simultaneous pinching of all $b_i$ to length $\ell$, for sufficiently small $\ell$, $$ \frac12<\delta(\Gamma_\ell)<1, \qquad 1-\delta(\Gamma_\ell)=O_g(\ell), \qquad \delta(\Gamma_\ell)\to1. $$ No monotonicity, exact exponent formula, global identification of deformation spaces, injective parametrisation, or arbitrary quasi-Fuchsian theorem is claimed. The value $\ell=0$ is a boundary degeneration, not a point of the family. ## How the construction works The epimorphism $q$ makes the cover regular with deck group $F_g$. A nontrivial normal subgroup of the cocompact surface lattice has the full boundary circle as limit set, so $\Gamma_m$ is of the first kind. If it were finitely generated, absence of parabolics would make it convex cocompact; a full limit set would then force a compact infinite-sheeted cover, a contradiction. Marked quasiconformal maps between compact base surfaces lift equivariantly to the fixed kernel. Reflection extends the lifted disk maps to sphere maps, which places the resulting group points in the all-Fuchsian locus of the AIM space. Marked Möbius equivalence preserves the critical exponent. Dougall and Sharp's normal-subgroup theorem applies because the ambient surface group is convex cocompact, the subgroup is normal, and the quotient $F_g$ is nonamenable. It gives the strict inequality $\delta(\Gamma_m)<1$ at every compact-base metric. ## The fixed-width pinching calculation After cutting along the $b_i$, copies of one compact cell are indexed by $F_g$. A collar about a cut curve of length $\ell$ has half-width tending to infinity as $\ell\to0$. On the $2g$ half-collars adjacent to one selected cell, use a function that rises linearly from $0$ to $1$ across width exactly $1$ and then remains $1$ on the rest of that cell. The total Dirichlet energy is $$ E_\ell=2g\,\ell\sinh(1), $$ while the plateau area is at least $$ D_\ell=4\pi(g-1)-2g\,\ell\sinh(1). $$ For small $\ell$, the denominator stays bounded below and the Rayleigh quotient is $O_g(\ell)$. Sullivan's bottom-of-spectrum formula then converts this into $1-\delta=O_g(\ell)$. Combined with the strict inequality below one, convergence rules out a finite set of exponent values. ## What was checked and replayed The release package performs deterministic producer-side checks. It does not claim that finite computation proves the universal theorem. - Forty-two collar-model samples check the exact energy, plateau, Rayleigh and spectral-conversion formulas. - Sixteen unit and hostile-mutation tests reject wrong collar counts, nonpositive lengths, genus one, amenable deck rank, extra collars and broken seam conditions, in normal and optimized Python modes. - Source-parity checks bind theorem-critical statements across LaTeX, Markdown and the claim ledger. - PDF gates check required reader text, raw-TeX leakage, qpdf structure and a complete normalized text digest. - A 55-file manifest and an outer checksum bind the complete public archive; a clean extraction passes the full read-only replay. - Public GitHub Actions rebuild the reader PDF from source before repeating the normal and optimized replay. ## Evidence and assurance boundary The written manuscript is the evidence for the general mathematical claims. The finite program checks explicit identities, implementation invariants and representative samples; it does not replace the proof or verify the imported theorems. The supplied review was actioned point by point. Five producer-coordinated editorial roles initially held the package for repair. After the deformation- space bridge, closest-prior-work positioning, exact theorem-hypothesis maps, portable build, accessibility language and release receipts were repaired, one exact-archive domain confirmation returned `PASS_WITH_NOTES` at reported confidence $0.94$. Those are internal editorial records, not authenticated unaffiliated specialist review. Public availability, deterministic replay, independent rerun, independent reimplementation, formal verification, specialist review, editorial peer review, novelty and historical priority remain distinct. ## Limitations and what remains open - Under a broad group-deformation reading, the existential AIM question appears already affirmative through Astala and Zinsmeister's quasi-Fuchsian family. - The exact all-Fuchsian construction may be specialist folklore or an unstated consequence of known results; the bounded search cannot establish novelty or priority. - No monotonicity or exact formula for $\delta(\Gamma_\ell)$ is proved. - The compact-base family is not claimed to embed injectively into the infinite-type Teichmuller space. - The reflected extension supplies all-Fuchsian points; it does not prove a theorem for arbitrary quasi-Fuchsian deformations. - No unaffiliated reconstruction, proof-assistant formalisation, authenticated external specialist review or journal peer review is attached. - The PDF is untagged. This structured web page and `paper.md` provide text alternatives, but mathematical notation is linearised rather than encoded with full semantic accessibility. ## Who should care The release is aimed at researchers in Fuchsian and Kleinian groups, hyperbolic surfaces, regular covers, spectral geometry and infinite-type Teichmuller theory. It may also be useful to reviewers studying how a short bridge among classical theorems should expose its interpretation, dependency and priority risks before candidate publication. ## Where to inspect and replay Start with the PDF for the complete proof. In the archive, `CLAIM_SCOPE.md` states the exact theorem and exclusions, `SOURCES.md` maps every imported theorem to its use, `NOVELTY_REPORT.md` records the broad-reading precedent, and `reviews/internal/` preserves the role-separated editorial trail. Run `bash run_all.sh` from the repository root for the finite replay and package gates. The GitHub Actions run linked in the assurance panel is the public clean- checkout reconstruction. `MANIFEST.sha256` inventories the 55 non-circular payload files, while release-level `SHA256SUMS` binds the downloadable ZIP and PDF. ## Next work The highest-value next step is an unaffiliated mathematical reconstruction of the reflected group-space bridge and the fixed-width Rayleigh argument. A Fuchsian-group specialist should then assess the precise AIM interpretation and closest prior art. Further mathematical work could seek monotonicity or a sharper asymptotic for the exponent, while a formalisation should keep the elementary collar calculation separate from the imported normal-subgroup and spectrum theorems. ## Paper, archive, and package map - **Paper:** the canonical 9-page PDF contains the complete argument, hypothesis maps, positioning and bibliography. - **Archive:** the ZIP contains source, accessible text, structured claims, reviews, verification programs, receipts, licences and the complete manifest. - **Repository:** the annotated candidate tag fixes the reviewed source and hosted replay workflow. - **Zenodo:** the version DOI archives the same ZIP, PDF and checksum sidecar. - **Licensing:** original prose and data are CC0-1.0; original code, tests and workflows are MIT; third-party sources and the bundled OFL font are credited but not relicensed. ## Open directions for follow-up research - Obtain an unaffiliated specialist reconstruction of the fixed-kernel group-space bridge and the fixed-width collar Rayleigh estimate. - Determine whether the exponent is monotone along any natural simultaneous pinching path; no monotonicity is claimed here. - Find an exact formula or sharper asymptotic for 1-delta beyond the one-sided O_g(ell) bound. - Clarify the relation between the reduced surface-based all-Fuchsian family and broader quasiconformal group-deformation formulations of AIM Problem 4.3. - Formalize the construction and imported theorem hypothesis maps in a proof assistant. - Conduct an unaffiliated priority search including specialist databases, theses, non-English sources and mathematical folklore. ## Research process, metrics and reusable methods This is prospective process metadata under the Evidence Press operating model and research-metrics policy. It records the intended handoff, measured scope and claim boundary; it is not evidence that the method accelerated this work. - Work ID: ep-work:pinching-free-normal-cover-critical-exponent - Attempt and metric receipts: ep-attempt:pinching-free-normal-cover-assurance-publication: published / positive; scope assurance-through-publication; target Publish synchronized immutable GitHub and Zenodo assets and a reader-first Evidence Press release for the review-repaired reduced-Teichmuller-space candidate, with provenance-bound media, two composite seals, hosted CI, guarded zero-cost deployment and exact canonical readback.; active forecast 150 minutes (120-210); Fermi components Supplied-review repair, sharper collar argument and package refreeze: 1 x 30/40/55 minutes low/central/high (One seven-page theorem candidate with four bounded release-decisive repairs and a stronger fixed-width Rayleigh estimate.); Five-role internal editorial round, response matrix and confirmation: 1 x 25/35/50 minutes low/central/high (One frozen mathematical target with explicit deformation-space, theorem-dependency and literature-positioning questions.); Public research repository, release CI and Zenodo identity: 1 x 30/40/55 minutes low/central/high (One dependency-light candidate requiring DOI-bearing rebuild, immutable assets and cross-service byte comparison.); Evidence Press authoring, media, composite seals, hosted CI, deployment and readback: 1 x 35/35/50 minutes low/central/high (One new slug using established generators but requiring claim-specific cover geometry, audio provenance and two canonical-ledger cycles.); positive-signal/closure probabilities 0.97/0.82 within 210 active minutes; observed active-agent/human/compute/wait/blocked/rework minutes 140/unknown/34/12/0/24; cycles positive/negative/inconclusive 2/2/1; falsification gates 16; architectures tested/rejected 2/0; result target-closed; target reached true; forecast error -10 minutes; ratio 0.9333; inside interval true; positive-signal/target-closure Brier scores 0.0009/0.0324; missing telemetry activeHumanMinutes: No instrument captured human direction, mediation or review time at the prospective assurance-through-publication boundary.; deduplicatedModelTokens: The runtime exposed no active fork-aware goal counter for this complete prospectively registered interval, so token use is unavailable and is not reconstructed or reported as zero.; uncachedInputTokens: The runtime does not expose an uncached-input token counter.; appended measurement corrections novelty and problem-scope framing: State and publish only the all-Fuchsian strengthening candidate under the reduced reading; make no first-solution or absolute-priority claim. (reason: Primary-source review showed that a broad quasi-Fuchsian reading is already answered affirmatively by Astala and Zinsmeister, while the present construction supports a narrower all-Fuchsian strengthening in the reduced surface-based deformation space.); quantitative collar estimate and AIM-space bridge: Add the fixed-width collar calculation yielding 1-delta = O_g(ell), state the marking/conjugacy conventions, and expose every imported theorem at the point of use. (reason: The supplied review and internal role audit required a load-bearing fixed-width Rayleigh estimate and an explicit bridge from marked surfaces and normal covers to the reduced group-space formulation.); measurement.computeMinutes -> metrics.outcome.computeMinutes: Retain the immutable zero snapshot and record the conservative 34-minute aggregate of local builds, hosted research CI and hosted site CI only in the terminal outcome. (reason: The first public active-attempt snapshot recorded zero before producer builds, hosted CI and terminal compute aggregation had completed.); measurement.agentRuns -> metrics.outcome.agentRuns: Retain the immutable one-run snapshot and record six audited root-and-review-role runs, with maximum parallelism five, only in the terminal outcome. (reason: The first public active-attempt snapshot counted only the root run before the terminal root-and-review-role audit.); measurement.reworkMinutes -> metrics.outcome.reworkMinutes: Retain the immutable zero-rework snapshot and record the conservative 24-minute repair total only in the terminal outcome. (reason: The first public active-attempt snapshot preceded the browser-geometry and audio-registry repairs, so it recorded no rework.). Work ledger: https://evidencepress.org/api/work-ledger.json. Metrics policy: https://evidencepress.org/api/research-metrics-policy.json - Intended aims: science - Artifact roles: research-output, evidence-assessment, method-demonstration, communication - Decision object: other — An all-Fuchsian fixed-free-cover exponent-variation theorem candidate with an explicit one-sided pinching rate. Scope: The fixed kernel, reduced surface-based and all-Fuchsian group-space bridge, strict compact-base exponent inequality and O_g(ell) approach to one; not arbitrary quasi-Fuchsian deformations, monotonicity, an exact exponent formula, global space identification, novelty, priority or external validation. - Reusable methods: Structural compression (structural-compression); Adversarial scientific controls (adversarial-controls); Assurance as a vector (assurance-vector); Agent-readable research objects (agent-readable-research-object). Registry: https://evidencepress.org/api/method-registry.json - Targeted clocks: assurance, publication, translation - Semantic bridge: explicit — The package states the exact AIM wording, separates reduced marked-surface and group-deformation spaces, maps reflected sphere extensions into the all-Fuchsian locus, verifies marked Mobius invariance, and maps every hypothesis of Dougall-Sharp and Sullivan to the constructed cover. Remaining risks: The universal proof and group-space bridge have only producer-coordinated review, not unaffiliated reconstruction.; The broad group-deformation reading appears already affirmative by Astala-Zinsmeister; the exact boundary of the narrower AIM reading may be interpreted differently by specialists.; The targeted novelty search may miss differently phrased, unindexed, non-English or folklore antecedents.; No monotonicity, exact exponent formula, global parametrization or arbitrary quasi-Fuchsian statement is established.. - Human judgement gates: Check the reflected-extension and marked-equivalence bridge as mathematics rather than inferring it from the finite replay.; Check every Dougall-Sharp and Sullivan hypothesis for the constructed normal cover and sign convention.; Keep the Astala-Zinsmeister broad-reading precedent prominent and make no first-solution or historical-priority claim.; Do not treat ell=0 as a family point or infer monotonicity from convergence and strict inequality.; Treat internal review, hosted replay, public availability and every unaffiliated assurance dimension separately. - Next assurance action: Obtain an authenticated unaffiliated reconstruction of the fixed-kernel deformation-space bridge and collar estimate, followed by a Fuchsian-group specialist's assessment of the AIM interpretation and closest prior art. - Claim ceiling: An anonymous, AI-assisted, unrefereed all-Fuchsian strengthening candidate with a complete written proof, explicit theorem-hypothesis maps, producer replay, internal PASS_WITH_NOTES and public immutable assets; not a first-solution finding, historical-priority finding, arbitrary quasi-Fuchsian theorem, unaffiliated validation, formal verification, authenticated external specialist review or editorial peer review. - Aim-scoped impact evidence: - science: NO_IMPACT_EVIDENCE — Faster or more reliable resolution and assurance of open questions in Fuchsian groups and infinite-type Teichmuller theory in AI-assisted proof construction, source mapping, adversarial replay, internal review and guarded candidate publication; design none; comparator No matched conventional research, theorem-review or publication workflow was registered.; estimand No effect on discovery time, active human effort, compute, correction rate, proof quality, independent-assurance time, uptake, citation or field outcomes was estimated.; no real-world effect evidence asserted - Parent handoffs: depends-on-claim https://aimath.org/pastworkshops/lipschitzteichproblems.pdf; inherited claim: AIM Problem 4.3 asks for an infinitely generated first-kind Fuchsian group with different critical exponents among elements of its reduced quasiconformal Teichmuller space.; inherited ceiling: The problem fixes the target and attribution but does not establish this candidate's construction, space bridge, proof, correctness, novelty or priority.; extends-result https://www.acadsci.fi/mathematica/Vol20/astala.pdf; inherited claim: Astala-Zinsmeister supply the closest located exponent-variation precedent and appear affirmative under a broad quasi-Fuchsian group-deformation reading.; inherited ceiling: Their abelian-cover quasi-Fuchsian family does not establish the present fixed free cover, all-Fuchsian pinching family or one-sided linear rate. ## Verification status Anonymous, AI-assisted and unrefereed all-Fuchsian strengthening candidate at internal PASS_WITH_NOTES. The universal claims rest on the written proof and imported theorems, not on the finite replay. The exact deformation-space correspondence and theorem hypotheses were repaired and mapped. The broad existential AIM reading appears to have an Astala-Zinsmeister precedent; no first-solution or priority claim is made. The Traditional Chinese abstract in the PDF is producer-generated and unvalidated; English controls. ## References 1. Su, W. Problems on the Thurston Metric, Problem 4.3, attributed to M. Kapovich. 2. Astala, K., and Zinsmeister, M. (1995). Abelian Coverings, Poincare Exponent of Convergence and Holomorphic Deformations. 3. Dougall, R., and Sharp, R. (2016). Amenability, Critical Exponents of Subgroups and Growth of Closed Geodesics. 4. Sullivan, D. (1987). Related Aspects of Positivity in Riemannian Geometry. 5. Keen, L. (1974). Collars on Riemann Surfaces.