Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

7 votos

Grupos de la matriz generados por la inversión en el ámbito de la unidad y la traducción

Que α ser algebraica Q y el subgrupo G SL2(C) generados por la inversión en la esfera de la unidad y su traducción en α. Es decir, considerar G=S,T, en el que

S:=(0110)andT:=(1α01).

¿Que α es la estructura de G conocido? ¿De particular interés para mí es la siguiente: que α obtenemos SL2(Z)G?

¿Tal vez esto ocurre iff 1/α es un entero algebraico?

2voto

Matt Dawdy Puntos 5479

Deje K el número de campo generadas por α. Considere la posibilidad de la factorización en primos de la fracción ideal (α). Si esta factorización prima contiene un alojamiento ideal P a un exponente positivo, a continuación, α se encuentra en la localización de la S1OK lejos de todo el primer ideales en la factorización prima que se producen con exponentes negativos. P es un alojamiento ideal en esta localización, por lo que podemos tomar el cociente por P, lo que da lugar a un mapa

SL2(S1OK)SL2(S1OK/P).

G está contenida en el dominio de este mapa, ya que es SL2(Z), pero la imagen de T bajo este mapa es la identidad, ya que α0mod, por lo que la imagen de G es generado por S y, en particular, no contiene la imagen de \text{SL}_2(\mathbb{Z}).

Por lo tanto una condición necesaria para la propiedad deseada es que la factorización prima de (\alpha) contiene sólo los exponentes negativos. Esto es equivalente a \frac{1}{\alpha} ser un entero algebraico. Sin embargo, no sé cómo probar que la propiedad tiene menos \frac{1}{\alpha} es de hecho un número entero (en cuyo caso es sencillo).

Edit: creo que su conjetura es falsa. Si \text{SL}_2(\mathbb{Z}) \subset G \alpha es real, entonces se sigue que una fundamental dominio de \text{SL}_2(\mathbb{Z}) actuando en la mitad superior del plano de \mathbb{H} es la unión de los dominios fundamentales de G actuando en \mathbb{H}; en particular, los últimos tienen menor hiperbólico área que la anterior. Pero si \alpha es una expresión algebraica número real con un conjugado de valor absoluto mayor que 1, entonces el WLOG \alpha es esto conjugado (la propiedad de contener \text{SL}_2(\mathbb{Z}) es invariante bajo Galois de acción), y es muy sencillo de escribir fundamental de dominio que tiene mayor hiperbólico área de fundamental dominio de \text{SL}_2(\mathbb{Z}), lo cual es una contradicción.

Como un ejemplo claro donde \frac{1}{\alpha} es un entero algebraico, tome \alpha = \frac{1 + \sqrt{5}}{2}.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X