1 votos

Encuentra la cónica invariante de un elemento elíptico de $SL_2(\mathbb R)$

Dejemos que $M$ sea un elemento elíptico de $SL_2(\mathbb R)$ . Entonces es conjugado a una rotación $R(\theta)$ . Obsérvese que podemos calcular $\theta$ en términos de la traza de $M$ significa que realmente sabemos $R(\theta)$ y podemos escribir:

$$M=TR(\theta) T^{-1}$$

Si $S^1$ es el círculo unitario en $\mathbb R^2$ se deduce que $T(S^1)$ es la sección cónica $\mathcal C$ que es preservado por $M$ .

¿Hay alguna forma explícita de encontrar la ecuación $\mathcal C$ ¿en general?

Mi procedimiento es bastante ineficaz, porque uno tiene que encontrar $T$ primero (por lo que el sistema no lineal) y luego escribir $T(S^1)$ que, en general, no es obvio.

0voto

Jukka Dahlbom Puntos 1219

Este es un enfoque que le puede gustar: deje que $\lambda = \cos \theta + i \sin \theta$ . Sea $v \in \Bbb C^2$ denota el vector propio de $M$ asociado a $\lambda$ . Entonces la matriz $T$ cuyas columnas son las partes real y compleja de $v$ son tales que $$ M = TR(-\theta)T^{-1}. $$ Por lo tanto, este $T$ es tal que $T(S^1)$ es la sección cónica conservada por $M$ .

Para ver que esto es así, observe que $$ Mv = \lambda v = (\cos \theta + i \sin \theta) (v_R + iv_I) = (\cos \theta v_R - \sin \theta v_I) + i(\sin \theta v_R + \cos \theta v_I). $$ De ello se desprende que $$ Mv_R = \operatorname{Re}[Mv] = \cos \theta \,v_R - \sin \theta v_I,\\ Mv_I = \operatorname{Im}[Mv] = \sin \theta v_R + \cos \theta v_I. $$ Una vez que haya $T$ no es demasiado difícil de encontrar $T(S^1)$ .


Podemos hacer las cosas aún más directas. Tenga en cuenta que $$ M^\top = T^{-\top}R(\theta) T^\top. $$ Encontrar el vector propio $v$ de $M^\top$ asociado a $\lambda$ . Las partes real e imaginaria de este vector propio forman las filas de $T^{-1}$ . Ahora, la ecuación de $T(S^1)$ viene dada por $\|T^{-1}(x_1,x_2)\| = 1$ . En otras palabras, $$ (v_{R,1} x_1 + v_{R,2}x_2)^2 + (v_{I,1}x_1 + v_{I,2} x_2)^2 = 1. $$ Tenga en cuenta que $v$ puede expresarse explícitamente en términos de las entradas de $M$ como $$ v = (m_{21}, \lambda - m_{11}). $$

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