2 votos

¿Prueba sencilla de automorfismo con curvas elípticas en celosía?

Para una red $\Lambda_1=\mathbb{Z}+\mathbb{Z}i$ encontrar Aut( $E_1$ ) donde $E_1(\mathbb{C})=\mathbb{C}/\Lambda_1$ .

Así que sé que End( $E$ ) $ =\{\beta \in \mathbb{C} $ | $\beta\Lambda \subseteq \Lambda\}$ y Aut( $E$ ) $=\{\beta \in \mathbb{C} $ | $\beta\Lambda =\Lambda\}$ pero no estoy muy seguro de cómo utilizar esta información para encontrar los automorfismos correctos.

¿Cuál es una buena manera de encontrar el Aut( $E_1$ )?

0 votos

Como usted señala, tendrá $Aut(E_1) = \{\beta\in\mathbb{C}\mid \beta\Lambda_1 = \Lambda_1\}$ . Sea $\beta = x + iy \in\mathbb{C}$ y considerar $\beta\Lambda_1$ . Puede que note un par de cosas: si $\beta=x\in\mathbb{Z}$ entonces $\beta\in End(E_1) \Rightarrow \mathbb{Z}\subset End(E)$ ¿hay algo más en $End(E_1)$ ? Entonces, ¿cuál es la norma de un elemento en $End(E_1)$ para estar realmente en $Aut(E_1)$ ?

0 votos

@JohnMartin te refieres a lo que mapearía un elemento en $End(E_1)$ a $Aut(E_1)$ ? ¿Podría ser el conjugado complejo? Realmente no estoy seguro.

0 votos

No, lo que quiero decir es que todo automorfismo de la curva es ya un endomorfismo, es decir. $Aut(E_1)\subset End(E_1)$ . Así que determinar $End(E_1)$ puede ayudarle a determinar $Aut(E_1)$ . Pista: Hay más en $End(E_1)$ en este caso que sólo $\mathbb{Z}$ . ¿Qué ocurre si multiplicas $\Lambda_1$ por $i$ ?

2voto

AdLibitum Puntos 1582

Puesto que usted sabe que ${\rm End}(\Bbb C/\Lambda)=\{\lambda\in\Bbb C\mid\lambda\Lambda\subseteq\Lambda\}$ debe quedar claro que $$ {\rm Aut}(\Bbb C/\Lambda)=\{\lambda\in\Bbb C\mid\lambda\Lambda=\Lambda\}. $$ En $\Lambda=\Bbb Z\otimes\Bbb Zi=\Bbb Z[i]$ este último conjunto se identifica con el conjunto de elementos invertibles en el anillo $\Bbb Z[i]$ es decir $$ \{1,-1,i,-i\}. $$


Una variante consiste en observar que para cualquier $\lambda\in\Bbb Z[i]$ el conjunto $\lambda\Lambda=\lambda\Bbb Z[i]$ es un ideal con $$ \left|\frac\Lambda{\lambda\Lambda}\right|=|\lambda| \qquad\text{(complex norm)} $$ (esto puede entenderse observando que multiplicando por $z\in\Bbb C$ una zona de una región $A\subset\Bbb C=\Bbb R^2$ se multiplica por un factor $|z|$ ). Así, $\lambda\in{\rm Aut}(\Bbb C/\Lambda)$ cuando $|\lambda|=1$ que conduce al mismo resultado.

2 votos

<1 minuto entre cruces. Bien :)

2voto

John Martin Puntos 567

En primer lugar, sugeriría determinar $End(E_1)$ . Para ello, puede observar que si $\alpha\in\mathbb{C}$ y $\alpha(\mathbb{Z}+i\mathbb{Z})\subset\mathbb{Z}+i\mathbb{Z}$ sólo si $\alpha\in\mathbb{Z}+i\mathbb{Z}$ y por lo tanto $End(E_1) = \mathbb{Z}+i\mathbb{Z}$ . Entonces, los automorfismos serán los endomorfismos de norma 1, es decir las unidades de $\mathbb{Z}[i]$ el grupo cíclico generado por $i$ que, como conjunto, está formado por los elementos $\{1,-1,i,-i\}$ .

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