pith. sign in

arxiv: 2412.18457 · v6 · submitted 2024-12-24 · 🧮 math.GT

Patterns of Geodesics, Shearing, and Anosov Representations of the Modular Group

Richard Evan Schwartz This is my paper

Pith reviewed 2026-05-23 07:38 UTC · model grok-4.3

classification 🧮 math.GT
keywords modular groupAnosov representationsPappus representationsBarbot componentgeodesic patternsshearing operationsFarey triangulationSL(3,R)/SO(3)
0
0 comments X

The pith

The Barbot component of discrete faithful representations of the modular group into isometries of SL_3(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.

The paper examines the space DFR 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 sending the order-2 generator to an isometry with a unique fixed point. It focuses on the Barbot component B inside DFR and shows that this component is homeomorphic to R² × [0,∞). The boundary of B corresponds to Pappus representations, while the interior corresponds to a complete family of Anosov representations that arise by applying two shearing operations to patterns of geodesics whose asymptotics resemble the Farey triangulation or its shears; the shearing is organized by two foliations of B into rays.

Core claim

The Barbot component B is homeomorphic to R² × [0,∞). Its boundary parametrizes the Pappus representations, and its interior parametrizes the complete extension of the Anosov representations. Members of B are isometry groups of embedded geodesic patterns in X that have asymptotic properties like the edges of the Farey triangulation or shears thereof. The Anosov representations are obtained from the Pappus representations by either of two shearing operations in X, and the shearing structure is encoded by two proper foliations of B into rays.

What carries the argument

The Barbot component B of DFR, which organizes representations as isometry groups of geodesic patterns in X that admit two shearing operations.

If this is right

  • The space of these representations has the topology of a half-plane crossed with a half-line.
  • Anosov representations arise continuously from Pappus representations through shearing along the foliations.
  • Every representation in B corresponds to an embedded pattern of geodesics with Farey-like asymptotics or a shear of such a pattern.
  • The two foliations give a global coordinate system on B that tracks the two independent shearing directions.

Where Pith is reading between the lines

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

  • The homeomorphism implies that the component admits a natural compactification whose boundary is the Pappus locus.
  • The shearing construction may extend to other surface groups or higher-rank symmetric spaces by replacing the modular group with a suitable Fuchsian group.
  • The geodesic patterns provide an explicit geometric model that could be used to compute invariants such as the Toledo invariant or cross ratios along the representations.

Load-bearing premise

The Barbot component is a well-defined connected component of DFR and the described geodesic patterns exist and behave without further constraints from the ambient geometry of X.

What would settle it

Discovery of a representation inside the Barbot component whose geodesic pattern cannot be obtained from a Pappus representation by the two shearing operations, or whose deformation class cannot be parametrized by R² × [0,∞).

Figures

Figures reproduced from arXiv: 2412.18457 by Richard Evan Schwartz.

Figure 1.1
Figure 1.1. Figure 1.1: Part of a marked box orbit. 1The Pappus representations are called Schwartz representations in [V] and [BLV]. 2 [PITH_FULL_IMAGE:figures/full_fig_p002_1_1.png] view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: Part of the Farey triangulation and dual horodisk packing The tangency points of the horodisks in the packing are distinguished points on the geodesics of the Farey pattern. We call these the inflection points of the geodesic. A more robust definition of the inflection points goes like this: Any ideal triangle in H2 has an order 6 symmetry group. The elements of order 2 are reflections about geodesics wh… view at source ↗
Figure 4
Figure 4. Figure 4: shows the 4 possibilities. In the first two cases the points a [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: shows the 4 possibilities. In the first two cases the points are not visible because they lie in the line at infinity [PITH_FULL_IMAGE:figures/full_fig_p018_4_1.png] view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: A normlized Flag In the case shown in [PITH_FULL_IMAGE:figures/full_fig_p026_5_1.png] view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: The Flags: We represent our points by 3-vectors in Mathematica: a1 = (1, 0, 1) a2 = (−1/2, √ 3/2, 1), a3 = (−1/2, − √ 3/2, 1). (13) The lines in [PITH_FULL_IMAGE:figures/full_fig_p027_5_1.png] view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: The three operations on marked boxes packing These operations satisfy the relations i 2 = I. tit = b, bib = t, tibi = I, biti = I. (31) 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. 35… view at source ↗
Figure 6
Figure 6. Figure 6 [PITH_FULL_IMAGE:figures/full_fig_p036_6.png] view at source ↗
Figure 6.3
Figure 6.3. Figure 6.3: A shrinking quadrilateral Let Mn = M(xn, yn) be the initial marked box. Without loss of generality we can assume that xn → 0. One can easily check either geometrically or by computing that the diameter of the marked box bt3 (Mn) tends to 0 in this case [PITH_FULL_IMAGE:figures/full_fig_p040_6_3.png] view at source ↗
Figure 7
Figure 7. Figure 7 [PITH_FULL_IMAGE:figures/full_fig_p042_7.png] view at source ↗
Figure 7
Figure 7. Figure 7 [PITH_FULL_IMAGE:figures/full_fig_p045_7.png] view at source ↗
Figure 7
Figure 7. Figure 7 [PITH_FULL_IMAGE:figures/full_fig_p046_7.png] view at source ↗
Figure 7
Figure 7. Figure 7 [PITH_FULL_IMAGE:figures/full_fig_p047_7.png] view at source ↗
Figure 8
Figure 8. Figure 8 [PITH_FULL_IMAGE:figures/full_fig_p055_8.png] view at source ↗
Figure 8
Figure 8. Figure 8 [PITH_FULL_IMAGE:figures/full_fig_p056_8.png] view at source ↗
Figure 8
Figure 8. Figure 8 [PITH_FULL_IMAGE:figures/full_fig_p061_8.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. I prove many things about the component $\cal B$ of $\cal DFR$ known as the Barbot component: It is homeomorphic to $\R^2 \times [0,\infty)$. The boundary parametrizes the Pappus representations from [{\bf S0\/}]. The interior parametrizes the complete extension of the family of Anosov representations from [{\bf BLV\/}]. The members of $\cal B$ are isometry groups of embedded patterns of geodesics in $X$ which have asymptotic properties like the edges of the Farey triangulation or shears thereof. The Anosov representations are obtained from the Pappus representations by either of two shearing operations in $X$. The shearing structure is encoded by two proper foliations of $\cal B$ into rays.

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

0 major / 2 minor

Summary. The manuscript defines the space DFR of discrete faithful representations of the modular group into Isom(X) for X = SL_3(R)/SO(3) with the order-2 generator sent to an isometry with unique fixed point. It focuses on the Barbot component B, proving that B is homeomorphic to R² × [0,∞), that its boundary parametrizes the Pappus representations of [S0], and that its interior parametrizes the complete extension of the Anosov representations of [BLV]. The elements of B are realized as isometry groups of embedded geodesic patterns in X with asymptotic properties analogous to the Farey triangulation (or shears thereof), and the Anosov representations are obtained from the Pappus ones by either of two explicit shearing operations whose structure is encoded by two proper foliations of B into rays.

Significance. If the topological and geometric claims hold, the paper supplies a complete parametrization of the Barbot component together with an explicit geometric model via geodesic patterns and shearing. This furnishes a concrete bridge between the Pappus and Anosov families and gives a foliated description of the deformation space that may be useful for further study of higher Teichmüller theory and Anosov representations in rank-2 symmetric spaces. The explicit realization as isometry groups of Farey-like patterns is a concrete strength.

minor comments (2)
  1. [§1] The definition of DFR and the identification of its Barbot component B are taken from prior literature; a brief self-contained recap of the precise fixed-point condition and the connectedness argument would improve readability in §1.
  2. [§4] The two shearing operations are described geometrically but the verification that the resulting representations remain discrete and faithful after shearing is referenced to the foliations; a short lemma or proposition stating the preservation of discreteness would make the argument easier to follow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of the manuscript and the positive assessment of its significance. The recommendation for minor revision is noted; however, the report contains no specific major comments requiring response.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper proves new topological and dynamical properties of the Barbot component B in DFR, including its homeomorphism to R² × [0,∞), boundary parametrization by Pappus representations, interior by Anosov extensions, and encoding of shearing via foliations. These rest on the prior definition of DFR and B from external literature but introduce independent constructions (shearing operations, geodesic patterns, foliations) that do not reduce by definition, fitting, or self-citation to the inputs. No equations or steps exhibit self-definitional equivalence, fitted inputs renamed as predictions, or load-bearing self-citation chains; reliance on [S0] and [BLV] is standard external support rather than circular justification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper is a pure-mathematics proof article. No numerical free parameters are introduced. The central claims rest on standard background results in Lie groups, symmetric spaces, and discrete subgroups rather than ad-hoc axioms invented for this work.

axioms (2)
  • domain assumption The space DFR of discrete faithful representations with the stated fixed-point condition on the order-2 generator is well-defined and has a connected component B (the Barbot component) whose properties can be studied independently.
    Invoked in the opening definition of DFR and B; the homeomorphism and shearing results are stated for this component.
  • domain assumption The geodesic patterns associated to representations in B have the stated asymptotic properties relative to the Farey triangulation.
    Used to characterize the members of B; appears in the description of the isometry groups.

pith-pipeline@v0.9.0 · 5718 in / 1788 out tokens · 19434 ms · 2026-05-23T07:38:55.031778+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    The order 3 counterclockwise rotation about the origin has the a ction ∆(fk) → ∆(fk+1)

    work page

  2. [2]

    What this means is that if we have a generic prism, we can always norma lize it so that the corresponding flags are as in Figure 5.1, with a1 between a3 and b1

    The triple invariant of these new flags is the reciprocal of the trip le invariant of the original flags. What this means is that if we have a generic prism, we can always norma lize it so that the corresponding flags are as in Figure 5.1, with a1 between a3 and b1. See §5.6 for more details. 26 5.3 The Big Calculation In this section will compute g2, the el...

    work page

  3. [3]

    The flag f ′ 1 is distinct from f1 because the eigenvalues are different

    corre- sponding to the eigenvalue 1 /λ ofg2 and (g− 2)t. The flag f ′ 1 is distinct from f1 because the eigenvalues are different. The eigenflag f ′ 1 has a monstrous formula, but the coordinates are rational functions of r,s,t . We get a new triple of flags by taking the orbit of ( p′ 1,L ′

    work page

  4. [4]

    Thus p′ k+1 = M3(p′ k) and Lk+1 = M3(L′ k)

    under the action of M3. Thus p′ k+1 = M3(p′ k) and Lk+1 = M3(L′ k). Normallly we would use the inverse- transpose to compute the new lines, but in this case ( M − 1 3 )t =M3. The new triple of flags in turn defines a new prism Π ′ together with a new flat F ′ of Π ′ corresponding the flags ( b′ 1,L ′

    work page

  5. [5]

    We compute (in Mathematica) that ρ(σ2) swaps ( b′ 1,L ′

    and (b′ 2,L ′ 3). We compute (in Mathematica) that ρ(σ2) swaps ( b′ 1,L ′

    work page

  6. [6]

    This means that the fixed point of ρ(σ2) in X, namely the generating point p for our repre- sentation, also lies in F ′

    with ( b′ 2,L ′ 3). This means that the fixed point of ρ(σ2) in X, namely the generating point p for our repre- sentation, also lies in F ′. So, the pair (Π ′,p ) is a second description of the same prism group. Exactly one prism pair is attracting and one is repe lling. This proves Theorem 5.2 in the generic case. 29 The Non-Generic Cases: For the totally...

    work page

  7. [7]

    The points (r,s,t ) and (rd,sd,t ) parametrize representations which are√ 2/ 3 log(d) units apart along an orthogonal singular geodesic

    work page

  8. [8]

    Proof: Referring to Equation 18, let I0 =M2(r,s,t ) and I1 =M2(rd,sd,t )

    The points (r,s,t ) and (rd,s/d,t ) parametrize representations which are √ 2 log(d) units apart along a medial geodesic. Proof: Referring to Equation 18, let I0 =M2(r,s,t ) and I1 =M2(rd,sd,t ). Let J = (I − 1 1 )tI0. ThenJ is a translation along F along the vector which is twice the difference between the fixed points of I0 and I1. We compute that the eig...

    work page

  9. [9]

    The key obser- vation is that the attracting rays of γ and γ′ point in the about the same rather than about opposite directions

    are two nearby prism pairs, then the points pr and p′ r are also close in X. The key obser- vation is that the attracting rays of γ and γ′ point in the about the same rather than about opposite directions. The properness follows fr om the fact that, asr → ∞ , the distance from pr to the inflection line of Π tends to ∞ . ♠ 38 6.4 The Image in the Big Repres...

    work page

  10. [10]

    Trace(r1r2) − Trace(r2 1r2

    work page

  11. [11]

    This is my formulation

    = 0. This is my formulation

    work page

  12. [12]

    See [ BL V, Eq

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

    work page

  13. [13]

    Dirichlet domains for Anosov subgroups

    h(ǫ,δ ) = 0. See [ BL V] just after Eq. 10.1. All the computations lead to the condition that ψ (a,b,c,d ) = 0, where ψ (a,b,c,d ) is the following expression. − 2a4b4c2d2 +a4b4c2 +a4b4d2 − 4a4b2c2d2 + 2a4b2c2 + 2a4b2d2 − 2a4c2d2 +a4c2 +a4d2 +a3b4c3d − 2a3b4c2d2 +a3b4c2 −a3b4cd3 +a3b4d2 − a3c3d + 2a3c2d2 − a3c2 +a3cd3 −a3d2 + 2a2b4c3d − 2a2b4cd3 − 4a2b3c3...

    work page internal anchor Pith review Pith/arXiv arXiv 2010