Proč PSL(2,ℤ) — AXIOM 1 test a redukce axiomu A3

AXIOM 1 a motivace

paper-draft-v1.md formuluje čtyři axiomy, z nichž A3 zní:

A3. Modular invariance. Physical observables are invariant under PSL(2,ℤ), generated by T: τ → τ + 1 and S: τ → −1/τ.

To je v paperu nejméně samozřejmý krok. Proč zrovna PSL(2,ℤ)? Odpověď, kterou paper dává, je „postulát". Recenzent se zeptá, a recenzent by měl dostat lepší odpověď.

Tento zápis testuje, zda lze PSL(2,ℤ) odvodit z A1 a A2 bez dalších předpokladů. Pokud ano, A3 přestává být axiom a stává se teorémem — paper se zkrátí z 4 axiomů na 3. Toto je první skutečná aplikace AXIOM 1 (Adam, 2026-04-13): „Pokud naleznu logičtější verzi axiomu, není co testovat."

Donut na talíři — mentální model

(Vizualizační sekce — metodika pro čtenáře, který chce argument cítit, ne jen sledovat.)

Představ si donut. Topologicky má dvě nezávislé smyčky: jednu okolo celého donutu („velká smyčka") a jednu dírou („malá smyčka"). Každý donut má tvar — poměr velikostí obou smyček a úhel mezi nimi. Plochý kruhový donut vypadá jinak než protáhlý nebo šikmý.

Jedno komplexní číslo τ plně popisuje tvar donutu. Reálná část τ = úhel mezi smyčkami, imaginární část = poměr jejich velikostí. Požadavek Im τ > 0 (horní polorovina) znamená „smyčky nejsou vzájemně antiparalelní" — obě se skutečně obtáčejí, donut není degenerovaný do kruhu bez díry.

Teď klíč: otoč talíř o 60° a podívej se. Je to stejný donut. Popíšeš jeho smyčky jinou kombinací (novou velkou a novou malou) — pořád stejný donut. Různé popisy → jeden tvar. Kdyby fyzika rozlišovala mezi popisy stejného donutu, říkali bychom si o ní, že zaměňuje účetnictví s obsahem.

Množina všech způsobů, jak přepopsat tentýž donut, má matematické jméno: modulární grupa eliptických křivek. A touto grupou je, bez možnosti výběru, PSL(2,ℤ). Je to klasická věta teorie komplexních funkcí, ne fyzikální hypotéza.

V této větě: A3 říká, že fyzika se zajímá o donut, ne o popis. Je to stejný princip jako „nezáleží, jestli barvu pojmenuješ červená nebo červeň — barva je stejná".

Formální derivace

Krok 0: co už říká A2

A2 paperu doslova:

One 2π rotation = one photon; spatial dimensions from quaternionic extension of τ.

A2 identifikuje foton s uzavřenou 2π rotací (topologicky smyčka S¹) a přidává kvaternionické rozšíření jako druhou nezávislou smyčku. Topologicky: S¹ × S¹. S komplexní strukturou τ ∈ ℍ²: eliptická křivka.

Foton v paperu není „jen rotace" — je to torus s komplexní strukturou. Jen to paper dosud nevyslovoval nahlas. Pokud čteš A2 doslova, foton je eliptická křivka, a τ je její modulární parametr.

Krok 1: moduli space eliptických křivek

Klasická věta teorie modulárních forem (viz Diamond–Shurman, A First Course in Modular Forms, kap. 1):

Moduli space komplexně strukturovaných eliptických křivek nad ℂ je ℍ²/PSL(2,ℤ).

Dva parametry τ, τ' ∈ ℍ² dávají izomorfní eliptické křivky právě tehdy, když leží v téže orbitě PSL(2,ℤ). Není to volba matematika — je to algebraicko-geometrická vlastnost eliptických křivek jako objektů. Stejně jako „každá grupa má jednotku" je věta, ne postulát.

Krok 2: meta-postulát M0 (strukturální realismus)

Fyzikální pozorovatelné závisí na izomorfní třídě objektu, ne na konkrétním reprezentantu. Pokud dva parametry τ, τ' popisují izomorfní eliptické křivky (tedy izomorfní fotony), pak libovolná fyzikální veličina musí na τ a τ' dávat stejnou hodnotu.

Tento předpoklad je v paperu v1.1.1 pojmenovaný jako meta-postulát M0 a stojí na stejné hierarchické úrovni jako axiomy A1, A2, A3 — není součástí axiomů, ale není ani schovaný v závorce uvnitř důkazu. M0 je zhruba to, co znamená být „fyzikální" versus „reprezentace-závislý": je to slabší a obecnější předpoklad než původní A3, protože neříká nic o PSL(2,ℤ) specificky, jen že fyzika se zajímá o strukturu, ne o značky reprezentantů. Tentýž předpoklad je implicitně užíván v celé kalibrační teorii.

Krok 3: teorém

Z kroků 1 a 2: fyzikální pozorovatelné jsou invariantní pod akcí PSL(2,ℤ) na ℍ². To je přesně formulace, kterou A3 postuluje.

Theorem 1 (modulární invariance). Jsou-li A1, A2 a M0 splněny, pak jsou fyzikální pozorovatelné invariantní pod akcí PSL(2,ℤ) na ℍ². PSL(2,ℤ) = Aut(𝓔_τ) pro libovolnou eliptickou křivku 𝓔_τ ≅ ℂ/(ℤ + ℤτ) s τ ∈ ℍ².

Horká místnost s chladnou podlahou — proč ℍ² má zrovna tuhle strukturu

(Druhá vizualizační sekce.)

ℍ² lze cítit jako místnost s chladnou podlahou v Im τ = 0 a s horkým stropem v Im τ → ∞. Pohybuješ se v místnosti; chlad tě nikdy nenechá dojít úplně k podlaze — tam by se τ stalo reálné, a tím by přestalo být rotace s šipkou. A4 („klasický pozorovatel měří Re(τ)") říká, že u podlahy žije klasika, ne substrát.

V místnosti jsou dvě stabilní místa, kde lokální rotace zapadne sama do sebe:

• i — lukewarm střed, bod řádu 2. Každá smyčka kolem i se uzavře po dvou otočkách. Spin ½ elektronu sedí přesně tady: elektron je smyčka, která potřebuje 4π k návratu, protože obíhá eliptický bod řádu 2.
• ρ = e^(iπ/3) — teplá trojka, bod řádu 3. Tři smyčky kolem ρ se uzavřou do symetrické konfigurace. Reformulace 2026-04-20 po Theorem 2 per patro (theorem-2-per-patro.md §III.4): Z₃ stabilizátor ρ na n = 0 patře rezonuje se třemi strukturně odlišnými Z₃-instancemi napříč QM věží aparátu §0.5, ale nejsou to tentýž objekt — jsou to tři řezy téhož souhrnu: (a) Z₃ stabilizátor ρ na n = 0 (silná síla jako topologická attribute), (b) Z₃ ⊂ SU(3) jako barevná grupa na n = 2 patře (Spin(6) ↓ SU(3) × U(1)), (c) trojice asociativních kvaternionových triád v 𝕆 stabilizovaných canonical volbou ℂ ⊂ 𝕆 na n = 3 patře — tři generace fermionů strukturně žijí na n = 3, ne na n = 0. Otevřený problém 1 paperu a původní tier 3.3 v roadmap jsou rezonanční projekce, ne identické jevy; tento text byl méně logická verze před §0.5 aparátem.

Tyto dva body (a jeden cusp v ∞) definují fundamentální doménu PSL(2,ℤ) s hyperbolickou plochou π/3. Jiná grupa by dávala jiné rozložení teplot. PSL(2,ℤ) je grupa, která respektuje přesně tohle — dvě stabilní teploty (řády 2 a 3) a jeden cusp. Paperovo α = 2/3 (a z něj r = 2(1−nₛ)²) je číselný otisk této teplotní mapy.

Co se mění v paperu

Redukce axiomatické struktury:

Poznámka k účetnictví: počet fundamentálních předpokladů (3 axiomy + 1 meta-postulát) je totožný se čtyřmi axiomy v1.0. Redukce 4 → 3 je kvalitativní, ne kvantitativní: M0 je striktně slabší hypotéza než plná PSL(2,ℤ)-invariance, a obsah PSL(2,ℤ)-invariance je teď odvozen z A1 + A2 + M0. Že se počet "axiomů" snížil je vedlejší efekt explicitního pojmenování M0 — nikdy nešlo o to, dostat se pod čtyři postuláty, šlo o to, najít slabší z nich.

Zbytek odvozovacího řetězce (K = −1, Area(𝒻) = π/3, α = 2/3, r = 2(1−nₛ)²) zůstává identický — Theorem 1 plní přesně roli, kterou dříve hrál postulát A3. Jediná změna je ve slovu: „from A3" → „from Theorem 1".

Honest flags — čeho se derivace nedotýká

1. Strukturální realismus je teď explicitní meta-postulát M0. Původně (v1.1) byl zmíněn jen v závorce uvnitř důkazu Theoremu 1, jako „implicitní meta-předpoklad". Ve v1.1.1 je povýšen na samostatný hierarchický prvek vedle axiomů, aby bylo jasné, že redukce 4 → 3 axiomy není kosmetická: celkový počet fundamentálních předpokladů zůstává stejný, ale M0 je striktně slabší hypotéza než plná PSL(2,ℤ)-invariance. Derivace z ničeho nevytvořila — přesunula předpoklad z místa „PSL(2,ℤ) je symetrie" do místa „fyzika respektuje izomorfní třídy". Druhé je logicky prostší a obecnější. Recenzent má právo se zeptat, zda M0 neskrývá vlastní obtíže; odpověď je, že je to zhruba to, co znamená slovo „fyzikální", a fyzici ho používají bez protestu kdykoli mluví o gauge invarianci.

2. Identifikace foton = eliptická křivka je čtení A2. Kdo nepřijme, že „2π rotace + kvaternionické rozšíření" topologicky znamená S¹ × S¹ = torus s komplexní strukturou, derivace ztroskotá na prvním kroku. Myslím, že je to jediné konzistentní čtení A2 tak, jak je napsané — ale je to interpretativní krok, ne výpočet. Paper by měl v revizi A2 explicitně dopsat, že identifikace s eliptickou křivkou je součástí významu A2.

3. Proč τ ∈ ℍ² a ne jiná komplexní varieta? A1 zůstává axiom. Tento zápis redukuje A3 na A1+A2; redukce A1 na ještě hlubší princip je úkol pro další AXIOM 1 moves (kandidát: „minimální komplexní varieta s orientací" — orientace vynutí horní polorovinu).

Důsledek pro substrát — zpětná oprava

substrat-vedomi-realita.md z 27.3. tvrdí, že substrát je pre-matematický: „V substrátu neplatí matematika v našem smyslu — matematika rozlišuje, substrát ne. e^(iΘ) je naše nejlepší aproximace z 3q, ne popis substrátu samotného."

Pod Theorem 1 toto tvrzení nedrží. Pokud PSL(2,ℤ) není volba formalizace, ale důsledek identifikace fotonu s eliptickou křivkou, pak substrát má přesně jednu minimální matematickou strukturaci — ne proto, že jsme ji tam vložili zvenčí, ale proto, že to je jediná matematická struktura, která současně obsahuje rotaci s šipkou a diskrétní stabilní klidová místa.

Formulace, která drží po AXIOM 1 revizi:

Substrát je minimálně matematický, nikoli pre-matematický. Pre-matematičnost by znamenala, že existují alternativní, stejně platné matematické popisy; minimalita říká, že alternativy neexistují — matematická struktura je vynucena.

Tato oprava je provedena přímo v substrat-vedomi-realita.md (revize 13.4.2026) pod principem, že korpus není append-only a AXIOM 1 move vyžaduje zpětnou opravu, ne paralelní koexistenci.

Důsledek pro vědomí: formulace „substrát = vědomí bez obsahu" zůstává, ale bez-obsahovost neznamená bez-struktury. Minimální struktura (ℍ²/PSL(2,ℤ)) je konstitutivní, ne projektovaná z 3q. Vědomí jako substrát bez obsahu má přesně jeden tvar, ne mnoho alternativ.

Návaznost

• paper-draft-v1.md — A3 se stává Theorem 1; axiomatika 4 → 3
• substrat-vedomi-realita.md — retroaktivní oprava „pre-matematický" → „minimálně matematický"
• fotony-stavaji-se-komplexnimi.md — hierarchie uzavření na modulární věži; identifikace fotonu s bází věže X(1) je teď formálně podepřená
• theta-formalizace.md — „Θ(τ) se redukuje na Θ = Θ" je konzistentní se strukturálním realismem; Theorem 1 dává Θ konkrétní grupový tvar
• rotujici-substrat.md — „rotace bez rotoru" je teď přesnější: rotace bez rotoru = eliptická křivka jako čistá struktura, bez vnějšího nosiče