Conjetura de Hodge

La conjetura de Hodge es un importante problema de geometría algebraica todavía no resuelto en el que se relacionan la topología algebraica de una variedad algebraica compleja no singular y las subvariedades de esa variedad. En concreto, la conjetura dice que ciertos grupos de cohomología de De Rham son algebraicos, esto es, son sumas de dualidades de Poincaré de clases homólogas de subvariedades.

La conjetura de Hodge es uno de los Problemas del milenio del Clay Mathematics Institute, por lo que hay un premio de US$1,000,000 por demostrarla.

Motivación

Sea X una variedad compleja conexa de dimensión compleja n. Luego X es una variedad diferenciable orientable de dimensión 2n, por lo que sus grupos de cohomología residen en grados cero a través de 2n. Asúmase que X es una variedad de Kähler, por lo que hay una decomposición en su cohomología con coeficientes complejos:

$H^k(X, \mathbf{C}) = \bigoplus_{p+q=k} H^{p,q}(X),$

donde H^p,q(X) es el subgrupo de grupos de cohomología que están representados por formas armónicas de tipo (p, q). Esto es, estas son los grupos de cohomología representados por formas diferenciales que, en una determinada opción de coordenadas locales $z_1, \ldots, z_n$, puede ser escritas como tiempos de funciones armónicas $dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}$. (Véase Teoría de Hodge para más detalles). Tomar productos exteriores de estos representantes armónicos se corresponde con el cup product en cohomología, por lo que cup product es compatible con la decomposición de Hodge:

$\cup : H^{p,q}(X) \times H^{p',q'}(X) \rightarrow H^{p+p',q+q'}(X).$

Dado que X es una variedad compleja, X tiene una clase fundamental.

Sea Z una subvariedad compleja de X de dimensión k, y sea i : Z → X la función de inclusión. Elíjase una forma diferenciada α del tipo (p, q). Podemos integrar α sobre Z:

$\int_Z i^*\alpha.\!\,$

Para evaluar esta integral, elíjase un punto de Z y llámesele 0. Alrededor de 0, podemos elegir coordinadas locales $z_1,\ldots,z_n$ en X tal que Z sea $z_{k+1} = \cdots = z_n = 0$. If p > k, entonces α debe contener algún dz_i donde z_i tienda a a cero en Z. Lo mismo es cierto si q > k. Consecuentemente, esta integral es cero si (p, q) ≠ (k, k).

De forma más abstracta, la integral puede ser escrita como el cap product del grupo de cohomología de Z y del grupo de cohomología representado por α. Según la dualidad de Poincaré, el grupo de homología de Z es doble del grupo de cohomología que llamaremos [Z], y el cap product puede ser calculado tomando el cup product de [Z] y α y capping con la clase fundamental de X. Dado que [Z] es un grupo de cohomología, tiene decomposición de Hodge. Según el cálculo anterior, si nosotros cup este grupo con otro tipo de grupo (p, q) ≠ (k, k), entonces tendremos cero. Dado que $H^{2n}(X, \mathbf{C}) = H^{n,n}(X)$, se concluye que [Z] debe quedar en $H^{n-k,n-k}(X, \mathbf{C})$. En pocas palabras, la conjetura de Hodge dice:

¿Qué grupos de cohomología en H^k,k(X) derivan de subvariedades complejas Z?

Referencias

• Hodge, W. V. D. "The topological invariants of algebraic varieties". Proceedings of the International Congress of Mathematicians, Cambridge, MA, 1950, vol. 1, pp. 181–192.
• Grothendieck, A. "Hodge's general conjecture is false for trivial reasons". Topology 8 1969, pp. 299–303.

Enlaces externos

• Descripción oficial del problema en la página del Clay Math Institute (pdf)
• Charla de Dan Freed (Universidad de Texas) sobre la conjetura de Hodge (Real Video) (Slides)
• K. H. Kim, F. W. Roush. Contraejemplo de la conjetura de Hodge
• Indranil Biswas. La conjetura de Hodge para variedades generales de Prym (pdf)