Теорія пучків

🌾 Що таке теорія пучків?

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

🎯 Основні розділи теорії пучків:

Пучки на топологічних просторах - основні визначення та властивості

Пучки на схемах - алгебраїчні пучки

Когомології пучків - глобальні інваріанти

Морфізми пучків - відображення між пучками

Топоси - категорії пучків

🌾 Пучки на топологічних просторах

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

Пучок як локальна структура:

🌾 Пучок

Визначення:

Аксіоми:

🌾 Пресучок

Визначення: • ℱ: Open(X)^{op} → Set - пресучок • ℱ(U) - множина для відкритого U • ρ_{V,U}: ℱ(U) → ℱ(V) - обмеження • Властивості

Властивості: • ρ_{U,U} = id_{ℱ(U)} • ρ_{W,U} = ρ_{W,V} ∘ ρ_{V,U} • Приклади • Застосування

🌾 Аксіоми пучка

Локальність: • s, t ∈ ℱ(U), s|_U_i = t|_U_i для всіх i • ⇒ s = t • Локальна однозначність • Властивості

Склеювання: • s_i ∈ ℱ(U_i), s_i|_{U_i ∩ U_j} = s_j|_{U_i ∩ U_j} • ⇒ ∃s ∈ ℱ(U): s|_{U_i} = s_i • Глобальне склеювання • Властивості

🌾 Стебель пучка

Визначення: • ℱ_x = lim_{U∋x} ℱ(U) • Пряма границя по відкритих околах • Локальна інформація • Властивості

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

2. Приклади пучків

Основні приклади пучків:

🌾 Пучок неперервних функцій

Визначення: • C(U) = {f: U → ℝ | f неперервна} • U - відкрита підмножина X • Обмеження: f|_V для V ⊆ U • Властивості

Властивості: • Пучок кілець • Локальність • Склеювання • Приклади

🌾 Пучок диференційовних функцій

Визначення: • C^∞(U) = {f: U → ℝ | f диференційовна} • U - відкрита підмножина многовиду • Обмеження: f|_V для V ⊆ U • Властивості

Властивості: • Пучок кілець • Локальність • Склеювання • Приклади

🌾 Пучок голоморфних функцій

Визначення: • 𝒪(U) = {f: U → ℂ | f голоморфна} • U - відкрита підмножина комплексного многовиду • Обмеження: f|_V для V ⊆ U • Властивості

Властивості: • Пучок кілець • Локальність • Склеювання • Приклади

ℱ = (ℱ(U), ρ_{V,U}) - пучок на топологічному просторі X

🌾 Пучки на схемах

1. Структурні пучки

Алгебраїчні пучки на схемах:

🌾 Структурний пучок

Визначення:

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

🌾 Афінні схеми

Визначення: • X = Spec(A) - афінна схема • 𝒪_X(D(f)) = A_f • f ∈ A - ненульовий елемент • D(f) = {𝔭 ∈ Spec(A) | f ∉ 𝔭}

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Проективні схеми

Визначення: • X = Proj(S) - проективна схема • S - градуйоване кільце • 𝒪_X(D_+(f)) = S_{(f)} • f ∈ S_d - однорідний елемент

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Квазікогерентні пучки

Визначення: • ℱ - квазікогерентний пучок • ℱ|_{D(f)} ≅ M̃ для модуля M • M̃ - асоційований пучок • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

2. Когерентні пучки

Спеціальний клас пучків:

🌾 Когерентний пучок

Визначення: • ℱ - когерентний пучок • ℱ - квазікогерентний • ℱ - скінченнопороджений • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Локально вільний пучок

Визначення: • ℱ - локально вільний пучок • ℱ|_{U} ≅ 𝒪_U^{⊕r} • r - ранг пучка • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Обертальний пучок

Визначення: • ℒ - обертальний пучок • ℒ ⊗ ℒ^∨ ≅ 𝒪_X • ℒ^∨ - дуальний пучок • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

𝒪_X - структурний пучок схеми X

🌾 Когомології пучків

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

Обчислення когомологій пучків:

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

Визначення:

Комплекс Чеха:

🌾 Диференціал Чеха

Визначення: • δ: Č^n(𝒰, ℱ) → Č^{n+1}(𝒰, ℱ) • δ(s)_{i₀...i_{n+1}} = Σ_{k=0}^{n+1} (-1)^k s_{i₀...î_k...i_{n+1}} • î_k означає пропуск i_k • Властивості

Властивості: • δ² = 0 • Лінійність • Приклади • Застосування

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

Визначення: • Ĥ^n(X, ℱ) = H^n(Č^•(𝒰, ℱ)) • Когомології комплексу Чеха • Незалежність від покриття • Властивості

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

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

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

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

2. Когомології пучків

Загальна теорія когомологій:

🌾 Похідні функтори

Визначення: • H^n(X, ℱ) = R^n Γ(X, ℱ) • Γ(X, ℱ) = ℱ(X) • R^n - n-й похідний функтор • Властивості

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

🌾 Розв'язні пучки

Визначення: • ℱ - розв'язний пучок • H^n(X, ℱ) = 0 для n > 0 • Γ(X, -) точний на ℱ • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Ациклічні пучки

Визначення: • ℱ - ациклічний пучок • H^n(X, ℱ) = 0 для n > 0 • Розв'язний пучок • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

Ĥ^n(X, ℱ) = H^n(Č^•(𝒰, ℱ))

🌾 Морфізми пучків

1. Гомоморфізми пучків

Відображення між пучками:

🌾 Гомоморфізм пучків

Визначення:

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

🌾 Ядро гомоморфізму

Визначення: • ker(φ) - ядро гомоморфізму φ • ker(φ)(U) = ker(φ_U) • Підпучок ℱ • Властивості

Властивості: • Підпучок • Локальність • Склеювання • Приклади

🌾 Образ гомоморфізму

Визначення: • im(φ) - образ гомоморфізму φ • im(φ)(U) = im(φ_U) • Підпучок 𝒢 • Властивості

Властивості: • Підпучок • Локальність • Склеювання • Приклади

🌾 Кокернел гомоморфізму

Визначення: • coker(φ) - кокернел гомоморфізму φ • coker(φ)(U) = 𝒢(U)/im(φ_U) • Факторпучок 𝒢 • Властивості

Властивості: • Факторпучок • Локальність • Склеювання • Приклади

2. Тензорні добутки пучків

Алгебраїчні операції з пучками:

🌾 Тензорний добуток

Визначення: • ℱ ⊗ 𝒢 - тензорний добуток пучків • (ℱ ⊗ 𝒢)(U) = ℱ(U) ⊗_{𝒪(U)} 𝒢(U) • Білінійна операція • Властивості

Властивості: • Асоціативність • Комутативність • Одиниця • Приклади

🌾 Дуальний пучок

Визначення: • ℱ^∨ - дуальний пучок • ℱ^∨(U) = Hom_{𝒪(U)}(ℱ(U), 𝒪(U)) • Дуальність • Властивості

Властивості: • Дуальність • Локальність • Склеювання • Приклади

🌾 Пучок гомоморфізмів

Визначення: • Hom(ℱ, 𝒢) - пучок гомоморфізмів • Hom(ℱ, 𝒢)(U) = Hom_{𝒪(U)}(ℱ(U), 𝒢(U)) • Локальність • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

φ: ℱ → 𝒢 - гомоморфізм пучків

🌾 Топоси

1. Елементарні топоси

Категорії з властивостями пучків:

🌾 Елементарний топос

Визначення:

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

🌾 Категорія пучків

Визначення: • Sh(X) - категорія пучків на X • Об'єкти: пучки на X • Морфізми: гомоморфізми пучків • Властивості

Властивості: • Абелева категорія • Кінцеві границі • Експоненціали • Приклади

🌾 Геометричні морфізми

Визначення: • f: ℰ → ℱ - геометричний морфізм • f*: ℰ → ℱ - прямий образ • f*: ℱ → ℰ - зворотний образ • Властивості

Властивості: • f* ⊣ f* • Функторіальність • Приклади • Застосування

🌾 Логіка топосів

Визначення: • Логіка топосів • Інтуїціоністична логіка • Локальна істина • Властивості

Властивості: • Інтуїціоністична логіка • Локальна істина • Приклади • Застосування

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

Використання топосів в математиці:

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

Схеми: • Схеми як топоси • Пучки на схемах • Когомології • Застосування

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

🌾 Топологія

Простору: • Топологічні простори • Пучки на просторах • Когомології • Застосування

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

🌾 Теорія моделей

Моделі: • Моделі в топосах • Інтуїціоністична логіка • Локальна істина • Застосування

Застосування: • Інтуїціоністична логіка • Локальна істина • Приклади • Доведення

ℰ - елементарний топос

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

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

Теорія пучків в алгебраїчній геометрії:

🌾 Схеми

Визначення: • Схема - локально кільцеваний простір • Структурний пучок • Локальні кільця • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Когомології схем

Визначення: • H^n(X, ℱ) - когомології схеми X • ℱ - пучок на X • Глобальні інваріанти • Властивості

Властивості: • Функторіальність • Лінійність • Приклади • Underlying

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

Визначення: • Характеристичні класи пучків • Класи Черна • Класи Тодда • Властивості

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

2. Топологія

Теорія пучків в топології:

🌾 Топологічні простори

Визначення: • Пучки на топологічних просторах • Локальні властивості • Глобальні властивості • Властивості

Властивості: • Локальність • Склеювання • Приклади • Застосування

🌾 Когомології просторів

Визначення: • H^n(X, ℱ) - когомології простору X • ℱ - пучок на X • Топологічні інваріанти • Властивості

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

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

Визначення: • Характеристичні класи пучків • Класи Черна • Класи Понтрягіна • Властивості

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

🎯 Висновки

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

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

Математика

Топологія

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

Теорія категорій

Когомології

🌾 Розділи теорії пучків

Пучки на топологічних просторах

Пучки на схемах

Когомології пучків

Морфізми пучків

Топоси

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

Пресучки та пучки

Стебла пучків

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

Гомоморфізми пучків

Тензорні добутки

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

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

Топологія

Теорія когомологій

Теорія моделей

Логіка

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

"Sheaf Theory" - Tennison

"Algebraic Geometry" - Hartshorne

"Sheaves in Geometry and Logic" - Mac Lane & Moerdijk

"Topos Theory" - Johnstone

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

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