A cusp surface singularity is Frobenius liftable

Tatsuro Kawakami, Teppei Takamatsu

arXiv:2608.00644v1 Primary: math.AG Secondary: math.AC

Abstract

We show that a cusp surface singularity is Frobenius liftable. As a consequence, we determine all the Frobenius liftable surface singularities.

Disclosure

“obtain H 2 (Ω1Y (log E)(−E)) = 0 again by dimensional reason. By diagram chasing, we conclude the surjectivity of (3.0.6), and we conclude. □ Declaration of generative AI. During the development of this work, the authors used ChatGPT, powered by GPT-5.6 Sol Pro. The outline of the proof of Theorem A was suggested by the model. The authors subsequently reconstructed and revised the complete argument. The authors take full responsibility for all mathematical claims, proo”
PDF page 6

Classification: Proof ideas or individual proof-step assistance
Multiplier: 8
Verified: 2026-08-23T19:17:58.650211Z

Structural counts

Pages 7 pdf

Theorems 3 source

Lemmas 3 source

Propositions 1 source

Corollaries 1 source

Definitions 1 source

Displayed equations 34 source

Bibliography entries 11 source

Appendix pages 0 estimated

Count notes

Source counts use the expanded primary TeX file main.tex.
Appendix pages include the first PDF page with an explicit Appendix heading through the final page.