Источник / закреплённая редакция
Изложение результата Kolyvagin 1988 о системах Эйлера
Источник пакета kolyvagin.euler_systems_1988 · KOLYVAGIN_EXPOSITION-1
- work
- urn:doctrine:math:kolyvagin-1988#KOLYVAGIN_EXPOSITION
- номер
- KOLYVAGIN_EXPOSITION-1
- вид
- urn:doctrine:math:kolyvagin-1988#doctrine
KOLYVAGIN_EXPOSITION_RU
- edition
- urn:doctrine:math:kolyvagin-1988#KOLYVAGIN_EXPOSITION_RU
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_OFFICIAL_BYTES
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:math:kolyvagin-1988:exposition:ru | text/plain; charset=utf-8 | sha256:5e677b5998b6fd2bacbfbde0511ca696ed6406041dcbcd9de575c72fd028a571 | 2026-09-17T00:00:00Z |
Фрагменты — 1
exposition · defn · на него ссылаются: 9
ru · unofficial · sha256:5e677b5998b6fd2bacbfbde0511ca696ed6406041dcbcd9de575c72fd028a571
Изложение результата Kolyvagin (1988) о системах Эйлера
Это АВТОРСКОЕ ИЗЛОЖЕНИЕ (sourceFidelity = "authored_exposition"), написанное
для настоящего репозитория, а не перепечатка или перевод статьи. Сама статья
(Известия АН СССР, 1988, на русском языке) не пинуется в воспроизводимом
виде; её существование и локатор называются как reference-факт этого
изложения, по образцу corpus/laws/doctrine/cs/description.
Результат. Для МОДУЛЯРНОЙ эллиптической кривой E над Q: если analytic rank
L(E,1)!=0 (rank-0 случай), ТО algebraic rank E(Q) = 0 И группа
Тейта-Шафаревича Sha(E) конечна. Если L(E,1)=0, но L'(E,1)!=0 (rank-1
случай) И точка Хегнера конструкции Gross-Zagier уже имеет БЕСКОНЕЧНЫЙ
порядок (используется как ВХОД метода систем Эйлера -- точка-затравка,
порождающая систему Эйлера над башней колец классов), ТО algebraic rank
E(Q) = 1 И Sha(E) конечна. Метод НЕ применяется напрямую при analytic rank
>= 2: система Эйлера, построенная из точки Хегнера, ограничивает Sha и
группу Морделла-Вейля только когда стартовая точка (или сама тривиальность
L(E,1)) уже фиксирует ранг 0 или 1 -- граничный случай rank 2 остаётся ВНЕ
метода Kolyvagin 1988 года; последующие обобщения (Kolyvagin-Logachev и
другие) -- вне среза этого пакета.
reference: V. Kolyvagin, "Finiteness of E(Q) and Sha(E,Q) for a class of
Weil curves", Izvestiya Akademii Nauk SSSR, ser. matem. 52:3 (1988),
522-540; English translation Math. USSR Izvestiya 32:3 (1989), 523-541.Ссылаются нормы: KolyvaginClaim, KolyvaginProof, KolyvaginRankOne, KolyvaginRankZero, KolyvaginSource, ShaFiniteFromKolyvaginRankEquality, finite_sha_established, kolyvagin-proves, kolyvagin_rank_equality_established
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.