A counterexample to the odd-dimensional rank bound for abelian \texorpdfstring{$p$}{p}-group actions
Abstract
We disprove the odd-dimensional extension, conjectured by Moraga and recorded by Kollár and Zhuang, of the rank bound for faithful abelian $p$-group actions on smooth Calabi--Yau varieties. The main result of this paper was obtained by ChatGPT 5.5 pro, and the Danus system based on the Rethlas system.
Disclosure
“In particular, the conjecture of Moraga in [KZ26, Remark 22] is false. Remark 1.2. The sketch of the proof of the main result of this paper was obtained by Chatgpt 5.5 pro, and later summed up, verified, and properly written by the Danus system, a specialized agent built on Rethlas and substantially more capable for f”
PDF page 1
- Classification
- Substantial proof generation
- Multiplier
- 10
- Verified
Structural counts
Pages 4 pdf
Theorems 1 source
Lemmas 0 source
Propositions 3 source
Corollaries 0 source
Definitions 0 source
Displayed equations 18 source
Bibliography entries 2 source
Appendix pages 0 estimated
Count notes
- Source counts use the expanded primary TeX file pgprk.tex.
- Appendix pages include the first PDF page with an explicit Appendix heading through the final page.