Objektivitet som det som överlever mellan perspektiv

Jag har lagt ut en ny version av min artikel Observer Equivariance as a Condition for Shared Physical Law: A Lean-Verified Categorical Model.

Den finns här:

https://doi.org/10.5281/zenodo.20589336

Artikeln använder ett abstrakt matematiskt språk — kategoriteori, fibreringar, gruppverkan och formalisering i Lean — men utgångsfrågan är grundläggande: vad måste vara gemensamt mellan olika perspektiv för att vi ska kunna tala om samma fysiska lag?

Fysik handlar inte om hur världen ser ut från en absolut utsiktspunkt. Fysik handlar om vad som kan vara gemensamt mellan olika perspektiv.

Detta låter kanske filosofiskt, men det är redan en del av modern fysik. Två observatörer i relativitetsteorin kan mäta olika tider och längder. De kan till och med vara oense om ordningen mellan vissa händelser. Ändå kan de beskriva samma fysik. Det som gör detta möjligt är inte att den ena beskrivningen är “den verkliga” och den andra en illusion. Det är att det finns bestämda transformationer mellan beskrivningarna. Det som bevaras under dessa transformationer är det objektiva innehållet.

Samma mönster finns i gauge-teori. En elektromagnetisk potential kan beskrivas på olika sätt utan att den fysikaliska situationen ändras. Skillnaden mellan beskrivningarna är då inte en skillnad i den observerbara verkligheten, utan en skillnad i presentation. Fysiken ligger i det som är invariant, eller mer allmänt i det som kan transporteras koherent mellan olika presentationer.

Det är denna idé artikeln försöker formulera matematiskt.

Man kan tänka sig två nivåer. På den ena nivån finns de konkreta sätt på vilka världen framträder för en observatör: ett koordinatsystem, ett val av fas, ett gauge-val, en referensram eller någon annan presentationsform. På den andra nivån finns det som kan delas mellan sådana perspektiv: den gemensamma struktur som gör att vi kan säga att olika observatörer beskriver samma fysik.

Artikeln beskriver detta som en projektion

\[ p : O \to S \]

där \(O\) är kategorin av observatörsberoende presentationer och \(S\) är kategorin av gemensam struktur.

Det viktiga är då inte att eliminera observatören, utan att förstå vad som händer när man bortser från den del av beskrivningen som bara hör till presentationen. Objektivitet blir inte en “view from nowhere”, en utsiktspunkt utanför alla perspektiv. Objektivitet blir det som kan vara gemensamt mellan perspektiv.

Det viktiga är inte heller bara att två perspektiv kan jämföras. Det viktiga är att ett helt system av lokala perspektivbyten kan fogas samman koherent. Det är först där symmetri blir mer än en översättning mellan två beskrivningar: den blir ett villkor för att lagen ska kunna vara gemensam.

Artikelns huvudtes är att fysisk lag, om den ska vara gemensam mellan observatörer, måste vara kompatibel med sådana perspektivbyten. Jag kallar detta observer equivariance. På svenska kunde man säga observatörsekvivarians: lagen får inte bero på det godtyckliga valet av presentation, men den måste kunna lyftas till och jämföras mellan presentationer.

I den enklaste versionen leder detta till en exakt sekvens:

\[ 1 \to G \to \operatorname{Aut}(O/p) \to \operatorname{Aut}(S) \to 1 \]

Denna formel kan se abstrakt ut, men dess innebörd är ganska konkret. Gruppen \(G\) beskriver de förändringar som bara sker “i fibern”, alltså sådant som ändrar presentationen utan att ändra den gemensamma strukturen. \(\operatorname{Aut}(S)\) beskriver symmetrier hos den gemensamma strukturen. Gruppen i mitten beskriver de symmetrier som verkar på presentationsnivån men fortfarande respekterar projektionen ned till gemensam struktur.

Med andra ord: i den normaliserade modell som artikeln studerar kan en symmetri hos den gemensamma strukturen lyftas till presentationsnivån. Men lyftet är inte unikt. Det är unikt upp till en fibertranslation, det vill säga upp till en förändring av presentation som inte förändrar det gemensamma innehållet.

Detta är artikelns strikta fall.

Men fysiken kräver också ett mer allmänt fall. Ett viktigt exempel är Poincarégruppen i relativitetsteorin. Den är inte bara en direkt produkt av translationer och Lorentztransformationer. Den är en semidirekt produkt:

\[ \mathbb{R}^{1,3} \rtimes O(1,3) \]

Det betyder att Lorentztransformationer verkar på translationerna. En boost eller rotation lämnar inte translationerna oförändrade, utan förändrar dem enligt Lorentzstrukturen.

Därför inför artikeln också en “twisted” version av observatörsekvivarians. I stället för att kräva

\[ F(x \cdot g) = F(x) \cdot g \]

tillåter man

\[ F_A(x \cdot g) = F_A(x) \cdot \theta_A(g) \]

Här betyder \(\theta_A\) att bassymmetrin \(A\) också verkar på fibergruppen \(G\). Det är just denna vridning som ger semidirekta produkter, däribland Poincarégruppen.

Denna distinktion är viktig. Den visar att den första, strikta satsen inte räcker för all fysik. Den fångar direktprodukt-fallet. Den vridna satsen fångar det semidirekta fallet. Artikeln är därför uppbyggd så att den först behandlar den rena modellen och sedan visar hur den måste generaliseras för att passa mer realistiska symmetrier.

En annan del av artikeln handlar om Wigners sats i kvantmekaniken. Där är poängen inte att artikeln bevisar Wigners sats på nytt. Poängen är snarare att Wigners sats passar in i samma mönster. I kvantmekaniken är det inte den enskilda tillståndsvektorn som är den fysikaliska punkten, utan strålen i Hilbertrummet. Global fas är presentation, inte fysikaliskt innehåll. Övergången från vektorer till projektivt Hilbertrum är därför ett exempel på samma grundidé: objektivt innehåll uppstår genom att presentationsberoende information projiceras bort, eller helt enkelt inte räknas som fysikaliskt innehåll.

Artikeln är också formellt kontrollerad i Lean. Det betyder inte att hela fysiken är formaliserad. De fysiska exemplen och den filosofiska tolkningen är fortfarande penna-och-papper-resonemang. Men den abstrakta matematiska kärnan — de strikta och vridna lyftsatserna, den exakta sekvensen och identifieringen med en semidirekt produkt — har formaliserats i Lean utan sorry.

Detta är viktigt för mig av två skäl.

För det första tvingar Lean fram en större matematisk disciplin. Det räcker inte att en idé känns rätt eller att ett diagram ser övertygande ut. Alla definitioner måste vara tillräckligt precisa för att beviset faktiskt ska gå igenom.

För det andra gör formaliseringen det tydligare vad artikeln faktiskt visar och vad den inte visar. Den visar inte att hela fysiken har härletts ur observatörsekvivarians. Den visar inte heller att relativitetsteorin, gauge-teori eller kvantmekaniken är fullständigt rekonstruerade i detta ramverk. Vad den visar är mer begränsat men också mer exakt: givet en viss strikt kategoriteoretisk modell av observatörsberoende presentationer och gemensam struktur får man en bestämd klassifikation av hur symmetrier måste lyftas mellan dessa nivåer.

Den filosofiska konsekvensen är ändå ganska stark.

Objektivitet behöver inte förstås som något helt oberoende av perspektiv. Den kan i stället förstås som det som är stabilt under kontrollerade övergångar mellan perspektiv. Det objektiva är inte det som ses från ingenstans, utan det som kan vara gemensamt mellan olika någonstans.

Detta är en annan bild av fysikens grundstruktur. Observatören är inte en yttre kraft som kan ändra den gemensamma strukturen efter behag. Men observatören är inte heller något man helst ska rensa bort. Även om sannolikheter i kvantfallet kan förstås som perspektivbundna, måste den struktur som gör lagen gemensam vara stabil under övergången mellan perspektiv. Observatören är den plats där en presentation ges, och fysiken är det som överlever när sådana presentationer jämförs.

Symmetri blir då inte bara ett elegant tillägg till fysiken. Symmetri blir uttrycket för att världen kan beskrivas gemensamt trots att varje beskrivning ges från ett perspektiv.