Pith. sign in

REVIEW 1 minor 29 references

Holomorphic curves in compact quotients of SL(2,C)

T0 review · 0 major / 1 minor · reviewed 2026-06-30 · grok-4.3

Pith's one-line read Every discrete faithful representation of a surface group into SL(2,C) is the monodromy of a holomorphic connection on the trivial rank-2 vector bundle over a Riemann surface.

desk verdict Lin and Markovic settle the Margulis problem by showing every discrete faithful SL(2,C) surface group representation is the monodromy of a holomorphic connection on the trivial rank-2 bundle. read the letter →

arxiv 2605.24943 v1 pith:AKVZLZTN submitted 2026-05-24 math.GT

classification math.GT
keywords discretefaithfulrepresentationsSL(2C)holomorphicconnectionscompactquotientsMargulisproblemcurvesnon-abelianHodgecorrespondence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that any discrete faithful homomorphism from the fundamental group of a closed surface into SL(2,C) arises exactly as the monodromy representation of a holomorphic connection on the trivial rank-2 bundle over some Riemann surface. This identification is obtained by combining the non-abelian Hodge correspondence with WKB analysis and the Morgan-Shalen compactification. Once this link is established, the authors deduce that every compact quotient manifold of SL(2,C) must contain a holomorphic curve of genus at least two, thereby resolving the question known as Margulis' problem.

What carries the argument

The non-abelian Hodge correspondence, used together with WKB analysis and the Morgan-Shalen compactification, to realize discrete faithful representations as monodromy of holomorphic connections on the trivial bundle.

What would settle it

A single discrete faithful representation of a surface group into SL(2,C) that cannot be realized as the monodromy of any holomorphic connection on the trivial rank-2 bundle over any Riemann surface would falsify the claim.

Watch

Extended reading notes

Core claim

Every discrete faithful representation of the surface group into SL(2,C) is the monodromy of a holomorphic connection on the trivial rank-2 vector bundle over a Riemann surface. This fact implies that every compact quotient of SL(2,C) contains a holomorphic curve of genus at least two.

Load-bearing premise

The non-abelian Hodge correspondence and WKB analysis apply directly to discrete faithful representations into SL(2,C) without further restrictions on the representation.

Editorial extensions

If this is right

  • Every compact quotient of SL(2,C) contains a holomorphic curve of genus at least two.
  • The question of Ghys and Huckleberry-Winkelmann on the existence of such curves is settled in the affirmative.
  • Discrete faithful representations into SL(2,C) are completely classified by holomorphic data on the trivial bundle.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The result supplies a holomorphic-curve criterion that could be used to detect non-discrete representations or to study deformation spaces of surface groups inside SL(2,C).
  • If the same identification holds for other complex Lie groups, compact quotients of those groups would likewise contain high-genus holomorphic curves.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 1 minor

Summary. The paper claims to prove that every discrete faithful representation of a surface group into SL(2,C) is the monodromy of a holomorphic connection on the trivial rank-2 vector bundle over a Riemann surface. As an application, it resolves a question of Ghys and Huckleberry-Winkelmann (Margulis' problem) by showing that every compact quotient of SL(2,C) contains a holomorphic curve of genus at least two. The argument invokes the Non-Abelian Hodge correspondence, WKB analysis, and the Morgan-Shalen compactification.

Significance. If the result holds, it would connect the representation theory of surface groups with the existence of holomorphic curves in complex quotients of SL(2,C), providing a positive answer to an open question in complex geometry. The use of established tools from non-abelian Hodge theory and compactifications of character varieties is a strength if the applicability is verified without additional restrictions.

minor comments (1)
  1. [Abstract] Abstract: 'surfcae group' is a typographical error and should read 'surface group'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary of our manuscript and for noting its potential significance in connecting surface group representations with holomorphic curves in SL(2,C) quotients. No specific major comments or points of criticism are listed in the report, and the recommendation is listed as uncertain without further elaboration. We address the referee's summary below.

read point-by-point responses
  1. Referee: The paper claims to prove that every discrete faithful representation of a surface group into SL(2,C) is the monodromy of a holomorphic connection on the trivial rank-2 vector bundle over a Riemann surface. As an application, it resolves a question of Ghys and Huckleberry-Winkelmann (Margulis' problem) by showing that every compact quotient of SL(2,C) contains a holomorphic curve of genus at least two. The argument invokes the Non-Abelian Hodge correspondence, WKB analysis, and the Morgan-Shalen compactification.

    Authors: This is an accurate summary of the main result and its application. The proof proceeds by applying the Non-Abelian Hodge correspondence to associate the given discrete faithful representation to a Higgs bundle on a Riemann surface, then using WKB analysis to establish the existence of a holomorphic connection on the trivial bundle with the given monodromy, and finally invoking the Morgan-Shalen compactification to control the degeneration and confirm the genus bound in the quotient. We maintain that the argument applies without additional restrictions beyond those stated in the manuscript. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper states its main theorem as a consequence of three established external tools (Non-Abelian Hodge correspondence, WKB analysis, Morgan-Shalen compactification) applied to discrete faithful representations. No derivation chain is presented in which a claimed prediction or uniqueness result is obtained by fitting parameters to the target data, by self-definition, or by load-bearing self-citation whose content reduces to the present claim. The argument is therefore self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Holomorphic curves in compact quotients of SL(2,C)." pith.science (2026). https://pith.science/paper/AKVZLZTN

@misc{pith2026260524943,
  author       = {Pith},
  title        = {Pith review of: Holomorphic curves in compact quotients of SL(2,C)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AKVZLZTN}},
  note         = {Machine review of arXiv:2605.24943}
}
read the original abstract

We prove that every discrete faithful representation of the surfcae group into SL(2,C) is the monodromy of a holomorphic connection on the trivial rank-2 vector bundle over a Riemann surface. As an application, we answer the question posed by Ghys and Huckleberry-Winkelmann (known as the Margulis' problem) by proving that every compact quotient of SL(2,C) contains a holomorphic curve of genus at least two. The main tools we use are the Non-Abelian Hodge correspondence, the WKB analysis, and the Morgan-Shalen compactification.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 2 canonical work pages

  1. [1]

    Biswas and S

    I. Biswas and S. Dumitrescu,The monodromy map from differential systems to character variety is generically immersive.Publ. Res. Inst. Math. Sci., Vol 59 , 821-842, (2023)

  2. [2]

    Biswas, and S

    I. Biswas, and S. Dumitrescu, L. Heller, S. Heller,Holomorphicsl(2,C)-systems with Fuchsian monodromy (with an appendix by Takuro Mochizuki).Ann. H. Lebesgue, Vol 8, 589-634, (2025)

  3. [3]

    Biswas, and S

    I. Biswas, and S. Dumitrescu, L. Heller, S. Heller,On the existence of holomorphic curves in compact quotients ofSL 2(C).arXiv:2112.03131

  4. [4]

    Calsamiglia, B

    G. Calsamiglia, B. Deroin, V. Heu and F. Loray,The Riemann-Hilbert mapping forsl 2 systems over genus two curves.Bull. Soc. Math. France, Vol 147, 159-195, (2019)

  5. [5]

    Choudhury, V

    D. Choudhury, V. Markovi´ c,Measured foliations at infinity of quasi-Fuchsian manifolds.to appear in Algebraic and Geometric Topology, arXiv:2505.04111

  6. [6]

    Daskalopoulos, S

    G. Daskalopoulos, S. Dostoglou, R. Wentworth,On Morgan-Shalen compactification of the SL2(C)character varieties of surface groups.Duke Mathematics Journal, Vol 101, no. 2, 189-207, (2000)

  7. [7]

    Dumas, A

    D. Dumas, A. Neitzke,Asymptotics of Hitchin’s metric on the Hitchin section.Comm. Math. Phys. Vol 367, no 1, 127-150, (2019)

  8. [8]

    Freed,Special K¨ ahler manifolds.Comm

    D. Freed,Special K¨ ahler manifolds.Comm. Math. Phys., Vol 203, no 1, 31-52, (1999)

Show all 29 references
  1. [9]

    Fredrickson,Exponential decay for the asymptotic geometry of the Hitchin metric.Comm

    L. Fredrickson,Exponential decay for the asymptotic geometry of the Hitchin metric.Comm. Math. Phys., Vol 375, no. 2, 1393-1426, (2020)

  2. [10]

    Gaiotto, G

    D. Gaiotto, G. Moore, A. Neitzke,Wall-crossing, Hitchin systems, and the WKB approxima- tion.Adv. Math., Vol 234, 239-403, (2013)

  3. [11]

    Ghys,D´ eformations des structures complexes sur les espaces homog` enes deSL(2,C).J

    E. Ghys,D´ eformations des structures complexes sur les espaces homog` enes deSL(2,C).J. Reine Angew. Math., Vol 468, 113-138, (1995)

  4. [12]

    Gieseker,A lattice version of the KP equation.Acta Mathematica, Vol

    D. Gieseker,A lattice version of the KP equation.Acta Mathematica, Vol. 168, 219-248, (1992)

  5. [13]

    Goldman,The symplectic nature of fundamental groups of surfaces.Advances in Mathe- matics, Vol 54, 200-225

    W. Goldman,The symplectic nature of fundamental groups of surfaces.Advances in Mathe- matics, Vol 54, 200-225. (1984)

  6. [14]

    Hartshorne,Algebraic geometry.Graduate Texts in Mathematics, Springer-Verlag, Vol

    R. Hartshorne,Algebraic geometry.Graduate Texts in Mathematics, Springer-Verlag, Vol. 52, (1977) HOLOMORPHIC CURVES IN COMPACT QUOTIENTS SL 2(C)/Λ 31

  7. [15]

    H-J. Hein, V. Tosatti,Remarks on the collapsing of torus fibered Calabi-Yau manifolds.Bull. Lond. Math. Soc., Vol 47, no. 6, 1021-1027, (2015)

  8. [16]

    Hitchin,The self-duality equations on a Riemann surface.Proceedings London Mathe- matical Society, Vol 55, o

    N. Hitchin,The self-duality equations on a Riemann surface.Proceedings London Mathe- matical Society, Vol 55, o. 1, 59-126, (1987)

  9. [17]

    Huckleberry, G

    A. Huckleberry, G. Margulis,Invariant analytic hypersurfaces.Inventiones Mathematicae, Vol. 71, no 1, 235-240 (1983)

  10. [18]

    Huckleberry, J

    A. Huckleberry, J. Winkelmann,Subvarieties of parallelizable manifolds.Mathematische An- nalen, Vol 295, no 3, 469-483, (1993)

  11. [19]

    J. Kahn, V. Markovi´ c,Immersing almost geodesic surfaces in a closed hyperbolic three man- ifold.Annals of Mathematics 175 (3), 1127-1190, (2012)

  12. [20]

    J. Kahn, V. Markovi´ c,Counting essential surfaces in a closed hyperbolic three-manifold. Geometry Topology, Vol 16, no.1, 601-624, (2012)

  13. [21]

    Katzarkov, A

    L. Katzarkov, A. Noll, P. Pandit, C. Simpson,Harmonic maps to buildings and singular perturbation theory.Communications in Mathematical Physics, Vol 336, no. 2, 853-903, (2015)

  14. [22]

    Kerckhoff, H

    S. Kerckhoff, H. Masur, J. Smillie,Ergodicity of billiard flows and quadratic differentials. Annals of Mathematics, Vol 124, no. 2, 293-311, (1986)

  15. [23]

    Markovi´ c, O

    V. Markovi´ c, O. Toˇ si´ c,Derivative of the Riemann–Hilbert map.Bulletin London Mathemat- ical Society, Vol 57, no 8, 2253-2264, (2025)

  16. [24]

    Mazzeo, J

    R. Mazzeo, J. Swoboda, H. Weiss, F. Witt,Asymptotic geometry of the Hitchin metric. Comm. Math. Phys. Vol 367, no. 1, 151-191, (2019)

  17. [25]

    Mochizuki,Asymptotic behaviour of certain families of harmonic bundles on Riemann surfaces.Journal of Topology, Vol 9, no

    T. Mochizuki,Asymptotic behaviour of certain families of harmonic bundles on Riemann surfaces.Journal of Topology, Vol 9, no. 4, 1021-1073, (2016)

  18. [26]

    Royden,The Ahlfors-Schwarz lemma in several complex variables.Comment

    H. Royden,The Ahlfors-Schwarz lemma in several complex variables.Comment. Math. Helv., Vol 55, no. 4, 547-558, (1980)

  19. [27]

    Skora,Splittings of surfaces.Journal American Mathematical Society, Vol 9, 605-616 (1996)

    R. Skora,Splittings of surfaces.Journal American Mathematical Society, Vol 9, 605-616 (1996)

  20. [28]

    T, Yau,A general Schwarz lemma for K¨ ahler manifolds.American Journal Mathematics, Vol 100, no

    S. T, Yau,A general Schwarz lemma for K¨ ahler manifolds.American Journal Mathematics, Vol 100, no. 1, 197-203, (1978)

  21. [29]

    T, Yau,On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge- Amp` ere equation I.Comm

    S. T, Yau,On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge- Amp` ere equation I.Comm. Pure Appl. Math., Vol 31, no. 3, 339-411, (1978) YMSC Tsinghua University China

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.