1. 개요
게이지 이론은 1918년 헤르만 바일의 연구에서 시작되어, 전자기력, 약력, 강력 등 자연의 기본 힘을 설명하는 데 사용되는 수학적 틀이다. U(1) 게이지 대칭을 갖는 전자기학, SU(2) 대칭을 기반으로 하는 양-밀스 이론, 그리고 표준 모형과 같은 다양한 이론을 포함한다. 게이지 이론은 주다발과 접속, 공변 미분, 그리고 작용과 라그랑지언을 통해 설명되며, 양자장론의 중요한 부분으로 양자 전기역학(QED)과 같은 이론의 기반이 된다.
2. 역사
게이지 이론의 개념과 이름은 1918년 헤르만 바일의 연구에서 유래되었다.[1] 바일은 일반 상대성 이론과 전자기학을 통합하려는 시도를 하였다.
양자역학 발전 이후, 바일, 블라디미르 포크,[2] 프리츠 런던은 척도 변환을 위상 변화로 바꾸었는데, 이는 U(1) 게이지 대칭이다.
1864–65년 제임스 클러크 맥스웰은 저서 "전자기장의 역학적 이론"에서 고전 전자기학을 공식화하면서 컬이 사라지고 일반적으로 함수의 기울기로 쓸 수 있는 모든 벡터장이 자기장에 영향을 미치지 않고 벡터 전위에 추가될 수 있다고 언급하면서 불변성의 가능성을 시사했다. 다비트 힐베르트는 일반 좌표 변환 하에서 작용의 불변성을 가정하여 아인슈타인 방정식을 유도했다.
청-닝 양은 핵 아이소스핀 보존에 기초한 원자핵 결합에 대한 장 이론을 모색했다.[5] 1954년, 양과 로버트 밀스는 양자 전기역학의 U(1) 그룹 작용과 유사하게, 양성자와 중성자의 아이소스핀 이중항에 대한 (비-아벨) SU(2) 대칭 군 작용에 기반한 이론을 구성했다.[6]
양-밀스 이론은 약력의 양자장론과 전약력 이론에서 전자기학과의 통일에 적용되었다. 비-아벨 게이지 이론이 점근적 자유라는 특징을 재현하면서 강한 힘 게이지 이론을 찾는 동기를 부여했다. 현재 양자 색역학으로 알려진 이 이론은 쿼크의 색전하 삼중항에 대한 SU(3) 그룹 작용을 가진 게이지 이론이다. 표준 모형은 게이지 이론으로 전자기력, 약력, 강력을 통합적으로 설명한다.
1970년대에 마이클 아티야는 고전적인 양-밀스 방정식의 해에 대한 수학을 연구했다. 1983년, 사이먼 동슨은 미분 다양체의 매끄러운 4차원 다양체의 미분 가능한 분류가 위상 동형까지의 분류와 매우 다르다는 것을 보여주었다.[7] 마이클 프리드먼은 이상한 '''R'''4를 제시했다. 1994년, 에드워드 위튼과 나단 세이베르그는 초대칭 기반 게이지 이론적 기법을 개발하여 특정 위상 불변량(세이베르그-위튼 불변량)을 계산할 수 있게 했다.[8][9]
물리학에서 게이지 이론의 중요성은 전자기학, 약력, 강력의 양자장론을 설명하는 통일된 틀을 제공하는 수학적 형식의 성공으로 예시된다.
2. 1. 게이지 이론의 태동
헤르만 바일은 1918년 일반 상대성 이론의 기하학적 아이디어를 전자기학에 포함시키기 위해 척도의 변화, 즉 "게이지"에 대한 불변성이 일반 상대성 이론의 국소적 대칭성이 될 수 있다고 추측했다.[1] 양자역학 발전 이후, 바일, 블라디미르 포크,[2] 프리츠 런던은 척도 인자를 복소수로 대체하고 척도 변환을 위상 변화로 바꾸어 U(1) 게이지 대칭을 발견했다. 이는 전하를 띤 양자역학적 입자의 파동 함수에 대한 전자기장의 효과를 설명했다. 바일의 1929년 논문은 게이지 불변성의 현대적 개념을 도입했고, 이는 이후 볼프강 파울리가 1941년 리뷰에서 대중화했다.[4]
1864–65년 제임스 클러크 맥스웰은 저서 "전자기장의 역학적 이론"에서 고전 전자기학을 공식화하면서 컬이 사라지고 일반적으로 함수의 기울기로 쓸 수 있는 모든 벡터장이 자기장에 영향을 미치지 않고 벡터 전위에 추가될 수 있다고 언급하면서 불변성의 가능성을 시사했다. 다비트 힐베르트는 일반 좌표 변환 하에서 작용의 불변성을 가정하여 아인슈타인 방정식을 유도했다. 이러한 대칭 불변성의 중요성은 바일의 연구 이전까지는 주목받지 못했다.
2. 2. 비가환 게이지 이론의 발전
1954년 양전닝과 밀스는 핵자의 강한 상호작용을 설명하는 모델을 제안했다.[14] 이들은 전자기 상호작용의 U(1) 대칭성 이론을 일반화하여 양성자와 중성자의 아이소스핀 SU(2) 대칭성에 기반한 이론을 구축했다. 이 모델 자체는 실험과 일치하지 않았지만 비가환 대칭성에 기반한 '''양-밀스 이론'''의 원형이 되었다.
이후 이 아이디어는 약한 상호작용과 전자기 상호작용을 통일하는 전약 상호작용에 응용되었다. 게다가 비가환 게이지 이론은 점근적 자유성을 재현할 수 있다는 점이 밝혀져 더욱 주목받았다. 점근적 자유성은 강한 상호작용의 중요한 특징으로 여겨졌고, 이는 강한 상호작용의 게이지 이론을 탐구하는 동기가 되었다. 이 이론은 양자색역학으로 불리며, 쿼크의 컬러 SU(3) 대칭성에 기반한 게이지 이론이다. 양자전기역학(QED), 양자색역학(QCD), 와인버그-살람 이론은 게이지 이론에 기초하고 있으며, 전자기 상호작용, 약한 상호작용, 강한 상호작용을 통합하는 표준 모형 또한 게이지 이론의 언어로 기술된다.
2. 3. 수학 분야의 발전과 영향
1970년대에 마이클 아티야는 고전적인 양-밀스 방정식의 해에 대한 수학적 연구를 시작했다. 1983년, 아티야의 제자인 사이먼 도널드슨은 매끄러운 4차원 미분 가능 다양체의 분류가 위상 동형의 분류와는 다르다는 것을 보였다. 마이클 프리드먼은 도널드슨의 연구를 사용하여 이상한 '''R'''4를 제시했다. 즉, 4차원 유클리드 공간과는 다른 미분 구조가 존재함을 보였다. 1994년, 에드워드 위튼과 나단 세이베르그는 초대칭성에 기반한 게이지 이론적 기법을 발견했다. 이 방법은 특정 위상 불변량(세이베르그-위튼 불변량)의 계산을 가능하게 했다.[15]
3. 이론적 배경
게이지 이론은 미분기하학의 올다발 이론, 그 중에서도 주다발을 이용하여 정의된다. 게이지 군은 반단순 콤팩트 리 군 로 잡으며, 시공간 은 매끄러운 다양체이다.
위에 존재하는, 올이 인 주다발 들을 고려하며, 가능한 주다발들의 종류는 연속함수들의 호모토피류 에 의하여 분류된다. 여기서 는 의 분류 공간이다.
주다발에는 주접속 를 정의할 수 있으며, 이는 물리학에서 '''게이지 퍼텐셜'''이라고 불린다. 주접속의 곡률 는 '''게이지 장세기'''라고 불리며, 맥스웰 방정식에서의 패러데이 텐서는 U(1) 장세기의 특수한 경우다.[16]
물리적 장들은 주다발 위에 정의된 동변(equivariant) 벡터장으로 표현된다.[16]
스칼라장 의 도함수 는 게이지 퍼텐셜과 유사하게 게이지 변환을 겪는다. 하지만 공변 미분 를 도입하면 게이지 변환에 대해 불변인 도함수를 정의할 수 있다.
:
이는 와 같은 꼴로 게이지 변환하며, 이 연산 를 공변 미분이라고 한다.
페르미온은 적절한 복소 스피너 다발을 통해 도입될 수 있다. 이 스핀 구조를 가진 경우, 표현 에 따라 복소 스피너 다발 을 선택하여 페르미온 을 정의할 수 있다. 여기서 는 복소벡터다발 의 단면(section)들의 집합이다.
이러한 페르미온은 게이지 변환 에 대해 스칼라장과 유사하게 변환한다.
:
스핀 구조가 없더라도 적절한 스핀C 구조가 존재하면 게이지에 대해 대전된 페르미온이 존재할 수 있다.
양자장론은 작용 에 의해 정의되며, 이는 라그랑지언 의 적분으로 나타내어진다.
:
\mathcal L
예를 들어, 에 (유사) 리만 계량이 주어져 있다면, 다음과 같은 양-밀스 작용을 정의할 수 있다.
:
여기서 는 결합 상수이다. 인 경우는 맥스웰 방정식을 얻고, 인 경우는 양-밀스 방정식을 얻는다.
윌슨 고리와 같은 다른 게이지 불변항을 작용에 추가할 수도 있다.
3. 1. 게이지 변환과 대칭성
게이지 이론에서 물리적 장들은 주다발 위에 정의된 동변(equivariant) 벡터장으로 표현된다.[16] 게이지 변환은 주다발의 단면을 바꾸는 것으로, 물리적 상태는 변하지 않고 표현 방식만 달라진다.
게이지 변환 들의 집합
:
는 각 점마다의 합성을 통해 위상군을 이룬다. 이러한 게이지 변환은 전역 게이지 변환과 국소 게이지 변환으로 나뉜다.
전역 대칭성물리학에서 '''대역 대칭성'''(global symmetry)이란 국소 대칭성과는 대조적으로, 시공간의 모든 점에서 보존되는 대칭성이다. 힘이 아닌, 보존 법칙을 요구한다. 예를 들어, 디락 라그랑지언에 대한 군 의 작용이 있다.
국소 대칭성물리학에서 '''국소 대칭성'''(local symmetry)이란 매끄러운 기본 다양체 위의 점에 의해, 어떤 물리량의 대칭성을 갖는 것을 말한다. 국소 게이지 변환은 대칭군의 표현이 다양체 위의 함수이며, 따라서 시공간의 서로 다른 점에서는 다르게 작용하도록 취할 수 있다는 것을 의미한다. 국소 대칭성이라는 말은, 특히 양-밀스 이론에서는 국소 게이지 대칭성과 결부되어 있다. 보존 법칙에 더하여, 힘을 유도한다.[18]
국소 게이지 변환들의 집합은 게이지 군을 이루며, 이 군은 일반적으로 연결 공간이 아닐 수 있다. 이 경우, 연결 조각들은 거대 게이지 변환으로, 나머지는 미세 게이지 변환으로 분류된다.
3. 2. 주다발과 접속
게이지 이론은 미분기하학의 올다발 이론, 그 중에서도 주다발을 이용하여 정의된다. 게이지 군은 반단순 콤팩트 리 군 로 잡으며, 시공간 은 매끄러운 다양체이다.
위에 존재하는, 올이 인 주다발 들을 고려하며, 가능한 주다발들의 종류는 연속함수들의 호모토피류 에 의하여 분류된다. 여기서 는 의 분류 공간이다.
주다발에는 주접속 를 정의할 수 있으며, 이는 물리학에서 '''게이지 퍼텐셜'''이라고 불린다. 주접속의 곡률 는 '''게이지 장세기'''라고 불리며, 맥스웰 방정식에서의 패러데이 텐서는 U(1) 장세기의 특수한 경우다.[16]
3. 3. 공변 미분과 페르미온
스칼라장 의 도함수 는 게이지 퍼텐셜과 유사하게 게이지 변환을 겪는다. 하지만 공변 미분(covariant derivative) 를 도입하면 게이지 변환에 대해 불변인 도함수를 정의할 수 있다.
:
이는 와 같은 꼴로 게이지 변환하며, 이 연산 를 공변 미분이라고 한다.
페르미온은 적절한 복소 스피너 다발을 통해 도입될 수 있다. 이 스핀 구조를 가진 경우, 표현 에 따라 복소 스피너 다발 을 선택하여 페르미온 을 정의할 수 있다. 여기서 는 복소벡터다발 의 단면(section)들의 집합이다.
이러한 페르미온은 게이지 변환 에 대해 스칼라장과 유사하게 변환한다.
:
스핀 구조가 없더라도 적절한 스핀C 구조가 존재하면 게이지에 대해 대전된 페르미온이 존재할 수 있다.
3. 4. 작용과 라그랑지언
양자장론은 '''작용''' 에 의해 정의되며, 이는 '''라그랑지언''' 의 적분으로 나타내어진다.
: