Hozd görbe

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2022. február 8-án felülvizsgált verziótól ; az ellenőrzések 5 szerkesztést igényelnek .

A Bring görbe (más néven Bring felület ) az a görbe , amelyet a

A görbe nevét Klein [1] adta Erland Samuel Bring után, aki hasonló konstrukciót tanulmányozott 1786-ban a Lundi Egyetemen bemutatott disszertációjában .

A görbe automorfizmusai a 120-as rendű S 5 szimmetrikus csoport , amelyet 5 koordináta permutációi adnak meg . Ez a 4. típusú komplex görbe automorfizmusainak lehetséges legnagyobb csoportja.

A görbe a gömb hármas fedőjeként valósítható meg, amely 12 pontban elágazik, és egy Riemann-felület , amely a kis csillagú dodekaéderhez kapcsolódik . A felszínen 4 nemzetség található. A teljes szimmetriacsoport (beleértve a reflexiókat is) a közvetlen szorzat , amelynek 240-es a sorrendje.

Fundamental area and systole

A Bring-görbe egy hiperbolikus hatszög oldalainak azonosításával kapható meg Riemann-felületként (lásd alapsokszög ), rajza a jobb oldalon látható. Egy kétszög (területe a Gauss-Bonnet képlet szerint ) 240 (2,4,5) háromszögből rakható ki. Azok a műveletek, amelyek e háromszögek egyikét a másikba helyezik át, a felületi automorfizmusok teljes csoportját adják (beleértve a visszaverődéseket is). Ha figyelmen kívül hagyjuk a tükröződéseket, akkor a fent említett 120 automorfizmust kapjuk. Megjegyzendő, hogy a 120 kisebb, mint 252, ami a 4. nemzetséghez tartozó felületen lehetséges orientációmegőrző automorfizmusok maximális száma a Hurwitz-féle automorfizmus-tétel szerint . Ezért a Bring felület nem Hurwitz felület . Ez azt is mondja, hogy nincs a 4-es nemzetséghez tartozó Hurwitz felület.

A teljes szimmetriacsoport a következő ábrázolással rendelkezik:

,

ahol az azonosságművelet, egy 5-ös rendű elforgatás az alapsokszög közepe körül, egy 2-es rendű elforgatás abban a csúcsban, ahol 4 (2,4,5) háromszög találkozik a csempézésben, és tükröződik a valódi tengely. Ebből az ábrázolásból a Bring felület szimmetriacsoportjának lineáris ábrázolására vonatkozó információ számítható ki GAP segítségével . A csoportnak négy egydimenziós, négy négydimenziós, négy ötdimenziós és két hatdimenziós irreducibilis reprezentációja van.

ahogy az várható volt.

A felület szisztoléjának van egy hossza

A Klein-kvartikushoz hasonlóan a Bring-felület sem maximalizálja a szisztolés hosszát a topológiai kategóriájába tartozó kompakt Riemann-felületek között (vagyis az azonos nemzetséghez tartozó felületek között), annak ellenére, hogy maximalizálja az automorfizmus-csoport méretét. A szisztolát (látszólag) maximalizálja az M4-nek jelölt felület Schmutz papírjában [2] . M4 szisztolés hossza

és a többszöröse 36.

Spektrálelmélet

A Bring felszín spektrumáról keveset tudunk , de ez a kutatási irány érdekes lehet. A Bolza-felszín és a Klein-kvartikus rendelkezik a legnagyobb szimmetriacsoportokkal a 2. és 3. nemzetség negatív görbületű kompakt Riemann-felületei között, és ezután azt feltételezték, hogy ezek maximalizálják az első pozitív sajátértéket a laplaci spektrumban. Erős számszerű bizonyítékok támasztják alá ezt a sejtést, különösen a bolzai felszín esetében, bár a szigorú bizonyíték továbbra is nyitott probléma. Ennek megfelelően ésszerűen feltételezhető, hogy a Bring felület maximalizálja a Laplace-operátor első pozitív sajátértékét (egy topológiai osztály felületei között).

Lásd még

Jegyzetek

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

Irodalom