Якобиан алгебраической кривой: определение и обобщения
Jacobian variety
Якобиан — абелево многообразие, связанное с алгебраической кривой. Описывает пространство линейных расслоений и играет важную роль в алгебраической геометрии.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
В математике, якобианское многообразие J(C) несингулярной алгебраической кривой C рода g является модульным пространством линейных расслоений степени 0. Это связная компонента единицы в группе Пикара кривой C, следовательно, абелево многообразие.
In mathematics, the Jacobian variety J(C) of a non singular algebraic curve C of genus g is the moduli space of degree 0 line bundles. It is the connected component of the identity in the Picard group of C, hence an abelian variety.
Введение
Якобиева разновидность названа в честь Карла Густава Якоби, который доказал полную версию теоремы Абеля — Якоби, превратив утверждение об инъективности, полученное Нильсом Абелем, в изоморфизм. Это главным образом поляризованная абелева разновидность размерности g, и, следовательно, над комплексными числами, это комплексный тор. Если p — точка на кривой C, то кривую C можно отобразить в подразновидность Якобиева многообразия J, при этом точка p отображается в единичный элемент J, и C порождает J как группу.
The Jacobian variety is named after Carl Gustav Jacobi, who proved the complete version of the Abel–Jacobi theorem, making the injectivity statement of Niels Abel into an isomorphism. It is a principally polarized abelian variety, of dimension g, and hence, over the complex numbers, it is a complex torus. If p is a point of C, then the curve C can be mapped to a subvariety of J with the given point p mapping to the identity of J, and C generates J as a group.
Алгебраическая структура
Как группа, якобиан кривой изоморфен факторгруппе группы делителей степени ноль по подгруппе принципиальных делителей, то есть делителей рациональных функций. Это верно для полей, не являющихся алгебраически замкнутыми, при условии рассмотрения делителей и функций, определенных над этим полем.
As a group, the Jacobian variety of a curve is isomorphic to the quotient of the group of divisors of degree zero by the subgroup of principal divisors, i. e., divisors of rational functions. This holds for fields that are not algebraically closed, provided one considers divisors and functions defined over that field.
Дополнительные понятия
Теорема Торелли утверждает, что комплексная кривая определяется своим якобианом (с его поляризацией). Проблема Шоттки спрашивает, какие принципиально поляризованные абелевы многообразия являются якобианами кривых. Многообразие Пикара, албанезево многообразие, обобщенный якобиан и промежуточные якобианы являются обобщениями якобиана для многообразий большей размерности. Для многообразий большей размерности построение якобиана как фактор-пространства пространства голоморфных 1-форм обобщается для получения албанезева многообразия, но в общем случае оно не обязательно изоморфно многообразию Пикара.
Torelli's theorem states that a complex curve is determined by its Jacobian (with its polarization). The Schottky problem asks which principally polarized abelian varieties are the Jacobians of curves. The Picard variety, the Albanese variety, generalized Jacobian, and intermediate Jacobians are generalizations of the Jacobian for higher dimensional varieties. For varieties of higher dimension the construction of the Jacobian variety as a quotient of the space of holomorphic 1 forms generalizes to give the Albanese variety, but in general this need not be isomorphic to the Picard variety.