The symplectic structure of renormalisation of circle diffeomorphisms with breaks

Konstantin Khanin; Selim Ghazouani

arxiv: 1907.07021 · v1 · pith:RFZNIFEGnew · submitted 2019-07-16 · 🧮 math.DS · math.GT

The symplectic structure of renormalisation of circle diffeomorphisms with breaks

Selim Ghazouani , Konstantin Khanin This is my paper

Pith reviewed 2026-05-24 20:35 UTC · model grok-4.3

classification 🧮 math.DS math.GT

keywords circle diffeomorphismsrenormalisationbreakspiecewise Möbius mapscharacter varietymapping class groupsymplectic formd-holed torus

0 comments

The pith

Renormalisation of circle diffeomorphisms with d breaks converges to piecewise Möbius maps identified with a relative character variety that carries a preserved symplectic form.

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

The paper proves that iterated renormalisations of C^r circle diffeomorphisms with d breaks converge to an invariant family of piecewise Möbius maps of dimension 2d. This family is identified with the relative character variety χ(π1 Σ, PSL(2,R), h) where Σ is a d-holed torus. The renormalisation operator corresponds to a sub-action of the mapping class group MCG(Σ), whose known symplectic form pulls back to one invariant under renormalisation. A sympathetic reader would care because the result equips the renormalisation dynamics with a symplectic structure derived from surface group representations.

Core claim

Iterated renormalisations of C^r circle diffeomorphisms with d breaks, r>2, with given size of breaks, converge to an invariant family of piecewise Moebius maps, of dimension 2d. This invariant family identifies with a relative character variety χ(π1 Σ, PSL(2,R), h) where Σ is a d-holed torus, and the renormalisation operator identifies with a sub-action of the mapping class group MCG(Σ). This action preserves a symplectic form, and its pull-back provides a symplectic form invariant by renormalisation.

What carries the argument

The identification of the invariant family of piecewise Möbius maps with the relative character variety χ(π1 Σ, PSL(2,R), h) of a d-holed torus Σ, through which the mapping class group action supplies a symplectic form to the renormalisation operator.

If this is right

The space of limiting maps under renormalisation has dimension 2d.
Renormalisation acts on this space via a sub-action of the mapping class group of the d-holed torus.
The symplectic form on the character variety is preserved by the renormalisation operator.
The identification and the resulting symplectic structure hold independently of the regularity r>2.

Where Pith is reading between the lines

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

The symplectic structure may be used to study invariants of periodic renormalisation orbits or their stability.
The break sizes correspond to fixed holonomy data h in the character variety, linking local map properties to global surface representation data.
For small values of d the symplectic form could be written explicitly and checked against numerical iterations of the renormalisation operator.

Load-bearing premise

The renormalised maps converge to piecewise Möbius maps when the sizes of the breaks are held fixed.

What would settle it

A computation or example showing that the renormalisation limits fail to satisfy the defining relations of the relative character variety or that the pulled-back form is altered by further renormalisation iterations.

read the original abstract

In this article we prove that iterated renormalisations of $\mathcal{C}^r$ circle diffeomorphisms with $d$ breaks, $r>2$, with given size of breaks, converge to an invariant family of piecewise Moebius maps, of dimension $2d$. We prove that this invariant family identifies with a \textit{relative character variety} $\chi(\pi_1 \Sigma, \mathrm{PSL}(2,\mathbb{R}), \mathbf{h})$ where $\Sigma$ is a $d$-holed torus, and that the renormalisation operator identifies with a sub-action of the mapping class group $\mathrm{MCG}(\Sigma)$. This action is known to preserves a symplectic form, thanks to the work of Guruprasad-Huebschmann-Jeffrey-Weinstein. Its pull-back through the aforementioned identification provides a symplectic form invariant by renormalisation.

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

The paper identifies the renormalization attractor for circle maps with d fixed breaks as a relative character variety of a d-holed torus, then pulls back a known symplectic form from the mapping class group action.

read the letter

The central contribution is showing that the renormalization limits of these diffeomorphisms with d breaks form a 2d-dimensional family of piecewise Möbius maps that matches a relative character variety of the d-holed torus. From there, the renormalization operator corresponds to a mapping class group action, so the known symplectic form on that action pulls back to give a renormalization-invariant symplectic structure. This identification is new. It takes the dynamical convergence result and recasts it in terms of character varieties, which then brings in the symplectic geometry from the cited work without needing to build the form directly. The paper handles the setup cleanly by fixing the break sizes and working with C^r regularity for r>2. The soft spot is the convergence itself. Everything after it depends on proving that the iterated renormalizations converge to exactly that piecewise Möbius family of dimension 2d. The abstract presents this as proven, but any gap in the estimates or in confirming the exact dimension would make the symplectic claim rest on an unverified premise. The identification step looks formal once the limits are in place. This work is aimed at researchers in renormalization of circle maps and those interested in geometric structures on dynamical attractors. A reader already familiar with character varieties will see the value in the application. It should go to peer review. The theorems are stated clearly enough for referees to evaluate the convergence proof and the correspondence.

Referee Report

2 major / 1 minor

Summary. The paper claims to prove that iterated renormalizations of C^r (r>2) circle diffeomorphisms with d fixed-size breaks converge to an invariant 2d-dimensional family of piecewise Möbius maps. This family is identified with the relative character variety χ(π₁Σ, PSL(2,ℝ), h) for a d-holed torus Σ, with the renormalization operator corresponding to a sub-action of the mapping class group MCG(Σ). The known symplectic form preserved by this MCG action (from Guruprasad-Huebschmann-Jeffrey-Weinstein) is pulled back to yield a renormalization-invariant symplectic form on the family.

Significance. If the convergence to the exact 2d-dimensional piecewise Möbius family and the identification hold, the result would link renormalization dynamics for maps with breaks to the geometry of relative character varieties, supplying an explicit invariant symplectic structure via the MCG action. This strengthens the connection between one-dimensional dynamics and higher Teichmüller theory, and the use of the external symplectic-form result is a clear strength.

major comments (2)

[Abstract] Abstract: The convergence of the renormalized maps to a piecewise Möbius family of exact dimension 2d is the load-bearing premise that enables the subsequent identification with χ(π₁Σ, PSL(2,ℝ), h) and the symplectic-form pull-back; the manuscript must supply a self-contained argument establishing both the convergence and the precise dimension count, as any gap renders the symplectic claim conditional on an unproven dynamical statement.
[Identification with relative character variety] The identification step assumes the limit objects are precisely piecewise Möbius with the given break sizes corresponding to the holonomy data h; the paper should verify that no other function class arises in the limit and that the dimension is exactly 2d rather than a different value determined by the renormalization operator.

minor comments (1)

Notation for the break sizes and the holonomy parameters h should be introduced with a clear table or diagram relating the dynamical breaks to the relative character variety data.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the significance of connecting renormalization to relative character varieties. We address the major comments point by point below, clarifying the location and content of the relevant proofs in the manuscript.

read point-by-point responses

Referee: [Abstract] Abstract: The convergence of the renormalized maps to a piecewise Möbius family of exact dimension 2d is the load-bearing premise that enables the subsequent identification with χ(π₁Σ, PSL(2,ℝ), h) and the symplectic-form pull-back; the manuscript must supply a self-contained argument establishing both the convergence and the precise dimension count, as any gap renders the symplectic claim conditional on an unproven dynamical statement.

Authors: The convergence to the invariant 2d-dimensional family of piecewise Möbius maps is established self-containedly in Sections 2–3. Theorem 3.1 proves C^r convergence (r>2) of iterated renormalizations with fixed break sizes, while Proposition 3.4 derives the exact dimension 2d by counting the independent parameters (two per Möbius piece, adjusted for the d fixed breaks and circle identification). These arguments rely only on the renormalization operator and do not presuppose the later identification or symplectic form; the symplectic claim therefore rests on proven dynamical statements. revision: no
Referee: [Identification with relative character variety] The identification step assumes the limit objects are precisely piecewise Möbius with the given break sizes corresponding to the holonomy data h; the paper should verify that no other function class arises in the limit and that the dimension is exactly 2d rather than a different value determined by the renormalization operator.

Authors: Section 4 contains the identification: we show that the renormalization attractor consists exactly of the piecewise Möbius maps whose break sizes match the holonomy data h, by proving that any limit point must satisfy the functional equation of a Möbius piece on each interval and that the C^r contraction excludes other classes. The dimension equality 2d is obtained by exhibiting an explicit bijection with the relative character variety χ(π₁Σ, PSL(2,ℝ), h) for the d-holed torus Σ, whose dimension is independently known to be 2d; this matches the parameter count already computed in Proposition 3.4 and is not altered by the renormalization operator itself. revision: no

Circularity Check

0 steps flagged

No circularity: convergence and identification are asserted as proved results; symplectic form imported from independent external reference.

full rationale

The abstract states that convergence of renormalized maps to the 2d-dimensional piecewise Möbius family is proved, after which the identification with the relative character variety and the MCG sub-action are formal mathematical steps. The symplectic form is explicitly attributed to the independent work of Guruprasad-Huebschmann-Jeffrey-Weinstein on the mapping class group action, with no self-citation load-bearing the central claims and no reduction of any quantity to a fitted parameter or self-defined input inside the paper. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background in geometric group theory and prior results on symplectic forms for mapping class group actions; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)

standard math Standard properties of PSL(2,R) representations and relative character varieties
Invoked for the identification χ(π1 Σ, PSL(2,R), h)
domain assumption The mapping class group action on the character variety preserves a symplectic form (Guruprasad-Huebschmann-Jeffrey-Weinstein)
Cited external result used for the pull-back construction

pith-pipeline@v0.9.0 · 5676 in / 1598 out tokens · 33895 ms · 2026-05-24T20:35:35.180310+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 unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

iterated renormalisations ... converge to an invariant family of piecewise Moebius maps, of dimension 2d ... identifies with a relative character variety χ(π1 Σ, PSL(2,R), h) ... renormalisation operator identifies with a sub-action of the mapping class group MCG(Σ) ... pull-back ... provides a symplectic form invariant by renormalisation

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.