Povrch Bolza

Bolzova plocha ( Bolzova křivka ) je kompaktní Riemannova plocha rodu 2 s maximálním možným řádem skupiny konformního automorfismu pro tento řád, konkrétně s grupou GL 2 (3) řádu 48. Kompletní grupa automorfismu (včetně odrazů ) je polopřímý součin řádu 96. Afinní model povrchu Bolzy lze získat jako místo bodů splňujících rovnici

v . Bolzův povrch je hladké prodloužení afinní křivky. Ze všech hyperbolických ploch rodu 2 má Bolzova plocha nejvyšší systolu . Jako hypereliptický Riemannův povrch vzniká jako rozvětvený dvojitý obal Riemannovy koule s body větvení v šesti vrcholech pravidelného osmistěnu do koule, jak je jasně vidět z výše uvedeného vzorce.

Trojúhelníkový povrch

Bolzova plocha je (2,3,8)-trojúhelníková plocha ( Schwarzův trojúhelník ): Fuchsova grupa , která definuje Bolzovu plochu, je podgrupou grupy tvořené odrazy vzhledem ke stranám hyperbolického lomeného trojúhelníku . Tato podskupina je podskupinou s indexem reflexní skupiny, která se skládá ze součinu sudého počtu odrazů a která má abstraktní reprezentaci z hlediska generátorů a vztahů i . Fuchsova grupa , která definuje Bolzovu plochu, je také podgrupou (3,3,4) trojúhelníkové grupy , což je podgrupa s indexem 2 trojúhelníkové grupy (2,3,8). Skupina (2,3,8) nemá implementaci kvaternionové algebry , ale skupina (3,3,4) ano.

Při působení Poincarého disku je základní oblastí Bolzova povrchu pravidelný osmiúhelník s úhly v bodech.

,

kde . Protilehlé strany oktagonu jsou identifikovány při akci fuchsovské skupiny. Matice slouží jako generátory:

,

kde a , spolu s jejich převrácenými hodnotami. Generátory splňují vztah:

Viz také

Literatura