Gaŭĝa teorio

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 ) 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ŭ
 Grandioza Unuigita Teorio

 Referencoj 
Pro ĝenerala legantoj:
 Schumm, Bruce (2004) Deep Down Things. Johns Hopkins University Press.

Teknikaj libroj kaj artikoloj:

 't Hooft, G. (2008). "Gauge theories". Scholarpedia, 3(12):7443. doi:10.4249/scholarpedia.7443

Kategorio:Kvantuma kampa teorio