Kaluza-Kleinin teoria on yksi moniulotteisista painovoimateorioista , jonka avulla voit yhdistää kaksi fyysistä perusvuorovaikutusta: painovoima ja sähkömagnetismi . Teorian julkaisi ensimmäisen kerran vuonna 1921 saksalainen matemaatikko Theodor Kaluza , joka laajensi Minkowskin avaruuden 5-ulotteiseksi avaruuteen ja johti teoriansa yhtälöistä yleisen suhteellisuusteorian yhtälöt ja Maxwellin klassiset yhtälöt . Syitä viidennen ulottuvuuden havaitsemattomuudelle (sen kompaktiudelle) ehdotti ruotsalainen fyysikko Oscar Klein vuonna 1926 [1] .
Tämä teoria oli yksi ensimmäisistä onnistuneista teorioista, joka loi pohjan mittakenttien geometriselle tulkinnalle (eli ainoa hyvin tunnettu sen luomishetkellä painovoiman lisäksi sähkömagneettinen kenttä). Se oli myös ensimmäinen onnistunut yhdistämisteoria , joka, vaikka se ei johtanut kokeellisesti vahvistettuihin löytöihin, oli sisäisesti johdonmukainen ja ideologisesti merkityksellinen teoria, joka ei ollut ristiriidassa kokeilun kanssa.
Teorian alkuperäinen versio ei sisältänyt muita tuolloin tuntemattomia perustavanlaatuisia vuorovaikutuksia (vahvoja ja heikkoja), eikä siinä myöskään ollut tilaa puolikokonaisluvun spinille. Mutta ajatus moniulotteisista yhtenäisistä kenttäteorioista tiivistetyillä komplementaarisilla avaruuksilla on löytänyt sovelluksen nykyaikaisissa supersymmetrian , supergravitaation ja supermerkkijonojen teorioissa [2] .
Geometrisen lähestymistavan fysiikassa loivat R. Descartes , I. Kant ja G. Galileo . Tieteessä ei pitkään aikaan voinut syntyä avaruuden kaarevuuden käsitettä, koska tilan ja ajan homogeenisuudesta vallitsi ajatus, joka perustui Eukleideen viidenteen aksioomiin ja osui yhteen jokapäiväisen kokemuksen kanssa [3] . Suorien viivojen rinnakkaisuuden aksiooman hylkääminen johti N. I. Lobatševskin uuden (ei-euklidisen) geometrian löytämiseen avaruudessa, jossa on negatiivinen kaarevuus . B. Riemann löysi toisen tyyppisen ei-euklidisen geometrian, jolla on positiivinen kaarevuus , kun ei ole yhtään yhdensuuntaista suoraa, joka olisi yhdensuuntainen annettujen (geodeettisten viivojen) kanssa, joka kulkisi minkään pisteen kautta, joka ei ole tällä suoralla [4] . Riemannin pallogeometria kuvaa maailmaa äärellisellä tilavuudella. W. Clifford ennusti joitain pallogeometrian seurauksia, pohti ideoita pallolla ryömivän kovakuoriaisen maailmasta ja esitti kysymyksen universumimme geometriasta ja sen yhteydestä fysiikkaan:
Kysykäämme itseltämme, emmekö voi samalla tavalla pitää fyysisen luonteen muutoksena niitä tekoja, jotka itse asiassa johtuvat muutoksista tilamme kaarevissa. Eikö käy ilmi, että kaikki tai jotkin syyt, joita kutsumme fyysiseksi, ovat peräisin tilamme geometrisesta rakenteesta? [5]
Cliffordin olennainen oletus oli sähkökentän ja avaruuden geometrian välinen yhteys [6] . Mutta maailman geometristä kuvausta etsivät tiedemiehet eivät voineet rakentaa yleistä suhteellisuusteoriaa ennen kuin aika sisällytettiin yhdeksi avaruuden koordinaateista, mitä edistettiin H. Lorentzin teoksissa , A. Einstein , G. Minkowski [7] . Vuonna 1913 M. Grossman ja A. Einstein ehdottivat, että gravitaatiovuorovaikutus johtuu 4-ulotteisen aika-avaruuden kaarevuudesta. Vuosien 1915 ja 1916 vaihteessa lähes samanaikaisesti gravitaatiokentän yhtälöt ilmestyivät A. Einsteinin ja D. Hilbertin teoksiin [8] .
Teoreettinen fysiikka kuvaa maailmaa matematiikan kautta, pyrkii löytämään sen laeista universaalisuutta. Newton huomasi, että omenaan vaikuttava painovoima on sama painovoima, joka ohjaa taivaankappaleiden liikettä. Nykyään tunnetaan neljä perusvuorovaikutusta, ja moderni teoria harkitsee mahdollisuutta kuvata kaikki vuorovaikutukset yhtenäisellä tavalla vetoamalla korkeampiin ulottuvuuksiin [9] . Tässä yhteydessä kvanttikenttäteoria viisiulotteisessa avaruudessa (5D) on luonnollinen jatko Einsteinin yleiselle suhteellisuusteorialle (GR) [10] .
Gunnar Nordström yritti ensimmäisen kerran yhdistää painovoimateorian sähkömagnetismiin vedoten viidenteen ulottuvuuteen vuonna 1914. Mutta tässä tapauksessa viides komponentti lisättiin sähkömagneettiseen vektoripotentiaaliin, joka on Newtonin gravitaatiopotentiaali, koska hänen teoriansa ilmestyi aikaisemmin kuin yleinen suhteellisuusteoria, eikä hän olettanut gravitaatiopotentiaalin tensoriluotetta [11] , ja sallii Maxwellin yhtälöiden kirjoittaminen viidessä ulottuvuudessa [12 ] [13] .
Viisiulotteisen (5D) teorian kehitys on jaettu kolmeen vaiheeseen. Alkuperäinen olettamus johtuu Theodor Kaluzalta , joka lähetti tulokset Einsteinille vuonna 1919 [14] ja julkaisi ne vuonna 1921 [15] . Kaluza esitti puhtaasti klassisen yleisen suhteellisuusteorian 5D -laajennuksen 15 komponentin metrisellä tensorilla . 10 komponenttia tunnistetaan neliulotteisella aika-avaruusmetriikalla, neljä komponenttia, joilla on sähkömagneettinen vektoripotentiaali, ja yksi komponentti, jolla on tunnistamaton skalaarikenttä , jota Kaluza ei huomioinut, joskus kutsutaan " radioniksi " tai "dilatoniksi". Vastaavasti 5D-Einstein-yhtälöt antavat 4D- Einstein-yhtälöt kentälle , Maxwellin yhtälöt sähkömagneettikentälle ja yhtälön skalaarikentälle. Kaluza esitteli myös "sylinterisen ehdon" hypoteesin, jonka mukaan yksikään viisiulotteisen metriikan komponenteista ei riipu eksplisiittisesti viidennestä koordinaatista. Ilman tätä oletusta ilmaantuu termejä, jotka sisältävät kenttien derivaatat suhteessa viidenteen koordinaattiin, joita, kuten skalaarikenttää, ei havaita kokeissa. Tämä lisävapausaste on sellainen, että viidennen koordinaatin kenttäyhtälöistä tulee uskomattoman monimutkaisia. Vakiofysiikka 4D:ssä ilmestyy, kun asetetaan sylinterimäinen ehto, ja vastaava matematiikka saa yksinkertaisemman muodon [16] .
Vuonna 1926 Oskar Klein antoi klassiselle viisiulotteiselle Kaluza-teorialle kvanttitulkinnan Heisenbergin ja Schrödingerin [17] [18] löytöjen mukaisesti . Klein oletti, että viides ulottuvuus on kiertynyt ja mikroskooppinen selittämään sylinterimäistä tilaa, ja syklinen liike viidennessä ulottuvuudessa voi luonnollisesti selittää elektronin varauksen kvantisoinnin [19] . Klein ehdotti, että ylimääräisen viidennen ulottuvuuden geometria voisi olla pyöreä, jonka säde on 10–30 cm . Klein vaikutti myös klassiseen teoriaan tarjoamalla oikein normalisoidun 5D-metriikan [18] . Einstein ja hänen Princetonin kollegansa jatkoivat työskentelyä Kaluza-kenttäteorian parissa 1930-luvulla [20] .
Alkuperäistä Kaluza-Kleinin teoriaa pidetään virheellisenä useista syistä. Erityisesti viidennen ulottuvuuden tiivistyminen johtaa siihen johtopäätökseen, että maailmaa hallitsevilla hiukkasilla on oltava Planck-massat, mitä ei kokeessa havaita. Tämä ongelma tunnetaan massahierarkiaongelmana . Calucein skalaarikentän huomioimatta jättäminen ei myöskään jätä mahdollisuutta selittää pimeän energian läsnäoloa universumissamme [19] . Lisäksi Einsteinin mukaan sylinterimäinen tila, joka on massojen syntymisen syy, sulkee pois massojen geometrisen tulkinnan [21] .
1940-luvulla klassinen teoria valmistui ja täydelliset kenttäyhtälöt, skalaarikenttä mukaan lukien, hankittiin kolmessa riippumattomassa tutkimusryhmässä [22] : Thiry [23] [24] [25] , joka työskenteli Ranskassa Lichnerovichin alaisena väitöskirjan parissa. ; Jordan, Ludwig ja Müller Saksassa [26] [27] [28] [29] [30] , Paulin ja Fierzin kriittisiä panoksia; ja Scherrer [31] [32] [33] , joka työskenteli yksin Sveitsissä. Jordanin työ johti Brans-Dicken skalaaritensoriteoriaan [34] ; Bruns ja Dike eivät ilmeisesti tienneet Tiristä ja Scherrerist. Täydelliset Kaluza-yhtälöt sylinterimäisellä ehdolla ovat melko monimutkaisia, ja useimmat englanninkieliset arvostelut sekä Thiryn englanninkieliset käännökset sisältävät joitain virheitä. Täydellisten Kaluza-yhtälöiden kaarevuustensorit laskettiin käyttämällä tensorialgebra-tietokonejärjestelmää vuonna 2015 [35] , tarkistaen Ferrarin [36] sekä Coqueron ja Esposito-Faresen [37] tulokset . Williams tarkasteli lähteen 5D-kovarianttimuotoa (energia-momenttitensori) [38] .
Vuonna 1921 julkaistussa artikkelissaan [15] Kaluza käytti kaikkia klassisen viisiulotteisen teorian elementtejä: metristä, kenttäyhtälöt, liikeyhtälöt, energia-momenttitensori ja sylinterimäinen ehto. Käyttämättä vapaita parametreja hän laajensi yleisen suhteellisuusteorian viiteen ulottuvuuteen.
Aloitetaan hypoteesilla viisiulotteisen metriikan muodosta. , jossa latinalaiset indeksit kattavat viisi ulottuvuutta. Esittelemme myös neliulotteisen aika-avaruusmetriikan , jossa kreikkalaiset indeksit kattavat tavanomaiset neljä tilan ja ajan ulottuvuutta; 4-vektori identifioidaan sähkömagneettisen vektoripotentiaalin kanssa; ja skalaarikenttä [39] . Sitten jaetaan 5D-metriikka siten, että 4D-metriikka kehystetään sähkömagneettisella vektoripotentiaalilla, jonka skalaarikenttä on diagonaalin viidennessä paikassa. Tämä voidaan esittää seuraavasti:
Tarkemmin sanottuna voi kirjoittaa
jossa indeksi ilmaisee sovitun mukaisesti viidennen koordinaatin, kun taas neljällä ensimmäisellä koordinaatilla on indeksit 0, 1, 2 ja 3. Vastaava käänteinen metriikka on
Tämä laajennus on melko yleinen ja kaikki termit ovat ulottumattomia. Kaluza soveltaa sitten standardin yleisen suhteellisuusteorian laitteistoa tähän metriikkaan . Kenttäyhtälöt johdetaan viisiulotteisista Einsteinin yhtälöistä , kun taas liikeyhtälöt on johdettu viisiulotteisesta geodeettisesta hypoteesista. Tuloksena saadut kenttäyhtälöt antavat sekä yleisen suhteellisuusteorian että sähködynamiikan yhtälöt; liikeyhtälöt antavat geodeettisen neliulotteisen yhtälön ja Lorentzin voiman lain [40] , ja havaitaan, että sähkövaraus tunnistetaan liikkeelle viidennessä ulottuvuudessa.
Metrinen hypoteesi viittaa siihen, että on olemassa invariantti viisiulotteinen pituuselementti [39] :
Kaluza tai Klein eivät koskaan määrittäneet 5D-teorian kenttäyhtälöitä oikein, koska he jättivät huomioimatta skalaarikentän. Täydellisten Kaluza-kenttäyhtälöiden johtaminen johtuu yleensä Thirystä [24] , joka sai kenttäyhtälöt tyhjiössä. Kaluza [15] kirjoitti alun perin energia-momenttitensorin teoriaansa varten, ja Thiry sisällytti energia-momenttitensorin väitöskirjaansa. Mutta kuten Gonner [22] kuvaili , useat riippumattomat ryhmät työskentelivät kenttäyhtälöiden parissa 1940-luvulla ja aikaisemmin. Thiry tunnetaan ehkä parhaiten vain siksi, että Applequist, Chodos ja Freund julkaisivat englanninkielisen käännöksen hänen työstään arvostelukirjassaan [41] . Applequist ym. julkaisivat myös englanninkielisen käännöksen Kaluzan artikkelista. Jordanin teoksia ei ole käännetty englanniksi [26] [27] [29] . Ensimmäiset oikeat englanninkieliset Kaluza-kenttäyhtälöt, mukaan lukien skalaarikenttä, hankki Williams [35] .
5D-kenttäyhtälöiden saamiseksi 5D Christoffel-yhteyssymbolit lasketaan 5D-metriikasta ja 5D Ricci-tensori lasketaan 5D Christoffel-yhteyssymboleista.
Thiryn ja muiden kirjoittajien klassiset tulokset saatiin käyttämällä sylinterimäistä ehtoa:
.Ilman tätä oletusta kenttäyhtälöistä tulee paljon monimutkaisempia, mikä johtaa useampaan vapausasteeseen, joka voidaan tunnistaa useilla uusilla kentillä. Paul Wesson ja hänen kollegansa yrittivät heikentää lieriömäistä ehtoa saadakseen lisätermejä, jotka voidaan tunnistaa ainekentillä [42] , joita varten Kaluza [15] asetti manuaalisesti energia-momenttitensorin.
Kaluzan alkuperäisen idean vastalause oli viidennen ulottuvuuden käyttäminen, mutta ilman sen dynamiikkaa. Thiry kuitenkin väitti [22] , että Lorentzin voiman lain tulkitseminen 5-ulotteisen geodeettisen suhteen on vahvasti ristiriidassa viidennen ulottuvuuden olemassaolon kanssa sylinterimäisestä tilasta riippumatta. Siksi useimmat kirjoittajat käyttivät lieriömäistä ehtoa johtaessaan kenttäyhtälöitä. Lisäksi yleensä oletetaan tyhjiöyhtälöt joille
missä
ja
Alla on kirjoitettu Thiryn [24] ja Jordanin ryhmän [26] [27] [29] tällä tavalla saamat tyhjiökenttäyhtälöt.
Kenttäyhtälö saadaan kohdasta
jossa , , ja on standardi neliulotteinen kovarianttiderivaata. Yhtälö osoittaa, että sähkömagneettinen kenttä on skalaarikentän lähde. Huomaa, että skalaarikentän ei voida olettaa olevan vakio ilman, että sähkömagneettiselle kentälle asetetaan asianmukainen rajoitus. Kaluzan ja Kleinin aikaisemmat tulkinnat eivät kuvaaneet skalaarikenttää riittävästi eivätkä ottaneet huomioon siitä aiheutuvaa sähkömagneettisen kentän rajoitusta olettaen, että skalaarikenttä on vakio.
Neliulotteisen Ricci-tensorin kenttäyhtälö saadaan kohdasta
Jos skalaarikenttä on vakio, sillä on Maxwellin tyhjiöyhtälöiden muoto.
missä on tavallinen 4D Ricci -skalaari.
Tästä yhtälöstä, jota A. Salam kutsui "Kaluzan ihmeeksi" [43] , seuraa merkittävä tulos – sähkömagneettisen kentän energia-momenttitensorin tarkka muoto syntyy 5D-tyhjiöyhtälöistä lähteenä 4D-yhtälöissä – kentässä. tyhjiöstä. Toinen ihme liittyy mittarin invarianssin selittämiseen [44] . Sähkömagneettisen kentän energia-momenttitensorin muoto mahdollistaa sen, että voimme lopulta tunnistaa sen sähkömagneettisen vektoripotentiaalin kanssa. Tätä varten kenttä on skaalattava muunnosvakiolla : . Yllä oleva suhde osoittaa, että vakion tulee olla muotoa
missä on gravitaatiovakio ja vapaan tilan magneettinen permeabiliteetti . Kaluzan teoriassa gravitaatiovakio voidaan ymmärtää sähkömagneettisena kytkentävakiona metriikassa. Skalaarikentällä on myös energia-momenttitensori. Skalaarikenttä käyttäytyy muuttuvana gravitaatiovakiona moduloimalla sähkömagneettisen kentän energia-momenttitensorin yhteyttä aika-avaruuden kaarevuuden kanssa. Etumerkki metriikassa on kiinteä 4D-teorian mukaisesti siten, että sähkömagneettiset energiatiheydet ovat positiivisia. Usein oletetaan, että viides koordinaatti on avaruuden kaltainen allekirjoituksessaan metriikassa.
Aineen läsnä ollessa 5D-tyhjiöehtoa rikotaan. Kaluza ei todellakaan odottanut tätä. Täydelliset kenttäyhtälöt vaativat 5D Einsteinin tensorin laskemisen
kuten yllä olevan sähkömagneettisen kentän energia-momenttitensorin rekonstruktiosta nähdään. 5D-kaarevuustensorit ovat monimutkaisia, ja useimmat englanninkieliset arvostelut sisältävät virheitä joko niiden englanninkielisissä käännöksissä tai samoja kuin ne [24] . Katso Williams [35] saadaksesi täydellisen sarjan 5D-kaarevuustensoreja, joissa on tensorialgebra-ohjelmalla laskettu sylinterimäinen ehto.
Liikeyhtälöt johdetaan viisiulotteisesta geodeettisesta hypoteesista [15] 5-nopeuden suhteen :
Tämä yhtälö voidaan muuntaa useilla tavoilla, ja sitä ovat tutkineet eri muodoissa kirjailijat, kuten Kaluza [15] , Pauli [45] , Gross ja Perry [46] , Hegenberg ja Kunstatter [47] sekä Wesson ja Ponce de Leon [48 ]. ] . mutta paremman ymmärtämisen vuoksi on hyödyllistä muuntaa se takaisin tavalliseksi 4-ulotteiseksi pituuselementiksi , joka liittyy 5-ulotteiseen pituuselementtiin , kuten yllä:
Sitten 5D geodeettinen yhtälö voidaan kirjoittaa [49] 4-nopeuden spatiotemporaalisille komponenteille,
Neliöllinen termi , johtaa 4D-geodeettiseen yhtälöön sekä joitain sähkömagneettisia termejä:
Lineaarinen termi johtaa Lorentzin voiman lakiin :
Tämä on toinen ilmaus "Kaluzan ihmeestä". Sama hypoteesi 5D-metriikasta, joka tuottaa sähkömagneettisen kentän energia-momenttitensorin Einsteinin yhtälöissä, antaa myös Lorentzin voimalain liikeyhtälössä yhdessä 4D-geodeettisen yhtälön kanssa. Lorentzin voimalain noudattaminen edellyttää kuitenkin, että viiden nopeuden komponentti viidennellä ulottuvuudella tunnistetaan sähkövarauksella:
missä on hiukkasen massa ja hiukkasen sähkövaraus. Sähkövaraus ymmärretään siten liikkeeksi viidettä ulottuvuutta pitkin. Se, että Lorentzin voimalaki voidaan ymmärtää geodeettiseksi 5-ulotteiseksi, oli Kaluzan tärkein motivaatio pohtia 5-ulotteista hypoteesia myös esteettisesti epämiellyttävän lieriömäisen tilan läsnä ollessa.
Mutta on ongelma: termi, joka on neliöllinen in , johtaa yhtälöön
Jos skalaarikentässä ei ole gradienttia, termi neliö katoaa. Mutta muuten yllä olevasta lausekkeesta se seuraa
Alkuainehiukkasille . Käsitteen neliöllinen in tulee hallita yhtälöä, mahdollisesti ristiriidassa kokeellisten tosiasioiden kanssa. Tämä oli Kaluzan [15] näkemän 5-ulotteisen teorian suurin puute , jota hän tarkasteli alkuperäisessä artikkelissaan. Yu. S. Vladimirov korostaa seuraavia teorian puutteita: metrisen tensorin viidennen komponentin ja -komponentin fyysinen merkitys ei ole selvä; sylinterimäisen tilan syy ei ole selvä; tällainen liitto on muodollinen eikä anna uusia kokeellisesti todennettavia ennusteita ja muita [50] .
Liikeyhtälö for on erityisen yksinkertaistettu sylinterimäisessä tilassa. Aloitetaan geodeettisen yhtälön vaihtoehtoisesta muodosta, joka on kirjoitettu kovariantille 5-nopeudelle:
Tämä tarkoittaa, että ottaen huomioon lieriömäisen tilan , 5-ulotteisen liikkeen vakio on:
Kaluza [15] ehdotti 5D-aineen energia-momenttitensorin käyttöä muodossa
missä on edellä määritelty tiheys- ja pituuselementti .
Sitten aika-avaruuskomponentti antaa pölyisen aineen tyypillisen energia-momenttitensorin :
Sekoitettu osa toimii 4-virran lähteenä Maxwellin yhtälöille:
Aivan kuten viisiulotteinen metriikka sisältää 4-ulotteisen metriikan, jota kehystää sähkömagneettinen vektoripotentiaali, 5-ulotteinen energia-momenttitensori sisältää 4-ulotteisen energia-momenttitensorin, jota kehystää vektori 4-virta.
Kaluzan alkuperäinen hypoteesi oli puhtaasti klassinen ja laajennettu yleinen suhteellisuusteoria. Kleinin panoksen aikaan Heisenbergin, Schrödingerin ja de Broglien löydöt herättivät paljon huomiota. Kleinin artikkelissa Nature [18] ehdotetaan, että viides ulottuvuus on suljettu ja jaksollinen ja että sähkövarauksen tunnistaminen liikkeen kanssa viidennessä ulottuvuudessa voidaan tulkita seisovina aaltoina, joiden aallonpituus on samanlainen kuin ytimen ympärillä olevien elektronien Bohrin mallissa. atomi. Silloin sähkövarauksen kvantisointi voitaisiin hyvin ymmärtää viisiulotteisen liikemäärän kokonaislukukerroina. Yhdistämällä Kaluzan edellisen tuloksen sähkövarauksen ja de Broglien liikemääräsuhteen suhteen Klein johti lausekkeen tällaisten aaltojen 0. moodille:
missä on Planckin vakio. Klein löysi cm:n ja siten selityksen lieriömäiselle tilalle niin pienellä arvolla.
Kleinin artikkeli Zeitschrift für Physikissa samana vuonna [17] antaa yksityiskohtaisemman keskustelun, jossa käytetään nimenomaisesti Schrödingerin ja de Broglien menetelmiä. Hän toisti suuren osan edellä kuvatusta Kaluzan klassisesta teoriasta ja siirtyi sitten Kleinin kvanttitulkintaan. Klein ratkaisi Schrödingerin kaltaisen aaltoyhtälön käyttämällä laajennusta viisiulotteisten aaltojen suhteen, jotka resonoivat suljetussa, kompaktissa viidennessä ulottuvuudessa.
Vuonna 1926 Oskar Klein ehdotti, että neljäs avaruudellinen ulottuvuus kääritään ympyrään, jonka säde on hyvin pieni , jotta tätä akselia pitkin pienen matkan liikkuva hiukkanen palaa aloituspisteeseen. Matkaa, jonka hiukkanen voi kulkea ennen kuin se saavuttaa alkuasemansa, kutsutaan dimension kooksi. Tämä lisämitta on kompakti sarja , ja tämän kompaktin mittasuhteen rakentamista kutsutaan tiivistämiseksi .
Nykygeometriassa ylimääräinen viides ulottuvuus voidaan ymmärtää U(1) -ryhmänä , koska sähkömagnetismi voidaan olennaisesti muotoilla mittariteoriaksi nipussa , nipuksi ympyrässä mittariryhmällä U (1). Kaluza-Kleinin teoriassa tämä ryhmä olettaa, että mittarin symmetria on pyöreän kompaktin tilan symmetria. Kun tämä geometrinen tulkinta on hyväksytty, on suhteellisen helppoa muuttaa, että U(1) on yleinen Lie-ryhmä . Tällaisia yleistyksiä kutsutaan usein Yang-Millsin teorioiksi . Jos tehdään ero, niin Yang-Millsin teoriat syntyvät tasaisessa aika-avaruudessa, kun taas Kaluza-Klein tarkastelee yleisempää tapausta kaarevasta aika-avaruudesta. Kaluza-Kleinin teorian perusavaruuden ei tarvitse olla neliulotteinen aika-avaruus; se voi olla mikä tahansa ( pseudo ) Riemannin monisto , supersymmetrinen monisto, orbifold tai jopa ei-kommutatiivinen avaruus .
Rakennetta voidaan kuvata karkeasti seuraavasti [51] . Aloitamme tarkastelemalla pääkimppua P , jonka mittaryhmä G on jakotukin M päällä. Kun otetaan huomioon nipussa oleva liitäntä , perusjakoputkessa metriikka ja kunkin kuidun tangentin mittarin invarianttimetriikka, voimme rakentaa nipun . koko nipulle määritetty mittari. Laskemalla tämän nippumetriikan skalaarikaarevuuden huomaamme, että se on vakio jokaisessa kerroksessa: tämä on "Kaluzan ihme". Ei tarvinnut nimenomaisesti määrätä sylinterimäistä ehtoa tai tiivistää: oletetaan, että mittariryhmä on jo kompakti. Sitten tämä skalaarikaarevuus otetaan Lagrangin tiheydeksi ja tästä edeten konstruoidaan Einstein-Hilbert-toiminto koko nipulle. Liikeyhtälöt, Euler-Lagrange-yhtälöt , voidaan saada tavalliseen tapaan ottamalla huomioon paikallaan oleva toiminta suhteessa joko alla olevan jakoputken metriikan tai mittariliitoksen vaihteluihin. Variaatiot suhteessa kantametriikkaan antavat Einsteinin kenttäyhtälöt perusjakoputkelle , jossa energia-momenttitensori saadaan mittariliitoksen kaarevalla . Toisaalta toiminta on paikallaan mittasuhteen vaihteluiden suhteen juuri silloin, kun mittasuhde on Yang-Millsin yhtälön ratkaisu . Siten soveltamalla yhtä ideaa: pienimmän toiminnan periaatetta yhteen suureen: skalaarikaarevuus nipussa (kokonaisuutena) voidaan saada samanaikaisesti kaikki tarvittavat kenttäyhtälöt sekä aika-avaruus- että mittakentälle.
Lähestymistavana voimien yhdistämiseen on helppo soveltaa Kaluza-Kleinin teoriaa yrittäessään yhdistää painovoima vahvojen ja sähköheikkojen voimien kanssa käyttämällä standardimallin SU(3) × SU(2) × U(1) symmetriaryhmää. . Kuitenkin yritys muuttaa tämä mielenkiintoinen geometrinen rakenne täysimittaiseksi todellisuuden malliksi epäonnistuu useiden vaikeuksien vuoksi, mukaan lukien se, että fermionit on otettava käyttöön keinotekoisesti (ei-supersymmetrisissä malleissa). Siitä huolimatta Kaluza-Kleinin teoria on edelleen tärkeä koetinkivi teoreettisessa fysiikassa, ja se sisällytetään usein monimutkaisempiin teorioihin. Sitä tutkitaan sellaisenaan K-teorian geometrisesti kiinnostavana kohteena .
Jopa täysin tyydyttävän teoreettisen fysiikan perustan puuttuessa ajatus ylimääräisten, tiivistettyjen mittojen tutkimisesta kiinnostaa kokeellisissa ja astrofyysikkoyhteisöissä . Monet ennusteet voidaan tehdä todellisilla kokeellisilla vaikutuksilla (jos kyseessä ovat suuret ylimääräiset mitat ja vääristyneet mallit ). Yksinkertaisimpien periaatteiden perusteella voisi esimerkiksi odottaa seisovia aaltoja tiivistetyssä lisämitassa tai -mitoissa. Jos ylimääräisellä spatiaalisella ulottuvuudella on säde R , tällaisten seisovien aaltojen invariantti massa on M n = nh / Rc, missä n on kokonaisluku , h on Planckin vakio ja c on valon nopeus . Tätä mahdollisten massaarvojen joukkoa kutsutaan usein Kaluza-Kleinin torniksi . Vastaavasti kvanttikenttäteoriassa nollasta poikkeavissa lämpötiloissa euklidisen aikaulottuvuuden tiivistyminen johtaa Matsubaran taajuuksiin ja siten erilliseen lämpöenergiaspektriin.
Kleinin lähestymistapa kvanttiteoriaan on kuitenkin virheellinen ja johtaa esimerkiksi Planckin massan luokkaa olevaan laskettuun elektronimassaan [52] .
Esimerkkejä teorian kokeellisesti todennettavista vaikutuksista ovat CDF - yhteistyön työ , joka analysoi hiukkastörmäyslaitteen dataa uudelleen tunnistaakseen suuriin ylimääräisiin mittoihin ja epämuodostuneisiin malleihin liittyvät vaikutukset .
Brandenberger ja Wafa ehdottivat, että varhaisessa universumissa kosminen inflaatio sai kolme avaruudellista ulottuvuutta laajentumaan kosmologisiin ulottuvuuksiin, kun taas muut avaruuden mitat pysyivät mikroskooppisina.
Kaluza-Kleinin teorian tiettyä muunnelmaa, joka tunnetaan avaruus-aika- aineteoriana tai indusoidun aineen teoriana , ovat tutkineet pääasiassa Paul Wesson ja muut avaruus-aika-aine-konsortion jäsenet [53] . Tämä teorian versio toteaa, että yhtälön ratkaisut
voidaan muotoilla uudelleen niin, että neljässä ulottuvuudessa nämä ratkaisut täyttäisivät Einsteinin yhtälöt
Tarkka muoto T μν seuraa ehdosta Ricci-tensorin katoamisesta viisiulotteisessa avaruudessa. Toisin sanoen sylinterimäistä ehtoa ei käytetä, ja nyt energia-momenttitensori saadaan 5D-metriikan derivaatoista viidennen koordinaatin suhteen. Koska energia-momenttitensoria tarkastellaan yleensä neliulotteisessa avaruudessa aineen kanssa, voidaan yllä oleva tulos tulkita viisiulotteisen avaruuden geometrian indusoimaksi neliulotteiseksi aineeksi.
Erityisesti solitoniratkaisut sisältävät Friedmann -Lemaître-Robertson-Walker-metriikan sekä säteilyn hallitsemissa muodoissa (varhainen universumi) että aineen hallitsemissa muodoissa (myöhäinen universumi). Yleisten yhtälöiden voidaan osoittaa sopivan riittävän tiiviisti klassisten yleisen suhteellisuusteorian testien kanssa ollakseen hyväksyttäviä fysikaalisten periaatteiden kannalta, samalla kun ne tarjoavat silti huomattavan liikkumavaran mielenkiintoisten kosmologisten mallien valinnassa .
Kaluza-Kleinin teoria on geometrian suhteen erityisen tyylikäs. Tietyssä mielessä tämä on samanlainen kuin tavallinen painovoima vapaassa tilassa , paitsi että se ilmaistaan viidessä ulottuvuudessa neljän sijasta.
Toiminnosta voidaan saada yhtälöt, jotka kuvaavat tavallista painovoimaa vapaassa avaruudessa soveltamalla variaatioperiaatetta tiettyyn toimintaan . Olkoon M ( pseudo ) Riemannin monisto , joka voidaan katsoa yleisen suhteellisuusteorian aika-avaruudeksi . Jos g on tämän jakosarjan metriikka , toiminto S ( g ) määritellään seuraavasti
missä R ( g ) on skalaarikäyrä ja vol( g ) on tilavuuselementti . Variaatioperiaatteen soveltaminen toimintaan
saamme tarkalleen Einstein-yhtälöt vapaalle tilalle:
missä R ij on Ricci-tensori .
Sitä vastoin Maxwellin sähkömagnetismia kuvaavat yhtälöt voidaan ymmärtää pääasiallisen U(1)-kimpun tai ympyräkimpun Hodge-yhtälöinä kuidun U(1) kanssa . Eli sähkömagneettinen kenttä on harmoninen 2-muoto jakotukin differentioituvien 2-muotojen avaruudessa . Varausten ja virtojen puuttuessa Maxwellin yhtälöillä vapaassa kentässä on muoto
missä on Hodge-tähti .
Kaluza-Kleinin teorian rakentamiseksi valitaan invarianttimetriikka ympyrälle , eli sähkömagnetismin U(1)-kimpun kuidulle. Tässä keskustelussa invarianttimetriikka on yksinkertaisesti mittari, joka on invariantti ympyrän kiertojen aikana. Oletetaan, että tämä mittari antaa ympyrän kokonaispituuden . Sitten otetaan huomioon nipun mittarit, jotka ovat yhdenmukaisia sekä kuitumetriikan että alla olevan jakosarjan metriikan kanssa . Johdonmukaisuusehdot:
Kaluza-Klein-toiminto tällaiselle mittarille on annettu
Komponentteihin kirjoitettu skalaarikaarevuus laajenee sitten arvoon
missä on kuitukimmun projektion kodifferentiaali . Kimpun kerroksen yhteys liittyy sähkömagneettisen kentän tensoriin
Se, että tällainen yhteys on aina olemassa, jopa mielivaltaisen monimutkaisen topologian nipuille, johtuu homologiasta ja erityisesti K-teoriasta . Soveltamalla Fubinin lausetta ja integroimalla kerroksen päälle saadaan
Vaihtelemalla toimintaa komponentin suhteen pääsemme Maxwellin yhtälöihin. Soveltamalla variaatioperiaatetta perusmetriikkaan saadaan Einsteinin yhtälöt
energia-momenttitensorilla , joka on annettu muodossa
jota joskus kutsutaan Maxwellin jännitystensoriksi .
Alkuperäinen teoria määrittää kerrosmetriikan avulla ja sallii sen vaihdella tasosta toiseen. Tässä tapauksessa painovoiman ja sähkömagneettisen kentän välinen yhteys ei ole vakio, vaan sillä on oma dynaaminen kenttänsä - radioni .
Yllä oleva silmukan koko toimii kytkentävakiona gravitaatiokentän ja sähkömagneettisen kentän välillä. Jos perusjakotukki on neliulotteinen, niin Kaluza-Klein-jakotukki P on viisiulotteinen. Viides ulottuvuus on kompakti tila , jota kutsutaan kompaktiksi ulottuvuudeksi . Kompaktien mittojen käyttöönottomenetelmää moniulotteisen jakotukin aikaansaamiseksi kutsutaan tiivistämiseksi . Tiivistys ei suorita ryhmätoimintoja kiraalisille fermioneille, paitsi hyvin erityisissä tapauksissa: koko tilan mitat on oltava 2 mod 8 ja kompaktin tilan Dirac-operaattorin G-indeksin on oltava nollasta poikkeava [54] .
Yllä oleva kehitys yleistyy enemmän tai vähemmän suoraan yleisiin pää - G -nippuihin jollekin mielivaltaiselle Lie-ryhmälle G , joka on U(1) : n paikalla . Tässä tapauksessa teoriaa kutsutaan usein Yang-Millsin teoriaksi . Jos taustalla oleva monisto on supersymmetrinen , niin tuloksena oleva teoria on supersymmetrinen Yang-Millsin teoria.
Ei ole ollut virallisia raportteja kokeellisista tai havainnollisista merkeistä lisäulottuvuuksista. Monia teoreettisia hakumenetelmiä on ehdotettu Kaluza–Klein-resonanssien havaitsemiseksi käyttämällä tällaisten resonanssien massavuorovaikutusta huippukvarkin kanssa . Tällaisten resonanssien havaitseminen Large Hadron Colliderissa on kuitenkin epätodennäköistä. LHC-tulosten analyysi joulukuussa 2010 rajoittaa ankarasti teorioita suurella ylimääräisellä ulottuvuudella [55] .
Higgs-tyyppisen bosonin havainnointi LHC:ssä perustaa uuden empiirisen testin, jota voidaan soveltaa Kaluza-Klein-resonanssien ja supersymmetristen hiukkasten etsimiseen. Loop Feynman -kaaviot , jotka ovat olemassa Higgsin vuorovaikutuksessa, sallivat minkä tahansa sähkövarauksen ja -massan omaavan hiukkasen liikkua tällaista silmukkaa pitkin. Muut vakiomallin hiukkaset kuin huippukvarkki ja W-bosoni eivät vaikuta paljoakaan H → γγ havaittuun poikkileikkaukseen , mutta jos uusia hiukkasia ilmaantuu standardimallin ulkopuolelle, ne voivat mahdollisesti muuttaa ennustetun standardimallin H → γγ suhdetta . kokeellisesti havaittuun osaan. Siksi standardimallin ennustamien äkillisten muutosten mittaaminen H → γγ :ssa on kriittistä fysiikan tutkimukselle sen rajojen ulkopuolella.
Toinen uudempi paperi heinäkuusta 2018 [56] antaa toivoa tälle teorialle; paperissa he kiistävät painovoiman tunkeutuvan korkeampiin ulottuvuuksiin, kuten braneteoriassa. Artikkeli osoittaa kuitenkin, että sähkömagneettisella kentällä ja painovoimalla on sama määrä ulottuvuuksia, ja tämä tosiasia vahvistaa Kaluza-Kleinin teorian; Se, onko ulottuvuuksien lukumäärä todella 3 + 1 vai 4 + 1, on lisäkeskustelun aihe.
Painovoiman teoriat | ||||||||
---|---|---|---|---|---|---|---|---|
|
standardimallin ulkopuolella | Fysiikka|
---|---|
Todisteet | |
teorioita | |
supersymmetria | |
kvanttipainovoima | |
Kokeilut |