Automorphisms of the Worm Domain

The Diederich-Fornæss worm domain, an important example of a smoothly bounded pseudoconvex domain without a Stein neighborhood basis, provides key counterexamples in the theory of Several Complex Variables. In this paper, we examine its automorphism group and observe that its boundary is locally spherical everywhere except at the exceptional locus and the caps.