Grupul triunghiului (2,3,7)

În teoria Format:Ill-wd și a geometriei hiperbolice grupul triunghiului (2,3,7) este deosebit de important. Această importanță provine din legătura sa cu Format:Ill-wd, și anume, suprafețele Riemann din genul g de cel mai mare ordin posibil, 84(g − 1), din grupul său de automorfisme.

O notă despre terminologie: grupul triunghiului (2,3,7) nu se referă la grupul triunghiului plin Δ(2,3,7) (grupul Coxeter cu triunghiul Schwarz (2,3,7) sau o realizare ca un grup de reflexii hiperbolic, ci la grupul triunghiului obișnuit (grupul von Dyck) D(2, 3,7) a transformărilor care conservă orientarea (grupul de rotație), indice 2.

Subgrupurile normale fără torsiune ale grupului triunghiului (2,3,7) sunt Format:Ill-wd asociate cu suprafețele Hurwitz, cum ar fi Format:Ill-wd, suprafața Macbeath și primul triplet Hurwitz.

Construcții

Construcția hiperbolică

Grupul triunghiului (2,3,7) este grupul de izometrii care conservă orientarea pavării prin triunghiul Schwarz (2,3,7), prezentat aici în modelul discului Poincaré

Pentru a construi grupul triunghiului se începe cu un triunghi hiperbolic cu unghiurile Format:Math, Format:Math și Format:Math. Acest triunghi, cel mai mic triunghi Schwarz hiperbolic, pavează planul prin reflexii pe laturile sale. Luând în considerare grupul generat de reflexiile pe laturile triunghiului, care (din moment ce dalele sunt triunghiulare) este un grup cristalografic neeuclidian (un subgrup discret de izometrii hiperbolice) având acest triunghi ca domeniu fundamental. Pavarea asociată este pavarea kisrombică 3-7. Grupul triunghiului (2,3,7) este definit ca un subgrup Format:Ill-wd 2, constând din izometriile care conservă orientarea, care este un grup fuchsian (grup neeuclidian care păstrează orientarea). Format:Tabel pavări de ordinul 7-3

Prezentarea grupului

Are o prezentare în termeni de pereche de generatori, g₂, g₃, modulo următoarele relații:

$g_2^2=g_3^3=(g_2{g}_3{)}^7=1.$

Geometric, acestea corespund rotațiilor de $\frac{2\pi }{2},\frac{2\pi }{3}$ și $\frac{2\pi }{7}$ față de vârfurile triunghiului Schwarz.

În algebra cuaternionilor

Grupul triunghiului (2,3,7) admite o prezentare în termeni de grup de cuaternioni cu norma 1 de un ordin potrivit într-o algebră a cuaternionilor. Mai precis, grupul triunghiului este câtul grupului de cuaternioni după centrul său ±1.

Fie $\eta =2\cos 2\pi /7.$ Atunci, din identitatea

$(2-\eta {)}^3=7(\eta -1{)}^2.$

se vede că Q(η) este o extensie cubică reală totală a lui Q. Grupul triunghiului hiperbolic (2,3,7) este un subgrup al grupului de elemente cu norma 1 din algebra cuaternionilor generat ca algebră asociativă de perechea de generatori i,j și relațiile i² = j² = η, ij = −ji . Se alege un cuaternion Hurwitz de ordin potrivit ${𝒬}_{\mathrm{H}\mathrm{u}\mathrm{r}}$. Aici ordinul ${𝒬}_{\mathrm{H}\mathrm{u}\mathrm{r}}$ este generat de elementele

$g_2=\frac{1}{\eta }ij$

$g_3=\frac{1}{2}(1+({\eta }^2-2)j+(3-{\eta }^2)ij).$

De fapt, ordinul este un Z[η]-modul liber peste baza $1,g_2,g_3,g_2{g}_3$. Aici generatorii satisfac relațiile

$g_2^2=g_3^3=(g_2{g}_3{)}^7=-1,$

care devin relațiile corespunzătoare în grupul triunghiului.

Relația cu SL(2,R)

Vizualizarea transformării (2,3,∞) → (2,3,7) prin transformarea pavărilor asociate.

Extinzând scalarii de la Q(η) la R se obține un izomorfism între algebra cuaternionilor și algebra M(2,R) a matricilor reale 2 × 2. Alegerea unui izomorfism concret permite prezentarea grupului triunghiului (2,3,7) ca un grup fuchsian specific în SL(2,R), în special ca un cât al Format:Ill-wd. Acest lucru poate fi vizualizat în pavările asociate, așa cum este descris în dreapta: pavarea (2,3,7) de pe discul Poincaré este un cât al pavării modulare de pe semiplanul superior.

Totuși, pentru multe scopuri izomorfismele explicite sunt inutile. Astfel, urmele elementelor grupului (prin urmare și lungimile de translație ale elementelor hiperbolice care acționează în semiplanul superior, precum și Format:Ill-wd subgrupurilor fuchsiene) pot fi calculate prin intermediul reducerii urmei în algebra cuaternionilor și formula

$\mathrm{tr}(\gamma )=2\cosh ({\ell }_{\gamma }/2).$

Bibliografie

• Format:En icon Format:Cite conference
• Format:En icon Format:Cite journal