Source / pinned edition
Изложение результата Kolyvagin 1988 о системах Эйлера
Source of package kolyvagin.euler_systems_1988 · KOLYVAGIN_EXPOSITION-1
- work
- urn:doctrine:math:kolyvagin-1988#KOLYVAGIN_EXPOSITION
- number
- KOLYVAGIN_EXPOSITION-1
- kind
- urn:doctrine:math:kolyvagin-1988#doctrine
KOLYVAGIN_EXPOSITION_RU
- edition
- urn:doctrine:math:kolyvagin-1988#KOLYVAGIN_EXPOSITION_RU
- language
- ru
- officiality
- unofficial
- materialisation
- PINNED_OFFICIAL_BYTES
- life cycle
- —
Publications
| URI | Type | documentHash | Retrieved |
|---|---|---|---|
| urn:math:kolyvagin-1988:exposition:ru | text/plain; charset=utf-8 | sha256:5e677b5998b6fd2bacbfbde0511ca696ed6406041dcbcd9de575c72fd028a571 | 2026-09-17T00:00:00Z |
Fragments — 1
exposition · defn · referenced by: 9
ru · unofficial · sha256:5e677b5998b6fd2bacbfbde0511ca696ed6406041dcbcd9de575c72fd028a571RU
Изложение результата 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.Referencing norms: KolyvaginClaim, KolyvaginProof, KolyvaginRankOne, KolyvaginRankZero, KolyvaginSource, ShaFiniteFromKolyvaginRankEquality, finite_sha_established, kolyvagin-proves, kolyvagin_rank_equality_established
The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.