2 votos

Acción de $Aut(X)$ en $Coh(X)$

Estaba leyendo sobre el teorema de reconstrucción de Bondal y Orlov. En particular que para una variedad lisa con haz canónico amplio o anti-amplio $\mathrm{Aut}(D^b(X)) \cong \mathbb{Z} \times (\mathrm{Pic}(X) \rtimes \mathrm{Aut}(X))$ . Esto me hizo preguntarme si dado un automorfismo $f$ de una variedad $X$ siempre puedo encontrar una gavilla coherente $\mathcal{F}$ tal que $f_* (\mathcal{F}) \ncong \mathcal{F}$ . ¿Es cierto? Intuitivamente me parece cierto, pero ¿cómo demostrarlo? Seguro que tengo que buscar algo más grande que los haces de líneas, ya que en el espacio proyectivo los haces de líneas se clasifican, hasta el isomorfismo, por grados.

Editar: para ver que ningún automorfismo no trivial actúa de forma no trivial podemos fijarnos en las gavillas de puntos del rascacielos. ¿Podemos decir algo en general sobre los haces vectoriales?

1voto

teastburn Puntos 175

Si $f$ es la identidad, entonces por supuesto $f_*(\mathcal F)\cong \mathcal F$ . Por lo tanto, debe asumir que $f \neq \mathrm{id_X}$ . Pero entonces uno tiene que $f(P) \neq P$ para algunos $P \in X$ , en cuyo caso puede tomar $\mathcal F$ para ser el rascacielos en $P$ .

0 votos

Su respuesta es lo que estaba buscando. La pregunta sobre los haces vectoriales era más por curiosidad, si podemos en general encontrar un haz vectorial que se mueve por la acción.

0 votos

Creo que deberías hacer la pregunta del paquete vectorial en un post aparte, ya que es probable que poca gente mire la edición de esta pregunta (supongo) ahora que se ha respondido a la pregunta.

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