Deje kk ser un algebraicamente cerrado de campo, nn un entero positivo, y considerar la acción de la GLn(k)GLn(k) Mn(k)Mn(k) por conjugación.
Mi profesor me dice que semisimple clases conjugacy están cerrados, y su argumento es el siguiente. Fix ff un monic polinomio de grado nn, y considerar el conjunto de las matrices de AfAf cuyo polinomio característico es ff. A continuación, AfAf es cerrado, finito, de la unión de las órbitas (considerando Jordania formas), y de la órbita de la mínima dimensión es el único semisimple clase conjugacy con polinomio característico ff. Desde órbitas de mínima dimensión están cerradas, este semisimple órbita está cerrado.
Un par de preguntas que tengo, para entender esta prueba:
- ¿Por qué tenemos que tener en cuenta que el AfAf está cerrado? Es cierto, pero no el argumento de la obra sin que por este hecho?
- ¿Cómo puedo ver que el semisimple órbita en AfAf tiene una mínima dimensión?
- Considerar la semisimple clase SfSf 2×22×2 matrices definidas por el polinomio característico f(x)=(x−1)(x−2)f(x)=(x−1)(x−2). Desde I2I2 satisface este polinomio, ¿no sería en el cierre de SfSf? Es decir, no I2I2 satisfacer cualquier ecuación polinómica de que los elementos de SfSf satisfacer, y por lo tanto, I2I2 es en el Zariski de cierre? Sin embargo, esto no puede ser correcto porque, a continuación, SfSf no está cerrado (porque I2∉SfI2∉Sf). Lo que está mal con mi razonamiento aquí?