Computer-Assisted Proof of the Main Theorem of 'The Classification of Branched Willmore Spheres in the $3$-Sphere and the $4$-Sphere'

Abstract

We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the $3$-Sphere and the $4$-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.

284 pages

Cited by in corpus (3)

• Higher Regularity of Weak Limits of Willmore Immersions I
• Morse Index Estimates of Min-Max Willmore Surfaces
• On the Moduli Space of Null Curves in Klein's Quadric