En Bolza-overflade ( Bolza- kurve ) er en kompakt Riemann-overflade af slægt 2 med den maksimalt mulige rækkefølge af den konforme automorfigruppe for denne rækkefølge, nemlig med gruppen GL 2 (3) af orden 48. Den komplette automorfigruppe (inklusive refleksioner) ) er et halvdirekte produkt af størrelsesorden 96. Affine Bolza-overflademodellen kan opnås som stedet for punkter, der opfylder ligningen
i . Bolza-overfladen er en glat forlængelse en affin kurve. Af alle hyperbolske overflader af slægt 2 har Bolza-overfladen den højeste systole . Som en hyperelliptisk Riemann-overflade opstår den som et forgrenet dobbeltdæksel af Riemann-sfæren med grenpunkter ved seks spidser af et regulært oktaeder indskrevet i kuglen, som det tydeligt kan ses af ovenstående formel.
En Bolza-overflade er en (2,3,8)-trekant overflade ( Schwarz-trekant ): den fuchsiske gruppe , der definerer en Bolza-overflade, er en undergruppe af gruppen dannet af refleksioner med hensyn til siderne af en hyperbolsk vinklet trekant . Denne undergruppe er en undergruppe med et refleksionsgruppeindeks , der består af produktet af et lige antal refleksioner, og som har en abstrakt repræsentation med hensyn til generatorer og relationer samt . Den fuchsiske gruppe , der definerer Bolza-overfladen, er også en undergruppe af (3,3,4) trekantgruppen , som er undergruppen med indeks 2 af trekantgruppen (2,3,8). Gruppen (2,3,8) har ikke en kvaternionalgebraimplementering , men gruppen (3,3,4) har.
Under påvirkning af Poincaré-skiven er det grundlæggende område af Bolza-overfladen en regulær ottekant med vinkler i punkterne
,hvor . De modsatte sider af ottekanten er identificeret under påvirkning af den fuchsiske gruppe. Matricer tjener som generatorer:
,hvor og , sammen med deres invers. Generatorer opfylder forholdet:
Algebraiske kurver | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Rationelle kurver |
| ||||||||||
Elliptiske kurver |
| ||||||||||
højere slægt |
| ||||||||||
Flade kurver |
| ||||||||||
Riemann overflader |
| ||||||||||
Bygninger |
| ||||||||||
Kurvestruktur _ |
|