Skip to main content

A registered result in its source context

Original ledger classification: Geometric isometry premise [O] (milder residual; the conformal-class identification is now implied) + [E] (the three cited reductions)

Recorded statement: THE SEAM-ISOMETRY PREMISE -- the milder, non-circular form of the single structural residual (QGEO.CONF.01 is REPLACED by it via three classical theorems; honest reduction, still OPEN): 'the carrier clock is an order-4…

Statement, assumptions and sources

Paper context: Origin Theory

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

QGEO.ISO.01

Original ledger classification: Geometric isometry premise [O] (milder residual; the conformal-class identification is now implied) + [E] (the three cited reductions)

Original claim text

THE SEAM-ISOMETRY PREMISE -- the milder, non-circular form of the single structural residual (QGEO.CONF.01 is REPLACED by it via three classical theorems; honest reduction, still OPEN): 'the carrier clock is an order-4 orientation-preserving ISOMETRY of the RP seam metric'. The chain: (1) UNIFORMISATION (Poincare-Koebe) -- a genus-0 Riemann surface is conformally P^1, and the RP seam metric induces a conformal structure on the genus-0 double (chi(S^2)=2 => g=0, P1/v179), so the double IS conformally P^1; the target P^1 is PRODUCED, not assumed; (2) KEREKJARTO (1919; Constantin-Kolev 2003) -- a finite-order orientation-preserving homeomorphism of S^2 is topologically conjugate to a rotation, so the order-4 clock (h(A3)=4, v179) is conjugate to z->iz even topologically; (3) ISOMETRY=>CONFORMAL=>MOEBIUS -- an orientation-preserving isometry of a Riemannian surface preserves angles hence is holomorphic, and Aut(P^1)=PSL(2,C), so an isometric order-4 clock is a Moebius map; (4) ORDER-4 MOEBIUS = z->iz (verified: projective order 4, fixed points {0,infinity}, multiplier i a primitive 4th root, elliptic, free orbit {1,i,-1,-i}=mu4 matching v179). Hence (genus-0 from P1) + (order-4 isometric clock) => the double is conformally P^1 with the clock z->iz, and with v179 (marks = the free orbit = mu4) the full QGEO.CONF.01 follows. So the conformal-class identification is NO LONGER the residual: it is IMPLIED by QGEO.ISO.01. RESIDUAL [O]: QGEO.ISO.01 is milder than QGEO.CONF.01 -- it does NOT name P^1/mu4 (uniformisation produces them) and is structural (the seam transport is metric-compatible, a holonomy preserving the RP inner product, the natural meaning of an RP seam clock). The surface-metric realisation of that isometry from the RAW seam is still a constructive-geometry statement, left honestly OPEN -- the single, now milder, structural residual of the whole theory

Original classification detail

Geometric [O]: QGEO.CONF.01 replaced by the milder seam-ISOMETRY premise (the clock is an order-4 isometry); conformal realisation now implied via uniformisation + Kerekjarto + finite-order Moebius

Dependencies as recorded

QGEO.CONF.01; QGEO.MARKS.01; AX.P1.01; v117_monodromy_weyl_a3.py; v179_conformal_realisation.py

Open the original ledger source, row 260

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

Sections that explicitly cite this claim

A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.

All 13 linked sections

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

All 16 linked sections

Registered verification modules

  • v180_clock_is_mobius.pyRegistered verification module · registry
    Read the description recorded in the module registry

    cracking QGEO.CONF.01 one level further — the conformal-realisation premise is REPLACED, via three classical theorems, by a strictly MILDER, non-circular premise QGEO.ISO.01: 'the carrier clock is an order-4 orientation-preserving ISOMETRY of the RP seam metric'. (1) Uniformisation (Poincaré-Koebe): a genus-0 Riemann surface is conformally ℙ¹, so the genus-0 seam double (P1, v179) IS ℙ¹ — the target is produced, not assumed; (2) Kerékjártó (1919; Constantin-Kolev 2003): a finite-order orientation-preserving homeo of S² is conjugate to a rotation, so the order-4 clock (h(A3)=4) is topologically z↦iz; (3) isometry⇒conformal⇒Möbius: an orientation-preserving isometry of a Riemannian surface is holomorphic, Aut(ℙ¹)=PSL(2,ℂ); (4) order-4 Möbius = z↦iz (verified: projective order 4, fixed {0,∞}, multiplier i, free orbit μ4). So QGEO.CONF.01 is IMPLIED by the milder isometry premise; the new residual QGEO.ISO.01 (the seam transport is a metric-compatible holonomy preserving the RP inner product) does not name ℙ¹/μ4 and is milder, but its surface realisation from the raw seam stays OPEN.

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries