Jump to content

Модель Нерона

В алгебраической геометрии модель Нерона (или минимальная модель Нерона , или минимальная модель ) для абелева многообразия AK , определенного над полем частных K дедекиндовой области R, «продвижением» AK является от Spec( K ) к Spec( R ), другими словами, «наилучшая возможная» групповая схема A R определен над R соответствующим AK , .

Они были введены Андре Нероном ( 1961 , 1964 ) для абелевых многообразий над полем факторов дедекиндовой области R с совершенными полями вычетов, а Рейно (1966) распространил эту конструкцию на полуабелевы многообразия над всеми дедекиндовыми областями.

Определение

[ редактировать ]

Предположим, что гладкая отделимая схема над K ( R — дедекиндова область с полем частных K, и предположим, что AK например , абелево многообразие). Тогда модель Нерона AK универсальная смысле определяется как гладкая отделимая схема AR . над R со слоем , AK в следующем

Если X гладкая отделимая схема над R , то любой K -морфизм из X K в AK ) может быть расширен до единственного R -морфизма из X в AR (свойство отображения Нерона .

В частности, каноническое отображение является изоморфизмом. Если модель Нерона существует, то она уникальна с точностью до единственного изоморфизма.

В терминах пучков любая схема A над Spec( K ) представляет собой пучок в категории схем, гладких над Spec( K ) с гладкой топологией Гротендика, и это имеет переход вперед посредством карты вложения от Spec( K ) к Spec( R ), который является пучком над Spec( R ). Если это продвижение можно представить схемой, то эта схема является моделью Нерона A .

В общем случае схема AK не обязательно должна иметь какую-либо модель Нерона. Для абелевых многообразий A K модели Нерона существуют и единственны (с точностью до единственного изоморфизма) и являются коммутативными квазипроективными групповыми схемами над R . Слой модели Нерона над замкнутой точкой Spec( R ) является гладкой коммутативной алгебраической группой , но не обязательно должен быть абелевым многообразием: например, он может быть несвязным или тором. Модели Нерона существуют также для некоторых коммутативных групп, отличных от абелевых многообразий, таких как торы, но они имеют только локальный конечный тип. Для аддитивной группы моделей Нерона не существует.

Характеристики

[ редактировать ]
  • Формирование моделей Нерона связано с продуктами.
  • Формирование моделей Нерона коммутирует с приравненными изменениями базы.
  • Абелева схема A R — это модель Нерона своего общего слоя.

Модель Нерона эллиптической кривой

[ редактировать ]

Модель Нерона эллиптической кривой AK K над . можно построить следующим образом Сначала сформируйте минимальную модель над R в смысле алгебраических (или арифметических) поверхностей. Это правильная собственная поверхность над R , но, вообще говоря, она не является гладкой над R или групповой схемой над R . Его подсхемой гладких точек над R является модель Нерона, которая является гладкой групповой схемой над R, но не обязательно собственной над R . Обычно слои могут иметь несколько неприводимых компонентов, и для формирования модели Нерона отбрасываются все кратные компоненты, все точки пересечения двух компонентов и все особые точки компонентов.

Алгоритм Тейта вычисляет специальный слой модели Нерона эллиптической кривой или, точнее, слои минимальной поверхности, содержащей модель Нерона.

См. также

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 9c19fd5f52f82fa57098deab514e78d2__1635336900
URL1:https://arc.ask3.ru/arc/aa/9c/d2/9c19fd5f52f82fa57098deab514e78d2.html
Заголовок, (Title) документа по адресу, URL1:
Néron model - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)