시그마 모형

양자장론에서 시그마 모형(σ模型, )은 두 매끄러운 다양체 사이의 매끄러운 함수를 장으로 삼는 양자장론의 한 종류다. 끈 이론에서 쓰인다.
정의.
다음이 주어졌다고 하자.
그렇다면, 임의의 매끄러운 함수 formula_3에 대한 시그마 모형 작용()은 다음과 같다.
이를 작용으로 하는 고전 장론 또는 그 양자화를 시그마 모형이라고 한다.
여기서 formula_6가 유클리드 공간 formula_7이나 원 formula_8과 같은 단순한 공간일 경우에는 이를 선형 시그마 모형()이라고 하고, 그렇지 않을 경우에는 비선형 시그마 모형()이라고 한다.
대칭 공간 위의 시그마 모형.
과녁 공간이 리만 대칭 공간 formula_9인 경우를 생각하자. 이 경우, formula_10의 리 대수는
와 같이 분해되며, formula_14 위에는 formula_15-불변 내적
이 주어진다. 이 내적은 formula_9 위의 리만 계량을 정의한다.
이러한 대칭 공간 위의 시그마 모형은 formula_18에 대한 게이지 대칭을 도입하여 더 깔끔하게 서술될 수 있다. 구체적으로, 대역적 대칭 formula_10 및 게이지 대칭 formula_20에 대하여 변환하는 스칼라장
를 생각하자.
이제, 스칼라장의 미분
을 생각하자. 대칭 공간의 경우 표준적인 분해
가 주어지므로, 이를 다음과 같은 두 조각으로 분해할 수 있다.
그렇다면, 이는 다음과 같이 변환한다.
따라서, 스칼라장의 운동항
를 적을 수 있다. (여기서 formula_33는 formula_14 위의 내적이다.)
이 작용에는 페르미온 항을 다음과 같이 추가할 수 있다. 우선, 스피너장 formula_35가 formula_18의 유니터리 표현을 따른다고 하자.
그렇다면, 다음과 같은 공변 미분을 정의한다.
이는 대칭에 대하여
와 같이 변환한다. 따라서, 게이지 변환에 대하여 불변인 페르미온 운동항
을 적을 수 있다.
formula_42의 성분들은 formula_35에 대하여 일종의 주접속(게이지장)으로 작용한다. 이는 궁극적으로 formula_44의 성분의 일부에서 유래하며, 이들은 운동항을 갖지 않아 보조장의 역할을 한다.
이러한 구성은 일반 상대성 이론에서 페르미온을 도입하기 위해 필바인을 잡는 것과 동치이다. 중력의 경우, 장은 리만 계량 formula_45이며, formula_46개의 성분을 갖는다. 이 리만 계량을 필바인으로 표기하자.
필바인 formula_48은 임의의 formula_49 가역 행렬이다. 그러나, 이는
에 의하여 불변이다. 즉, 리만 계량은 동차 공간
의 원소 formula_52에 의하여 주어지며, 이 몫공간은 올바른 수의 formula_46개의 성분을 가짐을 알 수 있다.
초대칭 시그마 모형.
(비선형) 시그마 모형에 페르미온을 추가하여, 초대칭 시그마 모형()을 만들 수 있다. 이 경우, 가능한 과녁 공간의 모양은 초대칭의 개수에 따라 제한된다.
초대칭 시그마 모형의 양자화에 따라, 시그마 모형의 초대칭 바닥 상태들은 켈러 다양체인 과녁 공간의 조화형식과 일대일 대응한다.
가장 간단한 예로, 과녁 공간이 콤팩트 리만 다양체 formula_59인 초대칭 시그마 양자역학을 생각하자. 즉, "시공간"이 1차원(시간)인 경우다. 이 경우, 힐베르트 공간은 formula_60 위의 (복소) 미분 형식들의 공간과 동형이다.
이 경우, 미분 형식의 차수는 상태의 페르미온 수 연산자가 된다. 국소좌표계를 formula_62로 잡으면, 다음과 같은 정준 교환 관계(canonical commutation relation)을 잡을 수 있다.
이들을 각각 보손 및 페르미온 위치 및 운동량 연산자로 해석한다.
이 경우, 초대칭 연산자는 외미분 formula_65이고, 해밀토니언 연산자는 라플라스-벨트라미 연산자
가 된다. 즉, 바닥 상태는 조화형식에 대응하고, 드람 코호몰로지는 초대칭 코호몰로지에, 오일러 지표는 위튼 지표에 대응한다.
과녁 공간이 켈러 다양체인 경우, 4개의 초대칭은 각각 formula_67, formula_68, formula_69, formula_70이 되고, 초대칭 코호몰로지는 돌보 코호몰로지가 된다. 과녁 공간이 초켈러 다양체인 경우, 복소 구조가 여러 개 있으므로 서로 다른 두 복소구조를 사용해 그 초대칭이 총 8개가 된다.
게이지 선형 시그마 모형.
게이지 선형 시그마 모형(, 약자 GLSM)은 선형 시그마 모형에 게이지장을 추가한 것이다. 이 경우 특정한 극한을 취하면, 이는 게이지 선형 시그마 모형의 진공 다양체를 과녁 공간으로 하는 비선형 시그마 모형으로 수렴하게 된다. 이와 같은 과정으로 원환 다양체를 과녁 공간으로 하는 비선형 시그마 모형들을 작도할 수 있다. 이는 에드워드 위튼이 도입하였다.
성질.
고전적으로, 시그마 모형의 오일러-라그랑주 방정식은
이다. 여기서 formula_72는 formula_45에 대한 레비치비타 접속이다.
재규격화.
비선형 시그마 모형은 formula_60이 3차원 이상일 경우에는 재규격화할 수 없다.
시그마 모형의 장 formula_75는 formula_60을 formula_6 속에 매장()하는 것으로 해석할 수 있다. 즉 formula_6 속에 formula_79 차원의 브레인()의 움직임을 나타낸다. 끈 이론에서는 끈은 2차원 브레인이므로 formula_60은 끈 세계면을 나타내는 2차원 다양체다. formula_6는 시공간으로, 끈 이론의 종류에 따라 26차원이거나 10차원이다. 끈 이론에서 다루는 2차원 시그마 모형은 재규격화할 수 있다. 이는 대니얼 프리댄이 1980년에 증명하였다. 비선형 시그마 모형의 베타 함수는 (1개 고리 차수만 고려하면) 과녁 공간의 리치 흐름과 같다.
(여기서 formula_83는 과녁 공간의 계량, formula_84는 리치 곡률 텐서다.) 이 사실은 끈 이론에서 핵심적인 역할을 한다. 끈 이론에서, 등각 대칭은 게이지 대칭이므로, 끈의 세계면에 존재하는 이론은 항상 등각 장론이어야 한다. 즉, 베타 함수가 0이어야 한다. 이에 따라서, 그 과녁 공간 (끈 이론에서의 시공간)의 리치 곡률이 0이어야 한다. 이는 진공에서의 아인슈타인 방정식이다. 즉, 끈 이론이 일반 상대성 이론을 재현함을 알 수 있다.
비상대론적 양자역학은 함수 formula_85에 대한 경로 적분으로 정의된다. 따라서 비상대론적 양자역학은formula_86, formula_87인 (선형) 시그마 모형이다.
역사.
머리 겔만과 모리스 레비()가 베타 붕괴를 설명하기 위해 1960년에 이 종류의 모형을 최초로 고안하였다. 여기서 시그마(σ)는 겔만-레비 모형에서 스칼라 중간자장의 하나였다.