Группа Пикара
Гру́ппа Пика́ра, группа классов обратимых пучков (или линейных расслоений). Более точно, пусть – окольцованное пространство. Пучок -модулей называется обратимым, если он локально изоморфен структурному пучку . Множество классов изоморфных обратимых пучков на обозначается . Тензорное произведение определяет на множестве операцию, превращающую его в абелеву группу, называемую группой Пикарa пространства . Группа естественно изоморфна группе когомологий , где – пучок обратимых элементов в .
Для коммутативного кольца группой Пикара называется группа классов обратимых -модулей; . Для кольца Крулля группа тесно связана с группой классов дивизоров этого кольца.
Группа Пикара полного нормального алгебраического многообразия обладает естественной алгебраической структурой (см. Схема Пикара). Связная компонента нуля группы обозначается и называется многообразием Пикара для ; это алгебраическая группа (абелево многообразие, если многообразие гладко). Факторгруппа называется группой Нерона – Севери и имеет конечное число образующих; ранг её называется числом Пикара. В комплексном случае, когда – гладкое проективное многообразие над , группа изоморфна факторгруппе пространства голоморфных 1-форм на по решётке .