Машина Кокса-Цукера

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Машина Кокса-Цукера — это алгоритм, созданный Дэвидом А. Коксом и Стивеном Цукером. Этот алгоритм определяет, обеспечивает ли данный набор сечений базис (с точностью до кручения) для группы Морделла-Вейля эллиптической поверхности ES, где S изоморфна проективной прямой.[1]

Алгоритм был впервые опубликован в 1979 году в статье Кокса и Цукера «Количество пересечений сечений эллиптических поверхностей»[2] и в 1984 году был назван Чарльзом Шварцем «машиной Кокса-Цукера»[1]. Оригинальное название омофонично непристойности, и это был преднамеренный шаг Кокса и Цукера. Им пришла в голову идея совместного написания статьи, когда они были аспирантами в Принстоне, с явной целью сделать возможным эту шутку, шутку, которую они повторили уже как профессора Рутгерского университета пятью годами позже.[3] Как рассказал Кокс в мемориальной статье, посвящённой Цукеру, в «Извещениях Американского математического общества» в 2021 году:

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

[3]

Примечания[править | править код]

  1. 1 2 Schwartz, Charles F. (1984). “A Mordell–Weil Group of Rank 8, and a Subgroup of Finite Index”. Nagoya Mathematical Journal. 93: 17—26. DOI:10.1017/S0027763000020705. MR 0738915. Zbl 0504.14031. Архивировано из оригинала 2021-02-26. Дата обращения 2022-02-23. Используется устаревший параметр |deadlink= (справка)
  2. Cox, David A.; Zucker, Steven (1979-02-01). “Intersection numbers of sections of elliptic surfaces”. Inventiones Mathematicae [англ.]. 53 (1): 1—44. Bibcode:1979InMat..53....1C. DOI:10.1007/BF01403189. ISSN 0020-9910.
  3. 1 2 Cox, David (July 2021). “Remembering Steve Zucker” (PDF). Notices of the American Mathematical Society. 68 (7): 1162. DOI:10.1090/noti2310. Архивировано (PDF) из оригинала 2022-02-11. Дата обращения 2022-02-23. Используется устаревший параметр |deadlink= (справка).