2026-04-19 16:14 kandidát Lawvereeliptické-bodykategorieP6kandidát

Od Lawvereho k (2,3) — kategoriální derivace eliptických řádů

Kandidát. Argument, že Lawvereho věta aplikovaná na KRT substrát vynucuje eliptické stabilizátory řádů 2 a 3. Propojuje kategoriální preaxiom s topologickou strukturou X(1).

I. Rekapitulace

Z seberference-kategorie.md:

  • KRT substrát = reflexivní doména v netypovaném λ-kalkulu
  • Preaxiom x^x = diagonální morfismus μ∘Δ v CCC
  • Lawvereho věta (1969): surjekce A → A^A → každý endomorfismus má pevný bod

Z theorem-2-completeness.md:

  • V PSL(2,ℤ) jsou pouze řády {1, 2, 3, ∞} stabilizátorů
  • To je důsledek klasifikace Fuchsových grup

Otázka: Proč právě (2, 3) a ne jiná konečná grupa? Dá se to odvodit z Lawvereho?

II. Argument

Krok 1: Substrát s rotací je CCC se seberferencí

Substrát = objekt A v CCC. Rotace e^(iΘ) je endomorfismus r: A → A.

Aby rotace dávala smysl (nebyla triviální), musí existovat bod a ∈ A, na kterém je r netriviální: r(a) ≠ a.

Aby seberference byla netriviální, musí existovat surjektivní morfismus φ: A → A^A (inkluze endomorfismů do objektu). To je podmínka Lawvereho věty.

Krok 2: Fixní body rotace

Lawveres: φ surjektivní → r má pevný bod a₀: r(a₀) = a₀.

Jakého řádu? Pokud r = e^(iΘ) je rotace o úhel Θ, pak:

  • r(a₀) = a₀ → rotace v a₀ je triviální
  • To je možné jen pokud Θ ∈ 2πℤ (triviální rotace), NEBO a₀ leží na ose, kterou rotace fixuje

V ℍ² s komplexní strukturou: rotace fixuje body řádu konečného:

  • Rotace o 2π/n kolem bodu p: p = r(p), ale neidentita (r ≠ id)
  • V diskrétní grupě: pouze racionální násobky π → konečný řád

Krok 3: Diskrétnost a celočíselnost

M0 (strukturální realismus): observables jsou funkce orbit, ne reprezentantů.

Pro diskretní symetrii musí matice M ∈ SL(2,ℝ) fixující bod mít celočíselnou trasu (diskrétní podgrupa). To vynucuje:

  • |tr(M)| < 2 (elliptic)
  • tr(M) ∈ ℤ
  • tr(M) ∈ {−1, 0, 1}

Odtud pouze řády 2, 3, 4, 6 v SL(2,ℤ), a po ±I kvocientu pouze 2, 3 v PSL(2,ℤ).

Krok 4: Lawvereho věta garantuje existenci

Lawvereho věta: pokud existuje reflexivní surjekce, pevné body existují. Kombinací s klasifikací v Kroku 3:

Pevné body existují, musí být konečného řádu, v PSL(2,ℤ) pouze (2,3).

Tedy: Lawvereho věta (existence) + klasifikace Fuchsových grup (omezení řádu) = eliptické body řádů (2,3).

Krok 5: (2,3) je unikátní pár s (p−1)(q−1) = 2

Zbývá se zeptat: proč ORD {2,3} a ne {2,2} nebo {3,3}?

V PSL(2,ℤ) se objevují oba řády — struktura je dána klasifikační větou. Ale v PSL(2,p) pro různá p lze obdržet jiné kombinace:

  • PSL(2,2) → S₃ (má řády 2,3)
  • PSL(2,3) → A₄ (má řády 2,3)
  • PSL(2,5) → A₅ (má řády 2,3,5)
  • atd.

PSL(2,ℤ) jako „limitní" grupa je generována konjugačně řády (2,3).

A přesně (2,3) splňuje (p−1)(q−1) = 2, což z rez-a-prvni-chyba.md plyne jedinečně pro přirozená čísla. Takže volba PSL(2,ℤ) (motivovaná M0 a A1+A2) automaticky dává pár s touto speciální algebraickou vlastností.

III. Síla argumentu

Co je dokázáno

  1. Lawvereho věta garantuje existenci pevných bodů v reflexivní substrátu se surjekcí
  2. Klasifikace Fuchsových grup omezuje řády v PSL(2,ℤ) na {1, 2, 3, ∞}
  3. (2,3) je jediný pár přirozených čísel s (p−1)(q−1) = 2

Co je hypotéza

  • KRT substrát JE reflexivní doména — argumentováno v seberference-kategorie.md, ne formálně konstruováno
  • Rotace e^(iΘ) je endomorfismus v Lawvereho smyslu — interpretace, ne formální struktura

Co by dokončilo důkaz

Formální konstrukce funktoru F: CCC → Fuchsovy grupy, který by:

  • Mapoval reflexivní doménu na PSL(2,ℤ)
  • Mapoval rotaci na Möbiovu transformaci
  • Respektoval pevné body v obou kategoriích

Toto je úkol pro další vývoj (viz 00-roadmap.md B3).

IV. Status: kandidát s konkrétním programem

Tvrzení: Eliptické řády (2,3) v KRT nejsou axiom, jsou to důsledek seberference + diskrétnosti + M0.

Úroveň důkazu: 🟡 kandidát — kroky 2, 3 jsou standardní matematika. Krok 1 (substrát = CCC s rotací) je hypotéza. Plný formální důkaz vyžaduje funktor-level konstrukci.

Důsledek pro P6: Směr je jasný — formalizace KRT jako CCC a exhibice funktoru na PSL(2,ℤ). Úkol na měsíce.

Honest flags

  • Krok 1 je hypotéza: že KRT substrát JE reflexivní doména se surjekcí. Intuitivně ano (seberference x^x je bohatá), formálně ne.
  • Krok 2 předpokládá, že rotace r respektuje strukturu doména. V netypovaném λ-kalkulu to není triviální.
  • Krok 3 mísí dvě klasifikace — elliptic stabilizátory Fuchsových grup a generování PSL(2,ℤ). Obě jsou standardní, ale propojení potřebuje pečlivost.
  • Krok 5 odkazuje na výsledek z rez-a-prvni-chyba.md — konzistentní s celkovou strukturou.

Návaznost

← všechny poznámky