En fiziko, gaŭĝa teorio estas fizika teorio kun lokaj kontinuaj simetrioj (gaŭĝaj simetrioj) — simetrioj kiuj ŝanĝas sole operatorojn difinitajn en iu eta areo de spactempo. Kelkaj gaŭĝaj teorioj, ekzemple kvantuma elektrodinamiko, kvantuma kolordinamiko, kaj la norma modelo, ĝuste priskribas naturon. Gaŭĝaj teorioj ankaŭ havas gravajn aplikaĵojn en diferenciala geometrio, specife en teorio de Donaldson.
Historio kaj etimologio
La plej frua gaŭĝa teorio estas la klasika teorio de elektrodinamiko far James Clerk Maxwell en 1864, sed neniu remarkis la ekziston de loka simetrio. La teorio de Maxwell estas, laŭ moderna terminaro, gaŭĝa teorio kun komuta gaŭĝa grupo U(1). Alia grava gaŭĝa teorio estis la teorio de ĝenerala relativeco, kiu havas kiel gaŭĝa simetrio la simetrio inter koordinatsistemoj (difemorfia simetrio).
La termon "gaŭĝo" (germane Eich) Hermann Weyl enkondukis en 1954, kiam li klopodis unuigi la teorioj de elektrodinamiko kaj ĝenerala relativeco per postuli lokan simetrion de skalo de longo — nuntempe konatan kiel konforma simetrio. Do la skalo de longo dependas de kampo kiu difinas ĝi — alivorte, de matematika gaŭĝo (mezurilo). Lia teorio malsukcesis kiel priskribo de naturo. Tamen, lia principo de gaŭĝa simetrio igis influa.
En 1954, Chen Ning Yang kaj Robert Mills eltrovis klason de teorioj kun lokaj simetrioj, nune konatan kiel teorioj de Yang–Mills, pro priskribi la fortan forton. Unu variaĵo, nune konata kiel kvantuma kolordinamiko, estis pruvita priskribi la fortan forton ĝuste. Alia variaĵo, la modelo de Glashow–Salam–Weinberg aŭ elektromalforta teorio, estis pruvita priskribi la malfortan forton kaj la elektromagnetan forton ĝuste. La kombinaĵo de kvantumkolordinamiko kaj la elektromalforta teorio nomiĝas la norma modelo, ĉar ĝi aperas ĝuste priskribi preskaŭ ĉiajn fenomenojn (escepte de gravito).
Nune, la termino "gaŭĝa teorio" (angle gauge, france jauge, germane Eich) estas iom misnomita: kvankam la gaŭĝa kampo el la originala teorio de Weyl havis interpreton kiel "gaŭĝo" aŭ difino de longo, tamen aliaj gaŭĝaj teorioj ne havas similajn interpretojn.
Difino kaj konstruo
Klasike, gaŭĝa teorio konsistas el la jenaj objektoj.
- Senfine derivebla reela sternaĵo (spactempon). Normale , la spaco de Minkowski.
- Kompakta grupo de Lie (gaŭĝa grupo). La simbolo signifas ĝian alĝebron de Lie. La kompakteco de implicas ke ekzistas natura (pozitive difinita) ena produto . Specife, ni povas malkomponi (module finia kovro kaj finia etendaĵo) kiel produto de , kie signifas la cirklon kaj estas duonsimpla. De la duonsimpla parto ni difinas la formon de Killing , kie estas la adjunkta prezento . La formon de Killing estas negative difinita ĉar kompakteco. De la komuta parto la ena produto estas evidenta; natura normaligo ekzistas ĉar kompakteco, k.e., se kaj nur se kaj ne ekzistas tial ke .
- Principa -fibro (angle principal bundle, france fibré principal) .
- Principa konekto (angle connection) (gaŭĝa potencialo) interne de . Por ĉiu malfermita subspaco kaj ĉiu loka sekcio (elekto de gaŭĝo) ekzistas la -valora 1-formo . La elekto de gaŭĝo ne gravas krom en praktika kalkulo. Laŭ indica skribmaniero ofte uzata de fizikistoj, supozante iun elekton de gaŭĝo, ni skribus , kie signifas la form-indicojn kaj signifas la algebr-indicojn .
- Kelkaj fidelaj linearaj prezentoj sur finidimensiaj vektoraj spacoj . El ĉiu difinu la asociitan vektoran fibron (angle associated bundle) kie por iu . Kampo ŝargita laŭ estas -valora derivebla formo. Supozante iun elekton de gaŭĝo, ni povas skribi kampon ŝargitam laŭ kiel -valora formo.
Gaŭĝa transformo
Gaŭĝa transformo estas (senfine derivebla) mapo . La aro de gaŭĝa transformo evidente formas grupo per punkte multipliko. La grupo de gaŭĝaj transformoj agas sur la aro de -konektoj laŭ
(supozante iun elekton de gaŭĝo) kie signifas la adjunktan prezenton. Evidente, gaŭĝa transformo rilatas du malsamaj elektoj de gaŭĝo. Kun indicoj kaj por infinitezima transformo ,
kie estas la struktura konstantoj de , veriganta .
Gaŭĝaj transformoj ankaŭ agas sur ŝargitaj kampoj evidente: k.e.,
se estas ŝargita laŭ prezento . Kampo (ekz., ) kiu estas transformata laŭ lineara prezento estas kunvarianta. Se havas enan produton veriganta (k.e., se estas unita aŭ orta laŭ la ena produto) do la produto ne estas transformita de gaŭĝa transformoj; ĝi estas invarianta. Notu ke ne estas kunvarianta.
Kunvarianta derivo kaj kampa kurbeco
La -konekto induktas la kunvariantan derivon por -valoraj formoj jene:
(supozante iun elekton de gaŭĝo). Oni povas pruvi ke la difino ne dependas de la elekto de gaŭĝo kaj ke la derivo de -valora formo estas -valora -formo. Kun indicoj, la kunvarianta derivo de 0-formo estas
kie estas la prezentaj matricoj . La kunvarianta derivo de kunvarianta kampo estas ankaŭ kunvarianta.
Difinu la 2-formon
- ,
kiu nomiĝas la (gaŭĝa) kurbeco (ekvivalento de la elektra kaj magneta kampoj; ne konfuzu kun la kurbeco de spactempo en ĝenerala relativeco). Kun indicoj,
- .
La kurbeco transformas jene:
- .
Tial ne dependas de la elekto de gaŭĝo: ĝi estas kunvarianta kampo ŝargita laŭ la adjunkta prezento.
Ago de Yang–Mills kaj buklo de Wilson
Pro difini fizike mezureblan valorojn kiuj ne dependas de elekto de gaŭĝo, oni devas difini teorion per nombroj invariantaj de gaŭĝaj transformoj. Supozante rimanan metrikon sur , unu tia nombro estas la ago de Yang–Mills:
- ,
kie signifas ke oni apliku la enan produton en (difinita supre) sur la grupa indicoj. Fakte, ni povas aparte difini tiun ĉi kvanton por ĉia komuta komponanto de (aŭ simpla grupo de Lie aŭ ). Por simpla komponanto , uzante la difinon de la formo de Killing,
- .
Evidente la ago de Yang–Mills estas invarianta (ĉar la cikleco de la spuro). La teorio de Yang–Mills estas la teorio kies ago estas proporcia al .
En kvar dimensioj, alia invarianta objekto estas la termo
- .
La termo estas tuta derivaĵo, kaj tial se estas kompakta sternaĵo. Tamen se ne estas kompakta (ekz, spaco de Minkowski), do povas esti nenula. Ekzemple, konsideru . Do la eblaj valoroj de respondas al klasojn de mapoj el (la "rando" de ) al : alivorte, la tria homotopian grupon . Ekzemple, se () aŭ (; ne estas simpla), do . Do estas entjero (la normaliga faktoro estis elektita verigi tio ĉi), konata kiel la nombro de momentpartikloj (angle instanton number).
Alia invarianta objekto estas la buklo de Wilson (angle Wilson loop, france boucle de Wilson) difinita kiel
kie estas fermita kurbo kaj (vojorda operatoro) signifas ke la integralato estas integralita laŭ la ordo en kiu punkto aperas en la kurbo. Tiu ĉi objekto, tamen, rompas Lorencan simetrion en spaco de Minkowski.
Vidu ankaŭ
Referencoj
Pro ĝenerala legantoj:
- Schumm, Bruce (2004) Deep Down Things. Johns Hopkins University Press.
Teknikaj libroj kaj artikoloj:
- Bromley, D.A.. (2000) Gauge Theory of Weak Interactions. Springer. ISBN 3-540-67672-4.
- Cheng, T.-P.. (1983) Gauge Theory of Elementary Particle Physics. Oxford University Press. ISBN 0-19-851961-3.
- Frampton, P.. (2008) Gauge Field Theories, 3‑a eldono, Wiley-VCH.
- Kane, G.L.. (1987) Modern Elementary Particle Physics. Perseus Books. ISBN 0-201-11749-5.
- 't Hooft, G. (2008). "Gauge theories". Scholarpedia, 3(12):7443. doi:10.4249/scholarpedia.7443