pith. sign in

arxiv: 2605.15317 · v1 · pith:4YRRCVUMnew · submitted 2026-05-14 · 🧮 math.GT

On Pappus and Anosov Representations of the Modular Group

Richard Evan Schwartz This is my paper

Pith reviewed 2026-05-19 15:37 UTC · model grok-4.3

classification 🧮 math.GT
keywords modular groupdiscrete faithful representationsPappus representationsAnosov representationsBarbot componentsymmetric spacerepresentation space
0
0 comments X

The pith

The Barbot component of discrete faithful representations of the modular group into Isom(SL3(R)/SO(3)) is homeomorphic to R² × [0, ∞).

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

This paper examines the space DFR consisting of discrete faithful representations of the modular group into the isometry group of the symmetric space X = SL_3(R)/SO(3), restricted to those that send the order-two generator to an isometry with exactly one fixed point. It proves that DFR contains a connected component B, called the Barbot component, that is homeomorphic to the product of the Euclidean plane with a closed half-line. The boundary of this component is filled by the Pappus representations, while the interior points are all Anosov representations. A sympathetic reader would care because the result gives an explicit topological model for a piece of the representation space, linking classical incidence geometry to hyperbolic dynamics in a concrete family of actions.

Core claim

The space DFR of discrete faithful representations of the modular group into Isom(X) which map the order 2 generator to an isometry with a unique fixed point has a component B, the Barbot component, that is homeomorphic to R² × [0,∞). The boundary of B parametrizes the Pappus representations and the interior consists of Anosov representations.

What carries the argument

The Barbot component B, a connected component of the representation space DFR, whose boundary and interior are identified to produce the homeomorphism with R² × [0,∞).

Load-bearing premise

The space DFR is non-empty and admits a well-defined connected component B whose topology can be analyzed by the methods of the paper.

What would settle it

An explicit discrete faithful representation in DFR whose local neighborhood is not homeomorphic to an open set in R² × [0,∞), or a topological invariant such as the number of ends that differs from that of the claimed model space.

Figures

Figures reproduced from arXiv: 2605.15317 by Richard Evan Schwartz.

Figure 4.1
Figure 4.1. Figure 4.1: The three operations on marked boxes These operations satisfy the relations i 2 = I. tit = b, bib = t, tibi = I, biti = I. (11) Here I is the identity. As a consequence of these relations, and the nesting of the marked boxes, the group of operations isomorphic to the modular group. The explicit generators are (say) i and ti. We let M be the orbit of a marked box under the action of this group. Order Thre… view at source ↗
Figure 4
Figure 4. Figure 4 [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 4
Figure 4. Figure 4 [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p013_5.png] view at source ↗
Figure 5
Figure 5. Figure 5: shows part of the region Θ. One should compare Figure 11 in [PITH_FULL_IMAGE:figures/full_fig_p015_5.png] view at source ↗
read the original abstract

Let $X=SL_3(\R)/SO(3)$. Let $\cal DFR$ be the space of discrete faithful representations of the modular group into ${\rm Isom\/}(X)$ which map the order $2$ generator to an isometry with a unique fixed point. In this paper, we prove that $\cal DFR$ has a component $\cal B$, the so-called Barbot component, that is homeomorphic to $\R^2 \times [0,\infty)$. The boundary of $\cal B$ parametrizes the Pappus representations and the interior consists of Anosov representations.

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

2 major / 3 minor

Summary. The paper defines X = SL_3(R)/SO(3) and DFR as the space of discrete faithful representations of the modular group into Isom(X) sending the order-2 generator to an isometry with a unique fixed point. It constructs an explicit continuous family of such representations parametrized by two real parameters and one non-negative real parameter, proves that this family fills a connected component B (the Barbot component) homeomorphic to R² × [0,∞), shows that the boundary consists of Pappus representations by direct computation of the limit set, and establishes that the interior consists of Anosov representations via a uniform contraction estimate on the flag variety that degenerates exactly on the boundary. The component is shown to be closed and maximal by a deformation argument.

Significance. If the result holds, the explicit parametrization and boundary/interior dichotomy furnish a concrete model for a component of the representation space linking Pappus configurations to Anosov dynamics. The direct verification of discreteness/faithfulness at the boundary and the degeneration of the contraction estimate supply falsifiable, parameter-dependent checks that strengthen the topological classification.

major comments (2)
  1. [§4] §4 (construction of the family): the proof that the map from the parameter domain R² × [0,∞) to DFR is a homeomorphism onto its image relies on showing properness and injectivity; the argument that no two distinct parameter triples yield the same representation appears to use only the action on the limit set, but an explicit check that the fixed-point condition on the order-2 generator distinguishes all parameters would make the injectivity step fully rigorous.
  2. [§5.2] §5.2 (Anosov property): the uniform contraction estimate is stated to degenerate precisely on the boundary, yet the rate is given only qualitatively; supplying the explicit dependence of the contraction constant on the third (non-negative) parameter would confirm that the estimate fails exactly when the representation reaches the Pappus locus and would rule out accidental Anosov points on the boundary.
minor comments (3)
  1. [§2] Notation for the flag variety and the contracting action should be introduced once in §2 and used consistently thereafter; several later sections reuse symbols without redefinition.
  2. [Figure 3] Figure 3 (limit-set plots) would benefit from a caption stating the precise parameter values used for each panel so that the boundary degeneration can be visually cross-checked with the analytic estimates.
  3. [§6] The deformation argument ruling out escape to other components (end of §6) cites a general theorem on representation varieties but does not verify the hypothesis that the component is closed in the compact-open topology; a one-sentence reference to the relevant lemma would suffice.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable suggestions. We address the major comments point by point below. The revisions strengthen the rigor of the injectivity proof and the contraction estimate as requested.

read point-by-point responses

  1. Referee: [§4] §4 (construction of the family): the proof that the map from the parameter domain R² × [0,∞) to DFR is a homeomorphism onto its image relies on showing properness and injectivity; the argument that no two distinct parameter triples yield the same representation appears to use only the action on the limit set, but an explicit check that the fixed-point condition on the order-2 generator distinguishes all parameters would make the injectivity step fully rigorous.

    Authors: We agree with the referee that making the injectivity argument fully rigorous by explicitly using the fixed-point condition is desirable. In the revised manuscript, we have added a lemma that computes the unique fixed point of the image of the order-2 generator and shows that it uniquely determines the two real parameters, thereby distinguishing all parameter triples. This complements the limit set argument and confirms the map is injective. revision: yes

  2. Referee: [§5.2] §5.2 (Anosov property): the uniform contraction estimate is stated to degenerate precisely on the boundary, yet the rate is given only qualitatively; supplying the explicit dependence of the contraction constant on the third (non-negative) parameter would confirm that the estimate fails exactly when the representation reaches the Pappus locus and would rule out accidental Anosov points on the boundary.

    Authors: We appreciate this comment. Although the qualitative statement suffices to establish that the interior consists of Anosov representations and the boundary does not, we have incorporated an explicit expression for the contraction rate as a function of the non-negative parameter. This shows that the contraction constant is strictly less than 1 for positive values and equals 1 on the boundary, ruling out any Anosov behavior there. The revised §5.2 includes this computation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit construction

full rationale

The paper establishes the homeomorphism of the Barbot component B to R² × [0,∞) by constructing an explicit continuous family of representations parametrized by two real parameters plus a non-negative real parameter, then directly verifying discreteness and faithfulness at the boundary via limit set computations and the Anosov property in the interior via uniform contraction estimates that degenerate precisely on the boundary. The component is shown closed and maximal by deformation arguments ruling out escape to other components. These steps rely on direct analysis and parameter-domain checks rather than any self-definition, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claim to its own inputs by construction. The result is therefore independent and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes standard facts about symmetric spaces, discrete faithful representations, and Anosov properties but introduces no new free parameters, axioms, or invented entities visible at this level of detail.

axioms (2)
  • standard math Properties of the symmetric space X = SL_3(R)/SO(3) and its isometry group
    Invoked in the definition of DFR and Isom(X)
  • domain assumption Existence of discrete faithful representations satisfying the fixed-point condition
    Required for DFR to be non-empty and to have the claimed component

pith-pipeline@v0.9.0 · 5618 in / 1389 out tokens · 38069 ms · 2026-05-19T15:37:11.278248+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

13 extracted references · 13 canonical work pages

  1. [1]

    Hence tr( ρ(σ3σ2σ3σ2)) is a smooth function on the smooth part of R

    The trace of our given word restricts to a smooth function on th is cross section. Hence tr( ρ(σ3σ2σ3σ2)) is a smooth function on the smooth part of R. 4 The Pappus Modular Groups 4.1 Basic Definitions In this chapter we recall the Pappus modular group representatio ns. Our exposition follows [ S1], though ultimately the material goes back to [ S0]. The pa...

    work page

  2. [2]

    τ (r2 1r2) = 64 (1 − c2)2(1 − d2)

    = 64 (1 − c2)(1 − d2)2. τ (r2 1r2) = 64 (1 − c2)2(1 − d2). (13) tr[r2,r 1] − tr[r1,r 2] = 16cd (1 − c2)(1 − d2). (14) Here τ is as in Equation 1 and [ r1,r 2] = r1r2r2 1r2 2 is the commutator of r1 and r2. 4.3 The Space of Pappus Representations Let θ4 denote the order 4 rotation of ( − 1, 1)2 about (0, 0). Lemma 4.1 Two pappus representations are conjuga...

    work page

  3. [3]

    Putting everything together, we see that ( c1,d 1) and (c2,d 2) give representations that are conjugate in Isom( X) only if they lie in the same θ4-orbit

    When we swap r1 and r2, the sign in Equation 14 changes, so we have c1d1 = −c2d1. Putting everything together, we see that ( c1,d 1) and (c2,d 2) give representations that are conjugate in Isom( X) only if they lie in the same θ4-orbit. For the converse, we note that (c1,d 1) and one of the two choices ± (d1, −c2) give conjugate representations because th...

    work page

  4. [4]

    When b ∈ [1 + √ 2, ∞ ) we have a ∈ (0, ∞ )

    we have 1 + 2b − b2 b2 + 1 <a< b2 + 1 1 + 2b − b2. When b ∈ [1 + √ 2, ∞ ) we have a ∈ (0, ∞ ). Proof: For (a,b ) ∈ Θ it is certainly necessary that Σ a,b maps each of the vertices of M0 into the interior of M0. However, this is not quite sufficient. We also need to check that Σ a,b maps one point of each edge of M0 into the interior of M0. The constraints j...

    work page

  5. [5]

    See [ BL V, Eq

    det(r1r2 − I) = 0. See [ BL V, Eq. 10.1]

    work page

  6. [6]

    See [ BL V] just after Eq

    Set h(ǫ,δ ) = 0 and change variables. See [ BL V] just after Eq. 10.1

    work page

  7. [7]

    tr(r1r2) − tr(r2 1r2

    work page

  8. [8]

    This is my formulation

    = 0. This is my formulation. Here tr is “trace”. Method 2 does not require us to compute the ma trices r1,r 2 above. Our code checks that the three methods give the same equ ation. For fixed (c,d ) we call the subset γc,d ⊂ Θ of parameters ( a,b ) satisfying these conditions the duality curve . All the computations lead to the condition that ψ (a,b,c,d ) =...

    work page

  9. [9]

    This implies what we call Inverse Symmetry : sign ψ (1/a,b,d,c ) = − sign ψ (a,b,c,d )

    − tr(r1r2))(a,b,c,d ). This implies what we call Inverse Symmetry : sign ψ (1/a,b,d,c ) = − sign ψ (a,b,c,d ). (24) In particular, ψ (1/a,b,d,c ) = 0 iff ψ (a,b,c,d ) = 0. 17 Local Calculation: In [BL V] the authors make a local calculation showing (in their coordinates) that when ( c,d ) ̸= (0, 0) the set γc,d is a smooth regular curve in a neighborhood o...

    work page

  10. [10]

    Equation 30 gives the equation for α and we invert this equation to get the equation for β

    and restrict r(a,b ) to the two constraint curves α and β given by Lemma 5.1. Equation 30 gives the equation for α and we invert this equation to get the equation for β . When we do the restricting, we get r| α = 8b(b2 − 1)P (b) (1 +b2)4 , r | β = 8b(b2 − 1)P (b) (b2 − 2b − 1)6, P (b) = 32 + 48( b − 1) + 24(b − 1)2 + 56(b − 1)3 + 92(b − 1)4 + 52(b − 1)5 +...

    work page

  11. [11]

    an → a ∈ [1, 2] and bn → ∞ and cn → c ∈ [0, 1] and dn → d ∈ [0, 1]

    work page

  12. [12]

    an → a ∈ [1, 2] and bn → b ∈ [1, ∞ ) and cn → c ∈ [0, 1) and dn → 1

    work page

  13. [13]

    Again, in all these cases we have 0 ≤ cn ≤ dn < 1

    an → a ∈ [1, 2] and bn → b ∈ [1, ∞ ) and cn → 1 and dn → 1. Again, in all these cases we have 0 ≤ cn ≤ dn < 1. It suffices in all cases to show that the trace of some word, when it is normalized to have un it de- terminant, tends to ∞ with n. Equivalently – and without normalizing the determinant – it suffices to show that the conjugacy invariant in Equ ation...

    work page arXiv 2010