кут зору: формаліст

M0, три аксіоми, модулярна група

Для тих, хто пропускає популярний вступ і хоче одразу формальне тіло.

Коротке резюме

τ-геометрія спирається на три аксіоми плюс мета-постулат M0 (структурний реалізм):

Модулярна інваріантність під PSL(2,ℤ) не є аксіомою; це Theorem 1, виведена з M0 + A1 + A2.

Формальне ядро (🟢 доведено)

Передбачення

r = 2(1 − nₛ)² ≈ 0.0025 для nₛ = 0.9649 (Planck 2018). Без параметрів (з точністю до нормалізації N). Slow-roll чисельні розрахунки для T-моделі V = Λ⁴ tanh²(φ/2) дають r = 0.00239 при N = 57 (збіг 2% з універсальною α-атрактор формулою). Для канонічного потенціалу V_A Theorem 4 дає безпосередньо r = 2/900 ≈ 0,00222, повністю безпараметрично, без slow-roll підгонки Nₑ. LiteBIRD ~2032 (σ(r) ~ 0.001) вирішить гілку A проти B; відрізнення від Старобінського (r ≈ 0.0037, відношення 2/3, різниця ≈ 0.7–1.2 σ) потребує CMB-S4 (σ(r) ≈ (3–5)×10⁻⁴).

Відкриті (🟡 кандидати)

Ключові документи

Поточні лінії (2026-04-19)

Стаття — препринт, без рецензування. Усе відкрите для критики.