14 votos

Por qué sólo considerar Dolbeault cohomology?

En un complejo colector tenemos los operadores diferenciales

$$\partial:A^{p,q}\to A^{p+1,q}$$ $$\bar\partial:A^{p,q}\to A^{p,q+1}$$ que tanto la plaza a cero. Por lo tanto, uno puede definir cohomology grupos $$H^{p,q}_\partial=\frac{\ker\partial:A^{p,q}\to A^{p+1,q}}{\partial A^{p-1,q}}$$ $$H^{p,q}_{\bar\partial}=\frac{\ker\bar\partial:A^{p,q}\to A^{p,q+1}}{\bar\partial A^{p,q-1}}$$ Pero por alguna razón que sólo ver a la gente discutir el $H_{\bar\partial}^{p,q}$, es decir, Dolbeaut cohomology. Lo que hace más interesante el la $H_\partial^{p,q}$ grupos?

15voto

chaiwalla Puntos 1132

$\newcommand{\dd}{\partial}$A complementar la ya existente (excelente) respuestas: Si $E \to M$ es un holomorphic vector paquete, la transición de las funciones de $E$ "constante con respecto a $\bar{\dd}$", por lo que existe una natural noción de $E$valores de Dolbeault cohomology $H_{\bar{\dd}}^{p,q}(M, E)$. A menos que la transición de las funciones de $E$ son constantes, sin embargo, no es correspondiente noción de $H_{\dd}^{p,q}(M, E)$.

12voto

Mike Miller Puntos 17852

$H^{p,q}_{\partial}$ es canónicamente isomorfo a $H^{q,p}_{\bar \partial}$ a través de complejos de conjugación.

Como por qué prefiere el último grupo sobre el anterior, $H_{\bar \partial}^{p,0}$ es el conjunto de holomorphic $p$-formas, y que de una forma más natural, objeto de la antiholomorphic $q$-formularios ($H_{\partial}^{0,q}$).

12voto

Khushi Puntos 1266

Tenga en cuenta que $H^{0,0}_{\bar{\partial}}(X) = \ker\bar{\partial} : A^{0, 0}(X) \to A^{0, 1}(X)$ es, precisamente, la colección de holomorphic funciones en $X$, lo que, históricamente, fueron de más interés que los anticuerpos anti-holomorphic funciones en $X$ el cual es dado por $H^{0,0}_{\partial}(X) = \ker\partial : A^{0,0}(X) \to A^{1,0}(X)$.

Por otra parte, Dolbeault cohomology $H^{p,q}_{\bar{\partial}}(X)$ determina la $H^{p,q}_{\partial}(X)$ y viceversa. Más precisamente, los mapas

\begin{align*} \psi : H^{p,q}_{\bar{\partial}}(X) &\to H^{q,p}_{\partial}(X)\\ [\alpha] &\mapsto [\bar{\alpha}] \end{align*}

y

\begin{align*} \varphi : H^{q,p}_{\partial}(X) &\to H^{p,q}_{\bar{\partial}}(X)\\ [\beta] &\mapsto [\bar{\beta}] \end{align*}

están bien definidas y son inversos el uno del otro. Por lo tanto,$H^{p,q}_{\bar{\partial}}(X) \cong H^{q,p}_{\partial}(X)$.

Si $X$ es compacto, entonces Hodge Teoría nos dice que $H^{p,q}_{\bar{\partial}}(X) \cong \ker\Delta_{\bar{\partial}} : A^{p,q}(X) \to A^{p,q}(X)$ $H^{p,q}_{\partial}(X) \cong \ker\Delta_{\partial} : A^{p,q}(X) \to A^{p,q}(X)$ donde $\Delta_{\bar{\partial}}$ $\Delta_{\partial}$ son los holomorphic y anti-holomorphic Laplacians respectivamente. Si $X$ es también Kähler, a continuación, $\Delta_{\bar{\partial}} = \Delta_{\partial}$ así que podemos ver que

\begin{align*} H^{p,q}_{\bar{\partial}}(X) &\cong \ker\Delta_{\bar{\partial}} : A^{p,q}(X) \to A^{p,q}(X)\\ &= \ker\Delta_{\partial} : A^{p,q}(X) \to A^{p,q}(X)\\ &\cong H^{p,q}_{\partial}(X). \end{align*}

La combinación de estos isomorphisms con los de arriba, podemos ver que $H^{p,q}_{\bar{\partial}}(X) \cong H^{q,p}_{\bar{\partial}}(X)$, por lo que la Hodge números de satisfacer $h^{p,q} = h^{q,p}$. Por lo tanto, el extraño números de Betti de un compacto de Kähler colector son incluso.

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