REVIEW 3 major objections 4 minor 30 references
Density of integral points in the Betti moduli of quasi-projective varieties
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that for $G=\mathrm{SL}_{2,\mathbb{Z}}$ or $G=\mathrm{PGL}_{2,\mathbb{Z}}$, integral points are potentially Zariski-dense in the relative character variety $X_{G,C}(Y)$ of any smooth quasi-projective complex variety with…
desk verdict Strong new theorem on potential density of integral points for rank-2 character varieties; the orbicurve reduction is fine for PGL2, and the paper should clarify the status of the SL2 case. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The motor of the proof is the pair consisting of pants-decomposition trace coordinates and $P$-good integral points. A pants decomposition $P=a_1\cup\dots\cup a_{3g-3+n}$ of $\Sigma_{g,n}$ gives a trace map $\mathrm{tr}_P:X_{g,n,k}\to\mathbb{A}^{3g-3+n}$. A point is $P$-good when each coordinate of $\mathrm{tr}_P$ lies outside $E=\{\zeta+\zeta^{-1}:\zeta\text{ a root of unity}\}$ and the fiber is perfect, meaning traces avoid $\pm 2$ and the restriction to each pair of pants is irreducible; then a parametrization identifies the fiber with an algebraic torus $\mathbb{G}_m^{3g-3+n}$ on which Dehn twists act by independent coordinatewise multiplications, so the twist orbit, and hence the full pure mapping class group orbit, is Zariski-dense. The arithmetic half is a gluing toolbox: the sets $M_K$ and $N_K$ of integral matrices with unit off-diagonal entries are used to build integral $\mathrm{SL}_2(\mathcal{O}_L)$-representations on pairs of pants, once-punctured tori, and two-holed tori that are $P$-good, and these are glued along common boundary monodromy to cover every $\Sigma_{g,n}$ with $3g-3+n>0$. For $\mathrm{PGL}_2$ and the closed-surface case, the same dynamics is run on $X_{g,-I}$, the relative variety of representations with monodromy $-I$ around a puncture, where the fiber is a smaller torus $\mathbb{G}_m^{3g-3}$.
What would settle it
Exhibit a smooth quasi-projective variety $Y$ and a connected component of $X_{\mathrm{SL}_2,C}(Y)$ of positive dimension whose generic representation has Zariski-dense image, has some boundary trace outside $E=\{\zeta+\zeta^{-1}\}$, and does not factor through any orbicurve; the proof in Section 7.4 asserts that no such component exists, so one explicit example would falsify the reduction. Alternatively, on the surface side, find a boundary tuple $k$ for which the relative character variety $X_{g,n,k}$ has no Zariski-dense set of $\mathcal{O}_L$-points after any finite extension $L$, contradicting Theorem 5.0.4.
Extended reading notes
Core claim
The central result is Theorem 1.1.2: for $G=\mathrm{SL}_{2,\mathbb{Z}}$ or $\mathrm{PGL}_{2,\mathbb{Z}}$, a number field $K$, and a tuple $C\in (G/\mathrm{ad}G)(\mathcal{O}_K)^n$ fixing the traces of monodromy around each boundary component of a simple normal crossings compactification, there is a finite extension $L/K$ such that $\mathcal{O}_L$-points are Zariski-dense in $X_{G,C}(Y)$. For a surface $\Sigma_{g,n}$, potential density is obtained by exhibiting an integral representation $\rho$ that is $P$-good for a pants decomposition $P$: the traces of $\rho$ along the pants curves avoid the set $E=\{\zeta+\zeta^{-1}:\zeta\text{ a root of unity}\}$ and the corresponding fiber of the trace map is perfect. A dynamical lemma then shows that the orbit of $\rho$ under the pure mapping class group is Zariski-dense in the whole relative character variety, and since the action preserves integrality, the density of $\mathcal{O}_L$-points follows. For arbitrary $Y$, the same statement is forced by the rank-two classification: any Zariski-dense local system is either rigid and quasi-unipotent, hence integral, or pulled back from an orbicurve, and relative character varieties of orbicurves are disjoint unions of those of surface groups. For $\mathrm{PGL}_2$, the proof first handles the locus of representations with monodromy $-I$ around a puncture, then lifts the resulting density from $\mathrm{PGL}_2$ to $\mathrm{SL}_2$ through a finite morphism.
Load-bearing premise
The proof rests on a cited classification theorem saying that every Zariski-dense rank-two local system on a smooth quasi-projective variety either factors through an orbicurve or is rigid, quasi-unipotent, and already integral; if that classification has a counterexample, the reduction of the whole problem to punctured surfaces fails.
Editorial extensions
If this is right
- Conjecture 1.1.1 is settled for $G=\mathrm{SL}_{2,\mathbb{Z}}$ and $G=\mathrm{PGL}_{2,\mathbb{Z}}$: every relative character variety of either group, with arbitrary algebraic-integer boundary data on any smooth quasi-projective $Y$, has potentially Zariski-dense integral points.
- This supplies the first positive-dimensional cases of the rank-two integrality conjecture for local systems, going beyond isolated rigid representations.
- For surfaces, the construction works over a biquadratic extension of the field generated by the boundary traces, and the cubic $x^2+y^2+z^2-xyz=3$ shows that some field extension is genuinely necessary.
- Because these relative character varieties are log Calabi-Yau, the theorem confirms the expected potential density of integral points for log Calabi-Yau varieties in these cases.
Reading between the lines
- The gluing construction depends on infinitely many units in the ring of integers; a natural test is whether enlarging a field with finite unit group, such as an imaginary quadratic field, defeats the method, and whether some other source of integral matrices then supplies the same density.
- If analogous unit-matrix sets exist for $\mathrm{SL}_n$, the same pants-decomposition dynamics would suggest potential density for higher-rank Betti moduli on punctured surfaces, with the main difficulty being an $n$-dimensional analogue of the $P$-good conditions.
- One could test the orbicurve reduction directly on a concrete orbicurve with nontrivial generic stabilizer, such as a weighted projective line, to see how the disjoint-union structure of its relative character varieties behaves; the paper treats this case only through the classification theorems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves potential density of integral points in the relative SL2 and PGL2 character varieties of a smooth quasi-projective complex variety Y, with fixed algebraic-integer trace data along the boundary of a simple normal crossings compactification. The proof combines a detailed surface-group theorem (explicit integral P-good representations with Zariski-dense pure mapping class group orbits, constructed via the matrix families M_K, N_K, L_K and gluing along pants decompositions) with a reduction from arbitrary quasi-projective Y to curves using the Corlette–Simpson and Loray–Pereira–Touzet classification of rank-two local systems. The main theorem (Theorem 1.1.2) would resolve Conjecture 1.1.1 for G = SL2 and PGL2 and would give the first positive-dimensional cases of Simpson's integrality conjecture for rank 2.
Significance. If the result is correct, it is a substantial advance: it settles Campana's conjecture for these SL2/PGL2 relative character varieties and provides the first positive-dimensional evidence for Simpson's integrality conjecture beyond rigid local systems. The surface-group part is a strong technical contribution: the explicit matrix families, the P-good point constructions, the X_{g,-I} technology, and the careful bookkeeping of field extensions are detailed and largely self-contained. The paper also clearly identifies which ingredients come from external classification theorems. However, the quasi-projective reduction in §7.4 is the most fragile part of the manuscript, and two load-bearing gaps there and in Proposition 3.1.10 currently prevent the main theorem from being proven as written.
major comments (3)
- [§3.1, Lemma 3.1.8] Lemma 3.1.8 is false as stated for N > 1. The proof asserts that the orbit of any point of G_m^{3g-3+n} under the group generated by the diagonal transformations T_{z_i} is Zariski dense when each t_i lies in A^1(Q) \ E. This is only true if the λ_i are multiplicatively independent; for example, if N = 2 and λ_1 = 2, λ_2 = 4, the orbit is contained in the subtorus x_2 = x_1^2 and is not Zariski dense in G_m^2. The lemma is used in the final step of Proposition 3.1.10 to pass from Zariski density of tr_P(Γ_{g,n} · p) in A^{3g-3+n} to Zariski density of Γ_{g,n} · p in X_{g,n,k,Q}. That step requires the lemma for the full pants decomposition, i.e. for N = 3g-3+n, which can be arbitrarily large. Without an additional multiplicative-independence hypothesis (or a different argument, e.g. citing the known orbit-closure results of Golsefidy–Tamam), the proof of Proposition 3.1.10, and hence of Theorem 5.0.2 and Theorem 5.0.4, is incomplete.
- [§7.4, proof of Theorem 1.1.2] The assertion that relative character varieties of orbicurves are disjoint unions of relative character varieties of surface groups is false for SL2 when the orbicurve has a stacky point of order 2. Such a point forces the local monodromy of an SL2 local system to be the central matrix -I. But in a surface relative character variety, fixing the boundary trace to -2 does not force -I: by Proposition 3.1.3, X_{1,1,-2} is the Markoff surface x^2 + y^2 + z^2 - xyz = 0, while the locus with monodromy -I at the puncture is the single point (0,0,0). Thus the SL2 relative character variety of the orbicurve is a proper subvariety, not a union of components, of the natural surface relative character variety. Consequently Theorem 6.0.1 cannot be invoked to conclude potential density in the orbicurve variety. The proof needs to treat order-2 stacky points separately, for example by using the X_{g,-I} technology developed in §6.2–§6.3, which is not done in this step.
- [§7.4, final SL2 lifting step] The lifting step from PGL2 back to SL2 does not control the boundary trace conditions. After proving potential density of integral points in the PGL2 relative character variety W, the proof invokes Lemma 7.3.1 to lift each OK'-point of W to a point of the SL2 relative character variety W'. But Lemma 7.3.1 only produces some SL2 lift; it does not guarantee that the lifted representation satisfies the prescribed tuple C' of boundary traces. For example, if C'_i = -2 at a boundary component, the corresponding PGL2 boundary datum is f = 4, which also contains unipotent monodromy. A Zariski-dense set of PGL2 points with f = 4 may avoid the locus that lifts to a representation with boundary trace -2. Therefore the density statement for W does not by itself imply density for W', and the claim that 'all these points lift to W'' needs a separate argument that respects the boundary traces, presumably again involving the X_{g,-I} loci.
minor comments (4)
- [§4.1, Lemma 4.1.1] In the proof, the system is said to be solved for 'x, y, z, w ∈ Z', but the context is a number field K and its ring of integers; this should read O_K (or O_L after passing to the quadratic extension).
- [§5, proof of Proposition 5.0.1] In the case n = 1, g > 1 and k ∈ E, the text reads 'we pick M ∈ N with tr M /∈ E'; the symbol N should be N_K.
- [§7.1, Remark 7.1.1] The remark asserts that relative character varieties are independent of the choice of simple normal crossings compactification, but says only 'we leave verifying the details to the reader'. Since this is used freely in §7, a short proof or a precise reference would improve the exposition.
- [§6.2, Definition 6.2.1] The notation γ for a pants curve in the definition of X_{g,-I} conflicts with the earlier use of γ for a loop around a puncture in §3.1; this is a minor notational clash that could confuse readers.
Circularity Check
No significant circularity: the proof derives potential density from explicit integral-point constructions and external classification results.
full rationale
The paper's central derivation is not circular. The surface-group case is proven by explicitly constructing integral P-good representations (Section 4 and Proposition 5.0.1) and then invoking Whang's external dynamics theorem (Proposition 3.1.7, cited from [Wha20a]) via Proposition 3.1.10 to conclude that the pure mapping class group orbit is Zariski dense. The integrality of the constructed points is verified directly through explicit matrices in MK, NK, and LK, not assumed from the density statement. The PGL2 case is reduced to SL2 by dominant maps from SL2 relative character varieties, and the X_{g,-I} spaces are handled by their own explicit construction in Section 6.3. The quasi-projective case uses external classification results of Corlette--Simpson [CS08] and Loray--Pereira--Touzet [LPT16] as inputs, not as renamed versions of the theorem being proved. Self-citations appear only in the motivation and outlook paragraphs ([Lit24, Question 5.4.3(2)] and [LL25]) and are not load-bearing for any proof step. The skeptical concern about Section 7.4 (that relative character varieties of orbicurves may not be disjoint unions of surface-group relative character varieties when an order-2 stacky point forces monodromy -I) is a potential mathematical gap in the reduction, not a circularity: the paper does not define the orbicurve statement in terms of the surface statement, nor does it fit parameters and rename them as predictions. Accordingly, no circular step can be exhibited by quotation, and the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Corlette-Simpson [CS08, Theorem 1]: a Zariski-dense rank-2 local system on a quasi-projective variety with quasi-unipotent monodromy at infinity factors through a map to an orbicurve if its connected component in the character variety has positive dimension.
- domain assumption Loray-Pereira-Touzet [LPT16, Theorem A]: the same orbicurve factorization holds when the local system is not quasi-unipotent at infinity.
- domain assumption Corlette-Simpson [CS08, Theorem 7.3]: zero-dimensional components of relative character varieties with quasi-unipotent boundary traces are integral.
- domain assumption Whang [Wha20a, Proposition 4.3]: for a perfect fiber X^P_{k,t}, the Dehn twist action is lifted by a torus action on G_m^{3g-3+n}, with a surjective finite morphism to the fiber.
- domain assumption Whang [Wha20a, Lemma 3.3]: an SL2 local system on a pair of pants is irreducible unless the three boundary traces satisfy x^2+y^2+z^2-xyz=4.
- domain assumption Relative character varieties of orbicurves decompose as disjoint unions of relative character varieties of punctured surface groups.
Cite this review
Pith. "Pith review of Density of integral points in the Betti moduli of quasi-projective varieties." pith.science (2026). https://pith.science/paper/EQCYZ2ZH
@misc{pith2026250700167,
author = {Pith},
title = {Pith review of: Density of integral points in the Betti moduli of quasi-projective varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/EQCYZ2ZH}},
note = {Machine review of arXiv:2507.00167}
}
abstract
Let $Y$ be a smooth quasi-projective complex variety equipped with a simple normal crossings compactification. We show that integral points are potentially dense in the (relative) character varieties parametrizing $SL_2$-local systems on $Y$ with fixed algebraic integer traces along the boundary components. The proof proceeds by using work of Corlette-Simpson to reduce to the case of Riemann surfaces, where we produce an integral point with Zariski-dense orbit under the mapping class group.
Reference graph
Works this paper leans on
-
[1]
N. Tamam A. Golsefidy. Closure of orbits of the pure mapping class group in the character variety. https://mathweb.ucsd.edu/ asalehig/GT_MCG-all.pdf
-
[2]
Markoff triples and strong approximation
Jean Bourgain, Alexander Gamburd, and Peter Sarnak. Markoff triples and strong approximation. Comptes Rendus. Math \'e matique , 354(2):131--135, 2016
work page 2016
-
[3]
Orbifoldes g\'eom\'etriques sp\'eciales et classification bim\'eromorphe des vari\'et\'es k\"ahl\'eriennes compactes
Fr\'ed\'eric Campana. Orbifoldes g\'eom\'etriques sp\'eciales et classification bim\'eromorphe des vari\'et\'es k\"ahl\'eriennes compactes. J. Inst. Math. Jussieu , 10(4):809--934, 2011
2011
-
[4]
Nonabelian level structures, N ielsen equivalence, and M arkoff triples
William Y Chen. Nonabelian level structures, N ielsen equivalence, and M arkoff triples. Annals of Mathematics , 199(1):301--443, 2024
work page 2024
-
[5]
Morphisms of character varieties
Sean Cotner. Morphisms of character varieties. International Mathematics Research Notices , 2024(16):11540--11548, 2024
work page 2024
-
[6]
On the classification of rank-two representations of quasiprojective fundamental groups
Kevin Corlette and Carlos Simpson. On the classification of rank-two representations of quasiprojective fundamental groups. Compositio Mathematica , 144(5):1271--1331, 2008
work page 2008
-
[7]
Integrality of the B etti moduli space
Johan De Jong and H \'e l \`e ne Esnault. Integrality of the B etti moduli space. Transactions of the American Mathematical Society , 377(01):431--448, 2024
work page 2024
-
[8]
Vladimir Gershonovich Drinfeld. On a conjecture of D eligne. Moscow Mathematical Journal , 12(3):515--542, 2012
work page 2012
Show all 30 references
-
[9]
Cohomologically rigid local systems and integrality
H \'e l \`e ne Esnault and Michael Groechenig. Cohomologically rigid local systems and integrality. Selecta Mathematica , 24(5):4279--4292, 2018
2018
-
[10]
The mapping class group acts reducibly on SU (n) -character varieties
William M Goldman. The mapping class group acts reducibly on SU (n) -character varieties. arXiv preprint math/0509115 , 2005
2005 arXiv
-
[11]
Integral points on M arkoff type cubic surfaces
Amit Ghosh and Peter Sarnak. Integral points on M arkoff type cubic surfaces. Invent. Math. , 229(2):689--749, 2022
2022
-
[12]
Closure of orbits of the pure mapping class group in the character variety
Alireza S Golsefidy and Nattalie Tamam. Closure of orbits of the pure mapping class group in the character variety. Proceedings of the National Academy of Sciences , 122(15):e2416120122, 2025
2025
-
[13]
Ergodicity of mapping class group actions on SU (2) -character varieties
William M Goldman and Eugene Z Xia. Ergodicity of mapping class group actions on SU (2) -character varieties. arXiv preprint arXiv:0901.1402 , 2009
2009 arXiv
-
[14]
Harmonic maps to buildings and singular perturbation theory
Ludmil Katzarkov, Alexander Noll, Pranav Pandit, and Carlos Simpson. Harmonic maps to buildings and singular perturbation theory. Comm. Math. Phys. , 336(2):853--903, 2015
2015
-
[15]
G -cohomologically rigid local systems are integral
Christian Klevdal and Stefan Patrikis. G -cohomologically rigid local systems are integral. Trans. Amer. Math. Soc. , 375(6):4153--4175, 2022
2022
-
[16]
Chtoucas de D rinfeld et correspondance de L anglands
Laurent Lafforgue. Chtoucas de D rinfeld et correspondance de L anglands. Inventiones mathematicae , 147:1--241, 2002
2002
-
[17]
Motives, mapping class groups, and monodromy
Daniel Litt. Motives, mapping class groups, and monodromy. arXiv preprint arXiv:2409.02234 , 2024
2024 arXiv
-
[18]
Canonical representations of surface groups
Aaron Landesman and Daniel Litt. Canonical representations of surface groups. Annals of Mathematics , 199(2):823--897, 2024
2024
-
[19]
Algebraicity and integrality of solutions to differential equations
Yeuk Hay Joshua Lam and Daniel Litt. Algebraicity and integrality of solutions to differential equations. arXiv preprint arXiv:2501.13175 , 2025
2025 arXiv
-
[20]
Finite braid group orbits on SL _2 -character varieties
Yeuk Hay Joshua Lam, Aaron Landesman, and Daniel Litt. Finite braid group orbits on SL _2 -character varieties. arXiv preprint arXiv:2308.01376 , 2023
2023 arXiv
-
[21]
Marina Logares, Vicente Mu\ noz, and P. E. Newstead. Hodge polynomials of SL (2, C ) -character varieties for curves of small genus. Rev. Mat. Complut. , 26(2):635--703, 2013
2013
-
[22]
Representations of quasi-projective groups, flat connections and transversely projective foliations
Frank Loray, Jorge Vit \'o rio Pereira, and Fr \'e d \'e ric Touzet. Representations of quasi-projective groups, flat connections and transversely projective foliations. Journal de l' \'E cole polytechnique-Math \'e matiques , 3:263--308, 2016
2016
-
[23]
A new proof of C hen's theorem for M arkoff graphs
Daniel E Martin. A new proof of C hen's theorem for M arkoff graphs. arXiv preprint arXiv:2502.15960 , 2025
2025 arXiv
-
[24]
Coordinate rings of some SL_2 -character varieties
Vicente Mu\ noz and Jes\'us Mart\'in Ovejero. Coordinate rings of some SL_2 -character varieties. Rev. Un. Mat. Argentina , 67(1):47--64, 2024
2024
-
[25]
Topological dynamics on moduli spaces, I
Joseph P Previte and Eugene Z Xia. Topological dynamics on moduli spaces, I . Pacific Journal of Mathematics , 193(2):397--417, 2000
2000
-
[26]
Topological dynamics on moduli spaces II
Joseph Previte and Eugene Xia. Topological dynamics on moduli spaces II . Transactions of the American Mathematical Society , 354(6):2475--2494, 2002
2002
-
[27]
Higgs bundles and local systems
Carlos T Simpson. Higgs bundles and local systems. Publications Math \'e matiques de l'IH \'E S , 75:5--95, 1992
1992
-
[28]
Arithmetic of curves on moduli of local systems
Junho Peter Whang. Arithmetic of curves on moduli of local systems. Algebra Number Theory , 14(10):2575--2605, 2020
2020
-
[29]
Global geometry on moduli of local systems for surfaces with boundary
Junho Peter Whang. Global geometry on moduli of local systems for surfaces with boundary. Compositio Mathematica , 156(8):1517--1559, 2020
2020
-
[30]
Nonlinear descent on moduli of local systems
Junho Peter Whang. Nonlinear descent on moduli of local systems. Israel J. Math. , 240(2):935--1004, 2020
2020
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.