5 votos

El automorfismo de una categoría envía objetos a objetos isomorfos?

Pregunta rápida para mi mejor comprensión:

Supongamos que tiene una categoría aditiva $\mathcal{C}$ y un automorfismo $\Sigma$ de esta categoría. ¿Tiene $\Sigma$ ¿enviar objetos a objetos isomorfos? Si no lo hace en general, ¿cuándo puedo esperar que lo haga (bajo qué supuestos razonables)? Pregunto esto para aclarar mi comprensión mientras leo sobre las categorías trianguladas.

2 votos

Consideremos una categoría con dos objetos $a$ y $b$ y sólo morfismos de identidad . . .

0 votos

@NoahSchweber Dicha categoría no es aditiva.

0 votos

Bien, en este caso no funcionará. Pero pregunto $\mathcal{C}$ para ser aditivo... así que estoy confundido: ¿Permitimos una estructura de grupo en el conjunto vacío? Creo que no

7voto

Matt Dawdy Puntos 5479

No, esto es muy pocas veces cierto, incluso con hipótesis extremadamente bonitas sobre $C$ . Considere la categoría de $\mathbb{Z}$ -espacios vectoriales graduados y el automorfismo $\Sigma$ que desplaza la graduación hacia arriba en $1$ . Los objetos $c$ tal que $c \cong \Sigma c$ son los $\mathbb{Z}$ -espacios vectoriales graduados, cada uno de cuyos trozos graduados tiene la misma dimensión.

Lo cierto es que $\Sigma c$ tiene las mismas propiedades categóricas que $c$ (es decir, propiedades que sólo dependen de cómo $c$ se sienta en el interior $C$ ). Por ejemplo, $c$ es proyectiva si $\Sigma c$ es proyectiva. Esto es similar a cómo los elementos de, por ejemplo, un anillo no necesitan ser fijados por automorfismos del anillo, pero dos elementos relacionados por un automorfismo comparten propiedades teóricas de los anillos como ser nilpotentes.

0 votos

¡Ah! Muchas gracias. Eso aclara las cosas

3 votos

Tenga en cuenta que ni siquiera hay un mapa natural de $c$ a $\Sigma c$ que se puede pedir que sea un isomorfismo. En general, no habrá ningún mapa no nulo entre ellos (por ejemplo, si $c$ es un espacio vectorial graduado concentrado en un solo grado).

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