Жартылай жарамды абелия әртүрлілігі - Semistable abelian variety
Жылы алгебралық геометрия, а жартылай сақталатын абелия әртүрлілігі болып табылады абелия әртүрлілігі бойынша анықталған ғаламдық немесе жергілікті өріс, бұл өрістің алғашқы деңгейлерінде қалай азаятындығымен сипатталады.
Абелия сорты үшін A өріс бойынша анықталған F бірге бүтін сандар сақинасы R, қарастырыңыз Нерон моделі туралы A, бұл 'мүмкін' модель ' A анықталды R. Бұл модель а түрінде ұсынылуы мүмкін схема аяқталды
- Spec (R)
(сал.) сақина спектрі ) ол үшін жалпы талшық көмегімен салынған морфизм
- Spec (F) → Spec (R)
қайтарады A. Néron моделі тегіс топтық схема, сондықтан біз қарастыра аламыз A0, топтық заңға сәйкестікті қамтитын Néron моделінің байланысты компоненті. Бұл Néron моделінің кіші топтық схемасы. Үшін қалдық өрісі к, A0к Бұл топтық әртүрлілік аяқталды к, демек, сызықтық топ бойынша абелия сортының кеңеюі. Егер бұл сызықтық топ ан алгебралық тор, сондай-ақ A0к Бұл жартылай сортты, содан кейін A бар жартылай редукция сандарына сәйкес келетін ең қарапайым уақытта к. Егер F жаһандық болып табылады A егер ол барлық бастапқы деңгейлерде жақсы немесе жартылай қысқаратын болса, жартылай жарамды.
The жартылай тұрақты қысқарту теоремасы туралы Александр Гротендик абельдік әртүрлілік шектеулі кеңеюге қарағанда жартылай өтімді қысқартуға ие болатындығын айтады F.
Жарты эллиптикалық қисық
A жартылай өтімді эллиптикалық қисық ретінде нақтырақ сипатталуы мүмкін эллиптикалық қисық бар нашар төмендету тек мультипликативті тип.[1] Айталық E - бойынша анықталған эллиптикалық қисық рационалды сан өріс Q. Бар екендігі белгілі ақырлы, бос емес жиынтық S туралы жай сандар б ол үшін E бар нашар төмендету модуль б. Соңғысы қисық дегенді білдіреді Eб азайту арқылы алынған E дейін қарапайым өріс бірге б элементтері бар дара нүкте. Шамамен айтқанда, мультипликативті қысқарту шарты сингулярлық нүкте а деп айтуға тең келеді қос нүкте емес, а түйін.[2] Осы шарттың орындалуы туралы шешім тиімді есептеледі Тейт алгоритмі.[3][4] Сондықтан берілген жағдайда қысқартудың жартылай болатындығы немесе болмайтындығы, ең жаман жағдайда көбейтудің азаюы шешіледі.
Үшін жартылай мүмкін болатын қысқарту теоремасы E сондай-ақ айқын болуы мүмкін: E кеңейтуге қарағанда жартылай мүмкін қысқартуды алады F 12 реттік нүктелерінің координаталары бойынша құрылған.[5][4]
Әдебиеттер тізімі
- ^ Хусемёллер (1987) б.116-117
- ^ Хусемоллер (1987) с.116-117
- ^ Хусемёллер (1987) 266-269 бб
- ^ а б Тейт, Джон (1975), «Эллиптикалық қарындаштағы дара талшық түрін анықтау алгоритмі», in Берч, Б.Дж.; Куйк, В. (ред.), Бір айнымалының модульдік функциялары IV, Математикадан дәрістер, 476, Берлин / Гайдельберг: Шпрингер, 33–52 б., дои:10.1007 / BFb0097582, ISBN 978-3-540-07392-5, ISSN 1617-9692, МЫРЗА 0393039, Zbl 1214.14020
- ^ Бұл Husemöller (1987) s.117-118
- Husemöller, Dale H. (1987). Эллиптикалық қисықтар. Математика бойынша магистратура мәтіндері. 111. Қосымша арқылы Рут Лоуренс. Шпрингер-Верлаг. ISBN 0-387-96371-5. Zbl 0605.14032.
- Ланг, Серж (1997). Диофантин геометриясын зерттеу. Шпрингер-Верлаг. б.70. ISBN 3-540-61223-8. Zbl 0869.11051.