Iba a necesitar un resultado afirmar que si, por ejemplo, un local libre de gavilla F en un proyectiva X no tiene fuga cohomology cuando están restringidos a una suave hyperplane sección, a continuación,H1(X,F)≠0, demasiado. Me temo que esto es demasiado ingenuo, así que voy a ser más específico en dos pasos, para contextualizar. También, para ser justos, debo sustituir el "complejo de gavillas" a "gavilla" (y "hypercohomology" a "cohomology").
Deje X ser un proyectiva de superficie compleja, y F∙=F1θ→F2θ→F3 3 pasos complejo de localmente libre de las poleas. Supongamos que sabemos que por cada liso hyperplane sección i:C⊂X, el hypercohomology H1(C,i∗F∙) de la restricción i∗F∙=i∗F1i∗θ→i∗F2 no es cero (en mi situación, de hecho yo sé que esto tiene sólo 2 pasos). Es posible que H1(X,F∙)=0?
Algo más de fondo (la explicación de la, probablemente inútil, en la condición de las longitudes de los complejos). La verdad es que tengo una tv de paquete de VX, con una descomposición V=⨁kUk y mapas de θ:Uk→A1,0(Uk+1) donde A1,0 denota (1,0)-formas, de tal manera que θ∧θ=0, es decir, para cada k un complejo F\balaX,k=Ukθ→A1,0(Uk+1)θ→A2,0(Uk+2). Por Lefschetz hyperplane teorema, ya que π1(C)↠, se obtiene una inyección de H^1(X, \mathcal{V}) \hookrightarrow H^1(C, i^*\mathcal{V}). La anterior descomposición da una descomposición H^1(X, \mathcal{V}) \cong \mathbb{H}^1\big(\mathcal{V} \xrightarrow{\theta}\mathcal{A^{1,0}(V)} \xrightarrow{\theta} \mathcal{A^{2,0}(V)}\big) = \bigoplus_k \mathbb{H}^1(F_{X,k}^\bala), y de hecho tenemos un análogo de la descomposición en C (por supuesto, con sólo 2 pasos complejos, ya que en las curvas de \mathcal{A}^{2,0} = 0). El natural inyectiva mapa, a continuación, envía a\mathbb{H}^1(F_{X,k}^\bullet)\mathbb{H}^1(F_{C,k}^\bullet), y cada restricción debe ser inyectiva. Me gustaría deducir que si el ex desaparece para algunos k, la última hace, también, por el mismo k y al menos un suave hyperplane sección C (a fortiori, en mi situación, esto implica que se desvanece para cada una de dichas C, pero algunos otros argumentos son necesarios).
Me disculpo de antemano por el tiempo trivial-pero-disfrazado-como-una pregunta seria, no importa cómo, básicos de la geometría algebraica siempre se me escapa...