Когомології

🔮 Що таке когомології?

Когомології — це дуальні до гомологій алгебраїчні інваріанти топологічних просторів. Вони надають потужні інструменти для вивчення топологічної структури та мають природну кільцеву структуру, що робить їх особливо корисними для обчислень та застосувань. Когомології є основою для багатьох розділів алгебраїчної топології та мають широке застосування у фізиці.

🎯 Основні розділи теорії когомологій:

Сингулярні когомології - дуальні до сингулярних гомологій

Когомології Чеха - когомології покриттів

Когомології де Рама - когомології диференційних форм

Спектральні послідовності - інструменти для обчислення

Характеристичні класи - топологічні інваріанти розшарувань

🔮 Сингулярні когомології

1. Когомології як дуальні об'єкти

Основні визначення та властивості:

🔮 Сингулярні когомології

Визначення:

Кограниця:

Групи когомологій:

🔮 Когомології з коефіцієнтами

Визначення: • C^n(X; G) = Hom(C_n(X), G) • G - група коефіцієнтів • Кограниця δ: C^n(X; G) → C^{n+1}(X; G) • H^n(X; G) = ker δ / im δ

Властивості: • H^n(X; G) - група • Функторіальність • Гомотопна інваріантність • Приклади

🔮 Універсальний коефіцієнт

Теорема: • 0 → Ext(H_{n-1}(X), G) → H^n(X; G) → Hom(H_n(X), G) → 0 • Точна послідовність • Розщеплення • Застосування

Застосування: • Обчислення когомологій • Різні коефіцієнти • Приклади • Доведення

🔮 Функторіальність

Визначення: • f: X → Y індукує f*: H^n(Y) → H^n(X) • f*[φ] = [φ ∘ f_*] • Контраваріантність • Властивості

Властивості: • (f ∘ g)* = g* ∘ f* • (id)* = id • Гомотопні відображення індукують однакові гомоморфізми • Приклади

2. Кільцева структура

Кубовий добуток та його властивості:

🔮 Кубовий добуток

Визначення:

Формула:

Властивості:

🔮 Градуйована комутативність

Формула: • α ∪ β = (-1)^{pq} β ∪ α • α ∈ H^p(X), β ∈ H^q(X) • Градуйована комутативність • Доведення

Застосування: • Обчислення • Приклади • Доведення • Застосування

🔮 Одиниця

Визначення: • 1 ∈ H^0(X) - одиниця • 1 ∪ α = α ∪ 1 = α • Нейтральний елемент • Властивості

Властивості: • 1 ∪ α = α • α ∪ 1 = α • Нейтральний елемент • Приклади

🔮 Приклади

Сфери: • H*(S^n) = ℤ[α]/(α²) • α ∈ H^n(S^n) • α² = 0 • Доведення

Тори: • H*(T^n) = ℤ[α₁,...,α_n]/(α_i² = 0) • α_i ∈ H^1(T^n) • α_i α_j = -α_j α_i • Доведення

C^n(X) = Hom(C_n(X), ℤ) - група n-коцепей

🔮 Когомології Чеха

1. Покриття та нерви

Когомології покриттів просторів:

🔮 Нерв покриття

Визначення:

Вершини:

Симплекси:

🔮 Когомології Чеха

Визначення: • Ĥ^n(X, 𝒰; G) = H^n(N(𝒰); G) • Когомології нерва • Покриття • Властивості

Властивості: • Функторіальність • Гомотопна інваріантність • Приклади • Застосування

🔮 Ліміт по покриттях

Визначення: • Ĥ^n(X; G) = lim_{𝒰} Ĥ^n(X, 𝒰; G) • Ліміт по всіх покриттях • Упорядкування • Властивості

Властивості: • Ізоморфізм з сингулярними когомологіями • Функторіальність • Приклади • Застосування

🔮 Приклади

Покриття сфери: • S^n = U ∪ V • U, V - відкриті півсфери • U ∩ V ≃ S^{n-1} • Обчислення

Покриття тора: • T² = U₁ ∪ U₂ ∪ U₃ ∪ U₄ • U_i - відкриті диски • Перетини • Обчислення

2. Теорема ізоморфізму

Зв'язок з сингулярними когомологіями:

🔮 Теорема ізоморфізму

Формулювання:

Умови:

N(𝒰) - нерв покриття 𝒰 = {U_α}

🔮 Когомології де Рама

1. Диференційні форми

Когомології гладких многовидів:

🔮 Когомології де Рама

Визначення:

Зовнішня похідна:

Теорема де Рама:

🔮 Замкнені та точні форми

Замкнені форми: • dω = 0 • Кохомологічні класи • H^n_{dR}(M) • Приклади

Точні форми: • ω = dα • α - примітив • Локальність • Приклади

🔮 Теорема де Рама

Формулювання: • H^n_{dR}(M) ≅ H^n(M; ℝ) • Ізоморфізм • Доведення • Застосування

Застосування: • Обчислення когомологій • Топологічні інваріанти • Приклади • Доведення

🔮 Приклади

Сфери: • H^0_{dR}(S^n) = ℝ • H^n_{dR}(S^n) = ℝ • H^k_{dR}(S^n) = 0 для 0 < k < n • Доведення

Тори: • H^k_{dR}(T^n) = ℝ^{C(n,k)} • C(n,k) - біноміальні коефіцієнти • Доведення • Застосування

2. Тяга назад та інтегрування

Операції з формами:

🔮 Тяга назад

Визначення: • f*: Ω^n(N) → Ω^n(M) • f*ω(v₁,...,v_n) = ω(df(v₁),...,df(v_n)) • Лінійність • Властивості

Властивості: • f*(α ∧ β) = f*α ∧ f*β • f*(dω) = d(f*ω) • (g ∘ f)* = f* ∘ g* • Приклади

🔮 Інтегрування

Визначення: • ∫_M ω - інтеграл n-форми • ω - n-форма на n-вимірному многовиді • Локальність • Властивості

Властивості: • ∫_M dω = ∫_{∂M} ω • Теорема Стокса • Лінійність • Приклади

🔮 Теорема Стокса

Формулювання: • ∫_M dω = ∫_{∂M} ω • M - орієнтований многовид з краєм • ω - (n-1)-форма • Загальна теорема

Застосування: • Обчислення інтегралів • Топологічні інваріанти • Приклади • Доведення

H^n_{dR}(M) = {замкнені n-форми}/{точні n-форми}

🔮 Спектральні послідовності

1. Основні визначення

Інструменти для обчислення когомологій:

🔮 Спектральна послідовність

Визначення:

Диференціали:

Збіжність:

🔮 Серра спектральна послідовність

Формулювання: • E^2_{p,q} = H^p(B, H^q(F)) ⇒ H^{p+q}(E) • F → E → B - розшарування • H^q(F) - локальні коефіцієнти • Застосування

Застосування: • Обчислення когомологій • Розшарування • Приклади • Доведення

🔮 Ліра-Хірша спектральна послідовність

Формулювання: • E^2_{p,q} = H^p(B) ⊗ H^q(F) ⇒ H^{p+q}(E) • F → E → B - розшарування • Прості коефіцієнти • Застосування

Застосування: • Обчислення когомологій • Розшарування • Приклади • Доведення

🔮 Приклади

Торичні розшарування: • T^n → E → B • H^*(E) ≅ H^*(B) ⊗ H^*(T^n) • Обчислення • Приклади

Сферні розшарування: • S^n → E → B • H^*(E) ≅ H^*(B) ⊗ H^*(S^n) • Обчислення • Приклади

2. Застосування

Обчислення когомологій складних просторів:

🔮 Проективні простори

Реальні проективні простори: • H^*(ℝP^n) = ℤ[α]/(α^{n+1}) • α ∈ H^1(ℝP^n) • α^{n+1} = 0 • Доведення

Комплексні проективні простори: • H^*(ℂP^n) = ℤ[β]/(β^{n+1}) • β ∈ H^2(ℂP^n) • β^{n+1} = 0 • Доведення

🔮 Грассманіві многовиди

Визначення: • Gr(k,n) - грассманів многовид • k-площини в ℝⁿ • Когомології • Характеристичні класи

Властивості: • Когомології • Характеристичні класи • Приклади • Застосування

🔮 Приклади

Букети: • X ∨ Y - букет просторів • H^*(X ∨ Y) ≅ H^*(X) ⊕ H^*(Y) • Обчислення • Приклади

Тори: • T^n = S^1 × ... × S^1 • H^*(T^n) ≅ H^*(S^1)^{⊗n} • Обчислення • Приклади

E^r_{p,q} - спектральна послідовність

🔮 Характеристичні класи

1. Основні типи

Топологічні інваріанти векторних розшарувань:

🔮 Характеристичні класи

Визначення:

Умови:

🔮 Клас Ейлера

Визначення: • e(E) ∈ H^n(X) - клас Ейлера • E → X - орієнтоване n-розшарування • Топологічний інваріант • Властивості

Властивості: • e(E ⊕ F) = e(E) ∪ e(F) • e(f*E) = f*e(E) • Приклади • Застосування

🔮 Класи Черна

Визначення: • c_i(E) ∈ H^{2i}(X) - i-й клас Черна • E → X - комплексне розшарування • Топологічні інваріанти • Властивості

Властивості: • c(E ⊕ F) = c(E) ∪ c(F) • c(f*E) = f*c(E) • Приклади • Застосування

🔮 Класи Понтрягіна

Визначення: • p_i(E) ∈ H^{4i}(X) - i-й клас Понтрягіна • E → X - дійсне розшарування • Топологічні інваріанти • Властивості

Властивості: • p(E ⊕ F) = p(E) ∪ p(F) • p(f*E) = f*p(E) • Приклади • Застосування

2. Застосування

Фізичні та математичні застосування:

🔮 Топологічні інваріанти

Характеристика Ейлера: • χ(X) = Σ (-1)^n dim H^n(X) • Топологічний інваріант • Формула Гаусса-Бонне • Приклади

Числа Бетті: • b_n = dim H^n(X) • Топологічні інваріанти • Симетрія • Приклади

🔮 Фізичні застосування

Топологічні фази: • Топологічні інваріанти • Зона Бріллюена • Енергетичні зони • Крайові стани

Квантові поля: • Топологічні солітони • Інстантони • Монополі • Домени

🔮 Математичні застосування

Алгебраїчна геометрія: • Когомології схем • Характеристичні класи • Індексні теореми • Застосування

Диференційна геометрія: • Когомології многовидів • Характеристичні класи • Індексні теореми • Застосування

c(E) ∈ H^*(X) - характеристичний клас

🔮 Застосування

1. Математика

Когомології в інших розділах математики:

🔮 Алгебраїчна топологія

Топологічні інваріанти: • Характеристика Ейлера • Числа Бетті • Характеристичні класи • K-теорія

Класифікація: • Одновимірні многовиди • Двовимірні многовиди • Тривимірні многовиди • Вищі розмірності

🔮 Диференційна геометрія

Многовиди: • Топологічні інваріанти • Характеристичні класи • Індексні теореми • Застосування

Розшарування: • Векторні розшарування • Принципові розшарування • Характеристичні класи • Застосування

🔮 Алгебраїчна геометрія

Схеми: • Когомології схем • Характеристичні класи • Індексні теореми • Застосування

Комплексні многовиди: • Келерові многовиди • Характеристичні класи • Індексні теореми • Застосування

2. Фізика

Когомології в сучасній фізиці:

🔮 Топологічні фази

Топологічні ізолятори: • Топологічні інваріанти • Зона Бріллюена • Енергетичні зони • Крайові стани

Квантові поля: • Топологічні солітони • Інстантони • Монополі • Домени

🔮 Теорія струн

Калаби-Яу многовиди: • Компактні многовиди • Стабільні розшарування • Міріади моделей • Дуальності

М-теорія: • 11-вимірний простір-час • Брани • Дуальності • Голографічний принцип

🔮 Космологія

Топологія Всесвіту: • Глобальна структура • Просторові складки • Гомотопічні класи • Спостережні тести

Топологічні дефекти: • Космічні струни • Домени • Монополі • Текстури

🎯 Висновки

Когомології є дуальними до гомологій алгебраїчними інваріантами топологічних просторів. Вони надають потужні інструменти для вивчення топологічної структури та мають природну кільцеву структуру, що робить їх особливо корисними для обчислень та застосувань. Когомології включають сингулярні когомології, когомології Чеха, когомології де Рама, спектральні послідовності та характеристичні класи. Когомології мають широке застосування в математиці, включаючи алгебраїчну топологію, диференційну геометрію та алгебраїчну геометрію, а також у фізиці, особливо в топологічних фазах, теорії струн та космології. Когомології є основою для багатьох розділів алгебраїчної топології та надають потужні алгебраїчні інструменти для топології.

📚 Пов'язані теми

Математика

Топологія

Алгебра

Гомології

Фізика

🔮 Розділи теорії когомологій

Сингулярні когомології

Когомології Чеха

Когомології де Рама

Спектральні послідовності

Характеристичні класи

🔬 Основні поняття

Когомологічні комплекси

Кубовий добуток

Характеристичні класи

Спектральні послідовності

Топологічні інваріанти

⚡ Застосування

Алгебраїчна топологія

Диференційна геометрія

Алгебраїчна геометрія

Топологічні фази

Теорія струн

📖 Рекомендована література

"Algebraic Topology" - Hatcher

"Cohomology Theory" - Hilton & Wylie

"Differential Forms in Algebraic Topology" - Bott & Tu

"Characteristic Classes" - Milnor & Stasheff

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.