Haces de vectores holomorfos

En matemáticas, un haz de vectores holomorfos es un haz de vectores complejos sobre una variedad compleja Plantilla:Mvar, tal que el espacio total Plantilla:Mvar es una variedad compleja y la aplicación proyectiva Plantilla:Math es holomorfa. Ejemplos fundamentales son el haz tangente holomorfo de una variedad compleja y su dual, el haz cotangente holomorfo. Un haz de rectas holomorfas es un haz de vectores holomorfos de rango uno.

Según la GAGA de Serre, la categoría de paquetes de vectores holomorfos en una variedad proyectiva compleja suave X (vista como una variedad compleja) es equivalente a la categoría de haces de vectores algebraicos (es decir, paquetes localmente libres de rango finito) en X.

Definición mediante trivialización

Específicamente, se requiere que las aplicaciones de trivialización

${\varphi }_U:{\pi }^{-1}(U)\to U\times {𝐂}^k$

sean biholomorfas. Esto equivale a exigir que la función de transición

$t_{UV}:U\cap V\to {\mathrm{G}\mathrm{L}}_k(𝐂)$

sea una aplicación holomorfa. La estructura holomorfa en el paquete tangente de una variedad compleja está garantizada por la observación de que la derivada (en el sentido apropiado) de una función holomorfa valorada por un vector es en sí misma holomorfa.

Haz de secciones holomorfas

Sea Plantilla:Mvar un paquete de vectores holomorfos. Una sección local Plantilla:Math se dice que es holomorfa si, en una vecindad de cada punto de Plantilla:Mvar, es holomorfa en alguna (equivalentemente cualquier) trivialización.

Esta condición es local, lo que significa que las secciones holomorfas forman un haz en Plantilla:Mvar. Este paquete a veces se denomina $𝒪(E)$, o Plantilla:Mvar. Tal haz siempre es localmente libre y tiene el mismo rango que el rango del paquete de vectores. Si Plantilla:Mvar es el paquete de líneas trivial $\underset{\_}{𝐂},$, entonces este haz coincide con la estructura del haz ${𝒪}_X$ de la variedad compleja Plantilla:Mvar.

Ejemplos básicos

Hay paquetes de líneas

$𝒪(k)$

sobre

${ℂ\mathbb{P}}^n$

cuyas secciones globales corresponden a polinomios homogéneos de grado

$k$

(para

$k$

un número entero positivo). En particular,

$k=0$

corresponde al paquete de líneas trivial. Si se toma la cobertura

$U_i=\{[x_0:\cdots :x_n]:x_i\ne 0\}$

, entonces se pueden encontrar grafos

${\varphi }_i:U_i\to {ℂ}^n$

definidos por

${\varphi }_i([x_0:\cdots :x_i:\cdots :x_n])=(\frac{x_0}{x_i},\dots ,\frac{x_{i-1}}{x_i},\frac{x_{i+1}}{x_i},\dots ,\frac{x_n}{x_i})={ℂ}_i^n$

. Se pueden construir funciones de transición

${\varphi }_{ij}{|}_{U_i\cap U_j}:{ℂ}_i^n\cap {\varphi }_i(U_i\cap U_j)\to {ℂ}_j^n\cap {\varphi }_j(U_i\cap U_j)$

definidas por

${\varphi }_{ij}={\varphi }_i\circ {\varphi }_j^{-1}(z_1,\dots ,z_n)=(\frac{z_1}{z_i},\dots ,\frac{z_{i-1}}{z_i},\frac{z_{i+1}}{z_i},\dots ,\frac{z_j}{z_i},\frac{1}{z_j},\frac{z_{j+1}}{z_i},\dots ,\frac{z_n}{z_i})$

. Ahora, si se considera el paquete trivial

$L_i={\varphi }_i(U_i)\times ℂ$

, se pueden formar funciones de transición inducidas

${\psi }_{i,j}$

. Si se usa la coordenada

$z$

en la fibra, entonces se pueden formar funciones de transición

${\psi }_{i,j}((z_1,\dots ,z_n),z)=({\varphi }_{i,j}(z_1,\dots ,z_n),\frac{z_i^k}{z_j^k}\cdot z)$

para cualquier número entero

$k$

. Cada uno de ellos está asociado con un paquete de líneas

$𝒪(k)$

. Dado que los paquetes de vectores necesariamente retroceden, cualquier subvariedad holomorfa

$f:X\to {ℂ\mathbb{P}}^n$

tiene un paquete de líneas asociado

$f^{*}(𝒪(k))$

, a veces denominado

$𝒪(k){|}_X$

.

Operadores de Dolbeault

Supóngase que Plantilla:Mvar es un paquete de vectores holomorfos. Entonces, existe un operador distinguido ${\overline{\partial }}_E$ definido de la siguiente manera. En una trivialización local $U_{\alpha }$ de Plantilla:Mvar, con marco local $e_1,\dots ,e_n$, cualquier sección puede escribirse como $s=\sum _i{s}^i{e}_i$ para algunas funciones suaves $s^i:U_{\alpha }\to ℂ$.

Ahora, se define un operador localmente mediante

${\overline{\partial }}_E(s):=\sum _i\overline{\partial }(s^i)\otimes e_i$

donde $\overline{\partial }$ es el operador de Cauchy-Riemann regular de la variedad base. Este operador está bien definido en todo Plantilla:Mvar porque en una superposición de dos trivializaciones $U_{\alpha },U_{\beta }$ con la función de transición holomorfa $g_{\alpha \beta }$, si $s=s^i{e}_i={\tilde{s}}^j{f}_j$ donde $f_j$ es un marco local para Plantilla:Mvar en $U_{\beta }$, entonces $s^i=\sum _j(g_{\alpha \beta }{)}_j^i{\tilde{s}}^j$, y así

$\overline{\partial }(s^i)=\sum _j(g_{\alpha \beta }{)}_j^i\overline{\partial }({\tilde{s}}^j)$

porque las funciones de transición son holomorfas. Esto lleva a la siguiente definición: Un operador de Dolbeault en un paquete de vectores complejo suave $E\to M$ es un operador lineal $ℂ$

${\overline{\partial }}_E:\mathrm{\Gamma }(E)\to {\mathrm{\Omega }}^{0,1}(M)\otimes \mathrm{\Gamma }(E)$

tal que

• (Condición de Cauchy-Riemann) ${\overline{\partial }}_E^2=0$,
• (Regla de Leibniz) Para cualquier sección $s\in \mathrm{\Gamma }(E)$ y función $f$ en $M$, se tiene que

${\overline{\partial }}_E(fs)=\overline{\partial }(f)\otimes s+f{\overline{\partial }}_E(s)$.

Mediante una aplicación del Teorema de Newlander-Nirenberg, se obtiene lo contrario a la construcción del operador de Dolbeault de un paquete holomorfo:

Teorema: Dado un operador de Dolbeault

${\overline{\partial }}_E$

en un paquete de vectores complejo suave

$E$

, existe una estructura holomorfa única en

$E$

tal que

${\overline{\partial }}_E$

es el operador de Dolbeault asociado como se construyó anteriormente.

Con respecto a la estructura holomorfa inducida por un operador de Dolbeault ${\overline{\partial }}_E$, una sección suave $s\in \mathrm{\Gamma }(E)$ es holomorfa si y solo si ${\overline{\partial }}_E(s)=0$. Esto es conceptualmente similar a la definición de una variedad suave o compleja como espacio anillado. Es decir, basta con especificar qué funciones en una variedad topológica son suaves o complejas para darle una estructura suave o compleja.

El operador de Dolbeault tiene inverso local en términos de un operador homotópico.

Haces de formas con valores en un paquete de vectores holomorfos

Si ${ℰ}_X^{p,q}$ denota el haz de formas diferenciales Plantilla:Math del tipo Plantilla:Math, entonces el haz de formas tipo Plantilla:Math con valores en Plantilla:Mvar se puede definir como el producto tensorial

${ℰ}^{p,q}(E)\triangleq {ℰ}_X^{p,q}\otimes E.$

Estos paquetes son finos, lo que significa que admiten particiones de la unidad. Una distinción fundamental entre paquetes de vectores suaves y holomorfos es que en este último caso, existe un operador diferencial canónico, dado por el operador de Dolbeault definido anteriormente:

${\bar{\partial }}_E:{ℰ}^{p,q}(E)\to {ℰ}^{p,q+1}(E).$

Cohomología de paquetes de vectores holomorfos

Si Plantilla:Mvar es un paquete de vectores holomorfo, la cohomología de Plantilla:Mvar se define como la cohomología de haz de $𝒪(E)$. En particular, se tiene que

$H^0(X,𝒪(E))=\mathrm{\Gamma }(X,𝒪(E)),$

que es el espacio de secciones holomorfas globales de Plantilla:Mvar. También se tiene que $H^1(X,𝒪(E))$ parametriza el grupo de extensiones del paquete de líneas triviales de Plantilla:Mvar por Plantilla:Mvar, es decir, es la sucesión exacta de paquetes de vectores holomorfos Plantilla:Math. Para conocer la estructura del grupo, consúltese también la suma de Baer y la extensión de haz.

Por el teorema de Dolbeault, esta cohomología de haz puede describirse alternativamente como la cohomología de un complejo de cadenas definida por los haces de formas con valores en el paquete holomorfo $E$. Es decir, se tiene que

$H^i(X,𝒪(E))=H^i(({ℰ}^{0,\bullet }(E),{\overline{\partial }}_E)).$

Grupo de Picard

En el contexto de la geometría diferencial compleja, el grupo de Picard Plantilla:Math de la variedad compleja Plantilla:Mvar es el grupo de clases de isomorfismo de haces de líneas holomorfas con ley de grupo dada por el producto tensorial, e inversión dada por su dualización. Puede definirse de manera equivalente como el primer grupo de cohomología $H^1(X,{𝒪}_X^{*})$ del haz de funciones holomorfas que no desaparecen.

Métricas hermitianas en un paquete de vectores holomorfos

Sea E un paquete de vectores holomorfos en una variedad compleja M, y supóngase que existe una mátrica hermítica en E; es decir, las fibras E_x están equipadas con productos internos <·,·> que varían suavemente. Entonces existe una connection ∇ única en E que es compatible tanto con la estructura compleja como con la estructura métrica, llamada conexión Chern; es decir, ∇ es una conexión tal que

(1) Para cualquier sección suave s de E, ${\pi }_{0,1}\mathrm{\nabla }s={\overline{\partial }}_{E}s$ donde π_0,1 toma el componente (0, 1) de un 1-forma E-valuada.

(2) Para cualquier sección suave s, t de E y un campo vectorial X en M,

$X\cdot ⟨s,t⟩=⟨{\mathrm{\nabla }}_{X}s,t⟩+⟨s,{\mathrm{\nabla }}_{X}t⟩$

donde se escribe ${\mathrm{\nabla }}_{X}s$ para la contracción de $\mathrm{\nabla }s$ por X (esto equivale a decir que el transporte paralelo por ∇ preserva la métrica <·,·>).

De hecho, si u= (e₁, …, e_n) es un marco holomorfo, entonces sea $h_{ij}=⟨e_i,e_j⟩$ y defínase ω_u mediante la ecuación $\sum h_{ik}{({\omega }_u)}_j^k=\partial h_{ij}$, que se escribe de manera más simple como:

${\omega }_u=h^{-1}\partial h.$

Si u'= ug es otro cuadro con un cambio holomorfo de base g, entonces

${\omega }_{u^{\prime }}=g^{-1}dg+g{\omega }_u{g}^{-1},$

y entonces ω es de hecho una forma de conexión, dando lugar a ∇ por ∇s= ds + ω · s. Ahora, dado que ${\bar{\omega }}^T=\bar{\partial }h\cdot h^{-1}$,

$d⟨e_i,e_j⟩=\partial h_{ij}+\bar{\partial }{h}_{ij}=⟨{\omega }_i^k{e}_k,e_j⟩+⟨e_i,{\omega }_j^k{e}_k⟩=⟨\mathrm{\nabla }{e}_i,e_j⟩+⟨e_i,\mathrm{\nabla }{e}_j⟩.$

Es decir, ∇ es compatible con la estructura métrica. Finalmente, dado que ω es una forma (1, 0), el componente (0, 1) de $\mathrm{\nabla }s$ es ${\overline{\partial }}_{E}s$.

Sea $\mathrm{\Omega }=d\omega +\omega \wedge \omega$ la forma de curvatura de ∇. Dado que ${\pi }_{0,1}\mathrm{\nabla }={\overline{\partial }}_E$ es cuadrado a cero según la definición de un operador de Dolbeault, Ω no tiene componente (0, 2) y dado que se muestra fácilmente que Ω es sesgado-hermítico, tampoco tiene componente (2, 0). En consecuencia, Ω es una forma (1, 1) dada por

$\mathrm{\Omega }={\overline{\partial }}_E\omega .$

La curvatura Ω aparece de manera prominente en el teorema de desaparición para una cohomología de haces de vectores holomorfos mayor, como por ejemplo, en el teorema de desaparición de Kodaira y en el teorema de desaparición de Nakano.

Bibliografía

• Plantilla:Citation
• Plantilla:Springer

Véase también

• Teorema de Birkhoff-Grothendieck
• Métrica de Quillen
• Dualidad de Serre

Enlaces externos

• Splitting principle for holomorphic vector bundles