REVIEW 4 major objections 6 minor 2 cited by
Automorphisms of punctual Hilbert schemes and symmetric powers of varieties
T0 review · 4 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper classifies exactly when the Hilbert scheme of points on a surface has an automorphism not induced by the surface, finding four exceptional cases.
desk verdict Real completion of the BOR20 classification for surfaces, but the Hilbert-to-symmetric reduction has a genuine gap at Theorem 3.2 and leans on unpublished preprints. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is the Hilbert-Chow morphism $\mathrm{Hilb}^m(X)\to S^mX$, whose exceptional divisor is the big diagonal, paired with a descent-lift equivalence between automorphisms of the Hilbert scheme preserving the big diagonal and automorphisms of the symmetric power. The descent side is carried by a sequence of incidence strata $E_\pi$: the singular locus of the exceptional divisor forces preservation of successively smaller diagonals until the small diagonal is fixed, and the fibre over the small diagonal has Picard rank one, so curves contracted by Hilbert-Chow are contracted by any such automorphism. The lift side uses the identification of $H$ minus a codimension-two locus with a blow-up of $S^mX$ along its singular locus, together with an extension lemma for isomorphisms of complements of codimension at least two. On the symmetric-power side, the classification is driven by group-theoretic analysis of the normalizer of the symmetric group inside $\operatorname{Aut}(X^m)$; for $m=2$ the extra swap-within-blocks automorphisms form a group $(\mathbb{Z}/2\mathbb{Z})^{k-1}$, and for abelian surfaces the existence of endomorphisms $\alpha\neq\pm 1$ with $m\mid (1-\alpha)$ in $\mathrm{End}(X)$ yields explicit non-natural automorphisms.
What would settle it
Find a smooth projective surface $X$ satisfying none of the four conditions of Theorem D and an integer $m\ge 2$ for which $S^mX$ has a non-natural automorphism; this would directly contradict the claimed classification. More locally, for $X$ a surface with $m=3$, set $W=\operatorname{Sing}(S^3X)$ and $W_1=\operatorname{Sing}(W)$, then check whether the automorphism of $H\setminus E_1$ obtained from the blow-up description extends over $E_1$ by testing whether the two ample line bundles $p^*L\otimes\mathcal{O}(\alpha E)$ and $p^*\phi^*L\otimes\mathcal{O}(\alpha E)$ agree as sheaves near $E_1$; a mismatch for any surface would break Theorem B.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is a complete four-part classification. For a smooth projective surface $X$ and integer $m\ge 2$, the Hilbert scheme $\mathrm{Hilb}^m(X)$ has an automorphism preserving the big diagonal that is not induced by $\operatorname{Aut}(X)$ if and only if: (a) $m=2$ and $X$ is a product of two curves; (b) $X$ is an abelian surface isogenous to $E\times E$ for an elliptic curve $E$; (c) $X$ is a simple abelian surface with $\mathrm{End}_{\mathbb{Q}}(X)$ neither $\mathbb{Q}$ nor an imaginary quadratic extension of $\mathbb{Q}$; or (d) $X$ lies in class $C$, meaning $X=(D\times Y)/G$ with $D$ elliptic, $Y$ of general type, and $G$ a finite subgroup of $\operatorname{Aut}^0(D)$ acting diagonally, and the base of the Iitaka fibration maps non-constantly to the fibre. The paper further claims that the same four conditions characterize non-natural automorphisms of $S^mX$ for surfaces, and that for higher-dimensional varieties with $H^1(X,\mathcal{O}_X)=0$ or $K_X$ ample, every big-diagonal-preserving automorphism of $\mathrm{Hilb}^mX$ for $m=2,3$ is natural. The bridge is Theorem B: for $n=2$ or $m\le 3$, the Hilbert scheme has a non-natural big-diagonal-preserving automorphism if and only if the symmetric power does.
Load-bearing premise
The load-bearing premise is that every automorphism of the symmetric power $S^mX$ lifts to an automorphism of the punctual Hilbert scheme that preserves the big diagonal; the paper's proof of this lift is a sketch that does not fully verify that the isomorphism extends across the locus where the blow-up identification is not literally valid. If that extension fails, the equivalence between Hilbert-scheme automorphisms and symmetric-power automorphisms collapses.
Editorial extensions
If this is right
- For surfaces of Kodaira dimension at least one, $\mathrm{Hilb}^m(X)$ has a non-natural automorphism without any big-diagonal assumption exactly in cases (a) and (d) of Theorem A.
- For higher-dimensional varieties with $H^1(X,\mathcal{O}_X)=0$ or ample canonical bundle, $\mathrm{Hilb}^2(X)$ and $\mathrm{Hilb}^3(X)$ admit no non-natural automorphism preserving the big diagonal when $X$ is indecomposable in the $m=2$ case.
- The pair consisting of $\mathrm{Hilb}^mX$ together with its big diagonal determines $X$ up to isomorphism in the cases covered by Theorem B.
- For surfaces of Kodaira dimension at least one, the punctual Hilbert scheme $\mathrm{Hilb}^mX$ alone determines $X$ up to isomorphism.
- The classification of non-natural automorphisms of symmetric powers of smooth projective surfaces is now complete and matches the Hilbert-scheme classification.
Reading between the lines
- The reduction suggests a testable principle for higher dimensions: whenever the relevant Hilbert-Chow fibre has Picard rank one and the exceptional strata form a good stratification, big-diagonal-preserving automorphisms should descend to symmetric powers beyond $m\le 3$; the current bottleneck is the lift step, whose sketch may require a full blow-up argument.
- The class-$C$ examples show that non-natural automorphisms can arise from variation in the fibres of an isotrivial fibration rather than from endomorphism rings of abelian varieties; the same mechanism could plausibly produce exotic automorphisms of symmetric powers of higher-dimensional fibrations.
- For abelian varieties of dimension at least two, the paper's remark identifying the kernel of $\operatorname{Aut}(S^mX)\to\operatorname{Aut}(X)$ with a congruence subgroup invites an explicit computation of these kernels for other varieties with large endomorphism rings, such as products of elliptic curves.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies, for smooth complex projective surfaces X and integers m≥2, the pairs (m,X) for which the punctual Hilbert scheme Hilb^m(X) admits a non-natural automorphism preserving the big diagonal (Theorem A). The classification has four cases: m=2 with X a product of curves; X an abelian surface isogenous to the square of an elliptic curve; X a simple abelian surface with End_Q(X) not Q and not an imaginary quadratic extension; and X in a class C of isotrivial elliptic surfaces with a non-constant map from the base to a fibre of the Iitaka fibration. The proof reduces the Hilbert-scheme problem to an analogous problem for symmetric powers S^m X (Theorem B), then classifies non-natural automorphisms of symmetric powers of surfaces (Theorem D), with a sufficient criterion in higher dimensions (Theorem C). A corollary treats surfaces of Kodaira dimension at least 1 without the diagonal-preserving hypothesis (Corollary A).
Significance. If correct, Theorem A completely answers Question 1 of Belmans-Oberdieck-Rennemo and provides a full classification of non-natural automorphisms of symmetric powers of surfaces. The reduction Theorem B is a valuable structural bridge between Hilbert schemes and symmetric powers, and Theorem C(i) gives a clean description of Aut(S^2 X) under rigidity hypotheses. The paper contains explicit new examples (the class C surfaces) and the classification statements are precise and falsifiable. The group-theoretic lemmas in Section 4 are well executed. However, the proof of the lift direction Theorem 3.2 is only a sketch with a key step that is not justified, and the descent proof in Theorem 3.1 has notational inconsistencies that obscure the main stratification argument; both are load-bearing for the central result. The paper also depends on two unpublished same-author preprints for structurally important facts.
major comments (4)
- [§3, proof of Theorem 3.2] The proof of the lift direction is not complete. After constructing an automorphism φ1 of U=H\E1 over the base automorphism φ of S^mX\W1, the text invokes Lemma 3.15 to extend φ1 to H. Lemma 3.15 requires an equality φ1^*(M|_V)=L|_U of line bundles on U, but the only stated justification is 'Since φ1^{-1}(E\E1)=E\E1'. This does not provide the required equality: because φ1 covers φ on the base, φ1^*p^*L = p^*φ^*L, not p^*L, and the two line bundles p^*L⊗O(αE) and p^*φ^*L⊗O(αE) are not shown to agree on U; ρ(U)=1 gives only proportionality, not equality. Moreover, the identification of H\E1 as the blow-up of S^mX\W1 along W\W1 via [Cha79] and [BK05, Exercise 7.3E(5)] is asserted without verifying the needed cases (n=2 with m≥4, and n=3 with m=3). Please supply a complete proof of Theorem 3.2, including a precise verification of the extension criterion.
- [§3, Lemmas 3.11-3.12 and Theorem 3.1, Case 3] The stratification argument in Case 3 uses the notation E_{(t,1)}, E_{(t-1,2,1)}, E_{(2,2,1)}, etc., which is undefined for the stated m because Section 2 defines E_{π,m} only for partitions π of m. For instance, (2,2,1) is not a partition of 4. The intended meaning is clearly the partition with additional trailing 1's, but this shorthand is never introduced, making Lemmas 3.11 and 3.12 as written ill-formed for general m. The induction step 'F_t = E_{(t,1)} for all 3≤t≤m-1' is also inconsistent with F_3 having two components when m=4. Please rewrite the stratification with explicit partitions of m and give a rigorous induction from F_3 to F_m.
- [§4, proof of Theorem C(i)] The proof lifts an arbitrary automorphism ψ of S^mX to an automorphism φ of X^m by citing [BOR20, Proposition 9 and 12] and asserting that the proof is valid for every smooth projective variety X. Since [BOR20] is stated for surfaces and the branch locus of X^m→S^mX has codimension at least 2 when dim X ≥ 3, the lift is not a formal consequence of the surface argument. This step is load-bearing for Theorem C(i) and hence for Theorem A(2). Please provide a self-contained proof of the lift in the generality used, or restate the required theorem explicitly.
- [§3 and §5, reliance on [BSV25a] and [BSV25b]] The paper relies for structurally important facts on two unpublished same-author preprints: [BSV25b, Theorem 2] is used in the proof of Theorem 3.1 (normalization of W and dimension of W_{(m)}), and [BSV25a, Lemma 2.6 and Corollary 4.2] are used in Theorem C(ii) and Remark 3.14. These results are not stated in the manuscript. Please either include the statements, and ideally proofs, of the needed results, or confirm that the preprints are in final accepted form and give precise statements that the reader can verify independently.
minor comments (6)
- [§3, Lemma 3.9] The statement 'ρ(Hilb^m X \ S^m(X)) = 1' is not meaningful as written, since S^m(X) is not a subset of Hilb^m X; the intended open set is presumably the complement of the exceptional divisor E of the Hilbert-Chow morphism.
- [§2 and §3] Please introduce explicitly the convention that E_{(a_1,...,a_k)} stands for the stratum associated to the partition of m obtained by adding (m - Σ a_i) ones; this shorthand is used in Lemmas 3.11-3.12 and Theorem 3.1 without definition.
- [§5, Theorem 5.6] The proof of Theorem 5.6 invokes Lemma 5.5, which assumes X is not an abelian surface, but the theorem statement does not include this hypothesis; either add the hypothesis or handle abelian surfaces separately in the proof.
- [§5, Lemma 5.2] There is a grammatical typo in the statement: 'LetX is an abelian surface' should be 'Let X be an abelian surface'; similar minor typos occur in Lemma 5.9 and elsewhere.
- [§3, Theorem 3.1 Case 2] The reduction of the fibre of Hilb^3X→S^3X over w∈W_{(3)} to the local model H_{3,n} of Lemma 3.7 is not stated; please clarify the local isomorphism used.
- [§5, Theorem 5.6 Step 1] The claim that p^{(m)} is the contraction part of the Albanese map of X^m when p is the contraction part of the Albanese map of X is stated without proof; a brief justification would help the reader.
Circularity Check
No circularity found: the Hilbert-to-symmetric reduction and surface classification do not assume their conclusions.
full rationale
Theorem A is not obtained by assuming Theorem A. It is assembled from Theorems B, C(i), and D. Theorem D is a standalone classification of non-natural automorphisms of symmetric powers whose converse is proved from the Enriques–Kodaira classification, [BOR20]'s lifting result, Lemmas 5.1–5.8, and [Fon24]; none of these inputs contains the Hilbert-scheme conclusion. Theorem B is a geometric equivalence proved by descent (Theorem 3.1) and lift (Theorem 3.2). Descent uses [BSV25b, Theorem 2] for the normalization of Sing(S^3X), [Cha79]/[BK05] for the blow-up structure, and [BOR20]; these are structural facts about symmetric powers and Hilbert–Chow morphisms, not restatements of the target. The same-author preprints [BSV25a], [BSV25b], and [BSV23] are invoked for lemmas on multiprojective bundles and symmetric-power singular loci; they are parameter-free structural statements and do not assume the non-natural-automorphism classification, so under the stated rules they count as independent support rather than circularity. The lift proof in Theorem 3.2 is compressed and leaves the extension across exceptional loci under-verified; that is a rigor gap, not a circular reduction. No fitted parameter is renamed as a prediction, and no equation in the paper is equivalent to its input by construction. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (10)
- standard math Fogarty: Hilb^m(X) is smooth and irreducible for smooth projective surfaces.
- standard math Skjelnes-Smith: for dimension at least 3, Hilb^m(X) is smooth only for m at most 3.
- domain assumption [BOR20, Propositions 9 and 12]: every automorphism of S^mX lifts to an automorphism of X^m.
- ad hoc to paper [BSV25b, Theorem 2]: structural description of the normalization of the relevant strata W in S^mX.
- ad hoc to paper [BSV25a, Lemma 2.6]: isomorphism criterion for multiprojective bundles over Y^m.
- ad hoc to paper [BSV25a, Corollary 4.2]: S^mX determines X up to isomorphism in the relevant range.
- domain assumption [Cha79] and [BK05, Exercise 7.3E(5)]: H minus E1 is the blow-up of S^mX along W minus W1.
- domain assumption [Fon24, Theorem D]: structure of class C surfaces and their connected automorphism groups.
- domain assumption [Mae79, Theorem 2]: for a non-isotrivial fibration, very general fibres admit no non-constant maps from X^{m-1}.
- domain assumption [GV94, Appendix]: End(X)^times is infinite for abelian surfaces with indefinite quaternion endomorphism algebra.
Cite this review
Pith. "Pith review of Automorphisms of punctual Hilbert schemes and symmetric powers of varieties." pith.science (2026). https://pith.science/paper/AL2WPPFV
@misc{pith2026250818059,
author = {Pith},
title = {Pith review of: Automorphisms of punctual Hilbert schemes and symmetric powers of varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/AL2WPPFV}},
note = {Machine review of arXiv:2508.18059}
}
abstract
We classify complex smooth projective surfaces whose punctual Hilbert scheme has a non-natural automorphism preserving the big diagonal. This completely answers a question raised by Belmans, Oberdieck and Rennemo, and extends previous works by Boissi{\`e}re-Sarti, Hayashi, Sasaki, Girardet and Wang. We reduce this to studying the existence of non-natural automorphisms of symmetric powers. We study this question for higher dimensional varieties too, giving some sufficient conditions guaranteeing every automorphism of a symmetric power to be natural. As a corollary, we characterize smooth projective surfaces of Kodaira dimension $\geq 1$ whose punctual Hilbert scheme has a non-natural automorphism, this time not assuming the automorphism preserves the big diagonal. We also address the question, when a smooth projective variety is determined up to isomorphism by its punctual Hilbert scheme.
Forward citations
Cited by 2 Pith papers
-
Automorphisms of very general blow up
For every projective variety of dimension at least two that is not a rational surface, blowing up sufficiently many very general points yields a variety with no nontrivial automorphism.
-
Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties
The indecomposable components of the tangent bundle of the punctual Hilbert scheme of a smooth projective surface are described, proving a conjecture on classifying their products and determining when products of symm...
Reference graph
Works this paper leans on
-
[1]
Nonisolated Saito singularities
[Ale90] Alexandr G Aleksandrov. “Nonisolated Saito singularities”. In: Mathematics of the USSR-Sbornik65.2 (1990), p
work page 1990
-
[5]
Automorphisms of symmetric powers and motivic zeta functions
Tata Institute of Fundamental Re- search Studies in Mathematics. With appendices by C. P. Ramanujam and Yuri Manin, Corrected reprint of the second (1974) edition. Tata Institute of Fundamental Research, Bombay; by Hindustan Book Agency, New Delhi, 2008, pp. xii+263.isbn: 978-81-85931-86-9; 81-85931-86-0. [Occ+23] Gianluca Occhetta et al. “Small bandwidth...
work page Pith review arXiv 1974
-
[80]
Automorphisms of Hilbert Schemes of Points on Abelian Surfaces
Fields Inst. Commun. Fields Inst. Res. Math. Sci., Toronto, ON, 2017, pp. 321–352. [Fog68] John Fogarty. “Algebraic families on an algebraic surface”. In:American Jour- nal of Mathematics90.2 (1968), pp. 511–521. [Fon24] Pascal Fon. “Connected algebraic groups acting on algebraic surfaces”. In: Ann. Inst. Fourier (Grenoble)74.2 (2024), pp. 545–587. [Gir24...
work page Pith review arXiv 1968
-
[231]
Automorphisms of Hilbert schemes of points on surfaces
Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 2005, pp. x+250. [BOR20] Pieter Belmans, Georg Oberdieck, and Jørgen Rennemo. “Automorphisms of Hilbert schemes of points on surfaces”. In:Transactions of the American Math- ematical Society373.9 (2020), pp. 6139–6156. [BS12] Samuel Boissière and Alessandra Sarti. “A note on automorphisms and b...
arXiv 2020
-
[561]
[Bc77] Joël Brian¸con. “Description de HilbnC{x,y}”. In:Invent. Math.41.1 (1977), pp. 45–89. [Bea83] Arnaud Beauville. “Some remarks on Kahler manifolds with c_1= 0”. In: Classification of algebraic and analytic manifolds, Katata, 1982(1983). [BEB09] Ragnar-OlafBuchweitz,WolfgangEbeling,andHans-ChristianGrafvonBoth- mer. “Low-dimensional singularities wit...
work page 1977
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.