10 votos

Determina si una cónica es degenerada con el determinante.

Existe una biyección natural entre las cónicas (escritas como cuadráticas homogéneas) y $3 \times 3$ matrices:

$$C=aX^2+2bXY+cY^2+2dXZ+2eYZ+fZ^2\Leftrightarrow \left(\begin{array}{ccc} a&b&d\\ b&c&e\\ d&e&f\end{array}\right)$$

Estoy leyendo el libro de Reid Geometría algebraica de grado y en la página 21 dice que una cónica $C$ es degenerada si el determinante de la matriz desaparece.

Así que pienso en las cónicas degeneradas como $XY=0$ descompuesto como el conjunto $X=0$ y $Y=0$ . Por lo tanto, si el determinante desaparece, tenemos una condición en el $a,b,c,d,e,f$ . ¿Debo creer que si pongo esa condición en mi cónica $C$ , encontraré que la cónica se descompone como

$$C=Q_1Q_2=0?$$

No veo cómo se puede garantizar $C$ es degenerado por la desaparición del determinante.

1 votos

Una cónica degenerada también puede tener la forma $C=Q^2=0$ que es una línea doble, en particular $X^2=0$ .

6voto

Ted Shifrin Puntos 33487

Trabajar sobre $\mathbb C$ Sí. Por un cambio de base, la forma cuadrática se puede escribir como $AX^2 + BY^2 + CZ^2$ , donde $A,B,C$ son $0$ o $1$ . La condición de determinante dice que tienes al menos un cero. Y nota que $X^2+Y^2$ o $X^2$ factores como un producto de polinomios lineales.

0 votos

No creo que Reid requiera un campo algebraico cerrado, pero esa es una parte clave de su prueba. También la factorización sólo funciona sobre $\mathbb{C}$ también, ¿verdad?

1 votos

Bueno, sobre $\mathbb R$ puede disponer que $A$ , $B$ y $C$ son todos $0$ , $1$ o $-1$ . Si tenemos un cero, entonces obtenemos $X^2+Y^2=0$ que está vacío, o $X^2-Y^2=(X+Y)(X-Y)=0$ que es la intersección de líneas, o $X^2=0$ que es una línea doble. Si no podemos tomar raíces cuadradas en su campo, entonces no acabamos de llegar aquí :)

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