시그마 모형

Sigma model

물리학에서 시그마 모델은 고정된 다지관 위에서 움직이기 위해 제한된 점 입자로 그 장을 설명하는 필드 이론이다.이 다지관은 리만 다지관으로 간주될 수 있지만, 가장 일반적으로 리만 다지관으로 간주될 수 있다.모델은 정량화될 수도 있고 그렇지 않을 수도 있다.비정량화 버전의 예는 Skyrme 모델이다. 4보다 큰 전력의 비선형성으로 인해 정량화할 수 없다.일반적으로 시그마 모델은 Skyrme 모델용 Skyrme 모델과 같은 위상학적 솔리톤 솔루션을 인정한다.시그마장이 게이지장에 결합되면 결과 모델은 긴츠부르크-란다우 이론에 의해 설명된다.이 논문은 시그마 모델의 고전적 필드 이론에 주로 전념하고 있으며, 해당 정량화된 이론은 "비선형 시그마 모델"이라는 제목의 논문에 제시되어 있다.

개요

시그마 모델은 Gell-Mann & Lévy(1960, 섹션 5)에 의해 소개되었다. σ-model이라는 이름은 줄리안 슈윙거가 앞서 소개한 스칼라 메손σ이라는 스핀리스 메손에 해당하는 모델에서 나온 것이다.[1]모델은 O(4)에서 O(3)로 내려가는 자발적 대칭 파괴의 지배적인 프로토타입 역할을 했다: 깨진 3개의 축 발전기는 이소핀을 나타내는 생존 미파괴 O(3)의 가장 단순한 발현이다.

In conventional particle physics settings, the field is generally taken to be SU(N), or the vector subspace of quotient of the product of left and right chiral fields.응축물 이론에서 그 분야는 O(N)로 간주된다.회전 그룹 O(3)의 경우 시그마 모델은 등방성 강자석을 설명하며, 보다 일반적으로 O(N) 모델은 양자 효과, 초유체 헬륨-3스핀 체인에 나타난다.

초중력 모델에서는 필드가 대칭적인 공간으로 간주된다.대칭 공간은 비자발적인 측면에서 정의되기 때문에 이들의 접선 공간은 자연스럽게 짝수 및 홀수 패리티 하위공간으로 분할된다.이러한 분열은 칼루자-클레인 이론의 치수 축소를 추진하는데 도움이 된다.

가장 기본적인 형태에서 시그마 모델은 순수하게 점 입자의 운동에너지로 간주될 수 있다; 하나의 분야로서 이것은 유클리드 공간의 디리클레트 에너지일 뿐이다.

두 가지 공간 차원에서는 O(3) 모델을 완전히 통합할 수 있다.

정의

시그마 모델의 라그랑지안 밀도는 각각 특정 유형의 적용에 적합한 다양한 방법으로 작성될 수 있다.가장 단순하고 가장 일반적인 정의는 라그랑지안을 리만 다지관의 미터법 텐서 풀백에 대한 미터법 추적으로 쓴다.: spacetime M 에 대한 필드는 다음과 같이 기록될 수 있다.

여기서 ( ) 필드 공간의 미터법 텐서 ∈ ∈{{은 기본 스페이스타임매니폴드에 있는 파생 모델이다.

이 표현은 약간 풀 수 있다.필드 공간 은(는) 모든 리만 매니폴드로 선택할 수 있다.역사적으로 이것은 시그마 모델의 "시그마"이다. 역사적으로 적절한 기호 는 기하학에서 의 다른 많은 일반적인 사용법과 충돌을 방지하기 위해 여기에서 피한다.Riemannian manifolds always come with a metric tensor . Given an atlas of charts on , the field space can always be locally trivialized, in that given in the atlas, one may write a map 패치에 명시적 로컬 좌표 = ( 1, , ) ^{를 부여한다.이 패치의 메트릭 텐서는 요소 g j (). )가 있는 행렬이다.

기저 다지관 M}은(는) 서로 다른 다지관이어야 한다. 관례상 입자물리학 용도의 민코프스키 공간, 응축물 용도의 평면 2차원 유클리드 공간 또는 끈 이론의 세계 시트리만 표면이다.The is just the plain-old covariant derivative on the base spacetime manifold When is flat, is just the or스칼라 함수의 dinary gradient 은(는) 스칼라 필드로서, 자체의 관점에서 볼 때)좀 더 정확한 언어로 μ × 제트 번들의 한 부분이다

예제: O(N) 비선형 시그마 모델

= 크론커 델타, 즉 유클리드 공간의 스칼라 도트 제품을 취하면 ( O 비선형 시그마 모델을 얻게 된다.That is, write to be the unit vector in , so that , with the ordinary Euclidean dot product. 다음 S - 1 S1:1}} (n - 1) -sphere 등각도는 회전 그룹 ( O이다그러면 라그랑지안은 다음과 같이 쓸 수 있다.

= 의 경우 이것은 격자 위의 등방성 강자석의 연속 한계, 즉 고전적인 하이젠베르크 모델의 연속 한계다.= 의 경우 이것은 고전적 XY 모델의 연속 한계다.격자 모형 등가물에 대한 검토는 n-벡터 모형Potts 모형을 참조하십시오.연속체의 한계는 글로써 취한다.

인접 격자 위치 , . 에 대한 유한 차이로서. Then in the limit , and ^ ^ ^ ^ ^ ^ ^ {i}\자율화

기하 표기법

The sigma model can also be written in a more fully geometric notation, as a fiber bundle with fibers over a differentiable manifold . Given a section , fix a point The pushforward at 접선 번들의 맵입니다.

xi i i i i i { {\\partial x

where is taken to be an orthonormal vector space basis on and the vector space basis on . The \(는) 차등 형식이다.시그마 모델 작용은 벡터 값 k-폼에 대한 전통적인 내적 생산물일 뿐이다.

여기서 }은는) 쐐기 제품이고, (는) Hodge 별이다.이것은 두 가지 다른 방법으로 내적인 제품이다.첫 번째 방법으로, Hodge 은 M{\ M에서 , 가지 다른 형태를 볼 때, 일반적으로 다음과 같이 쓰여진 미분형 공간에 불변성 내생물을 정의한다

위의 내용은 사각형 통합형 공간에 있는 내제품으로, 일반적으로 소볼레프 L. L 이렇게 쓰면 된다.

이것은 시그마 모델이 단지 점 입자의 운동에너지에 불과하다는 것을 명백하고 분명하게 드러나게 한다.다지관 의 관점에서 필드 은(는) 스칼라이므로 은(는) 스칼라 함수의 일반적인 그라데만 인식할 수 있다호지 별은 곡면 스페이스타임에 통합할 때 볼륨 형태를 추적하기 위한 화려한 장치일 뿐이다. (가) 플랫인 경우 완전히 무시할 수 있으므로 작업이

디리클레 에너지(Dirichlet Energy)인 }. 작용의 고전적 극단(Lagrange 방정식에 대한 해결책)은 style 의 디리클레트 에너지를 최소화하는 필드 구성이다 이 표현을 보다 쉽게 인식할 수 있는 형태로 변환하는 또 다른 방법은, 잠시 동안 관찰하는 것이다.calar 함수 : → R { 1은 d f= 0 을(를) 가지므로 쓸 수도 있다.

여기서 라플라스-벨트라미 연산자, M{\M}이(가) 평탄할 때의 일반 라플라시안이다.

다른, 두 번째 내부 제품이 있다는 것은 단순히 이(가) 자체의 관점에서 벡터라는 것을 잊지 말 것을 요구한다.즉, 두 벡터 ,w 을(를) 고려할 때 리만 메트릭 i j 는 내부 제품을 정의한다.

Since is vector-valued on local charts, one also takes the inner product there as well.좀 더 자세히 말하자면

이 두 가지 내적인 제품 사이의 긴장은 다음과 같은 점에 주목함으로써 더욱 분명하게 만들 수 있다.

이린 형태의 형태로서 리만 미터법 풀백이다개별 μ i ^{개별 비엘베인(vielbein)으로 복용할 수 있다.시그마 모델의 Lagrangian 밀도는 그 다음이다.

M.에 대한 메트릭스 μs. 은(는) 솔더 형태로 해석할 수 있으며, 아래는 보다 완전하게 표현된다.

동기 및 기본 해석

고전적(비정량화) 시그마 모델에 대해 몇 가지 해석적, 원론적 발언을 할 수 있다.그 중 첫 번째는 고전적인 시그마 모델이 비 상호작용 양자역학의 모델로 해석될 수 있다는 점이다.두 번째는 에너지의 해석에 관한 것이다.

양자역기로서의 해석

이것은 바로 그 표현에서 따온 것이다.

상기의= 함수 : M 을(를) 취하면 파동 함수로 해석할 수 있으며, 그 파동 함수의 운동 에너지를 Laplacian으로 한다. { { {\은 모든 공간에 걸쳐 통합할 것을 일깨우는 기하학적 기계일 뿐이다.해당 양자역학 표기법은 = . = 평탄한 공간에서 라플라시안은 = 2 이 모든 조각을 조립하면 시그마 모델 작용은 다음과 같다.

는 파동함수 (의 전체 운동 에너지인 / /에 대한 고전적인 시그마 모델은 무중간 양자 입자의 양자역학으로 해석될 수 있다분명히 (V의 용어를 라그랑지아에 추가하면 잠재적으로 파동함수의 양자역학이 된다.= 을(를) 복용하는 것은 -particle 시스템을 설명하기에 충분하지 않으며, 입자는 매니폴드에서 제공하지 않는다. 문제는 기본 다지관의n {\ n부를 복사하여 해결할 수 있다.

납땜 형태

리만 다지관의 지질 구조해밀턴-자코비 방정식으로 설명된다는 것은 매우 잘 알려져 있다.[2]썸네일 형태로, 구성은 다음과 같다.Both and are Riemannian manifolds; the below is written for , the same can be done for . The cotangent bundle , supplied with coordinate charts, can always be locally trivialized, i.e.

사소함수화는 표준 좌표 1, , n, , p 1, p) (q를 코탄젠트 번들에 제공한다. 메트릭 텐서 에 따라 해밀턴 함수를 정의하십시오

여기서, 항상 그렇듯이, 메트릭의 역행은 이 정의에서 사용된다는 점에 유의해야 한다: = k }gk} 지오데틱 흐름해밀턴-자코비 방정식에 의해 주어지는 것으로 유명하다.

and

지오데틱 흐름은 해밀턴 흐름이다. 위에 대한 해결책은 다지관의 지오데틱이다.참고로 d t= 은(는) 측지학을 따라 이동하며, 시간 매개 변수 측지학을 따라 이동한다.

시그마 모델은 두 { {{ { { { { 에서 모멘타를 취하여 함께 솔더() 형태 이런 의미에서 시그마 모델의 에너지 기능 해석은 놀라운 것이 아니다; 사실 그것은 두 에너지 기능의 결합이다.주의: 땜납 형태의 정확한 정의는 이형성을 요구한다. 이는 이(가) 실제 차원이 동일한 경우에만 발생할 수 있다.더욱이 땜납 형태의 전통적인 정의는 (를) 거짓말 그룹으로 만든다.두 조건 모두 다양한 적용에서 충족된다.

다양한 공간에 대한 결과

공간 }은는) 기존의 입자물리학 모델에서 Lie 그룹, 보통 SU(N), 응축물리학 이론에서 O(N) 또는 초중력 모델에서 대칭공간으로 받아들여지는 경우가 많다.대칭 공간은 비자발적인 측면에서 정의되기 때문에 이들의 접선 공간(, d (가) 자연스럽게 짝수 및 홀수 패리티 하위공간으로 분할된다.이러한 분열은 칼루자-클레인 이론의 치수 축소를 추진하는데 도움이 된다.

On Lie 그룹

(가) 거짓말 그룹인 특별한 경우에 g j 은 거짓말 그룹의 메트릭 텐서로서 공식적으로 카르탄 텐서 또는 킬링 폼이라고 불린다.라그랑지안은 킬링 형식의 풀백으로 쓰일 수 있다.킬링 폼은 해당 리 대수로부터 두 행렬에 걸쳐 트레이스로 쓸 수 있으므로, 라그랑지안도 트레이스와 관련된 형태로 작성할 수 있다는 점에 유의한다.약간의 재배열만 있으면 모레르-카르탄 양식의 풀백으로도 쓸 수 있다.

대칭 공간

시그마 모델의 일반적인 변화는 그것을 대칭 공간에 표시하는 것이다.그 원형적인 예는 제품을 가져가는 치랄 모델이다.

왼쪽 및 "오른쪽" 키랄 필드의 "시그마 모델"을 "시그마"로 구성

그러한 지수 공간은 대칭적인 공간이므로 으로 = G/ 을(를) 취할 수 있으며 Hg {\카르탄 비자발성 하에서 불변하는 의 최대 부분군이다.라그랑지안은 에서 G 의 메트릭스 풀백의 관점에서 또는 Maurer-Cartan 형식의 풀백으로 여전히 위와 같이 정확히 쓰여 있다.

추적 표기법

물리학에서 시그마 모델의 가장 보편적이고 관습적인 진술은 정의로부터 시작된다.

여기서 - g Maurer-Cartan 형태의 풀백으로, 에 대한 것이다. 은 카르탄 비자발성의 홀수 패리티 조각에 투영된 것이다.즉, Lie 대수 g {g}을를) 고려할 때 비자발성은 공간을 불수의 두 고유성에 해당하는 홀수 및 짝수 패리티 g = m h 로 분해한다.시그마 모델 라그랑지안은 다음으로 쓸 수 있다.

이것은 Skyrme 모델의 첫 번째 용어로 즉시 인식된다.

미터법 양식

이에 대한 동등한 메트릭 형식은 그룹 요소 g g(를 = (( i 로 쓰는 것이다 ) i g ^{Lie 대수 , = f Lie 대수학의 기본 요소로서, i k 는 g 구조 상수

이것을 위에 직접 연결하고 베이커-캠프벨-하우스도르프 공식의 최소형식을 적용하면 즉시 등가형 표현으로 이어진다.

where is now obviously (proportional to) the Killing form, and the are the vielbeins that express the "curved" metric in terms of the "flat" metric 베이커-캠프벨-하우스도르프 공식에 관한 기사는 비엘베인에 대한 노골적인 표현을 제공한다.라고 쓸 수 있다.

여기서 (는) 가 M j k i i k {\ {k인 행렬이다.

대칭 공간의 시그마 모델의 경우, Lie 그룹과는 반대로 (는) g= = ⊕ h {\의 모든 공간이 아닌 m {\{\{\{m}}}에 한정된다. 의 Lie {\{ 내에 있지 않으므로투영이 여전히 필요하다

확장

모델은 다양한 방식으로 확장될 수 있다.앞에서 언급한 Skyrme 모델 외에 4중항 항을 도입하는 모델도 웨스-주미노-을 산출하기 위해 비틀림 항에 의해 증강될 수 있다.위튼 모델.

또 다른 가능성은 초중력 모델에서 자주 볼 수 있다.여기서 Maurer-Cartan g- 이(가) "순수 게이지"처럼 보인다는 점에 주목한다.위 구조에서 대칭 공간에서는 다른 투영도 고려할 수 있다.

여기서, 이전과 같이, 대칭 공간은 g = h{\{\m}\에 대응했다 이 추가 용어는 섬유 번들 에 대한 연결로 해석할 수 있다(게이지 필드로서 변환).은 G{\의 연결에서 "좌측"된 것이다 그것은 글로써 그것 자체의 역학을 부여받을 수 있다.

F = F를 포함 여기서의 미분류는 공변량 파생물이 아닌 "d"일 이며, 이는 양-밀스 응력 에너지 텐서가 아니라는 점에 유의하십시오.이 용어는 그 자체로 게이지 불변성이 아니다; 에 내장되는 연결 부분과 함께 취해져야 한다. 따라서 이제 의 일부로서 이 용어와 함께 완전한 게이지 불변성 라그랑지안(d)을 형성한다.oes에는 양-밀이라는 용어가 들어 있다.

참조

  1. ^ 줄리안 S.슈윙거, "근본적 상호작용의 이론" 체육관 2호(407), 1957.
  2. ^ 주르겐 조스트 (1991) 리만니안 기하학과 기하학적 분석, 스프링거
  • Gell-Mann, M.; Lévy, M. (1960), "The axial vector current in beta decay", Il Nuovo Cimento, 16: 705–726, Bibcode:1960NCim...16..705G, doi:10.1007/BF02859738