✖
~~~~~~~~~~~~~~~~~~~~ Arc.Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~ 
Номер скриншота №:
✰ 265291A31FC64560200978D32133E1FF__1716688980 ✰
Заголовок документа оригинал.:
✰ Glossary of arithmetic and diophantine geometry - Wikipedia ✰
Заголовок документа перевод.:
✰ Словарь арифметики и диофантовой геометрии — Википедия, бесплатная энциклопедия. ✰
Снимок документа находящегося по адресу (URL):
✰ https://en.wikipedia.org/wiki/Function_field_analogy ✰
Адрес хранения снимка оригинал (URL):
✰ https://arc.ask3.ru/arc/aa/26/ff/265291a31fc64560200978d32133e1ff.html ✰
Адрес хранения снимка перевод (URL):
✰ https://arc.ask3.ru/arc/aa/26/ff/265291a31fc64560200978d32133e1ff__translat.html ✰
Дата и время сохранения документа:
✰ 11.06.2024 12:40:15 (GMT+3, MSK) ✰
Дата и время изменения документа (по данным источника):
✰ 26 May 2024, at 05:03 (UTC). ✰ 

~~~~~~~~~~~~~~~~~~~~~~ Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~~ 
Сервисы Ask3.ru: 
 Архив документов (Снимки документов, в формате HTML, PDF, PNG - подписанные ЭЦП, доказывающие существование документа в момент подписи. Перевод сохраненных документов на русский язык.) 
✰ https://arc.ask3.ru ✰
 Ответы на вопросы (Сервис ответов на вопросы, в основном, научной направленности) 
✰ https://ask3.ru/answer2question ✰
 Товарный сопоставитель (Сервис сравнения и выбора товаров) ✰✰
✰ https://ask3.ru/product2collation ✰
 Партнеры 
✰ https://comrades.ask3.ru ✰


Совет. Чтобы искать на странице, нажмите Ctrl+F или ⌘-F (для MacOS) и введите запрос в поле поиска.
Arc.Ask3.ru: далее начало оригинального документа

Словарь арифметики и диофантовой геометрии — Википедия, бесплатная энциклопедия. Jump to content

Глоссарий арифметики и диофантовой геометрии

Edit links
Из Википедии, бесплатной энциклопедии
(Перенаправлено из аналогии поля функции )

Это глоссарий арифметики и диофантовой геометрии в математике , областей, выросших из традиционного изучения диофантовых уравнений и охватывающих значительную часть теории чисел и алгебраической геометрии . Большая часть теории представлена ​​в форме предложенных гипотез , которые могут быть связаны на различных уровнях общности.

Диофантова геометрия в целом — это изучение алгебраических многообразий V над полями K , которые конечно порождены над своими простыми полями представляющие особый интерес , включая поля, , и конечные поля , а также над локальными полями . Из них только комплексные числа замкнуты алгебраически ; над любым другим K существование точек V с координатами в K необходимо доказать и изучить как дополнительную тему, даже зная геометрию V .

Арифметическую геометрию можно в более общем смысле определить как исследование схем конечного типа над спектром кольца целых чисел . [1] Арифметическая геометрия также определяется как применение методов алгебраической геометрии к задачам теории чисел . [2]


А [ править ]

гипотеза abc
Гипотеза abc Массера Остерле и пытается как можно больше сказать о повторяющихся простых множителях в уравнении a + b = c . Например, 3 + 125 = 128, но степени простых чисел здесь исключительные.
Группа класса Аракелова
Группа классов Аракелова является аналогом группы идеальных классов или группы классов дивизоров для дивизоров Аракелова . [3]
Arakelov divisor
An Arakelov divisor (or replete divisor [4] ) на глобальном поле является расширением понятия дивизора или дробного идеала . Это формальная линейная комбинация мест поля с конечными позициями , имеющими целые коэффициенты, и бесконечными позициями , имеющими вещественные коэффициенты. [3] [5] [6]
Arakelov height
в Высота Аракелова проективном пространстве над полем алгебраических чисел представляет собой глобальную функцию высоты с локальными вкладами, поступающими от метрик Фубини–Студи на архимедовых полях и обычной метрики на неархимедовых полях . [7] [8]
Arakelov theory
Теория Аракелова — это подход к арифметической геометрии, который явно включает «бесконечные простые числа».
Арифметика абелевых многообразий
См. основную статью арифметика абелевых многообразий.
L-функции Артина
L-функции Артина определены для вполне общих представлений Галуа . Введение этальных когомологий в 1960-х годах означало, что L-функции Хассе – Вейля можно было рассматривать как L-функции Артина для представлений Галуа на l-адических когомологий . группах

Б [ править ]

Плохое сокращение
Смотрите хорошее сокращение .
Гипотеза Берча и Суиннертона-Дайера
Гипотеза Берча и Суиннертона-Дайера об эллиптических кривых постулирует связь между рангом эллиптической кривой и порядком полюса ее L-функции Хассе–Вейля. Это была важная веха в диофантовой геометрии с середины 1960-х годов, с такими результатами, как теорема Коутса-Уайлса , теорема Гросса-Загера и теорема Колывагина . [9]

С [ править ]

Каноническая высота
Каноническая высота абелева многообразия — это функция высоты, представляющая собой выделенную квадратичную форму . См. высоту Нерона – Тейта .
Метод Шаботи
Метод Шаботи , основанный на p -адических аналитических функциях, представляет собой специальное приложение, но способен доказать случаи гипотезы Морделла для кривых, ранг якобиана которых меньше его размерности. Он развил идеи метода Торальфа Скулема для алгебраического тора . (К другим старым методам решения диофантовых задач относится метод Рунге .)
Теорема Коутса – Уайлса
Теорема Коутса –Уайлса утверждает, что эллиптическая кривая с комплексным умножением на мнимое квадратичное поле класса . 1 и положительного ранга имеет L-функцию с нулем в точке s = 1. Это частный случай гипотезы Берча и Суиннертона-Дайера . [10]
Кристаллические когомологии
Кристаллические когомологии - это теория p-адических когомологий в характеристике p , введенная Александром Гротендиком, чтобы заполнить пробел, оставленный этальными когомологиями , которым mod p в этом случае не хватает использования коэффициентов . Это одна из многих теорий, в некотором роде вытекающих из метода Дворка , и имеющая приложения за пределами чисто арифметических вопросов.

Д [ править ]

Диагональные формы
Диагональные формы — одни из самых простых проективных многообразий для изучения с арифметической точки зрения (включая многообразия Ферма ). Их локальные дзета-функции вычисляются через суммы Якоби . Проблема Уоринга — наиболее классический случай.
Диофантово измерение
Диофантова размерность поля — это наименьшее натуральное число k , если оно существует, такое, что поле принадлежит классу Ck : то есть такое, что любой однородный многочлен степени d от N переменных имеет нетривиальный нуль всякий раз, когда N > д к . Алгебраически замкнутые поля имеют диофантову размерность 0; квазиалгебраически замкнутые поля размерности 1. [11]
Дискриминант точки
Дискриминант точки относится к двум связанным понятиям относительно точки P на алгебраическом многообразии V , определенном над числовым полем K : геометрический (логарифмический) дискриминант [12] d ( P ) и арифметический дискриминант , определенный Войтой. [13] Разницу между ними можно сравнить с разницей между родом сингулярной кривой и геометрическим родом десингуляризации арифметическим . [13] Арифметический род больше геометрического рода, и высота точки может быть ограничена в терминах арифметического рода. Получение аналогичных границ, включающих геометрический род, имело бы значительные последствия. [13]
Метод Дворка
Бернар Дворк использовал отличительные методы p-адического анализа , p-адические алгебраические дифференциальные уравнения , комплексы Кошуля и другие методы, которые не все были включены в общие теории, такие как кристаллические когомологии . Он первым доказал рациональность локальных дзета-функций, что стало первым шагом в направлении гипотез Вейля .

Э [ править ]

Распространение когомологий
Поиск когомологий Вейля (см.) был по крайней мере частично осуществлен в этальных когомологий теории Александра Гротендика и Майкла Артина . Оно обеспечило доказательство функционального уравнения для локальных дзета-функций и послужило основой для формулировки гипотезы Тейта (см.) и многих других теорий.

Ф [ править ]

Высота фальтинга
Высота Фальтингса эллиптической кривой или абелева многообразия, определенного над числовым полем, является мерой ее сложности, введенной Фальтингсом в его доказательстве гипотезы Морделла . [14] [15]
Последняя теорема Ферма
Великая теорема Ферма , самая знаменитая гипотеза диофантовой геометрии, была доказана Эндрю Уайлсом и Ричардом Тейлором .
Плоские когомологии
Плоские когомологии являются для школы Гротендика одной из конечных точек развития. Его недостаток заключается в том, что его довольно сложно вычислить. Причина, по которой плоская топология считается «правильным» фундаментальным топосом для теории схем, восходит к факту точно плоского спуска , открытию Гротендика, что представимые функторы для нее являются пучками (т.е. выполняется очень общая аксиома склейки ) .
Аналогия функционального поля
В девятнадцатом веке стало понятно, что кольцо целых чисел числового поля имеет аналогии с аффинным координатным кольцом алгебраической кривой или компактной римановой поверхности, с удаленной точкой или более, что соответствует «бесконечным местам» числового поля. Эта идея более точно выражена в теории, согласно которой все глобальные поля следует рассматривать на одинаковой основе. Идея идет дальше. Таким образом , эллиптические поверхности над комплексными числами также имеют некоторые весьма строгие аналогии с эллиптическими кривыми над числовыми полями.

Г [ править ]

Теория поля геометрического класса
Распространение результатов в стиле теории полей классов об абелевых накрытиях на многообразия размерности не менее двух часто называют геометрической теорией полей классов.
Хорошее снижение
Фундаментальным моментом локального анализа арифметических задач является сокращение по модулю всех простых чисел p или, в более общем плане, простых идеалов . В типичной ситуации это не представляет труда почти для всех p ; например, знаменатели дробей сложны, поскольку приведение по модулю простого числа в знаменателе выглядит как деление на ноль , но это исключает только конечное число p на дробь. Немного усложнив однородные координаты , можно очистить знаменатели путем умножения на общий скаляр. Для данной единственной точки можно сделать это и не оставлять общий множитель p . Однако в дело вступает теория особенностей : неособая точка может стать особой точкой при уменьшении по модулю p , потому что касательное пространство Зариского может стать больше, когда линейные члены уменьшаются до 0 (геометрическая формулировка показывает, что это не вина одного набора координат ). Хорошая редукция относится к приведенному многообразию, имеющему те же свойства, что и исходное, например, к алгебраической кривой того же рода. , или гладкая разновидность, остающаяся гладкой. В общем случае существует конечное множество S простых чисел для данного многообразия V существует гладкое приведенное V p над Z / p Z. , предполагаемого гладким, так что в противном случае Для абелевых многообразий хорошая редукция связана с ветвлением в области точек деления по критерию Нерона–Огга–Шафаревича . Теория тонкая, в том смысле, что свобода изменения переменных, чтобы попытаться улучшить ситуацию, довольно неочевидна: см. Модель Нерона , потенциально хорошая редукция , кривая Тейта , полустабильное абелева многообразие , полустабильная эллиптическая кривая , теорема Серра-Тейта . [16]
Гипотеза Гротендика – Каца
Гипотеза Гротендика – Каца о p-кривизне применяет приведение простых чисел к алгебраическим дифференциальным уравнениям для получения информации о решениях алгебраических функций . Первоначальным результатом такого типа была теорема Эйзенштейна .

Х [ править ]

Принцип Хассе
Принцип Хассе гласит, что растворимость в глобальном поле такая же, как и растворимость во всех соответствующих локальных полях . Одна из основных целей диофантовой геометрии — классифицировать случаи, когда справедлив принцип Хассе. Обычно это касается большого числа переменных, когда степень уравнения остается фиксированной. Принцип Хассе часто связывают с успехом метода круга Харди-Литтлвуда . Когда метод круга работает, он может предоставить дополнительную количественную информацию, такую ​​как асимптотическое число решений. Уменьшение количества переменных усложняет метод круга; поэтому нарушения принципа Хассе, например, для кубических форм с малым числом переменных (и в частности для эллиптических кривых как кубических кривых ), на общем уровне связаны с ограничениями аналитического подхода.
Хассе – Потому что L-функция
L-функция Хассе -Вейля , иногда называемая глобальной L-функцией, представляет собой произведение Эйлера, образованное из локальных дзета-функций. Свойства таких L-функций остаются в значительной степени в области гипотез, а доказательство гипотезы Таниямы–Шимуры является прорывом. Философия Ленглендса во многом дополняет теорию глобальных L-функций.
Функция высоты
Функция высоты в диофантовой геометрии количественно определяет размер решений диофантовых уравнений. [17]
Гильбертовы поля
K Гильбертово поле — это поле, для которого проективные пространства над K не являются тонкими множествами в смысле Жана-Пьера Серра . Это геометрический взгляд на теорему о неприводимости Гильберта, который показывает, что рациональные числа гильбертовы. Результаты применены к обратной задаче Галуа . Тонкие множества (французское слово — фарш ) в некотором смысле аналогичны скудным множествам (франц. maigre ) из теоремы Бэра о категориях .

Я [ править ]

Дзета-функция Игусы
, Дзета-функция Игусы названная в честь Дзюнъити Игуса , представляет собой производящую функцию, подсчитывающую количество точек на алгебраическом многообразии по модулю высоких степеней p. н фиксированного простого числа p . общие теоремы рациональности Сейчас известны , основанные на методах математической логики . [18]
Бесконечный спуск
Бесконечный спуск был Пьера де Ферма классическим методом для решения диофантовых уравнений. Это стало одной половиной стандартного доказательства теоремы Морделла-Вейля, а другая часть представляла собой аргумент с функциями высоты (см.). Спуск — это что-то вроде деления на два в группе главных однородных пространств (часто называемых «спусками», когда они записаны уравнениями); в более современных терминах в группе когомологий Галуа, конечность которой нужно доказать. См. группу Зельмера .
Теория Ивасавы
Теория Ивасавы строится на основе аналитической теории чисел и теоремы Стикельбергера как теории групп идеальных классов как модулей Галуа и p-адических L-функций (с корнями в конгруэнтности Куммера на числах Бернулли ). Вначале, в конце 1960-х годов, его называли Ивасавы аналогом якобиана . Аналогия была с якобианом многообразия J кривой C над конечным полем F ( многообразием Пикара), где конечное поле имеет корни из единицы, добавленные для создания конечных расширений поля F ′. Локальная дзета-функция (см.) C может восстанавливаться по точкам J ( F ′ ) как модуль Галуа. Таким же образом Ивасава добавил р. н -степенные корни из единицы при фиксированном p и при n → ∞, для его аналога, к числовому полю K и рассмотрел обратный предел групп классов, найдя p -адическую L-функцию, ранее введенную Куботой и Леопольдтом.

Редактировать ​ ​ ]

К-теория
Алгебраическая K-теория, с одной стороны, является довольно общей теорией с оттенком абстрактной алгебры , а с другой стороны, включает в себя некоторые формулировки арифметических гипотез. См., например, гипотезу Берча – Тейта , гипотезу Лихтенбаума .

Л [ править ]

Гипотеза Ланга
Энрико Бомбьери (размерность 2), Серж Ланг и Пол Войта (случай целых точек) и Петр Бласс выдвинули гипотезу, что алгебраические многообразия общего типа не имеют плотных по Зарисскому подмножествов K -рациональных точек, поскольку K - конечно порожденное поле. В этот круг идей входит понимание аналитической гиперболичности и гипотезы Ланга о ней, а также гипотезы Войты. V Аналитически гиперболическое алгебраическое многообразие над комплексными числами — это такое, в которое не голоморфного отображения всей комплексной плоскости существует , которое не было бы постоянным. Примеры включают компактные римановы поверхности рода g > 1. Ланг предположил, что V аналитически гиперболично тогда и только тогда, когда все подмногообразия имеют общий тип. [19]
Линейный тор
Линейный тор — это геометрически неприводимая по Зарисскому подгруппа аффинного тора (произведение мультипликативных групп). [20]
Локальная дзета-функция
Локальная дзета-функция — это производящая функция для числа точек алгебраического многообразия V над конечным полем F над конечными расширениями полей F . Согласно гипотезам Вейля (см.) эти функции для неособых многообразий проявляют свойства, близко аналогичные дзета-функции Римана , включая гипотезу Римана .

М [ править ]

Гипотеза Манина – Мамфорда
Гипотеза Манина-Мамфорда , теперь доказанная Мишелем Рейно что кривая C в ее якобиевом многообразии J может содержать только конечное число точек, имеющих конечный порядок в J , если только C = J. , утверждает , [21] [22]
Гипотеза Морделла
Гипотеза Морделла теперь является теоремой Фалтингса и утверждает, что кривая рода не менее двух имеет только конечное число рациональных точек. Гипотеза о равномерности утверждает, что должна быть равномерная граница количества таких точек, зависящая только от рода и области определения.
Гипотеза Морделла – Ланга
Гипотеза Морделла-Лэнга, теперь доказанная Маккуилланом после работы Лорана, Рейно , Хиндри, Войты и Фалтингса , представляет собой гипотезу Ланга , объединяющую гипотезу Морделла и гипотезу Манина-Мамфорда в абелевом или полуабелевом многообразии . [23] [24]
Теорема Морделла – Вейля
Теорема Морделла-Вейля является основополагающим результатом, утверждающим, что для абелева многообразия A над числовым полем K группа A ( K ) является конечно порожденной абелевой группой . Первоначально это было доказано для числовых полей K , но распространяется на все конечно порожденные поля.
Морделлик сорт
Морделлово многообразие — это алгебраическое многообразие, которое имеет лишь конечное число точек в любом конечно порожденном поле. [25]

Н [ править ]

Наивная высота
Наивная высота или классическая высота вектора рациональных чисел — это максимальное абсолютное значение вектора взаимно простых целых чисел, полученного умножением на наименьший общий знаменатель . Это можно использовать для определения высоты точки в проективном пространстве над Q или многочлена, рассматриваемого как вектор коэффициентов, или алгебраического числа, исходя из высоты его минимального многочлена. [26]
Символ Нерона
Символ Нерона представляет собой бимультипликативную пару между дивизорами и алгебраическими циклами абелева многообразия, используемую в формулировке Нерона высоты Нерона – Тейта как суммы локальных вкладов. [27] [28] [29] Глобальный символ Нерона, который представляет собой сумму локальных символов, представляет собой всего лишь отрицательный результат пары высот. [30]
Высота Нерона – Тейта
Высота Нерона -Тейта (также часто называемая канонической высотой ) на абелевом многообразии A представляет собой функцию высоты (см.), которая по существу является внутренней и является точной квадратичной формой , а не приблизительно квадратичной относительно сложения на A как обеспечивается общей теорией высот. Его можно определить с общей высоты предельным процессом; есть еще формулы, в том смысле, что это сумма местных вкладов. [30]
Неванлинна инвариант
обильного Инвариант Неванлинны дивизора D на нормальном проективном многообразии X — это действительное число, которое описывает скорость роста числа рациональных точек на многообразии относительно вложения, определяемого дивизором. [31] Он имеет формальные свойства, аналогичные абсциссе сходимости дзета- функции высоты , и предполагается, что они по существу одинаковы. [32]

Или [ править ]

Обычное сокращение
Абелевое многообразие A размерности d имеет обычную редукцию в простом числе p, если оно имеет хорошую редукцию в точке p и, кроме того, p -кручение имеет ранг d . [33]

Вопрос [ править ]

Квазиалгебраическое замыкание
Тема квазиалгебраического замыкания , то есть разрешимости, гарантированной полиномиальным по степени уравнения числом переменных, выросла из исследований группы Брауэра и теоремы Шевалле – Уорнинга . Оно застопорилось перед лицом контрпримеров ; но см. теорему Экса-Кохена из математической логики .

Р [ править ]

Приведение по модулю простого числа или идеала
Смотрите хорошее сокращение .
Полный идеал
в Полный идеал числовом поле K является формальным произведением дробного идеала K позициями и вектора положительных действительных чисел с компонентами, индексированными бесконечными K . [34] A replete divisor is an Arakelov divisor . [4]

С [ править ]

Гипотеза Сато – Тейта
Гипотеза Сато–Тейта описывает распределение элементов Фробениуса в модулях Тейта эллиптических кривых над конечными полями , полученных в результате приведения данной эллиптической кривой к рациональным числам. Микио Сато и независимо Джон Тейт [35] предложил его примерно в 1960 году. Это прототип представлений Галуа в целом.
метод Скулема
См. метод Шаботи .
Специальный набор
Специальное множество в алгебраическом многообразии — это подмножество, в котором можно было бы ожидать найти много рациональных точек. Точное определение варьируется в зависимости от контекста. Одним из определений является замыкание Зарисского объединения образов алгебраических групп при нетривиальных рациональных отображениях; альтернативно можно получить изображения абелевых многообразий; [36] другое определение — это объединение всех подмногообразий, не принадлежащих к общему типу. [19] Для абелевых многообразий определением будет объединение всех транслятов собственных абелевых подмногообразий. [37] Для комплексного многообразия голоморфное специальное множество — это замыкание Зарисского образов всех непостоянных голоморфных отображений из C . Ланг предположил, что аналитические и алгебраические специальные множества равны. [38]
Теорема о подпространстве
Шмидта Теорема о подпространстве показывает, что точки малой высоты в проективном пространстве лежат в конечном числе гиперплоскостей. Количественная форма теоремы, в которой число подпространств, содержащих все решения, также была получена Шмидтом, а теорема была обобщена Шликкевеем (1977), чтобы обеспечить более общие абсолютные значения в числовых полях . Теорему можно использовать для получения результатов по диофантовым уравнениям, таких как теорема Зигеля о целых точках и решение S-единичного уравнения . [39]

Т [ править ]

Числа Тамагавы
Прямое определение числа Тамагавы хорошо работает только для линейных алгебраических групп . Там в конечном итоге была доказана гипотеза Вейля о числах Тамагавы . Для абелевых многообразий, и в частности гипотезы Берча-Суиннертона-Дайера (см.), подход чисел Тамагавы к локально-глобальному принципу терпит неудачу при прямой попытке, хотя на протяжении многих лет он имел эвристическую ценность. В настоящее время сложная гипотеза об эквивариантном числе Тамагавы является серьезной исследовательской проблемой.
Гипотеза Тейта
Гипотеза Тейта ( Джон Тейт , 1963) представляет собой аналог гипотезы Ходжа , также касающийся алгебраических циклов , но вполне в рамках арифметической геометрии. Это также дало для эллиптических поверхностей аналог гипотезы Бёрча-Суиннертона-Дайера (см.), что быстро привело к разъяснению последней и признанию ее важности.
Кривая Тейта
Кривая Тейта — это особая эллиптическая кривая над p-адическими числами , введенная Джоном Тейтом для изучения плохой редукции (см. Хорошая редукция ).
Цен ранг
Ранг области Цен , названный в честь К.С. Цена , который представил свое исследование в 1936 году. [40] — наименьшее натуральное число i , если оно существует, такое, что поле принадлежит классу T i : то есть такое, что любая система полиномов без постоянного члена степени d j от n переменных имеет нетривиальный нуль всякий раз, когда n > Σ d j я . Алгебраически замкнутые поля имеют нулевой ранг Цен. Ранг Цен больше или равен диофантовой размерности, но неизвестно, равны ли они, за исключением случая нулевого ранга. [41]

У [ править ]

Гипотеза об однородности
Гипотеза о равномерности утверждает, что для любого числового поля K и g > 2 существует равномерная граница B ( g , K ) количества K -рациональных точек на любой кривой рода g . Гипотеза вытекает из гипотезы Бомбьери-Ланга . [42]
Маловероятное пересечение
Маловероятное пересечение — это алгебраическая подгруппа, пересекающая подмногообразие тора или абелева многообразия в множестве необычно большой размерности, например, которое участвует в гипотезе Морделла-Лэнга . [43]

V [ edit ]

Гипотеза Войты
Гипотеза Войты представляет собой комплекс гипотез Пауля Войты , проводящих аналогии между диофантовым приближением и теорией Неванлинны .

В [ править ]

Веса
Йога весов — это формулировка Александром Гротендиком аналогий между теорией Ходжа и l-адическими когомологиями . [44]
Когомологии Вейля
Первоначальная идея, позже несколько модифицированная, для доказательства гипотез Вейля (см.) заключалась в построении теории когомологий , применимой к алгебраическим многообразиям над конечными полями , которая была бы так же хороша, как сингулярные гомологии, при обнаружении топологической структуры и имела бы отображения Фробениуса, действующие в таким образом, что теорему Лефшеца о неподвижной точке можно было применить к счету в локальных дзета-функциях . Для более поздней истории см. мотив (алгебраическая геометрия) , мотивные когомологии .
Предположения Вейля
Гипотезы Вейля — три весьма влиятельные гипотезы Андре Вейля , обнародованные около 1949 года, о локальных дзета-функциях. Доказательство было завершено в 1973 году. После доказательства остаются расширения сравнения теоремы Шевалле – Уорнинга , основанные на элементарном методе, а также улучшения оценок Вейля , например, лучшие оценки для кривых числа точек, чем полученные из основных принципов Вейля. теорема 1940 года. Последняя оказывается интересной для кодов алгебраической геометрии .
Распределения Вейля на алгебраических многообразиях
Андре Вейль предложил в 1920-х и 1930-х годах теорию разложения простых идеальных алгебраических чисел по координатам точек на алгебраических многообразиях. Оно осталось несколько недостаточно развитым.
функция Вейля
Функция Вейля на алгебраическом многообразии — это вещественная функция, определяемая некоторым дивизором Картье , который обобщает понятие функции Грина в теории Аракелова . [45] Они используются при построении локальных компонент высоты Нерона–Тейта . [46]
Машина высоты Weil
Машина высот Вейля — это эффективная процедура присвоения функции высоты любому дивизору на гладком проективном многообразии над числовым полем (или делителям Картье на негладких многообразиях). [47]

См. также [ править ]

Ссылки [ править ]

  1. ^ Арифметическая геометрия в n Lab
  2. ^ Сазерленд, Эндрю В. (5 сентября 2013 г.). «Введение в арифметическую геометрию» (PDF) . Проверено 22 марта 2019 г.
  3. ^ Перейти обратно: а б Шуф, Рене (2008). «Вычисление групп классов Аракелова». В Бюлере, JP; П., Стивенхаген (ред.). Алгоритмическая теория чисел: решетки, числовые поля, кривые и криптография . Публикации ИИГС. Том. 44. Издательство Кембриджского университета . стр. 447–495. ISBN  978-0-521-20833-8 . МР   2467554 . Збл   1188.11076 .
  4. ^ Перейти обратно: а б Нойкирх (1999) стр.189
  5. ^ Ланг (1988), стр. 74–75.
  6. ^ ван дер Гир, Г.; Шуф, Р. (2000). «Эффективность делителей Аракелова и тэта-делителя числового поля». Селекта Математика . Новая серия. 6 (4): 377–398. arXiv : математика/9802121 . дои : 10.1007/PL00001393 . S2CID   12089289 . Збл   1030.11063 .
  7. ^ Бомбьери и Гублер (2006), стр. 66–67.
  8. ^ Ланг (1988), стр. 156–157.
  9. ^ Ланг (1997), стр. 91–96.
  10. ^ Коутс, Дж .; Уайлс, А. (1977). «О гипотезе Берча и Суиннертона-Дайера». Математические изобретения . 39 (3): 223–251. Бибкод : 1977InMat..39..223C . дои : 10.1007/BF01402975 . S2CID   189832636 . Збл   0359.14009 .
  11. ^ Нойкирх, Юрген; Шмидт, Александр; Вингберг, Кей (2008). Когомологии числовых полей . Основы математических наук. Том 323 (2-е изд.). Издательство Спрингер . п. 361. ИСБН  978-3-540-37888-4 .
  12. ^ Ланг (1997) стр.146
  13. ^ Перейти обратно: а б с Ланг (1997) стр.171
  14. ^ Фальтингс, Герд (1983). «Теоремы конечности абелевых многообразий над числовыми полями». Математические изобретения . 73 (3): 349–366. Бибкод : 1983InMat..73..349F . дои : 10.1007/BF01388432 . S2CID   121049418 .
  15. ^ Корнелл, Гэри; Сильверман, Джозеф Х. (1986). Арифметическая геометрия . Нью-Йорк: Спрингер. ISBN  0-387-96311-1 . → Содержит английский перевод Faltings (1983).
  16. ^ Серр, Жан-Пьер ; Тейт, Джон (ноябрь 1968 г.). «Хорошая редукция абелевых многообразий». Анналы математики . Второй. 88 (3): 492–517. дои : 10.2307/1970722 . JSTOR   1970722 . Збл   0172.46101 .
  17. ^ Ланг ( 1997 )
  18. ^ Игуса, Дзюн-Ичи (1974). «Комплексные степени и асимптотические разложения. I. Функции некоторых типов». Журнал чистой и прикладной математики . 1974 (268–269): 110–130. дои : 10.1515/crll.1974.268-269.110 . S2CID   117772856 . Збл   0287.43007 .
  19. ^ Перейти обратно: а б Хиндри и Сильверман (2000) стр.479
  20. ^ Бомбьери и Гублер (2006), стр. 82–93.
  21. ^ Рейно, Мишель (1983). «Sous-variétés d'une variété abélienne et point de torsion». Ин Артин, Майкл ; Тейт, Джон (ред.). Арифметика и геометрия. Материалы, посвященные И.Р. Шафаревичу к его шестидесятилетию. Том. Я: Арифметика . Прогресс в математике (на французском языке). Том. 35. Биркхаузер-Бостон. стр. 327–352. Збл   0581.14031 .
  22. ^ Росслер, Дамиан (2005). «Заметка о гипотезе Манина-Мамфорда». Ван дер Гир, Джерард; Мунен, Бен; Шуф, Рене (ред.). Числовые поля и функциональные поля — два параллельных мира . Прогресс в математике. Том. 239. Биркхойзер. стр. 311–318. ISBN  0-8176-4397-4 . Збл   1098.14030 .
  23. ^ Маккуиллан, Майкл (1995). «Точки деления полуабелевых многообразий». Изобретать. Математика . 120 (1): 143–159. Бибкод : 1995InMat.120..143M . дои : 10.1007/BF01241125 . S2CID   120053132 .
  24. ^ 2-страничное изложение гипотезы Морделла-Ланга Б. Мазура, 3 ноября 2005 г.
  25. ^ Ланг (1997) стр.15
  26. ^ Бейкер, Алан ; Вюстхольц, Гисберт (2007). Логарифмические формы и диофантова геометрия . Новые математические монографии. Том. 9. Издательство Кембриджского университета . п. 3. ISBN  978-0-521-88268-2 . Збл   1145.11004 .
  27. ^ Бомбьери и Гублер (2006), стр. 301–314.
  28. ^ Ланг (1988), стр. 66–69.
  29. ^ Ланг (1997) стр.212
  30. ^ Перейти обратно: а б Ланг (1988) стр.77
  31. ^ Хиндри и Сильверман (2000) стр.488
  32. ^ Батырев В.В.; Манин, Ю.И. (1990). «О числе рациональных точек ограниченной высоты на алгебраических многообразиях». Математика. Анна . 286 : 27–43. дои : 10.1007/bf01453564 . S2CID   119945673 . Збл   0679.14008 .
  33. ^ Ланг (1997), стр. 161–162.
  34. ^ Нойкирх (1999) стр.185
  35. ^ Это упоминается в книге Дж. Тейта « Алгебраические циклы и полюса дзета-функций» (О.Ф. Шиллинг, редактор), «Арифметическая алгебраическая геометрия» , страницы 93–110 (1965).
  36. ^ Ланг (1997), стр. 17–23.
  37. ^ Хиндри и Сильверман (2000) стр.480
  38. ^ Ланг (1997) стр.179
  39. ^ Бомбьери и Гублер (2006), стр. 176–230.
  40. ^ Цен, К. (1936). «О ступенчатой ​​теории квазиалгебраического замыкания коммутативных полей». Дж. Китайская математика . 171 :81–92. Например   , 0015.38803 .
  41. ^ Лоренц, Фалько (2008). Алгебра. Том II: Поля со структурой, алгебры и дополнительные темы . Спрингер. стр. 100-1 109–126. ISBN  978-0-387-72487-4 .
  42. ^ Капорасо, Люсия ; Харрис, Джо ; Мазур, Барри (1997). «Единство рациональных точек» . Журнал Американского математического общества . 10 (1): 1–35. дои : 10.1090/S0894-0347-97-00195-1 . JSTOR   2152901 . Збл   0872.14017 .
  43. ^ Заньер, Умберто (2012). Некоторые задачи о маловероятных пересечениях в арифметике и геометрии . Анналы математических исследований. Том. 181. Издательство Принстонского университета . ISBN  978-0-691-15371-1 .
  44. ^ Пьер Делинь , Веса в когомологиях алгебраических многообразий , Proceedings ICM, Ванкувер, 1974, 79–85.
  45. ^ Ланг (1988), стр. 1–9.
  46. ^ Ланг (1997), стр. 164,212.
  47. ^ Хиндри и Сильверман (2000) 184–185

Дальнейшее чтение [ править ]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Glossary_of_arithmetic_and_diophantine_geometry&oldid=1225703426#F"
Arc.Ask3.Ru: конец оригинального документа.
Arc.Ask3.Ru
Номер скриншота №: 265291A31FC64560200978D32133E1FF__1716688980
URL1:https://en.wikipedia.org/wiki/Function_field_analogy
Заголовок, (Title) документа по адресу, URL1:
Glossary of arithmetic and diophantine geometry - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)