Equivalence of extension by symmetry and analytic continuation beyond reflection groups

Prove that for wallpaper symmetry groups other than pure reflection groups (including the Euclidean wallpaper group with orbifold notation 2222), extension of a conformal map beyond the boundary of the fundamental region by applying the group’s isometries coincides with analytic continuation, analogously to the Schwarz reflection principle for reflection groups, thereby ensuring that hyperbolizations produced via extension by symmetry are conformal.

Background

The authors distinguish two ways to extend conformal maps beyond the fundamental region: by symmetry (using group operations) and by analytic continuation. For reflection groups these coincide via the Schwarz reflection principle.

They conjecture that this equivalence also holds for other symmetry groups lacking reflections. Establishing this result would guarantee that their symmetry-based extension algorithm yields conformal hyperbolizations for these groups.

References

The question remains how to extend this conformal map beyond the boundary of the fundamental region. For reflection groups, these two concepts coincided due to the SRP. We strongly conjecture that this is also the case for other symmetry groups. If our conjecture holds, these hyperbolizations will automatically be conformal.

The Smooth Power of the "Neandertal Method" (2507.07569 - Montag et al., 10 Jul 2025) in Section 6, Subsection “2222 and bigcirc”