5 votos

¿Cuál es la característica de Euler de una hipersuperficie determinante?

Si $X\subset \mathbb P^{n}$ es una hipersuperficie suave (compleja), se puede calcular su característica topológica de Euler $\chi(X)$ tomando el grado de la $0$ -ciclo $c_{n-1}(T_X)\cap [X]$ .

Si $X$ es singular, no sé qué se puede decir. Suponiendo que se trata de un problema difícil (¡pero por favor, díganme si no lo es!), me interesa el siguiente caso particular: $$ X\subset \mathbb P^{n} \textrm{ is a degeneracy locus.} $$ Con esto me refiero a $X=V(\wedge^{n}A)$ es el lugar cero de un polinomio $\wedge^{n}A\in S=\mathbb C[x_0,\dots,x_{n}]$ que es el determinante de una matriz cuadrada $A\in M_{n-1}(S)$ . Creo que el lugar singular de $X$ es $V(\wedge^{n-1}A)$ el lugar de los puntos donde el rango de la matriz se convierte en $\leq n-2$ . Pero esto no me ayuda realmente. ¿Sabe usted cómo abordar este problema?

2voto

Vaibhav Pawar Puntos 1

Para una variedad compacta singular, existe un análogo de la clase de Chern $c_{n-1}(TX)$ que se llama la clase Chern-Schwartz-MacPherson $c_{SM}(X)$ que es una clase en la suma directa de grupos de homología o en la suma directa de grupos de Chow de $X$ y que satisface $$ \int_X c_{SM}(X)=\chi(X) $$ (es decir, la componente de grado 0 de la $c_{SM}(X)$ capta la característica de Euler)

Aquí hay una encuesta sobre esta construcción, y aquí hay una papel describiendo un algoritmo que utiliza esta fórmula para calcular $\chi(X)$ que el autor M. Helmer parece haber implementado en Sage. Dado que usted está realmente interesado en las hipersuperficies, el anterior papel de Aluffi, thm 2.1, puede ser suficiente.

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