Тета-характеристика - Википедия - Theta characteristic
В математика, а тета характеристика из неособый алгебраическая кривая C это класс делителя Θ такое, что 2Θ - канонический класс, С точки зрения голоморфные линейные расслоения L на подключенном компактная риманова поверхность, поэтому L такой, что L2 это канонический пакет, здесь также эквивалентно голоморфное кокасательное расслоение. С точки зрения алгебраическая геометрия, эквивалентное определение - как обратимая связка, который квадратов к пучку дифференциалы первого рода. Тета-характеристики были введены Розенхайн (1851 )
История и род 1
Важность этой концепции впервые была осознана в аналитической теории тета-функции, а геометрически в теории битангенты. В аналитической теории есть четыре фундаментальных тэта-функции в теории Эллиптические функции Якоби. Их ярлыки фактически являются тета-характеристиками эллиптическая кривая. В этом случае канонический класс тривиален (ноль в группа классов дивизоров ) и, следовательно, тета-характеристики эллиптической кривой E над комплексными числами находятся в соответствии 1-1 с четырьмя точками п на E с 2п = 0; это подсчет решений, как видно из структуры группы, продукт двух группы кругов, когда E рассматривается как комплексный тор.
Высший род
За C рода 0 существует один такой класс дивизоров, а именно класс -П, куда п любая точка на кривой. В случае высшего рода грамм, предполагая поле, над которым C определяется не имеет характеристика 2, тета-характеристики можно считать как
- 22грамм
по числу, если базовое поле алгебраически замкнуто.
Это происходит потому, что решения уравнения на уровне класса делителей образуют единый смежный решений
- 2D = 0.
Другими словами, с K канонический класс и Θ любое данное решение
- 2Θ = K,
любое другое решение будет иметь форму
- Θ + D.
Это сводит подсчет тета-характеристик к нахождению 2-го ранга Якобиева многообразие J(C) из C. В сложном случае, опять же, результат следует, поскольку J(C) - комплексный тор размерности 2грамм. В общей области см. Объяснение теории на Матрица Хассе-Витта для подсчета p-ранг абелевого многообразия. Ответ тот же, при условии, что характеристика поля не равна 2.
Тета-характеристику будем называть четное или же странный в зависимости от размерности своего пространства глобальных секций . Получается, что на C Существуют даже и нечетные тета-характеристики.
Классическая теория
Классически тета-характеристики делились на эти два типа, четные и нечетные, в зависимости от значения Инвариант Arf определенного квадратичная форма Q со значениями mod 2. Таким образом, в случае грамм = 3 и самолет кривая четвертой степени их было 28 одного типа, остальные 36 - другого; это является основным при подсчете битангенсов, поскольку соответствует 28 битангенс четвертичной. Геометрическое построение Q как форма пересечения с помощью современных инструментов возможно алгебраически. Фактически Спаривание Вейля применяется в своих абелева разновидность форма.Тройки (θ1, θ2, θ3) тета-характеристик называются сизигетический и асизигетический в зависимости от того, является ли Arf (θ1) + Arf (θ2) + Arf (θ3) + Arf (θ1+ θ2+ θ3) равно 0 или 1.
Спиновые структуры
Атья (1971) показал, что для компактного комплексного многообразия выбор тэта-характеристик биективно соответствует спиновые структуры.
Рекомендации
- Атья, Майкл Фрэнсис (1971), «Римановы поверхности и спиновые структуры», Научные Анналы Высшей Нормальной Школы, Сери 4, 4: 47–62, ISSN 0012-9593, МИСТЕР 0286136
- Долгачев, Лекции на классические темы, гл. 5 (PDF)
- Фаркас, Гаврил (2012), Тета-характеристики и их модули, arXiv:1201.2557, Bibcode:2012arXiv1201.2557F
- Мамфорд, Дэвид (1971), «Тета-характеристики алгебраической кривой», Научные Анналы Высшей Нормальной Школы, Сери 4, 4 (2): 181–192, МИСТЕР 0292836
- Розенхайн, Иоганн Георг (1851), Память о функциях двух переменных, qui sont les invses des intégrales ultra-elliptiques de la première classe, Париж