Přineste křivku

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 8. února 2022; kontroly vyžadují 5 úprav .

Bringova křivka (také nazývaná Bring surface ) je křivka daná pomocí

Název křivky dal Klein [1] po Erlandu Samuelu Bringovi, který podobnou konstrukci studoval v roce 1786 v diplomové práci prezentované na univerzitě v Lundu .

Automorfismy křivky jsou symetrická grupa S 5 řádu 120, daná permutacemi 5 souřadnic . Jedná se o největší možnou skupinu automorfismů komplexní křivky 4. druhu.

Křivka může být realizována jako trojitý kryt , rozvětvený ve 12 bodech, a je to Riemannův povrch spojený s malým hvězdicovitým dvanáctistěnem . Povrch má 4 rody. Úplná skupina symetrie (včetně odrazů) je přímý produkt , který má řád 240.

Základní oblast a systola

Bringovu křivku lze získat jako Riemannovu plochu identifikací stran hyperbolického šestiúhelníku (viz základní polygon ), její kresba je zobrazena vpravo. Dvanáctúhelník (o ploše , podle Gauss-Bonnetova vzorce ) lze rozložit pomocí 240 (2,4,5) trojúhelníků. Akce, které přenášejí jeden z těchto trojúhelníků na druhý, poskytují kompletní skupinu povrchových automorfismů (včetně odrazů). Pokud jsou odrazy ignorovány, dostaneme 120 výše zmíněných automorfismů. Všimněte si, že 120 je méně než 252, maximální počet automorfismů zachovávajících orientaci možný pro povrch rodu 4, podle Hurwitzovy teorému o automorfismu . Povrch Bring tedy není povrch Hurwitz . To také říká, že neexistuje žádný Hurwitzův povrch rodu 4.

Kompletní skupina symetrie má následující reprezentaci:

,

kde je akce identity, je rotace řádu 5 kolem středu základního mnohoúhelníku, je rotace řádu 2 ve vrcholu, kde se setkávají 4 (2,4,5) trojúhelníky v dlaždici, a je odrazem kolem reálná osa. Z této reprezentace lze pomocí GAP vypočítat informace o lineární reprezentaci skupiny symetrií Bringovy plochy . Skupina má konkrétně čtyři jednorozměrné, čtyři čtyřrozměrné, čtyři pětirozměrné a dvě šestirozměrné neredukovatelné reprezentace a máme

podle očekávání.

Systola povrchu má délku

Stejně jako Kleinova kvartika ani Bringův povrch nemaximalizuje délku systoly mezi kompaktními Riemannovými povrchy ve své topologické kategorii (tj. mezi povrchy stejného rodu), přestože maximalizuje velikost skupiny automorfismu. Systola je (zřejmě) maximalizována povrchem označeným jako M4 v Schmutzově práci [2] . Délka systoly M4 je

a má násobek 36.

Spektrální teorie

O spektru povrchu Bring je známo jen málo, ale tento směr výzkumu může být zajímavý. Bolzův povrch a Kleinova kvartika mají největší skupiny symetrie mezi kompaktními Riemannovými povrchy negativního zakřivení rodu 2 a 3, v tomto pořadí, a poté se předpokládalo, že maximalizují první kladné vlastní číslo ve spektru laplaciánu. Na podporu této domněnky existují silné numerické důkazy, zejména v případě povrchu Bolza, ačkoli rigorózní důkaz zůstává otevřeným problémem. V souladu s tím lze rozumně předpokládat, že Bringův povrch maximalizuje první kladnou vlastní hodnotu Laplaceova operátoru (mezi povrchy v topologické třídě).

Viz také

Poznámky

  1. Klein, 2003 , s. 157.
  2. Schmutz, 1993 .

Literatura