arXiv:2607.06473v1

Dynamics and geometry of character varieties for surface groups

David Chasteen-Boyd, Sara Maloni, Suzanne Schlich

math.GT14M3557M6057M5057K2037A25

Abstract

The problem of classifying geometric structures on manifolds is very much related to the discussion of the automorphism groups actions on character varieties, which are spaces of equivalence classes of representations. In this chapter we survey some results on this topic, mostly focusing on representations of surface groups (both in the orientable and non-orientable cases) and free groups. An important principle in the study of the dynamics on character varieties X=X(π1(S),G)X=X(π_1(S),G) for surface groups π1(S)π_1(S) is the following dichotomy: when the target group GG is compact, XX has nontrivial homotopy type, and the action of the mapping class group is chaotic; whereas when the target group GG is non-compact, XX contains contractible sets on which the mapping class group acts properly. We will expand on this dichotomy in various cases. After introducing the necessary background, we will discuss representations into PSL2(R)\mathsf{PSL}_2(\mathbb{R}) and PGL2(R)\mathsf{PGL}_2(\mathbb{R}), discussing the number of connected components, the geometric properties (Bowditch question), the dynamics (Goldman conjecture) and some components with an `exotic' behaviour (Deroin-Tholozan representations). We will also underline how the theory for representations of fundamental groups of orientable closed hyperbolizable surfaces needs to be adapted when one considers surfaces with punctures or non-orientable surfaces. We will then discuss representations into compact groups, where we will discuss mostly ergodicity results in various settings, and some non-ergodicity results at the end. Thirdly, we will consider representations in PSL2(C)\mathsf{PSL}_2(\mathbb{C}). We will discuss convex-cocompact representations, primitive-stable and Bowditch representations and their relationship. Finally, we will describe how some of the results mentioned can be generalized for representations into higher-rank Lie groups.

AI-generated audit

Audit summary

Audited against arXiv v1

Not a correctness certificate. A “Correct” result may include yellow typos or minor formal corrections that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.

Current report

Detailed mathematical audit

Generated August 18, 2026
01Statements2 reported findingsCorrect

This survey's central descriptions of component topology, mapping-class-group dynamics, properness domains, and ergodicity phenomena for surface-group character varieties are correct and are explicitly attributed to the relevant literature.

Survey synthesisCorrect

The stated character-variety results retain their hypotheses

Sections 2–7 · arXiv:2607.06473v1

The exposition distinguishes compact from split real groups, maximal and nonmaximal components, and proper from ergodic mapping-class-group actions. The Euler-class, Toledo-invariant, Higgs-bundle, and Anosov-representation inputs are invoked only in the regimes where the cited theorems apply. Open questions are marked as such rather than promoted to results.

Full survey, version 1
Sections 2–3Correct

Component and mapping-class dynamics results retain their topological hypotheses

Pages 4–27 · Sections 2–3 · arXiv:2607.06473v1

The survey distinguishes closed, bordered, orientable, and nonorientable surfaces and records Euler-class, Stiefel–Whitney, and boundary-sign data where required. Properness domains and ergodic components are presented as distinct conclusions, and the quoted results are not transferred between settings with different hypotheses.

02Proofs2 reported findingsCorrect

The paper is a survey rather than a source of new central proofs; its included derivations and proof sketches are correct at their announced level and point to complete sources.

Proof sketches throughoutCorrect and complete for a survey

Sketches accurately reflect the cited mechanisms

Sections 2–7 and bibliography · arXiv:2607.06473v1

The symplectic reduction, Higgs-bundle, properness, and ergodicity sketches preserve the essential hypotheses and conclusions of the cited results. No omitted argument is presented as a self-contained proof, and each substantial external theorem has a verifiable bibliographic locator.

Theorems 3.1–3.15Correct and complete

Quoted classification and dynamics theorems are used within their source scope

Pages 12–25 · Section 3 · arXiv:2607.06473v1

For each quoted theorem, the survey records the surface type, boundary restrictions, target group, and component invariant used in the cited result. The trace-coordinate examples and explanatory deductions are direct specializations and do not purport to prove stronger global claims than the sources.

03Novelty0 reported findingsNo non-novelty findings

No non-novelty findings.

Detailed audit reportFull reasoning, manuscript locations, and references.
Open report PDF ↗

Author response

Challenge an audit finding

Local workflow preview

A listed author may submit formal evidence that an audit is inaccurate. The response would be considered in a fresh AI re-evaluation; it would not edit the audit automatically.

Paper
arXiv:2607.06473v1
Authors listed
David Chasteen-Boyd, Sara Maloni, Suzanne Schlich
Audit date
August 18, 2026
  1. 01Establish identityMatch an authenticated scholarly identity to this paper.
  2. 02Submit evidenceIdentify the finding and give a formal mathematical response.
  3. 03Re-evaluateA separate agent checks the response and records a disposition.
Recommended production method

Authenticate with ORCID, then require an exact arXiv match

MathAudit should accept the identity only when ORCID OAuth authenticates the claimant's iD and this exact arXiv paper appears in arXiv's public authority feed for that iD. A matching name alone is not sufficient.

ORCID OAuth and arXiv authority-record lookup are not connected in this local prototype.

Email fallback for papers without a linked ORCID

A production fallback could send a one-time link only when the submitted address matches an independently maintained author-contact allowlist for this paper. MathAudit must return the same message for every address so the form cannot reveal which contacts are on that list.

This demonstration does not send, store, or compare the address.

Structured response preview

This form remains unavailable until production identity verification succeeds. Nothing entered here is submitted.

This panel never establishes authorship in the local prototype. A production result should be described narrowly as an authenticated ORCID match or control of a separately allowlisted author-contact mailbox.