Двойственности Diakrisis
Статус
[Т].
Обзор
Двойственности — фундаментальные симметрии Diakrisis-структуры. Они позволяют:
- Получать «дуальные» теоремы бесплатно.
- Обнаруживать скрытые связи между объектами.
- Классифицировать артикуляции по поведению при двойственности.
- Связывать с физическими симметриями (в α_uhm).
Diakrisis содержит четыре основных двойственности: категорная, алгебро-коалгебраическая, Isbell, пассивно-активная.
Основные двойственности
⟪⟫ ↔ ⟪⟫^op — противоположная метакатегория
Стандартная 2-категорная двойственность. Обращение 1-морфизмов.
Следствие 26.T1: в ⟪⟫^op — дуальный примитив (⟪⟫^op, 𝖬^op, α_math^op, ⊏^op_•).
Формализация
Для 2-категории ⟪⟫ её противоположная ⟪⟫^op определяется:
- Ob(⟪⟫^op) = Ob(⟪⟫).
- Hom_{⟪⟫^op}(α, β) = Hom_⟪⟫(β, α) (обращение 1-морфизмов).
- 2-морфизмы — без обращения (сохраняются).
Свойства дуального примитива
- 𝖬^op: дуальный эндо-функтор на ⟪⟫^op.
- α_math^op: тот же объект, но в противоположной категории.
- ⊏^op_•: обращённое отношение достижимости.
- Аксиомы: все 13 аксиом сохраняются (с соответствующей интерпретацией).
Следствие дуальности
Каждая теорема Diakrisis имеет дуальный вариант:
- Теорема T о ⟪⟫ → теорема T^op о ⟪⟫^op.
- Примеры: Axi-7 ↔ Axi-7^op (двойственная самоартикулируемость).
- Fix(𝖬) ↔ Fix(𝖬^op) — дуальные неподвижные точки.
A_init ↔ A_fin — алгебра/коалгебра
Инициальная 𝖬-алгебра и финальная 𝖬-коалгебра — двойственные.
Формализация
- Алгебра 𝖬 — пара (A, σ: 𝖬(A) → A). Инициальная: уникальный морфизм из (A, σ) в любую другую.
- Коалгебра 𝖬 — пара (A, σ: A → 𝖬(A)). Финальная: уникальный морфизм в (A, σ) из любой другой.
Дуальность: (A, σ: 𝖬(A) → A) ↔ (A, σ: A → 𝖬^op(A)), т.е. 𝖬-алгебра в ⟪⟫ = 𝖬^op-коалгебра в ⟪⟫^op.
Роль A_init, A_fin
- A_init — минимальный «фундамент» всех 𝖬-орбит.
- A_fin — максимальная «вершина» всех 𝖬-орбит.
- Путь от A_init к A_fin: Z_1 (одна из характеризаций нулевой границы).
Существование
По теореме Адамек (1974):
- A_init существует ⟺ 𝖬 accessible.
- A_fin существует ⟺ 𝖬 ω-continuous.
В Diakrisis — оба условия обеспечиваются Axi-4 + стандартной accessibility.
ρ ↔ ρ^* — Isbell-дуальность
Это — Isbell-сопряжение, стандартная конструкция.
Детализация Isbell
Isbell-сопряжение для функторов ⟪⟫ → End(⟪⟫):
- Функтор ρ: ⟪⟫ → End(⟪⟫).
- Дуальный ρ^*: ⟪⟫^op → End(⟪⟫) с ρ^*(α)[β] = ρ(β)[α].
Свойство: (ρ, ρ^*) — adjoint pair, когда они ограничены на подходящие подкатегории.
Физическая аналогия
В кварковой физике:
- Particle ρ(α)[β] — «реакция α на β».
- Antiparticle ρ^*(α)[β] = ρ(β)[α] — «реакция β на α».
- CPT-инвариантность — аналог коммутации (ρ, ρ^*).
Пассивное ↔ активное
α пассивна в ⟪⟫ ⇔ α активна в ⟪⟫^op.
Формализация
- Пассивная α (Ёнеда-представимая): ρ(α) ≃ Hom(-, α'_рр).
- Активная α (не-Ёнеда-представимая): ρ(α) — «реальная» эндо-операция.
Дуальность: в ⟪⟫^op пассивность и активность меняются местами.
Следствия
- Класс пассивных в ⟪⟫ биективен с классом активных в ⟪⟫^op.
- Это — структурная симметрия, а не «всего лишь» переименование.
- По 14.T1: активные существуют; по дуальности — пассивные в ⟪⟫^op.
Самодвойственные артикуляции
Опр: α самодвойственна ⇔ α ≃ α^*.
26.T4: α_uhm — самодвойственна (через trace + spectral pairing).
Детализация самодвойственности
- α самодвойственна ⟺ ρ^*(α)[β] ≃ ρ(α)[β] для всех β.
- Это — инвариантность под Isbell-дуальностью.
- Такие α — «самое важные» точки структуры.
Примеры самодвойственных
- α_uhm (26.T4): через trace + spectral pairing в D(ℂ⁷).
- α_hilbert (гипотетически): в гильбертовых структурах — через внутренний скалярный продукт.
- α_groups (классически): группа ↔ её противоположная через g ↦ g^{-1}.
Коммутативность с gauge
26.T5: двойственность коммутирует с gauge-преобразованиями. 𝐆_gauge × {1, op} — полная группа структурных симметрий.
Детализация
- Gauge-преобразование g: α ↦ g(α).
- Дуальность op: α ↦ α^*.
- Коммутирование: (g · α)^* ≃ g · (α^*).
Следствие: полная группа симметрий — 𝐆_gauge × ℤ/2, где ℤ/2 — порождена дуальностью.
Применение
Это позволяет:
- Классифицировать артикуляции по поведению при (gauge, duality)-паре.
- Находить инварианты обоих симметрий одновременно.
- Связывать с физическими C, P, T-симметриями (в α_sm).
Noether-аналог
Гипотеза 26.H1: для каждой самодвойственной артикуляции существует сохраняющаяся величина Q.
В УГМ: Q_α_uhm = trace плотностной матрицы (сохраняется под CPTP).
Теорема Noether в физике
- Continuous symmetry ⟹ conservation law.
- Energy ← time трансляция.
- Momentum ← space трансляция.
- Angular momentum ← rotation.
Аналог в Diakrisis
- Самодвойственность α ⟹ сохраняющаяся величина Q_α.
- Q_α — функция на орбите α, инвариантная под 𝖬.
- Интерпретация: «инвариант, уважающий внутреннюю симметрию α».
Конкретные Q
| α | Q_α | Физическая интерпретация |
|---|---|---|
| α_uhm | trace(Γ) = 1 | Сохранение вероятности |
| α_uhm | spectrum(ρ*) | Спектральные инварианты |
| α_sm | baryon number | Сохранение барионов |
| α_hott | path-induction | Сохранение инвариантности путей |
Признанные редукции
- Двойственность категорий — стандартная.
- Isbell-дуальность — классика.
- Noether-аналог — известен в физике.
Источники
- Ловер (1969): Adjointness in foundations.
- Isbell (1960): Adequate subcategories.
- Noether (1918): Invariante Variationsprobleme.
- Baez (2006): Categories and duality.
Дополнительные двойственности (расширения)
Продукт-копродукт
В ⟪⟫ с достаточной структурой:
- Произведения α × β ↔ копроизведения α + β.
- Дуальность стандартна.
Limits vs colimits
Аналогично: limits ↔ colimits.
Representable vs corepresentable
- Representable: Hom(-, α).
- Corepresentable: Hom(α, -).
- Связь через ⟪⟫ ↔ ⟪⟫^op.
Tannaka duality (для специфических α)
Для α со структурой bialgebra / Hopf algebra:
- Модули над α ↔ комодули над α.
- Стандартная конструкция в некоммутативной геометрии.
Связь с AFN-T
AFN-T использует двойственность A_init ↔ A_fin для формулировки:
- Путь от A_init к A_fin в ⟪⟫ ↔ путь от A_fin^op к A_init^op в ⟪⟫^op.
- Z_1 (путь) инвариантна под дуальностью.
- Невозможность «замкнуть» этот путь формально — центральный аргумент AFN-T.