Sea Gr=Gr(m,V) sea un grassmanniano de m -subespacios vectoriales dimensionales en el n -espacio vectorial dimensional V . Existe una incrustación de Plücker p1:Gr↪P(ΛmV) asignación de un m -subespacio vectorial dimensional U⊂V al grano p1(U)=P(ΛmU) . Da una serie de haces de líneas p∗1O(k) . Se puede demostrar que son los únicos haces de líneas en Gr Así pues Pic(Gr)=Z .
Pero hay otra forma de ver Gr como Gr(n−m,V∗) sustituyendo U⊂V por ker(V∗→U∗)⊂V∗) . Da otra incrustación de Plücker p2:Gr↪P(Λn−mV∗) y otra serie p∗2O(l) de haces de líneas. Pero el grupo de Picard es el mismo.
Entonces, ¿qué p∗2O(l) corresponde a p∗1O(k) ?