Алгебраическая топология: гомологии и когомологии

Анри Пуанкаре в 1895 году ввёл числа Бетти, создав алгебраическую топологию. Сто лет эти числа оставались главным инструментом классификации пространств. Гомологии превратили топологию из геометрии в алгебру.

• Классификация многообразий: числа Бетти и сигнатура Хиршбруха - хирургические инварианты
• Теория данных: персистентные гомологии анализируют форму облаков точек в TDA
• Физика: гомологии когерентных пучков - язык зеркальной симметрии и физики струн

Предварительные знания

• Предыдущий урок

Симплициальные и сингулярные гомологии

Анри Пуанкаре в 1895 году в работе «Analysis Situs» ввёл числа Бетти β_n как размерности H_n(X;Q) - и тем самым создал алгебраическую топологию. Для тора T² числа Бетти равны β_0=1, β_1=2, β_2=1, χ(T²)=0. Симплициальные гомологии: дан симплициальный комплекс K, цепной комплекс C_n(K) с дифференциалом ∂_n: C_n → C_{n-1}, ∂_{n-1}∘∂_n = 0. H_n(K) = ker(∂_n)/im(∂_{n+1}).

Кольцо когомологий и двойственность Пуанкаре

Рене Том в 1954 году ввёл кольцо кобордизмов и показал, что характеристические классы (классы Штифеля-Уитни) полностью определяются кольцевой структурой H*(BO;Z/2) ≅ Z/2[w_1,w_2,...]. Чашечное произведение ⌣: H^p(X) ⊗ H^q(X) → H^{p+q}(X) делает H*(X;R) градуированным коммутативным кольцом: α ⌣ β = (-1)^{pq} β ⌣ α.

Ключевые идеи

• H_n(X) = ker ∂_n / im ∂_{n+1} - топологический инвариант пространства
• H*(S^n) = Z в степенях 0 и n, нуль в остальных
• Формула Кюннета: H_n(X×Y) = ⊕_{p+q=n} H_p(X) ⊗ H_q(Y)
• Кольцо когомологий H*(X;R) с чашечным произведением - контравариантный инвариант
• Двойственность Пуанкаре: H^k(M) ≅ H_{n-k}(M) для замкнутого ориентированного n-M

Дальнейшие пути

Изученные концепции открывают дорогу к более глубоким разделам математики.

• aa-29-elliptic-curves — extends

Вопросы для размышления

• Приведите пример конкретного вычисления, используя изученный метод.
• Как изученные концепции связаны с другими разделами математики?