Quártica de Klein

A quártica de Klein é um quociente da ordem triangular da ordem 7 .

Dualmente, o quártico Klein é um quociente do ladrilho duplo, o ladrilho heptagonal da ordem 3 .

Na geometria hiperbólica, a quártica de Klein (nomeado por Felix Klein) é uma superfície de Riemann compacta do gênero Predefinição:Math com o grupo de automorfismo de ordem mais alta possível para esse gênero, com ordem de Predefinição:Math automorfismos de preservação de orientação e Predefinição:Math automorfismos se a orientação puder ser revertida. Como tal, o quártico Klein é a superfície de Hurwitz do gênero mais baixo possível; veja o teorema dos automorfismos de Hurwitz. Seu grupo de automorfismo (preservação da orientação) é isomórfico ao PSL(2,7), o segundo menos grupo simples não-abeliano. O quártico foi primeiramente descrito em por Klein, em 1878.

O quártico de Klein ocorre em muitos ramos da matemática, em contextos que incluem a teoria das representações, a teoria da homologia, a multiplicação de octões, o último teorema de Fermat e o teorema de Stark-Heegner em campos numéricos quadráticos imaginários da classe número um; consulte Predefinição:Harv para uma pesquisa de propriedades.

Originalmente, o "Klein quártico" a que se refere especificamente ao subconjunto do complexo plano projectiva Predefinição:Math definida por uma equação algébrica . Isso possui uma métrica riemanniana específica (que a torna uma superfície mínima em Predefinição:Math ), sob a qual sua curvatura gaussiana não é constante. Mas, mais comumente (como neste artigo), agora é entendida como qualquer superfície de Riemann que seja conformemente equivalente a essa curva algébrica, e especialmente a que é um quociente do plano hiperbólico Predefinição:Math de determinados cocompactos grupos Predefinição:Mvar, que age livremente no Predefinição:Math isometricamente. Isto dá o Klein quártico uma métrica Riemannianos de curvatura constante Predefinição:Math que herda a partir de Predefinição:Math Esse conjunto de superfícies Riemannianas conformemente equivalentes é exatamente o mesmo que todas as superfícies Riemannianas compactas do gênero 3, cujo grupo de automorfismo é isomórfico ao grupo simples e único da ordem 168. Esse grupo também é conhecido como Predefinição:Math e também como grupo isomórfico Predefinição:Math . Pela teoria do recobrimento, o grupo Predefinição:Mvar mencionado acima é isomórfico ao grupo fundamental da superfície compacta do gênero Predefinição:Math.

Formas fechadas e abertas

É importante distinguir duas formas diferentes do quártico. O quártico fechado é o que geralmente se menciona em geometria; topologicamente, existe o gênero 3 e é um espaço compacto. O quártico aberto ou "perfurado" é de interesse na teoria dos números; topologicamente, é uma superfície do gênero 3 com 24 perfurações, e geometricamente essas perfurações são cúspides . O quártico aberto pode ser obtido (topologicamente) do quártico fechado, perfurando nos 24 centros do "telhado" por heptágonos regulares, como discutido abaixo. Os quânticos abertos e fechados têm métricas diferentes, embora sejam hiperbólicos e completos - geometricamente, as cúspides são "pontos no infinito", não buracos, portanto o quático aberto ainda está completo.

Como uma curva algébrica

O quártico Klein pode ser visto como uma curva algébrica projetada sobre os números complexos Predefinição:Math, definidos pela seguinte equação quártica em coordenadas homogêneas Predefinição:Math em Predefinição:Math :

$x^{3}y+y^{3}z+z^{3}x=0.$

O locus de esta equação em Predefinição:Math é a superfície de Riemannian original que Klein descreveu.

Construção de álgebra de quaternião

O quártico compacto de Klein pode ser construído como quociente do plano hiperbólico pela escolha de um grupo fuchsiano adequado Predefinição:Math que é o principal subgrupo de congruência associado ao ideal. $I=⟨\eta -2⟩$ no anel dos números inteiros algébricos Predefinição:Math do campo Predefinição:Math onde Predefinição:Math . Observe a identidade

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

exibindo Predefinição:Math como fator primo de 7 no anel de números inteiros algébricos.

O grupo Predefinição:Math é um subgrupo do grupo do triângulo hiperbólico (2,3,7) . Nomeadamente, Predefinição:Math é um subgrupo do grupo de elementos da norma de unidade na álgebra quaternária gerada como uma álgebra associativa pelos geradores Predefinição:Mvar e relações

$i^2=j^2=\eta ,ij=-ji.$

Escolhe-se uma ordem de quaternião Hurwitz adequada ${𝒬}_{\mathrm{H}\mathrm{u}\mathrm{r}}$ na álgebra de quaternião, Predefinição:Math é então o grupo dos elementos da norma 1 em $1+I{𝒬}_{\mathrm{H}\mathrm{u}\mathrm{r}}$ . O valor mínimo absoluto de um traço de um elemento hiperbólico em Predefinição:Math é ${\eta }^2+3\eta +2$, correspondendo ao valor de 3.936 para a sístole do quártico Klein, um dos mais altos deste gênero.

Revestimento

O lado a lado do quártico pelos domínios de reflexão é um quociente do 3-7 kisrhombille .

O quártico Klein admite revestimento ligados ao grupo de simetria (um " mapa regular " ), e estas são usadas na compreensão do grupo de simetria, que refere-se ao artigo original de Klein. Dado um domínio fundamental para a ação do grupo (para o grupo completo de simetria de inversão de orientação, um triângulo (2,3,7)), os domínios de reflexão (imagens desse domínio no grupo) fornecem um mosaico do quártico, de modo que o grupo automorfismo do ladrilho é igual ao grupo automorfismo da superfície - os reflexos nas linhas do ladrilho correspondem aos reflexos do grupo (os reflexos nas linhas de um dado triângulo fundamental fornecem um conjunto de três reflexões geradoras). Esse mosaico é um quociente do mosaico heptagonal dividido em ordem 3 do plano hiperbólico (a cobertura universal do quártico), e todas as superfícies de Hurwitz são lado a lado da mesma maneira que os quocientes.

Esse mosaico é uniforme, mas não regular (é por triângulos escalenos ) e, em geral, são usados inclinações regulares. Um quociente de qualquer lado a lado na família (2,3,7) pode ser usado (e terá o mesmo grupo de automorfismo); destes, as duas inclinações regulares são o lado a lado de 24 heptágonos hiperbólicos regulares, cada um do grau 3 (encontrando-se em 56 vértices), e o lado a lado duplo por 56 triângulos equiláteros, cada um do grau 7 (encontrando-se nos 24 vértices). A ordem do grupo automorfismo está relacionada, sendo o número de polígonos vezes o número de arestas no polígono nos dois casos.

24 × 7 = 168

56 × 3 = 168

As inclinações de cobertura no plano hiperbólico são as peças heptagonais da ordem 3 e as peças triangulares da ordem 7 .

O grupo automorfismo pode ser aumentado (por uma simetria que não é realizada por uma simetria da cobertura) para produzir o grupo Mathieu M ₂₄ .

Correspondente a cada superfície da quártica (partição da variedade do quártico em subconjuntos) é um poliedro abstrato, que é abstraído da geometria e reflete apenas a combinatória do lado a lado (essa é uma maneira geral de obter um polítopo abstrato de um lado a lado) - os vértices, arestas e faces do poliedro são iguais em conjuntos aos vértices, arestas e faces do lado a lado, com as mesmas relações de incidência, e o grupo automorfismo (combinatório) do poliedro abstrato é igual ao grupo automorfismo (geométrico) do quártico. Dessa forma, a geometria se reduz a combinatória.

Quártico afim

O que foi apresentado acima é um mosaico do quártico projetivo (um dos diversos fechado); o quártico afim possui 24 cúspides (topologicamente, punções), que correspondem aos 24 vértices do mosaico triangular regular ou equivalentemente aos centros dos 24 heptágonos no mosaico heptagonal, e podem ser realizados da seguinte forma.

Considerando-se a ação de Predefinição:Math no superior semi-plano modelo Predefinição:Math do plano hiperbólico por transformações Möbius, o quártico Klein afim pode ser realizado como o quociente Predefinição:Math (Aqui Predefinição:Math é o subgrupo de congruência do Predefinição:Math consiste em matrizes que são congruentes com a matriz de identidade quando todas as entradas são tomadas no módulo 7. )

Domínio fundamental e decomposição das calças

O quártico de Klein pode ser obtido como quociente do plano hiperbólico pela ação de um grupo fuchsiano. O domínio fundamental é um tetradecágono(14) regular, que tem área $8\pi$ pelo teorema de Gauss-Bonnet . Isso pode ser visto na figura ao lado, que também inclui os triângulos 336 (2,3,7) que pavimentam a superfície e geram seu grupo de simetrias.

O domínio fundamental do quártico de Klein. A superfície é obtida pela associação de lados com números iguais.

Dentro do mosaico por (2,3,7) triângulos existe um mosaico por 24 heptágonos regulares. A sístole da superfície passa pelos pontos médios dos 8 lados do heptágono; por esse motivo, foi referido como "geodésico em oito etapas" na literatura e é o motivo do título do livro na seção abaixo. Todas as curvas coloridas na figura que mostram a decomposição das calças são sístoles, no entanto, este é apenas um subconjunto; existem 21 no total. O comprimento da sístole é dado por:

$16{\sinh }^{-1}(\left(\frac{1}{2}\sqrt{{\csc }^2\left(\frac{\pi }{7}\right)-4}\right)\sin \left(\frac{\pi }{7}\right))\approx 3.93594624883.$

Uma fórmula fechada equivalente é

$8{\cosh }^{-1}(\frac{3}{2}-2{\sin }^2\left(\frac{\pi }{7}\right)).$

Enquanto o quártico Klein maximiza o grupo de simetria para superfícies do gênero 3, ele não maximiza o comprimento da sístole. O maximizador conjecturado é a superfície denominada "M3" Predefinição:Harv. M3 vem de um mosaico de (2,3,12) triângulos e sua sístole tem multiplicidade 24 e comprimento

$2{\cosh }^{-1}(2+\sqrt{3})\approx 3.9833047820988736.$

Uma decomposição das calças do quártico Klein. A figura à esquerda mostra a geodésica de contorno no mosaico (2,3,7) do domínio fundamental. Na figura à direita, as calças foram coloridas de maneira diferente para deixar claro qual parte do domínio fundamental pertence a qual par de calças.

O quártico de Klein pode ser decomposto em quatro pares de calças cortando ao longo de seis de suas sístoles. Essa decomposição fornece um conjunto simétrico de coordenadas de Fenchel-Nielsen, onde os parâmetros de comprimento são todos iguais ao comprimento da sístole e os parâmetros de torção são iguais a $\frac{1}{8}$ do comprimento da sístole. Em particular, tomar $l(S)$ para ter o comprimento da sístole, as coordenadas são

$\{l(S),\frac{l(S)}{8};l(S),\frac{l(S)}{8};l(S),\frac{l(S)}{8};l(S),\frac{l(S)}{8};l(S),\frac{l(S)}{8};l(S),\frac{l(S)}{8}\}.$

O gráfico cúbico correspondente à decomposição dessa calça é o gráfico tetraédrico, ou seja, o gráfico de 4 nós, cada um conectado ao outros 3. O gráfico tetraédrico é semelhante ao gráfico para o plano Fano projetivo; de fato, o grupo automorfismo do quártico de Klein é isomórfico ao do plano de Fano.

Teoria espectral

As oito funções correspondentes ao primeiro autovalor positivo da quártica de Klein. As funções são zero ao longo das linhas azuis claras. Esses gráficos foram produzidos no FreeFEM ++ .

Pouco foi provado sobre a teoria espectral da quártica de Klein, no entanto, foi conjeturado que ele maximiza o primeiro valor próprio positivo do operador Laplace entre todas as superfícies compactas de Riemann do gênero 3 com curvatura negativa constante. Essa conjectura deriva do fato de o quártico de Klein ter o maior grupo de superfícies de simetria de sua classe topológica, bem como a superfície de Bolza no gênero 2. Os autovalores do quartico de Klein foram calculados com diferentes graus de precisão. Os 15 primeiros autovalores positivos distintos são mostrados na tabela a seguir, juntamente com suas multiplicidades.

Cálculos numéricos dos 15 primeiros autovalores positivos do quártico de Klein

Valor próprio	Valor numérico	Multiplicidade
${\lambda }_0$	0 0	1
${\lambda }_1$	2.67793	8
${\lambda }_2$	6.62251	7
${\lambda }_3$	10.8691	6
${\lambda }_4$	12.1844	8
${\lambda }_5$	17,2486	7
${\lambda }_6$	21.9705	7
${\lambda }_7$	24.0811	8
${\lambda }_8$	25.9276	6
${\lambda }_9$	30,8039	6
${\lambda }_{10}$	36,4555	8
${\lambda }_{11}$	37.4246	8
${\lambda }_{12}$	41.5131	6
${\lambda }_{13}$	44,8884	8
${\lambda }_{14}$	49.0429	6
${\lambda }_{15}$	50.6283	6

Modelos tridimensionais

A quártica de Klein não pode ser realizado como uma figura tridimensional, no sentido de que nenhuma figura tridimensional possui simetrias (rotacionais) iguais a Predefinição:Math, uma vez que Predefinição:Math não é incorporado como um subgrupo de Predefinição:Math (ou Predefinição:Math ) - não possui uma representação linear tridimensional (não trivial) sobre os números reais.

No entanto, muitos modelos tridimensionais do quártico de Klein foram apresentados, começando no artigo original de Klein, que procuram demonstrar características do quártico e preservar topicamente as simetrias, embora nem todos geometricamente. Os modelos resultantes geralmente têm simetrias tetraédrica (ordem 12) ou octaédrica (ordem 24); a simetria da ordem restante 7 não pode ser tão facilmente visualizada, e de fato é o título do artigo de Klein.

Ficheiro:The Eightfold Way - Silvio Levy - cover.jpg

O Caminho Óctuplo - escultura de Helaman Ferguson e livro que o acompanha.

Na maioria das vezes, o quártico é modelado por uma superfície lisa do gênero 3 com simetria tetraédrica (a substituição das bordas de um tetraedro regular por tubos/ alças produz essa forma), que foram apelidadas de "tetruses" ou por aproximações poliédricas., que foram apelidados de "tetróides"; em ambos os casos, é uma incorporação da forma em 3 dimensões. O modelo suave mais notável (tetrus) é a escultura The Eightfold Way, de Helaman Ferguson, no Instituto de Pesquisa em Ciências Matemáticas de Berkeley, Califórnia, feita de mármore e serpentina, que foi inaugurada em 14 de novembro de 1993. O título refere-se ao fato de que, iniciando em qualquer vértice da superfície triangulada e movendo-se ao longo de qualquer aresta, se você alternadamente virar à esquerda e à direita ao atingir um vértice, sempre retornará ao ponto original após oito arestas. A aquisição da escultura levou, oportunamente, à publicação de um livro de artigos Predefinição:Harv , detalhando as propriedades do quártico e contendo a primeira tradução para o inglês do artigo de Klein. Modelos poliédricos com simetria tetraédrica geralmente têm casco convexo, um tetraedro truncado - veja Predefinição:Harv e Predefinição:Harv para exemplos e ilustrações. Alguns desses modelos consistem em 20 triângulos ou 56 triângulos (abstratamente, o poliedro de inclinação regular {3,7 |, 4}, com 56 faces, 84 arestas e 24 vértices), que não pode ser percebido como equilateral, com torções no braços do tetraedro; enquanto outros têm 24 heptágonos - esses heptágonos podem ser considerados planares, embora não convexos, e os modelos são mais complexos que os triangulares porque a complexidade é refletida nas formas das faces heptagonais (não flexíveis), em vez de nos vértices (flexíveis).

O cubicuboctaedro pequeno é uma imersão poliédrica do ladrilho do quártico de Klein com simetria octaédrica.

Como alternativa, a quártica pode ser modelado por um poliedro com simetria octaédrica: Klein modelou o quártico por uma forma com simetrias octaédricas e com pontos no infinito (um "poliedro aberto"), ou seja, três hiperbolóides reunidos em eixos ortogonais, embora também possa ser modelado como um poliedro fechado que deve ser imerso (com interseções automáticas), não incorporado. Esses poliedros podem ter vários cascos convexos, incluindo o cubo truncado, o cubo desprezível, ou o rhombicuboctahedron, como no pequeno cubicuboctahedron à direita. A pequena imersão em cubicuboctaedro é obtida juntando-se alguns dos triângulos (2 triângulos formam um quadrado, 6 formam um octógono), que podem ser visualizados colorindo os triângulos (o telhado correspondente é topológico, mas não geometricamente o telhado 3 4 | 4). Esta ideia também pode ser usada para construir geometricamente o grupo Mathieu M ₂₄, adicionando ao PSL (2,7) a permutação que intercambia pontos opostos das linhas bifurcadas dos quadrados e octógonos.

Dessin d'enfants (desenho de criança)

O desenho de criança no quártico de Klein associada ao mapa de quociente por seu grupo de automorfismo (como quociente a esfera de Riemann) é precisamente o esqueleto 1 do mosaico heptagonal da ordem 3. Ou seja, o mapa de quociente é ramificado sobre os pontos Predefinição:Math e Predefinição:Math ; dividir por 1728 produz uma função Belyi (ramificada em Predefinição:Math e Predefinição:Math ), onde os 56 vértices (pontos pretos desenhados) se situam acima de 0, os pontos médios das 84 bordas (pontos brancos desenhados) ficam sobre 1, e o os centros dos 24 heptágonos estão sobre o infinito. O desenho resultante é um desenho "platônico", que significa transitivo e "limpo" (cada ponto branco possui valência 2).

Superfícies relacionadas

O quártico Klein está relacionado a várias outras superfícies.

Geometricamente, é a menor superfície de Hurwitz (gênero mais baixo); o próximo é a superfície de Macbeath (gênero 7), e o seguinte é o trigêmeo First Hurwitz (3 superfícies do gênero 14). Mais geralmente, é a superfície mais simétrica de um determinado gênero (sendo uma superfície de Hurwitz); nesta classe, a superfície de Bolza é a superfície mais simétrica do gênero 2, enquanto a superfície de Bring é uma superfície altamente simétrica do gênero 4 - consulte as isometrias das superfícies de Riemann para uma discussão mais aprofundada.

Algebricamente, o quártico Klein (afim) é a curva modular X(7) e o quártico projetivo de Klein é sua compactação, assim como o dodecaedro (com uma cúspide no centro de cada face) é a curva modular X(5); isso explica a relevância para a teoria dos números.

Mais sutilmente, o quártico Klein (projetivo) é uma curva de Shimura (como são as superfícies de Hurwitz dos gêneros 7 e 14) e, como tais, paramétricas principalmente variedades abelianas polarizadas da dimensão 6.

Também existem outras superfícies quárticas de interesse, como as superfícies quartas especiais .

Mais excepcionalmente, o quártico Klein faz parte de uma " trindade " no sentido de Vladimir Arnold, que também pode ser descrito como uma correspondência de McKay. Nesta coleção, os grupos lineares especiais projetivos PSL (2,5), PSL (2,7) e PSL (2,11) (pedidos 60, 168, 660) são análogos, correspondendo à simetria icosaédrica (gênero 0), as simetrias da quártica de Klein (gênero 3) e da superfície da buckyball (gênero 70). Estes estão ainda ligados a muitos outros fenômenos excepcionais, elaborados em " trindades ".

Ver também

• Superfície de Macbeath

Bibliografia

• Predefinição:Citar periódico Translated in Predefinição:Citar livro
• Predefinição:Citation
• Predefinição:Citation. Paperback edition, Cambridge University Press, 2001, Predefinição:Isbn. Read This: The Eightfold Way, reviewed by Ruth I. Michler.
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar periódico
• Predefinição:Citation
• Predefinição:Citation

Ligações externas

• Curva quártica de Klein, John Baez, 28 de julho de 2006
• Curva quártica de Klein, por Greg Egan - ilustrações
• Equações da quártica de Klein, por Greg Egan - ilustrações