Refine reviews, audits, and errata

Report metadata

Refine summary

This survey paper explores the intersection of algebraic geometry, surface topology, and ordinary differential equations. It focuses on the actions of mapping class groups on character varieties and their algebraic counterparts, such as isomonodromy differential equations.

Overall feedback

Character-variety definitions

Readers working through the text will likely notice that the underlying character-variety object changes across the article. Sections 2 and 3 define $Y(g,n,r)$ as the orbit set of all representations under conjugation. However, the subsequent discussion relies on algebraic notions—such as Zariski density, tangent spaces, fixed loci, and character-variety geometry—that naturally belong to the GIT quotient, where points represent semisimplifications.

While Section 4 distinguishes between the representation stack, its isomorphism classes, and the coarse GIT space, this distinction does not propagate back to earlier statements, including Conjecture 3.1.2, Theorem 3.1.5, Proposition 3.1.7, or the general finite-orbit discussion. For instance, the Markoff cubic in Section 2.2.2 explicitly parametrizes only semisimple representations. Because a finite orbit of a GIT point need not imply a finite orbit of a non-semisimple extension class, it is important that the major results specify consistently whether they govern actual conjugacy classes, semisimple representations, irreducible representations, stacks, or coarse spaces.

The rigidity mechanism in Section 3.4

When presenting the proof sketch for the flagship higher-genus theorem in Section 3.4, a load-bearing rigidity mechanism is currently skipped. After Theorem 3.3.1 yields the vanishing of $H^0(\mathscr{M}, R^1\pi_* \mathrm{ad}(\mathbb{V}'))$, the sketch immediately declares $\mathbb{V}'$ cohomologically rigid and applies Esnault–Groechenig integrality. Passing from that vanishing to $H^1(\mathscr{X}, \mathrm{ad}(\mathbb{V}'))=0$ requires a Leray argument and control over $R^0\pi_* \mathrm{ad}(\mathbb{V}')$, typically handled via a trace-free adjoint or a fixed-determinant deformation problem. Yet Section 3.3 uses $\mathrm{ad}(\rho)$ for the tangent space to the $GL_r$ character variety, which seemingly includes scalar endomorphisms.

Furthermore, the sketch relies on Mochizuki’s deformation without explaining why it remains in the relevant extension locus, why the rigidity of its limit forces the original local system to coincide with that limit, or how the reducible case is recovered. Although the text acknowledges omitting complications, these transitions are the structural pillars of Theorem 3.1.5. Exposing them explicitly would greatly serve a survey built around that result.

Formulation of Conjecture 4.3.4

Looking closely at Conjecture 4.3.4, the precisification requires a more targeted invariant formal-moduli formulation. Condition (1) stipulates that the isomonodromic deformation descends to the completed base $\widehat{S}_R[1/N]$. Given that the relevant object is a flat bundle on the formal completion of $\mathscr{X}$ along the fiber (or equivalently a formal horizontal section of a moduli stack), the statement leaves several parameters unspecified: descent up to gauge equivalence, the treatment of automorphisms or singular points, and the dependence on the chosen spreading.

Additionally, the conjecture expressly omits the $\omega(p)$-integrality condition, yet Proposition 4.3.5 derives $\omega(p)$-integrality and subsequently invokes Conjecture 4.3.4. As written, the implication does not follow from the stated conjecture. Formulating the central arithmetic classification to clearly separate and logically relate the characteristic-zero descent and the modulo-$p$ refinement will secure this argument.

Geometric origin versus Picard-Fuchs

The narrative currently treats the concepts of geometric origin and Picard-Fuchs systems as closer than the stated results justify. Definition 2.3.1 defines geometric origin using a direct summand of a Gauss–Manin local system, whereas Definition 4.2.7 reserves the "Picard-Fuchs" terminology for the entire Gauss–Manin system.

Remark 4.2.9 explicitly points out that the relevant arithmetic theorem is not known generally for direct summands. Consequently, Theorem 4.3.9—which shows certain finite-orbit systems are of geometric origin—does not wholly support the subsequent claim that the Picard-Fuchs hypothesis in Theorem 4.3.7 is not unduly restrictive, nor does it establish that the theorem approaches a characterization of those finite orbits. Bridging this gap in the evidentiary narrative, or providing a suitable direct-summand theorem with its associated hypotheses, is necessary here.

Superrigidity and projective representations

The superrigidity consequences explored in Section 6 require a stronger conjecture than the one explicitly stated. Conjecture 6.1.2 defines a rigidity property for irreducible linear representations of the full group $\mathrm{Mod}_{g,n}$. However, Proposition 6.1.5 applies this conjecture to a projective representation of a finite-index subgroup $\Gamma \subset \pi_1(\mathscr{C}_g) \cong \mathrm{Mod}_{g,1}$.

Rigidity for linear representations of a full group does not automatically transfer to projective representations of finite-index subgroups, and no central-extension or induction argument is supplied to cover the difference. Since the identical unspoken strengthening underpins the proposed route to Conjectures 6.1.6 and 6.1.7, the article must explicitly formulate the required virtual/projective version or demonstrate how Conjecture 6.1.2 safely transfers to this broader setting.

Detailed comments

1. Connected-fiber hypothesis missing in the introduction

• ID: 1393706f-f6b5-4ebe-a153-018c2f752338
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

The displayed homotopy sequence requires the fiber $X_s$ to be connected; smoothness and properness alone do not ensure the asserted surjectivity of $\pi_1(X,x)\to\pi_1(S,s)$. The paper explicitly imposes connected fibers in its later general setup, but that hypothesis is absent here.

Quoted passage

As is traditional in algebraic geometry, we view it as a special case of a much more general question about families of algebraic varieties: given (say) a smooth proper morphism

$$ f: X \rightarrow S, $$

and points $x \in X, s=f(x) \in S$, how is the geometry of $f$ reflected in the exact sequence

$$ \pi_{1}\left(X_{s}, x\right) \rightarrow \pi_{1}(X, x) \rightarrow \pi_{1}(S, s) \rightarrow 1, $$

2. Uniqueness criterion shifts in Section 2

• ID: d8e9baf8-e3f6-46e9-ab6c-e06a5df3f81e
• Refine score: 0.23
• Original types: general
• Refine status: open

Comment

The uniqueness criterion shifts from $Y(\underline{C})^{\mathrm{irr}}$ being a singleton to $Y(\underline{C})$ being a singleton. Since the latter also excludes reducible representations and the subsequent definition of rigidity uses $Y(\underline{C})^{\mathrm{irr}}$, the sentence states a formally stronger and internally inconsistent condition.

Quoted passage

(2) (Uniqueness) For which $\underline{C}$ is $Y(\underline{C})^{\mathrm{irr}}$ a singleton? That is, when is a solution to (2.1) determined uniquely (up to simultaneous conjugation) by the conjugacy classes $C_{i}$ of the matrices $A_{i}$ ? For reasons that will soon become clear, the question of classifying tuples $\underline{C}$ such that $Y(\underline{C})$ is a singleton is typically referred to as the classification of rigid local systems, and was studied by Katz in his book of the same name, [Kat96].

3. Middle convolution claims need category restrictions

• ID: a16f3718-5361-49d1-b323-91f6a6a01b8a
• Refine score: 0.45
• Original types: general
• Refine status: open

Comment

The middle-convolution properties are overbroad as stated. For $\lambda\ne 1$, applying the later definition to the trivial rank-one local system gives zero, so middle convolution neither preserves irreducibility in every stated case nor defines an autoequivalence of all $\operatorname{Rep}(\pi_1(X))$. The preservation and quasi-inverse claims require the appropriate restrictions or quotient category excluding exceptional objects.

Quoted passage

For each $\lambda \in \mathbb{C}^{\times} \backslash\{1\}$, Katz produces a functor

$$ \mathrm{MC}_{\lambda}: \operatorname{Rep}\left(\pi_{1}(X)\right) \rightarrow \operatorname{Rep}\left(\pi_{1}(X)\right) $$

with the following properties:

• If $\rho$ is a rigid irreducible $\pi_{1}(X)$-representation, $\mathrm{MC}_{\lambda}(\rho)$ is rigid and irreducible.
• The functors $\mathrm{MC}_{\lambda}, \mathrm{MC}_{\lambda^{-1}}$ are quasi-inverse.
• If $\rho$ is a rigid irreducible $\pi_{1}(X)$-representation of rank at least 2, there exists a rank one representation

4. Middle convolution does not visibly preserve SL

• ID: 22519809-6841-4822-921c-fc4d00afb297
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

The asserted special-linear target is not generally preserved by middle convolution: $\mathrm{MC}_\lambda$ naturally produces $\mathrm{GL}_{r'}$ local monodromies, and the product-one relation constrains only the product of their determinants, not each determinant separately. Thus the classes $C_i'$ need not lie in $\mathrm{SL}_{r'}(\mathbb{C})$ unless an additional determinant-preservation result or rank-one normalization is included.

Quoted passage

It turns out that the conjugacy class of $\mathrm{MC}_{\lambda}(\rho)\left(\gamma_{i}\right)$ depends only on $\lambda$ and the conjugacy class of $\rho\left(\gamma_{i}\right)$. Thus given a tuple of conjugacy classes $C_{1}, \ldots, C_{n} \subset \mathrm{SL}_{r}(\mathbb{C})$, there exists another (explicit) tuple $C_{1}^{\prime}, \ldots, C_{n}^{\prime} \subset$ $\mathrm{SL}_{r^{\prime}}(\mathbb{C})$ such that $\mathrm{MC}_{\lambda}$ induces a map

$$ Y(\underline{C}) \rightarrow Y\left(\underline{C^{\prime}}\right) . $$

5. Mapping class group identification in §2.2

• ID: 69e1dbf7-a9b8-4ef8-b448-2f7c7c73c2b3
• Refine score: 0.37
• Original types: general
• Refine status: open

Comment

The displayed Artin presentation is that of $B_n$, but $B_n/Z(B_n)$ is the mapping class group of an $(n+1)$-punctured sphere fixing one distinguished puncture, not the full group $\operatorname{Mod}_{0,n}$ defined here. The latter is obtained from the spherical braid group after the appropriate central quotient. The distinction is visible for $n=3$: $B_3/Z(B_3)\cong\operatorname{PSL}_2(\mathbb{Z})$, whereas $\operatorname{Mod}_{0,3}\cong S_3$. Although the Hurwitz action on product-one tuples does factor through the sphere mapping class group, the stated group identification is incorrect.

Quoted passage

That is, the action of $\left\langle\sigma_{1}, \ldots, \sigma_{n-1}\right\rangle$ on $Y(0, n, r)$ factors through the quotient

$$ \left.\left\langle\sigma_{1}, \ldots, \sigma_{n-1}\right| \sigma_{i} \sigma_{i+1} \sigma_{i}=\sigma_{i+1} \sigma_{i} \sigma_{i+1} \text { and } \sigma_{i} \sigma_{j}=\sigma_{j} \sigma_{i} \text { for }|i-j| \geq 2\right\rangle, $$

which is the usual Artin presentation of the braid group, which is (up to quotienting by the center) the mapping class group

$$ \operatorname{Mod}_{0, n}:=\pi_{0}\left(\operatorname{Homeo}^{+}\left(\mathbb{C P}^{1} \backslash\left\{x_{1}, \ldots, x_{n}\right\}\right)\right) $$

6. Hypergeometric classification omits rank-one twists

• ID: af4c43a3-b5dd-4043-ba49-4fd186bea473
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

The hypergeometric classification is correct only up to a rank-one twist and the associated normalization of local exponents. A raw Gauss ${}_2F_1(a,b;c;z)$ equation has local monodromy eigenvalue $1$ at both $0$ and $1$, whereas a general irreducible $\mathrm{GL}_2$ representation of the three-punctured sphere need not have eigenvalue $1$ at two punctures. Thus “precisely” is too strong without the normalization qualification.

Quoted passage

In fact, in this last case all irreducible 2-dimensional representations are rigid in the sense of § 2.1; while the dynamics are not interesting, this is the source of the (extremely rich) theory of hypergeometric functions, and the corresponding representations of $\pi_{1}\left(\mathbb{C} \mathbb{P}^{1} \backslash\left\{x_{1}, x_{2}, x_{3}\right\}\right)$ are precisely given by the monodromy of the hypergeometric functions ${ }_{2} F_{1}(a, b, c \mid z)$ (see e.g. [Beu07]).

7. Markoff orbit claim needs a positivity restriction

• ID: f69db39e-1213-458b-b31c-47eb0f049b30
• Refine score: 0.27
• Original types: general
• Refine status: open

Comment

The claim that all integral solutions of the Markoff equation form a single orbit is false without a restriction: $(0,0,0)$ is an integral solution fixed by all three Vieta involutions and therefore cannot lie in the orbit of $(1,1,1)$. The classical transitivity statement concerns an appropriately restricted set, such as positive Markoff triples.

Quoted passage

Markoff was not interested in finite orbits-rather, he showed that the integral solutions to (2.2) form a single orbit under these dynamics. We will return to questions about integral points later in these notes, in § 5.4.10; instead we now turn to the origin of our question about finite orbits. 2.2.3. $n=4$ and the Painlevé VI equation.

8. Example 2.2.4 is undefined for some rational parameters

• ID: 29719079-adae-4483-93d3-8662de09780b
• Refine score: 0.28
• Original types: general
• Refine status: open

Comment

The displayed parametrization is not defined for every stated pair $\alpha,\beta\in\mathbb{Q}$ because $A_1$ contains divisions by $x_1$. For example, $\alpha=\beta=\tfrac12$ gives $x_1=0$ and $x_2=x_3=\sqrt{2}$, so the matrix entries are undefined. The parameter domain must exclude such values unless they are handled by a different representative or limiting construction.

Quoted passage

where

$$ x_{1}=2 \cos \left(\frac{\pi(\alpha+\beta)}{2}\right), x_{2}=2 \sin \left(\frac{\pi \alpha}{2}\right), x_{3}=2 \sin \left(\frac{\pi \beta}{2}\right) $$

for $\alpha, \beta \in \mathbb{Q}$. See [LL23a, Example 1.1.7] for a discussion of this example, and the rest of that paper for an involved analysis of some related arithmetic questions. See also § 5.2 for a brief further discussion of this example.

9. Scope of the classification is overstated in §2.2

• ID: baabcd09-dda4-4ba5-927d-33312c5df85c
• Refine score: 0.29
• Original types: general
• Refine status: open

Comment

The claim that finite $\operatorname{Mod}_{0,n}$-orbits on $Y(0,n,2)$ have been classified is too broad. Theorem 2.2.8 treats interesting orbits for which some $A_i$ has infinite order; the later discussion expressly leaves the all-finite-order interesting case open.

Quoted passage

Here $\mathrm{MC}_{\lambda}$ is the middle convolution operation introduced by Katz in [Kat96] and discussed earlier in § 2.1.

Note that if $n>4$, the $B_{i}$ are not $2 \times 2$ matrices-they are $(n-2) \times(n-2)$ matrices. So we have classified finite $\operatorname{Mod}_{0, n}$-orbits on $Y(0, n, 2)$ in terms of certain finite subgroups of $\mathrm{GL}_{n-2}(\mathbb{C})$. In what sense is this actually a classification? The point is that finite complex reflection groups were classified by Shephard and Todd [ST54] in 1954.

10. The §2.2 Shephard–Todd list misidentifies $PSL_2(7)$

• ID: e474222f-8d0b-4765-8e16-1ad0399b304b
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

The natural irreducible three-dimensional representation of $PSL_2(\mathbb{F}_7)$ is not itself a complex reflection group under Definition 2.2.9: its image lies in $SL_3(\mathbb{C})$, while every nonidentity pseudoreflection in dimension three has nontrivial determinant. The corresponding exceptional Shephard–Todd group is a scalar extension whose projective quotient is $PSL_2(\mathbb{F}_7)$.

Quoted passage

Theorem 2.2.10 (Shephard-Todd [ST54]). There is one infinite class of finite complex reflection groups, denoted $G(m, p, n) \subset G L_{n}(\mathbb{C})$, where $p$ divides $m$. The group $G(m, 1, n)$ consists of all $n \times n$ matrices with exactly one non-zero entry in each row and column, where that non-zero entry is an $m$-th root of unity. The group $G(m, p, n) \subset G(m, 1, n)$ is the subgroup consisting of matrices whose non-zero entries multiply to an $m / p$-th root of unity.

There are 34 exceptional irreducible finite complex reflection groups not conjugate to one of the $G(m, p, n)$, including the Weyl groups $W\left(E_{6}\right), W\left(E_{7}\right)$, $W\left(E_{8}\right)$, the Valentiner group, the group $P S L_{2}\left(\mathbb{F}_{7}\right)$ with its natural 3-dimensional representation, the automorphism group of the icosahedron, and so on.

11. Equivalence overstated at the start of §2.3

• ID: 310ebc20-1fa3-4c9e-98b9-46c70d2211aa
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

The statement that Question 2.3.2 is “the same as” classifying all finite $\operatorname{Mod}_{0,n}$-orbits is too broad. Proposition 2.3.3 identifies finite orbit with extension over a dominant family, not with geometric origin. Under the subsequent rank-two, Zariski-dense dichotomy, the finite-orbit problem has a pullback-type branch and a rigid/geometric-origin branch; only after the pullback branch and the earlier degenerate cases are handled does the remaining problem coincide with Question 2.3.2.

Quoted passage

Question 2.3.2. Let $x_{1}, \ldots, x_{n} \subset \mathbb{C P}^{1}$ be $n$ generic points. Can one classify local systems of rank 2 on $\mathbb{C P}^{1} \backslash\left\{x_{1}, \ldots, x_{n}\right\}$ that are of geometric origin?

It turns out that this question is the same as classifying finite $\operatorname{Mod}_{0, n^{-}}$ orbits on $Y(0, n, 2)$, as we now explain.

The following is immediate from the proof of [LL24b, Corollary 2.3.5] (note that the condition that $g \geq 1$ is unnecessary in our setting, as we are working with $\mathrm{SL}_{2}(\mathbb{C})$-representations):

12. Missing finiteness condition in Question 2.4.1

• ID: 167946db-6357-440b-80e3-2d2bee8e60a7
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

Question 2.4.1 omits the requirement that the $\operatorname{Mod}_{0,n}$-orbit be finite. As written, “finite tuples” only describes an $n$-tuple, and every point of $Y(0,n,2)$ has an orbit, so the question does not formally state the finite-orbit classification problem developed in §2.

Quoted passage

2.4. Some questions. These results leave a number of questions unresolved; we briefly record two such questions here for the reader who will depart prematurely - there are many, many more such questions later in these notes.

Question 2.4.1. Can one classify conjugacy classes of finite tuples of matrices $\left(A_{1}, \ldots, A_{n}\right) \in Y(0, n, 2)$ with $\operatorname{Mod}_{0, n}$-orbit, without the condition that some $A_{i}$ have infinite order?

Question 2.4.2. Can one say anything about finite $\operatorname{Mod}_{0, n}$-orbits in $Y(0, n, r)$ with $r>2$ ?

13. Determinant does not characterize orientation in §3.1

• ID: 30c73e27-b93f-4526-be88-163066de2848
• Refine score: 0.29
• Original types: general
• Refine status: open

Comment

The parenthetical characterization by determinant is false when $g$ is even. Orientation-preserving mapping classes preserve the algebraic intersection form, whereas orientation-reversing classes act anti-symplectically. An anti-symplectic automorphism of a rank-$2g$ symplectic lattice has determinant $(-1)^g$, which is also $1$ for even $g$.

Quoted passage

The group $\operatorname{Mod}_{g, 0}=\pi_{1}\left(\mathscr{M}_{g}\right)$ has a simple group-theoretic interpretation: it is of index 2 in $\operatorname{Out}\left(\pi_{1}\left(\Sigma_{g}\right)\right)$ (in particular, it is the subgroup acting on $H_{1}\left(\Sigma_{g}, \mathbb{Z}\right)$ with determinant 1).

Generalizing our previous definitions, we set

14. Residue discussion conflates a sheaf fiber with its quotient

• ID: 5c0514b5-2c2e-4a68-9361-cff6fbaeaca9
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

The claim that the fiber of $\Omega_X^1(\log D)$ is canonically trivialized by $dz/z$ is false when $\dim X>1$: that fiber also has tangential cotangent directions, and the class of $dz/z$ depends on the local equation. The canonical object used in the following display is instead the residue quotient $\Omega_X^1(\log D)/\Omega_X^1\simeq\mathscr{O}_D$, where the class of $dz/z$ is well defined. The subsequent residue construction is therefore correct, but the preceding description of the full fiber is not.

Quoted passage

The fiber of the sheaf $\Omega_{X}^{1}(\log D)$ at a point $x \in D$ is canonically trivialized by the 1-form $d z / z$, where $z$ is any local equation for $D$ at $x$. A local computation shows that the composite map

$$ \left.\mathscr{E} \xrightarrow{\nabla} \mathscr{E} \otimes \Omega_{X}^{1}(\log D) \rightarrow \mathscr{E} \otimes\left(\Omega_{X}^{1}(\log D) / \Omega_{X}^{1}\right) \simeq \mathscr{E}\right|_{D} $$

is $\mathscr{O}_{X}$-linear and hence factors through $\left.\mathscr{E}\right|_{D}$.

15. Schlesinger derivation leaves the $C_i$ terms unresolved

• ID: 35f587a7-81ba-442c-b89d-5abe8a77797f
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

In Example 3.2.6, the displayed curvature also contains terms involving $dC_i$, $[A_i,C_j]$, and $[C_i,C_j]$. Thus flatness gives the stated Schlesinger equations for the residues only after a base-dependent gauge normalization eliminating the $C_i$, or under equivalent conditions that make their contributions vanish; without that qualification, the computation as written is incomplete.

Quoted passage

$$ \widetilde{\nabla}=d-\sum_{i=1}^{n} \frac{A_{i}(\underline{x})}{z-x_{i}} d\left(z-x_{i}\right)+\sum C_{i} d x_{i}, $$

i.e. a connection with regular singularities along the evident divisors where $z=x_{i}$. Note that $\sum A_{i}(\underline{x})=0$ by our assumption that there is no pole at $\infty$.

The condition that $\widetilde{\nabla}$ be isomonodromic is simply the condition that $\widetilde{\nabla} \circ \widetilde{\nabla}=0$. What condition does this impose on the $A_{i}$ ? For $i \neq j$, considering the coefficient of $d\left(z-x_{i}\right) \wedge d\left(z-x_{j}\right)$ gives precisely the first line of (2.4); differentiating the identity $\sum A_{i}(\underline{x})=0$ gives the second.

16. Rigidity step needs the traceless adjoint

• ID: 7e5c68a7-f8b7-4289-a63e-acdbd8c8b5f6
• Refine score: 0.42
• Original types: general
• Refine status: open

Comment

The rigidity deduction requires the fixed-determinant deformation problem and the traceless adjoint $\operatorname{End}^0(\mathbb V')$ to be explicit. For the full endomorphism local system, the rank is $r^2$, so Theorem 3.3.1 does not apply when $g=r^2$, and scalar determinant-changing deformations remain. With $\operatorname{End}^0(\mathbb V')$, the rank is $r^2-1<g$; fiberwise irreducibility also gives $\pi_*\operatorname{End}^0(\mathbb V')=0$, allowing the Leray sequence to convert Theorem 3.3.1’s vanishing into the needed fixed-determinant cohomological rigidity.

Quoted passage

By work of Mochizuki [Moc06, Th. 10.5], $\mathbb{V}$ can be deformed to a polarizable complex variation of Hodge structure $\mathbb{V}^{\prime}$ (see Theorem 5.4.7 for a variant of this result and a sketch of the proof). We assume for simplicity that $\mathbb{V}^{\prime}$ is irreducible when restricted to a fiber of $\pi .{ }^{12}$ By Corollary 3.2.10, $\mathbb{V}^{\prime}$ is in fact unitary. Now by Theorem 3.3.1, applied to $\operatorname{ad}\left(\mathbb{V}^{\prime}\right), \mathbb{V}^{\prime}$ is cohomologically rigid, i.e. it admits no non-trivial infinitesimal deformations.

This observation has two consequences:

(1) as we have deformed $\mathbb{V}$ to a representation with no non-trivial deformations, we must have that $\mathbb{V}$ and $\mathbb{V}^{\prime}$ are isomorphic to one another, and (2) $\mathbb{V}^{\prime}$ (and hence $\mathbb{V}$ ) are defined over $\mathscr{O}_{K}$, the ring of integers of some number field $K$, by work of Esnault-Groechenig [EG18, Theorem

17. Flatness is missing from the Atiyah splitting criterion

• ID: e0d7ddb3-ba3d-4fa5-8c08-1b73505001d1
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

An $\mathscr{O}_X$-linear splitting of the Atiyah sequence corresponds to a connection, not necessarily a flat one. Flatness additionally requires the splitting to preserve Lie brackets, equivalently to have zero curvature. This distinction matters here because the later claim that $q^\nabla$ is a map of complexes uses precisely that extra condition.

Quoted passage

By construction there is a short exact sequence

$$ 0 \rightarrow \operatorname{End}(\mathscr{E}) \rightarrow \operatorname{At}(\mathscr{E}) \stackrel{\tau}{\rightarrow} T_{X} \rightarrow 0, $$

called the Atiyah exact sequence. The data of a flat connection ∇ on $\mathscr{E}$ is the same as the data of an $\mathscr{O}$-linear splitting $q^{\nabla}$ of this sequence, where $q^{\nabla}(v)(s)$ is given by contracting $v$ with ∇ (s).

Now suppose we are given a flat connection ∇ on $\mathscr{E}$, and consider the complex

$$ \operatorname{At}(\mathscr{E})_{d R}^{\bullet}: \operatorname{At}(\mathscr{E}) \rightarrow \operatorname{End}(\mathscr{E}) \otimes \Omega_{X}^{1} \xrightarrow{\nabla} \operatorname{End}(\mathscr{E}) \otimes \Omega_{X}^{2} \xrightarrow{\nabla} \cdots $$

18. Ambiguous reduction in the rank-one example

• ID: 62aae96b-5229-4800-a97e-0d97634c89e9
• Refine score: 0.28
• Original types: general
• Refine status: open

Comment

The phrase “identically zero $\bmod p$” is ambiguous for coefficients in $K=\mathbb{Q}(a)$. Vanishing after reduction at one prime $\mathfrak p\mid p$ only implies that the residue of $a$ lies in $\mathbb{F}_p$, whereas complete splitting follows when vanishing is imposed in the full ring $\mathcal{O}_K/p\mathcal{O}_K$, equivalently at every prime above $p$. Without that global quantifier, the stated equivalence with complete splitting is not valid.

Quoted passage

On the other hand,

$$ \left(\frac{d}{d z}-\frac{a}{z}\right)^{p} z^{n}=(n-a)(n-a-1) \cdots(n-a-p+1) z^{n-p} $$

is identically zero $\bmod p$ for almost all $p$ iff $p$ splits completely in $\mathbb{Q}(a)$ for almost all $p$; this happens if and only if $a \in \mathbb{Q}$, by the Chebotarev density theorem.

There is a more intrinsic formulation of Conjecture 4.2.3, which makes sense on general smooth bases.

19. Proposition 4.3.5 switches conjectures prematurely

• ID: 2a514e2f-fd0f-4122-a911-cf71fb84ae63
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

The proof of Proposition 4.3.5 establishes only $p$-integrality through order $\omega(p)$ but then invokes Conjecture 4.3.4, whose stated formulation explicitly omits that condition and instead assumes full integral descent. The argument therefore needs the finite-order $p$-integrality equivalence from Conjecture 4.3.1. In addition, the relevant point of the genus-$g$ de Rham moduli space is the pullback of $(\mathscr{E},\nabla)$ to $Y$, rather than the original bundle on $X$.

Quoted passage

By a direct computation with Taylor series, the leaf of the isomonodromy foliation through $[(\mathscr{E}, \nabla)] \in \mathscr{M}_{d R}(\mathscr{X} / \mathscr{S})$ is $p$-integral to order $\omega(p)$. Then Conjecture 4.3.4 implies that the monodromy of $\left.(\mathscr{E}, \nabla)\right|_{Y}$ has finite orbit under

$$ \operatorname{Mod}_{g}=\pi_{1}\left(\mathscr{M}_{g}\right) ; $$

hence by Theorem 3.1.5, $(\mathscr{E}, \nabla)$ has finite monodromy. $\square$

20. Geometric origin does not meet the stated Picard–Fuchs hypothesis

• ID: ea753aa7-89f5-418b-aa96-9474a8bede14
• Refine score: 0.41
• Original types: general
• Refine status: open

Comment

Theorem 4.3.9 does not by itself establish the Picard–Fuchs hypothesis used in Theorem 4.3.7. Under Definition 2.3.1, a local system of geometric origin may be only a direct summand of $R^i\pi_*\mathbb{C}$, while Definition 4.2.7 requires the flat bundle itself to equal the full Gauss–Manin system. The connection drawn here therefore requires an additional result extending Theorem 4.3.7 to such summands or realizing these local systems as full Picard–Fuchs systems.

Quoted passage

In examples, the hypothesis that the flat bundle in question be a PicardFuchs equation does not seem unduly restrictive. For example, the following is a consequence of our discussion in § 2.3:

Theorem 4.3.9. Let $\left(C_{1}, \ldots, C_{n}\right)$ be an $n$-tuple of quasi-unipotent conjugacy classes in $\mathrm{SL}_{2}(\mathbb{C})$. Any finite orbit of the $\operatorname{PMod}_{0, n}$-action on $Y(\underline{C})^{\text {irr }}$ corresponds to a local system of geometric origin.

21. Universal cover does not ensure the claimed π₁ isomorphism

• ID: 5556f7b3-4be4-4c8e-b5a2-cf1eafb3bae4
• Refine score: 0.5
• Original types: general
• Refine status: open

Comment

In the proof of Corollary 4.4.3, passing to the universal cover of $S(\mathbb{C})^{\mathrm{an}}$ does not by itself make $\pi_1(X)\to\pi_1(\mathscr{X}_{\widetilde S})$ an isomorphism: the kernel may contain the image of the boundary map $\pi_2(\widetilde S)\to\pi_1(X)$. Thus the claimed global extension of the local system requires an additional argument. The proof could instead be formulated using the horizontal section of the relative Betti moduli space and locally defined fiberwise parallel transport, which is all the Noether–Lefschetz argument appears to require.

Quoted passage

Proof. Let $\widetilde{S}$ be the universal cover of $S(\mathbb{C})^{\text {an }}$, and let $\mathscr{X}_{\widetilde{S}}$ be the basechange of $\mathscr{X}(\mathbb{C})^{\text {an }}$ to $\widetilde{S}$. Choosing a lift $\widetilde{s} \in \widetilde{S}$ of $s$, the inclusion $X \rightarrow \mathscr{X}_{\widetilde{S}}$ as the fiber over $\widetilde{s}$ induces an isomorphism of fundamental groups. Hence we have a local system $\mathbb{V}$ on $\mathscr{X}_{\widetilde{S}}$ with monodromy the same as that of $(\mathscr{E}, \nabla)$.

22. Dolbeault moduli conditions in Example 5.1.1

• ID: 9cff27a4-2e16-40b7-b772-03fc98806500
• Refine score: 0.37
• Original types: general
• Refine status: open

Comment

The stated definition of $M_{\mathrm{Dol}}(X,r)$ omits the relevant vanishing conditions on rational Chern classes. For a higher-dimensional smooth projective $X$, semistability and degree zero alone do not define the Dolbeault moduli space corresponding under non-abelian Hodge theory to $M_B(X,r)$.

Quoted passage

We write this in a form analogous to that of the usual Hodge conjecture, above. Namely, we let $M_{\text {Dol }}(X, r)$ be the (coarse) moduli space of semistable Higgs bundles of degree zero. Here a Higgs bundle is a pair $(\mathscr{E}, \theta: \mathscr{E} \rightarrow$ $\mathscr{E} \otimes \Omega_{X}^{1}$ ) with $\theta$ an $\mathscr{O}_{X}$-linear map such that the natural composition

$$ \theta \circ \theta: \mathscr{E} \rightarrow \mathscr{E} \otimes \Omega_{X}^{2} $$

is identically zero (see [Sim95, §6] for details). The map $\theta$ is referred to as a Higgs field.

[^13]There is a natural $\mathbb{C}^{\times}$-action on $M_{\text {Dol }}(X, r)$, given by scaling the Higgs field:

$$ \lambda \cdot(\mathscr{E}, \theta)=(\mathscr{E}, \lambda \theta) . $$

Moreover there is a natural (real-analytic!) homeomorphism $M_{\text {Dol }}(X, r) \simeq$ $M_{B}(X, r)$ [Sim95, Theorem 7.18].

23. Integral points versus integral local systems

• ID: 36c277a5-a930-443c-8ded-618d648440b9
• Refine score: 0.29
• Original types: general
• Refine status: open

Comment

The notation $M_B(X,r)(\mathbb Z)$ is ambiguous here: ordinary $\mathbb Z$-points of a coarse GIT quotient need not coincide with complex local systems that admit a $\mathbb Z$-lattice. The displayed reformulation is valid only if this notation is understood as the image of genuine $\mathbb Z$-local systems in the complex Betti moduli space.

Quoted passage

Moreover there is a natural (real-analytic!) homeomorphism $M_{\text {Dol }}(X, r) \simeq$ $M_{B}(X, r)$ [Sim95, Theorem 7.18]. Now Simpson's [Sim97, Conjecture 12.4] may be rephrased as saying that the points of

$$ M_{B}(X, r)(\mathbb{Z}) \cap M_{\mathrm{Dol}}(X, r)^{\mathbb{C}^{\times}} $$

correspond to local systems of geometric origin, where we make sense of the intersection here using the homeomorphism of the previous sentence.

24. Undefined Betti moduli in the Tate analogue

• ID: 64ee5786-ebb8-4c98-b840-52e11571b433
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

The notation $M_B(X,r)(\overline{\mathbb Q}_\ell)$ is not defined in this arithmetic setting. When $X$ may be over a positive-characteristic field, the relevant objects are continuous representations of the geometric étale fundamental group, not points of the previously defined Betti moduli space of a complex topological fundamental group. The displayed union is meaningful only after introducing an appropriate $\ell$-adic representation space or treating it explicitly as set-theoretic shorthand for isomorphism classes of continuous $\ell$-adic local systems.

Quoted passage

Conjecture 5.1.4 (Fontaine-Mazur-Petrov [Pet23, Conjecture 1 bis]). Let $\mathbb{V}$ be an irreducible $\ell$-adic local system on $X_{K^{s}}$. Then $\mathbb{V}$ is of geometric origin if and only if it its isomorphism class has finite orbit under $\operatorname{Gal}\left(K^{s} / K\right)$.

That is, the $\ell$-adic local systems on $X$ of geometric origin and rank $r$ are precisely

$$ \underset{K^{\prime} / K}{\lim } \mathrm{M}_{B}(X, r)\left(\overline{\mathbb{Q}_{\ell}}\right)^{\operatorname{Gal}\left(K^{s} / K^{\prime}\right)} . $$

Our primary evidence for this conjecture comes from the case where $X$ is a curve and $K$ is finite, where the conjecture follows from work of Lafforgue [Laf02].

25. Puncture labels conflict in the case study

• ID: aae66f8a-07aa-4f07-ad09-b8806f7cf0db
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

In §5.2, the assignments of $C_3$ and $C_4$ conflict with $x_3=\infty$ and $x_4=\lambda$. Under the paper’s componentwise definition of $Y(\underline{C})$, the displayed indexing places $C_3$ at $\infty$ and $C_4$ at $\lambda$, whereas the prose places them at $\lambda$ and $\infty$, respectively.

Quoted passage

this time with $n=4$. By applying a fractional linear transformation we may assume

$$ x_{1}=0, x_{2}=1, x_{3}=\infty $$

and set $x_{4}=\lambda$. Our goal will be to classify rank 2 local systems of geometric origin on $X$ with local monodromy in the conjugacy class

$$ C_{1}=C_{2}=C_{3}=\left[\left(\begin{array}{ll} 1 & 1 \\ 0 & 1 \end{array}\right)\right] $$

at 0, 1, $\lambda$ and in the conjugacy class

$$ C_{4}=\left[\left(\begin{array}{cc} -1 & 1 \\ 0 & -1 \end{array}\right)\right] $$

at $\infty$.

26. Missing dense-orbit hypothesis in Theorem 5.4.13

• ID: 6f3c4e0b-4348-4ad9-a111-ca9662b3f87e
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

The proof sketch does not state the condition placing the unitary Galois conjugate in the dense-orbit regime, such as density of its image in $\mathrm{SU}(2)$. Unitarity alone is insufficient: integral finite-image representations are unitary but have finite mapping class group orbits. The intended Shimura-curve representation may satisfy the stronger condition, but that essential property is not established in the sketch.

Quoted passage

From the main result of [PX02b, Theorem 1.4], taking the boundary to be empty, and the Zariski-density of the unitary locus, it is enough to produce one $\pi_{1}(X)$-representation defined over $\overline{\mathbb{Z}}$ with a unitary Galois conjugate-the orbit of this representation under the mapping class group of $X$ will be Zariski dense. But now the tautological local system on any compact Shimura curve (or étale cover thereof) of genus $g$ suffices (and such exist for all $g \geq 2$, as one may take étale covers of a compact Shimura curve of genus 2). $\square$

27. Basepoint stabilizer needed in the Putman–Wieland setup

• ID: 5ca204f1-ec07-4b41-ac41-5ec12dcd55df
• Refine score: 0.31
• Original types: general
• Refine status: open

Comment

The asserted action on $\pi_1(\Sigma_{g,n},x_0)$ requires restricting $\operatorname{Mod}_{g,n+1}$ to the finite-index subgroup preserving the distinguished extra point $x_0$. Under the paper’s convention, the full mapping class group may permute all $n+1$ punctures and therefore does not act on this fixed based fundamental group. The stabilizer $\Gamma$ should consequently be understood inside the point-preserving subgroup; this is a local setup issue and does not affect the ensuing Putman–Wieland statements once that restriction is made.

Quoted passage

Let $\Sigma_{g, n}$ be an orientable surface of genus $g$ with $n$ punctures. Fixing a base-point $x_{0}$ in $\Sigma_{g, n}$, there is a natural action of $\operatorname{Mod}_{g, n+1}$ on $\pi_{1}\left(\Sigma_{g, n}, x_{0}\right)$; hence if $\Sigma_{g^{\prime}} \rightarrow \Sigma_{g}$ is a cover branched at $n$ points, a finite index subgroup of $\operatorname{Mod}_{g, n+1}$ naturally acts on $H_{1}\left(\Sigma_{g^{\prime}}, \mathbb{Z}\right)$. Indeed, let $\Sigma_{g^{\prime}, n^{\prime}}$ be the complement of the ramification points in $\Sigma_{g^{\prime}}$; then $\pi_{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right)$ is a subgroup of $\pi_{1}\left(\Sigma_{g, n}\right)$, and hence admits a natural action by its stabilizer $\Gamma$ in $\operatorname{Mod}_{g, n+1}$, a finite index subgroup.

28. Branched Putman–Wieland implication needs an extension

• ID: 8bc489cf-6937-46d4-9b28-f3a2411f80d7
• Refine score: 0.37
• Original types: general
• Refine status: open

Comment

The deduction of the branched Putman–Wieland conjecture is immediate from Proposition 6.3.2 only when $n=0$, given the standing assumption there that $q$ is proper. For $n>0$, the argument requires the corresponding logarithmic/parabolic statement for $W^1R^1q_*\mathbb{U}$, with generic generation formulated using $\widehat{\mathscr{E}}_0\otimes\omega_{\bar X}(D)$. The text appears to rely on this unstated extension, so its availability and applicability should be made explicit.

Quoted passage

Taking $\rho$ to have finite monodromy, these conjectures imply the PutmanWieland conjecture (Conjecture 6.2.1), by Proposition 6.3.2. More generally, they would give some evidence for Conjecture 6.1.2:

Proposition 6.3.6. Suppose $g \geq 3$ and assume Conjecture 6.3.4. Let

$$ \rho: \operatorname{PMod}_{g, n+1} \rightarrow U(r) $$

be a representation whose restriction to the point-pushing subgroup $\pi_{1}\left(\Sigma_{g, n}\right) \subset \operatorname{PMod}_{g, n+1}$ is irreducible. Then $\rho$ is cohomologically rigid.

29. Rank dependence in Conjecture 6.3.17 is unclear

• ID: 5134841b-6ea2-436e-a93e-63f3590fc976
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

The quantifiers in Conjecture 6.3.17 do not determine whether the non-decreasing bound is universal over ranks and monodromy representations or may depend on the previously fixed bundle $\mathscr E$. This distinction is substantive: a genus-only $f(g)$ gives rank-uniform bounds, whereas the stated evidence produces a rank-sensitive $f(g,r)$ and establishes degree-one vanishing only when $g\geq 2+2\operatorname{rk}(\mathscr E)$.

Quoted passage

Conjecture 6.3.17 (Horizontal generic vanishing). Let $g \geq 3$, and let $(X, D)$ be a marked smooth projective curve of genus $g \geq 3$. Let $(\mathscr{E}, \nabla)$ be a flat bundle on $X$ with irreducible, non-trivial unitary monodromy, and regular singularities along $D$, whose residue matrices have eigenvalues with real parts in $[0,1) .{ }^{20}$ There exists some non-decreasing function $f$, with $f(3)=1$, such that after isomonodromic deformation to a general nearby curve $X^{\prime}$, we have:

(1) (weak form) $H^{0}\left(X^{\prime}, \mathscr{E}(Z)\right)=0$ for a general effective divisor $Z$ on $X^{\prime}$ of degree $d \leq f(g)$. (2) (strong form) $H^{0}\left(X^{\prime}, \mathscr{E}(Z)\right)=0$ for all effective divisors $Z$ on $X^{\prime}$ of degree $d \leq f(g)$.

30. Maximality makes Question 6.4.3 potentially vacuous

• ID: 9e4dc3c3-9589-4814-b5d5-0950fa63de6b
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The maximality condition in Question 6.4.3 does not presently distinguish the special invariant loci under discussion. Under ordinary inclusion-theoretic maximality, an invariant irreducible subvariety is contained in an invariant irreducible component of $Y(g,n,r)$, so the maximal candidates are generally just ambient components. The intended class of proper or otherwise distinguished invariant subvarieties therefore remains unspecified.

Quoted passage

6.4.2. Invariant subvarieties. In § 2, § 3, and §4, we studied the finite orbits of $\pi_{1}(\mathscr{M})$ on $Y(g, n, r)$. What about higher-dimensional invariant subvarieties? A natural (imprecise) expectation in the case $\mathscr{M}=\mathscr{M}_{g, n}$, analogous to Conjecture 6.1.6, is that for $g \geq 3$, any such subvariety should all be motivic, in the sense of §5.5.

Question 6.4.3 (Imprecise). Let $Z \subset Y(g, n, r)$ be a maximal irreducible subvariety stable under the action of a finite index subgroup of $\operatorname{Mod}_{g, n}$. Then is $Z$ "of geometric origin" for any complex structure on $\Sigma_{g, n}$ ?

31. Conjecture 6.4.6 gives only half the claimed specialization

• ID: 214cc504-8506-43ae-885e-59a7d1a1b7bf
• Refine score: 0.24
• Original types: general
• Refine status: open

Comment

The stated specialization to Conjecture 4.3.4 accounts explicitly only for the implication from an integral formal isomonodromic deformation to a finite orbit. Since Conjecture 4.3.4 is formulated as an equivalence, the claim that Conjecture 6.4.6 specializes to the full statement requires the converse—presumably the comparatively formal algebraic-leaf-implies-integrality direction—to be made explicit.

Quoted passage

Conjecture 6.4.6. Let $\mathscr{X} \rightarrow S$ be a smooth proper morphism over a finitely-generated integral $\mathbb{Z}$-algebra $R, s \in S$ an $R$-point, and $Z \subset$ $\mathscr{M}_{d R}(\mathscr{X} / S, r)_{s}$ a closed substack. Then $Z(\mathbb{C})$ is invariant under a finite index subgroup of $\pi_{1}(S, s)$ if its formal isomonodromic deformation has an integral model.

This is meant to be the higher-dimensional analogue of Conjecture 4.3.4; it specializes to that statement if $Z$ is a point. It is arguably the non-abelian analogue of [Kat82, Conjecture 9.2], which aims to characterize the identity component of the Zariski-closure of the monodromy group of an ODE in terms of its $p$-curvatures.

32. Torelli containment does not follow from Torelli alone

• ID: 793481c1-ed16-4b11-bc3b-02747a2249c6
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The restriction on Torelli containment requires more than the Torelli theorem alone: finite homological monodromy must first be converted into constancy of the pulled-back variation using a fixed-part argument. In addition, the assertion that every geometric subgroup has infinite monodromy needs an infinite or non-isotrivial qualification, since isotrivial families can produce nontrivial finite geometric subgroups.

Quoted passage

Question 6.4.8. What are the geometric subgroups of $\operatorname{Mod}_{g, n}$ ? There are some evident restrictions on such subgroups. For example, by the Torelli theorem, non-trivial geometric subgroups of $\operatorname{Mod}_{g, n}$ cannot be contained in the Torelli group. Indeed, if $\mathbb{V}$ is any variation of Hodge structure on $\mathscr{M}_{g, n}$ with quasi-finite period map, then $\mathbb{V}$ yields an analogous restriction: the restriction of $\mathbb{V}$ to any geometric subgroup of $\operatorname{Mod}_{g, n}$ must have infinite monodromy. Moreover any variation of Hodge structure whatsoever on $\mathscr{M}_{g, n}$ must have semisimple monodromy when restricted to a geometric subgroup (as variations of Hodge structure are always semisimple).

Scope

• Paper: 03 Published and Submitted Work/Published/P01_Litt_Motives_Mapping_Class_Groups_and_Monodromy.pdf
• Refine report: .refine/results/Published/P01_Litt_Motives_Mapping_Class_Groups_and_Monodromy.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: the local published PDF
• Detailed Refine comments assessed: 32
• Assessment date: 2026-07-30

The unanchored feedback.overall material was used only as context. Suspicious notation in Examples 2.2.4 and 4.2.4, Theorem 2.2.10, and Section 5.2 was checked against rendered PDF pages.

Summary

No issue is classified at I3 or above. Items 16 and 21 initially appeared serious; separate independent challenges verified both repairs.

Detailed assessments

1. Connected fibers in the introductory exact sequence

Comment ID: 1393706f-f6b5-4ebe-a153-018c2f752338 Location: PDF p. 2.

Smoothness and properness do not alone make \(\pi_1(X)\to\pi_1(S)\) surjective. Add geometrically connected fibers (and the usual connectedness/basepoint assumptions). The later family setup does impose connected fibers, so no result depends on the broader introductory wording. Classification: V4/C5/I2/R2/D3.

2. The uniqueness locus changes from \(Y(\underline C)^{\rm irr}\)

Comment ID: d8e9baf8-e3f6-46e9-ab6c-e06a5df3f81e Location: PDF p. 5.

The question and the definition on the next page concern the irreducible locus, whereas the explanatory sentence says \(Y(\underline C)\) is a singleton. Restore the superscript irr. This is a meaning-bearing local scope error: V4/C5/I2/R2/D3.

3. Middle convolution is not an autoequivalence of all representations

Comment ID: a16f3718-5361-49d1-b323-91f6a6a01b8a Location: PDF pp. 6 and 17.

With the later cohomological definition, middle convolution by a nontrivial Kummer character kills exceptional objects such as the trivial rank-one system. The preservation and quasi-inverse statements require Katz's nonexceptional subcategory (or the corresponding perverse-sheaf quotient); the rank-reduction use concerns the permitted irreducible objects. Classification: V4/C5/I2/R2/D3.

4. Middle convolution does not automatically preserve determinant one

Comment ID: 22519809-6841-4822-921c-fc4d00afb297 Location: PDF pp. 6-7.

The output local classes naturally lie in \(\mathrm{GL}_{r'}\); product one does not force every local determinant to be one. Replace the displayed \(\mathrm{SL}_{r'}\) target by \(\mathrm{GL}_{r'}\), or include the rank-one normalization that restores determinant one. Classification: V4/C5/I2/R2/D3.

5. The Artin presentation is not \(\operatorname{Mod}_{0,n}\)

Comment ID: 69e1dbf7-a9b8-4ef8-b448-2f7c7c73c2b3 Location: PDF pp. 7-8.

The displayed presentation is \(B_n\), and \(B_n/Z(B_n)\) is the mapping class group of an \((n+1)\)-punctured sphere fixing one puncture, not the full \(\operatorname{Mod}_{0,n}\). The latter requires the additional sphere relations. The Hurwitz outer action on product-one tuples does descend to the sphere mapping class group, so the later dynamics survive. Classification: V4/C6/I2/R2/D3.

6. Hypergeometric monodromy requires a rank-one normalization

Comment ID: af4c43a3-b5dd-4043-ba49-4fd186bea473 Location: PDF p. 8.

A raw Gauss \({}_2F_1\) system has a normalized eigenvalue \(1\) at two punctures. General irreducible rank-two three-point systems are hypergeometric only up to a rank-one twist and permutation/normalization of local exponents. Replace “precisely” by that qualified statement. Classification: V4/C9/I2/R2/D3.

7. Markoff transitivity needs positivity

Comment ID: f69db39e-1213-458b-b31c-47eb0f049b30 Location: PDF p. 9.

\((0,0,0)\) is a fixed integral solution and is not in the orbit of \((1,1,1)\). State the classical result for positive Markoff triples (with the conventional permutation/sign qualifications). Classification: V4/C5/I2/R2/D3.

8. Example 2.2.4 divides by a possibly zero parameter

Comment ID: 29719079-adae-4483-93d3-8662de09780b Location: PDF p. 10.

The rendered matrix \(A_1\) contains \(1/x_1\). For \(\alpha=\beta=\tfrac12\), \(x_1=0\), so the displayed representative is undefined. Add \(x_1\ne0\) and treat excluded parameters by a different representative or limit. Classification: V4/C5/I2/R2/D3.

9. The classification sentence omits Theorem 2.2.8's range

Comment ID: baabcd09-dda4-4ba5-927d-33312c5df85c Location: PDF pp. 12-13.

The theorem classifies interesting orbits only when some \(A_i\) has infinite order; the all-finite-order case is explicitly left open on the following page. Carry that qualifier into “we have classified.” Classification: V4/C9/I2/R2/D3.

10. The Shephard-Todd group is a scalar extension of \(PSL_2(7)\)

Comment ID: e474222f-8d0b-4765-8e16-1ad0399b304b Location: PDF p. 13.

The rendered page identifies the natural three-dimensional \(PSL_2(\mathbb F_7)\)-image itself as a reflection group. Its image lies in \(\mathrm{SL}_3\), while a nonidentity pseudoreflection has nontrivial determinant. The exceptional reflection group is the corresponding scalar extension (Shephard-Todd \(G_{24}\)), whose projective quotient is \(PSL_2(7)\). Classification: V4/C7/I2/R2/D3.

11. Finite orbit is not immediately the same as geometric origin

Comment ID: 310ebc20-1fa3-4c9e-98b9-46c70d2211aa Location: PDF pp. 14-16.

Proposition 2.3.3 gives extension over a dominant family. The subsequent Corlette-Simpson dichotomy has a pullback branch and a rigid/geometric-origin branch; only after the pullback and degenerate cases are separated does the remaining classification become Question 2.3.2. Qualify the advance claim. Classification: V4/C9/I2/R2/D3.

12. Question 2.4.1 is missing the word “finite”

Comment ID: 167946db-6357-440b-80e3-2d2bee8e60a7 Location: PDF p. 18.

The intended object is a tuple “with finite \(\operatorname{Mod}_{0,n}\)-orbit.” As printed, every tuple merely “has an orbit.” Classification: V4/C1/I2/R2/D3; tag meaning_changing_typo.

13. Determinant does not detect orientation for even genus

Comment ID: 30c73e27-b93f-4526-be88-163066de2848 Location: PDF p. 19.

Orientation-preserving mapping classes act symplectically and reversing ones anti-symplectically. An anti-symplectic operator on rank \(2g\) has determinant \((-1)^g\), which is \(1\) when \(g\) is even. Replace the determinant parenthesis by preservation of the intersection form. Classification: V4/C6/I2/R2/D3.

14. The residue trivializes a quotient, not the full logarithmic fiber

Comment ID: 5c0514b5-2c2e-4a68-9361-cff6fbaeaca9 Location: PDF p. 22.

In dimension greater than one, the fiber of \(\Omega_X^1(\log D)\) also contains tangential cotangent directions. The canonical object is \(\Omega_X^1(\log D)/\Omega_X^1\simeq\mathscr O_D\), whose generator is the residue class of \(dz/z\). The subsequent composite uses this correct quotient. Classification: V4/C4/I2/R2/D3.

15. Schlesinger equations require a standard gauge normalization

Comment ID: 35f587a7-81ba-442c-b89d-5abe8a77797f Location: PDF p. 24.

The \(C_i\,dx_i\) terms contribute to curvature. Restricting the flat connection to the section \(z=\infty\) gives a flat base connection; on the local parameter polydisk it can be gauge-trivialized, setting the \(C_i\) to zero. The usual coefficient calculation then gives Schlesinger's equations. This is a verified standard normalization, not a proof error: V4/C3/E2/I1/Q1/R1/D1.

16. The rigidity argument must use the traceless adjoint

Comment ID: 7e5c68a7-f8b7-4289-a63e-acdbd8c8b5f6 Location: PDF pp. 26-28.

For the full endomorphism system the rank is \(r^2\), so the strict rank-\(<g\) hypothesis of Theorem 3.3.1 fails when \(g=r^2\), and scalar determinant deformations remain.

Severity challenge (Q2, independently verified): Use the cited LL24/Corollary 2.3.5 extension, which has finite determinant on the total space, and carry out Mochizuki's deformation with this determinant fixed. The relevant tangent system is \(\operatorname{End}^0(\mathbb V')\), of rank \(r^2-1<g\). Fiberwise irreducibility gives \(\pi_*\operatorname{End}^0(\mathbb V')=0\). After the dominant étale base change, Lemma 2.4.2 writes \(\mathbb V'=\mathbb U\otimes\pi^*\mathbb L\), so \(\operatorname{End}^0(\mathbb V')=\operatorname{End}^0(\mathbb U)\) is unitary on the total space and Theorem 3.3.1 kills the fixed-determinant invariant tangent space. Leray then gives \(H^1(\operatorname{End}^0(\mathbb V'))=0\).

Scalar twists are exactly the failure mode of the uncorrected full-adjoint argument; fixing determinant removes their infinitesimal directions, while residual \(r\)-torsion scalar twists are discrete. Nonzero obstruction spaces cannot create a deformation when the first nontrivial small-extension stage would require an \(H^1\)-class. The isolation and integrality consequences therefore survive.

Final classification: V4/C6/E3/I2/Q2/R2/D3, HIGH.

17. An Atiyah splitting is not automatically flat

Comment ID: e0d7ddb3-ba3d-4fa5-8c08-1b73505001d1 Location: PDF pp. 30-31.

An \(\mathscr O_X\)-linear splitting of the Atiyah sequence is a connection. It is flat precisely when the splitting preserves Lie brackets, equivalently has zero curvature. The next page correctly uses flatness to obtain a map of complexes. Add the bracket/curvature condition. Classification: V4/C5/I2/R2/D3.

18. “Mod \(p\)” is clarified by the following equivalence

Comment ID: 62aae96b-5229-4800-a97e-0d97634c89e9 Location: PDF p. 32.

Visual inspection confirms \(a\in\overline{\mathbb Q}\). Vanishing in a single residue field only says the residue of \(a\) lies in \(\mathbb F_p\), whereas vanishing in \(\mathscr O_K/p\mathscr O_K\) gives complete splitting. The immediately following “if and only if \(p\) splits completely” makes the intended global interpretation recoverable, so this is an ambiguity rather than a false argument. Classification: V3/C3/E2/I1/R1/D1.

19. Proposition 4.3.5 invokes the wrong formulation

Comment ID: 2a514e2f-fd0f-4122-a911-cf71fb84ae63 Location: PDF p. 36.

The hypothesis is Conjecture 4.3.1, including finite-order \(p\)-integrality, while Conjecture 4.3.4 explicitly elides that condition. Invoke Conjecture 4.3.1 (or its unelided precise version) and place the pullback \((\mathscr E,\nabla)|_Y\), not the original object on \(X\), in the genus-\(g\) moduli space. Classification: V4/C6/I2/R2/D3.

20. Geometric origin does not imply “full Picard-Fuchs”

Comment ID: ea753aa7-89f5-418b-aa96-9474a8bede14 Location: PDF pp. 36-37.

Definition 2.3.1 allows a direct summand of \(R^i\pi_*\mathbb C\); Definition 4.2.7 requires equality with the full Gauss-Manin system. Remark 4.2.9 itself notes that the summand case is not known in general. Therefore Theorem 4.3.9 does not by itself show that Theorem 4.3.7's hypothesis is mild. Qualify the example or cite a special realization theorem. Classification: V4/C9/I2/R2/D3.

21. The universal-cover base change need not preserve \(\pi_1\)

Comment ID: 5556f7b3-4be4-4c8e-b5a2-cf1eafb3bae4 Location: PDF pp. 37-38.

For the fibration over \(\widetilde S\), the homotopy sequence contains

so simple connectedness of the base does not make the middle map an isomorphism.

Severity challenge (Q2, independently verified): The proof does not need a local system on the total space. The local system of relative Betti character varieties trivializes over \(\widetilde S\), so the isomonodromic point defines a horizontal section \(\sigma\). The \(\pi_2(\widetilde S)\)-boundary changes based transport only by inner automorphism, which is invisible on character variety points even when it obstructs a total-space representation.

Pull back Simpson's closed relative nonabelian Hodge locus along \(\sigma\). Formal Griffiths-transverse extension and Artin approximation make the pulled-back locus open near the starting point; it is also closed analytic, hence equals connected \(\widetilde S\). Deck transformations carry its values to the mapping-class-group orbit of the initial representation. Deligne finiteness then gives the required finite orbit; \(\sigma\) need not descend or be deck-invariant.

Final classification: V4/C6/E3/I2/Q2/R2/D3, P2, HIGH.

22. The Dolbeault moduli space needs vanishing Chern classes

Comment ID: 9cff27a4-2e16-40b7-b772-03fc98806500 Location: PDF p. 40.

For higher-dimensional smooth projective \(X\), nonabelian Hodge theory matches the Betti moduli space with polystable Higgs bundles having vanishing rational Chern classes, not merely semistable bundles of degree zero. Add polystability and the Chern-class conditions. Classification: V4/C5/I2/R2/D3.

23. \(M_B(X,r)(\mathbb Z)\) needs an explicit convention

Comment ID: 36c277a5-a930-443c-8ded-618d648440b9 Location: PDF p. 41.

Ordinary integral points of a coarse GIT quotient need not equal complex local systems admitting a \(\mathbb Z\)-lattice. The preceding Conjecture 5.1.2 makes the intended meaning clear. Define the notation as the image of genuine \(\mathbb Z\)-local systems. Classification: V4/C3/E2/I1/R1/D1.

24. The arithmetic \(M_B\) notation is only shorthand

Comment ID: 64ee5786-ebb8-4c98-b840-52e11571b433 Location: PDF p. 41.

For an arithmetic variety there is no previously defined complex Betti moduli space whose \(\overline{\mathbb Q}_\ell\)-points are the continuous étale representations in question. The preceding sentence supplies the intended set. Define an \(\ell\)-adic representation space or call the display set-theoretic shorthand. Classification: V4/C4/I1/R1/D1.

25. The puncture numbering conflicts with the conjugacy classes

Comment ID: aae66f8a-07aa-4f07-ad09-b8806f7cf0db Location: PDF p. 44.

The rendered page sets \(x_3=\infty\), \(x_4=\lambda\), but places \(C_3\) at \(\lambda\) and \(C_4\) at infinity. Swap the labels \(x_3,x_4\), or the corresponding \(C_3,C_4\) indexing, consistently. Classification: V4/C4/I2/R2/D3.

26. The Shimura conjugate must have dense compact image

Comment ID: 6f3c4e0b-4348-4ad9-a111-ca9662b3f87e Location: PDF p. 50.

Unitarity alone does not imply a dense mapping-class orbit. For the tautological system on a compact Shimura curve, the non-split real Galois conjugate has dense image in the relevant compact \(\mathrm{SU}(2)\) factor (by the standard irreducibility/strong-approximation property of the arithmetic lattice). This supplies the hypothesis needed from the cited dynamics theorem. Add that sentence. Classification: V4/C3/E2/I1/Q1/R1/D1.

27. The based action requires the point stabilizer

Comment ID: 5ca204f1-ec07-4b41-ac41-5ec12dcd55df Location: PDF p. 54.

Under the paper's convention, the full \(\operatorname{Mod}_{g,n+1}\) may permute the distinguished \(x_0\). Restrict to its finite-index point stabilizer (or to the pure mapping class group) before acting on \(\pi_1(\Sigma_{g,n},x_0)\), and define \(\Gamma\) inside it. The subsequent finite-index statements are unchanged. Classification: V4/C5/I2/R2/D3.

28. The branched Putman-Wieland deduction uses the logarithmic version

Comment ID: 8bc489cf-6937-46d4-9b28-f3a2411f80d7 Location: PDF pp. 57-58.

Proposition 6.3.2 is written after assuming \(q\) proper. For \(n>0\), apply the same period-map argument to \(W^1R^1q_*\mathbb U\); the Hodge bundle is the relevant Deligne/parabolic extension and the adjoint multiplication map uses \(\widehat{\mathscr E}_0\otimes\omega_{\bar X}(D)\), exactly the bundle in Conjecture 6.3.4. This standard logarithmic extension proves the claimed implication. Classification: V4/C3/E3/I1/Q1/R1/D1.

29. Conjecture 6.3.17 should state what \(f\) may depend on

Comment ID: 5134841b-6ea2-436e-a93e-63f3590fc976 Location: PDF pp. 62-63.

Because \((\mathscr E,\nabla)\) is fixed before \(f\) is quantified, formal logic permits dependence on it, while the notation \(f(g)\) suggests a genus-only universal function. The evidence immediately uses \(f(g,r)\). State the intended dependence explicitly. Classification: V4/C3/E2/I1/R1/D1.

30. “Maximal” is vacuous without a properness convention

Comment ID: 9e4dc3c3-9589-4814-b5d5-0950fa63de6b Location: PDF p. 65.

Under ordinary inclusion-maximality, an invariant irreducible subvariety lies in an invariant ambient component, so the maximal objects are generally those components. The question is already labelled “Imprecise”; specify maximal proper invariant subvariety, maximal in a chosen class, or another intended notion. Classification: V4/C3/E2/I1/R1/D1.

31. Conjecture 6.4.6 gives only one direction for a point

Comment ID: 214cc504-8506-43ae-885e-59a7d1a1b7bf Location: PDF p. 66.

Conjecture 6.4.6 states integral formal deformation \(\Rightarrow\) finite orbit, while Conjecture 4.3.4 is an equivalence. Say that it specializes to one direction, or add the converse (a finite-orbit algebraic leaf spreads out and its formal completion is integral after inverting finitely many elements). Classification: V4/C9/I2/R2/D3.

32. The Torelli restriction needs fixed part and an isotrivial qualifier

Comment ID: 793481c1-ed16-4b11-bc3b-02747a2249c6 Location: PDF p. 66.

Finite homological monodromy becomes trivial after a finite cover. The theorem of the fixed part then makes the full \(H^1\)-variation constant, and Torelli forces the underlying family of curves to be isotrivial. Thus the conclusion applies to non-isotrivial underlying curve families, not to every nontrivial geometric subgroup; motion of marked points and other isotrivial families must be excluded. Classification: V4/C9/E2/I2/R2/D3.

Proposed correction queue

Subject to author confirmation and the independent challenges for items 16 and 21, this report yields 24 likely living-errata entries and 8 optional clarifications. The optional items are the Schlesinger gauge, the convention for reduction modulo \(p\), the two moduli-space notations, the dense compact Shimura conjugate, the logarithmic Putman-Wieland extension, the dependence of \(f\), and the intended maximality convention.

Report metadata

Refine summary

This paper investigates the connected monodromy group of higher Prym representations, which arise from the virtual action of mapping class groups on the first cohomology of finite unramified covers of surfaces. The main contribution is proving that for a sufficiently large genus, this monodromy group is as large as possible, utilizing Hodge-theoretic methods and a novel generic Torelli theorem with coefficients.

Overall feedback

Here are some observations on the structural and technical steps in the text, highlighting specific arguments that require formal tightening or clarification.

Functorial reconstruction

In Proposition 6.4, the transition from an IVHS morphism to a flat morphism of coefficient systems relies on the assertion that "as $m$ is general and hence $\psi$ extends to a first-order neighborhood of $m$." Generality alone does not immediately afford this extension constraint. The paper will need to construct the relative space of IVHS morphisms, establish base-change compatibility on an open set, and formally show that the image-sheaf reconstruction of Theorem 6.2 extends to first-order deformations.

Without isolating these steps, the subsequent application of Lemma 4.8 to the reconstructed map is left unsupported. This creates structural gaps for Corollary 6.9, the non-self-dual case of Theorem 1.9, and the subsequent Goursat arguments.

Tannakian passage to simple irreducible monodromy

Lemma 5.6 asserts that "monodromy groups of $\mathbb{Q}$-VHS's are simple." General principles yield semisimplicity and normality in the derived generic Mumford–Tate group. The current fixed-part argument applies the adjoint representation of an individual complex simple factor, but it bypasses the question of whether this factor (or a Galois-stable sum of factors) underlies a rational or $K$-variation after finite base change.

Establishing descent and explicitly excluding central contributions are mandatory steps to conclude that the monodromy Lie algebra contains every simple Mumford–Tate factor. Since Theorem 6.7 and the classification sequence in Section 7 rely on this specific inference, resolving this passage is crucial.

Elimination of character twists

The product-monodromy arguments require restructuring to avoid circularity. In the proof of Theorem 1.3, the assertion that the total connected monodromy group $G$ is necessarily simple assumes the outcome of the Goursat–Kolchin–Ribet step, whose very purpose is to differentiate whether $G$ is a product rather than a diagonal subgroup. The logic should precisely distinguish algebraic characters of a connected semisimple group (which are trivial) from rank-one characters of a fundamental group.

Similarly, in Lemma 9.11, the simplicity of the connected monodromy does not inherently force the twisting character to have finite order. The text should derive the needed conclusion directly from determinant constraints, such as those made available by Theorem 1.9.

The Kodaira–Parshin nontriviality proof

The proof of Lemma 9.10 requires formal correction regarding typing and bundle assignments. The displayed derivative pairing evaluates first in $H^0(\omega_C^2(D-p))$ and is then projected to the cokernel of its inclusion into $H^0(\omega_C^2(D))$. Written this way, the composition is necessarily zero; it must instead land first in $H^0(\omega_C^2(D))$. Furthermore, the text places $\omega_X$ in cohomology and tensor products of bundles on $C$, but because $X$ is the covering curve, these expressions are undefined in that context.

Structurally, the proof also needs a local calculation connecting the fiber of $\bar{E}_0 \to E_0$ with nontrivial distinguished inertia. A finite-index comparison between $\pi_1(Z)$ and the relevant fiber subgroup must also be established before normality can be transferred, as these properties carry the weight of Theorems 9.8 and 9.9.

Hypotheses in intermediate results

A systematic audit of the numerical bounds and assumptions carried through the technical lemmas is requested to ensure accurate alignment with their target theorems. For example, Lemma 7.2 assumes only $g>2$ but invokes Theorem 6.7, which requires the stable-genus bounds.

Lemma 7.12 infers $r \geq 2^{k-1}$ from a minimum nonzero rank of $2^{k-3}$. The intended contradiction appears recoverable from the weaker bound, but the spin exclusion must be written correctly to enforce it.

Finally, Lemma 9.11 assumes equal coefficient ranks and $g>r^2$, whereas its application in Theorem 9.8 involves potentially different ranks. Proposition 6.4 correspondingly requires $g \geq \max(2+2r_1, 2+2r_2)$ and, in the punctured case, $g>r_1r_2$. Harmonizing these tracked assumptions will complete the foundation for the main bounds.

Detailed comments

1. Semisimplicity does not imply the derived-group bound

• ID: dc152e56-b035-4e24-839e-688a2347052b
• Refine score: 0.28
• Original types: general
• Refine status: open

Comment

The opening motivation conflates semisimplicity of the local-system representation with semisimplicity of its connected algebraic monodromy group. Complete reducibility alone gives reductivity, not semisimplicity, so the derived-subgroup containment requires the stronger geometric-monodromy result later supplied through the variation-of-Hodge-structure framework and Lemma 5.2. This does not undermine the main theorem, but the stated introductory inference is not valid on its own.

Quoted passage

Moreover, as local systems of geometric origin are semisimple, it must be semisimple. These considerations show that the identity component of the Zariski closure of the image of the monodromy representation is contained in the derived subgroup of the centralizer of $H$ in the symplectic group. We will show that it is in fact equal to this group, once the genus of the base curve is sufficiently large.

2. Theorem 1.15 does not specify its defining map

• ID: 27011e50-07bb-4901-a074-05331cffbcf7
• Refine score: 0.28
• Original types: general
• Refine status: open

Comment

Theorem 1.15 invokes $\varphi$ in its hypothesis, the definition of $\operatorname{Mod}_{\varphi}$, and the local system $\mathbb V^\rho$, but does not introduce it among the theorem’s data. Although the displayed $H$-cover determines an associated monodromy map up to the standard choices and the resulting formulations are equivalent, the statement does not explicitly identify that map. Surjectivity itself is implicit if “$H$-cover” retains the paper’s convention of a connected Galois cover with group $H$.

Quoted passage

1.15 Theorem Let $H$ be a finite group, $\Sigma_{g^{\prime}, n^{\prime}} \rightarrow \Sigma_{g, n}$ an $H$-cover, and $\rho: H \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ an irreducible $H$-representation. Suppose there are

$$ \Delta>\frac{3 r^{2}}{\sqrt{g+1}}+8 r $$

points of $\Sigma_{g}-\Sigma_{g, n}$ such that a small loop around each of these points is sent to a nonidentity matrix under the composition $\pi_{1}\left(\Sigma_{g, n}\right) \xrightarrow{\varphi} H \xrightarrow{\rho} \mathrm{GL}_{r}(\mathbb{C})$. Then, setting $\operatorname{Mod}_{\varphi} \subset \operatorname{Mod}_{g, n+1}$ to be the stabilizer of $\varphi$, there are no nonzero vectors with finite orbit under the image of $\operatorname{Mod}_{\varphi}$

3. Lemma 4.8 proof drops the extension hypothesis

• ID: 68f9faa0-ee6f-4eb5-8cda-3f414d738aa1
• Refine score: 0.29
• Original types: general
• Refine status: open

Comment

The proof of Lemma 4.8 incorrectly infers that $\psi\circ q^{\nabla}(v)=0$ merely because $q^{\nabla}(v)$ represents the isomonodromic deformation. The first paragraph gives this vanishing if and only if $s$ extends in the direction $v$. The lemma’s statement and its later use in Proposition 4.9 are consistent with the intended conditional equivalence, but the proof omits that condition and the converse at its decisive step.

Quoted passage

Proof For the first paragraph, see [Sernesi 2006, Proposition 3.3.14] for the case where $E$ is a line bundle and $D$ is empty; the general case is identical. For the second, fix $v \in H^{1}\left(C, T_{C}(-D)\right)$, corresponding to a first-order deformation of $(C, D)$. The element $q^{\nabla}(v) \in H^{1}\left(\operatorname{At}_{(C, D)}(E)\right)$ corresponds to, by [Landesman and Litt 2024b, Proposition 3.5.7], the first-order isomonodromic deformation of $E$ in the direction $v$. Thus by the first paragraph, $\psi \circ q^{\nabla}(v)=0$; as $v$ was arbitrary, this completes the proof. $\square$

4. Incorrect simplicity claims in Lemma 5.6 and the proof of Theorem 1.3

• ID: 61962f9b-3387-4e1c-99d1-e744596d561b
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The proof of Lemma 5.6 incorrectly states that monodromy groups of $\mathbb{Q}$-variations of Hodge structure are simple. The required property is semisimplicity: Lemma 5.2 places the connected monodromy group inside the derived generic Mumford–Tate group as a normal subgroup, so $\mathfrak m$ is a semisimple ideal and therefore a sum of simple factors, with no central abelian summand. This correction preserves the subsequent factor-counting argument. Additionally, this same issue appears in the proof of Theorem 1.3, where the text asserts that $G$ is necessarily simple. There, $G$ is the total connected monodromy group on the direct sum of the isotypic factors, and geometric origin yields semisimplicity rather than simplicity. The character argument remains valid, since a connected semisimple algebraic group has no nontrivial algebraic characters; if $\chi$ instead refers to a character of the possibly disconnected or discrete monodromy group, that distinction should be made explicit.

Quoted passage

As $M$ is a normal subgroup of $G$, the Lie algebra $\mathfrak{m}$ of the identity component of $M$ is an ideal of $G$. Therefore, $\mathfrak{m}$ is a sum of some of the $\mathfrak{g}_{i}$, possibly with a trivial algebra. Since monodromy groups of $\mathbb{Q}$-VHS's are simple, $\mathfrak{m}$ is a sum of some of the $\mathfrak{g}_{i}$. If some $\mathfrak{g}_{i}$ does not appear in this sum, then its adjoint representation corresponds to a $\mathbb{Q}$-VHS (possibly on a cover of $X$ ) with trivial monodromy, hence a constant Hodge structure, so the derivative of its period map vanishes, and thus $T_{x} Y$ acts trivially on this adjoint representation.

5. Construction 6.5 omits the reconstruction genus bound

• ID: 848139a7-0549-4a14-92ef-4ee2a45ea4fd
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

Construction 6.5's stated range is not fully justified by its cited argument: $g>r^2$ does not imply the hypothesis $g\geq2+2r$ of Theorem 6.2 when $r=1$ or $r=2$. Thus performing Theorem 6.2's construction in families does not, without an additional low-rank argument, establish the claimed reconstruction in all cases stated.

Quoted passage

6.5 Construction With notation as in Notation 2.1, let $\mathbb{U}$ be a unitary local system on $\mathscr{C}^{\circ}$ of rank $r$. Let $g>r^{2}$. Let $W_{1} R^{1} \pi_{*}^{\circ} \mathbb{U}$ be the above defined $\mathbb{C}$-VHS and let $m \in \mathscr{M}$ be general, with $C^{\circ}=\mathscr{C}_{m}^{\circ}$ and $C=\mathscr{C}_{m}$. We next sketch how to directly reconstruct the connection on $\widehat{E}_{0}$, where $E_{\star}$ is the parabolic bundle associated to $\left.\mathbb{U}\right|_{C^{\circ}}$.

We may recover the connection from the restriction of $W_{1} R^{1} \pi_{*}^{\circ} \mathbb{U}$ to a small neighborhood of $m$, though we do not know how to do so from $\mathrm{GH}_{m}\left(W_{1} R^{1} \pi_{*}^{\circ} \mathbb{U}\right)$.

6. Lemma 7.2 invokes Theorem 6.7 outside its range

• ID: bb82c12c-d9bb-4b82-b1d4-4ea1b4b77c06
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The proof of Lemma 7.2 invokes Theorem 6.7 beyond its stated range: Theorem 6.7 gives irreducibility only when $n=0$ and $g>2r+1$, or when $g>\max(2r+1,r^2)$. Thus the displayed dimension bound does not prove the lemma under its sole hypothesis $g>2$, although the later application uses genus assumptions strong enough for Theorem 6.7.

Quoted passage

7.2 Lemma With notation as in Notation 2.1, let $\rho: H \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ be an irreducible $H$-representation, and let $\mathbb{V}$ be the corresponding local system on $\mathscr{C}^{\circ}$. If $g>2$, the connected monodromy group of $W_{1} R^{1} \pi_{*}^{\circ} \mathbb{V}$ is nontrivial.

Proof We are free to pass to finite étale covers of the base $\mathscr{M}$ in our setup. Therefore, we may assume the Zariski closure of monodromy is already connected. We also know the monodromy representation is irreducible by Theorem 6.7. Further,

$$ \operatorname{dim} W_{1} R^{1} \pi_{*}^{\circ} \mathbb{V}_{m} \geq(2 g-2) \operatorname{rk}(\mathbb{V})>1, $$

since we are assuming $g \geq 2$, so we conclude that the monodromy group is not acting via the trivial representation. $\square$

7. Lemma 7.4 includes the zero Schiffer vector

• ID: e207ab4e-d5fb-4424-9817-5d0e3cde114c
• Refine score: 0.18
• Original types: general
• Refine status: open

Comment

In Lemma 7.4, the assertion quantifies over an arbitrary element $\alpha_p$ of the one-dimensional Schiffer subspace, which includes $\alpha_p=0$. For that element, $dP_m^\rho(\alpha_p)=0$ has rank zero, not $r>0$. The rank assertion requires $\alpha_p$ to be nonzero.

Quoted passage

For $p$ a general point of $C$ and $\alpha_{p}$ an element of the associated one-dimensional subspace of $T_{m} \mathscr{M}$, the rank of $d P_{m}^{\rho}\left(\alpha_{p}\right) \in \operatorname{Hom}\left(H^{0}\left(C, \widehat{E}_{0} \otimes \omega_{C}(D)\right), H^{1}\left(C, E_{0}\right)\right)$ is equal to $r$.

8. Incorrect bundle in Lemma 7.7 duality step

• ID: b7596133-69ee-4a6b-9cc7-942ce4174c1f
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

In the proof of Lemma 7.7, the Serre-dual group on the right is misidentified. The duality relation established earlier gives $H^1(C,E_0^{\rho^\vee})$, not $H^1(C,\widehat E_0^{\rho^\vee})$. As written, the appeal to the first part also does not apply, because that part bounds cohomology of $E_0$, not of $\widehat E_0$.

Quoted passage

By Serre duality, [Landesman and Litt 2024b, Proposition 2.6.6],

$$ \operatorname{dim} H^{0}\left(C, \widehat{E}_{0}^{\rho} \otimes \omega_{C}(D)\right)=\operatorname{dim} H^{1}\left(C, \widehat{E}_{0}^{\rho^{\vee}}\right) . $$

The latter is $\geq(g-1) r$ by the first part. $\square$

9. Boundary case omitted in Lemma 7.10

• ID: f4ee66fa-7b82-44f7-a840-21d9ce0b65ae
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

Lemma 7.10 is false as stated when $k=v-1$, not merely unproved there. For example, with $v=4$ and $k=3$, the tuple $(2/3,2/3,-1/3,-1/3)$ has every three-term sum equal to $0$ or $1$, with both values attained, but has neither listed form. The surrounding proof of Lemma 7.9 only needs the combinatorial classification for $1<k<v-1$, since $k=v-1$ is already one of its retained standard-dual cases.

Quoted passage

Proof We first observe that there can be at most two distinct values appearing in $\left\{a_{1}, \ldots, a_{v}\right\}$, as otherwise one could find size $k$ subsets summing to three different values. Further, if $a_{1}$ is distinct from $a_{2}$, then, after possibly switching $a_{1}$ and $a_{2}$, all other values of $a_{i}$ must agree with $a_{2}$, using that $1<k<v-1$, or else we could again obtain three distinct sums from subsets of size $k$. Hence, we must have $a_{2}=\cdots=a_{\nu}$, and then a subset of size $k$ drawn from $\left\{a_{2}, \ldots, a_{\nu}\right\}$ must sum to 0 or 1 , yielding the two possibilities claimed above. $\square$

10. Parity and rank mismatch in Lemma 7.12

• ID: 1f0e2f52-82e2-4520-9060-c9b840eb866c
• Refine score: 0.41
• Original types: general
• Refine status: open

Comment

The numerical deductions in Lemma 7.12 conflate the parity cases. From the stated minimum derivative rank, Corollary 7.6 gives $r\geq 2^{k-3}$, not $r\geq 2^{k-1}$. For $v=2k+1$, Lemma 7.14 must be reindexed, giving nonzero ranks $2^{k-2}$ and $2^{k-1}$ and Hodge-piece dimension $2^{k-1}$; for $v=2k$, the displayed ranks and the $2^{k-2}$ Hodge-piece dimension are correct. The intended contradiction still follows in both cases because each Hodge piece has dimension at most $2r$.

Quoted passage

It follows that the action of a generator of the Lie algebra $\mathbb{C}$ on the standard representation of $\mathfrak{s o}_{\mathcal{V}}$ has a one-dimensional ( $1+b$ )-eigenspace, a one-dimensional ( $b-1$ )-eigenspace, and a ( $v-2$ )-dimensional $b$-eigenspace. Applying Lemma 7.14, where $w$ is obtained by subtracting the scalar $b$ from the generator 1 of the Lie algebra $\mathbb{C}$ and the commutator relation comes from Section 5.7, we see that elements of $T_{m} \mathcal{M}$ acting on $\mathbb{V}$ have rank either $0,2^{k-3}$ or $2^{k-2}$. In particular, the minimum nonzero rank is $\geq 2^{k-3}$, and hence $r \geq 2^{k-1}$. But the weight-0 and weight-1 spaces of the spin representation both have dimension $2^{k-2}$, so that $\operatorname{dim} H^{1}\left(C, E_{0}^{\rho}\right)$ and $\left.\operatorname{dim} H^{0}\left(C, \widehat{E}_{0}^{\rho}\right) \otimes \omega_{C}(D)\right)$ are each equal to $2^{k-2}$ and hence $\leq 2 r$. Since $g \geq 2 r+2>3$, this contradicts Lemma 7.7. $\square$

11. Finite-cover step needed in Theorem 1.9

• ID: 99f836b2-4b43-4ebe-9deb-9028bbfa60d7
• Refine score: 0.31
• Original types: general
• Refine status: open

Comment

The argument excluding connected monodromy $\mathrm{SO}$ or $\mathrm{Sp}$ for non-self-dual $\rho$ requires a finite-cover step. These connected groups give an invariant pairing only after restricting to the finite-index subgroup mapping into the identity component; on the corresponding finite étale cover, Corollary 6.9 applies because the pulled-back family remains versal. Without making this restriction explicit, self-duality of the original local system does not follow directly from its connected monodromy group.

Quoted passage

If the monodromy has this form, then there is an isomorphism of local systems between $W_{1} H^{1}\left(\Sigma_{g, n}, \mathbb{V}^{\rho}\right)$ and $W_{1} H^{1}\left(\Sigma_{g, n}, \mathbb{V}^{\rho}\right)^{\vee}$, which by Poincaré duality is $W_{1} H^{1}\left(\Sigma_{g, n}, \mathbb{V}^{\rho^{\vee}}\right)$. It follows from Corollary 6.9 that $\rho$ and $\rho^{\vee}$ are conjugate, contradicting the assumption that $\rho$ is not self-dual.

12. Remark 9.3 needs more than Ehresmann’s theorem

• ID: 69eca82d-9f0d-400b-ad30-e035ba86651f
• Refine score: 0.56
• Original types: general
• Refine status: open

Comment

The map-level topological type in Remark 9.3 need not be independent of $z$ under the stated hypotheses. Ehresmann’s theorem trivializes the smooth family $S\to Z$ but does not trivialize the finite maps $q_z:S_z\to C$, and ramification type can change when the moving branch section meets a fixed one. For example, $q_s(x)=x^3-3s^2x+2s^3$ is branched over $0$, $4s^3$, and $\infty$: for $s\neq0$ it has two simple finite ramification points, whereas at $s=0$ it becomes $x^3$. Thus the common topological type, Galois group, and distinguished inertia class used subsequently require an additional restriction or hypothesis and a specified equivalence of branched covers.

Quoted passage

9.2 Definition Continuing with notation as in Definition 9.1, fix $z \in Z$, and consider the map $\pi^{-1}(z) \rightarrow C$ given as $\left.\pi_{2} \circ q\right|_{\pi^{-1}(z)}$, where $\pi_{2}: Z \times C \rightarrow C$ is projection on to the second coordinate. We refer to the underlying map on topological spaces (in the Euclidean topology) as the topological type of the family $\pi$. 9.3 Remark The topological type of $\pi$, as defined in Definition 9.2, is independent of $z$ up to homeomorphism, by Ehresmann's theorem. That is, every fiber of $\pi$ is a cover of $C$ of the same topological type. Hence it makes sense to speak of the topological type of $\pi$, and not just of $\pi$ over $z$. 9.4 Definition Continuing with notation as in Definition 9.2, the topological type of a Kodaira-Parshin fibration is a ramified map of (topological) surfaces $t: \Sigma_{g^{\prime}} \rightarrow \Sigma_{g}$; we refer to the Galois group of (the Galois closure of) this map as the Galois group of the Kodaira-Parshin fibration.

13. Lemma 9.11 lacks the hypotheses used in its proof

• ID: d0ccf91f-d7f4-4559-94d2-dcec2ed25886
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

Lemma 9.11 assumes only $g>r^2$, but its proof invokes Proposition 6.4, which also requires $g\geq 2r+2$, and Lemma 9.10, which requires $g>\max(2r+1,r^2)$. The gap occurs in low rank—for example, $r=2$ and $g=5$ satisfies the stated hypothesis but neither additional bound. The stronger assumptions of Theorem 9.8 cover its eventual application, so this is a mismatch in the standalone lemma rather than a defect in that theorem.

Quoted passage

9.11 Lemma Let $\rho_{1}, \rho_{2}: H \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ be irreducible $H$-representations with $\rho_{i}([h])$ nontrivial for $i=1,2$. If $g>r^{2}$ and the monodromy representations

$$ \pi_{1}(Z, z) \rightarrow \operatorname{GL}\left(W_{1} H^{1}\left(\Sigma_{g, n}, \mathbb{V}^{\rho_{i}}\right)\right) $$

for $i=1,2$ are isomorphic to one another, then $\rho_{1} \simeq \rho_{2}$.

Proof We can factor (9-5) as a composition

$$ \pi_{1}(Z, z) \rightarrow \pi_{1}\left(\mathscr{M}_{t}\right) \xrightarrow{\phi_{i}} \mathrm{GL}\left(W_{1} H^{1}\left(\Sigma_{g, n}, \mathbb{V}^{\rho_{i}}\right)\right), $$

and by Proposition 6.4, it suffices to show that $\phi_{1}$ is isomorphic to $\phi_{2}$, possibly after passing to a cover of $\mathscr{M}_{t}$. By [Landesman and Litt 2024a, Lemma 2.2.2] (using that our two representations of $\pi_{1}(Z, z)$ in question are irreducible by Lemma 9.10), the projectivizations of $\phi_{1}$ and $\phi_{2}$ are isomorphic.

14. Genus-three implication in Remark 10.5 needs support

• ID: 15d34d64-036b-473a-b844-0e2f2b0fd1f5
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

Remark 10.5's implication is not established by the presented arguments when $g=3$. Rank-independent global generation would remove the hypothesis used for reconstruction, but the spin-representation argument in Lemma 7.12 would still permit equality: it gives $r\geq 2^{k-3}$, while the two Hodge pieces have dimension $2^{k-2}$, so Lemma 7.7 yields no contradiction at $g=3$. The claimed implication therefore requires an additional argument excluding this equality case.

Quoted passage

10.5 Remark When $n=0$, a positive answer to Question 10.4(b) for arbitrary $r$ would imply a positive answer to Question 10.2 by the methods of this paper. Similarly, for arbitrary $n$, a positive answer to Question 10.4(a) would imply a positive answer to the Putman-Wieland conjecture [2013]. 10.6 Remark One might naturally pose Question 10.4 for arbitrary unitary representations $\rho$.

Scope

• Paper: 03 Published and Submitted Work/Published/P02_Landesman_Litt_Sawin_Big_Monodromy_Higher_Prym.pdf
• Refine report: .refine/results/Published/P02_Landesman_Litt_Sawin_Big_Monodromy_Higher_Prym.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: local published PDF, Geometry & Topology 29 (2025)
• Detailed Refine comments assessed: 14
• Assessment date: 2026-07-30

The unanchored overall feedback was used only as context. Formula-sensitive passages on PDF pages 8, 31, 34, and 43 were also checked in rendered page images.

Summary

There are 3 optional edits and 11 public-errata candidates. No issue remains at I3 after reconstruction. In particular, the corrections to the two main monodromy proofs are bounded and preserve every theorem statement.

1. Introductory semisimplicity inference

Comment ID: dc152e56-b035-4e24-839e-688a2347052b Location: PDF page 3, opening motivation.

Complete reducibility of a representation gives a reductive connected Zariski closure, not a semisimple one. The asserted containment in the derived centralizer uses the stronger Hodge-theoretic fact, stated correctly in Slogan 1.2 and supplied later by the normality of connected geometric monodromy in the derived Mumford-Tate group.

• Classification: V4 / C6 / E3 / I2
• Dependency trace: the containment and main results are valid from the later VHS argument; only the introductory inference is wrong
• Repair/disposition: cite the connected-geometric-monodromy theorem instead of semisimplicity of the local system; R2 / D3

2. Theorem 1.15 does not introduce \(\varphi\)

Comment ID: 27011e50-07bb-4901-a074-05331cffbcf7 Location: PDF page 8, Theorem 1.15.

The theorem uses \(\varphi\), \(\operatorname{Mod}_\varphi\), and \(\mathbb V^\rho\) without explicitly naming the surjection associated to the displayed connected Galois \(H\)-cover. The convention and intended map are clear from Section 1.1.

• Classification: V4 / C4 / I1
• Repair: add “let \(\varphi:\pi_1(\Sigma_{g,n},x)\twoheadrightarrow H\) be the associated surjection”
• Disposition: R1 / D1

3. Lemma 4.8 drops its conditional hypothesis in the proof

Comment ID: 68f9faa0-ee6f-4eb5-8cda-3f414d738aa1 Location: PDF page 19, Lemma 4.8.

The first paragraph identifies \(\psi(q^\nabla(v))\) as the obstruction to extending \(s\) in the direction \(v\). The proof then declares it zero without assuming that \(s\) extends.

The intended equivalence is immediate: \(s\) extends over the universal first-order neighborhood exactly when it extends in every tangent direction, which by the first paragraph is exactly when the linear map \(H^1(\psi\circ q^\nabla)\) vanishes.

• Classification: V4 / C3 / E1 / I1
• Challenge: Q1; this is a verified routine conditional argument, not a mathematical gap
• Repair/disposition: state both implications; R1 / D1

4. “Simple” should be “semisimple” in two proofs

Comment ID: 61962f9b-3387-4e1c-99d1-e744596d561b Location: PDF pages 24 and 39, Lemma 5.6 and proof of Theorem 1.3.

Connected monodromy groups of polarizable \(\mathbb Q\)-VHS are not always simple. What is used in Lemma 5.6 is that the monodromy Lie algebra is a semisimple ideal in the derived Mumford-Tate Lie algebra, hence a sum of simple factors with no central summand.

Severity challenge

With this correction, the proof of Lemma 5.6 still forces every relevant simple factor \(\mathfrak g_i\) to occur. When there are only two Hodge numbers, the preceding count gives at most one such factor, so the final simple-group conclusion remains valid.

In Theorem 1.3 the total connected monodromy group \(G\) is generally a product, not simple. It is semisimple, so it has no nontrivial algebraic characters. Thus the twisting character in the Goursat criterion is trivial on \(G\) (and finite on the full possibly disconnected monodromy group), exactly what the finite-cover argument needs.

• Classification: V4 / C6 / E3 / I2
• Challenge/repair: Q2 / R2
• Disposition: D3

5. Construction 6.5 omits a low-rank genus bound

Comment ID: 848139a7-0549-4a14-92ef-4ee2a45ea4fd Location: PDF pages 27-28, Construction 6.5.

The construction invokes Theorem 6.2 in families. That theorem assumes \(g\ge 2r+2\), which does not follow from \(g>r^2\) for \(r=1,2\).

• Classification: V4 / C5 / I2
• Repair: assume both \(g>r^2\) and \(g\ge2r+2\), or supply separate low-rank arguments
• Dependency trace: Construction 6.5 is expressly not used later
• Disposition: R2 / D3

6. Lemma 7.2 uses Theorem 6.7 outside its range

Comment ID: bb82c12c-d9bb-4b82-b1d4-4ea1b4b77c06 Location: PDF page 30, Lemma 7.2.

The proof uses irreducibility from Theorem 6.7, whose hypotheses are stronger than \(g>2\). The dimension estimate alone does not exclude a trivial connected group acting reducibly.

Severity challenge

Add the relevant hypothesis from Theorem 6.7: \(n=0,\ g>2r+1\), or \(g>\max(2r+1,r^2)\). Every use in Theorems 1.3 and 1.9 already satisfies these bounds. Lemma 7.9 should likewise invoke the repaired Lemma 7.2 only under those standing main theorem hypotheses. No central conclusion changes.

• Classification: V4 / C5 / E3 / I2
• Challenge/repair: Q2 / R2
• Disposition: D3

7. Lemma 7.4 includes the zero Schiffer vector

Comment ID: e207ab4e-d5fb-4424-9817-5d0e3cde114c Location: PDF page 30, Lemma 7.4.

At \(\alpha_p=0\), the derivative has rank zero rather than \(r\). The proof uses a nonzero evaluation functional, and Corollary 7.6 likewise needs only a nonzero Schiffer variation.

• Classification: V4 / C5 / I2
• Repair/disposition: insert “nonzero” before \(\alpha_p\); R2 / D3

8. Lemma 7.7 has the wrong bundle on the dual side

Comment ID: b7596133-69ee-4a6b-9cc7-942ce4174c1f Location: PDF page 31, Lemma 7.7.

The rendered display visibly has \(H^1(C,\widehat E^{\rho^\vee}_0)\). Parabolic Serre duality instead gives

The first half of the lemma then applies directly to \(\rho^\vee\).

• Classification: V4 / C1 / I2
• Repair/disposition: remove the hat on the right; R2 / D3

9. Lemma 7.10 is false when \(k=\nu-1\)

Comment ID: f4ee66fa-7b82-44f7-a840-21d9ce0b65ae Location: PDF page 32, Lemma 7.10.

The proof explicitly uses \(1<k<\nu-1\), although the statement allows \(k=\nu-1\). Refine's tuple \((2/3,2/3,-1/3,-1/3)\) at \((\nu,k)=(4,3)\) is a valid counterexample.

• Classification: V4 / C5 / I2
• Repair: state \(1<k<\nu-1\); in Lemma 7.9 treat \(k=\nu-1\) as the retained dual-standard case before invoking Lemma 7.10
• Dependency trace: Lemma 7.9 and all main results are unchanged
• Disposition: R2 / D3

10. Lemma 7.12 conflates the two spin parity cases

Comment ID: 1f0e2f52-82e2-4520-9060-c9b840eb866c Location: PDF pages 33-35, Lemmas 7.12 and 7.14.

Corollary 7.6 gives \(r\) at least the minimum nonzero derivative rank, not four times that rank. The indices also differ by parity.

Severity challenge

For \(\nu=2k\), Lemma 7.14 gives nonzero ranks \(2^{k-3},2^{k-2}\), and both Hodge pieces have dimension \(2^{k-2}\). For \(\nu=2k+1\), reindex Lemma 7.14 with \(k+1\): the ranks are \(2^{k-2},2^{k-1}\), and the Hodge-piece dimension is \(2^{k-1}\).

In either case, if \(q\) is the minimum nonzero rank, then the Hodge-piece dimension is \(2q\). Corollary 7.6 gives \(q\le r\), hence each Hodge piece has dimension at most \(2r\). Lemma 7.7 gives dimension at least \((g-1)r>2r\), since \(g\ge2r+2>3\), a contradiction. Thus the intended exclusion of nonstandard spin representations is valid in both parities.

• Classification: V4 / C8 / E3 / I2
• Challenge/repair: Q2 / R2
• Disposition: D3

11. Theorem 1.9 needs an explicit finite-cover step

Comment ID: 99f836b2-4b43-4ebe-9deb-9028bbfa60d7 Location: PDF page 36, proof of Theorem 1.9.

An invariant orthogonal or symplectic pairing is initially supplied only for the identity component. Pass to the finite étale cover of the versal base corresponding to that component. The pulled-back family remains versal, the pairing is then monodromy-invariant, and Corollary 6.9 applies to give \(\rho\simeq\rho^\vee\), contradicting non-self-duality.

• Classification: V4 / C3 / E2 / I1
• Challenge: Q1; this standard finite-index reduction is fully verified
• Repair/disposition: add the sentence above; R1 / D1

12. Ehresmann does not preserve the map-level topological type

Comment ID: 69eca82d-9f0d-400b-ad30-e035ba86651f Location: PDF page 43, Remark 9.3.

Ehresmann trivializes \(S\to Z\), not the finite maps \(q_z:S_z\to C\). Branch collisions can change their ramification type while the source fibers remain smooth. Refine's cubic family supplies such a local model.

Severity challenge

Shrink \(Z\) by deleting the finite set where the graph of \(f\) meets the fixed branch divisor or the ramification stratification changes. Over each connected component of the remaining open, the finite map is a proper stratified submersion, so the isotopy lemma/Ehresmann applied compatibly with the map gives a constant branched-cover type. Define the “topological type” to mean this generic type.

The inclusion of this open into the smooth curve \(Z\) induces a surjection on fundamental groups. Since the monodromy local system extends over \(Z\), its image and connected Zariski closure are unchanged. Theorem 9.8 and Corollary 9.9 therefore retain their statements.

• Classification: V4 / C6 / E3 / I2
• Challenge/repair: Q2 / R2
• Disposition: D3

13. Lemma 9.11 omits the bounds used in its proof

Comment ID: d0ccf91f-d7f4-4559-94d2-dcec2ed25886 Location: PDF pages 46-47, Lemma 9.11.

The hypothesis \(g>r^2\) does not imply the bounds required by Proposition 6.4 and Lemma 9.10 for \(r=1,2\).

Severity challenge

Replace the hypothesis by

This implies the global-generation bound \(g\ge2r+2\) and is precisely the bound used by Lemma 9.10. Theorem 9.8 assumes the same inequality for the maximal relevant rank, so every application of Lemma 9.11 remains valid.

• Classification: V4 / C5 / I2
• Challenge/repair: Q2 / R2
• Disposition: D3

14. Remark 10.5 leaves a genus-three spin equality case

Comment ID: 15d34d64-036b-473a-b844-0e2f2b0fd1f5 Location: PDF pages 47-48, Remark 10.5.

A rank-independent affirmative answer to Question 10.4(b) would remove the global-generation bounds in the generic Torelli step. It does not, by the arguments written, exclude every nonstandard spin case at \(g=3\): after the corrected Lemma 7.12 calculation, the Hodge-piece dimension is \(2q\), with \(q\le r\), while Lemma 7.7 gives only \(2r\) when \(g=3\). Equality remains possible.

• Classification: V4 / C9 / E4 / I2
• Dependency trace: this is a forward-looking methodological remark, not an input to any theorem
• Repair: qualify the implication by noting the residual genus-three spin case, or supply an additional argument excluding equality
• Disposition: R2 / D3
• Confidence: MEDIUM; the existence of a different unpublished exclusion argument has not been checked

Proposed errata queue

The 11 bounded errata candidates are:

1. correct the introductory semisimplicity inference;
2. add the missing low-rank bound to Construction 6.5;
3. repair the range of Lemma 7.2;
4. require a nonzero Schiffer vector in Lemma 7.4;
5. remove the erroneous hat in Lemma 7.7;
6. restrict Lemma 7.10 to \(k<\nu-1\);
7. separate the even and odd calculations in Lemma 7.12;
8. replace “simple” by the precise semisimple statements in Lemma 5.6 and Theorem 1.3;
9. define the Kodaira-Parshin topological type generically after shrinking;
10. strengthen the hypothesis of Lemma 9.11; and
11. qualify Remark 10.5 at genus three.

The undefined \(\varphi\), Lemma 4.8, and finite-cover comments are optional clarifications rather than mathematical errata.

Report metadata

Refine summary

This paper studies actions of the mapping class group on surface group representations via Hodge-theoretic and arithmetic techniques. The main result shows that for orientable surfaces of genus g, mapping class group-finite representations of rank less than $\sqrt{g+1}$ have finite image.

Overall feedback

Here are some observations from a careful read through the main arguments.

Strict normal crossings in Lemma 8.3.3

In the proof of Lemma 8.3.3, the normalization of the blown-up Deligne-Mumford compactification in the finite étale cover defined by $\mathscr C^\circ$ is treated as a strict normal-crossings compactification. Readers might wonder about the justification here, since such a normalization does not automatically inherit a smooth or strict normal-crossings boundary. It seems the argument may need to resolve the boundary and trace the quasi-unipotence around all resulting exceptional divisors, rather than only those descending from the original boundary. On a related note, it would be extremely helpful to clarify how the $\mathrm{GL}$-valued Proposition 8.3.2 applies to the $\mathrm{PGL}$-valued projective representation $\widetilde\rho$—perhaps explicitly via a faithful adjoint representation. Making these steps explicit would fully secure the application of the Klevdal-Patrikis integrality theorem.

Deformation families in Theorem 8.5.3

Theorem 8.5.3 provides a critical bridge from the semisimple to the unitary case by deforming $\mathbb V$ to a complex PVHS $\mathbb V_0$ via Theorem 4.3.1. The text then indicates that the equality of their fibral restrictions is immediate from Lemma 8.5.2. However, applying Lemma 8.5.2 requires both representations to occur in an algebraic family over the global functions of a connected finite-type scheme, while maintaining a constant determinant. I could not trace where it is established that Mochizuki's deformation provides an algebraic family on the representation variety (as opposed to an analytic or character-moduli deformation), or how the compatible linear realization and determinant are tracked throughout. Explicating this connection would completely solidify this central step.

Equivariance of the extension class in Lemma 8.6.1

Lemma 8.6.1 is essential for extending the results from semisimple to arbitrary representations. In the proof, the subgroup $\Gamma$ is chosen to stabilize the conjugacy classes of the irreducible components $\sigma_i$. For the projected image $Q_i$ to necessarily be a $\Gamma$-stable subspace, it seems $\Gamma$ must also preserve the conjugacy class of $\rho$, its characteristic subrepresentation $\rho_1$, the quotient $\rho_2$, the cover defined by $\ker(\rho_1\oplus\rho_2)$, and the extension cocycle under compatible intertwiners. Furthermore, Theorem 7.2.1 is formulated for finite-index subgroups of the stabilizer of the covering homomorphism, which the selected $\Gamma$ may not automatically satisfy. Replacing $\Gamma$ with an explicit finite-index intersection and verifying equivariance through the projection and dualization steps would address these questions.

Arithmetic liftability in Corollary 9.2.2 and Example 9.2.3

Corollary 9.2.2 establishes non-liftability for primes $p\gg_r0$, but Example 9.2.3 concludes that the constructed surjections lack arithmetic lifts for every prime $p$. Unless a separate small-prime argument is available, it might be necessary to restrict the conclusion in Example 9.2.3 to $p\gg_r0$. Additionally, in the proof of Corollary 9.2.2, the reduction via Jordan's theorem appears to assume the coefficient field extension is totally ramified with residue field $\mathbb F_p$. Formulating this reduction for an arbitrary finite $p$-adic coefficient extension—where the putative lift and stable lattice must exist—would make this application completely airtight.

Detailed comments

1. Versality hypothesis is weakened in Section 1.3

• ID: 189d0a02-6e81-42b7-8348-c175f92a8b46
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

Section 1.3 defines “versal” using dominance alone, whereas Notation 1.10.1 and Proposition 2.1.3 use a dominant étale classifying map. Consequently, the claimed immediate deduction from Proposition 2.1.3 is not formally supported unless “punctured versal” carries the later dominant-étale definition or a separate finite-index result for merely dominant maps is invoked.

Quoted passage

1.3. An application to low rank local systems on $\mathscr{M}_{g, n}$. We next record a consequence of our main result for local systems of low rank on families of curves. As in Notation 1.10.1, we say a family $\pi: \mathscr{C} \rightarrow \mathscr{M}$ of smooth proper genus $g$ curves with geometrically connected fibers, equipped with $n$ disjoint sections $s_{i}: \mathscr{M} \rightarrow \mathscr{C}$, is versal if the corresponding map $\mathscr{M} \rightarrow \mathscr{M}_{g, n}$ is dominant. We call $\pi^{\circ}: \mathscr{C}^{\circ}:=\mathscr{C} \backslash \bigcup_{i} s_{i}(\mathscr{M}) \rightarrow \mathscr{M}$ a punctured versal family of genus $g$ curves.

2. Korkmaz (2002) survey on homology erroneously cited for bounds on linear representations

• ID: e73a2915-2ba0-48a9-9ed8-a90c5672cdd0
• Refine score: 0.72
• Original types: external_references
• Refine status: open

Comment

The submission cites Korkmaz (2002) as a source providing bounds on the dimension of representations of the mapping class group. However, the cited 2002 work is actually a survey on the low-dimensional homology groups of mapping class groups, and it does not establish bounds on the dimension of linear representations. The author likely intended to cite a different paper by Korkmaz, "Low-dimensional linear representations of mapping class groups", which actually provides these bounds but was published later.

Quoted passage

See also [FH13], [Kor02], [Fun11], [KP20] for bounds on the dimension of representations of $\operatorname{Mod}_{g, n}$, although these results only address representations of the full mapping class group, as opposed to representations of finite index subgroups.

3. Projective and linear integrality are conflated in Step 1

• ID: 9ac0c58e-7576-4d5d-855e-b91984ef96fe
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The Step 1 roadmap conflates the projective and linear stages of the argument. The constructed $\mathrm{PGL}_r$-local system restricts to $\mathbb{P}\rho$, and cohomological rigidity yields integrality first for this projectivization. Integrality of the original $\mathrm{GL}_r$-representation requires the additional argument in Lemma 8.3.4; Proposition 2.3.4 instead concerns lifting the total-space projective local system to a complex linear local system after étale base change.

Quoted passage

1.9.1. Step 1. The unitary case. Every unitary representation is a direct sum of irreducible unitary representations. Therefore, we suppose $\rho$ is unitary, irreducible, and MCG-finite, with $\operatorname{rk} \rho<\sqrt{g+1}$. We construct from $\rho$ a finite étale cover $\mathscr{M}$ of $\mathscr{M}_{g, n}$, with associated family of punctured curves $\pi^{\circ}: \mathscr{C}^{\circ} \rightarrow \mathscr{M}$, and a projective unitary local system $\mathbb{V}$ on $\mathscr{C}^{\circ}$ whose restriction to a fiber $C^{\circ}$ of $\pi^{\circ}$ has monodromy given by $\rho$. Applying Proposition 8.2.1, (which is a fairly straightforward consequence of our cohomological vanishing result, Theorem 6.2.1, applied to ad $\mathbb{V}$ ), shows that $\mathbb{V}$ is cohomologically rigid. The main result of [KP22] then gives that $\rho$ is defined over the ring of integers $\mathscr{O}_{K}$ of some number field $K$. Moreover, using Proposition 2.3.4, by replacing $\mathscr{M}$ by a dominant étale scheme over it, along which certain cohomological lifting obstructions vanish, we can assume $\mathbb{V}$ lifts from a projective local system to a bona fide local system.

4. Reversed Ext arguments in Step 3

• ID: e43c6f36-8237-4203-8595-4392ef81fff4
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

In Section 1.9.3, the two arguments of $\operatorname{Ext}^1$ are reversed. An extension of $\rho_2$ by $\rho_1$ has class in $\operatorname{Ext}^1(\rho_2,\rho_1)$ and coefficient representation $\rho_2^\vee\otimes\rho_1$, as is correctly used later in Lemma 8.6.1.

Quoted passage

The splitting of this extension of $\rho_{2}$ by $\rho_{1}$ corresponds to the vanishing of a certain element in $\operatorname{Ext}_{\pi_{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right)}^{1}\left(\rho_{1}, \rho_{2}\right)$. Because we arranged that $\rho_{1}$ and $\rho_{2}$ have trivial monodromy on $\pi_{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right)$, the above extension class corresponds to a map $\pi_{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right) \rightarrow \rho_{1}^{\vee} \otimes \rho_{2}$, with unipotent abelian image. Hence, it factors through $H_{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right)$, and so defines a low rank subspace of $H^{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right)$, stable under a finite index subgroup of $\operatorname{Mod}_{g, n+1}$.

5. Composition order is reversed in Notation 1.10.2

• ID: 072de4d3-0f9c-484d-a269-ee0f45ceeb83
• Refine score: 0.23
• Original types: general
• Refine status: open

Comment

The definition $\operatorname{ad}(\rho):=\rho\circ\operatorname{Ad}$ reverses the order of composition and is not type-correct. Since $\rho$ maps into $G(\mathbb{C})$ and $\operatorname{Ad}$ maps from $G$ to $\operatorname{GL}(\mathfrak g^{\mathrm{der}})$, the adjoint representation is $\operatorname{Ad}\circ\rho$.

Quoted passage

Notation 1.10.2. For $G$ an algebraic group with derived subgroup $G^{\text {der }}$ and corresponding Lie algebra $\mathfrak{g}^{\text {der }}$, we use $\mathrm{Ad}: G \rightarrow \operatorname{GL}\left(\mathfrak{g}^{\text {der }}\right)$ to denote the natural action of $G$ on $\mathfrak{g}^{\text {der }}$ by conjugation. Given a representation $\rho$ : $\pi_{1}(X, x) \rightarrow G(\mathbb{C})$, let $\operatorname{ad}(\rho):=\rho \circ \operatorname{Ad}: \pi_{1}(X, x) \rightarrow \operatorname{GL}\left(\mathfrak{g}^{\text {der }}\right)$. In particular, given $\rho: \pi_{1}(X, x) \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ or $\rho: \pi_{1}(X, x) \rightarrow \mathrm{PGL}_{r}(\mathbb{C})$ we use $\operatorname{ad}(\rho)$ to denote the composite map $\operatorname{ad}(\rho): \pi_{1}(X, x) \rightarrow \operatorname{GL}\left(\mathfrak{p g} \mathfrak{l}_{r}(\mathbb{C})\right)$.

6. Uniqueness in Lemma 2.2.2 needs more justification

• ID: d03d8124-2b05-4131-8d64-5e969d7af524
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The final argument establishes uniqueness of the projective class of an exact linear intertwiner, but it does not establish uniqueness among all projective representations making (2.2) commute. The displayed identity determines $\widetilde{\rho}(\gamma)$ only modulo the centralizer of $\mathbb{P}\rho(\pi_1(\Sigma_{g,n},x))$ in $\operatorname{PGL}_r(\mathbb{C})$. Irreducibility makes the linear centralizer scalar but does not rule out projective self-twists, so the asserted uniqueness requires an additional argument or qualification; the existence construction itself remains valid.

Quoted passage

Finally, uniqueness of $\widetilde{\rho}$ follows from commutativity of (2.2) and uniqueness of $\bar{M}_{\gamma}$. Indeed, for any $\gamma \in \widetilde{\Gamma}$ and for all $\eta \in \pi_{1}\left(\Sigma_{g, n}, x\right)$, we must have

$$ \widetilde{\rho}\left(\gamma \eta \gamma^{-1}\right)=\widetilde{\rho}(\gamma) \widetilde{\rho}(\eta) \widetilde{\rho}(\gamma)^{-1}, $$

and hence $\widetilde{\rho}(\gamma)$ must equal $\bar{M}_{\gamma}$. $\square$

7. The étale base changes may lose the chosen fiber

• ID: d2190398-a925-44a1-bf71-07eb1e95d8f3
• Refine score: 0.44
• Original types: general
• Refine status: open

Comment

The fiber-preserving conclusion of Proposition 2.3.4 is not established by the stated base changes. A dominant étale morphism can omit the fixed point $m$, and Lemma 2.3.3 chooses a neighborhood of the generic point and then a $K(\pi,1)$ open without tracking a point above $m$. Thus the proof does not yet justify the asserted points $m'$ and $c'$ over $m$ and $c$, or the comparison with the original fibral representation $\rho$; a pointed base-change argument or an equivalent transport argument is needed.

Quoted passage

Then, there exist

(1) a dominant étale map $\mathscr{M}^{\prime} \rightarrow \mathscr{M}$, (2) corresponding relative curve $\mathscr{C}^{\prime}:=\mathscr{M}^{\prime} \times \mathscr{M} \mathscr{C}$ with associated family of punctured curves $\mathscr{C}^{\prime \circ}$, and (3) a representation $\rho^{\prime}: \pi_{1}\left(\mathscr{C}^{\prime 0}, c^{\prime}\right) \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ for some basepoint $c^{\prime} \in \mathscr{C}^{\prime 0}$ lying over $c$

so that, upon choosing some $m^{\prime}$ over $m$ with $\mathscr{C}_{m^{\prime}} \simeq \mathscr{C}_{m}$,

8. Projective uniqueness in Lemma 2.4.1 fails

• ID: 5b86597e-9ddb-426b-83fb-3f2efc13abd6
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

The asserted uniqueness of the element of $\operatorname{PGL}_r(\mathbb{C})$ implementing the displayed conjugation action does not follow from Schur's lemma: an irreducible representation can have nontrivial projective self-twists. The conclusion of part (1) nevertheless follows directly from the preceding linear equality, since $\rho(g^{t!})$ commutes with $\rho(H)$ and is therefore scalar by Schur's lemma.

Quoted passage

For each $g \in G, \mathbb{P} \rho(g)$ is the unique (by Schur's lemma) element of $\operatorname{PGL}_{r}(\mathbb{C})$ such that

$$ \mathbb{P} \rho(g) \mathbb{P} \rho(h) \mathbb{P} \rho(g)^{-1}=\mathbb{P} \rho\left(g h g^{-1}\right) $$

for all $h \in H$. Since $\rho(g)$ acts by conjugation on the order $t$ set $\operatorname{im}\left(\left.\rho\right|_{H}\right)$, its action has order dividing $t!$, so $\rho(h)=\rho\left(g^{t!}\right) \rho(h) \rho\left(g^{-t!}\right)$. Hence we have $\mathbb{P} \rho\left(g^{t!}\right)=\mathrm{id}$ by uniqueness. Thus the image of $\mathbb{P} \rho$ has exponent dividing $t!$. But a linear group with finite exponent is finite [Bur05].

9. Lemma 2.4.2 proof omits the genus-zero case

• ID: 63223532-499b-4301-a7a7-6a3f6a25de14
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

Lemma 2.4.2 is stated under Notation 1.10.1, which includes $g=0$, but its proof invokes Corollary 2.3.5, whose hypothesis is $g\geq 1$. Consequently, the supplied argument does not establish the genus-zero case of the lemma.

Quoted passage

Lemma 2.4.2. Let $A$ be an Artin local $\mathbb{C}$-algebra with residue field $\mathbb{C}$. Suppose $\mathbb{V}$ is a local system of free $A$-modules on $\mathscr{C}^{\circ}$ such that $\left.\mathbb{V}\right|_{\mathscr{C}_{m}^{\circ}}$ is a constant deformation of a unitary local system; that is, there exists a unitary $\mathbb{C}$-local system $\mathbb{V}_{0}$ on $\mathscr{C}_{m}^{\circ}$ such that $\left.\mathbb{V}\right|_{\mathscr{C}_{m}^{\circ}} \simeq \mathbb{V}_{0} \otimes_{\mathbb{C}} A$.

There is a dominant étale map $\mathscr{M}^{\prime} \rightarrow \mathscr{M}$, with $\mathscr{C}^{\prime}=\mathscr{M}^{\prime} \times \mathscr{M} \mathscr{C}$ and $\pi^{\prime \prime}: \mathscr{C}^{\prime 0} \rightarrow \mathscr{M}^{\prime}$ the associated family of punctured curves, over which

$$ \left.\mathbb{V}\right|_{\mathscr{C}^{\prime}} \simeq \oplus_{i=1}^{s} \mathbb{U}_{i} \otimes\left(\pi^{\prime \prime}\right)^{*} \mathbb{W}_{i}, $$

where the $\mathbb{W}_{i}$ are locally constant sheaves of free $A$-modules on $\mathscr{M}^{\prime}$ and the $\mathbb{U}_{i}$ are unitary local systems on $\mathscr{C}^{\prime}$. Moreover, for $C^{\prime \circ}$ a fiber of $\mathscr{C}^{\prime \circ} \rightarrow \mathscr{M}^{\prime}$, each $\left.\mathbb{U}_{i}\right|_{C^{\prime}}$ is irreducible, the $\left.\mathbb{U}_{i}\right|_{C^{\prime}}$ are pairwise non-isomorphic, and $\mathbb{W}_{i} \simeq$ $\pi^{\prime \circ}{ }_{*} \operatorname{Hom}\left(\mathbb{U}_{i},\left.\mathbb{V}\right|_{\mathscr{C}^{\prime 0}}\right)$.

Proof. Since $\mathbb{V}_{0}$ is unitary, we can express it as as a sum of irreducible unitary local systems, $\mathbb{V}_{0} \simeq \oplus_{i=1}^{s} \mathbb{S}_{i}^{\oplus n_{i}}$, with the $\mathbb{S}_{i}$ pairwise non-isomorphic. Let $\rho: \pi_{1}\left(\mathscr{C}_{m}^{\circ}\right) \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ be the monodromy representation associated to $\mathbb{V}_{0}$, and let $\rho_{i}$ be the (irreducible) representation associated to $\mathbb{S}_{i}$. By Proposition 2.1.3, $\rho$ is MCG-finite. Hence each $\rho_{i}$ is MCG-finite by Proposition 2.1.1.

By repeatedly applying Corollary 2.3.5, there are a dominant étale map $\mathscr{M}^{\prime} \rightarrow \mathscr{M}$ and representations $\rho_{i}^{\prime}: \pi_{1}\left(\mathscr{C}^{\prime 0}\right) \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ with finite determinant so that for any $m^{\prime} \in \mathscr{M}^{\prime}, \rho_{i}^{\prime}$ restricts to a representation $\pi_{1}\left(\mathscr{C}_{m^{\prime}}^{\prime \circ}\right) \rightarrow \mathrm{GL}_{r}(\mathbb{C})$ identified with $\rho_{i}$.

10. Stability hypothesis shifts in Proposition 5.2.3

• ID: 0014967d-42bf-470e-8b8e-0b7dfca2638f
• Refine score: 0.36
• Original types: general
• Refine status: open

Comment

There is an internal stability/semistability mismatch. From the assumed semistability of $E_\star$, dualization and twisting give semistability of $E_\star^\vee\otimes\omega_C(D)$, not necessarily stability. Proposition 5.2.4 is displayed with a semistability hypothesis, so the argument appears to remain valid using semistability; however, Remark 5.2.5 and the proof instead say “stable.” The hypotheses must be stated consistently to confirm that strictly semistable bundles arising from reducible unitary local systems are covered.

Quoted passage

Remark 5.2.5. The statement of Proposition 5.2.4 is equivalent to [LL23, Prop. 6.3.6], but it differs slightly in that we write " $E_{\star}$ is parabolically stable" in place of " $\widehat{E}_{\star}$ is coparabolically stable" and $\mu_{\star}\left(E_{\star}\right)$ in place of $\mu_{\star}\left(\widehat{E}_{\star}\right)$. However, by definition, $E_{\star}$ is parabolically stable if and only if $\widehat{E}_{\star}$ is coparabolically stable and $\mu_{\star}\left(E_{\star}\right)=\mu_{\star}\left(\widehat{E}_{\star}\right)$ [LL23, Defs. 2.2.9 and 2.4.2].

Proof of Proposition 5.2.3. The idea is to apply Proposition 5.2.4(II) with $c=1$ and $\delta=r$, and we now set up notation to do so. Set $n=\operatorname{deg} D$. Let $f_{v}: E^{\vee} \otimes \omega_{C} \rightarrow \omega_{C}^{\otimes 2}(D)$ be the map of vector bundles induced by $B_{E}(v,-)$, and set $U=\operatorname{ker}\left(f_{v}\right)$. As $B_{E}$ is a perfect pairing and $v$ is non-zero by assumption, $U$ has corank one in $E^{\vee} \otimes \omega_{C}$.

We conclude by applying Proposition 5.2.4(II) to the parabolic bundle $\left(E_{\star}\right)^{\vee} \otimes \omega_{C}(D)$. This is parabolically stable by definition and has slope $\mu\left(\left(E_{\star}\right)^{\vee}\right.$ $\left.\otimes \omega_{C}(D)\right)=2 g-2+n$, since $E_{\star}$ has parabolic slope 0.

11. Realification identity in Lemma 6.1.1 needs justification

• ID: 6fd9cdd8-aaf7-4873-b044-a68d6e7022d9
• Refine score: 0.47
• Original types: general
• Refine status: open

Comment

The identity $\widetilde{R^{1}\pi_{*}^{\circ}\mathbb{V}}=R^{1}\pi_{*}^{\circ}\widetilde{\mathbb{V}}$ is not justified by definition (4.3). If $\mathbb{V}$ has no real structure but $R^{1}\pi_{*}^{\circ}\mathbb{V}$ does, the left side is $R^{1}\pi_{*}^{\circ}\mathbb{V}$ while the right side is its direct sum with its conjugate, so their ranks differ. The proof must either exclude this case or carry out the fixed-part argument using the real variation $R^{1}\pi_{*}^{\circ}\widetilde{\mathbb{V}}$ while tracking the relevant summand. This appears to be a repairable gap rather than a problem with the resulting rank bound.

Quoted passage

Proof. For a local system $\mathbb{W}$, let $\widetilde{\mathbb{W}}$ denote the corresponding local system with real structure as in (4.3). Note that

$$ \widetilde{R^{1} \pi_{*}^{\circ} \mathbb{V}}=R^{1} \pi_{*}^{\circ} \widetilde{\mathbb{V}} . $$

By Proposition 4.2.2, $\widetilde{\mathbb{L}}$ underlies a real polarizable variation of Hodge structure, and we have a non-zero real mixed Hodge structure $Q_{\mathbb{R}}$ and a nonzero map of real variations of mixed Hodge structures

12. Equivariance group in the final duality step

• ID: 6e6ab9a5-abae-473d-acab-47aadaf07ac7
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

The asserted $\operatorname{Mod}_{g,n}$-equivariance is too strong as written: the homology of the fixed cover naturally carries the action only of the stabilizer $\Gamma$ and its finite-index subgroups. Poincaré duality is $\Gamma$-equivariant, which is sufficient for the stated conclusion about $\Gamma'$-invariant subrepresentations.

Quoted passage

Using the inclusion $H^{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right)^{\rho} \subset H^{1}\left(\Sigma_{g^{\prime}, n^{\prime}}, \mathbb{C}\right)^{\rho}$ we deduce that the former can have no non-zero $\Gamma^{\prime}$-invariant subrepresentations (for $\Gamma^{\prime} \subset \Gamma$ finite index) of dimension less than $2 g-2 \operatorname{dim} \rho$, as the latter has no such subrepresentations. Using Poincaré duality and the intersection pairing on $H_{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right)$ we obtain a $\operatorname{Mod}_{g, n}$ equivariant isomorphism $H^{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right) \simeq H_{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right)$. Hence, $H_{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right)^{\rho}$ also has no subrepresentations of dimension less than $2 g-2 \operatorname{dim} \rho$. $\square$

13. Boundary hypothesis missing in Proposition 8.2.1

• ID: 87a7e1e8-6854-459c-8509-e9c8a5211831
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

Proposition 8.2.1 proves strong cohomological rigidity, but its further conclusion that $\mathbb{V}$ is cohomologically rigid does not follow under Definition 8.1.1 as stated unless quasi-unipotent monodromy at infinity is also known. Section 8.3 verifies this boundary condition separately for the particular projective local system used in the integrality argument, so the issue is localized and does not undermine that application.

Quoted passage

Proposition 8.2.1. Let $\mathbb{V}$ be a $\mathrm{GL}_{r}$ (respectively, $\mathrm{PGL}_{r}$ )-local system on $\mathscr{C}^{\circ}$ with $r<\sqrt{g+1}$. Suppose that for $m \in \mathscr{M},\left.\mathbb{V}\right|_{C^{\circ}}$ is (respectively, is the projectivization of) an irreducible, unitary local system. Then $\mathbb{V}$ is strongly cohomologically rigid. In particular, $\mathbb{V}$ is cohomologically rigid.

Proof. By Lemma 8.1.3, it is enough to show $\mathbb{V}$ is strongly cohomologically rigid.

14. Compactification in Lemma 8.3.3 need not be SNC

• ID: 386b8cf6-a8c4-4924-8f1f-5bab9ca24295
• Refine score: 0.49
• Original types: general
• Refine status: open

Comment

The compactification step in Lemma 8.3.3 is incomplete: normalizing an SNC compactification in the function field of a finite étale cover need not produce a smooth space with SNC boundary. A subsequent resolution can introduce exceptional boundary divisors, so quasi-unipotence must also be verified for their meridians—typically products and powers of the commuting boundary Dehn twists—before the integrality theorem applies.

Quoted passage

One may construct a strict normal crossing compactification as follows. The scheme $\mathscr{C}^{\circ}$ is a finite étale cover of $\mathscr{M}_{g, n+1}$ by construction; let $\overline{\mathscr{M}}_{g, n+1}{ }^{\prime}$ be a strict normal crossing compactification of $\mathscr{M}_{g, n+1}$ obtained by blowing up boundary strata of the Deligne-Mumford compactification $\overline{\mathscr{M}_{g, n+1}}$ (which is only a normal crossing compactification, and is not in general strict). Let $\overline{\mathscr{C}}$ be the normalization of $\overline{\mathscr{M}}_{g, n+1}{ }^{\prime}$ in the function field of $\mathscr{C}^{\circ}$. By Proposition 8.3.2, it suffices to check that the local monodromy about the boundary components of $\overline{\mathscr{C}}$ correspond to products of commuting Dehn twists about simple closed curves, under the identification of $\pi_{1}\left(\mathscr{C}^{\circ}\right)$ with a subgroup of $\operatorname{PMod}_{g, n+1}=$ $\pi_{1}\left(\mathscr{M}_{g, n+1}\right)$.

15. Section 8.6 needs compatible choice of $\Gamma$

• ID: 4ad2907a-933c-4335-95b5-27a8f1f20412
• Refine score: 0.39
• Original types: general
• Refine status: open

Comment

The subgroup $\Gamma$ in Lemma 8.6.1 is specified only as stabilizing the conjugacy classes of the $\sigma_i$. The application of Theorem 7.2.1 and the asserted $\Gamma$-stability of $Q_i$ additionally require a finite-index subgroup that preserves the chosen finite quotient defining the cover and the restricted extension class. These properties should be justified from the MCG-finiteness of $\rho$ and the characteristic property of $\rho_1$.

Quoted passage

and hence $n_{i}, \operatorname{dim} \sigma_{i}<(g+1) / 4$. To put ourselves in the setting of Theorem 7.2.1, we choose an additional basepoint $v \in \Sigma_{g, n}$ and let $\Sigma_{g, n+1}:=$ $\Sigma_{g, n} \backslash\{v\}$. Let $\Gamma \subset \operatorname{Mod}_{g, n+1}$ be a finite index subgroup stabilizing the conjugacy class of each $\sigma_{i}$.

Let $\Sigma_{g^{\prime}, n^{\prime}} \rightarrow \Sigma_{g, n}$ be a finite Galois cover, with Galois group $H$, upon which the local systems corresponding to both $\rho_{1}$ and $\rho_{2}$ trivialize (for example, the cover defined by $\operatorname{ker}\left(\rho_{1} \oplus \rho_{2}\right)$ ). It suffices to show that $\left.\rho\right|_{\pi_{1}\left(\Sigma_{g^{\prime}, n^{\prime}}\right)}$ is trivial.

16. Corollary 9.2.2 needs a lattice-field reduction step

• ID: 37f5cd87-89fd-4304-b404-93bb98236358
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

The reduction to a totally ramified coefficient field is not justified from the stated notion of a characteristic-zero lift. A finite-image lift and stable lattice may initially be defined over a finite extension $Q/\mathbb Q_p$ whose residue field is larger than $\mathbb F_p$. The Jordan-theorem contradiction can still be applied over arbitrary $Q$ after identifying the residual image over $\overline{\mathbb F}_p$, but that reduction step is absent from the proof as written.

Quoted passage

Thus it suffices to show that for $p \gg 0$ and $\rho$ as in the theorem, $\rho$ does not admit an arithmetic lift. Suppose to the contrary that it did admit an arithmetic lift $\xi$; by Theorem 9.1.2, $\xi$ would have finite image. Thus it suffices to show that for $Q$ a finite, totally ramified extension of $\mathbb{Q}_{p}$, there do not exist any finite subgroups of $\mathrm{GL}_{r}\left(\mathscr{O}_{Q}\right)$ surjecting onto $\mathrm{GL}_{r}\left(\mathbb{F}_{p}\right)$ if $p \gg_{r} 0$.

17. Example 9.2.3 overstates the range of non-liftability

• ID: b101b869-1e65-427d-9dba-cdd7678fe3b0
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

Example 9.2.3 conflates existence with non-liftability. Its group-theoretic argument constructs surjections for every prime $p$ and for curves of the stated topological type, but Corollary 9.2.2 rules out arithmetic lifts only for curves satisfying Theorem 9.1.2’s genericity hypotheses and for $p \gg_r 0$. Thus the concluding non-liftability claim is unsupported for the exceptional primes or for arbitrary non-generic curves.

Quoted passage

Example 9.2.3. Fix non-negative integers $g, n$ so that $n \geq 1$ if $g=1$ and $n \geq 3$ if $g=0$. Fix $r$ with $1<r<\sqrt{g+1}$. We claim that for any $n$-pointed genus $g$ curve $\left(C, x_{1}, \ldots, x_{n}\right)$, and any $p$, there exist surjective representations

$$ \rho: \pi_{1}^{\text {ét }}\left(C_{\bar{K}} \backslash\left\{x_{1}, \ldots, x_{n}\right\}\right) \rightarrow \operatorname{GL}_{r}\left(\mathbb{F}_{p}\right) $$

as in Corollary 9.2.2. In particular, these representations do not admit arithmetic lifts to characteristic 0.

18. Remark 9.2.5 changes the fundamental group

• ID: 8a31dafc-0052-4de7-ba4b-3428a04d60b2
• Refine score: 0.39
• Original types: general
• Refine status: open

Comment

Remark 9.2.5 passes from representations of the geometric group $\pi_1^{\mathrm{\acute{e}t}}(C_{\overline K}\setminus\{x_i\})$ to deformation rings for the full arithmetic group $\pi_1^{\mathrm{\acute{e}t}}(C_K\setminus\{x_i\})$. This may be repairable by descending the finite torsor in Example 9.2.3 after a finite extension of $K$, but that descent-and-extension step is not stated; as written, the example does not directly supply a residual representation of the displayed full group.

Quoted passage

Remark 9.2.5. The solution to de Jong's conjecture, as described in Remark 9.2.4, implies that deformation rings of absolutely irreducible $\mathbb{F}_{p}$-representations of arithmetic fundamental groups of curves over finite fields (of characteristic different from $p$ ) are always complete intersections over $\mathbb{Z}_{p}$. Our results show that the analogous statement is not true for the arithmetic fundamental group $\pi_{1}^{\text {ét }}\left(C_{K} \backslash\left\{x_{1}, \ldots, x_{n}\right\}\right)$ as in Theorem 9.1.2 because they are not flat over $\mathbb{Z}_{p}$ by Example 9.2.3.

19. Nonflatness does not rule out complete intersections

• ID: 21830a81-5540-4726-aebd-5e80ca520809
• Refine score: 0.53
• Original types: general
• Refine status: open

Comment

Remarks 9.2.5–9.2.6 infer that the deformation rings are not complete intersections from their failure to be flat over $\mathbb Z_p$. Under the usual definition this implication is false: $\mathbb Z_p/(p)$ is a complete-intersection $\mathbb Z_p$-algebra but is not $\mathbb Z_p$-flat. The claimed negative answer to the complete-intersection question therefore requires either a separate ring-theoretic obstruction or an explicit stronger definition that includes flatness.

Quoted passage

Remark 9.2.5. The solution to de Jong's conjecture, as described in Remark 9.2.4, implies that deformation rings of absolutely irreducible $\mathbb{F}_{p}$-representations of arithmetic fundamental groups of curves over finite fields (of characteristic different from $p$ ) are always complete intersections over $\mathbb{Z}_{p}$. Our results show that the analogous statement is not true for the arithmetic fundamental group $\pi_{1}^{\text {ét }}\left(C_{K} \backslash\left\{x_{1}, \ldots, x_{n}\right\}\right)$ as in Theorem 9.1.2 because they are not flat over $\mathbb{Z}_{p}$ by Example 9.2.3.

Remark 9.2.6. Flach asks [CO05, p. 7] if deformation rings of absolutely irreducible residual representations of profinite groups are always complete intersections. By now it is well known that the answer to this question is in general "no." (See, e.g., [EM16] for a more or less complete answer to this question, and the references therein.) Our result Corollary 9.2.2 shows that this question has a negative answer even for arithmetic fundamental groups of generic smooth curves, as explained in Remark 9.2.5.

Scope

• Paper: 03 Published and Submitted Work/Published/P04_Landesman_Litt_Canonical_Representations_Surface_Groups.pdf
• Refine report: .refine/results/Published/P04_Landesman_Litt_Canonical_Representations_Surface_Groups.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: local published PDF, Annals of Mathematics 199 (2024)
• Detailed Refine comments assessed: 19
• Assessment date: 2026-07-30

The local PDF was treated as authoritative. Formula-sensitive passages on PDF pages 13, 38, 43, 46, 51, 56, and 57 were checked in rendered page images. The Korkmaz bibliography claim and the complete-intersection terminology were also checked against external primary sources.

Summary

There are 2 dismissals/no-error determinations, 4 optional edits, and 13 public-errata candidates. No issue remains at I3 after reconstruction. In particular, the realification and compactification arguments admit bounded repairs that preserve Theorems 1.7.1 and 1.2.1.

1. Section 1.3 weakens “versal”

Comment ID: 189d0a02-6e81-42b7-8348-c175f92a8b46 Location: PDF pages 4-5, Section 1.3 and Corollary 1.3.1.

Section 1.3 says “as in Notation 1.10.1” but then repeats the definition using only dominance; Notation 1.10.1 requires the classifying map to be dominant and étale. This is an internal mismatch, but Refine overstates its consequence. For a dominant morphism of connected complex algebraic varieties, the image on fundamental groups has finite index after the standard generic factorization/shrinking argument. That is exactly the only input used to make the fibral representation MCG-finite.

• Classification: V3 / C4 / E2 / I1
• Challenge: Q1; the merely dominant version is supported by the standard finite-index argument, and the later standing definition independently resolves the intended usage
• Repair/disposition: add “and étale” in Section 1.3 to match Notation 1.10.1, or cite the dominant-map finite-index result; R1 / D1

2. The Korkmaz citation is the homology survey

Comment ID: e73a2915-2ba0-48a9-9ed8-a90c5672cdd0 Location: PDF page 9, Section 1.8.3, and reference [Kor02] on page 72.

The published reference is Korkmaz's 2002 survey of first and second homology, not a paper establishing low-dimensional linear-representation bounds. The official journal abstract confirms that scope. The exact replacement is Korkmaz, “Low-dimensional linear representations of mapping class groups,” first posted as arXiv:1104.4816 and published in Journal of Topology 16 (2023), 899-935, doi:10.1112/topo.12305.

• Classification: V4 / C7 / I2
• Dependency trace: the surrounding prior-work sentence remains true and no proof uses [Kor02]
• Repair/disposition: replace [Kor02] by the 2023 Korkmaz paper; R1 / D3

3. The Step 1 outline skips the projective-to-linear integrality step

Comment ID: 9ac0c58e-7576-4d5d-855e-b91984ef96fe Location: PDF page 10, Section 1.9.1.

Klevdal-Patrikis first gives integrality of the total-space \(\mathrm{PGL}_r\)-local system and hence of \(\mathbb P\rho\), as proved in Lemma 8.3.3. Integrality of \(\rho\) is then obtained in Lemma 8.3.4 using its finite determinant and the finite map \(G\to\mathrm{PGL}_r\). Proposition 2.3.4 instead constructs a complex linear lift of the total-space projective local system after base change; it is not the arithmetic integrality lift.

• Classification: V4 / C9 / I2
• Dependency trace: Lemmas 8.3.3-8.3.4 contain the correct argument, so Proposition 8.4.1 and Theorem 1.2.1 are unaffected
• Repair/disposition: distinguish the two lifts in the outline and cite Lemma 8.3.4 for linear integrality; R1 / D3

4. The Ext arguments are reversed

Comment ID: e43c6f36-8237-4203-8595-4392ef81fff4 Location: PDF page 11, Section 1.9.3.

An extension \(0\to\rho_1\to\rho\to\rho_2\to0\) represents a class in \(\operatorname{Ext}^1(\rho_2,\rho_1)\), with coefficient representation \(\rho_2^\vee\otimes\rho_1\). Lemma 8.6.1 uses this order correctly.

• Classification: V4 / C1 / I2
• Repair/disposition: reverse the two arguments and tensor factors in the proof outline; R1 / D3

5. The adjoint composition is type-incorrect

Comment ID: 072de4d3-0f9c-484d-a269-ee0f45ceeb83 Location: PDF page 13, Notation 1.10.2.

The rendered PDF visibly defines \(\operatorname{ad}(\rho)=\rho\circ \operatorname{Ad}\). The intended composite is unambiguous and must be \(\operatorname{Ad}\circ\rho\).

• Classification: V4 / C1 / I1
• Dependency trace: every later use has the intended adjoint local system
• Repair/disposition: reverse the composition order; R1 / D1

6. Lemma 2.2.2 has existence but not uniqueness

Comment ID: d03d8124-2b05-4131-8d64-5e969d7af524 Location: PDF pages 16-17, Lemma 2.2.2.

For each \(\gamma\), the exact linear intertwiner \(M_\gamma\) is unique up to scalar, so the construction gives a well-defined projective representation. But an arbitrary projective extension restricting to \(\mathbb P\rho\) may differ from it by the projective centralizer of \(\mathbb P\rho(H)\). Irreducible representations can have nontrivial projective self-twists; for example, the two-dimensional irreducible representation of \(Q_8\) has projective image \(V_4\) with nontrivial projective centralizer.

• Classification: V4 / C6 / I2
• Dependency trace: Lemma 2.2.3 and all later arguments use only the constructed extension, never uniqueness among all projective extensions
• Repair/disposition: delete “unique” from the statement and the final uniqueness paragraph; R2 / D3

7. Proposition 2.3.4 needs pointed base changes

Comment ID: d2190398-a925-44a1-bf71-07eb1e95d8f3 Location: PDF pages 18-21, Lemma 2.3.3 and Proposition 2.3.4.

The proof as written chooses generic étale neighborhoods and later opens, which need not contain the fixed \(m\). The repair is to run every application of Lemma 2.3.3 pointed over the current basepoint. A cohomology class is étale-locally zero at the chosen point, so choose a connected étale neighborhood \((N,n)\to(M,m)\) killing it. Its image is a nonempty open and hence it is dominant because \(M\) is connected and smooth. Then use a further pointed étale \(K(\pi,1)\)-neighborhood supplied by SGA XI, 4.6. Repeating this construction preserves points \(m'\) and \(c'\) throughout.

• Classification: V4 / C5 / E3 / I2
• Challenge: Q2; the pointed reconstruction kills the same finite list of obstruction and transgression classes and preserves the original fibral representation
• Dependency trace: Corollary 2.3.5 and its later applications are unchanged
• Repair/disposition: state and use a pointed form of Lemma 2.3.3; R2 / D3

8. Lemma 2.4.1 does not need projective uniqueness

Comment ID: 5b86597e-9ddb-426b-83fb-3f2efc13abd6 Location: PDF pages 21-22, Lemma 2.4.1(1).

The uniqueness claim is false for the reason in comment 6, but the required conclusion follows from the preceding linear equality. Conjugation by \(\rho(g)\) permutes the \(t\)-element group \(\rho(H)\), so its \(t!\)-th power acts trivially. Thus \(\rho(g^{t!})\) commutes linearly with \(\rho(H)\), and Schur's lemma makes it scalar. Hence \(\mathbb P\rho(G)\) has exponent dividing \(t!\), and Burnside's theorem finishes the proof.

• Classification: V4 / C6 / I2
• Challenge: Q2; the direct calculation proves the lemma with no changed hypothesis
• Repair/disposition: replace the uniqueness sentence by the linear centralizer argument; R2 / D3

9. Lemma 2.4.2 is not proved in genus zero

Comment ID: 63223532-499b-4301-a7a7-6a3f6a25de14 Location: PDF pages 22-23, Lemma 2.4.2.

The proof invokes Corollary 2.3.5, which assumes \(g\ge1\). Adding that hypothesis is enough for every nonvacuous later application: Theorem 6.2.1 has a nonzero local system of rank \(<g\), hence \(g\ge2\); the genus-zero case of Theorem 7.2.1 has a negative lower bound and is vacuous; and Theorem 1.2.1 has only rank zero when \(g=0\).

• Classification: V4 / C5 / E4 / I2
• Challenge: Q2; restricting Lemma 2.4.2 to \(g\ge1\) preserves all nonvacuous downstream uses
• Repair/disposition: add \(g\ge1\), or provide a separate genus-zero decomposition argument; R2 / D3

10. “Stable” should be “semistable”

Comment ID: 0014967d-42bf-470e-8b8e-0b7dfca2638f Location: PDF pages 35-36, Remark 5.2.5 and proof of Proposition 5.2.3.

Propositions 5.2.3 and 5.2.4 are correctly displayed with semistability. Dualizing and twisting preserve semistability, which is exactly what the proof needs. The two prose occurrences of “stable” are inconsistent slips, not a change in the argument.

• Classification: V4 / C1 / I1
• Repair/disposition: replace both occurrences by “semistable”; R1 / D1

11. The realification equality in Lemma 6.1.1 is false in one case

Comment ID: 6fd9cdd8-aaf7-4873-b044-a68d6e7022d9 Location: PDF page 38, Lemma 6.1.1.

The rendered identity

fails if \(\mathbb V\) has no real structure but \(R^1\pi^\circ_*\mathbb V\) does: the right side has two conjugate summands and the left side only one.

Severity challenge

Set

This is a real admissible graded-polarizable variation by Theorem 4.1.1, and its complexification contains \(R^1\pi^\circ_*\mathbb V\) as a direct summand. Apply Proposition 4.2.2 to \(\mathbb L\hookrightarrow R^1\pi^\circ_*\mathbb V \hookrightarrow(\mathbb W_{\mathbb R})_{\mathbb C}\). In the proof of that proposition, the inclusion and its conjugate define a nonzero real fixed-part map. Decompose its constant Hodge structure and project the evaluation map to the \(R^1\pi^\circ_*\mathbb V\) summand. Some Hodge component is nonzero there because the original inclusion is nonzero. Running the two cases in Lemma 6.1.1 with that component gives the same vector \(v\) and the same bound \(\operatorname{rk}\nabla(v)\le\operatorname{rk}\mathbb L/2\). Conjugating the selected summand when necessary does not change any rank.

• Classification: V4 / C6 / E3 / I2
• Challenge: Q2; the fixed-part argument works on the larger real variation, and projection recovers exactly the summand used by Theorem 1.7.1
• Dependency trace: Theorem 1.7.1 and every later rank/vanishing theorem keep their stated bounds
• Repair/disposition: replace the false equality by the summand argument; R2 / D3

12. Poincaré duality is only \(\Gamma\)-equivariant here

Comment ID: 6e6ab9a5-abae-473d-acab-47aadaf07ac7 Location: PDF page 43, final paragraph of Theorem 7.2.1.

The fixed cover is preserved by \(\Gamma\), not by all of \(\operatorname{Mod}_{g,n}\). Poincaré duality and the intersection pairing are \(\Gamma\)-equivariant, which is precisely enough for all finite-index \(\Gamma'\subset\Gamma\).

• Classification: V4 / C5 / I2
• Repair/disposition: replace \(\operatorname{Mod}_{g,n}\)-equivariant by \(\Gamma\)-equivariant; R2 / D3

13. Strong rigidity alone does not include the boundary condition

Comment ID: 87a7e1e8-6854-459c-8509-e9c8a5211831 Location: PDF page 45, Proposition 8.2.1.

Definition 8.1.1 assumes quasi-unipotent monodromy at infinity before calling a representation cohomologically rigid. Proposition 8.2.1 proves the stronger cohomology vanishing but does not supply that boundary hypothesis.

• Classification: V4 / C5 / I2
• Challenge: Q2; delete “In particular” from Proposition 8.2.1. In Lemma 8.3.3, first combine the strong vanishing with the boundary-monodromy verification, then invoke Lemma 8.1.3 and Klevdal-Patrikis
• Dependency trace: Section 8.3 separately proves quasi-unipotence for the only integrality application, so no theorem statement changes
• Repair/disposition: reorder the two local steps; R2 / D3

14. Normalization does not itself give an SNC compactification

Comment ID: 386b8cf6-a8c4-4924-8f1f-5bab9ca24295 Location: PDF page 46, Lemma 8.3.3.

Normalizing the blown-up Deligne-Mumford compactification in the finite-cover function field can introduce singularities and need not leave a strict normal crossings boundary.

Severity challenge

Take a log resolution of that normalization. At the generic point of any old or exceptional boundary divisor, a small meridian maps in the local fundamental group of the base complement to

where the \(\delta_i\) are commuting meridians of boundary components (hence commuting Dehn twists) and the \(a_i\) are nonnegative ramification/valuation multiplicities. Passing to the finite-cover subgroup merely replaces these by suitable powers. Proposition 8.3.2 makes the images of those powers quasi-unipotent. Commuting quasi-unipotent matrices are simultaneously triangularizable, and products have root-of-unity eigenvalues, so every new boundary meridian is quasi-unipotent.

• Classification: V4 / C6 / E3 / I2
• Challenge: Q2; resolution plus the local monomial-meridian calculation supplies all missing boundary components
• Dependency trace: the Klevdal-Patrikis application, Lemmas 8.3.3-8.3.4, and Theorem 1.2.1 remain unchanged
• Repair/disposition: insert the log-resolution and exceptional-divisor paragraph; R2 / D3

15. The compatible choice of \(\Gamma\) is safely implicit

Comment ID: 4ad2907a-933c-4335-95b5-27a8f1f20412 Location: PDF pages 50-51, Lemma 8.6.1.

Because \(\rho\) is MCG-finite, a finite-index subgroup stabilizes its isomorphism class. Since \(\rho_1\) is characteristic, the same subgroup preserves \(\rho_1\), \(\rho_2\), the extension class, and \(\ker(\rho_1\oplus\rho_2)\). Intersect it with the finitely many stabilizers of the \(\sigma_i\). This finite-index intersection is a valid \(\Gamma\) for Theorem 7.2.1, and the extension map and all \(Q_i\) are then equivariant.

• Classification: V3 / C3 / E1 / I0
• Challenge: Q1; this is the routine finite-index stabilizer intersection naturally implied by “MCG-finite” and “characteristic”
• Repair/disposition: no correction is required; an explanatory sentence is optional; R0 / D0

16. The coefficient-field reduction is also safely implicit

Comment ID: 37f5cd87-89fd-4304-b404-93bb98236358 Location: PDF pages 55-56, Corollary 9.2.2.

A finite-image characteristic-zero lift with stable lattice is defined over some finite \(Q/\mathbb Q_p\), possibly with residue field \(k\supsetneq \mathbb F_p\). Reducing Jordan's commutator identity in \(\mathrm{GL}_r(\mathcal O_Q)\) gives the same identity in \(\mathrm{GL}_r(k)\). The residual representation identifies its image with a conjugate of \(\mathrm{GL}_r(\mathbb F_p)\subset\mathrm{GL}_r(k)\), so the same two elementary matrices give the contradiction whenever \(p\nmid n(r)\). Total ramification was convenient but unnecessary.

• Classification: V3 / C3 / E1 / I0
• Challenge: Q1; scalar extension and reduction preserve the Jordan identity, with no hidden residue-field exception
• Repair/disposition: no correction is required; replace “totally ramified” by “finite” if desired; R0 / D0

17. Example 9.2.3 drops the large-prime restriction

Comment ID: b101b869-1e65-427d-9dba-cdd7678fe3b0 Location: PDF page 56, Example 9.2.3.

The group-theoretic construction gives surjections for every \(p\), but Corollary 9.2.2 proves non-liftability only for \(p\gg_r0\). Refine's further criticism about arbitrary non-generic curves overlooks the standing opening sentence of Section 9.2: \(K\) and the pointed curve remain “as in Theorem 9.1.2,” including genericity.

• Classification: V3 / C5 / I2
• Repair/disposition: retain existence for every prime, but restrict “these representations do not admit arithmetic lifts” to \(p\gg_r0\); R2 / D3

18. Remark 9.2.5 needs a descent sentence

Comment ID: 8a31dafc-0052-4de7-ba4b-3428a04d60b2 Location: PDF pages 56-57, Example 9.2.3 and Remark 9.2.5.

Example 9.2.3 constructs a finite torsor over the geometric curve, whereas the remark discusses the full arithmetic fundamental group. A finite étale torsor and its finite group action descend after a finite extension \(K'/K\); genericity is unchanged. The descended torsor gives a residual representation of \(\pi_1^{\mathrm{\acute et}}(C_{K'}\setminus D)\), to which the deformation ring discussion applies.

• Classification: V4 / C3 / E2 / I1
• Challenge: Q1; finite étale covers and their finite descent data are defined over a finite extension, and a further finite extension kills the finite descent obstruction
• Repair/disposition: insert the descent-and-base-extension sentence; R1 / D1

19. Nonflatness does not disprove complete intersection

Comment ID: 21830a81-5540-4726-aebd-5e80ca520809 Location: PDF pages 56-57, Remarks 9.2.5-9.2.6.

Under the usual definition used in the literature surrounding Flach's question, a quotient of a regular complete local ring by a regular sequence is a complete intersection; flatness over \(\mathbb Z_p\) is not part of that definition. For example, \(\mathbb Z_p/(p)\) is a complete-intersection \(\mathbb Z_p\)-algebra but is not flat. Bleher-Chinburg state the usual regular-sequence definition explicitly in their paper answering Flach's question.

• Classification: V4 / C9 / I2
• Dependency trace: Corollary 9.2.2 proves non-liftability and nonflatness, but neither implies that the deformation ring is not a complete intersection; only the interpretive claims in Remarks 9.2.5-9.2.6 fail
• Repair/disposition: retract the complete-intersection conclusions unless an independent ring-theoretic obstruction is supplied; R2 / D3

Proposed errata queue

Subject to author confirmation, the likely public errata entries are:

1. Replace [Kor02] by Korkmaz's low-dimensional representation paper.
2. Distinguish projective integrality, linear integrality, and the complex total-space lift in Section 1.9.1.
3. Reverse the Ext arguments and coefficient tensor factors in Section 1.9.3.
4. Remove uniqueness from Lemma 2.2.2.
5. Make the obstruction-killing base changes in Proposition 2.3.4 pointed.
6. Replace the false uniqueness step in Lemma 2.4.1 by the direct linear centralizer argument.
7. Add \(g\ge1\) to Lemma 2.4.2 or prove the genus-zero case separately.
8. Repair the realification step in Lemma 6.1.1 by working in \(R^1\pi^\circ_*\widetilde{\mathbb V}\) and projecting to the desired summand.
9. Replace \(\operatorname{Mod}_{g,n}\)-equivariance by \(\Gamma\)-equivariance in Theorem 7.2.1.
10. Separate strong rigidity from the quasi-unipotent boundary condition in Proposition 8.2.1.
11. Resolve the normalized compactification in Lemma 8.3.3 and check the exceptional boundary meridians.
12. Restrict Example 9.2.3's non-liftability conclusion to \(p\gg_r0\).
13. Retract the complete-intersection conclusions in Remarks 9.2.5-9.2.6 unless a separate obstruction is supplied.

Items 15 and 16 from the report should not enter an errata list: their omitted steps are routine and fully reconstructible. Items 1, 5, 10, and 18 are optional clarity/typographical edits.

Report metadata

Refine summary

This paper establishes stability properties for isomonodromic deformations of flat vector bundles with regular singularities on general curves. The authors use these results to prove that an analytically very general curve of genus g does not carry non-isotrivial polarizable variations of Hodge structure of rank less than 2√(g+1).

Overall feedback

Parabolic internal Hom and semistability in §6.4

In §6.4.9, the document states that $\text{Hom}(\text{gr}^i_{\text{HN}} E'_\star, \text{gr}^j_{\text{HN}} E'_\star)_\star$ is semistable by the definition of the Harder–Narasimhan filtration. However, the definition only provides semistability of the two graded factors. Deducing semistability for their parabolic internal Hom requires a separate dual-and-tensor theorem compatible with the real-weight conventions utilized in the paper.

Additionally, Lemma 6.4.5 proves vanishing for $F_\star^\vee \otimes G_\star$, but the proof of Lemma 6.4.4 applies this directly to internal Hom sheaves without establishing the required identification. Since these missing steps supply essential hypotheses for Proposition 6.3.6 and Lemma 6.4.8, the conclusions of Theorem 6.1.1 remain unsupported until this formalism is proved or precisely cited.

The containment argument in §7.2

The deduction in §7.2 seeks to demonstrate that the VHS locus $T_\rho$ is contained in a proper closed analytic subset of Teichmüller space. Merely asserting that the VHS does not extend to an analytically general nearby curve does not explicitly yield the required containment.

The argument requires constructing the finite union $S_\rho$ of instability loci stemming from Corollary 6.1.2 for all embeddings and irreducible summands, showing that any point of $T_\rho$ outside $S_\rho$ forces unitarity at every embedding and thus finite monodromy, and concluding $T_\rho \subset S_\rho$. Only then does the countable-degree projection to the moduli stack justify the analytically very-general quantifier in Theorem 1.2.5.

Arithmetic descent for geometric origin

In §7.3, the text states that the existence of an $\mathcal{O}_K$-structure on an arbitrary complex direct summand of $R^i f_* \mathbb{C}$ follows directly from the ambient $\mathbb{Z}$-structure, after which all conjugates remain summands.

This requires a genuine descent argument using semisimplicity, a number field over which the relevant simple factors or projectors are defined, an invariant lattice after enlarging that field, and verification that every embedding yields another Gauss–Manin summand. Without that bridge, Corollary 1.2.7 and the subsequent applications to abelian schemes, curve families, and character varieties do not follow from Theorem 1.2.5.

Counterexample smoothness and summand instability loci

Two structural steps in the counterexample constructions rely on implicit details that require explicit verification. First, in §5.1.5, the normalization of the compactified universal curve in the finite étale cover of its complement is stated to produce a smooth proper relative curve, but this lacks a local analysis along the diagonal that establishes smoothness, flatness, ramification, and stack descent. Because the construction is framed using analytic stacks while invoking function fields and normalization, the paper must specify whether it is performed algebraically and then analytified, or justify the corresponding analytic normalization.

Separately, Corollary 1.3.3 infers that since a direct sum is unstable on every fiber, one irreducible summand is uniformly unstable on every fiber. This quantifier exchange does not follow from pointwise instability. A reliable analysis would extend the finitely many summands over a simply connected deformation base and use their closed analytic instability loci to demonstrate that one such locus equals the entire irreducible base.

Formulation of Corollary 1.2.8

The second sentence of Corollary 1.2.8 claims that any relative smooth proper curve over the punctured base has genus at least $\sqrt{g+1}$. Constant families of smaller genus provide immediate counterexamples to the statement as formulated.

The proof in §7.4 establishes only that a family falling below the bound is isotrivial, indicating that the statement must be restricted to non-isotrivial relative smooth proper curves.

Detailed comments

1. Corollary 1.2.8 includes isotrivial curve families

• ID: 095b1400-4b72-46cc-81bb-cb2ee01e5aea
• Refine score: 0.36
• Original types: general
• Refine status: open

Comment

The second assertion of Corollary 1.2.8 is false without a non-isotriviality hypothesis. A constant family $F\times(C\setminus\{x_1,\ldots,x_n\})$ is a relative smooth proper curve of genus $g(F)$ over every such base, independently of the base genus.

Quoted passage

Corollary 1.2.8. If $\left(C, x_{1}, \ldots, x_{n}\right)$ is an analytically very general hyperbolic $n$ pointed genus $g$ curve, then any non-isotrivial abelian scheme over $C \backslash\left\{x_{1}, \cdots, x_{n}\right\}$ has relative dimension at least $\sqrt{g+1}$. Similarly, any relative smooth proper curve over $C \backslash\left\{x_{1}, \cdots, x_{n}\right\}$ has genus at least $\sqrt{g+1}$.

2. Unitary monodromy uses the wrong fundamental group

• ID: 2c471a6c-03ca-4fc8-a4f6-aa959c360cf4
• Refine score: 0.28
• Original types: general
• Refine status: open

Comment

The displayed domain of the monodromy representation is incorrect in the punctured setting: a connection with regular singularities at the $x_i$ generally has monodromy on $\pi_1(C\setminus\{x_1,\ldots,x_n\})$, and this representation factors through $\pi_1(C)$ only when every local monodromy around a puncture is trivial.

Quoted passage

We will prove Corollary 1.2.11 in § 7.5. In what follows, we say a flat vector bundle has unitary monodromy if the associated monodromy representation $\rho: \pi_{1}(C) \rightarrow \operatorname{GL}_{n}(\mathbb{C})$ has image with compact closure. We will deduce the above results from Theorem 1.2.13, using that a discrete subset of the image of a unitary $\rho$ is finite.

Theorem 1.2.13. Let $\left(C, x_{1}, \cdots, x_{n}\right)$ be an $n$-pointed hyperbolic curve of genus $g$. Let $(E, \nabla)$ be a flat vector bundle on $C$ with $\operatorname{rk} E<2 \sqrt{g+1}$ and with regular singularities at the $x_{i}$.

3. Compactness argument needs the arithmetic image

• ID: 47fbac02-ac74-4682-bbb8-151825e64a82
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

The compactness assertion is too broad: an arbitrary discrete subset of a relatively compact image can be infinite. The later finiteness argument instead uses that the diagonal arithmetic monodromy image is a subgroup contained in a discrete lattice and has compact closure after applying all embeddings of the number field.

Quoted passage

We will prove Corollary 1.2.11 in § 7.5. In what follows, we say a flat vector bundle has unitary monodromy if the associated monodromy representation $\rho: \pi_{1}(C) \rightarrow \operatorname{GL}_{n}(\mathbb{C})$ has image with compact closure. We will deduce the above results from Theorem 1.2.13, using that a discrete subset of the image of a unitary $\rho$ is finite.

Theorem 1.2.13. Let $\left(C, x_{1}, \cdots, x_{n}\right)$ be an $n$-pointed hyperbolic curve of genus $g$. Let $(E, \nabla)$ be a flat vector bundle on $C$ with $\operatorname{rk} E<2 \sqrt{g+1}$ and with regular singularities at the $x_{i}$.

4. Corollary 1.3.3 suppresses a necessary locus argument

• ID: 736c3928-ea55-43ef-b9fc-a0c365a7d1bf
• Refine score: 0.4
• Original types: general
• Refine status: open

Comment

The proof omits a uniformity step in its final inference. Fiberwise instability of the direct sum shows only that at each deformation parameter some irreducible summand is unstable. To obtain one fixed summand that is unstable on every nearby fiber, one must use the closed analytic instability loci for the finitely many summands together with irreducibility of the deformation base.

Quoted passage

Corollary 1.3.3. Let $C$ be a smooth projective curve of genus at least 2. There exists an irreducible flat vector bundle $(E, \nabla)$ on $C$, whose isomonodromic deformations to a nearby curve are never semistable.

Proof. The restriction $\left.(\mathscr{F}, \nabla)\right|_{C}$ from Theorem 1.3.2 provides a semisimple flat vector bundle, each of whose flat summands has degree zero; by Theorem 1.3.2(2), its isomonodromic deformation to a nearby curve is never semistable. Hence one of the irreducible summands of $\left.(\mathscr{F}, \nabla)\right|_{C}$ satisfies the statement of the corollary. $\square$

5. Positive-direction claims exceed the stated theorems

• ID: ab9c9860-17e7-437f-875a-a598695f8c5d
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

The introductory sentence overstates the result as applying to any semisimple flat bundle, while Theorem 1.3.4 and its later generalization assume irreducible monodromy. Similarly, the §1.1 roadmap overstates the scope of Theorem 6.1.1 and Corollary 6.1.2 by claiming the result for "any logarithmic flat vector bundle." In the regular-singular setting, applying the theorem to irreducible summands does not recover ordinary semistability of their direct sum, since the underlying summands may have different degrees and slopes.

Quoted passage

In a positive direction, we have the following result, showing that the isomonodromic deformation of any semisimple flat vector bundle to an analytically general nearby curve is close to being semistable, and moreover it is semistable if the rank is small.

Theorem 1.3.4. Let $(C, D)$ be hyperbolic of genus $g$ and let $(E, \nabla)$ be a flat vector bundle on $C$ with regular singularities along $D$, and irreducible monodromy. Suppose $\left(E^{\prime}, \nabla^{\prime}\right)$ is an isomonodromic deformation of $(E, \nabla)$ to an analytically general nearby curve, with Harder-Narasimhan filtration $0=\left(F^{\prime}\right)^{0} \subset\left(F^{\prime}\right)^{1} \subset \cdots \subset$ $\left(F^{\prime}\right)^{m}=E^{\prime}$.

6. §1.5 overstates what semistability says about Hodge pieces

• ID: 426812b8-a9f1-4049-bb34-9e73b511b64d
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

The proof overview compresses an essential reduction: parabolic semistability alone only forces the top Higgs map to vanish, not the entire Hodge filtration to have one piece. After decomposing the semisimple local system and passing to an irreducible factor, the resulting flat top Hodge piece must equal that factor; this is the additional argument used correctly in §7.1.

Quoted passage

1.5. Idea of proof. To prove Theorem 1.2.5, we first reduce to proving Theorem 1.2.13, using that discrete compact spaces are finite. We then prove Theorem 1.2.13 by showing that any flat vector bundle satisfying the hypotheses of the theorem is forced to be (parabolically) semistable on an analytically general curve, whence the Hodge filtration consists of a single piece by Corollary 4.1.8. The polarization then gives a definite Hermitian form preserved by the monodromy, and hence the monodromy is unitary. The key issue, which follows from Theorem 6.1.1, is therefore to show that low rank flat vector bundles are parabolically semistable on an analytically general curve.

7. Deformation functor lacks isomorphism classes

• ID: 3bf69da9-772c-490a-9883-742b6b5ad984
• Refine score: 0.22
• Original types: general
• Refine status: open

Comment

Definition 3.5.2 does not explicitly pass from deformation tuples to their isomorphism classes. Under a literal tuple-level reading, the canonical bijection in Proposition 3.5.3 is not correct; it is correct under the standard convention that $\operatorname{Def}_{(C,D)}(A)$ denotes isomorphism classes of marked deformations.

Quoted passage

be the functor sending a local Artin $\mathbb{C}$-algebra $(A, \mathfrak{m}, \kappa)$ (so $\mathfrak{m}$ is the maximal ideal and $\kappa$ is the residue field) to the set of flat deformations of $(C, D)$ over $A$. More precisely, it assigns to $A$ the set of those $(\mathscr{C}, \mathscr{D}, q, f)$ where $q: \mathscr{C} \rightarrow \operatorname{Spec} A$ is a flat morphism, $\mathscr{D} \subset \mathscr{C}$ is a relative Cartier divisor over $\operatorname{Spec} A$ and $f: C \rightarrow \mathscr{C}$ is a map inducing an isomorphism $C \rightarrow \mathscr{C} \times_{\operatorname{Spec} A} \operatorname{Spec} \kappa$ taking $D$ isomorphically to $\mathscr{D} \times_{\operatorname{Spec} A} \operatorname{Spec} \kappa$.

8. Parabolic deformation data do not specify flags

• ID: cb5bfbd1-6c98-44dd-b002-bcd7dcb811fd
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

The tuple-level description in Definition 3.5.4 does not explicitly require the subbundles $\mathscr E_j^i$ to form, along each deformed marked section, nested quasiparabolic flags with the prescribed ranks. Without interpreting “deformations of $(C,D,E_\star,P^\bullet)$” as importing those conditions, the stated functor is broader than the deformation problem classified by $H^1(C,\operatorname{At}_{(C,D)}(E_\star,P^\bullet))$.

Quoted passage

More precisely, it assigns to $A$ the set of $\left(\mathscr{C}, \mathscr{D}, q, f, \mathscr{E},\left\{\mathscr{E}_{j}^{i}\right\}, \mathscr{P}^{\bullet}, \psi\right)$ where $(\mathscr{C}, \mathscr{D}, q, f)$ is a flat deformation of $(C, D)$ over $A$ as in §3.5.2 $\mathscr{E}$ is a vector bundle on $\mathscr{C}, \oplus_{j} \mathscr{E}_{j}^{i}$ are subbundles of $\mathscr{E}_{\mathscr{D}}, \mathscr{P}^{\bullet}$ is a filtration of $\mathscr{E}$ by subbundles, and $\psi: f^{*}\left(\mathscr{E}, \mathscr{P}^{\bullet}\right) \rightarrow(E, P)$ is an isomorphism of filtered vector bundles on $C$ inducing an isomorphism $\left.\mathscr{E}_{j}^{i}\right|_{x_{j}} \xrightarrow{\sim} E_{j}^{i}$ for each $i, j$.

9. Wrong target in the use of Lemma 6.4.2

• ID: ea4990c7-d078-4ee7-9c9e-0cac050bb9ba
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

The invocation of Lemma 6.4.2 has the wrong target: that lemma proves vanishing on $H^1$ for the composite through $\operatorname{At}_{(C,D)}(E_\star)$ into $\mathscr{E}nd(E_\star)/\mathscr{E}nd(E_\star,N_\star^\bullet)$, not for a map $T_C(-D)\to\mathscr{E}nd(E_\star)$. The subsequent paragraph uses the correct quotient-valued map, so the diagram chase remains valid, but the displayed assertion itself is not supplied by the connection or by Lemma 6.4.2.

Quoted passage

We will show each of the above three maps vanishes on $H^{1}$. By Lemma 6.4.2, $T_{C}(-D) \rightarrow \mathscr{E} n d\left(E_{\star}\right)_{\star}$ vanishes on $H^{1}$. Next, the injection of parabolic sheaves $N_{\star}^{j+1} \rightarrow E_{\star}$ induces a surjection of parabolic sheaves $\mathscr{E} n d\left(E_{\star}\right)_{\star} \rightarrow \mathscr{H} o m\left(N_{\star}^{j+1}, E_{\star}\right)_{\star}$. From this, we obtain a surjection

$$ \mathscr{E} n d\left(E_{\star}\right)_{\star} / \mathscr{E} n d\left(E_{\star}, N_{\star}^{\bullet}\right)_{\star} \rightarrow \mathscr{H} o m\left(N_{\star}^{j+1}, E_{\star} / N_{\star}^{k-1}\right)_{\star} . $$

10. The Higgs-field target in §7.1 omits the divisor

• ID: e4fbb2a4-f961-4557-bd2f-c63a1dddd577
• Refine score: 0.31
• Original types: general
• Refine status: open

Comment

The displayed Higgs-field map omits the logarithmic divisor: for the Deligne canonical extension, its target is $(F^{i-1}\bar E_\star/F^i\bar E_\star)\otimes\Omega_C^1(\log D)=(F^{i-1}\bar E_\star/F^i\bar E_\star)\otimes\omega_C(D)$, not the corresponding tensor product with $\omega_C$. As displayed, the map is not generally the one induced by the logarithmic connection, although the argument is restored by using the logarithmic target.

Quoted passage

Let $i$ be maximal such that $F^{i} \bar{E}_{\star}$ is non-zero. Since $\bar{E}_{\star}$ is semistable, it follows from Corollary 4.1.8 that the natural map

$$ F^{i} \bar{E}_{\star} \rightarrow F^{i-1} \bar{E}_{\star} / F^{i} \bar{E}_{\star} \otimes \omega_{C} $$

induced by the connection is zero, i.e. the connection preserves $F^{i} \bar{E}_{\star}$. By irreducibility of the monodromy of $(E, \nabla)$, we must have that $F^{i} \bar{E}_{\star}$ equals $\bar{E}_{\star}$.

11. “General” does not match Corollary 1.2.7

• ID: 4ccc8f36-c736-4911-a5e3-edcefc8f3c06
• Refine score: 0.28
• Original types: general
• Refine status: open

Comment

The opening of the proof assumes an analytically general curve and $g\geq1$, while Corollary 1.2.7 and Theorem 1.2.5 use an analytically very general curve and include hyperbolic genus-zero pointed curves. Thus the written proof does not formally cover the full stated corollary, even though the same argument appears applicable under the stated hypotheses.

Quoted passage

Proof of Corollary 1.2.7. Let $g \geq 1$ be an integer and let $\left(C, x_{1}, \cdots, x_{n}\right)$ be an analytically general hyperbolic $n$-pointed curve of genus $g$. Let $U \subset C \backslash\left\{x_{1}, \cdots, x_{n}\right\}$ be a dense Zariski-open subset. Let $f: Y \rightarrow U$ be a smooth proper morphism, $i \geq 0$ an integer, and suppose $\mathbb{V}$ is a complex local system on $\left(C, x_{1}, \cdots, x_{n}\right)$ with infinite monodromy such that $\left.\mathbb{V}\right|_{U}$ is a summand of $R^{i} f_{*} \mathbb{C}$. Then we wish to show that $\operatorname{dim}_{\mathbb{C}} \mathbb{V} \geq 2 \sqrt{g+1}$.

12. Arithmetic descent of the geometric summand needs support

• ID: 58335ee2-11af-4f76-985d-f3805f65e853
• Refine score: 0.48
• Original types: general
• Refine status: open

Comment

The arithmetic descent step needs justification. Although standard semisimple representation theory should provide a number field $K$ and a stable $\mathscr{O}_K$-lattice for the abstract summand, the ambient $\mathbb Z$-structure alone does not make an arbitrary complex projector number-field-valued. One must also explain why every conjugate $\mathbb W_\iota$ occurs as a summand of $R^if_*\mathbb C$, as required to apply Theorem 1.2.5.

Quoted passage

It suffices to show that $\mathbb{V}$ satisfies the hypotheses of Theorem 1.2.5. The existence of an $\mathscr{O}_{K}$-structure follows from the fact that $R^{i} f_{*} \mathbb{C}$ has a $\mathbb{Z}$-structure. Let $\mathbb{W}$ be the corresponding $\mathscr{O}_{K}$-local system. All that remains is to verify that for each embedding $\iota: \mathscr{O}_{K} \hookrightarrow \mathbb{C}$, the corresponding complex local system $\mathbb{W}_{\iota}:=\mathbb{W} \otimes_{\mathscr{O}_{K}, \iota} \mathbb{C}$ underlies a polarizable complex variation of Hodge structure. But each such embedding yields a summand $\left.\mathbb{W}_{\iota}\right|_{U}$ of $R^{i} f_{*} \mathbb{C}$, Galois-conjugate to the original embedding $\left.\left.\mathbb{W}\right|_{U} \subset \mathbb{V}\right|_{U} \subset R^{i} f_{*} \mathbb{C}$.

Scope

• Paper: 03 Published and Submitted Work/Published/P05_Landesman_Litt_Geometric_Local_Systems_Isomonodromy.pdf
• Refine report: .refine/results/Published/P05_Landesman_Litt_Geometric_Local_Systems_Isomonodromy.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: local published PDF, Journal of the American Mathematical Society 37 (2024), 683-729
• Detailed Refine comments assessed: 12
• Assessment date: 2026-07-30

The local PDF is authoritative. Pages 19, 35, 39, and 41 were also rendered and visually inspected to distinguish genuine notation from extraction artifacts.

Summary

No comment remains at I3 or higher after the required reconstruction.

1. Corollary 1.2.8 needs “non-isotrivial” for curve families

Comment ID: 095b1400-4b72-46cc-81bb-cb2ee01e5aea Location: PDF p. 3, Corollary 1.2.8; compare its proof on PDF p. 41.

The second assertion ranges over every relative smooth proper curve. A constant family of any fixed genus is an immediate counterexample when the base genus is large. The proof already establishes the intended statement: a low-genus family is isotrivial, by passing to its Jacobian and using Torelli.

• Classification: V4 / C5 / I2
• Dependency trace: the proof, the abelian-scheme assertion, and the later use for nonconstant maps remain valid
• Repair: insert “non-isotrivial” before “relative smooth proper curve”
• Disposition: R2 / D3; P2 / HIGH

2. Unitary monodromy is a representation of the punctured curve

Comment ID: 2c471a6c-03ca-4fc8-a4f6-aa959c360cf4 Location: PDF p. 4, paragraph before Theorem 1.2.13.

For a logarithmic connection with singularities at \(D=\{x_1,\ldots,x_n\}\), monodromy is defined on \(\pi_1(C-D)\). It factors through \(\pi_1(C)\) only if all local monodromies are trivial. Lemma 7.1.1 and the rest of Section 7 use the punctured group correctly.

• Classification: V4 / C1 with meaning_changing_typo / I2
• Repair: replace \(\pi_1(C)\) by \(\pi_1(C-\{x_1,\ldots,x_n\})\)
• Dependency trace: no proof changes
• Disposition: R2 / D3; P2 / HIGH

3. Compactness requires a discrete subgroup, not an arbitrary subset

Comment ID: 47fbac02-ac74-4682-bbb8-151825e64a82 Location: PDF p. 4, paragraph before Theorem 1.2.13; compare Lemma 7.2.1 on PDF pp. 39-40.

An infinite subset such as \(\{1/n:n\geq1\}\) is discrete in its subspace topology and relatively compact. The application is instead to the diagonal arithmetic monodromy image, which is a subgroup, is discrete because \(\mathcal O_K\) embeds discretely in the product of its archimedean completions, and has compact closure by unitarity. A discrete subgroup of a compact group is finite.

• Classification: V4 / C5 / I2
• Repair: replace “a discrete subset” by “a subgroup that is discrete and has compact closure”
• Dependency trace: Lemma 7.2.1 states and proves the correct argument, so the main results are unaffected
• Disposition: R1 / D3; P2 / HIGH

4. Corollary 1.3.3 suppresses a standard finite-locus argument

Comment ID: 736c3928-ea55-43ef-b9fc-a0c365a7d1bf Location: PDF pp. 4-5, proof of Corollary 1.3.3.

Write the semisimple local system as a finite sum of irreducible factors and extend each factor isomonodromically over a small irreducible deformation base \(\Delta\). Each underlying bundle has degree zero. For each factor \(a\), let \(Z_a\subset\Delta\) be its non-semistable locus; \(Z_a\) is closed analytic. If all factors were semistable at \(t\), their degree-zero direct sum would be semistable, contradicting Theorem 1.3.2. Thus \(\Delta=\bigcup_a Z_a\). A finite union of proper closed analytic subsets cannot cover irreducible \(\Delta\), so some fixed \(Z_a=\Delta\).

• Classification: V4 / C3 / E2
• Severity challenge: Q1; the quantifier exchange is justified by the standard closed-locus argument above
• Impact: I1; the corollary is correct
• Repair: optionally add the two-sentence finite-union argument
• Disposition: R1 / D1; P3 / HIGH

5. The positive-direction summaries omit irreducibility

Comment ID: ab9c9860-17e7-437f-875a-a598695f8c5d Location: PDF p. 1, Section 1.1, and PDF p. 5, paragraph before Theorem 1.3.4.

Theorem 6.1.1 and Theorem 1.3.4 assume irreducible monodromy. The nearby summary instead says “any logarithmic flat vector bundle,” and the paragraph before Theorem 1.3.4 says “any semisimple flat vector bundle.” In the punctured case, applying the theorem to irreducible summands does not recover ordinary semistability of their direct sum: the canonical extensions can have different ordinary degrees and slopes. Canonical parabolic semistability is a narrower possible salvage, because those summands have parabolic degree zero.

• Classification: V4 / C9 / I2
• Repair: say “with irreducible monodromy,” or explicitly restrict the semisimple formulation to the canonical parabolic structure
• Dependency trace: the theorem statements and proofs have the correct irreducibility hypothesis
• Disposition: R2 / D3; P2 / HIGH

6. The Hodge-piece sentence is an acceptable proof overview

Comment ID: 426812b8-a9f1-4049-bb34-9e73b511b64d Location: PDF p. 7, Section 1.5; detailed proof on PDF p. 39.

Semistability alone does not literally collapse an arbitrary Hodge filtration. The omitted reduction is nevertheless standard and is written out in the proof of Lemma 7.1.1: Proposition 4.1.4 decomposes the semisimple variation into irreducible factors, the top Hodge piece of each factor is flat, and irreducibility forces that piece to equal the whole factor. Section 1.5 is explicitly only an “Idea of proof.”

• Classification: V3 / C3 / E1
• Severity challenge: Q1; the detailed proof supplies exactly the allegedly missing reduction
• Impact: I0
• Repair/disposition: R0 / D0; P4 / HIGH

7. Definition 3.5.2 should explicitly say “isomorphism classes”

Comment ID: 3bf69da9-772c-490a-9883-742b6b5ad984 Location: PDF p. 19, Definition 3.5.2.

The standard meaning of a deformation functor to Set is the set of isomorphism classes of marked deformations. Under a literal raw-tuple reading, Proposition 3.5.3 would not give a bijection with \(H^1\). The citation to the standard deformation-theory result and the subsequent uses make the intended convention unambiguous.

• Classification: V4 / C4 / I1
• Repair: write “the set of isomorphism classes of flat deformations”
• Dependency trace: no deformation calculation changes
• Disposition: R1 / D1; P3 / HIGH

8. Definition 3.5.4 should repeat the flag conditions

Comment ID: cb5bfbd1-6c98-44dd-b002-bcd7dcb811fd Location: PDF p. 19, Definition 3.5.4.

The opening phrase “flat deformations of \((C,D,E_\star,P^\bullet)\)” imports the quasiparabolic flag type, but the following tuple-level expansion says only that the \(\mathscr E_j^i\) are subbundles. It should explicitly require nested flags on each marked section with the fixed ranks. Proposition 3.5.5 and its citations concern that intended, narrower deformation problem.

• Classification: V4 / C4 / I1
• Repair: add the nestedness, prescribed-rank, and special-fiber compatibility conditions to the expanded definition
• Dependency trace: the cohomological classification already uses the intended flag-preserving Atiyah bundle
• Disposition: R1 / D1; P3 / HIGH

9. The first target in the Proposition 6.4.4 diagram chase is a quotient

Comment ID: ea4990c7-d078-4ee7-9c9e-0cac050bb9ba Location: PDF p. 35, proof of Proposition 6.4.4.

The rendered page says that Lemma 6.4.2 makes

vanish on \(H^1\). Lemma 6.4.2 actually concerns the composite into

The next display and the remainder of the diagram chase use this quotient correctly.

• Classification: V4 / C1 with meaning_changing_typo / I2
• Repair: insert the quotient in the erroneous sentence
• Dependency trace: the proof's actual composite and all later surjections are correct
• Disposition: R1 / D3; P2 / HIGH

10. The Higgs-field target must be logarithmic

Comment ID: e4fbb2a4-f961-4557-bd2f-c63a1dddd577 Location: PDF p. 39, proof of Lemma 7.1.1.

The rendered display has target

but the Deligne canonical extension has a logarithmic connection, so the target is the tensor product with \(\Omega_C^1(\log D)=\omega_C(D)\). Corollary 4.1.8, which the proof invokes, is stated for that logarithmic Higgs map.

• Classification: V4 / C1 with meaning_changing_typo / I2
• Repair: replace \(\omega_C\) by \(\omega_C(D)\)
• Dependency trace: the cited corollary then proves the intended vanishing and Lemma 7.1.1 remains valid
• Disposition: R1 / D3; P2 / HIGH

11. The proof of Corollary 1.2.7 starts with the wrong generality

Comment ID: 4ccc8f36-c736-4911-a5e3-edcefc8f3c06 Location: PDF pp. 40-41, proof of Corollary 1.2.7.

The proof begins with an “analytically general” curve of genus \(g\geq1\), while the corollary and Theorem 1.2.5 use “analytically very general” and allow hyperbolic genus-zero pointed curves. The argument should start with the stated very-general hypothesis. When \(g=0\), the claimed lower bound is \(\dim V\geq1\), which is automatic for a nonzero local system.

• Classification: V4 / C5 / I2
• Repair: change “general” to “very general” and dispatch \(g=0\) in one sentence before assuming \(g\geq1\)
• Dependency trace: with these local changes, Theorem 1.2.5 applies exactly as written and the full corollary follows
• Disposition: R2 / D3; P2 / HIGH

12. Arithmetic descent of the geometric summand is standard but nontrivial

Comment ID: 58335ee2-11af-4f76-985d-f3805f65e853 Location: PDF pp. 40-41, proof of Corollary 1.2.7.

The ambient integral Gauss-Manin local system does not make an arbitrary chosen complex projector visibly number-field-valued. The required result nevertheless follows from semisimple representation theory.

Reconstruction

Let \(\Gamma=\pi_1(U)\) and let \(H_{\mathbb Z}=R^if_\ast\mathbb Z\) modulo torsion. Its complexification is semisimple. The finite-dimensional semisimple algebra generated by \(\Gamma\), together with its commutant, has a finite splitting field \(K\). The multiplicity profile defining the abstract summand \(\mathbb V|_U\) can therefore be represented by a \(\Gamma\)-equivariant idempotent

After enlarging \(K\) if necessary, the image of a scaled ambient \(\mathcal O_K\)-lattice gives a stable lattice \(\mathbb W\) in \(\operatorname{im}(e)\). For every embedding \(\iota:K\hookrightarrow\mathbb C\), the conjugate idempotent \(e^\iota\) still commutes with the integral monodromy matrices, so \(\mathbb W_\iota|_U\) is a direct summand of \(R^if_\ast\mathbb C\). Proposition 4.1.4(2) gives it a polarizable complex variation of Hodge structure, and Schmid's cited extension result carries that structure across the smaller puncture set.

• Classification: V4 / C3 / E3
• Severity challenge: Q1; the descent, lattice, and all conjugate summands have been reconstructed, so no gap remains
• Impact: I1
• Repair: add the idempotent-descent sentence or cite the standard semisimple representation descent lemma
• Disposition: R1 / D1; P3 / HIGH

Action queue

1. Add living-errata entries for comments 1-3, 5, and 9-11.
2. Treat comments 4, 7, 8, and 12 as optional expository edits.
3. Dismiss comment 6 after retaining its audit trail.

Report metadata

Refine summary

This paper solves Prill's problem in algebraic geometry, which asks about the existence of specific finite covers of curves. The authors construct a finite étale degree 36 connected cover for any curve of genus 2, demonstrating that Prill exceptional covers do exist.

Overall feedback

Geometric connectedness

There is a requirement to make the connectedness of the topological covering explicit. The abstract promises a connected degree-36 cover, and Notation 2.2 posits geometrically connected fibers. However, Proposition 2.4 establishes the degrees and étaleness of the successive normalizations and fiber products without verifying geometric connectedness. Neither normalization nor finite étaleness precludes these spaces from disconnecting. Because passing to a connected component would inherently alter the target degree of 36, readers will need a fiberwise function-field or monodromy argument to prove the connectedness of $\mathscr{C}_1, \mathscr{C}_2$, and $\mathscr{X}$, and to subsequently promote this to geometric connectedness across the relative family.

Parameter-space construction

There are structural assumptions in the parameter-space construction that require further formalization to support the scheme and surjectivity claims. As written, the $S_6$-cover $\mathscr{M}' \to \mathscr{M}_2$ ordering the Weierstrass points retains the hyperelliptic involution as a stabilizer. If $\mathscr{M}_2$ is intended to be the moduli stack carrying the universal curve, $\mathscr{M}'$ is not itself a scheme, contrary to the opening claim in Proposition 2.4. Moreover, the protocol of replacing a space by "a Zariski-open cover" preserves global surjectivity only if the new base is deliberately identified as the disjoint union of opens covering the preceding base, rather than an open restriction. To justify the cotangent-space identification used in Proposition 2.3 and formally represent every genus-2 curve, the argument must either uniformly utilize Deligne-Mumford stacks or introduce an explicit surjective étale scheme atlas alongside rigidifying level structures, tracking each localization step as a surjective étale refinement.

Relative Jacobian category

The specification of the asserted isotrivial isogeny factor must be established formally within the corresponding relative Jacobian category. The constructed $\mathscr{E}_0$ operates as a family of genus-one curves without a displayed section, preventing it from functioning literally as the claimed abelian-scheme isogeny factor of $\text{Pic}^0(\mathscr{X}/\mathscr{M})$. The dominant map $\mathscr{X} \to \mathscr{E}_0$ naturally induces a pullback $\text{Pic}^0(\mathscr{E}_0/\mathscr{M}) \to \text{Pic}^0(\mathscr{X}/\mathscr{M})$; verifying this role requires definitively establishing a finite kernel and characterizing its image as an isogeny factor. Similarly, while the Hesse-pencil argument demonstrates the geometric fibers of $\mathscr{E}_0$ are isomorphic, the core hypothesis connecting Proposition 2.4 to Proposition 2.3 mandates that the associated relative Jacobian, or rational Hodge structure, becomes constant following an allowed base change.

Hodge-theoretic matchings

Readers will require an exact mapping between the Hodge-theoretic objects in Proposition 2.3 and the cited fundamental results. The proof defines $\mathbb{V}$ as $R^1\pi'_*\mathbb{Q}$ on $\mathscr{M}$ but invokes LL22b, specifically Theorem 5.1.6 and Lemma A.1.8, using the local system $h_*\mathbb{Q}$ on $\mathscr{Y}$. Reconciling these statements requires establishing the finite-Leray identification $R^1\pi_*(h_*\mathbb{Q}) \cong R^1\pi'_*\mathbb{Q}$ and matching the necessary Kodaira-Spencer and Higgs maps. Additionally, transitioning directly from an isotrivial isogeny factor to a sub-$\mathbb{Q}$-variation of Hodge structure skips a step: a factor initially obtained as a quotient needs a polarization or semisimplicity argument to produce the claimed subvariation strictly. A precise lemma aligning these objects and hypotheses with LL22b would confirm that the Higgs-field kernel is properly represented by the trace-pairing morphism $q_\eta$, thereby securing the bridge between the geometric construction and the failure of generic global generation.

Detailed comments

1. Degree claim in Remark 1.3 is too broad

• ID: a25df513-e2e0-4f1d-9d21-4d395ca8bd13
• Refine score: 0.22
• Original types: general
• Refine status: open

Comment

The claim of obtaining covers “of arbitrary degree” is too broad if it means every prescribed degree. The construction described here produces composites of degree $36n$, so it establishes Prill exceptional covers of arbitrarily large degree, or of degrees divisible by $36$, rather than of every degree.

Quoted passage

Remark 1.3. If $\psi: X^{\prime} \rightarrow Y$ is a finite cover such that $\psi$ factors through a Prill exceptional cover $f: X \rightarrow Y$, then $\psi$ is also Prill exceptional, as there is an injection $H^{0}\left(X, \mathscr{O}\left(f^{-1}(y)\right)\right) \rightarrow$ $H^{0}\left(X^{\prime}, \mathscr{O}\left(g^{-1}(y)\right)\right)$. Thus Theorem 1.2 can be used to construct Prill exceptional covers of arbitrary degree, by composing with an arbitrary map $X^{\prime} \rightarrow X$.

2. Connectedness of the constructed covers is unverified

• ID: 1f35f3b8-5243-4236-8fc2-d4933edf9b59
• Refine score: 0.48
• Original types: general
• Refine status: open

Comment

The proof establishes finite étaleness of the successive fiber-product covers but does not establish that the resulting fibers of $\mathscr X\to\mathscr M$ are geometrically connected. Finite étaleness alone does not exclude splitting, whereas Notation 2.2 and Lemma 2.1 require connected source curves. A connectedness argument for the resulting degree-$36$ cover is therefore still needed.

Quoted passage

The next several steps in the proof construct a sequence of three finite étale covers of $\mathscr{Y}$, the last of which maps to an isotrivial elliptic curve $\mathscr{E}_{0}$, as in Figure 1. Let $\mathscr{C}_{1}$ be the normalization of the fiber product $\mathscr{Y} \times_{\mathbb{P}} \mathscr{E}$. We claim that $\mathscr{C}_{1}$ is finite étale over $\mathscr{Y}$. To see this, observe that $\mathscr{Y} \rightarrow \mathbb{P}$ is branched to order 2 at every point in the branch locus of the map $\phi: \mathscr{E} \rightarrow \mathbb{P}$ obtained by pulling back $p^{\prime}$. Therefore, $\mathscr{C}_{1} \rightarrow \mathscr{Y}$ is finite étale by a relative version of Abhyankar's lemma [GR71, Exposeé XIII, Proposition 5.5].

Next, define $\mathscr{C}_{2}:=\mathscr{C}_{1} \times_{\mathscr{E},[\times 3]} \mathscr{E}$, where the map $[\times 3]: \mathscr{E} \rightarrow \mathscr{E}$ is multiplication by 3 on the relative elliptic curve, and where we use $t_{5}$ as the identity section of the elliptic curve $\mathscr{E}$. Because $[\times 3]$ is finite étale, $\mathscr{C}_{2}$ is finite étale over $\mathscr{C}_{1}$, hence over $\mathscr{Y}$.

3. Degree of the final cover in Proposition 2.4

• ID: 2db56f48-b698-49da-bfd2-5ae91ebb2b2a
• Refine score: 0.24
• Original types: general
• Refine status: open

Comment

The sentence assigns degree 36 to the wrong map. The final map $\mathscr{X}\to\mathscr{C}_2$ has degree 2, while the composite $h:\mathscr{X}\to\mathscr{Y}$ has degree $2\cdot 9\cdot 2=36$.

Quoted passage

Then, $\mathscr{X}$, defined as the normalization of $\mathscr{E}_{0} \times_{\mathbb{P}\left(q_{*} \mathscr{O}_{\mathscr{E}}\left(2 t_{5}\right)\right)} \mathscr{C}_{2}$, has a dominant map to $\mathscr{E}_{0}$. To conclude the proof, it is enough to show that $\mathscr{E}_{0}$ is isotrivial and $\mathscr{X} \rightarrow \mathscr{C}_{2}$ is finite étale of degree 36. Indeed, since $\mathscr{X} \rightarrow \mathscr{E}_{0}$ is a surjective map, $\operatorname{Pic}_{\mathscr{X} / \mathscr{M}}^{0}$ has $\mathscr{E}_{0}$ as an isogeny factor, which we will show to be isotrivial.

First, $h$ is a composite of three maps of degrees 2, 9, and 2, so $h$ has degree 36.

Scope

• Paper: 03 Published and Submitted Work/Published/P06_Landesman_Litt_Prills_Problem.pdf
• Refine report: .refine/results/Published/P06_Landesman_Litt_Prills_Problem.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: the local published PDF
• Detailed Refine comments assessed: 3
• Assessment date: 2026-07-30

This is a provisional first-pass classification for author review. It assesses the three individually anchored comments in feedback.detailed.comments; the broader unanchored topics in feedback.overall are not included here.

Summary

1. Degree claim in Remark 1.3 is too broad

Comment ID. a25df513-e2e0-4f1d-9d21-4d395ca8bd13

Location. Printed page 291, Remark 1.3.

Precise allegation. The phrase “covers of arbitrary degree” may assert existence in every prescribed degree, while the displayed construction starts with a degree-36 cover and composition with a degree-\(n\) map gives degree \(36n\).

Assessment. V3, not V4. The comment identifies a genuine ambiguity, but it treats one possible reading as the only reading. In ordinary mathematical usage, “of arbitrary degree” can also mean that degrees are unbounded or can be made arbitrarily large. Under that reading the sentence is true. The sentence would nevertheless be more precise if it stated exactly what this construction gives.

• Primary category: C9 claim calibration or interpretation
• Secondary tags: ambiguous, scope
• Standardness: E-NA
• Impact: I1 editorial/cosmetic
• Dependency trace: no theorem or later proof depends on this remark
• Repairability: R1
• Disposition: D1
• Priority: P3
• Confidence: HIGH

Suggested correction.

Thus Theorem 1.2 can be used to construct Prill exceptional covers of arbitrarily large degree (in particular, of every degree divisible by 36), by composing with a suitable map \(X'\to X\).

If the intended claim really was “every positive degree,” then the Refine comment should instead be upgraded to V4/I2; the present proof does not establish that reading.

2. Connectedness of the constructed covers is unverified

Comment ID. 1f35f3b8-5243-4236-8fc2-d4933edf9b59

Location. Printed pages 293–294, proof of Proposition 2.4.

Precise allegation. The proof shows that \(\mathscr C_1\to\mathscr Y\), \(\mathscr C_2\to\mathscr C_1\), and \(\mathscr X\to\mathscr C_2\) are finite étale, but does not prove that the fibers of \(\mathscr X\to\mathscr M\) are geometrically connected. Notation 2.2, Lemma 2.1, Proposition 2.4, the theorem proof, and the abstract require connectedness.

Assessment. V3. The literal observation is correct: finite étaleness does not imply connectedness, and the local paper does not spell out a connectedness argument for the three fiber products. The comment overstates the consequence, however. The construction supplies the required connectedness by standard branched-double-cover and square-class arguments that are reasonable to leave to the intended expert reader.

Connectedness is an explicit input to the Hodge-theoretic setup and is part of the advertised “connected degree-36 cover,” so the omission initially triggered the rubric's mandatory severity challenge. The following reconstruction verifies that the implicit argument is sound.

Connectedness reconstruction

Fix a geometric point of \(\mathscr M\) and write \(0=t_5\) for the chosen identity of \(E\).

1. \(C_1\) is connected. The map \(C_1\to E\) is a double cover. The two original double covers \(Y\to\mathbb P^1\) and \(E\to\mathbb P^1\) have different branch divisors: the former is branched at \(s_1,\ldots,s_6\), while the latter is branched at \(s_1,\ldots,s_4\). After normalization, \(C_1\to E\) is branched at the four points of \(E\) over \(s_5\) and \(s_6\). A degree-2 cover with nonempty branch divisor cannot split, so \(C_1\) is connected.

1. \(C_2\) is connected. Viewed over the second copy of \(E\), \(C_2=C_1\times_{E,[3]}E\) is the pullback of the preceding double cover along the étale map \([3]\). Its branch divisor is therefore the nonempty inverse image under \([3]\) of the branch divisor of \(C_1\to E\). Thus \(C_2\to E\) is again a branched double cover and cannot split. In particular, the fact that \(C_2\to C_1\) is étale of degree 9 causes no connectedness problem.

1. \(X\) is connected. Put \(P'= \mathbb P(q_*\mathscr O_E(2t_5))\). On function fields, write \[ \mathbb C(E_0)=\mathbb C(P')(\sqrt b),\qquad \mathbb C(C_2)=\mathbb C(E)(\sqrt c). \] After pulling the first quadratic extension back to \(E\), the odd valuations of \(b\) occur at \(E[3]\setminus\{0\}\), because \(E_0\to P'\) is branched over \(D=\alpha(E[3]\setminus\{0\})\). The odd valuations of \(c\) include all of \(E[3]\), because \(C_1\to E\) is branched at \(t_5=0\) and \(C_2\) is its pullback along \([3]\).

If the normalized fiber product defining \(X\) were disconnected, then \(b\) would become a square in \(\mathbb C(E)(\sqrt c)\). For a quadratic extension this can happen only if either \(b\) or \(b/c\) is already a square in \(\mathbb C(E)\): expanding \((u+v\sqrt c)^2=b\) forces \(u=0\) or \(v=0\). The first possibility is excluded because \(b\) has odd valuation at the nonzero 3-torsion points. The second is excluded at \(0\), where \(b\) has even valuation but \(c\) has odd valuation. Hence the compositum is a field and \(X\) is connected.

The construction uses disjoint branch sections and \([3]\) is étale, so the same argument applies to every geometric fiber. Thus \(\mathscr X\to\mathscr M\) has geometrically connected fibers. The three successive degrees remain \(2\), \(9\), and \(2\), so \(h\) still has degree 36.

As an internal cross-check, the repository's P08_Landesman_Litt_Introduction_Putman_Wieland.pdf, Theorem 6.8, independently describes the relevant intermediate construction as a geometrically connected degree-36 cover obtained from maps of degrees \(2\), \(9\), and \(2\). That statement confirms the intended conclusion; the argument above supplies the missing verification in the paper under review.

Severity-challenge result

• Status: Q1 standard omission verified
• Failure tests: splitting of \(C_1\) and \(C_2\) is ruled out by their nonempty branch divisors; splitting of \(X\) is ruled out by the square-class test at the identity and nonzero 3-torsion
• Residual uncertainty: none affecting correctness; the only judgment call is whether an explanatory sentence would help readers

The issue is therefore an optional expository improvement, not a mathematical error.

• Primary category: C3 clarity or elaboration
• Secondary tags: verified_implicit_argument, definition_dependency
• Standardness: E2; the argument is standard and safe, though a sentence may help readers
• Impact: I1 expository
• Dependency trace: Proposition 2.4 \(\rightarrow\) Proposition 2.3 and Lemma 2.1 \(\rightarrow\) Theorem 1.2, but the reconstructed argument validates the required connectedness without changing any statement
• Repairability: R1
• Disposition: D1; no errata entry is warranted
• Priority: P3
• Confidence: HIGH
• Coauthor review: not required

Optional edit. Add one sentence after the finite-étaleness checks noting that the covers are connected: the first two are branched double covers over the relevant copy of \(E\), and the final square class remains nontrivial after pullback. The longer verification above need not appear in the paper.

3. Degree of the final cover in Proposition 2.4

Comment ID. 2db56f48-b698-49da-bfd2-5ae91ebb2b2a

Location. Printed page 294, proof of Proposition 2.4.

Precise allegation. The sentence says that \(\mathscr X\to\mathscr C_2\) has degree 36, but this map is the pullback of a double cover and has degree 2. The composite \(h:\mathscr X\to\mathscr Y\) has degree \(2\cdot9\cdot2=36\).

Assessment. V4. The next sentence in the paper itself gives the correct degree calculation, so the error is localized and does not propagate into the main result.

• Primary category: C1 typo or production error
• Secondary tag: meaning_changing_typo
• Standardness: E-NA
• Impact: I2 minor error
• Dependency trace: the false local sentence is immediately superseded by the correct calculation of \(\deg h=36\); no downstream argument uses \(\deg(\mathscr X/\mathscr C_2)=36\)
• Repairability: R2
• Disposition: D3, because the published text contains a reader-relevant mathematical misstatement
• Priority: P2
• Confidence: HIGH

Suggested correction.

Replace

\(\mathscr X\to\mathscr C_2\) is finite étale of degree 36

with

\(\mathscr X\to\mathscr C_2\) is finite étale of degree 2

while retaining the following sentence that the composite \(h\) has degree 36.

Author decisions to record

1. Whether “arbitrary degree” was intended to mean “arbitrarily large degree.”
2. Whether to add the optional one-sentence connectedness explanation to a maintained version.
3. Whether the degree typo should be the first entry in a living errata document.

Report metadata

Refine summary

This paper presents two applications of prior work toward the Putman-Wieland conjecture. It strengthens a result by Marković-Tošić on virtual mapping class group actions and proves that counterexamples to the Putman-Wieland conjecture in genus at least 2 cannot be isotypic.

Overall feedback

The non-Galois quantitative bound

Theorem 1.6 and Proposition 1.8 make claims concerning arbitrary finite covers. However, Lemma 5.5—the step establishing that such covers are Prill exceptional—begins by assuming the cover is Galois, leaving the non-Galois case unaddressed. Passing to a Galois closure yields nongeneration for an isotypic component of the closure, but the document does not establish that this component actually occurs in the permutation summand defining the original cover, which is required prior to invoking Lemma 5.4. Completing this argument requires tracking the fixed class into a representation occurring in the original direct image, explicitly pointing to an external proof for the non-Galois bound, or otherwise restricting the scope of the claims.

The genus-two equality case in Theorem 4.1

In Theorem 4.1, the assertion in the equality case that the Clifford bound forces $U = E \otimes \omega_C$ requires further theoretical support. This claim is incompatible with the immediately preceding equality $rk(E) = 2 rk(U)$, since equality of slopes does not automatically imply equality of bundles. Furthermore, the displayed claim $h^0(E \otimes \omega_C) = 2 rk(U)$ requires a vanishing property such as $h^0(E^\vee) = 0$, which does not directly follow from the stated semistability hypothesis of the theorem. In Section 4.2, the text states that Theorem 4.1 yields only $g \le 2$, whereas the stated conclusion should rule out vanishing for every $g \ge 2$. Until the equality case is proved under the available hypotheses—or Theorem 4.1 is narrowed—Theorems 1.11 and 1.12 remain unestablished in genus two.

Local residue maps in Lemma 3.2

The proof of Lemma 3.2 states that semisimplicity makes the zero generalized eigenspace "identically 0." This creates a complication, as for trivial local monodromy, that eigenspace is the entire fiber. The proof also identifies the kernel of the full logarithmic-form residue/evaluation map to $E|_D$ with the elementary modification $\ker(E \to E_x/E_x^2)$, although the latter removes only the monodromy-invariant quotient. Because Lemma 3.2 serves as the bridge from punctured cohomology to the weight-one Hodge piece used in Proposition 3.4 and Section 4.2, the argument requires a correct local-monodromy decomposition and the precise exact sequence whose kernel is $H^0(\bar{E}_0 \otimes \omega_C(D))$.

Saturation of subsheaves in Theorem 4.1

A technical condition surrounding Proposition 2.3 warrants attention. In the proof of Theorem 4.1, $U$ and $V$ are defined as images of evaluation maps—globally generated subsheaves—and then used directly as the subbundles required by Proposition 2.3. Because such image subsheaves need not be saturated, their quotients can have torsion, making the proposition formally inapplicable as currently written. Passing to their saturations resolves this, provided the argument verifies that the global-section and $\delta$ terms used to obtain $rk(E) \ge g c_U$ and $rk(E) \ge g c_V$ remain unchanged in the process.

Metric and Laplacian normalizations

Theorem 1.6 defines $\lambda_1(X)$ without specifying a metric or Laplacian convention. The numerical factor in Section 5.10 depends heavily on these choices. Using the standard curvature $-1$ hyperbolic metric and the usual Laplace–Beltrami operator, the expected relation $\lambda_1(X)\text{Area}(X) \le 8\pi \text{gon}(X)$ gives $\text{gon}(X) \ge \lambda_1(X)(g'-1)/2$, which differs from the displayed $\text{gon}(X) \ge 2\lambda_1(X)(g'-1)$. A different normalization may recover the constant presented in the paper, but this convention must be stated explicitly and reconciled with reference [7], the Riemann–Hurwitz formula, and the claimed factor-of-two improvement over Marković–Tošić.

Detailed comments

1. Metric underlying λ₁ in Theorem 1.6 is unspecified

• ID: b9ca98bc-819d-484f-b511-841b32283612
• Refine score: 0.32
• Original types: general
• Refine status: open

Comment

The definition of $\lambda_1(X)$ does not specify the metric or Laplacian normalization, although the numerical inequalities depend on both. Moreover, under the standard Li–Yau convention $\lambda_1(X)\operatorname{area}(X)\leq 8\pi\operatorname{gon}(X)$, the later bound $\operatorname{gon}(X)\geq 2\lambda_1(X)(g'-1)$ corresponds to a constant-curvature $-1/4$ metric rather than the curvature-$-1$ metric. The precise convention underlying Theorem 1.6 therefore needs to be identified.

Quoted passage

Here is the slight improvement on [14, Theorem 1.5], which we will prove in Subsection 5.10. We let $\lambda_{1}(X)$ denote the smallest nonzero eigenvalue of the Laplacian acting on $L^{2}$ functions on $X$.

Theorem 1.6. Suppose $Y$ has genus $g \geqslant 2$ and $f: X \rightarrow Y$ furnishes a counterexample to Putman-Wieland. Then $\frac{1}{g-1} \geqslant 2 \lambda_{1}(X)$. If $f$ is Galois, then $\frac{1}{g-1}>2 \lambda_{1}(X)$.

2. Stability hypothesis conflicts in Proposition 2.3

• ID: e740c9f6-726a-4968-98d5-bf21d643a9f7
• Refine score: 0.36
• Original types: general
• Refine status: open

Comment

Proposition 2.3 assumes parabolic semistability, whereas Remark 2.4 describes its comparison with the cited result using stability and coparabolic stability. As written, the remark does not justify the semistable version subsequently used in Theorem 4.1; the intended stability condition should therefore be made consistent.

Quoted passage

Proposition 2.3 [9, Proposition 6.3.6]. Suppose $C$ is a smooth proper connected genus $g$ curve and $E_{\star}=\left(E,\left\{E_{j}^{i}\right\},\left\{\alpha_{j}^{i}\right\}\right)$ is a nonzero parabolic bundle $C$ with respect to $D=x_{1}+\cdots+x_{n}$. Suppose $E_{\star}$ is parabolically semistable. Let $U \subset \widehat{E}_{0}$ be a (nonparabolic) subbundle with $c:=\operatorname{rk} E-\operatorname{rk} U$ and $\delta:=h^{0}\left(C, \widehat{E}_{0}\right)-h^{0}(C, U)$.

(I) If $\mu_{\star}\left(E_{\star}\right)>2 g-2+n$, then $\operatorname{rk} E>g c-\delta$. (II) If $\mu_{\star}\left(E_{\star}\right)=2 g-2+n$, then $\operatorname{rk} E \geqslant g c-\delta$.

In particular, if $\widehat{E}_{0}$ fails to be generically globally generated, and $\mu_{\star}\left(E_{\star}\right) \geqslant 2 g-2+n, \operatorname{rk} E \geqslant g$. Remark 2.4. The statement of Proposition 2.3 is equivalent to [9, Proposition 6.3.6], but differs slightly in that we write " $E_{\star}$ is parabolically stable" in place of " $\widehat{E}_{\star}$ is coparabolically stable" and $\mu_{\star}\left(E_{\star}\right)$ in place of $\mu_{\star}\left(\widehat{E}_{\star}\right)$. However, by definition $E_{\star}$ is parabolically stable if and only if $\widehat{E}_{\star}$ is coparabolically stable and $\mu_{\star}\left(E_{\star}\right)=\mu_{\star}\left(\widehat{E}_{\star}\right)$ [9, Definitions 2.2.9 and 2.4.2]. Finally, the final "In particular,..." statement is an immediate consequence of (II).

3. Mehta–Seshadri correspondence is stated too broadly

• ID: 6596d22a-5876-4993-9d39-340c8d10ad7a
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

Notation 2.5 states the Mehta–Seshadri correspondence too broadly: the representation side requires irreducible unitary representations, not arbitrary irreducible complex representations of $\pi_1(Y-D)$. The finite-image representation used to define $E_\star^\rho$ is unitarizable, so the construction and subsequent arguments remain valid.

Quoted passage

Notation 2.5. Let $Y$ be a curve and $D \subset Y$ a divisor. Recall that under the Mehta-Seshadri correspondence [13], there is a bijection between irreducible representations of $\pi_{1}(Y-D)$ and parabolic degree 0 stable parabolic vector bundles on $Y$, with parabolic structure along $D$. Given an irreducible $H$ representation $\rho$, we use $E_{\star}^{\rho}$ to denote the parabolic bundle corresponding to the representation $\pi_{1}(Y-D) \simeq \pi_{1}\left(\Sigma_{g, n}\right) \xrightarrow{\phi} H \xrightarrow{\rho} \operatorname{GL}_{\operatorname{dim} \rho}(\mathbb{C})$.

4. Residue-kernel identification in Lemma 3.2

• ID: 7a3018db-8a49-45cf-bbe4-afd2e4b421ea
• Refine score: 0.45
• Original types: general
• Refine status: open

Comment

The proof of Lemma 3.2 conflates the connection residue with the boundary residue of an $E$-valued logarithmic form. Semisimplicity implies that the connection residue vanishes on its zero eigenspace, not that this eigenspace vanishes; moreover, $\ker(E_{x_j}\to E_{x_j}/E_j^2)=E_j^2$ is the nonzero-eigenvalue part. The claimed identification is valid only for the logarithmic-form residue after projection to the zero-eigenvalue quotient, and that projected map must also replace or qualify the displayed residue map to the full fiber.

Quoted passage

For any $j \in J$, by definition of the Deligne canonical extension, $E_{j}^{2}$ is the sum of the generalized eigenspaces of the residue map at $x_{j}$ with nonzero eigenvalue, as described in [9, Definition 3.3.1]. Because the 0-generalized eigenspace at $x_{j}$ is semisimple by assumption that the monodromy of $\mathbb{V}$ is unitary, it is identically 0. Hence, $\operatorname{ker}(E \rightarrow$ $\left.E_{x_{j}} / E_{j}^{2}\right)$ is the kernel of the residue map at $x_{j}$. It follows that $\widehat{E}_{0}:=\operatorname{ker}\left(E \rightarrow \oplus_{j \in J} E_{x_{j}} / E_{j}^{2}\right)$ is the kernel of the residue map along $D$, and the analogous statement holds for $E$ replaced by $E \otimes \omega_{C}(D)$. $\square$

5. The isotypic fixed-part step needs complexification

• ID: 88e742e8-ebbd-4cd6-845e-9b96c8662fb6
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

The final isotypic step is formally incomplete. Because $\rho$ is a complex representation, its isotypic component must be taken after complexifying the rational fixed part $V$. Moreover, finite orbit for every vector yields a common finite-index subgroup fixing the whole component only after intersecting the stabilizers of a basis; the asserted vanishing of $\bar\nabla_m^\rho$ then follows after the corresponding further finite étale base change.

Quoted passage

Finally, if $f$ is $\rho$-isotypic, this means that $V$ contains all of $W^{1}\left(R^{1}\left(\widetilde{f}^{\circ} \circ \pi^{\circ}\right)_{*} \mathbb{Q}\right)^{\rho}$, and hence $\bar{\nabla}_{m}^{\rho}$ vanishes. $\square$

For the next statement, recall that a vector bundle $V$ on an integral variety $X$ is generically globally generated if the evaluation map $H^{0}(X, V) \otimes \mathscr{O}_{X} \rightarrow V$ is a surjection over the generic point of $X$.

6. Proposition 3.4, Lemma 3.3, and Lemma 5.5 lack the needed Galois setup

• ID: c6bbf690-c346-404a-b575-1d56b7f8bafd
• Refine score: 0.76
• Original types: general
• Refine status: open

Comment

Proposition 3.4 is not well-defined under its stated hypothesis: a counterexample need not be Galois, whereas $H$, $\rho$, and $E^\rho$ are introduced only for a Galois $H$-cover, and the proof assumes a versal family of such covers. This issue originates in Lemma 3.3, which applies only when $f$ is a Galois $H$-cover (since Definition 2.8 requires this of every fiber). This gap propagates to Lemma 5.5 (whose proof explicitly assumes $f$ is Galois, although the statement covers arbitrary finite covers) and the non-Galois parts of Proposition 1.8 and Theorem 1.6; reducing to a Galois closure would also require explaining that the finite-orbit class survives under pullback and showing that the relevant representation occurs in the permutation summand (i.e., $f_*\mathscr O_X$) associated with the original cover, as Prill exceptionality need not descend without this argument.

Quoted passage

For the next statement, recall that a vector bundle $V$ on an integral variety $X$ is generically globally generated if the evaluation map $H^{0}(X, V) \otimes \mathscr{O}_{X} \rightarrow V$ is a surjection over the generic point of $X$. Recall also that for $\rho$ an $H$-representation and $X \rightarrow Y$ a Galois $H$-cover, the associated map $\pi_{1}(Y) \rightarrow H \xrightarrow{\rho} \mathrm{GL}_{\operatorname{dim} \rho}(\mathbb{C})$ yields a parabolic vector bundle $E_{\star}^{\rho}$ on $Y$ with underlying vector bundle $E^{\rho}:=E_{0}^{\rho}$ under the Mehta-Seshadri correspondence, as in Notation 2.5.

Proposition 3.4. Suppose $f: X \rightarrow Y$ furnishes a counterexample to Putman-Wieland. Then there exists an irreducible $H$-representation $\rho$ so that the vector bundle $\left(E^{\rho}\right)^{\vee} \otimes \omega_{Y}$ on $Y$ is not generically globally generated.

7. Boggi & Looijenga (2021) has been retracted

• ID: 0b937e70-144f-49f5-9cb4-c1cdaf08c008
• Refine score: 0.78
• Original types: external_references
• Refine status: open

Comment

The cited work has been retracted. Under the evaluation rules, any reference to a retracted work must be flagged as a defect, even though the citing sentence correctly notes the retraction. The publisher marked the work: 'RETRACTED ARTICLE: Curves with prescribed symmetry and associated representations of mapping class groups'.

Quoted passage

In Corollary 4.3, we use this to show how a result from the retracted paper of Boggi-Looijenga [2] would imply the Putman-Wieland conjecture.

8. The genus-two equality argument skips key dimensions

• ID: 476bef52-1a6f-4e6a-9ec6-702b3a27b8a7
• Refine score: 0.49
• Original types: general
• Refine status: open

Comment

The genus-two equality case is not fully justified as written. The rank equalities alone do not give $h^0(C,U)=2\operatorname{rk}U$ or $h^1(C,U)=\operatorname{rk}U$. These dimensions can plausibly be recovered by combining Riemann–Roch with semistability and the relevant Clifford inequality, but that chain also has to establish $\deg U=2\operatorname{rk}U$ before computing $h^1(C,U)$. Moreover, the conclusion $U=E\otimes\omega_C$ requires the cited equality-case rigidity, since a proper subbundle of a semistable bundle can have the same slope as the ambient bundle.

Quoted passage

To conclude, we also rule out the case $g=2$. If $g=2$, we must have equality in (4.2), which forces $\operatorname{rk} E=2 c_{U}$. This means we have equality in Proposition 2.3(II), which is proved in [9, Proposition 6.3.6]. If equality holds, we also have equality in [9, Lemma 6.2.3], which means $\mu\left(\widehat{E}_{0} \otimes\right.$ $\left.\omega_{C}(D)\right)=2 g-2$ (where we are taking the bundle named $V$ in [9, Lemma 6.2.3] to be $\widehat{E}_{0} \otimes \omega_{C}(D)$ ). This means $E_{\star}$ has trivial parabolic structure at each parabolic point, so $\widehat{E}_{0} \otimes \omega_{C}(D)=E \otimes \omega_{C}$. If we had $\operatorname{rk} E=2 c_{U}$, we would have $H^{0}\left(C, E \otimes \omega_{C}\right)=H^{0}(C, U)$, which means $h^{0}(C, U)=2 \operatorname{rk} U$ and so $h^{1}(C, U)=\operatorname{rk} U$. By Clifford's theorem for vector bundles, as in [9, Lemma 6.2.3], this can only happen when $\mu(U)=2 g-2$, in which case we would have $U=E \otimes \omega_{C}$.

9. Genus conclusion in Subsection 4.2 is off by one

• ID: fd301107-32e1-447d-9b52-fc3792abc330
• Refine score: 0.35
• Original types: general
• Refine status: open

Comment

The genus bound at the end of the argument is incorrect: Theorem 4.1 rules out the displayed vanishing for every $g\geq 2$, so the conclusion is $g\leq 1$, not $g\leq 2$. With this correction, the argument covers genus two and completes the proofs of Theorems 1.12 and 1.11.

Quoted passage

$$ H^{0}\left(Y, \widehat{E}_{0}^{\rho} \otimes \omega_{Y}(D)\right) \otimes H^{0}\left(Y,\left(E_{0}^{\rho}\right)^{\vee} \otimes \omega_{Y}\right) \rightarrow H^{0}\left(Y, \omega_{Y}^{\otimes 2}(D)\right) $$

also vanishes. Using Theorem 4.1, this implies $g \leqslant 2$. Theorem 1.11 is immediate, as representations with finite image are unitary. $\square$

10. Lemma 5.4 needs a positive-genus hypothesis

• ID: 786f244d-b6be-4d2b-a08e-7ddf901d431a
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

Lemma 5.4 is false without assuming $g(Y)>0$. When $Y\simeq\mathbb{P}^1$, the trivial summand alone contributes two sections to each fiber divisor, so Prill exceptionality need not yield a nontrivial representation satisfying (2). For example, a hyperelliptic double cover of $\mathbb{P}^1$ with positive-genus source satisfies (1) but not (2) or (3).

Quoted passage

Definition 5.3. A finite cover $f: X \rightarrow Y$ of smooth proper geometrically connected curves is Prill exceptional if $h^{0}\left(X, \mathscr{O}_{X}\left(f^{-1}(y)\right)\right) \geqslant 2$ for every point $y \in Y$.

Lemma 5.4. Let $f: X \rightarrow Y$ be a finite cover of smooth proper connected curves whose Galois closure has Galois group H. The following are equivalent.

(1) The map $f$ is Prill exceptional. (2) There is some irreducible nontrivial $H$-representation $\rho$ for which the associated vector bundle $E^{\rho}:=E_{0}^{\rho}$ as in Subsection 2.5 is a summand of $f_{*} \mathscr{O}_{X}$ and $h^{0}\left(Y, E^{\rho}(p)\right)>0$ for a general $p \in Y$. (3) For the same $\rho$ as in the previous part, $\left(E^{\rho}\right)^{\vee} \otimes \omega_{Y}$ is not generically globally generated.

Scope

• Paper: 03 Published and Submitted Work/Published/P07_Landesman_Litt_Applications_Putman_Wieland.pdf
• Refine report: .refine/results/Published/P07_Landesman_Litt_Applications_Putman_Wieland.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: the local published PDF
• Detailed Refine comments assessed: 10
• Assessment date: 2026-07-30

The local PDF is the authority for the text under review. The cited Boggi–Looijenga retraction was also checked against the publisher’s record. The most substantial proof omission was independently challenged and admits a bounded repair that preserves the stated results.

Summary

1. The metric defining \(\lambda_1\) is unspecified

Comment ID. b9ca98bc-819d-484f-b511-841b32283612

Location. Printed pages 117 and 132, Theorem 1.6 and its proof.

Assessment. V4. A Riemann surface does not determine an unnormalized Laplacian. The proof uses

Under the usual Li–Yau inequality \(\lambda_1(X)\operatorname{area}(X)\leq8\pi\operatorname{gon}(X)\), this displayed constant corresponds to the constant-curvature \(-1/4\) metric, whose area is \(16\pi(g'-1)\). With the curvature-\(-1\) metric the right side would instead be \(\lambda_1(X)(g'-1)/2\). The intended statement is recoverable by declaring the metric; the proof then needs no other change.

• Primary category: C4 notation or definition
• Secondary tags: metric_normalization, main_theorem_statement
• Impact: I2
• Dependency trace: the definition feeds Theorem 1.6 and Remark 1.7; specifying curvature \(-1/4\) preserves the printed constants and all deductions
• Repairability: R2
• Disposition: D3
• Priority: P1
• Confidence: HIGH

Suggested correction. Define \(\lambda_1(X)\) using the hyperbolic metric of constant curvature \(-1/4\), and state the corresponding area normalization in Subsection 5.10.

2. Proposition 2.3 and Remark 2.4 disagree on semistability

Comment ID. e740c9f6-726a-4968-98d5-bf21d643a9f7

Location. Printed page 121, Proposition 2.3 and Remark 2.4.

Assessment. V4. Visual inspection confirms that Proposition 2.3 assumes “parabolically semistable,” while Remark 2.4 twice says “stable.” The repository’s local source for [9], Proposition 6.3.6, assumes that the coparabolic bundle is coparabolically semistable. Thus the proposition has the intended hypothesis and the remark contains a stable/semistable transcription error.

• Primary category: C1 typo or production error
• Secondary tags: stable_semistable, hypothesis_mismatch
• Impact: I2; the explanatory equivalence is false as printed, but the proposition and its later use are valid with “semistable”
• Repairability: R2
• Disposition: D3
• Priority: P2
• Confidence: HIGH

Suggested correction. Replace both occurrences of “stable” in Remark 2.4 by “semistable.”

3. Mehta–Seshadri is stated too broadly

Comment ID. 6596d22a-5876-4993-9d39-340c8d10ad7a

Location. Printed page 121, Notation 2.5.

Assessment. V4. The page’s preceding background paragraph correctly states the correspondence for irreducible unitary local systems, but Notation 2.5 drops “unitary” and thereby asserts a false correspondence for arbitrary irreducible complex representations. The finite-group representation actually used in the definition is unitarizable, so the construction and all later applications remain valid.

• Primary category: C5 hypothesis, quantifier, or scope
• Secondary tags: unitarity, definition_scope
• Impact: I2
• Dependency trace: every \(H\)-representation used later has finite image and admits an invariant Hermitian form
• Repairability: R2
• Disposition: D3
• Priority: P2
• Confidence: HIGH

Suggested correction. Say “irreducible unitary representations,” and add that a representation of the finite group \(H\) is unitarized by averaging a Hermitian form.

4. Lemma 3.2 confuses the connection residue with the boundary residue

Comment ID. 7a3018db-8a49-45cf-bbe4-afd2e4b421ea

Location. Printed pages 123–124, proof of Lemma 3.2.

Assessment. V4. The sentence saying that the semisimple zero generalized eigenspace “is identically 0” is false: semisimplicity says that the generalized zero eigenspace equals the zero eigenspace and that the nilpotent part vanishes. Moreover,

is the elementary transform that kills the zero-eigenvalue quotient, not the kernel of the endomorphism \(\operatorname{Res}_{x_j}\nabla:E_{x_j}\to E_{x_j}\). The displayed description of \(W_1\cap F^1\) is recovered by taking the residue of an \(E\)-valued logarithmic form and then projecting that boundary value to \(E_{x_j}/E_j^2\).

• Primary category: C6 mathematical or logical correctness
• Secondary tags: residue_projection, false_statement
• Impact: I2; Lemma 3.2’s intended conclusion and the later Hodge-filtration formulas survive the corrected residue map
• Repairability: R2
• Disposition: D3
• Priority: P2
• Confidence: HIGH

Suggested correction. Replace the target of the residue map by \(\bigoplus_{j\in J}E_{x_j}/E_j^2\), say that the zero generalized eigenspace is semisimple, and delete “it is identically 0.”

5. The isotypic fixed-part step needs two routine qualifications

Comment ID. 88e742e8-ebbd-4cd6-845e-9b96c8662fb6

Location. Printed page 125, final paragraph of Lemma 3.3.

Assessment. V4, but this is a verified standard omission rather than a minor error. The fixed part \(V\) is rational, so the complex \(\rho\)-isotypic component belongs to \(V\otimes_{\mathbb Q}\mathbb C\), not literally to \(V\). Also, the definition gives a finite orbit for each vector. Choose a finite basis of the finite-dimensional isotypic component and intersect the finite-index stabilizers of its basis vectors. The resulting finite-index subgroup fixes the whole component, and the corresponding finite étale base change puts it in the fixed part. Hence \(\bar\nabla_m^\rho=0\).

Severity-challenge result

• Status: Q1 standard omission verified
• Standardness: E2
• Failure tests: the intersection is finite because only finitely many basis stabilizers are used; the action is defined over \(\mathbb Q\), so its complex fixed space is the complexification of the rational fixed space
• Dependency trace: Lemma 3.3 and its later isotypic use remain unchanged
• Residual uncertainty: none

The appropriate classification is therefore I1/R1/D1, not I2.

Optional edit. Replace \(V\) by \(V\otimes_{\mathbb Q}\mathbb C\) in the last sentence and mention the further finite étale base change obtained by intersecting the stabilizers of a basis.

6. The non-Galois case is absent from Proposition 3.4 and Lemma 5.5

Comment ID. c6bbf690-c346-404a-b575-1d56b7f8bafd

Location. Printed pages 124–125 and 130, Lemma 3.3, Proposition 3.4, and Lemma 5.5; downstream use in Proposition 1.8 and Theorem 1.6.

Assessment. V4. Proposition 3.4 is stated for an arbitrary cover, but its \(H\), \(\rho\), and \(E^\rho\) are defined only after choosing a Galois \(H\)-cover. Lemma 3.3 likewise asks for a versal family in the sense of Definition 2.8, whose fibers are Galois \(H\)-covers. Lemma 5.5 is stated for arbitrary covers, while its proof begins by assuming that \(f\) is Galois. This is a real omitted case in the proof of the non-Galois parts of Proposition 1.8 and Theorem 1.6.

Reconstruction and strongest repair

Let \(X'\xrightarrow{h}X\xrightarrow{f}Y\) be the Galois closure, with Galois group \(H\), and write \(X=X'/K\).

1. Pullback on cohomology is injective: the trace identity \(h_*h^*=(\deg h)\operatorname{id}\) shows that a nonzero finite-orbit class \(v\in H^1(X,\mathbb C)\) remains nonzero in \(H^1(X',\mathbb C)\).
2. After passing to a finite-index mapping-class subgroup preserving the cover, its Galois core, and \(v\), the pullback \(h^*v\) is fixed and belongs to \(H^1(X',\mathbb C)^K\).
3. Decompose \(h^*v\) into \(H\)-isotypic components. The projections commute with \(K\), so some nonzero component lies in \((H^1(X',\mathbb C)^\rho)^K\). Consequently \(\rho^K\ne0\).
4. By Frobenius reciprocity, \(\rho^K\ne0\) is precisely the condition that \(\rho\) occur in the permutation representation \(\mathbb C[H/K]\). Therefore the associated \(E^\rho\) occurs in \(f_*\mathscr O_X\), not only in \((f\circ h)_*\mathscr O_{X'}\).
5. Apply the fixed-part and period-map argument of Lemma 3.3 to this particular \(\rho\). It produces the required nonzero kernel and shows that \((E^\rho)^\vee\otimes\omega_Y\) is not generically globally generated. Lemma 5.4 then implies that the original non-Galois cover \(f\) is Prill exceptional. The proofs of Proposition 1.8 and Theorem 1.6 continue as written.

Failure tests

• Branched \(h\) causes no failure: trace still proves injectivity on the cohomology of compact curves.
• Passing to a smaller finite-index mapping-class subgroup preserves finite orbit and permits simultaneous preservation of the Galois closure.
• Choosing an arbitrary isotypic component of the Galois closure would not be enough; retaining the \(K\)-invariance of \(h^*v\) is what forces occurrence in \(f_*\mathscr O_X\).
• The genus-zero defect in Lemma 5.4 is irrelevant to Theorem 1.6, whose base has genus at least two.

Severity-challenge result

• Status: Q2 bounded repair independently verified
• Impact: I2; the omission is genuine, but the Galois-closure reduction preserves every advertised result without changing a theorem statement
• Repairability: R2
• Disposition: D3
• Priority: P1
• Confidence: HIGH
• Coauthor review: advisable, not required by the rubric

The independent challenge checked the equivariance and representation-theoretic points. Central \(H\)-isotypic projectors commute with the subgroup \(K\); \((\rho^\vee)^K\ne0\) is exactly the multiplicity condition in \(\mathbb C[H/K]\); and the trivial representation cannot be the only surviving component because it comes from \(H^1(Y)\), which has no nonzero vector fixed by a finite-index mapping-class subgroup (and is zero in genus zero). Thus the repair is local to the proof architecture even though it requires a substantial paragraph.

7. The retracted reference is already handled correctly

Comment ID. 0b937e70-144f-49f5-9cb4-c1cdaf08c008

Location. Printed pages 119 and 128, Corollary 4.3 and Remark 4.4; reference [2] on printed page 133.

Assessment. V0 as an allegation of a defect. The factual premise is true: the publisher marks the Boggi–Looijenga article as retracted, and the formal notice says that Lemmas 1.6 and 1.8 are incomplete and that the authors no longer trust Theorem 1.1. See the Springer retraction notice and the publisher’s original-article record.

But the paper under review does not rely on the retracted result. It calls the paper retracted in the introduction, states Corollary 4.3 conditionally (“Suppose [2, Theorem B(i)] were true”), and identifies the fatal proof problem in Remark 4.4. Citing a retracted work for a clearly labeled conditional and historical discussion is not itself an error.

• Primary category: C7 citation, attribution, or prior art
• Secondary tags: retracted_citation, already_disclosed, conditional_claim
• Impact: I0
• Repairability: R0
• Disposition: D0
• Priority: P4
• Confidence: HIGH

An optional bibliography update could cite the 2024 formal retraction notice, but it is not required to cure the Refine allegation.

8. The genus-two equality argument needs a corrected endpoint

Comment ID. 476bef52-1a6f-4e6a-9ec6-702b3a27b8a7

Location. Printed page 127, final paragraph of the proof of Theorem 4.1.

Assessment. V3. The comment is right that the printed equality argument skips several equality conditions and that semistability alone does not imply that a same-slope subbundle equals the ambient bundle. It understates a more visible problem: the paper concludes \(U=E\otimes\omega_C\) while the same paragraph assumes \(\operatorname{rk}E=2c_U=2\operatorname{rk}U\), so those two bundles cannot have equal rank.

Local repair

For every application in Subsection 4.2, \(E_\star=E^\rho_\star\) comes from an irreducible unitary representation and is parabolically stable, not merely semistable. State Theorem 4.1 with “stable.” In the genus-two equality case, the equality chain in Proposition 2.3 and the proof of [9, Lemma 6.2.3] gives

It also forces trivial parabolic structure, so \(\widehat E_0\otimes\omega_C(D)=E\otimes\omega_C\). Hence \(U\otimes\omega_C^{-1}\) is a proper subbundle of the stable degree-zero bundle \(E\) with the same slope zero, a contradiction. This avoids the false claim \(U=E\otimes\omega_C\) and proves the stable version needed downstream.

Severity-challenge result

• Status: Q2 local repair verified
• Failure test: the repair would fail for a merely semistable \(E\), because a proper same-slope subbundle is then possible; this is why the theorem’s hypothesis must be narrowed
• Dependency trace: the \(E^\rho_\star\) used in Theorems 1.11 and 1.12 is stable by Mehta–Seshadri, so both advertised theorems remain unchanged
• Impact: I2
• Repairability: R2
• Disposition: D3
• Priority: P1
• Confidence: HIGH

Suggested correction. Change “semistable” to “stable” in Theorem 4.1 and replace the last four sentences of its proof by the same-slope contradiction above. A stronger semistable version would require an additional equality-case argument and is not needed by the paper.

9. The conclusion \(g\leq2\) is off by one

Comment ID. fd301107-32e1-447d-9b52-fc3792abc330

Location. Printed page 128, proof of Theorems 1.11 and 1.12.

Assessment. V4. Theorem 4.1 says that the displayed pairing cannot vanish when \(g\geq2\). Its vanishing therefore implies \(g<2\), equivalently \(g\leq1\), not \(g\leq2\). The correction is immediate and supplies exactly the bound required for Theorem 1.11.

• Primary category: C1 typo or production error
• Secondary tags: off_by_one, main_theorem_proof
• Impact: I2; the printed inference is insufficient, but the cited preceding theorem gives the stronger bound directly
• Repairability: R2
• Disposition: D3
• Priority: P1
• Confidence: HIGH

Suggested correction. Replace \(g\leq2\) by \(g\leq1\), both in the setup paragraph on printed page 127 and in the proof on printed page 128.

10. Lemma 5.4 needs positive genus

Comment ID. 786f244d-b6be-4d2b-a08e-7ddf901d431a

Location. Printed pages 129–130, Lemma 5.4.

Assessment. V4. If \(Y=\mathbb P^1\), the trivial summand of \(f_*\mathscr O_X\) contributes \(h^0(\mathbb P^1,\mathscr O(1))=2\), so every finite cover satisfies condition (1) of Prill exceptionality. For a positive-genus hyperelliptic double cover, the nontrivial summand is \(\mathscr O_{\mathbb P^1}(-g'-1)\), whose twist by a point has no section. Thus conditions (2) and (3) fail, giving the stated counterexample.

• Primary category: C5 hypothesis, quantifier, or scope
• Secondary tags: missing_hypothesis, genus_zero_counterexample
• Impact: I2
• Dependency trace: the paper applies Lemma 5.4 to bases of genus at least two, so Proposition 1.8 and Theorem 1.6 are unaffected
• Repairability: R2
• Disposition: D3
• Priority: P2
• Confidence: HIGH

Suggested correction. Add \(g(Y)>0\) to Lemma 5.4. Alternatively, modify condition (1) in genus zero to require a section not pulled back from \(\mathscr O_{\mathbb P^1}(1)\).

Author decisions to record

1. Confirm the curvature-\(-1/4\) normalization intended for \(\lambda_1\).
2. Independently challenge the Galois-closure repair in comment 6 and decide whether it warrants a formal corrigendum.
3. Decide whether to state Theorem 4.1 only for stable parabolic bundles or to supply a separate proof of the stronger semistable version.
4. Add the 2024 formal retraction notice to the bibliography only if desired; the existing conditional discussion is already responsible and correct.

Report metadata

Refine summary

This paper provides an overview and new geometric perspectives on the authors' prior results regarding the Putman-Wieland conjecture in algebraic geometry. The authors demonstrate new constructions of "origami" counterexample curves in low genus and explain the failure of a hyperelliptic analogue of the conjecture.

Overall feedback

Here are a few observations and questions from a close reading of the manuscript.

The Clifford inequality step in Section 3

Section 3 provides a streamlined algebraic proof, but there is an apparent gap regarding the justification for the vector-bundle Clifford inequality. The argument requires a filtration with semistable factors of slopes in a prescribed interval. However, the text does not currently prove that the kernel $U$ of $E^\rho \otimes \omega_Y \to \omega_Y^{\otimes 2}$ satisfies the necessary lower-slope condition.

The semistability of the ambient bundle only supplies an upper bound. The displayed inequality $\mu(U) \le (2g-2)\text{rk}(U)$ seems to conflate slope with degree in this context. Because this is the load-bearing step that yields $\text{dim} \rho \ge g$ and underpins Theorem 3.2, it is necessary to either state and verify the precise hypotheses of [18, Proposition 6.3.1] or supply the missing Harder–Narasimhan argument.

Family-level hypotheses in Proposition 5.4

There is a structural mismatch between the setup in Notation 5.3 and the requirements of Proposition 5.4. Notation 5.3 defines a family of pointed curves $C \to M$. However, Proposition 5.4 and its proof rely on an $H$-cover family $X \to C$, a morphism $\pi'$, and an $H$-action, none of which appear in the preliminary setup.

Furthermore, Proposition 5.4 does not explicitly require $V^\rho \neq 0$. Without this condition, the representation-theoretic alternatives could hold vacuously without producing any finite-monodromy summand. In applications, Examples 5.10 and 5.11 construct individual covers from surjections $F_2 \to H$ but do not explain their spread over the finite étale stabilizer cover of $M_{1,1}$ necessary to apply the variation-of-Hodge-structure argument. Resolving this will require specifying an explicit connected family of $H$-covers and identifying the resulting nonzero rational polarizable subvariation.

Calculations for the origami constructions

The origami constructions in Examples 5.10 and 5.11 are positioned in the Introduction as the primary novelty of the paper, but their corresponding claims currently lack the derivations needed to support them. Example 5.10 asserts the dicyclic covers' genus is $2n-1$ and claims fixed-part dimensions of $n$ and $n-1$ depending on parity. Since these claims are what support the advertised arbitrarily large isotrivial factors and the bound in Question 5.14, the underlying calculations must be shown.

A similar situation occurs in Example 5.11, which relies on unshown properties concerning the order-32 group’s four-dimensional symplectic representation, its commutator character, Galois conjugacy, and Chevalley–Weil multiplicity. Recording the relevant generation, Riemann–Hurwitz, character-theoretic, multiplicity, and Jacobian-dimension calculations, rather than leaving them to direct verification, will properly ground these central claims.

The hyperelliptic problem and Proposition 6.7

The formulation in Proposition 6.7 does not directly negate the hyperelliptic problem as formalized in Definition 6.5. Definition 6.5 explicitly quantifies over characteristic finite-index subgroups $K$, meaning the full hyperelliptic mapping class group acts on the associated cover.

Conversely, Theorem 6.8 and the proof of Proposition 6.7 produce an arbitrary degree-36 cover only after finite étale base change. This yields an action by a finite-index subgroup of $\text{HMod}$ rather than a cover arising from a characteristic subgroup with a full $\text{HMod}$ action. As written, the paper does not establish the stated negative answer to $\text{HPW}_{g,n}$. Addressing this requires passing to a dominating characteristic cover, using pullback or transfer to preserve the relevant cohomology class, and demonstrating that stabilization by a finite-index subgroup results in a finite orbit under the full hyperelliptic mapping class group.

Detailed comments

1. Incorrect symplectic rank in subsection 1.4

• ID: ceef3aad-6b26-4e3f-809d-300e68a6dfca
• Refine score: 0.25
• Original types: general
• Refine status: open

Comment

The use of $\mathrm{Sp}_{2g}(\mathbb{Z})$ is dimensionally inconsistent with the displayed representation on $H_1(\Sigma_{g'},\mathbb{C})$. The relevant integral symplectic lattice has rank \$2g'$, so its ambient symplectic group is $\mathrm{Sp}_{2g'}(\mathbb{Z})$ in the usual notation.

Quoted passage

The Putman-Wieland conjecture [24] is implied by this philosophy. Indeed, if one strongly believes Slogan 1.6, one might imagine that the intersection form and $H$ action on the cover $\Sigma_{g^{\prime}}$ of Conjecture 1.1 are the only constraints on the (virtual) action of $\operatorname{Mod}_{g, 1}$, and so one might guess the image of the action of a finite index subgroup of $\operatorname{Mod}_{g, 1}$ on $H_{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right)$ is via a finite-index subgroup of the centralizer of $H$ in $\mathrm{Sp}_{2 g}(\mathbb{Z})$. The Putman-Wieland conjecture merely predicts this action has no non-zero vectors with finite orbit.

2. Clifford’s hypotheses on the kernel need support

• ID: 106d47f0-2eaf-44ae-bc3e-fb900d69b478
• Refine score: 0.29
• Original types: general
• Refine status: open

Comment

The direct corank-one calculation applies the quoted Clifford bound before verifying its slope hypothesis for $U$. That hypothesis is recoverable here: after twisting by $\omega_Y^{-1}$, the image is both a quotient of the degree-zero semistable bundle $E^{\rho}$ and a line subbundle of $\omega_Y$, which places the Harder–Narasimhan slopes of $U$ between $0$ and $2g-2$. As written, however, this verification is omitted from the promised spell-out.

Quoted passage

We now explain why the condition that $H^{0}(Y, U)=H^{0}\left(Y, E^{\rho} \otimes \omega_{Y}\right)$ leads to a contradiction. This is in tension with a version of Clifford's theorem for vector bundles, which says that if $U$ is a vector bundle which has a filtration by semistable bundles of slopes $\geqslant 0$ and $\leqslant 2 g$, then $h^{0}(Y, U) \leqslant \frac{\operatorname{deg} U}{2}+\operatorname{rk} U$ [18, Lemma 6.2.1]. This idea is used to prove (without too much difficulty) the more precise [18, Proposition 6.3.1] which tells us that such a $U$ can only exist when $\operatorname{dim} \rho=\operatorname{rk} E^{\rho} \geqslant g$. We now spell this proof out in the case $\operatorname{rk} U=\operatorname{rk} E^{\rho} \otimes \omega_{Y}-1$.

3. Slope and degree are conflated in Section 3

• ID: 158a93ec-3a13-4f63-849f-68cda9575064
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

The displayed consequence of semistability conflates slope and degree. It should be $\mu(U)\leq 2g-2$, equivalently $\deg U\leq(2g-2)\operatorname{rk}U$; the latter is the estimate actually used in the following calculation.

Quoted passage

We now spell this proof out in the case $\operatorname{rk} U=\operatorname{rk} E^{\rho} \otimes \omega_{Y}-1$. Note first that $\mu(U) \leqslant \mu\left(E^{\rho} \otimes \omega_{Y}\right)$ by semistability of $E^{\rho} \otimes \omega_{Y}$ and so $\mu(U) \leqslant(2 g-2) \operatorname{rk} U=(2 g-2)\left(\operatorname{rk} E^{\rho} \otimes \omega_{Y}-1\right)$. Riemann-Roch, Clifford's theorem, and the above observation together yield

4. Codimension gives an upper rank bound, not equality

• ID: 86318a90-11a5-4657-87b9-e005e79dc393
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

In Remark 3.1, the tangent-space argument appears to show only that the indicated map has rank at most $\delta$, because its image lies in the $\delta$-dimensional conormal space. Equality would require an additional surjectivity statement. Theorem 3.2 is likely unaffected, since a smaller rank represents stronger degeneracy, but the exact-rank assertion is unsupported as written.

Quoted passage

Remark 3.1 In fact the methods here can be used to prove a stronger statement, about families of curves that do not necessarily dominate $\mathcal{M}_{g}$. Indeed, let  be as in (3.1), except we now assume that the map $\mathcal{M} \rightarrow \mathcal{M}_{g}$ has image of codimension $\delta$; we assume $\mathcal{M} \rightarrow \mathcal{M}_{g}$ is étale onto its image. Arguing as above, we find that $H^{0}\left(E^{\rho} \otimes \omega_{Y}\right) \rightarrow H^{0}\left(\omega_{Y}^{\otimes 2}\right)$ has rank $\delta$, and so replacing the use of [18, Proposition 6.3.1] with [18, Proposition 6.3.6], we obtain:

5. Chevalley–Weil count omits the trivial summand

• ID: eb323ca7-6e50-477b-8be7-889d29cb2094
• Refine score: 0.24
• Original types: general
• Refine status: open

Comment

The stated Chevalley–Weil multiplicity is correct only for nontrivial $\rho$. For the trivial representation, $H^0(X,\omega_X)^H \cong H^0(Y,\omega_Y)$ has dimension $g$, not $g-1$, and no nontriviality assumption on $\rho$ has yet been imposed.

Quoted passage

Let us derive some consequences from this observation. To get a feeling for what is going on, we work out examples depending on the rank of $\rho$, so as to motivate the general case. Suppose $Y$ has genus $g$. By the Chevalley-Weil formula (see the original source [7] or the more expository [23, Theorem 2.1]), $H^{0}\left(X, \omega_{X}\right)^{\rho^{\vee}}$ is a direct sum of $(g-1) \cdot \operatorname{dim} \rho^{\vee}$ many copies of $\rho^{\vee}$, and so has dimension $(g-1) \cdot(\operatorname{dim} \rho)^{2}$.

6. Lemma 4.1 uses an unjustified single-copy factorization

• ID: 29c0b65a-16de-4c5b-8ac8-afa9157b8a8b
• Refine score: 0.36
• Original types: general
• Refine status: open

Comment

The proof of Lemma 4.1 does not justify the displayed factorization for the entire vector-valued map when the $\rho^\vee$-isotypic component has multiplicity greater than one. Equivariance permits independent contractions from the multiplicity space to $H^0(Y,\omega_Y^{\otimes 2})$. The rank bound nevertheless follows after fixing an individual quadric, which involves only one linear combination of the copies of $\rho^\vee$ and therefore has rank at most $2\dim\rho$.

Quoted passage

Proof Because the multiplication map is $H$-equivariant, any given map $\rho \otimes H^{0}\left(X, \omega_{X}\right) \rightarrow H^{0}\left(Y, \omega_{Y}^{\otimes 2}\right)$, where the target has the trivial $H$-action, must factor through a map

$$ \rho \otimes H^{0}\left(X, \omega_{X}\right)^{\rho^{\vee}} \rightarrow \rho \otimes \rho^{\vee} \rightarrow H^{0}\left(Y, \omega_{Y}^{\otimes 2}\right) $$

for $H^{0}\left(X, \omega_{X}\right)^{\rho^{\vee}} \rightarrow \rho^{\vee}$ an irreducible quotient representation isomorphic to the dual of $\rho$.

7. Remark 4.4’s rank-three quadric appears impossible

• ID: 461b529e-955e-4022-970c-be544a38c27d
• Refine score: 0.24
• Original types: general
• Refine status: open

Comment

Remark 4.4’s rank-three claim appears incorrect. In the two-dimensional orthogonally self-dual case, pairing the distinguished copy of $\rho$ with itself produces a rank-two quadric, while pairing it with an independent copy produces a rank-four quadric. Thus the stated ranks should be two and four, not three and four.

Quoted passage

To see that one of the quadrics will be 0 in the symplectically self-dual case, we use the fact that there there is an isomorphism $\rho \simeq \rho^{\vee}$ inducing an injection $\wedge^{2} \rho \rightarrow \rho \otimes \rho^{\vee} \simeq \rho \otimes \rho$, (using that we are in characteristic 0 to split the natural surjection) whose projection to Sym ${ }^{2} \rho$ vanishes. This induces the 0 quadric. When $\rho$ is not self-dual, we always obtain two quadrics of rank 4. When $\rho$ is symplectically self-dual, we obtain one quadric of rank 4, while when $\rho$ is orthogonally self-dual, we obtain one quadric of rank 4 and one quadric of rank 3.

8. Sect. 4.4 needs a non-self-duality hypothesis

• ID: dd56d267-38d6-4214-8aa2-f05eeccb7b40
• Refine score: 0.34
• Original types: general
• Refine status: open

Comment

The incidence construction in Sect. 4.4 tacitly assumes $\rho\not\simeq\rho^\vee$. For an orthogonally self-dual three-dimensional representation, the kernel copy of $\rho$ lies inside $H^0(X,\omega_X)^{\rho^\vee}$, so the asserted direct-sum ambient space and the resulting three incidence quadrics require the modifications acknowledged in Remark 4.4 and Sect. 4.5.

Quoted passage

We next consider the case $\operatorname{dim} \rho=3$ and $g=2$. In this subsection, we will explain how to show $E^{\rho} \otimes \omega_{Y}$ fails to be generically globally generated, which will not in general lead to a contradiction, but which motivates our arguments in Sect. 3, see Sect. 4.1. As in the dimension 2 case of Sect. 4.3, we obtain a variety cut out by three quadrics expressing the incidence between $\rho$ and $H^{0}\left(X, \omega_{X}\right)^{\rho^{\vee}} \simeq\left(\rho^{\vee}\right)^{\oplus 3}$. Viewing this as a subvariety of $\mathbb{P}\left(\rho \oplus\left(\rho^{\vee}\right)^{\oplus 3}\right)$ we find this degree 8, codimension 3 subvariety is the union of the codimension 3 plane $\rho=0$ and a certain degree 7 codimension 3

9. Sect. 4.4 omits the isotypic tensor factor

• ID: a91ab701-6c39-4f77-b0e2-149e32eddcff
• Refine score: 0.26
• Original types: general
• Refine status: open

Comment

The displayed target of $\iota$ omits the factor $\rho^\vee$: the relevant canonical subspace is $\rho^\vee\otimes\operatorname{Hom}_H(\rho^\vee,H^0(X,\omega_X))$, not the multiplicity space alone. This is a local notation error; the figure, preceding incidence construction, and subsequent evaluation-map argument use the correct isotypic component, so the broader conclusion is unaffected.

Quoted passage

The map $\iota: X \rightarrow \mathbb{P}\left(\rho \oplus \operatorname{Hom}_{H}\left(\rho^{\vee}, H^{0}\left(X, \omega_{X}\right)\right)\right)$ is induced by a sub-linear system of $\omega_{X}$. That is, $\mathcal{O}_{\mathbb{P}\left(\rho \oplus \operatorname{Hom}_{H}\left(\rho^{\vee}, H^{0}\left(X, \omega_{X}\right)\right)\right)}(1)$ pulls back to $\omega_{X}$, or a subsystem thereof if $\omega_{X}$ has basepoints in $\rho \oplus \operatorname{Hom}_{H}\left(\rho^{\vee}, H^{0}\left(X, \omega_{X}\right)\right) \subset H^{0}\left(\omega_{X}\right)$. Therefore, the above map $\iota$ is induced by a map of sheaves $H^{0}\left(X, \omega_{X}\right)^{\rho^{\vee}} \otimes \mathcal{O}_{X} \rightarrow \omega_{X}$. Since $\rho^{\vee} \otimes \operatorname{Hom}_{H}\left(\rho^{\vee}, H^{0}\left(X, \omega_{X}\right)\right) \simeq H^{0}\left(X, \omega_{X}\right)^{\rho^{\vee}}$, this also corresponds to a map $\rho^{\vee} \otimes \operatorname{Hom}_{H}\left(\rho^{\vee}, H^{0}\left(X, \omega_{X}\right)\right) \rightarrow \omega_{X}$ or equivalently $\psi: \operatorname{Hom}_{H}\left(\rho^{\vee}, H^{0}\left(X, \omega_{X}\right)\right)$ $\otimes \mathcal{O}_{X} \rightarrow \rho \otimes \omega_{X}$.

10. Proposition 5.4 lacks the versal-cover hypotheses

• ID: b5c5ebc9-2283-4a8a-993c-16dfa97cd0bd
• Refine score: 0.5
• Original types: general
• Refine status: open

Comment

Proposition 5.4 is missing essential setup: neither a family of $H$-covers $\mathcal{X}\to\mathcal{C}$ nor a versality or finite-index monodromy hypothesis is stated. Finite monodromy for $R^1\pi'_*\mathbb{Q}$ over an arbitrary base $\mathcal{M}$ only gives a finite orbit under $\pi_1(\mathcal{M})$; it does not imply a finite orbit under the full mapping-class-group stabilizer $\Gamma$ required by Definition 5.1 unless the image of $\pi_1(\mathcal{M})$ has finite index in $\Gamma$.

Quoted passage

Proposition 5.4 With notation as in Notation 5.3, let $m \in \mathcal{M}$ be a point. Let $X=\mathcal{X}_{m}$, $Y=\mathcal{C}_{m}$. Let $V=H^{1}(X, \mathbb{Q}) / H^{1}(Y, \mathbb{Q})$. Suppose that there exists an irreducible representation

$$ \rho: H \rightarrow \mathrm{GL}_{r}(\mathbb{Q}) $$

such that, letting $V^{\rho}$ denote the $\rho$-isotypic piece of $V, V^{\rho} \otimes \mathbb{C} \simeq \bigoplus_{i=1}^{s} \rho_{i}^{n_{i}}$ with $\rho_{1}, \ldots, \rho_{s}$ irreducible and pairwise distinct. Suppose that either:

(1) the Hodge decomposition of $V^{\rho} \otimes \mathbb{C}$ is an isotypic decomposition, i.e. there is a subset $S \subset\{1, \ldots, s\}$ so that $F^{1} V^{\rho} \otimes \mathbb{C} \simeq \bigoplus_{i \in S} \rho_{i}^{n_{i}}$, or (2) for every $i, \rho_{i}$ is symplectically self-dual, and $\rho_{i}$ appears with multiplicity at most 1 in $F^{1} V^{\rho} \otimes \mathbb{C}$.

Then $f: X \rightarrow Y$ furnishes a counterexample to Putman-Wieland.

11. Characteristic-cover gap in Section 6

• ID: bbda4895-1967-44a7-8557-81da32950251
• Refine score: 0.43
• Original types: general
• Refine status: open

Comment

The deduction from Proposition 6.7 to the failure of $\mathrm{HPW}_{g,n}$ omits the characteristic-refinement step. Definition 6.5 quantifies over covers associated to finite-index characteristic subgroups $K$, whereas Proposition 6.7 constructs a degree-$36$ cover stabilized by only a finite-index subgroup of $\operatorname{HMod}_{g,n+1}$. The argument must pass from the subgroup $K_0$ defining that cover to a finite-index characteristic subgroup $K\subset K_0$, use pullback and Poincaré duality to carry the finite-orbit class to the resulting characteristic cover, and then use the finite index of the stabilizer to obtain a finite orbit under the full hyperelliptic mapping class group. This standard refinement preserves the map to the fixed elliptic curve and hence the constant isogeny factor. The notation should also make explicit that $h$ is the cover associated to $K$.

Quoted passage

Definition 6.5 In the setup of Definition 2.2, let $\mathrm{HPW}_{g, n}$ be the statement that for every finite index characteristic subgroup $K \subset \pi_{1}\left(\Sigma_{g, n}, v_{0}\right)$, there are no non-zero vectors $v \in V_{h}:=H_{1}\left(\Sigma_{g^{\prime}}, \mathbb{C}\right)$ with finite orbit under the action of $\operatorname{HMod}_{g, n+1}$.

Problem 6.6 (Hyperelliptic Putman-Wieland problem, cf. [4, Problem 3.4]) Suppose $g \geqslant 2, n \geqslant 0$. Does $\operatorname{HPW}_{g, n}$ hold?

12. Lemma 6.10 needs a rational fixed subsystem

• ID: cb3623a5-e28c-4a52-991b-33337151c1e1
• Refine score: 0.38
• Original types: general
• Refine status: open

Comment

Lemma 6.10 improperly treats an arbitrary trivial complex sub-local system $\mathbb{W}$ as a sub-variation of Hodge structure with an ambient-compatible integral lattice. The fixed-part theorem applies instead to the rational monodromy-invariant subsystem; its intersection with integral cohomology supplies the lattice needed to construct the constant abelian factor. The claimed equivalence remains valid after this passage.

Quoted passage

We conclude by demonstrating $\left(2^{\prime}\right) \Longrightarrow\left(3^{\prime}\right)$. Suppose we begin with a trivial sublocal system of $\mathbb{W} \subset R^{1} \phi_{*} \mathbb{C}$, the theorem of the fixed part [8, Corollaire 4.1.2] implies that $\mathbb{W}$ is also a variation of Hodge structure. Let $\mathbb{W}_{\mathbb{Z}} \subset \mathbb{W}$ denote the trivial $\mathbb{Z}$ local system on $\mathcal{M}$ for which $\mathbb{W}_{\mathbb{Z}} \otimes_{\mathbb{Z}} \mathbb{C} \simeq \mathbb{W}$.

13. arXiv:2110.13534v3 resolves to the wrong Boggi work

• ID: bfd52c9f-0ff3-400a-87dc-cadc337b6006
• Refine score: 0.78
• Original types: external_references
• Refine status: open

Comment

The supplied identifier does not support the citation as written. arXiv:2110.13534v3 resolves to Boggi’s “Notes on hyperelliptic mapping class groups,” submitted as version 3 on February 21, 2023; it is not “Linear representations of hyperelliptic mapping class groups” and it does not contain the cited Remark 3.17. The intended source appears to be arXiv:1903.04007v3, “Linear representations of hyperelliptic mapping class groups.” Remark 3.17 of that version expressly acknowledges a problem with the proof of Lemma 3.14 in the earlier paper. The bibliography should therefore replace arXiv:2110.13534v3 with arXiv:1903.04007v3.

Quoted passage

Remark 6.11 Proposition 6.7 was originally claimed in [3]; unfortunately the proof there was incorrect (see [4, Remark 3.17]).

Scope

• Paper: 03 Published and Submitted Work/Published/P08_Landesman_Litt_Introduction_Putman_Wieland.pdf
• Refine report: .refine/results/Published/P08_Landesman_Litt_Introduction_Putman_Wieland.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: the local published PDF
• Detailed Refine comments assessed: 13
• Assessment date: 2026-07-30

The unanchored topics in feedback.overall were used as context but were not silently converted into additional assessment rows.

Summary

No comment remains at I3 or above after the required reconstructions.

1. Incorrect symplectic rank in subsection 1.4

Comment ID: ceef3aad-6b26-4e3f-809d-300e68a6dfca Location: PDF pages 3-4, subsection 1.4.

The representation under discussion is on \(H_1(\Sigma_{g'},\mathbb C)\), whose integral symplectic lattice has rank \(2g'\). The ambient group is therefore \(\operatorname{Sp}_{2g'}(\mathbb Z)\), not \(\operatorname{Sp}_{2g}(\mathbb Z)\).

• Validity: V4
• Category: C1; tag meaning_changing_typo
• Impact: I2; the motivational sentence is mathematically wrong as printed, but no theorem uses the incorrect rank
• Repair: R2, replace \(2g\) by \(2g'\)
• Disposition: D3
• Priority/confidence: P2 / HIGH

2. Clifford’s hypotheses on the kernel need support

Comment ID: 106d47f0-2eaf-44ae-bc3e-fb900d69b478 Location: PDF pages 7-8, Section 3.

The paper applies the vector-bundle Clifford inequality to \(U\) without spelling out the lower Harder-Narasimhan slope bound. The omission is real, but standard and harmless.

Write \(V=E^\rho\otimes\omega_Y\) and twist the exact sequence defining \(U\) by \(\omega_Y^{-1}\):

Here \(Q\) is a line bundle that is both a quotient of the degree-zero semistable bundle \(E^\rho\) and a subsheaf of \(\omega_Y\), so \(0\leq\deg Q\leq2g-2\). If \(F\) is a quotient of \(K\), with kernel \(K'\subset E^\rho\), semistability gives \(\deg K'\leq0\), hence \(\deg F=-\deg Q-\deg K'\geq-\deg Q\). After twisting back by \(\omega_Y\), every HN slope of \(U\) is nonnegative. The upper bound follows from \(U\subset V\) and semistability of \(V\).

Alternatively, the locally available P05 paper, Proposition 6.3.1, already proves the general non-generically-globally-generated statement being used here.

• Validity: V4 as an expository observation
• Category: C3
• Standardness: E2
• Impact: I1, not I2
• Severity challenge: Q1; the allegedly load-bearing gap is a verified standard omission
• Repair/disposition: R1 / D1
• Priority/confidence: P3 / HIGH

Optional edit: add the HN-slope sentence above or simply invoke Proposition 6.3.1 without presenting this special calculation as fully spelled out.

3. Slope and degree are conflated in Section 3

Comment ID: 158a93ec-3a13-4f63-849f-68cda9575064 Location: PDF pages 7-8.

The displayed inequality

conflates slope and degree. Semistability gives \(\mu(U)\leq2g-2\), equivalently \(\deg U\leq(2g-2)\operatorname{rk}U\). The next calculation uses the degree inequality, so this is localized.

• Validity/category: V4 / C1
• Impact: I2; false meaning-bearing formula, no downstream damage
• Repair/disposition: R2 / D3
• Priority/confidence: P2 / HIGH

4. Codimension gives an upper rank bound, not equality

Comment ID: 86318a90-11a5-4657-87b9-e005e79dc393 Location: PDF page 8, Remark 3.1.

The tangent-space argument shows that the image of

lies in the \(\delta\)-dimensional conormal space to the image of \(\mathcal M\to\mathcal M_g\). It therefore gives rank at most \(\delta\), not equality. No surjectivity onto the conormal space is established.

Theorem 3.2 is unaffected: using a smaller actual rank only strengthens the degeneracy estimate behind the cited proposition.

• Validity/category: V4 / C6
• Impact: I2
• Repair: R2, replace “has rank \(\delta\)” by “has rank at most \(\delta\)”
• Disposition/priority/confidence: D3 / P2 / HIGH

5. Chevalley-Weil count and the trivial representation

Comment ID: eb323ca7-6e50-477b-8be7-889d29cb2094 Location: PDF page 9.

The displayed Chevalley-Weil multiplicity formula does require \(\rho\) to be nontrivial. However, the \(\rho\) selected immediately beforehand is necessarily nontrivial. On the trivial summand, a nonzero invariant form \(\eta\) pairs with another invariant form \(\nu\) as

so no nonzero trivial vector can lie in the kernel of \(\theta\).

The comment correctly notices an unstated qualifier but incorrectly treats nontriviality as unavailable.

• Validity: V3
• Category/standardness: C3 / E2
• Impact: I1
• Repair/disposition: R1 / D1
• Priority/confidence: P3 / HIGH

Optional edit: begin the Chevalley-Weil sentence with “For this necessarily nontrivial \(\rho\), ...”

6. Lemma 4.1 and the single-copy factorization

Comment ID: 29c0b65a-16de-4c5b-8ac8-afa9157b8a8b Location: PDF page 10.

The entire vector-valued multiplication map need not factor through a single copy of \(\rho^\vee\) when the isotypic multiplicity is larger than one. Nevertheless, Lemma 4.1 concerns one quadric at a time. After fixing a quadric, the invariant pairing has the form

so it involves only \(\rho\) and one linear combination of the copies of \(\rho^\vee\). Its rank is at most \(2\dim\rho\), exactly as claimed.

The proof’s intended per-quadric reading is sound; only the vector-valued factorization sentence is too broad.

• Validity: V3
• Category/standardness: C3 / E2
• Impact: I1
• Repair/disposition: R1 / D1
• Priority/confidence: P3 / HIGH

Optional edit: start the factorization argument with “Fix a quadric in \(\operatorname{im}\alpha\).”

7. Remark 4.4’s rank-three quadric

Comment ID: 461b529e-955e-4022-970c-be544a38c27d Location: PDF page 11, Remark 4.4.

For a two-dimensional orthogonally self-dual \(\rho\), the invariant symmetric pairing of the distinguished copy with itself is a nondegenerate quadratic form on a two-dimensional space, hence has rank 2. Pairing the distinguished copy with an independent copy gives a rank-4 bilinear quadric. The ranks are therefore 2 and 4, not 3 and 4.

• Validity/category: V4 / C8
• Impact: I2; the mistake is confined to an explanatory remark
• Repair: R2, replace rank 3 by rank 2
• Disposition/priority/confidence: D3 / P2 / HIGH

8. Section 4.4 needs a non-self-duality hypothesis

Comment ID: dd56d267-38d6-4214-8aa2-f05eeccb7b40 Location: PDF pages 12-14, Section 4.4.

Section 4.3 explicitly assumes \(\rho\not\simeq\rho^\vee\), but Section 4.4 does not repeat that assumption. For an orthogonally self-dual three-dimensional representation, the distinguished kernel copy of \(\rho\) already lies in the \(\rho^\vee\)-isotypic component. Consequently \(\rho\oplus(\rho^\vee)^{\oplus3}\) double-counts that copy and the displayed incidence construction requires the self-dual modifications discussed elsewhere.

This geometric section is motivational, and the paper later says that it treats only the non-self-dual general case. No main theorem depends on the unmodified self-dual construction.

• Validity/category: V4 / C5
• Impact: I2
• Repair: R2, add “assume \(\rho\) is not self-dual” to Section 4.4, or supply the modified self-dual construction
• Disposition/priority/confidence: D3 / P2 / HIGH

9. Section 4.4 omits the isotypic tensor factor

Comment ID: a91ab701-6c39-4f77-b0e2-149e32eddcff Location: PDF page 13.

The projective target of \(\iota\) should contain

not just the multiplicity space \(\operatorname{Hom}_H(\rho^\vee,H^0(X,\omega_X))\). The figure and the subsequent sheaf calculation use the correct isotypic component, confirming that this is a local notation error.

• Validity/category: V4 / C4
• Secondary tag: meaning_changing_typo
• Impact: I2
• Repair/disposition: R2 / D3
• Priority/confidence: P2 / HIGH

10. Proposition 5.4 lacks the family-of-covers hypotheses

Comment ID: b5c5ebc9-2283-4a8a-993c-16dfa97cd0bd Location: PDF pages 16-17.

Notation 5.3 defines only a family \(\mathcal C\to\mathcal M\), while Proposition 5.4 uses an undefined family \(\mathcal X\to\mathcal C\), the map \(\pi'\), an \(H\)-action, and its fibers. More importantly, finite monodromy under an arbitrary \(\pi_1(\mathcal M)\) would not imply a finite orbit under the cover stabilizer required by Definition 5.1. The statement should also exclude \(V^\rho=0\).

Severity challenge

The intended repair is complete and local. Start with the topological \(H\)-cover \(h\) and take the connected finite étale cover of the appropriate moduli stack corresponding to its stabilizer \(\Gamma\). After a standard level refinement if a scheme is desired, pull back the universal pointed curve and the \(H\)-cover:

Assume this family is versal and \(V^\rho\ne0\). Then \(\pi_1(\mathcal M)\) maps with finite index to \(\Gamma\). The proof’s vanishing of the Higgs field gives finite monodromy on the nonzero \(\rho\)-piece, hence a finite orbit under \(\pi_1(\mathcal M)\), and therefore under \(\Gamma\). A single cover arising from a surjection \(F_2\to H\) spreads over precisely this stabilizer cover, so Examples 5.8-5.11 remain valid.

• Severity status: Q2
• Validity/category: V4 / C5
• Standardness: E3; the construction is standard but must be stated because it supplies the proposition’s objects and finite-index implication
• Impact: I2, not I3
• Repair/disposition: R2 / D3
• Priority/confidence: P2 / HIGH
• Coauthor review: required for the final wording

11. Characteristic-cover refinement in Section 6

Comment ID: bbda4895-1967-44a7-8557-81da32950251 Location: PDF pages 21 and 23.

Definition 6.5 uses characteristic subgroups, while Proposition 6.7 initially produces a cover corresponding to some finite-index subgroup \(K_0\). The missing refinement is standard and preserves the conclusion.

Let \(G=\pi_1(\Sigma_{g,n})\) and choose a finite-index characteristic subgroup

There are only finitely many subgroups of the given index in the finitely generated group \(G\), so the intersection is finite-index and characteristic. The resulting characteristic cover dominates the \(K_0\)-cover. Pullback on first cohomology is injective because transfer composed with pullback is multiplication by the covering degree. Thus the nonzero finite-orbit class survives. Finally, an orbit finite under a finite-index subgroup of \(\operatorname{HMod}_{g,n+1}\) is finite under the full group.

• Validity/category: V4 / C3
• Standardness: E3, but safely reconstructible by the intended audience
• Severity challenge: Q1
• Impact: I1; this is not a mathematical error
• Repair/disposition: R1 / D1
• Priority/confidence: P3 / HIGH

Optional edit: add this refinement as a short paragraph after Proposition 6.7.

12. Lemma 6.10 needs a rational fixed subsystem

Comment ID: cb3623a5-e28c-4a52-991b-33337151c1e1 Location: PDF pages 22-23.

An arbitrary trivial complex sub-local system need not itself be defined over \(\mathbb Q\), so the asserted integral lattice \(\mathbb W_{\mathbb Z}\) does not automatically exist. The equivalence remains true after a local correction.

After passing to the finite étale cover that kills the finite monodromy, replace the chosen complex subsystem by the full invariant part of the rational local system:

A nonzero complex invariant implies this rational invariant space is nonzero, because it is the common kernel of rational monodromy matrices minus the identity. The theorem of the fixed part makes \(\mathbb W_{\mathbb Q}\) a rational sub-variation of Hodge structure, and \(\mathbb W_{\mathbb Q}\cap R^1\pi'_*\mathbb Z\) supplies the lattice needed to construct the constant abelian factor.

• Severity status: Q2
• Validity/category: V4 / C6
• Standardness: E3
• Impact: I2; the written lattice assertion is false for arbitrary complex \(\mathbb W\), but the lemma and Proposition 6.7 survive unchanged
• Repair/disposition: R2 / D3
• Priority/confidence: P2 / HIGH
• Coauthor review: required for the final Hodge-theoretic wording

13. Boggi arXiv identifier

Comment ID: bfd52c9f-0ff3-400a-87dc-cadc337b6006 Location: PDF pages 23-24, Remark 6.11 and reference [4].

The local bibliography assigns arXiv:2110.13534v2 to “Notes on hyperelliptic mapping class groups” and arXiv:2110.13534v3 to “Linear representations of hyperelliptic mapping class groups.” The authoritative arXiv records confirm that arXiv:2110.13534 is Notes on hyperelliptic mapping class groups, whereas arXiv:1903.04007 is Linear representations of hyperelliptic mapping class groups. Version 3 of the latter exists and its Remark 3.17 expressly says that Landesman and Litt identified a problem with the proof of Lemma 3.14. The Refine replacement is therefore exact.

• Validity: V4; the title, identifier, version, and cited remark are verified
• Category: C7
• Impact: I2; the citation is wrong, but the mathematical discussion and results are unaffected
• Repairability: R2; replace arXiv:2110.13534v3 by arXiv:1903.04007v3 in reference [4]
• Disposition: D3
• Priority/confidence: P2 / HIGH

Proposed errata queue from this report

Subject to author confirmation, the likely public errata entries are:

1. \(\operatorname{Sp}_{2g}\) should be \(\operatorname{Sp}_{2g'}\).
2. Replace the malformed slope inequality by its slope or degree version.
3. Replace rank \(=\delta\) by rank \(\leq\delta\).
4. Replace the orthogonally self-dual quadric rank 3 by rank 2.
5. Add the non-self-duality hypothesis in Section 4.4.
6. Restore the missing \(\rho^\vee\) tensor factor in the target of \(\iota\).
7. Supply the family/versality/nonzero hypotheses in Proposition 5.4.
8. Replace the arbitrary complex fixed subsystem in Lemma 6.10 by the rational invariant subsystem.
9. In reference [4], replace arXiv:2110.13534v3 by arXiv:1903.04007v3.

The Clifford, Chevalley-Weil, Lemma 4.1, and characteristic-cover comments are optional exposition, not errata.

Report metadata

Refine summary

This paper investigates the arithmetic properties of varieties admitting a quasi-finite period map. The main contribution is proving that finiteness and non-Zariski-density of integral points over number fields extend to all finitely generated integral domains of characteristic zero. The authors provide applications for moduli spaces of smooth hypersurfaces and arithmetic locally symmetric varieties.

Overall feedback

Geometric hyperbolicity and field extensions

Lemma 2.4 underpins Theorems 5.1, 5.4, and the persistence arguments. The proof operates by descending each map to an étale neighbourhood of a fixed finite-type model. However, the coefficients of an arbitrary map defined over the extension field may possess positive relative transcendence degree, meaning they cannot systematically be accommodated purely étale-locally. The point $x \in X(L)$ is also treated as a constant section over these neighbourhoods without first spreading it out. Consequently, readers will look for a spreading-and-specialization lemma utilizing dominant parameter spaces, along with a theoretical reassurance that pairwise distinct maps remain distinct after undergoing a common specialization.

Formulation of the monodromy argument

A notable point regarding the monodromy representations is the typing of targets. Proposition 4.1 gives $f_*$ a target in $\pi_1^{orb}(\Gamma\backslash D)$ while giving $g_*$ a target in the ordinary fundamental group, which makes the asserted equality difficult to parse. Similarly, Theorem 5.1 maps period maps to homomorphisms into the ordinary $\pi_1(\Gamma\backslash D)$. As Section 4 observes, this ordinary group may be trivial while the orbifold group properly carries the monodromy constraints. Stating the proof uniformly for the stack $[\Gamma\backslash D]$ seems necessary for rigor. The argument would also benefit from specifying whether Deligne's theorem provides finiteness of based representations or merely finiteness up to conjugacy, which would clarify exactly how the marked value and finite stabilizer deliver the finiteness required by the rigidity theorem.

Weak boundedness and boundary discrepancies

There is an apparent tension between Theorem 4.2 and Definition 3.1. The definition explicitly requires a projective compactification equipped with a fixed ample line bundle. In contrast, Theorem 4.2 secures only the ampleness of the Griffiths line bundle on the quasi-projective variety, without comparing its curve degree to the degree of an extension on the compactification. Since Peters's inequalities control canonical or logarithmic extensions of Hodge bundles on the source curve, the boundary discrepancy must be explicitly bounded. In the singular case, defining a period map via a desingularization introduces a question about whether curves mapping entirely into the singular locus successfully produce the necessary variation for the argument. Finally, when Theorem 5.4 invokes this complex analytic result over arbitrary algebraically closed characteristic-zero fields, a dedicated descent or base-change step will be needed to complete the logic.

Base rings and mapping loci in the non-density proofs

Theorem 3.7 is framed as the key technical contribution for non-density, yet the scheme-theoretic handling of ring changes throughout this section presents complications. In Lemma 3.6, modifying $A$ so that $Spec B \to Spec A$ becomes a smooth relative curve with a section will inherently alter the fixed ring $B$ and its model. The logic requires tracking this enlargement and systematically comparing the corresponding sets of integral points. Furthermore, the closure $Z$ is defined inside a constructible set of $L$-points, but it is then conceptually operated upon as a finite-type geometric locus supporting evaluation maps, finite-fibre proofs, and dimension inequalities. In a related step, Theorem 3.7 applies Lemma 3.6 over $K_0$ without establishing an aligned finitely generated base ring (whose fraction-field algebraic closure equals $K_0$) and executing the respective base change on the model.

Cubic surfaces in Theorem 1.9

Section 8 applies the property that the chosen atlas admits a quasi-finite period map for every $d \ge 3$ and $n \ge 2$. However, Section 7 explicitly excludes the case $(d,n)=(3,2)$ from this assertion. The cyclic-covering argument in Theorem 7.1 successfully yields geometric hyperbolicity for the cubic-surface stack itself, but it does not supply the weak boundedness of the atlas that is squarely required by Theorems 3.7 and 5.4. For the cubic-surface case to go through, the proof will need either a strategically chosen finite étale atlas (potentially derived from the cubic-threefold construction) or a proven descent principle for weak boundedness along the pertinent quasi-finite stack morphisms.

Model dependence in the Chevalley–Weil argument

Lemma 8.2 formulates its statement for arbitrary finitely generated subrings, yet the proof invokes Hermite finiteness, which strictly requires normal integral domains. Bridging this requires normalizing and explicitly comparing the respective point sets. Beyond the domains themselves, Lemma 8.2 builds on the assumption of non-density across every possible model of the covering variety. The proof of Theorem 1.9, meanwhile, establishes non-density only for the particular model $H'$ constructed from the chosen atlas. To connect these pieces, the text needs a fixed-model version of Lemma 8.2, or alternatively a model-independence argument verifying that models become comparable after coefficient enlargement and that density properties are immune to this comparison.

Detailed comments

1. Theorem 1.7 needs an integrality restriction on Y

• ID: 71ec4b1b-5b38-4e7a-ae29-0c7e41c41237
• Refine score: 0.45
• Original types: general
• Refine status: open

Comment

Theorem 1.7 is false for arbitrary varieties under the paper’s convention that a variety is any finite-type separated scheme. If $Y$ has a component disjoint from $y$, its map to $X$ is unconstrained; for example, taking $Y=\operatorname{Spec}k\sqcup\operatorname{Spec}k$ gives infinitely many pointed maps whenever $X(k)$ is infinite. The argument through Lemma 2.5 establishes the claimed finiteness only for integral $Y$.

Quoted passage

Theorem 1.7. (Deligne + Rigidity Theorem) Let $X$ be a variety over $k$ which admits a quasi-finite period map (up to Galois conjugation). Then, for every variety $Y$ over $k$, every $y$ in $Y(k)$, and every $x$ in $X(k)$, the set of morphisms $f: Y \rightarrow X$ with $f(y)=x$ is finite.

Note that Theorem 1.7 is a finiteness statement about maps of pointed varieties to a period domain. It is crucial that we consider pointed maps here; see Remark 5.2 for a discussion of this.

2. The fixed point is not spread out in Lemma 2.4

• ID: 879ed012-6c98-4b54-ade6-9278a2a0f995
• Refine score: 0.44
• Original types: general
• Refine status: open

Comment

The proof of Lemma 2.4 does not formally spread out the marked target point $x\in X(L)$. Unless $x$ descends to $X(k)$, the expression $\{x\}\times S_1$ does not define a constant section of $X\times_k S_1$. The pointed datum must instead be descended over the spreading base so that specialization produces a common point of $X(k)$ for all the maps.

Quoted passage

Thus, let $A_{1} \subset L$ be a finitely generated $k$-algebra with $S_{1}=\operatorname{Spec} A_{1}$, let $S_{1} \rightarrow S$ be an étale morphism and let $F_{1}: \mathcal{C}_{S_{1}} \rightarrow X \times_{k} S_{1}$ be a morphism with $F_{1}(P)=\{x\} \times S_{1}$ such that the morphism $f_{1}: C \rightarrow X_{L}$ coincides with $F_{1, L}: C \cong \mathcal{C}_{L} \rightarrow X_{L}$.

3. Pointwise equality does not separate stack maps

• ID: 194f3947-aa9a-4ef4-bc34-eafd0756d4b2
• Refine score: 0.68
• Original types: general
• Refine status: open

Comment

The proof of Lemma 2.5 uses an implication that fails for stack-valued maps: two nonisomorphic morphisms $Y\to X$ may have isomorphic fibres at every geometric point, so $Y^{i,j}$ can equal $Y$ even when $f_i$ and $f_j$ are distinct. Pointwise evaluation therefore does not ensure that their restrictions to the selected curve remain nonisomorphic; the stack version requires an additional argument controlling global twisting classes.

Quoted passage

Proof. Suppose that $f_{1}, f_{2}, \ldots$ are pairwise distinct morphisms from $Y$ to $X$ which map $y$ to $x$. Let $Y^{i, j} \subset Y$ be the closed subset of points $P$ such that $f_{i}(P)=f_{j}(P)$. Let $w$ be a point of $Y(k)$ such that, for every $i \neq j$, the point $w$ does not lie in $Y^{i, j}$. (Such a point exists as $k$ is uncountable and $Y^{i, j} \neq Y$ whenever $i \neq j$.)

4. Surjectivity is missing in Lemma 2.6

• ID: 11e24465-a3ff-4c70-a33e-fd2aaba011f2
• Refine score: 0.29
• Original types: general
• Refine status: open

Comment

Lemma 2.6 is false unless the finite étale morphism is surjective: geometric hyperbolicity of $X$ cannot constrain components of $Y$ that are disjoint from the image of $X$.

Quoted passage

Lemma 2.6. (Descending along coverings) Let $X \rightarrow Y$ be a finite étale morphism of finite type separated Deligne-Mumford algebraic stacks over $k$. Then $X$ is geometrically hyperbolic over $k$ if and only if $Y$ is geometrically hyperbolic over $k$.

Proof. This is proven when $X$ and $Y$ are projective schemes in [23, 5], and the arguments in loc. cit. easily adapt to prove the more general statement for stacks. □

5. Baldi–Klingler–Ullmo does not prove finite-étale invariance of geometric hyperbolicity

• ID: 1309f251-320c-4704-bb7e-0fa50f2a85b0
• Refine score: 0.73
• Original types: external_references
• Refine status: open

Comment

The work identified by arXiv:2112.13040 does not prove the claimed equivalence under finite étale coverings. It is a four-page note about using the geometric Zilber–Pink theorem to strengthen Lawrence–Venkatesh non-density results for integral points on Hilbert schemes of hypersurfaces. Although Remark 1.3 observes that a particular moduli stack is Brody hyperbolic because its period map is quasi-finite, the paper contains no general theorem that $X$ is geometrically hyperbolic if and only if $Y$ is geometrically hyperbolic for a finite étale morphism $X\to Y$. See https://arxiv.org/pdf/2112.13040.

Quoted passage

Proof. This is proven when $X$ and $Y$ are projective schemes in [23, 5], and the arguments in loc. cit. easily adapt to prove the more general statement for stacks. □

6. Bakker–Brunebarbe–Tsimerman concerns period-map images, not Hom-schemes

• ID: 9023619f-6aed-4fba-af17-8f3d98396cd7
• Refine score: 0.73
• Original types: external_references
• Refine status: open

Comment

The work identified by arXiv:1811.12230 does not support the assertion about schemes parametrizing morphisms between projective schemes. Its main theorem algebraizes images of definable period maps and proves that those images are quasi-projective; Corollary 1.2 concerns quasi-projectivity of coarse moduli spaces of Deligne–Mumford stacks admitting quasi-finite period maps. These are different statements and do not establish that $\underline{\operatorname{Hom}}_k(Y,X)$ is a disjoint union of quasi-projective schemes. See https://arxiv.org/pdf/1811.12230.

Quoted passage

For $Y$ and $X$ projective schemes over $k$, we let $\operatorname{Hom}_{k}(Y, X)$ be the moduli scheme parametrizing morphisms $Y \rightarrow X$; recall that $\underline{\operatorname{Hom}}_{k}(Y, X)$ is a disjoint union of quasi-projective schemes over $k$ (see [8,2]).

7. Line-bundle comparison fails in Remark 3.4

• ID: 065904d6-8c7c-45ac-9225-1b0799fb7607
• Refine score: 0.27
• Original types: general
• Refine status: open

Comment

The proof of Remark 3.4 does not justify the degree comparison: it assumes effectivity of $\mathcal{L}^{\otimes n}\otimes\mathcal{L}^{\vee}$ but then uses $\mathcal{L}^{\otimes n}\otimes(\mathcal{L}')^{\vee}$. Even after correcting that mismatch, effectivity alone does not guarantee nonnegative degree on every curve contained in its support.

Quoted passage

Remark 3.4. (The choice of an ample line bundle) Let $\bar{X}$ be a projective scheme over $k$, let $\mathcal{L}$ be an ample line bundle on $\bar{X}$, and let $X \subset \bar{X}$ be a dense open subscheme such that $X$ is weakly bounded in $\bar{X}$ over $k$ with respect to $\mathcal{L}$. Then, for every ample line bundle $\mathcal{L}^{\prime}$ on $\bar{X}$, the quasi-projective scheme $X$ is weakly bounded over $k$ in $\bar{X}$ with respect to $\mathcal{L}^{\prime}$. To prove this, choose an integer $n$ such that $\mathcal{L}^{\otimes n} \otimes \mathcal{L}^{\vee}$ is effective. Let $C \subset \bar{C}$ and $f: C \rightarrow X$ be as in Definition 3.1. Since $\operatorname{deg}_{\bar{C}} \bar{f}^{*}\left(\mathcal{L}^{\otimes n} \otimes \mathcal{L}^{\prime, \vee}\right) \geq 0$, it follows that

$$ \operatorname{deg}_{\bar{C}} \bar{f}^{*} \mathcal{L}^{\prime} \leq n \operatorname{deg}_{\bar{C}} \bar{f}^{*} \mathcal{L} . $$

8. Base-ring enlargement in Lemma 3.6 needs justification

• ID: 695e6114-8397-413c-968e-506807839488
• Refine score: 0.36
• Original types: general
• Refine status: open

Comment

The base-ring replacement in Lemma 3.6 suppresses a necessary compatibility step: after enlarging $A$ inside $k$, the fixed ring $B$ need not contain the enlarged ring, so $\operatorname{Spec} B$ is not automatically a scheme over the new base. The argument requires a simultaneous enlargement of the source ring, together with the resulting containment of the original point set, before the smooth family and section can be used.

Quoted passage

Note that if $K$ has transcendence degree zero over $\operatorname{Frac}(A)$, then it follows from (2) that $\mathcal{X}(B)$ is not dense in $X(L)$. Therefore, to prove the lemma, we may and do assume that $K=\operatorname{Frac}(B)$ has transcendence degree one over $\operatorname{Frac}(A)$. Moreover, replacing $A$ by a finitely generated sub- $A$-algebra of $k$, we may and do assume that the scheme $\mathcal{C}:=\operatorname{Spec} B$ over Spec $A$ has a section $\sigma: \operatorname{Spec} A \rightarrow \mathcal{C}$ and that $\mathcal{C} \rightarrow \operatorname{Spec} A$ is a smooth morphism.

9. Induction does not directly meet Lemma 3.6’s base hypothesis

• ID: 0c845a49-f901-4d5a-a35f-fcc63f046e10
• Refine score: 0.41
• Original types: general
• Refine status: open

Comment

The induction step in Theorem 3.7 suppresses a coefficient-ring change needed to apply Lemma 3.6. With the original ring $A$, the algebraic closure of its fraction field is $k$, not $K_0$; one must pass to a finitely generated coefficient ring whose fraction field has algebraic closure $K_0$, base-change the model, and compare the original point set with that over an enlarged target ring.

Quoted passage

Proof. Let $K$ be the algebraic closure of $\operatorname{Frac}(B)$ in $L$, and note that $K$ has finite transcendence degree over $k$. We proceed by induction on the transcendence degree $d$ of $K$ over $k$. If $d=0$, then the required non-density statement holds by (2). Now, assume $d>0$ and let $K_{0} \subset K$ be an algebraically closed subfield of transcendence degree $d-1$ over $k$. Define $Y:=X_{K_{0}}$. Now, as $X_{L}$ is weakly bounded and geometrically hyperbolic over $L$, we have that $Y_{K}$ is weakly bounded and geometrically hyperbolic over $K$. Moreover, write $\mathcal{Y}=\mathcal{X}$ (for the sake of clarity) and note that, by the induction hypothesis, for every finitely generated subring $A^{\prime} \subset K_{0}$ containing $A$, the set $\mathcal{Y}\left(A^{\prime}\right)$ is not dense in $Y$. Therefore, as $K$ has transcendence degree one over $K_{0}$, we conclude that $X_{K}=Y_{K}$ satisfies the required non-density statement (Lemma 3.6). This concludes the proof. $\square$

10. Weak boundedness over general fields needs justification

• ID: 2b5a47c9-6aff-4aad-bcf7-5db1345435cc
• Refine score: 0.4
• Original types: general
• Refine status: open

Comment

The weak-boundedness conclusion over an arbitrary algebraically closed field $k$ requires an additional base-change or spreading-out argument. Theorem 4.2 directly establishes the result only for the complex realization $X_{0,\mathbb{C}}$ supplied by Definition 1.5; the proof does not explain why its uniform degree bounds transfer to $X_{0,k}\cong X$.

Quoted passage

Choosing $L$ to be an uncountable algebraically closed field extension of $k$, it follows from Lemma 2.5 that, for every variety $Y$ over $L$, every $y \in Y(L)$, and every $x \in X(L)$, the set of morphisms $f: Y \rightarrow X_{L}$ with $f(y)=x$ is finite. (As this holds over $L$, it certainly also holds over $k$, as required.)

To conclude the proof, it suffices to note that $X$ is weakly bounded over $k$ by Theorem 4.2. $\square$

11. Brunebarbe (2018) has no cited definition of arithmetic locally symmetric varieties

• ID: 880c2e36-421d-4adf-a559-5938297ee659
• Refine score: 0.74
• Original types: external_references
• Refine status: open

Comment

The cited work does not support this reference. Brunebarbe’s “Symmetric differentials and variations of Hodge structures” contains no occurrence of “locally symmetric” or “arithmetic locally symmetric,” and it has no Definition 4.3. Its Section 4 contains Definition 4.1, concerning real graded-polarized families of mixed Hodge structures, followed by Theorem 4.2 and Remark 4.3; that remark concerns weight filtrations of nearby cycles. The definition in the submission is mathematically standard, but [6, Definition 4.3] is the wrong citation and should be replaced with an actual source on arithmetic quotients of bounded symmetric domains, such as Milne’s “Shimura Varieties and Moduli.” The cited Brunebarbe paper is available at https://pure.mpg.de/pubman/item/item31178495/component/file3402752/BrunebarbeSymmetric%2Bdifferentials%2Band%2Bvariations%2Bof%2BHodge%2Bstructures_PuRe.pdf.

Quoted passage

A (smooth connected) variety $X$ over $\mathbb{C}$ is an arithmetic locally symmetric if there exists a bounded symmetric domain $D$, a torsionfree arithmetic subgroup of $\operatorname{Aut}(D)$ and an isomorphism of complex analytic spaces $X^{\text {an }} \cong \Gamma \backslash D$ (see [6, Definition 4.3] for a precise definition).

12. Lemma 8.2 uses normality absent from its hypotheses

• ID: e5d75491-aaa8-4192-982c-a9269564993d
• Refine score: 0.3
• Original types: general
• Refine status: open

Comment

Lemma 8.2 invokes the stated Hermite finiteness theorem without explicitly ensuring that the enlarged ring $A$ is normal. The missing reduction is available: after spreading out the cover, one may pass to the finite normalization of $A$ inside its fraction field, which lies in $k$ and preserves the relevant density after base change. Thus the conclusion, including the stronger version for arbitrary finitely generated integral domains, remains supportable, but this normality step is needed in the proof.

Quoted passage

We argue by contrapositive and assume that there is a $\mathbb{Z}$-finitely generated subring $A \subset k$ and a model $\mathcal{Y}$ for $Y$ over $A$ such that the set $\mathcal{Y}(A)$ is dense in $Y$. Replacing $A$ by a larger $\mathbb{Z}$-finitely generated subring of $k$, we may assume that there is a model $\mathcal{X}$ for $X$ over $A$ and a finite étale surjective morphism $\mathcal{X} \rightarrow \mathcal{Y}$ extending the morphism $X \rightarrow Y$. Let $\operatorname{Spec} A \rightarrow \mathcal{Y}$ be an $A$-point. Note that its pull-back along $\mathcal{X} \rightarrow \mathcal{Y}$ is a $B$-point, where $B \rightarrow \operatorname{Spec} A$ is a finite étale surjective morphism of degree at most the degree of $X \rightarrow Y$.

Now, recall the following well-known extension of Hermite's finiteness theorem: if $D \geq 1$ is an integer and $A$ is a $\mathbb{Z}$-finitely generated normal integral domain of characteristic zero, then the set of $A$-isomorphism classes of finite étale morphisms $T \rightarrow \operatorname{Spec} A$ of degree at most $D$ is finite [20, Theorem, p.1].

Scope

• Paper: 03 Published and Submitted Work/Published/P10_Javanpeykar_Litt_Integral_Points_Period_Domains.pdf
• Refine report: .refine/results/Published/P10_Javanpeykar_Litt_Integral_Points_Period_Domains.review.json
• Rubric: rubric/comment_triage_rubric.md
• Version assessed: the local published PDF, manuscripta mathematica 173 (2024), 23-44
• Detailed Refine comments assessed: 12
• Assessment date: 2026-07-30

The unanchored material in feedback.overall was used only as context. It was not converted into additional rows.

Summary

No comment remains at I3 or above. Eight comments warrant living-errata entries; four are optional expository improvements.

1. Theorem 1.7 needs \(Y\) to be integral

Comment ID: 71ec4b1b-5b38-4e7a-ae29-0c7e41c41237 Location: PDF page 25, Theorem 1.7.

The paper explicitly defines a variety as any finite-type separated scheme. Consequently “every variety \(Y\)” includes disconnected schemes. For \(Y=\operatorname{Spec}k\sqcup\operatorname{Spec}k\), with \(y\) on the first component, the second component can map to any \(k\)-point of \(X\). This contradicts finiteness whenever \(X(k)\) is infinite. Lemma 2.5 proves the needed assertion only for integral \(Y\).

Severity challenge

The strongest local repair is to insert “integral” before \(Y\) in Theorems 1.7 and 5.4. The disconnected example shows that no weaker unrestricted wording works. The proofs and applications use integral source varieties, while Theorems 1.1, 1.3, and 1.6 do not require the false disconnected-source extension. Thus the dependency trace closes without changing a central arithmetic conclusion.

• Validity/category: V4 / C5
• Severity status: Q2
• Impact: I2
• Repair/disposition: R2 / D3
• Priority/confidence: P2 / HIGH

Correction: replace “for every variety \(Y\)” with “for every integral variety \(Y\)” in Theorems 1.7 and 5.4.

2. The marked target point in Lemma 2.4

Comment ID: 879ed012-6c98-4b54-ade6-9278a2a0f995 Location: PDF page 29, proof of Lemma 2.4.

For \(x\in X(L)\), the expression \(\{x\}\times S_1\) is not literally a constant section over \(S_1\) unless \(x\) descends to \(k\). The pointed datum can, however, be spread out together with the maps: enlarge the finitely generated \(k\)-algebra so that \(x\) extends to a section \(\xi_1:S_1\to X\), and pull that section through the subsequent etale neighborhoods. Specializing at the common \(k\)-point then gives one common point \(\xi(s)\in X(k)\).

The repair is the standard spreading-out construction and all hypotheses are visible. The comment is right about the notation but overstates its force as a gap.

• Validity/category/standardness: V3 / C3 / E2
• Severity status: Q1
• Impact: I1
• Repair/disposition: R1 / D1
• Priority/confidence: P3 / HIGH

3. Pointwise equality does not by itself separate stack maps

Comment ID: 194f3947-aa9a-4ef4-bc34-eafd0756d4b2 Location: PDF page 29, proof of Lemma 2.5.

For a stack target, two nonisomorphic maps may have isomorphic geometric fibers everywhere; maps to \(BG\) arising from distinct \(G\)-torsors are the basic test case. Thus the assertion \(Y^{i,j}\ne Y\) needs more than nonisomorphism of the two global maps.

Severity challenge

Separate the maps according to their pointwise-isomorphism data. Maps that differ at some geometric point are handled by the paper's curve argument. Within one pointwise-isomorphism class, the ambiguity is twisting by the finite inertia of the separated finite-type Deligne-Mumford target. Over a finite-type integral \(Y\), the relevant finite etale twisting classes are finite (equivalently, one reduces to finitely many bounded-degree finite covers; the \(BG\) test case is \(H^1_{\mathrm{et}}(Y,G)\)). Hence an infinite family has an infinite subfamily distinguishable on geometric points, to which the existing argument applies.

This also tests the apparent failure mode rather than ignoring it. The repair does not change Lemma 2.5 or Theorem 7.1, but it is nontrivial enough that the published proof should contain a citation or a short finite-inertia argument. The scheme-target applications already need no repair.

• Validity/category/standardness: V4 / C6 / E3
• Severity status: Q2
• Impact: I2, not I3
• Repair/disposition: R2 / D3
• Priority/confidence: P2 / MEDIUM
• Coauthor review: recommended for the precise stack-theoretic formulation

4. Surjectivity is missing from Lemma 2.6

Comment ID: 11e24465-a3ff-4c70-a33e-fd2aaba011f2 Location: PDF pages 29-30, Lemma 2.6.

A finite etale morphism need not be surjective. For example, the inclusion of one component into a disjoint union is finite etale; the omitted component can fail geometric hyperbolicity independently.