Как объяснить ребенку, что такое эллиптические кривые и производные категории

[posic]

Из-под замка:

0. Ищется в интернете картинка с кубической кривой в вещественной плоскости. Можно даже две -- с одной связной компонентой и с двумя. Вот: это эллиптические кривые. (Например, в статье http://en.wikipedia.org/wiki/Elliptic_curve есть хорошие картинки.)

1. Бывает на числах операция сложения, бывает на ненулевых числах -- умножения. А есть еще целое семейство похожих операций, следующий уровень. С каждым числом можно связать двухместную операцию на неком множестве. Числа образуют прямую, а в этом более сложном случае, получаются кривые. (Если последует вопрос, можно показать картинку, как складывать точки на кубической кривой.)

2. Бывают две отдельные точки, из одной в другую не пройдешь, не выходя за их пределы. А бывает окружность, на ней между двумя точками можно пройти двумя способами -- по часовой стрелке и против. А еще бывает сфера. А еще бывает тор, на нем есть окружности разных типов. Люди это изучали, и придумали производные категории.

Comments

[vzr.livejournal.com]

Спасибо.
Только в этой длинной точной последовательности, наверно, должны быть в начале A^G, B^G, C^G?

Для понимания.
Я помню построение длинной точной последовательности когомологий из короткой точной последовательности комплексов. Эта длинная последовательность так и получается из первой короткой, если модули достроить до комплексов?

А стрелка из C^G должна ведь быть сюрьективной для точности?
Получается, что H¹(Z₂, Z₂)=Z₂?

[posic.livejournal.com]

Да-да, конечно:

0 → A^G → B^G → C^G →
H¹(G,A) → H¹(G,B) → H¹(G,C) →
H²(G,A) → H²(G,B) → H²(G,C) →
...

Да, так и получается. Так или иначе, в любой из конструкций, H*(G,M) суть когомологии какого-то комплекса, который строится (однозначно или с использованием произвольного выбора) по G и M. С короткой точной последовательностью модулей коэффициентов связана короткая точная последовательность таких комплексов.

Образом стрелки из C^G является ядро отображения H¹(G,A) → H¹(G,B), в этом состоит точность.

H¹(Z/2, Z/2) = Z/2, это верно. Вообще, при тривиальном действии G на М, группа первых когомологий H¹(G,M) изоморфна группе всех гомоморфизмов групп G → M.

[vzr.livejournal.com]

>>А стрелка из CG должна ведь быть сюрьективной для точности?
>Образом стрелки из CG является ядро отображения H1(G,A) → H1(G,B), в этом состоит точность.
Я имел в виду тот конкретный контрпример выше, где образ B^G→C^G нулевой, поэтому ядро отображения в H¹(G, A) тоже должно быть нулевое.

Можно еще вопросы? :)
Я так понимаю, все это используется для изучения групп и их расширений.
Но в H^*(G, A) группы G и A играют разную роль. Есть ли какое-то соответствие между H^*(G, A) и H^*(A, G)?
Если не ошибаюсь, в алгебр. топологии группа коэффициентов обычно играет вспомогательную роль, используют в основном R или Z, и ее меняют в основном для упрощения вычислений. Так ли это в этой науке?

[posic.livejournal.com]

В том примере, из того что отображение B^G → C^G нулевое, следует, что C^G вкладывается в H¹(G,A). Чтобы доказать, что это вложение является изоморфизмом, нужно еще как-то убедиться, что отображение H¹(G,A) → H¹(G,B) нулевое.

Соответствия между H*(G,A) и H*(A,G) нет, да и области определения у этих двух образований разные (если даже считать, что действие G на A тривиально, то все равно H*(G,A) имеет смысл для произвольной группы G и абелевой A -- хотя можно определить группу H⁰(G,A) и группу H¹(G,A) для неабелева G-модуля A, но с дальнейшими номерами когомологии бывают только с коммутативными коэффициентами).

В этой науке важны когомологии с коэффициентами в произвольных G-модулях, не только в тривиальных. В топологии это соответствует когомологиям произвольных локальных систем. Когомологии группы G с коэффициентами в G-модуле M изоморфны когомологиям топологического пространства K(G,1) с коэффициентами в локальной системе, соответствующей M.

[vzr.livejournal.com]

А, ну да, конечно. Но в данном случае, если наоборот, знать, что H¹(G, A)=Z₂, то это вложение тогда и будет автоматически изоморфизмом.

Ну я пока воздержусь от дальнейших вопросов. Чтобы дальше спрашивать, надо больше знать, а то вопросы станут совсем глупыми.:)
Спасибо за помощь. Я стал понимать чуть лучше, как это все выглядит, и зачем нужно.

[posic.livejournal.com]

т.е., множество H¹(G,A), конечно.