Pith. sign in

REVIEW 2 major objections 4 minor 34 references

Murphy's law in non-abelian Hodge theory

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper constructs explicit rank-two local systems on infinitely many curves of every genus that, while not integral, are complex direct factors of variations of Q-Hodge structure with Zariski dense monodromy.

desk verdict Interesting and likely right in spirit, but the non-integrality proof rests on a false proposition, so Theorem 1.2 needs repair before the paper can be accepted. read the letter →

arxiv 2608.02875 v1 pith:B7NLBYO4 submitted 2026-08-03 math.AG math.NT

Gregorio Baldi , Yeuk Hay Joshua Lam This is my paper · ORCID
classification math.AGmath.NT MSC 14D0714H1530F6032G15
keywords CharactervarietiesS-integralpointsvariationsofHodgestructuresnon-abeliantheoryTeichmüllercomponentFenchel–Nielsencoordinateslocustracefield
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

By "non-integral" the paper means a variation of Hodge structures with rational coefficients whose monodromy trace ring is not contained in $\mathbb{Z}$. The main construction shows that for every genus $g \geq 2$ and every nonempty finite set $S$ of primes there exist infinitely many non-isomorphic genus $g$ curves carrying a rank-two local system whose trace field is $\mathbb{Q}$ but whose trace ring contains $\mathbb{Z}[S^{-1}]$, and which is a complex direct factor of an irreducible variation of $\mathbb{Q}$-Hodge structures. The construction is explicit, using Fenchel-Nielsen-type coordinates on the Teichm\"uller component of the character variety, and it also gives a new proof of Beauville's classical result for the four-punctured sphere. The paper closes by exhibiting pathological Hodge loci for non-integral variations, where the Cattani-Deligne-Kaplan theorem and the Andr\'e-Oort analogue fail.

What carries the argument

The load-bearing object is Kabaya's parametrization of the $\mathrm{PSL}_2(\mathbb{C})$-character variety relative to a pants decomposition: it attaches to each point a tuple of eigenvalue parameters $e_i$ and twist parameters $t_i$ and builds explicit matrices, with the property that $K$-rational points of the parameter space map to $K$-points of the character variety for every subfield $K \subset \mathbb{C}$. Maskit's parametrization does the same for the four-punctured sphere, giving rational formulas for the three trace coordinates on the Teichm\"uller component. These coordinates let the authors force the trace field to be $\mathbb{Q}$ while inserting specified denominators into the trace ring. Lemma 2.2 and Corollary 2.4 then convert trace-field $\mathbb{Q}$ into the desired direct-factor statement about variations of $\mathbb{Q}$-Hodge structures, and Proposition 2.5 converts trace integrality into $\mathbb{Z}$-integrality of the local system.

What would settle it

For a small concrete case, say $g=2$ and $S=\{2\}$, write down the explicit matrices produced by the parametrization with $e_1=-1/2$ and all other parameters rational, and compute the trace ring and the Zariski closure of the monodromy; if any trace lies outside $\mathbb{Z}[1/2]$, or the representation is not discrete and faithful, or the monodromy is not Zariski dense in $\mathrm{SL}_2$, then Theorem 1.6 would be wrong.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for any $g \geq 2$ there are infinitely many non-isomorphic genus $g$ curves $X$ supporting a rank two local system $\rho : \pi_1(X) \to \mathrm{SL}_2(\mathbb{C})$ with trivial determinant and Zariski dense monodromy in $\mathrm{SL}_2$, such that $\rho$ is a complex direct factor of a non-integral variation of $\mathbb{Q}$-Hodge structures, and such that the adjoint local system $\mathrm{ad}(\rho)$ itself underlies a non-integral $\mathbb{Q}$VHS. The refinement Theorem 1.6 controls the trace ring: for any nonempty finite set $S$ of primes one can arrange $e_1 = -\prod_{p \in S} p^{-1}$ so that $\mathbb{Z}[S^{-1}]$ lies inside the trace ring while the trace field is still $\mathbb{Q}$. Lemma 2.2 and Corollary 2.4 are the bridge: a Zariski dense, non-unitary local system with trace field $\mathbb{Q}$ that underlies a complex variation of Hodge structure is automatically a complex direct factor of a $\mathbb{Q}$VHS. The non-integrality then follows from Proposition 2.5, which says that an integral local system has traces in $\mathbb{Z}$; here the trace ring is strictly larger than $\mathbb{Z}$.

Load-bearing premise

The construction depends on the claim that rational choices of eigenvalue and twist parameters in the parametrization produce local systems whose trace field is $\mathbb{Q}$; if that rationality step fails, none of the constructed examples are known to be direct factors of a $\mathbb{Q}$-Hodge variation.

Editorial extensions

If this is right

  • The non-abelian Hodge conjecture over $\mathbb{Q}$ fails even for local systems with Zariski dense monodromy in $\mathrm{SL}_2$.
  • For every genus $g \geq 2$ and every nonempty finite set of primes $S$, there are infinitely many non-isomorphic curves whose uniformizing local system has trace ring containing $\mathbb{Z}[S^{-1}]$, so prescribed $S$-integrality is achievable.
  • If the Higgs standard conjecture is true, the curves appearing in Theorem 1.2 cannot be defined over $\mathbb{Q}$ (Conjecture 1.4).
  • In signature $(0,4)$, allowing no primes yields exactly the four Beauville surfaces, while any nonempty $S$ yields infinitely many mapping-class-group orbits of $S$-integral Teichm\"uller points (Theorem 5.1 and Proposition 5.6).
  • For non-integral $\mathbb{Q}$VHS with discrete monodromy, the Hodge locus can be non-algebraic and can contain a dense set of CM points without the variation being of Shimura type; the paper introduces the algebraic Hodge locus as the replacement object (Section 7).

Reading between the lines

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

  • One extension the paper leaves implicit is whether the rationality property of the parametrization survives for other semisimple groups; if it does, analogous constructions would likely produce non-integral $\mathbb{Q}$VHS with large monodromy in higher rank, which is explicitly left open in the paper.
  • The 'Murphy's law' pattern suggests that integrality is the hypothesis doing the work in the Cattani-Deligne-Kaplan theorem and in the Andr\'e-Oort conjecture; one could test whether other finiteness theorems for Hodge loci fail as soon as $\mathbb{Z}$-integrality is dropped.
  • The explicit trace formulas in the four-punctured sphere case turn the search for $S$-integral Teichm\"uller points into a Diophantine problem on a Markoff-type cubic; a computational scan for small $S$ could reveal whether the exact trace-ring orbits described in Proposition 5.6 are the only ones.
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, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper constructs explicit complex local systems on curves (arbitrary genus and the four-punctured sphere) whose trace ring is strictly larger than Z, and argues that they are complex direct factors of non-integral QVHS with Zariski dense monodromy in SL2. The constructions use Maskit's and Kabaya's parametrizations of the Teichmüller component of relative character varieties, with rational parameters chosen so that the trace field is Q while the trace ring contains Z[S^{-1}]. The paper also proves finiteness/infinitude statements for OK,S-Teichmüller points, gives a new proof of Beauville's classification of signature (0,4) modular embeddings, and discusses failures of the Cattani--Deligne--Kaplan theorem and the André--Oort conjecture for non-integral QVHS.

Significance. If the main construction is completed, the paper would provide explicit non-integral QVHS with large monodromy, showing that integrality is essential for several structural results in Hodge theory. The use of explicit Fenchel--Nielsen-type parametrizations and exact trace-ring computations is a genuine strength, as is the concrete matching with Beauville's list. However, the key non-integrality conclusion of Theorem 1.2 currently rests on a false statement, Proposition 2.5, so the main theorem is not proven as written. The flaw appears localized and repairable by a direct trace computation, but the revision must supply that argument.

major comments (2)
  1. [§2.1, Proposition 2.5] Proposition 2.5 is false as stated. The claim that every complex direct factor of an integral representation Γ → GL_n(Z) has traces in Z fails already for Γ = C3 acting on Z^3 by cyclic permutation of coordinates. Over C this representation decomposes as the trivial character plus the two nontrivial characters, whose traces lie in Q(ω), ω^3 = 1, and are not integers. Thus a complex direct summand of an integral representation need not be integral. Any argument that relies on this proposition must be replaced.
  2. [§6.3, proof of Theorem 1.2] The proof of Theorem 1.2 says 'This follows directly from the above and Proposition 2.5.' Because Proposition 2.5 is false, the inference that a QVHS admitting ρ as a complex direct factor must be non-integral whenever ρ is non-integral is invalid. The intended repair is available: in the construction of Theorem 1.6 the element γ1 has eigenvalue e1 = -N with N = ∏_{p∈S} p, so Tr ρ(γ1) = -N - N^{-1}. The QVHS produced by Lemma 2.2 has trace 2(-N - N^{-1}) on the corresponding element; for instance N = 3 gives -20/3, which is not an integer. This direct argument would establish Theorem 1.2, but it must be written out in the revision.
minor comments (4)
  1. [§6.3, proof of Theorem 1.6] The parameters e_i for i ≥ 2 and t_i are only specified to lie in Q. They should be chosen generically in Q ∩ (-∞,-1) and Q ∩ (0,∞) so that the excluded conditions in the definition of E(Σ,C) are avoided; for example, taking all e_i = -N and all t_i = 1 is an explicit valid choice.
  2. [§6.3, displayed formula for e1] The formula 'e1 = -1/(∏_{p∈S} p^{-1})' is confusingly written; it should read e1 = -∏_{p∈S} p.
  3. [§1.2 and Theorem 1.8] There are minor typographical issues: 'not S1-integral' appears to mean 'not S'-integral for a smaller set S', and 'property1 (PS)' in the statement of Theorem 1.8 should be 'property (PS)'.
  4. [§7, Proposition 7.3] The proof of Proposition 7.3 is largely delegated to [3, Prop. 7.1.2] with only a short indication. Since [3] is published, this is acceptable, but a sentence explaining why the non-integral QVHS constructed here satisfies the same hypothesis would improve readability.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the construction is driven by external Maskit/Kabaya parametrizations and standard trace-field facts; self-citations are minor. The proof of Theorem 1.2 is blocked by a false, unproved Proposition 2.5, which is a correctness flaw rather than a circular step.

full rationale

The central derivation is not circular. Theorem 1.6 constructs genus-g points using Kabaya's parametrization (Theorem 6.2) with rational eigenvalue and twist parameters; the trace field Q is forced by Kabaya's K-rationality statement, and the trace ring containing Z[S^{-1}] is forced by the explicit eigenvalue parameter chosen from the primes in S. Corollary 2.4 then upgrades to a complex direct factor of a QVHS via the standard quaternion-algebra argument in Lemma 2.2. None of these steps assumes the theorem being proved. The self-citations [17] (Claim 1 in Theorem 4.5) and [3] (Proposition 7.3) are supporting; the needed arguments are either sketched in the paper or are external published results, so no load-bearing self-citation chain appears. I do flag one serious problem under the reviewing rule, although it is not circularity: Proposition 2.5 is introduced as "we record, without proof, the following standard statement" and is then used in the proof of Theorem 1.2 ("This follows directly from the above and Proposition 2.5."). The proposition is false as stated: the integral permutation representation of C3 on Z^3 decomposes over C into characters whose nontrivial traces are omega and omega^2, not integers. Therefore the inference that an integral ambient QVHS would force integral traces on the complex direct summand rho is invalid, and the non-integrality assertion of Theorem 1.2 is unproved as written. This is a false-lemma correctness gap, not a circular reduction: the missing statement is not equivalent to the theorem's inputs by construction. Apart from that, the paper is self-contained against external benchmarks, so the circularity score stays low.

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

The paper introduces no new entities or fitted constants. Its results rest on external parametrizations and theorems from the literature, which are cited. The main construction choices (e.g., e1 = -1/prod_{p in S} p^{-1}) are explicit and not fitted to data.

assumptions (6)
  • standard math Maskit's explicit parametrization of Fuchsian groups of signature (0,4) with fixed point coordinates x,y (Theorem 4.1).
    Used in Section 4 to compute explicit traces F1,F2,F3 and to classify Z-points and O_{K,S}-points on the Teichmuller component.
  • standard math Kabaya's parametrization of PSL2(C)-character varieties of surfaces, including the K-rationality statement (Theorem 6.2) and the Teichmuller component identification (Lemma 6.3).
    Used in Section 6 to construct genus g examples with rational parameters and prescribed trace rings.
  • domain assumption Lemma 2.2 (credited to Simpson and Larsen): a Zariski dense, non-unitary complex local system with trace field Q which underlies a CVHS is a complex direct factor of a QVHS.
    This bridges the constructed local systems with trace field Q to actual QVHS. It is an external theorem from [32] and [21].
  • standard math Margulis' commensurator criterion for non-arithmetic lattices (non-arithmetic implies commensurator is a lattice, and elements outside the commensurator exist in G(Q)).
    Used in Section 7.1 to construct non-closed Hodge-locus subsets for Theorem 7.2.
  • standard math Dirichlet's S-unit theorem for number fields.
    Used in Section 5 to produce units generating K and to prove infinitude of O_{K,S}-Teichmuller points.
  • standard math Fricke-Vogt trace generation theorem for free groups (as specialized in Goldman's character ring).
    Used in Lemma 4.4 to show the trace ring of the signature (0,4) group is generated by TrE, TrF, TrG.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Murphy's law in non-abelian Hodge theory." pith.science (2026). https://pith.science/paper/B7NLBYO4

@misc{pith2026260802875,
  author       = {Pith},
  title        = {Pith review of: Murphy's law in non-abelian Hodge theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B7NLBYO4}},
  note         = {Machine review of arXiv:2608.02875}
}
abstract

We construct explicit examples of non-integral variations of $\mathbb{Q}$-Hodge structures. Our approach leverages Fenchel--Nielsen-type parameterizations, due to Kabaya and Maskit, of the Teichm\"uller component of relative character varieties. Additionally, we discuss various Diophantine results concerning the $\mathcal{O}_{K,S}$-integral points of such character varieties, and give a new proof of Beauville's classical theorem on families of elliptic curves. We conclude by collecting \emph{pathological behaviors} of the Hodge locus of non-integral $\mathbb{Q}$VHS, in particular the failure of the Cattani--Deligne--Kaplan theorem and the Andr\'e--Oort conjecture; our results indicate that for $\mathbb{Q}$VHS which are not $\mathbb{Z}$VHS, what can go wrong must go wrong.

Figures

Figures reproduced from arXiv: 2608.02875 by the authors.

Figure 1
Figure 1. The fundamental domain D — the interior of the region bounded by the conic xy2 ` px 2 ´ 4x ` 1qy ` x “ 0 and the curves y “ ´? x, y “ ´1{ ? x. Remark 4.3. The Teichmüller group of signature p0; 4q is generated by α and β, where αpA, B, C, Dq “ pB, C, D, Aq has order two, and βpA, B, C, Dq “ pABA´1 , A, C, Dq has infinite order. In the D-parametrization, they act as described in [23, page 264]. We are interested in t… view at source ↗
Figure 2
Figure 2. The four modular points P1, . . . , P4 of Theorem 4.5. proves the claim. This argument is recorded in [17, Proof of Theorem 1.1] and we refer the reader there for more details. □ By Lemma 4.4 we are left to classify the px, yq P D with F1px, yq, F2px, yq, F3px, yq P Z. We argue using the change of variables described in (4.1.4): integrality of F1 forces λ “ x ` 1 x P Z; since x ą 1 we have λ ą 2, hence λ ě 3. We cla… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 32 canonical work pages

  1. [3]

    Baldi and E

    G. Baldi and E. Ullmo. Special subvarieties of non-arithmetic ball quotients and Hodge theory. Annals of Mathematics, 197(1):159 – 220, 2023

    work page 2023

  2. [17]

    Y. H. J. Lam. Motivic local systems on curves and Maeda’s conjecture.arXiv e-prints, page arXiv:2211.06120, Nov. 2022

    work page Pith review arXiv 2022

  3. [1]

    M. F. Atiyah and F. Hirzebruch. Analytic cycles on complex manifolds.Topology, 1:25–45, 1962

    work page 1962

  4. [2]

    Baldi, B

    G. Baldi, B. Klingler, and E. Ullmo. On the distribution of the Hodge locus.Invent. Math., 235(2):441– 487, 2024

    work page 2024

  5. [4]

    Baldi and D

    G. Baldi and D. Urbanik. Effective atypical intersections and applications to orbit closures.arXiv e-prints, page arXiv:2406.16628, June 2024

    arXiv 2024

  6. [5]

    H. Bass. Groups of integral representation type.Pacific J. Math., 86(1):15–51, 1980

    work page 1980

  7. [6]

    Beauville

    A. Beauville. Les familles stables de courbes elliptiques surP 1admettant quatre fibres singulieres.C. R. Acad. Sci., Paris, Sér. I, 294:657–660, 1982

    work page 1982

  8. [7]

    R. L. Benedetto and W. M. Goldman. The topology of the relative character varieties of a quadruply- punctured sphere.Exp. Math., 8(1):85–103, 1999

    work page 1999

Show all 34 references
  1. [8]

    Cattani, P

    E. Cattani, P. Deligne, and A. Kaplan. On the locus of Hodge classes.J. Amer. Math. Soc., 8(2):483–506, 1995

    1995

  2. [9]

    Coccia and D

    S. Coccia and D. Litt. Density of integral points in the Betti moduli of quasi-projective varieties. arXiv e-prints, page arXiv:2507.00167, June 2025

    2025 arXiv

  3. [10]

    Collas, M

    B. Collas, M. Dettweiler, S. Reiter, and W. Sawin. Monodromy of elliptic curve convolution, seven- point sheaves ofG2-type and motives of Beauville type.arXiv preprint arXiv:1803.05883, 2018

    2018 arXiv

  4. [11]

    Corlette and C

    K. Corlette and C. Simpson. On the classification of rank-two representations of quasiprojective fundamental groups.Compos. Math., 144(5):1271–1331, 2008

    2008

  5. [12]

    Farb and D

    B. Farb and D. Margalit.A primer on mapping class groups, volume 49 ofPrinceton Math. Ser. Princeton, NJ: Princeton University Press, 2011

    2011

  6. [13]

    Fresán, Y

    J. Fresán, Y. H. J. Lam, and Y. Qin. On Siegel’s problem and Dwork’s conjecture forG-functions. arXiv e-prints, page arXiv:2502.02147, Feb. 2025

    2025 arXiv

  7. [14]

    W. M. Goldman. Trace coordinates on Fricke spaces of some simple hyperbolic surfaces. InHandbook of Teichmüller theory. Volume II, pages 611–684. Zürich: European Mathematical Society (EMS), 2009

    2009

  8. [15]

    N. J. Hitchin. The self-duality equations on a Riemann surface.Proc. Lond. Math. Soc. (3), 55:59–126, 1987

    1987

  9. [16]

    Y. Kabaya. Parametrization of PSLp2,Cq-representations of surface groups.Geom. Dedicata, 170:9–62, 2014

    2014

  10. [18]

    Y. H. J. Lam and D. Litt. p-curvature and non-abelian cohomology.arXiv preprint arXiv:2601.07933, 2026

    2026

  11. [19]

    Landesman, D

    A. Landesman, D. Litt, and W. Sawin. Big monodromy for higher Prym representations.Geom. Topol., 29(5):2733–2782, 2025

    2025

  12. [20]

    D. Litt. Motives, mapping class groups, and monodromy.arXiv preprint arXiv:2409.02234, 2024

    2024 arXiv

  13. [21]

    Maclachlan and A

    C. Maclachlan and A. W. Reid.The arithmetic of hyperbolic 3-manifolds, volume 219 ofGraduate Texts in Mathematics. Springer-Verlag, 2003. 24 GREGORIO BALDI AND YEUK HAY JOSHUA LAM

    2003

  14. [22]

    G. A. Margulis.Discrete subgroups of semisimple Lie groups, volume 17 ofErgebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1991

    1991

  15. [23]

    B. Maskit. Parameters for Fuchsian groups. I: Signature (0,4). Holomorphic functions and moduli II, Proc. Workshop, Berkeley/Calif. 1986, Publ., Math. Sci. Res. Inst. 11, 251-265 (1988)., 1988

    1988

  16. [24]

    B. Maskit. Matrices for Fenchel-Nielsen coordinates.Ann. Acad. Sci. Fenn., Math., 26(2):267–304, 2001

    2001

  17. [25]

    T. Okai. An explicit description of the Teichmüller space as holonomy representations and its applications.Hiroshima Math. J., 22(2):259–271, 1992

    1992

  18. [26]

    A. W. Reid. A note on trace-fields of Kleinian groups.Bull. Lond. Math. Soc., 22(4):349–352, 1990

    1990

  19. [27]

    S. Ricker. Symmetric Fuchsian quadrilateral groups and modular embeddings.Q. J. Math., 53(1):75– 86, 2002

    2002

  20. [28]

    Schmutz Schaller and J

    P. Schmutz Schaller and J. Wolfart. Semi-arithmetic Fuchsian groups and modular embeddings.J. Lond. Math. Soc., II. Ser., 61(1):13–24, 2000

    2000

  21. [29]

    C. Simpson. The Hodge filtration on nonabelian cohomology. InAlgebraic geometry. Proceedings of the Summer Research Institute, Santa Cruz, CA, USA, July 9–29, 1995, pages 217–281. Providence, RI: American Mathematical Society, 1997

    1995

  22. [30]

    C. T. Simpson. Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization.J. Am. Math. Soc., 1(4):867–918, 1988

    1988

  23. [31]

    C. T. Simpson. Transcendental aspects of the Riemann-Hilbert correspondence.Illinois journal of mathematics, 34(2):368–391, 1990

    1990

  24. [32]

    C. T. Simpson. Higgs bundles and local systems.Inst. Hautes Études Sci. Publ. Math., 75:5–95, 1992

    1992

  25. [33]

    Takeuchi

    K. Takeuchi. Arithmetic triangle groups.J. Math. Soc. Japan, 29:91–106, 1977

    1977

  26. [34]

    E. B. Vinberg. Rings of definition of dense subgroups of semisimple linear groups.Izv. Akad. Nauk SSSR Ser. Mat., 35:45–55, 1971. CNRS, IMJ-PRG, Sorbonne Université, 4 place Jussieu, 75005 Paris, (France) E-mail address, G. Baldi:baldi@imj-prg.fr Hausdorff Center for Mathemati...

    1971

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.