Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Hogu Dogu
Hogu Dogu
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 descomposición en su cohomología con coeficientes
complejos:
)
=
⨁
)
,
{\displaystyle H^{k}(X,\mathbf {C} )=\bigoplus _{p+q=k}H^{p,q}(X),}
donde
)
{\displaystyle 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 elección
de coordenadas locales
1
,
…
,
1
∧
⋯
∧
1
∧
⋯
∧
∪
:
)
×
′
,
′
(
)
→
′
,
+
′
(
)
.
{\displaystyle \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.
.
{\displaystyle \int _{Z}i^{*}\alpha .\!\,}
Para evaluar esta integral, elíjase un punto de Z y llámesele 0. Alrededor de 0,
podemos elegir coordenadas locales
1
,
…
,
+
1
=
⋯
=
=
0
{\displaystyle z_{k+1}=\cdots =z_{n}=0}. si p > k, entonces
\alpha debe contener algún
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
\alpha . 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
\alpha y capping con la clase fundamental de X. Dado que [Z] es un grupo de
cohomología, tiene descomposició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
)
=
)
{\displaystyle H^{2n}(X,\mathbf {C} )=H^{n,n}(X)}, se concluye que [Z] debe quedar
en
)
{\displaystyle H^{n-k,n-k}(X,\mathbf {C} )}. En pocas palabras, la conjetura de
Hodge