Grupo picard


En matemáticas , el grupo Picard de un espacio anillado X , denotado por Pic ( X ), es el grupo de clases de isomorfismo de poleas invertibles (o haces de líneas ) en X , siendo la operación de grupo el producto tensorial . Esta construcción es una versión global de la construcción del grupo de clase divisor, o grupo de clase ideal , y se usa mucho en geometría algebraica y la teoría de variedades complejas .

Para esquemas integrales , el grupo Picard es isomorfo al grupo de clases de divisores Cartier . Para variedades complejas, la secuencia exponencial de gavillas proporciona información básica sobre el grupo Picard.