Un faischeo localmente libre de rango uno o un fibrado cuyas fibras son espacios vectoriales de dimensión uno, que sirve como vehículo geométrico para el giro de secciones y define faischeos invertibles en esquemas o fibrados vectoriales de rango uno en topología.

Principio

Un fibrado en líneas es localmente trivial de rango uno y por tanto queda determinado por funciones de transición con valores en el grupo multiplicativo; producto tensorial, dual y pullback le confieren un comportamiento tipo grupo reflejado en el grupo de Picard de clases de isomorfía.

Demostración

En el espacio proyectivo P^n los fibrados tautológicos O(-1) y su dual O(1) son ejemplos estándar: las secciones de O(1) corresponden a formas lineales y a divisor de hiperplanos, y las potencias tensoriales generan los O(k).

Aplicación incorrecta

Suponer que un fibrado en líneas es trivial globalmente porque lo es sobre una cubierta demasiado tosca, o confundir fibrados en líneas con fibrados de rango mayor o con módulos invertibles sin libertad local.

Consecuencia

Bien usado, un fibrado en líneas determina clases de divisores y sistemas lineales, controla inmersiones mediante fibrados muy amplios y constituye el grupo de Picard cuya estructura refleja deformaciones geométricas y datos de clasificación.

Inversión

Reemplazar un fibrado en líneas por un faischeo coherente de rango uno no invertible rompe la propiedad de disponer de inverso tensorial; considerar fibrados de mayor rango hace perder la correspondencia con divisores y la imagen simple de funciones de transición multiplicativas.

Límite

Requiere libertad local de rango uno; hay que distinguir fibrados algebraicos (faischeo invertible), analíticos y topológicos y considerar obstrucciones a la trivialidad (clase de Chern, primera clase de Stiefel–Whitney, etc.).

Tensión semántica

Existe tensión entre las perspectivas «fibrado en líneas» (geométrica), «faischeo invertible» (algebraica) y «G_m‑torsor» (lenguaje de torsores); cada una enfatiza construcciones e invariantes distintos.

Síntesis

Un fibrado en líneas es el fibrado vectorial localmente trivial de dimensión uno cuyas secciones miden el giro; algebraicamente es un faischeo invertible y, salvo isomorfismo, sus clases gobiernan divisores, inmersiones e invariantes cohomológicos.