REVIEW 2 major objections 1 minor 2 cited by
Galois self-covers of projective spaces and essential dimensions
T0 review · 2 major / 1 minor · reviewed 2026-07-12 · grok-4.5
Pith's one-line read Galois self-covers of projective space always have essential dimension n and make a log Calabi-Yau pair.
desk verdict Structure theorem for Galois self-covers of P^n plus two sharp applications; abstract-only so proofs unchecked, but the claims are coherent and worth refereeing. 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 structure theorem for Galois self-covers f:P^n o P^n, which lists all such morphisms and thereby computes both essential dimension and the log Calabi-Yau property of the pair formed by the ramification divisor.
What would settle it
Exhibit a Galois self-cover of P^n whose essential dimension is strictly less than n, or a cover for which (P^n,R_f/(q-1)) fails to be log Calabi-Yau.
Extended reading notes
Core claim
Every Galois self-cover f of projective n-space is described by a structure theorem; as a consequence every nontrivial such f has essential dimension equal to n, and the pair (P^n, R_f/(q-1)) is log Calabi-Yau whenever f^*O(1)=O(q).
Load-bearing premise
The classification of Galois self-covers is complete under the base-field and characteristic hypotheses needed for both applications.
Editorial extensions
If this is right
- Every nontrivial Galois self-cover of P^n has essential dimension exactly n.
- The pair (P^n,R_f/(q-1)) is log Calabi-Yau for every such cover with f^*O(1)=O(q).
- Gongyo’s conjecture holds for all Galois self-covers of projective space.
- Further questions about these covers reduce to checking cases on the classified list.
Reading between the lines
- The same structure theorem may constrain essential dimensions of Galois covers between other rational varieties.
- The log Calabi-Yau statement suggests that the ramification of these covers is highly constrained by the anticanonical class.
- An independent proof of the essential-dimension claim that avoids the full classification would test whether the structure theorem is necessary.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript announces a structure theorem for Galois self-covers f: P^n → P^n. As applications it claims that every nontrivial such cover has essential dimension equal to its maximum possible value n, and that the pair (P^n, R_f/(q-1)) is log Calabi-Yau (confirming a conjecture of Gongyo), where R_f is the ramification divisor and f^*O(1)=O(q).
Significance. A complete structure theorem for Galois self-covers of projective space would be a substantial contribution to algebraic geometry. The two applications—if established under the appropriate field and characteristic hypotheses—would be of independent interest: the essential-dimension claim shows that nontrivial Galois self-covers attain the absolute upper bound n, and the log Calabi-Yau claim settles a conjecture of Gongyo in birational geometry. These are high-value results if the proofs hold.
major comments (2)
- [Abstract] Only the abstract is available for review. The structure theorem is the load-bearing result on which both applications rest; without the body of the paper (definitions, case divisions, field/characteristic hypotheses, and proofs) it is impossible to verify that the classification is exhaustive under the conditions needed for essential dimension and for log pairs. In particular, completeness when the characteristic divides q-1, and validity of the essential-dimension computation over the relevant base fields, cannot be checked. This is a barrier to assessment rather than an identified error.
- [Abstract (applications paragraph)] The abstract asserts the essential-dimension and log Calabi-Yau conclusions as consequences of the structure theorem, but does not record the base-field or characteristic hypotheses under which either the theorem or the applications are claimed. Those hypotheses are load-bearing for both applications; their absence from the only available text prevents confirmation that the conclusions hold in the settings where essential dimension and log Calabi-Yau pairs are defined.
minor comments (1)
- [Abstract] The abstract is clear and self-contained as a statement of results, but the notation R_f and the relation f^*O(1)=O(q) would benefit from a one-line expansion even in the abstract for readers outside the immediate subfield.
Circularity Check
No significant circularity: pure structure theorem with applications; abstract shows no self-definitional or fitted reductions.
full rationale
Only the abstract is available. It announces a structure theorem for Galois self-covers f: P^n → P^n, then two applications (essential dimension of every nontrivial such cover equals n; the pair (P^n, R_f/(q-1)) is log Calabi-Yau). There are no equations, fitted parameters, empirical data, or load-bearing self-citations visible in the abstract. The applications are presented as consequences of the classification, not as quantities forced by construction from inputs that already encode them. No uniqueness theorem is imported from the authors' prior work within the given text; Gongyo's conjecture is cited as an external target being proved, not as a self-justifying premise. With no quoteable reduction of a claimed prediction or first-principles result to its own inputs, the circularity score is 0. Residual uncertainty about completeness of the classification under field/characteristic hypotheses is a correctness/scope issue, not circularity.
Assumptions & free parameters
assumptions (4)
- standard math Standard foundations of algebraic geometry (schemes, projective space, finite morphisms, ramification divisors).
- domain assumption Definition and basic properties of essential dimension of a Galois cover / algebraic object.
- domain assumption Definition of log Calabi-Yau pairs and the statement of Gongyo’s conjecture for (P^n, R_f/(q-1)).
- ad hoc to paper Unstated base-field and characteristic hypotheses under which the structure theorem and both applications hold.
Cite this review
Pith. "Pith review of Galois self-covers of projective spaces and essential dimensions." pith.science (2026). https://pith.science/paper/IO4KZALM
@misc{pith2026260610207,
author = {Pith},
title = {Pith review of: Galois self-covers of projective spaces and essential dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/IO4KZALM}},
note = {Machine review of arXiv:2606.10207}
}
abstract
We give the structure theorem of Galois self-covers $f: \mathbf{P}^n \to \mathbf{P}^n$. As an application, we show that the essential dimension of every such nontrivial cover attains its maximum possible value $n$. As another application, we prove that the pair $(\mathbf{P}^n, R_f/(q-1))$ is log Calabi-Yau as conjectured by Gongyo, where $R_f$ is the ramification divisor and we write $f^*\mathcal{O}(1) = \mathcal{O}(q)$.
Forward citations
Cited by 2 Pith papers
-
Log Calabi--Yau structure for endomorphisms on $\mathbf{P}^n$
For every q-polarized endomorphism of P^2, some iterate (P^2, R_{f^s}/(q^s-1)) is log canonical, settling Gongyo's conjecture for smooth projective surfaces.
-
Essential dimensions of polarized endomorphisms of certain algebraic surfaces
Affirms incompressibility of Galois polarized endomorphisms on birationally ruled surfaces above an explicit degree bound depending only on X, with examples showing the bound is optimal.
Reviewed July 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.