{{위키데이터 속성 추적}}
{{보십시오|물리학 이론|게이지 이론}}
[[수학]], 특히 [[미분기하학]]에서 '''게이지 이론'''({{llang|en|Gauge theory}})은 [[벡터 다발|선형 다발]], [[주다발]] 및 [[올다발]]에서 정의된 [[접속]]에 대한 일반적인 연구이다. 수학의 한 분야인 게이지 이론과 [[게이지 이론|게이지 대칭]]을 가진 [[장 (물리학)|장론]]인 [[물리학]]의 [[게이지 이론]]은 밀접하게 관련되어 있다. 물리학에서 게이지 이론을 수학에서 게이지 이론과 혼동하지 않도록 주의하라.

수학에서 게이지 이론은 일반적으로 게이지 이론적 방정식의 연구와 관련이 있다. 이 방정식들은 선형 다발 또는 주다발의 접속을 포함하거나 선형 다발의 단면을 포함하는 [[미분방정식]]이므로 게이지 이론과 기하 해석학 사이에 강한 연관이 있다. 이런 방정식은 종종 물리적으로 의미가 있으며 [[양자장론]]이나 [[끈 이론]]의 중요한 개념에 해당하는 동시에, 수학적으로 중요한 의미도 있다. 예를 들어, 양-밀스 방정식은 주다발의 접속에 대한 연립 [[편미분방정식]]이며, 물리학에서 이 [[순간자|방정식]]에 대한 해는 [[장 방정식|고전적 장론]]에 대한 운동 방정식의 진공 해이다.

게이지 이론은 [[매끄러운 다양체]]의 새로운 [[불변량]], [[초켈러 다양체]]와 같은 특이한 기하학적 구조의 구성, 또한 선형 다발의 [[모듈라이 공간]] 및 [[연접층]]과 같은 [[대수기하학]]의 중요한 구조에 대한 또 다른 설명을 제공하는 데 사용된다.

== 역사 ==
미분 기하학에서 게이지 이론은 [[마이클 아티야]], [[이저도어 싱어]] 및 [[나이절 히친]]의 4차원의 [[리만 다양체]]에 대한 자기 쌍대 방정식에 대한 연구에 그 기원을 두고 있다.<ref>Atiyah, M.F., Hitchin, N.J. and Singer, I.M., 1977. Deformations of instantons. Proceedings of the National Academy of Sciences, 74(7), pp. 2662–2663.</ref><ref>Atiyah, M.F., Hitchin, N.J. and Singer, I.M., 1978. Self-duality in four-dimensional Riemannian geometry. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 362(1711), pp. 425–461.</ref> 이 연구에서는, 유클리드 공간에서 자기 쌍대 접속([[순간자]])의 [[모듈라이 공간]]이 연구되었으며, 양의 정수 <math>k</math>에 대해 <math>8k-3</math>차원임이 보여졌다. 이는 물리학자들의 BPST 순간자 발견과 <math>k=1</math>일 때 4차원 양-밀스 방정식에 대한 진공 해와 관련 있다. 이런 순간자는 5개의 매개변수들, 중심 <math>z\in \mathbb{R}^4</math> 그리고 규모 <math>\rho \in \mathbb{R}_{>0}</math>를 선택하여 정의되며, <math>8-3=5</math>차원 모듈라이 공간에 대응된다.

이와 비슷한 시기에, [[마이클 아티야]]와 리차드 와드는 [[사영 공간|복소 사영 공간]] <math>\mathbb{CP}^3</math>에서 자기 쌍대 방정식과 대수적 선형 다발에 대한 해 사이의 연관성을 찾았다.<ref>Atiyah, M.F. and Ward, R.S., 1977. Instantons and algebraic geometry. Communications in Mathematical Physics, 55(2), pp. 117–124.</ref> 또 다른 중요한 초창기 연구는 아티야, [[블라디미르 드린펠트]], 히친 및 [[유리 마닌]]에 의한 [[ADHM 작도]]이다.<ref>Atiyah, M.F., Hitchin, N.J., Drinfeld, V.G. and Manin, Y.I., 1978. Construction of instantons. Physics Letters A, 65(3), pp. 185–187.</ref> 이 구성은 유클리드 공간 <math>\mathbb{R}^4</math>에서 순수 선형 대수적 성질들로 부터 반자기 쌍대 방정식에 대한 해를 허용했다.

1980년대 초에 게이지 이론의 발전을 이끈 중요한 돌파구가 있었다. 이 시기에 아티야와 [[라울 보트|라울 보트]]가 했던 리만 곡면 위에서 양-밀스 방정식에 대한 중요한 연구는 게이지 이론 문제가 흥미로운 기하학적 구조를 일으킬 수 있음을 보여주었으며, 이를 계기로 무한 차원 [[운동량 사상]], [[모스 이론]] 및 게이지 이론과  대수 기하학의 연관성에 대한 연구가 발전되었다.<ref name="atiyahbott">Atiyah, M.F. and Bott, R., 1983. The yang-mills equations over riemann surfaces. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 308(1505), pp. 523–615.</ref> 기하 해석학의 중요한 해석적 도구는 접속 및 곡률의 해석적 성질을 연구한 카렌 울렌벡에 의해 이때 개발되어 중요한 컴팩트성 결과들을 증명했다.<ref>Uhlenbeck, K.K., 1982. Connections withL p bounds on curvature. Communications in Mathematical Physics, 83(1), pp. 31–42.</ref> 이 분야에서 가장 중요한 발전은 [[사이먼 도널드슨|사이먼 도날드슨]]과 [[에드워드 위튼]]의 연구로 인해 발생했다.

도날드슨은 대수 기하학과 기하 해석학적 방법을 조합하여 현재 [[도널드슨 불변량]]으로 알려진 4가지 다양체들의 새로운 [[불변량]]을 구성했다.<ref name="donthesis">Donaldson, S.K., 1983. An application of gauge theory to four-dimensional topology. Journal of Differential Geometry, 18(2), pp. 279–315.</ref><ref name="doninvariants">Donaldson, S.K., 1990. Polynomial invariants for smooth four-manifolds. Topology, 29(3), pp. 257–315.</ref> 이 불변량으로 인해 매끄러운 구조를 허용하지 않는 [[다양체|위상다양체]]의 존재성이나, 유클리드 공간 <math>\mathbb{R}^4</math>에 [[기수 (수학)|비가산]] 가지의 매끄러운 구조의 존재성과 같은 새로운 결과가 증명될 수 있었다. 이 공로로 도날드슨은 1986년 [[필즈상]]을 수상했다.

위튼은 3차원에서 [[천-사이먼스 이론]]에서 발생하는 양을 [[매듭 이론|매듭]]의 불변량인 [[존스 다항식]]과 관련시킴으로써 위상 불변량을 설명하는 게이지 이론의 힘을 유사하게 관찰했다.<ref name="wittenknot">Witten, E., 1989. Quantum field theory and the Jones polynomial. Communications in Mathematical Physics, 121(3), pp. 351–399.</ref> 이 업적과 도날드슨 불변량의 발견, 그리고 안드레아스 플뢰어의 [[플뢰어 호몰로지]]에 대한 새로운 업적은 [[위상 양자장론]] 연구에 영감을 주었다.

다양체의 불변량을 정의하는 게이지 이론의 힘이 알려진 후 수학적 게이지 이론은 인기를 얻었다. [[자이베르그-위튼 불변량|자이베르그-위튼 불변]] 및 바파-위튼 불변과 같은 추가 불변량이 알려지게 되었다.<ref name="seibergwitten">Witten, Edward (1994), "Monopoles and four-manifolds.", Mathematical Research Letters, 1 (6): 769–796, arXiv:hep-th/9411102, Bibcode:1994MRLet...1..769W, doi:10.4310/MRL.1994.v1.n6.a13, MR 1306021, archived from the original on 2013-06-29</ref><ref>Vafa, C. and Witten, E., 1994. A strong coupling test of S-duality. arXiv preprint hep-th/9408074.</ref> [[안정 벡터 다발|안정 선형 다발]]에 대한 양-밀스 접속과 관련된 코바야시-히친 편지에 대한 도날드슨, 울렌벡 및 [[야우싱퉁]]의 연구로 대수 기하학과 게이지 이론의 강력한 연관성이 알려지게 되었다.<ref name="donhitchinkobayashi">Simon K. Donaldson, Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles, Proceedings of the London Mathematical Society (3) 50 (1985), 1-26.</ref><ref name="uhlenbeckyau">Karen Uhlenbeck and Shing-Tung Yau, On the existence of Hermitian–Yang-Mills connections in stable vector bundles.Frontiers of the mathematical sciences: 1985 (New York, 1985). Communications on Pure and Applied</ref> 힉스 다발에 대한 히친과 카를로스 심프슨의 연구는 게이지 이론에서 발생하는 모듈라이 공간이 [[초켈러 다양체]]와 같은 특이적인 기하학적 구조를 가질 수 있을 뿐만 아니라 [[히친 계]]를 통해 [[적분가능계]]와 연관성을 가질 수 있음을 보여주었다.<ref name="hitchinhiggs">Hitchin, N.J., 1987. The self-duality equations on a Riemann surface. Proceedings of the London Mathematical Society, 3(1), pp. 59–126.</ref><ref>Simpson, Carlos T. Higgs bundles and local systems. Publications Mathématiques de l'IHÉS, Volume 75 (1992), pp. 5–95. http://www.numdam.org/item/PMIHES_1992__75__5_0/</ref> [[끈 이론]]과 [[칼라비-야우 다양체]]들의 [[거울 대칭 가설|거울 대칭성]]의 관계에서 게이지 이론은 호몰로지 [[거울 대칭 가설]]과 [[AdS/CFT 대응성|AdS/CFT 대응]]을 표현하는 데 필수적이다.

== 기본 연구 대상 ==
게이지 이론의 기본적인 연구 대상은 [[벡터 다발|선형 다발]]과 [[주다발]]의 접속이다. 이 절에서는 이러한 구성을 간략하게 살펴보고 자세한 내용을 볼 수 있는 주요 문서를 언급한다. 여기에 설명된 구조는 미분 기하학 문헌의 표준이며 게이지 이론적인 관점에서 주제에 대한 소개는 도날드슨과 [[피터 크론하이머]]의 책에서 찾을 수 있다.<ref name="donaldsonkronheimer">Donaldson, S.K., Donaldson, S.K. and Kronheimer, P.B., 1990. The geometry of four-manifolds. Oxford University Press.</ref>

=== 주다발 ===
[[파일:Z2_principal_bundle_over_circle.png|섬네일|300x300픽셀| 원 위에 있는 자명하지 않은 '''Z''' /2 '''Z''' 주다발. 각 올에서 ''+1'' 또는 ''-1'' 에 해당하는 지점을 식별하는 명확한 방법은 없다. 이 다발은 사영 ''π''의 전역적으로 정의된 단면이 없기 때문에 중요하지 않다.]]
[[파일:Mobius_frame_bundle.png|섬네일| 틀 다발 <math>\mathcal{F}(E)</math> [[뫼비우스의 띠|뫼비우스 띠]]의 <math>E</math> 중요하지 않은 원 위에 <math>\mathbb{Z}/2\mathbb{Z}</math> 주다발이다]]
게이지 이론에서 연구의 중심 대상은 주다발과 선형 다발이다.

'''구조 군 <math>G</math>'''를 가진 '''주다발''' <math>(P,X,\pi, G, \rho)</math>에서 <math>P</math>는 전체 공간이고, <math>X</math>는 기저 공간이다''.'' <math>\pi: P \to X</math>는 [[리 군]] <math>G</math>와 동형인 올을 가진 매끄러운 [[올다발]]이다. 그리고 <math>\rho</math>는 <math>P</math>에 작용하며 올을 보존하는 <math>G</math>의 추이적인 오른쪽 자유 [[군의 작용|군 작용]]을 나타낸다. 즉, 모든 <math>p\in P</math>에 대해 <math>\pi(pg) = \pi(p)\; \forall g\in G</math>. 여기 각 <math>x\in X</math>에 대한 오른쪽 군 작용과 임의로 선택한 <math>p\in P_x</math>에 대해 사상 <math>g \mapsto pg</math>는 <math>x</math>위의 올과 매끄러운 다양체로서 리 군 <math>G</math> 사이의 [[미분동형사상]] <math>P_x \cong G</math>을 정의한다.

주다발의 가장 간단한 예는 구조군 <math>G</math>가 [[원군|원 군]] <math>G=\operatorname{U}(1)</math>일 때이다. 이 경우 <math>\dim X = n</math>이라 할 때 주다발의 차원 <math>\dim P = n + 1</math>이다. 또 다른 자연스러운 예는 <math>P=\mathcal{F}(TX)</math>가 다양체 <math>X</math>의 [[접다발]]의 [[틀다발]]인 경우다. 또는 더 일반적으로 <math>X</math>의 선형 다발의 틀다발인  경우다. 이 때 <math>P</math>의 올은 [[일반선형군]] <math>\operatorname{GL}(n, \mathbb{R})</math>으로부터 주어진다.

주다발은 올다발이기 때문에, 국소적으로는 곱공간 구조를 갖는다. 따라서, 다음 서술 될 성질들을 가진 <math>X</math>의 열린 덮개 <math>\{U_{\alpha}\}</math>와 [[미분동형사상]]들 <math>\varphi_\alpha: P_{U_\alpha} \to U_\alpha \times G</math>가 존재한다:  <math>\varphi_\alpha</math>는 사영 <math>\pi</math>,  <math>\operatorname{pr}_1</math>와 가환이며 모든 <math>U_{\alpha}\cap U_{\beta}\cap U_\gamma</math>에서 [[체흐 코호몰로지|코사이클 조건]]

: <math>g_{\alpha\beta}(x) g_{\beta\gamma}(x) = g_{\alpha\gamma}(x)</math>

이 성립하는 <math>\varphi_\alpha \circ \varphi_{\beta}^{-1} (x,g) = (x, g_{\alpha\beta}(x) g)</math>로 정의 되는 추이 사상 <math>g_{\alpha\beta} :U_{\alpha}\cap U_{\beta} \to G</math>를 가진다. 주다발을 정의하려면 특정한 추이 사상들을 선택하는 것으로 충분하다. 그런 다음 다발은 <math>U_\alpha\cap U_\beta</math>에서 추이 사상을 가지고 자명한 다발 <math>U_\alpha\times G</math>들을 붙여서 정의한다. cocycle 조건 때문에, 이는 분리 합집합 <math>\bigsqcup_\alpha U_\alpha \times G</math>에 대한 [[동치관계|동치 관계]]가 된다. 따라서 [[몫공간|몫 공간]] <math>P=\bigsqcup_\alpha U_\alpha \times G/{\sim}</math>은  잘 정의되어 있다. 위 내용은 ''올다발 구성 정리''로 알려져 있으며, 주다발이나 선형 다발뿐만 아니라 추이 사상으로 설명되는 모든 올다발에 대해 동일한 방법이 적용된다.

<math>\pi \circ s_\alpha = \operatorname{Id}</math>이 성립하는 ''국소 단면'' <math>s_\alpha: U_\alpha \to P_{U_\alpha}</math>을 선택하는 것은 국소 자명화 사상을 지정하는 것과 동일한 방법이다. 즉, 다음을 정의할 수 있다:<math>\varphi_\alpha(p) = (\pi(p), \tilde s_\alpha(p))</math>. 여기서 <math>\tilde s_\alpha(p)\in G</math>는 다음과 같은 군의 유일한 원소이다: <math>p\tilde s_\alpha(p)^{-1} =s_\alpha(\pi(p))</math>.

=== 선형 다발 ===
[[파일:Vector_bundle_with_section.png|섬네일|300x300픽셀| <math>M</math>을 기저 다양체로 하는 선형 다발 <math>E</math>의 단면 <math>s</math>.]]
'''선형 다발''' <math>(E, X, \pi)</math>은 올이 선형 공간 <math>\mathbb{K}^r</math>인 [[올다발]] <math>\pi: E\to X</math>이다. 여기서 <math>\mathbb{K}=\mathbb{R}, \mathbb{C}</math>이다. 여기서도 자명화 하는 열린 덮개(trivialising open cover.) <math>\{U_{\alpha}\}</math> 측면에서 선형 다발을 국소적으로 묘사 할 수 있다. 동형사상

: <math>\varphi_{\alpha}: E_{U_{\alpha}} \to U_{\alpha} \times \mathbb{K}^r</math>

에 대해, 선형 공간 <math>\mathbb{K}^r</math>의 기저 벡터들 <math>e_1,\dots,e_r</math>에 해당하는 <math>E</math>의 서로 다른 국소 단면들을 얻는다. 이 국소 단면들은 <math>\boldsymbol{e}_1,\dots,\boldsymbol{e}_r</math>로 표기한다. 이들은 다음 방정식으로 정의된다:

: <math>\varphi_{\alpha} (\boldsymbol{e}_i (x)) = (x, e_i).</math>

따라서 자명화을 특정하는 것은, 모든 곳에서 선형 독립인 <math>r</math>개의 국소 단면들의 모임을 주고 이 표현을 사용하여 해당 동형을 정의하는 것과 동등하다. 이러한 국소 단면들의 모임을 ''틀''이라고 한다.

주다발과 유사하게, 선형 다발에 대해, 다음과 같이 정의된

: <math>\varphi_{\alpha} \circ \varphi_{\beta}^{-1} (x, v) = (x, g_{\alpha\beta}(x) v).</math>

추이 사상 <math>g_{\alpha\beta}: U_{\alpha}\cap U_{\beta} \to \operatorname{GL}(r, \mathbb{K})</math>을 얻는다. 이 추이 사상을 가지고 구조 군 <math>\operatorname{GL}(r, \mathbb{K})</math>과 동형인 올을 가진 주다발에 대한 국소 자명화을 구성하는 경우, <math>\operatorname{GL}(r, \mathbb{K})</math>-주다발 <math>E</math>의 틀다발을 얻는다.

=== 연관된 다발 ===
주어진 <math>G</math>-주다발 <math>P</math>와 선형 공간 <math>V</math>위에서 <math>G</math>의 표현 <math>\rho</math>에 대해, 선형 공간 <math>V</math>를 올로 가지는 '''연관된 선형 다발''' <math>E=P\times_{\rho} V</math>을 구성할 수 있다. 이 선형 다발을 정의하기 위해, 곱공간 <math>P\times V</math>에 대한 <math>(p,v)g = (pg, \rho(g^{-1})v)</math>로 정의되는 오른쪽 군 작용을 고려한다. 그리고 <math>P\times_{\rho} V = (P\times V)/G</math>를 이 작용에 대한 [[몫공간|몫 공간]]으로 정의한다.

추이 사상 관점에서 연관된 다발을 더 간단하게 이해할 수 있다. 주다발 <math>P</math>가 국소 자명화 <math>\{U_{\alpha}\}</math>에 대한 추이 사상 <math>g_{\alpha\beta}</math>을 가지고 있으면, 추이 사상<math>\rho \circ g_{\alpha\beta}: U_{\alpha}\cap U_{\beta} \to \operatorname{GL}(V)</math>을 사용하여 관련 선형 다발을 구성할 수 있다.

연관된 다발 구성은 군 동형 사상 <math>\rho: G\to \operatorname{Aut}(F)</math>이 주어진 선형 공간뿐만 아니라 모든 올 공간 <math>F</math>에 대해 수행할 수 있다. 한 가지 주요 예는 <math>g \mapsto (h \mapsto g h g^{-1})</math>로 정의된 군 동형 사상<math>\rho: G \to \operatorname{Aut}(G)</math>를 이용하여 구성된 올을 가진 ''대문자 A 인접 다발'' <math>\operatorname{Ad}(P)</math>이다. 올 <math>G</math>를 가졌음에도 불구하고, 이 인접 다발은 주다발도 아니고 올다발처럼 <math>P</math>자신과 동형이 아니다. 예를 들어 군 <math>G</math>가 가환이면 켤레 작용이 자명하고, <math>\operatorname{Ad}(P)</math>도 <math>P</math>가 자명하든 그렇지 않든 상관 없이, <math>X</math>위의 자명한 <math>G</math>-올다발이 된다. 또 다른 주요 예는 <math>G</math>의 [[리 대수]] <math>\mathfrak{g}</math>에 대해, [[딸림표현]] <math>\rho: G \to \operatorname{Aut}(\mathfrak{g})</math>을 사용하여 구성된 ''소문자 인접 다발'' <math>\operatorname{ad}(P)</math>이다.

=== 게이지 변환 ===
선형 다발 또는 주다발의 '''게이지 변환'''은 이 다발의 [[자기 동형 사상]]이다. 주다발인 경우, 게이지 변환은 사영 연산자 <math>\pi</math>와 가환인 [[미분동형사상|미분 동형 사상]] <math>\varphi: P \to P</math>과 오른쪽 군 작용 <math>\rho</math>로 구성된다. 선형 다발인 경우, 게이지 변환은 위와 유사하게 사영 연산자 <math>\pi</math>와 가환인 미분 동형 사상 <math>\varphi: E \to E</math>으로 정의된다.

<math>P</math> 또는 <math>E</math>의 게이지 변환은, 합성 연산에 대해, 일반적으로 <math>\mathcal{G}</math>로 표시되는 '''게이지 군'''을 형성한다. 이 군은 인접 다발의 대역 단면들의 공간 <math>\mathcal{G} = \Gamma(\operatorname{Ad}(P))</math>으로, 또는 선형 다발의 경우 <math>\mathcal{G} = \Gamma(\operatorname{Ad}(\mathcal{F} (E)))</math>로 특징 지을 수 있다. <math>\mathcal{F}(E)</math>는 틀다발을 나타낸다.

또한 '''국소 게이지 변환'''을 자명화 하는 열린 부분 집합 <math>U_{\alpha}</math>에 대한 국소 다발 동형으로 정의할 수 있다.. 이는 사상<math>g_{\alpha} : U_{\alpha} \to G</math> (선형 다발의 경우 <math>G=\operatorname{GL}(r, \mathbb{K})</math>)으로 유일하게 결정 될 수 있다. 여기서 유도된 다발 동형은 다음과 같이 정의된다:

: <math>\varphi_{\alpha}(p) = pg_{\alpha}(\pi(p)).</math>

선형 다발에 대해서도 비슷하다.

동일한 열린 부분 집합 <math>U_{\alpha}</math>에 대해 주다발의 두 국소 자명화가 주어진다는 사실에 유의하라. , 추이 사상은 정확히 국소 게이지 변환 <math>g_{\alpha\alpha}: U_{\alpha} \to G</math>이다.  즉, ''국소 게이지 변환은 주다발 또는 선형 다발에 대한 국소 자명화의 변화가다'' .

=== 주다발 접속 ===
[[파일:Equivariance_of_Principal_bundle_connection.png|섬네일|300x300픽셀| <math>P</math>에 대한 <math>G</math>의 오른쪽 군 작용과 호환되려면 주다발 접속이 필요하다. 이것은 오른쪽 곱셈 <math>R_g</math>로 시각화 할 수 있다. 수평 부분 공간을 서로 가져온다. 수평 부분 공간의 이 등분산 <math>H\subset TP</math> 접속 형태로 해석 <math>\omega</math> 그것의 특징적인 등분산 성질으로 이어진다.]]
[[파일:Principal_bundle_connection_form_projection.png|섬네일|300x300픽셀| 주다발 접속 형식 <math>\omega</math>는 주다발 <math>P</math>의 접다발 <math>TP</math>의 사영 연산자로 생각할 수 있다. 접속 형식의 커널은 연관된 [[에레스만 접속]]에 대한 수평 부분 공간으로 제공된다.]]
주다발에 대한 접속은 단면 <math>s: X\to P</math>의 수평 개념을 포착하기 위해 인접한 올을 접속하는 방법이다. 추상적인 주다발의 올은 서로와 또는 실제 올 공간 <math>G</math>와 자명하게 동일시 되지는 않기 때문에, 그 자체로 어떤 단면이 상수인지 지정하는 표준적 방법은 없다. 국소 자명화의 선택은 하나의 가능한 선택으로 이어진다. <math>P</math>가 집합 <math>U_{\alpha}</math>에 대해 자명하고, 모든 <math>x\in U_{\alpha}</math>와 하나의 <math>g\in G</math>에 대해 <math>\varphi_{\alpha} (s(x)) = (x, g)</math>라는 의미에서 이 국소 자명화과 관련하여 일정하다면, 국소 단면은 수평이라고 말할 수 있다. 특히 자명한 주다발 <math>P=X\times G</math>에는 '''자명한 접속'''이 주어져 있다.

일반적으로 '''접속'''은 모든 점 <math>p\in P</math>에 대해 <math>T_p P = H_p \oplus V_p</math>인 접공간의 수평 부분 공간 <math>H_p \subset T_p P</math>을 선택하면 정해진다. 모든 지점에서  여기서 <math>V</math>는 <math>V=\ker d\pi</math>으로 정의된 [[수직 벡터 다발|수직 선형 다발]]이다. 이러한 수평 부분 공간은 수평 분포 <math>H</math>가 오른쪽 군 작용 <math>H_{pg} = d(R_g) (H_p)</math>에 대해서 불변인 조건을 추가하여 주다발 구조와 호환되도록 한다. 여기서 <math>R_g: P \to P</math>는 <math>g</math>를 오른쪽 곱셈하는 사상을 나타낸다. 단면 <math>s</math>를 <math>P</math>의 부분 다양체인 접다발 <math>Ts</math>포함하는 <math>P</math> 안의 상으로 보았을 때 <math>T_p s \subset H_p</math>이면 단면 <math>s</math>를 '''수평'''이라고 한다. 주어진 벡터장 <math>v\in \Gamma(TX)</math>에 대해, 유일한 수평 올림 <math>v^{\#}\in \Gamma(H)</math>이 있다. 접속의 '''곡률'''은 다음과 같이 정의되는

: <math>F = dA_\alpha + \frac{1}{2} [A_\alpha, A_\alpha]</math>

인접 다발 <math>F\in \Omega^2(X, \operatorname{ad}(P))</math>에 값이 있는 제 2형식으로 주어진다. 여기서 기호 <math>[\cdot, \cdot]</math>는 단면의 [[리 대수|리 괄호]]이다. 수직 다발은 <math>P</math>의 올에 대한 접공간들로 구성되어 있기 때문에 이 올들은 접다발이 <math>TG = G\times \mathfrak{g}</math>인 리 군 <math>G</math>와 동형이다. 이 곡률에 대해 유일한 [[벡터 값 미분 형식|리 대수 값]] 제 2형식 <math>F\in \Omega^2(P, \mathfrak{g})</math>이 있다. 프로베니우스 적분 가능 정리의 관점에서, 접속의 곡률은 수평 분포가 적분 될 수 없는 정도와 <math>M</math>이 수평 부분다양체로 국소적으로 <math>P</math>안에 매장되지 않는 정도를 정확하게 측정한다.

수평 부분 공간의 선택은 '''접속 제 1형식'''이라고도 불리는 사영 연산자 <math>\nu: TP \to V</math>로 동등하게 표현될 수 있다. 수평 분포 <math>H</math>의 경우, 이것은 <math>\nu_H (h+v) = v</math>과 같이 정의된다.  여기서 <math>h+v</math>는 직합 분해 <math>TP = H\oplus V</math>에 대한 접선 벡터의 분해를 나타낸다. 등분산으로 인해 이 사영 제 1형식은 리 대수 값 <math>\nu \in \Omega^1(P, \mathfrak{g})</math>으로 볼 수 있다.

<math>P</math>에 대한 국소 자명화 국소 단면 <math>s_{\alpha}: U_{\alpha} \to P_{U_{\alpha}}</math>에 의해 동등하게 제공된다.  접속 제 1형식과 곡률은 이 매끄러운 사상을 따라 [[당김 (미분기하학)|당겨질]] 수 있다. 이것은 <math>P</math>의 인접 다발 에서 값을 취하는 '''국소 접속 제 1형식''' <math>A_{\alpha} = s_{\alpha}^* \nu\in \Omega^1(U_{\alpha}, \operatorname{ad}(P))</math>을 준다. [[카르탕 구조 방정식]]에 따르면 곡률은 다음과 같은 표현

: <math>F = dA_\alpha + \frac{1}{2} [A_\alpha, A_\alpha]</math>

으로 국소 제 1형식 <math>A_{\alpha}</math>로 표현될 수 있다. 여기서는, 국소 자명화 <math>U_{\alpha}</math>에 대해 <math>U_\alpha \times \mathfrak{g}</math>로 식별되는 리 대수 다발 <math>\operatorname{ad}(P)</math> 위에서의 리 괄호를 사용하였다.

<math>\tilde A_{\alpha} = (g\circ s)^* \nu</math>이 성립 하도록 하는 국소 게이지 변환 <math>g: U_\alpha \to G</math>에 대해, 국소적 접속 제 1형식은 다음 식

: <math> \tilde A_\alpha = \operatorname{ad}(g)\circ A_\alpha + (g^{-1})^* \theta</math>

에 따라 변환된다. 여기서 <math>\theta</math>는 리 군 <math>G</math>의 [[마우러-카르탕 형식]]을 나타낸다. 이 경우 <math>G</math>는 [[리 군|행렬 리 군]]이고, 더 간단한 표현 <math>\tilde A_{\alpha} = g A_\alpha g^{-1} - (dg)g^{-1}</math>을 가진다.

=== 선형 다발의 접속 ===
[[파일:Paralleltransportcovariantderivative.png|오른쪽|섬네일|300x300픽셀| 선형 다발에 대한 접속의 공변 도함수는 평행 운송에서 복구될 수 있다. 단면 <math>s\in \Gamma(E)</math>의 값 <math>s(\gamma(t))</math>들은 경로 <math>\gamma</math>를 따라 <math>\gamma(0)=x</math>로 되돌아가며 병렬로 운송된다. 그리고 나서 공변 도함수는 <math>x</math>위에 고정된 선형 공간, 즉, 올 <math>E_x</math>에서 취해진다.]]
선형 다발에 대한 접속은 위에서 다룬 주다발에 대한 경우와 유사하게 지정될 수 있다. 이는 [[에레스만 접속]]으로 알려져 있다. 그러나 선형 다발 접속은 미분 연산자 측면에서 더 잘 설명된다. 선형 다발의 '''접속'''은, 모든 <math>f\in C^{\infty}(X)</math> 및 단면 <math>s\in \Gamma(E)</math>에 대해 <math>\nabla(fs) = df\otimes s + f \nabla s</math>가 성립하는 <math>\mathbb{K}</math>-선형 미분 연산자

: <math>\nabla: \Gamma(E) \to \Gamma(T^*X \otimes E) = \Omega^1(E)</math>

의 특정한 선택이다.

:

단면 <math>s</math>의 벡터장 <math>v</math>의 방향 '''공변 도함수'''는 다음과 같이 정의된다:

: <math>\nabla_v (s) = \nabla s (v)</math>

여기서 오른쪽에 <math>\Omega^1(X)</math>과 <math>TX</math> 사이의 자연스러운 쌍을 사용한다. 이는 <math>s</math>의 <math>v</math>방향 미분으로 생각 할 수 있는 새로운 단면이다. 연산자 <math>\nabla_v</math>는 <math>v</math>방향 공변 도함수 연산자이다. <math>\nabla</math>의 '''곡률'''은 [[벡터 다발|자기 사상 다발]]의 값을 가지며

: <math>F_{\nabla}(v_1,v_2) = \nabla_{v_1} \nabla_{v_2} - \nabla_{v_2} \nabla_{v_1} - \nabla_{[v_1, v_2]}</math>

로 정의되는 연산자 <math>F_{\nabla}\in \Omega^2(\operatorname{End}(E))</math>에 의해 주어진다. 국소 자명화에서 [[미분 형식|외미분]] <math>d</math> 는 자명한 접속 역할을 한다(위에서 논의한 주다발 그림에서 자명한 접속에 해당). 즉, 국소 틀 <math>\boldsymbol{e}_1, \dots, \boldsymbol{e}_r</math>의 경우 다음을 정의한다:

: <math>d (s^i \boldsymbol{e}_i) = ds^i \otimes \boldsymbol{e}_i.</math><math>d (s^i \boldsymbol{e}_i) = ds^i \otimes \boldsymbol{e}_i</math>

여기서 국소 단면 <math>s=s^i \boldsymbol{e}_i</math>에 대해 [[아인슈타인 표기법]]을 사용했다.

임의의 두 접속 <math>\nabla_1, \nabla_2</math>은 <math>\operatorname{End}(E)</math> 값 제 1형식 <math>A</math> 만큼 차이난다. 이를 확인하려면 두 접속의 차이가 <math>C^{\infty}(X)</math>-선형인지 보면 된다:

: <math>(\nabla_1 - \nabla_2)(fs) = f(\nabla_1-\nabla_2)(s).</math>

특히 모든 선형 다발은 접속을 허용하기 때문에([[단위 분할]] 및 국소적 자명한 접속 사용), 선형 다발의 접속들의 집합은 선형 공간 <math>\Omega^1(\operatorname{End}(E))</math>에서 모델링 된 무한 차원 [[아핀 공간]]의 구조를 갖는다. 이 공간은 일반적으로 <math>\mathcal{A}</math>로 표시된다.

이 관찰을 국소적으로 적용하면, 자명화 부분 집합 <math>U_{\alpha}</math>에 대한 모든 접속은, <math>U_{\alpha}</math>에서 <math>\nabla = d + A_{\alpha}</math>인 성질을 가진 일부 국소 접속 제 1형식 <math>A_{\alpha}\in \Omega^1(U_{\alpha}, \operatorname{End}(E))</math>만큼 자명한 접속 <math>d</math>와 다르다. 이 국소 접속 형식의 관점에서 곡률은 다음과 같이 쓸 수 있다:

: <math>F_A = dA_{\alpha} + A_{\alpha} \wedge A_{\alpha}</math>

여기서 쐐기 곱은 제 1형식 성분에서 발생하고, 자기 사상 성분에서 자기 사상을 구성한다. 이를 주다발 이론으로 다시 연결하려면, <math>A\wedge A = \frac{1}{2}[A, A]</math>을 확인하라. 여기서 오른쪽에 이제 제 1형식의 쐐기와 자기 사상의 교환자를 수행한다.

선형 다발 <math>E</math>의 게이지 변환 <math>u</math>에서 접속 <math>\nabla</math>는 <math>(u\cdot \nabla)_v(s) = u(\nabla_v(u^{-1}(s))</math>에 의해 접속 <math>u\cdot \nabla</math>로 변한다. 주다발의 경우와 같이, ''국소'' 게이지 변환 <math>g</math>에 대해 같은 표현을 얻는다:

: <math>\tilde A_{\alpha} = g A_{\alpha} g^{-1} - (dg)g^{-1}.</math>

=== 유도된 접속 ===
주다발에 대한 접속은 연관된 선형 다발에 대한 접속을 유도한다. 이를 확인하는 한 가지 방법은, 위에서 설명한 국소 접속 형식을 사용하는 것이다. 즉, 주 다발 접속 <math>H</math>가 국소 접속 형식 <math>A_{\alpha}\in \Omega^1(U_{\alpha}, \operatorname{ad}(P))</math>을 가지고 있다. 그리고 <math>\rho: G \to \operatorname{Aut}(V)</math>는 연관된 선형 다발 <math>E=P\times_{\rho} V</math>을 정의하는 <math>G</math>의 표현이다. 그러면, 유도된 국소 접속 1형식은 다음과 같이 정의된다:

: <math>\rho_* A_{\alpha} \in \Omega^1(U_{\alpha}, \operatorname{End}(E)).</math>

여기서 <math>\rho_*</math>는 <math>\mathfrak{g} \to \operatorname{End}(V)</math>에서 유도된 [[리 대수|리 대수 준동형사상]]이고, 이 사상이 선형 다발<math>\operatorname{ad}(P) \to \operatorname{End}(E)</math>의 준동형사상을 유도한다는 사실을 사용한다.

유도된 곡률은 다음과 같이 간단히 정의할 수 있다:

: <math>\rho_* F_A \in \Omega^2(U_\alpha, \operatorname{End}(E)).</math>

위 논의에서, 리 대수 <math>\mathfrak{g}</math>에서 리 괄호가 리 대수 준동형사상 <math>\rho_*</math>에 의해 <math>\operatorname{End}(V)</math>의 자기 사상의 교환자로 보내지는 것과 같이, 곡률에 대한 국소적 표현들이 주다발 및 선형 다발과 어떻게 관련되는지 볼 수 있다.

=== 접속들의 공간 ===
게이지 이론에서 연구의 중심 목표는 선형 다발 또는 주요 다발의 접속 들의 공간이다. 이것은 선형 공간 <math>\Omega^1(X, \operatorname{ad}(P))</math> (또는 <math>\Omega^1(X, \operatorname{End}(E))</math>) 위에서 모델링 되는 무한 차원 아핀 공간 <math>\mathcal{A}</math>이다. <math>A' = u\cdot A</math>이 성립하는 게이지 변환 <math>u</math>가 존재하면, 두 개의 접속 <math>A, A'\in \mathcal{A}</math>를 '''게이지 동치'''라고 한다. 게이지 이론은 접속의 게이지 동치류와 관련이 있다. 따라서 어떤 의미에서 게이지 이론은 [[몫공간|몫 공간]] <math>\mathcal{A}/\mathcal{G}</math>의 성질과 관련이 있다. <math>\mathcal{A}/\mathcal{G}</math>는 일반적으로 [[하우스도르프 공간]]이나 [[매끄러운 다양체]]가 아니다.

기저 다양체 <math>X</math>의 많은 흥미로운 성질들은 <math>X</math>위에서 정의된 주다발 및 선형 다발에 대한 접속의 [[모듈라이 공간]]의 기하학 및 위상수학으로 인코딩될 수 있다. [[도널드슨 불변량|도날드슨 불변량]] 또는 [[자이베르그-위튼 불변량|자이베르그-위튼 불변]]과 같은 <math>X</math>의 불변량들은 <math>X</math>에 주어진 접속들의 모듈라이 공간에서 파생된 수치를 계산하여 얻을 수 있다. 이 아이디어의 가장 유명한 적용은 도날드슨 정리이다. 도날드슨 정리는 교차 형식를 연구하기 위해 [[단일 연결 공간|단일 연결]] 4차원 다양체 <math>X</math>위에서 정의된 <math>\operatorname{SU}(2)</math> 주다발의 양-밀스 접속의 모듈라이 공간을 쓴다. 이 업적으로 도날드슨은 [[필즈상]]을 수상했다.

== 표기법 ==
여기에 선형 다발 및 주다발에 대한 접속에 사용되는 다양한 표기법 규칙이 있다.

* <math>A</math> 는 선형 다발이나 주다발에서 정의된 접속을 나타낼 때 가장 일반적으로 사용하는 기호다. 이 기호를 쓰는 이유는, 만약 모든 접속들 중에 한 접속 <math>\nabla_0\in \mathcal{A}</math>을 고르면, 다른 모든 접속들은 어떤 제 1형식 <math>A\in \Omega^1(X, \operatorname{ad}(P))</math>에 대해<math>\nabla = \nabla_0 + A</math>로 적을 수 있고 이 때, 각 <math>\nabla</math>에 대해 이 등식이 성립하는 <math>A</math>는 유일하기 때문이다. 또 다른 이유는, 선형 다발의 접속의 국소 형식을 기호 <math>A_{\alpha}</math> 나타내기 때문이다. <math>A_{\alpha}</math>는 또한 전자기학에서 전자기 포텐셜을 나타내는 기호 <math>A</math> 때문이다. 어떤 때에는 기호 <math>\omega</math>도 접속 형식을 나타낼 때 쓰인다. 이 경우는 보통 주접속을 다룰 때이고, 이 때 <math>\omega</math>는 보통, 국소적 접속 형식보다는, 주다발의 전공간 위의 대역적 접속 제 1형식 <math>\omega \in \Omega^1(P, \mathfrak{g})</math>을 뜻한다. 이 규약은 기저 다양체 <math>X</math>가 켈러 다양체인 경우 켈러 형식을 나타내는 기호 <math>\omega</math>와 중복되기 때문에, 수학 서술에서는 잘 사용하지 않는다.
* 기호 <math>\nabla</math>는 미분 연산자로서 선형 다발 위의 접속을 나타낸다. 또한 공변 도함수 <math>\nabla_X</math>를 나타낼 때도 쓰인다. <math>A\in \mathcal{A}</math>, <math>D_A</math>, <math>d_A</math> 등의 선택에 따라 공변 도함수가 달라지는 점을 강조하려고 <math>\nabla_A</math>를 쓰기도 한다.
* 연산자 <math>d_A</math>는 접속 <math>A</math>의 공변 외미분을 나타낼 때 가장 많이 쓰인다. 또는 접속 <math>\nabla</math>에 대해 <math>d_{\nabla}</math>로 나타내기도 한다. 0차 공변 외미분은 공변 도함수와 같기 때문에, 접속 또는 공변 도함수를 <math>\nabla</math>대신 <math>d_A</math>로 나타내기도 한다.
* <math>F_A</math> 또는 <math>F_{\nabla}</math>는 접속의 곡률을 나타낸다. 이 접속이 <math>\omega</math>로 표기되는 경우 이 접속의 곡률은 <math>F_{\omega}</math> 보다는 <math>\Omega</math>로 표기한다. <math>R</math>, <math>R_A</math>, <math>R_{\nabla}</math> 등과 같은 다른 표기법들은 <math>R</math>로 표기하는 리만 기하학의 리만 곡률 텐서에서 유래되었다.
* <math>H</math>는 주다발 접속 또는 에레스만 접속이 수평 분포 <math>H\subset TP</math>위에 위치함을 강조할 때 이 접속들을 나타내는 기호로 사용한다. 이 경우, <math>H</math>에 대응되는 수직 사영 연산자는 보통 <math>\omega</math>, <math>v</math>, <math>\nu</math> 등으로 표기한다. 이 표기법을 사용 할 때는 접속의 곡률은 <math>F_H</math>로 표기한다.
* 리 대수 인접 다발은 보통 <math>\operatorname{ad}(P)</math>로 표기하고 리 군 인접 다발은 <math>\operatorname{Ad}(P)</math>로 표기한다. T이 표기법은 리 군론의 표기법과 잘 맞지 않는다. 왜냐면 리 군론에서는 <math>\operatorname{Ad}</math>가 <math>\mathfrak{g}</math>위에서 <math>G</math>의 표현을 나타내고,  <math>\operatorname{ad}</math>가 <math>\mathfrak{g}</math>위에서 [[리 대수|리 괄호]]를 이용한 <math>\mathfrak{g}</math> 자신의 [[리 대수의 표현|리 대수 표현]]을 나타내기 때문이다.

=== 수학적 게이지 이론 용어들과 물리적 게이지 이론 용어들의 관계 ===
게이지 이론의 수학적 및 물리적 분야는 동일한 대상에 대한 연구를 포함하지만 다른 용어를 사용하여 설명한다. 다음은 이러한 용어가 서로 어떻게 관련되어 있는지 요약한 것이다.
{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+수학적 게이지 이론과 물리적 게이지 이론의 개념 비교
! 수학
! 물리학
|-
| 주다발
| 인스탄톤 섹터 또는 차지 섹터
|-
| 구조 군
| 게이지 군 또는 국소 게이지 군
|-
| 게이지 군
| 대역적 게이지 변환 군 또는 대역적 게이지 군
|-
| 게이지 변환
| 게이지 변환 또는 게이지 대칭
|-
| 국소 자명화의 변화
| 국소 게이지 변환
|-
| 국소 자명화
| 게이지
|-
| 국소 자명화를 선택한다
| 게이지를 고정한다
|-
| 접속 공간에 정의된 함수
| 게이지 이론의 라그랑지안
|-
| 게이지 변환에 대해 대상이 바뀌지 않는다.
| 게이지 불변성
|-
| 접속에 대해 공변적으로 일정한 게이지 변환
| 대역적 게이지 대칭성
|-
| 접속에 대해 공변적으로 일정하지 않은 게이지 변환
| 국소적 게이지 대칭성
|-
| 접속
| 게이지 장 또는 게이지 포텐셜
|-
| 곡률
| 게이지 장의 세기 또는 장의 세기
|-
| 연관된 다발 위에서 유도된 접속/공변 도함수
| 최소 결합
|-
| 연관된 선형 다발의 단면
| 물질 장
|-
| 여러 다른 양을 포함하는 라그랑주 함수의 항
(예: 연관된 다발의 단면에 적용된 공변 도함수 또는 두 항의 곱)
| 상호 작용
|-
| 실 또는 복소(보통 자명한) 선다발의 단면
| (실수 또는 복소수) 스칼라 장
|-
|}
이 사전의 실증으로, [[양자 전기역학|양자전기역학]]의 라그랑지안 밀도에서 전자-위치 입자장과 전자기장의 상호작용 항을 고려하라:<ref>Peskin, Michael; Schroeder, Daniel (1995). An introduction to quantum field theory (Reprint ed.). Westview Press. {{ISBN|978-0201503975}}.</ref>

: <math>\mathcal{L} = \bar\psi(i\gamma^\mu D_\mu - m)\psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu},</math>

수학적으로 이를 다음과 같이 다시 쓸 수 있다:

: <math> \mathcal{L}= \langle \psi, ({D\!\!\!\!/}_A - m) \psi \rangle_{L^2} + \|F_A\|_{L^2}^2 </math>

여기서 <math>A</math>는 <math>\operatorname{U}(1)</math>-주다발 <math>P</math>에 대한 접속이다. <math>\psi</math>는 연관된 스피너 다발의 단면이며, <math>{D\!\!\!\!/}_A</math>는 이 연관된 다발 위의 유도된 공변 도함수 <math>\nabla_A</math>의  [[디랙 연산자]]이다. 첫 번째 항은 스피너 장(전자-양전자를 나타내는 장)과 게이지 장(전자기 장를 나타냄) 사이의 라그랑지안에서 상호 작용하는 항이다. 두 번째 항은 전자기장 (접속 <math>A</math>)의 기본적인 상호작용 하지 않는 성질들을 묘사한다. 형식 <math>\nabla_A \psi</math> 항은 물리학에서 최소 결합이라고 하는 것의 한 예이다. 이는, 물질 장 <math>\psi</math>와 게이지 장 <math>A</math> 사이의 가장 단순한 상호작용이다.

== 양-밀스 이론 ==
양-밀스 이론은 수학적 게이지 이론에서 발생하는 주요한 이론이다. 이 이론에서는 다음과 같이 정의된 '''양-밀스 범함수'''의 [[임계점 (수학)|임계점]]인 접속에 대한 연구를 한다:

: <math>\operatorname{YM}(A) = \int_X \|F_A\|^2 \, d\mathrm{vol}_g.</math>

여기서 <math>(X,g)</math>는 [[부피 형식]] <math>d\mathrm{vol}_g</math>와 인접 다발 <math>\operatorname{ad}(P)</math>에 대한 <math>L^2</math>-norm인 <math>\| \cdot \|^2</math>가 주어진 향을 줄 수 있는 [[리만 다양체]]다. 이 범함수는 접속 <math>A</math>의 곡률의 <math>L^2</math>-norm의 제곱이다. 따라서 이 범함수의 임계점인 접속은 곡률이 최소인 접속이다.

이러한 임계점들은, 연관된 [[오일러-라그랑주 방정식]]에 해당하는 '''양-밀스 방정식'''

: <math>d_A \star F_A = 0</math>

의 해로 특징 지어진다. 여기서 <math>d_A</math>는 <math>\operatorname{ad}(P)</math> 위에서 정의된 <math>\nabla_A</math>의 유도된 공변 외미분이다.   그리고 <math>\star</math>는 [[호지 쌍대|호지 별 연산자]]이다. 이러한 해를 '''양-밀스 접속'''이라고 하며, 기하학적으로 중요하다.

비앙키 항등식에 따라 모든 접속에 대해 <math>d_A F_A = 0</math>이다. [[미분 형식]]에 대한 유추에 의해 조화 형식 <math>\omega</math>는 다음 조건으로 특징 짓는다:

: <math>d \star \omega = d \omega = 0.</math>

다음과 같은 조건

: <math>d_A \star F_A = d_A F_A = 0</math>

으로 조화 접속을 정의하면, 양-밀스 접속에 대한 연구는 본질적으로 조화 형식의 연구와 비슷하다. [[호지 이론]]에서, 모든 [[드람 코호몰로지]]류 <math>[\omega]</math>의 유일한 조화 대표원을 얻는다. 코호몰로지류를 게이지 궤도 <math>\{u\cdot A \mid u\in \mathcal{G}\}</math>로 대체 하면, 양-밀스 접속에 대한 연구는 몫 공간<math>\mathcal{A}/\mathcal{G}</math>에서 각 궤도에 대한 고유한 대표원을 찾는 것으로 볼 수 있다.

=== 자기 쌍대성 및 반 자기 쌍대성 방정식 ===
4차원에서 호지 별 연산자 <math>\star: \Omega^2(X) \to \Omega^2(X)</math>는 제 2형식을 제 2형식으로 보내고 <math>\star^2 = \operatorname{Id}</math>이다. 따라서 제 2형식들에 작용하는 호지 별은 고유값 <math>\pm 1</math>을 갖는다. 향을 줄 수 있는 4차원 [[리만 다양체]]에서 정의된 제 2형식은 다음과 같이 각각 호지 스타 연산자의 <math>+1</math>과 <math>-1</math> 고유 공간에 대응되는 '''자기 쌍대''' 및 '''반 자기 쌍대''' 제 2형식들의 직합으로 분해된다:

: <math>\Omega^2(X) = \Omega_+ (X) \oplus \Omega_-(X)</math>

즉, <math>\star \alpha = \alpha</math>이면 <math>\alpha \in \Omega^2(X)</math>가 자기 쌍대적이고, <math>\star \alpha = -\alpha</math>이면 반 자기 쌍대이며, 모든 제 2형식은 <math>\alpha = \alpha_+ + \alpha_-</math>처럼 자기 쌍대 및 반 자기 쌍대 부분으로 분해 된다.

4차원 다양체를 기저 다양체로 하는 주다발의 접속 <math>A</math>의 곡률이 자기 쌍대 또는 반 자기 쌍대이면, 비앙키 항등식에 의해 <math>d_A \star F_A = \pm d_A F_A = 0</math>이고, 따라서 접속은 자동으로 양-밀스 방정식이 된다. 방정식

: <math>\star F_A = \pm F_A</math>

은 접속 <math>A</math>에 대한 1계 편미분 방정식이다. 따라서, 전체 2계 양-밀스 방정식보다 연구하기 더 간단하다. 방정식 <math>\star F_A = F_A</math>은 '''자기 쌍대 방정식'''이라고 하며, 방정식 <math>\star F_A = -F_A</math>를 '''반 자기 쌍대 방정식'''이라고 한다. 이 방정식들의 해는 각각 '''자기 쌍대 접속'''과 '''반 자기 쌍대 접속'''이다.

=== 차원 축소 ===
''차원 축소'' 과정을 양-밀스 방정식에 적용하는 것은 새롭고 흥미로운 게이지 이론 방정식을 얻는 한 가지 방식이다. 이 과정은 다양체 <math>X</math>(일반적으로 유클리드 공간 <math>X=\mathbb{R}^4</math>)에 대해 양-밀스 방정식을 취하는 것을 포함한다. 그리고 방정식의 해가 병진 또는 다른 대칭 군에서 불변이라는 조건을 추가한다. 이 과정을 통해 양-밀스 방정식은 <math>\mathbb{R}^3</math>의 자기 홀극을 설명하는 [[보고몰니 방정식]], [[리만 곡면]]의 [[힉스 다발]]을 설명하는 히친의 방정식과 실수 구간들에 대한 [[남 방정식]]으로 이어진다. 이 방정식들은 각각 한 방향, 두 방향 및 세 방향으로의 변환 대칭성 조건으로부터 유도된다.

== 1차원 및 2차원 게이지 이론 ==
여기에서는 기저 다양체 <math>X</math>가 낮은 차원 일 때 양-밀스 방정식이 논의된다. 이 설정에서 양-밀스 방정식은, 1차원인 경우에는 제 2형식이 없고 2차원인 경우에는 제 2형식에 대한 호지 별 연산자가 <math>\star: \Omega^2(X) \to C^{\infty}(X)</math>로 작용하기 때문에 아주 단순화된다.

=== 양-밀스 이론 ===
2차원 다양체에서 직접 양-밀스 방정식을 연구할 수 있다. 기저 다양체가 컴팩트 [[리만 곡면]] 일 때, 양-밀스 방정식의 이론은 [[마이클 아티야]] 와 [[라울 보트]]가 연구하였다.<ref name="atiyahbott">Atiyah, M.F. and Bott, R., 1983. The yang-mills equations over riemann surfaces. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 308(1505), pp. 523–615.</ref> 이 경우 복소 선형 다발 <math>E</math>에 대한 양-밀스 접속의 모듈라이 공간은 다양하고 풍부하게 해석되며, 이 이론은 더 높은 차원의 방정식을 이해하는 가장 간단한 경우이다. 이 경우 양-밀스 방정식은 <math>E</math>에 따라 다른 위상 수학적 상수 <math>\lambda(E)\in \mathbb{C}</math>에 대해 다음과 같다:

: <math>\star F_A = \lambda(E) \operatorname{Id}_E.</math>

이러한 접속을 ''사영적으로 평평하다''고 하며, 선형 다발이 위상학적으로 자명한 경우(<math>\lambda(E) = 0</math>), 정확히 평탄 접속이다.

선형 다발의 랭크와 차수가 [[서로소 아이디얼|서로소]]인 경우, 양-밀스 접속의 모듈라이 공간 <math>\mathcal{M}</math>은 매끄러우며, [[심플렉틱 다양체]] 구조를 가지고 있다. 아티야와 보트는 양-밀스 접속이 사영적으로 평평하기 때문에 그들의 홀로노미는 곡면의 기본 군의 사영 유니타리 표현을 제공하므로 이 공간은 리만 곡면의 [[기본군|기본 군]]의 사영 유니타리 표현의 모듈라이 공간인 [[:en:Character_variety|character variety]]과 동등한 설명을 갖는다. 나라심한-세샤드리 정리는 <math>E</math>와 동형인 [[안정 벡터 다발|안정한 정칙 선형 다발]]의 모듈라이 공간으로서 이 표현들의 공간에 대한 대안적인 설명을 제공한다.<ref>Narasimhan, M.S. and Seshadri, C.S., 1965. Stable and unitary vector bundles on a compact Riemann surface. Annals of Mathematics, pp. 540–567.</ref> 이 동형사상을 통해 양-밀스 접속의 모듈라이 공간은 아티야 및 보트의 심플렉틱 구조와 상호 작용하여 콤팩트 켈러 다양체를 만드는 복소 구조를 얻는다.

[[사이먼 도널드슨]]은 양-밀스 접속에서 안정적 정칙 구조로 직접 전달된 나라심한과 세샤드리 정리의 대안적인 증명을 제시했다.<ref>Donaldson, S.K., 1983. A new proof of a theorem of Narasimhan and Seshadri. Journal of Differential Geometry, 18(2), pp. 269–277.</ref> 아티야와 보트는 게이지 군 <math>\mathcal{G}</math>의 작용에 대한 무한 차원 [[운동량 사상]]으로서 극단적인 양-밀스 접속과 선형 다발의 안정성 사이의 친밀한 관계를 밝히기 위해 문제의 이 표현을 사용했다. 곡률 맵에서 제공 <math>A\mapsto F_A</math> 그 자체. 이 관찰은 나라심한-세샤드리 정리를 [[안정점|기하 불변량 이론]]의 켐프-네스 정리의 무한 차원 버전으로 운동량 사상(이 경우 양-밀스 접속)의 norm 제곱의 임계점을 해당 대수적 몫(이 경우 안정적인 정칙 선형 다발)의 안정점에 연결한다. 이 아이디어는 게이지 이론과 복소 기하학에 큰 영향을 미쳤다.

=== 남 방정식 ===
워너 남이 도입한 남 방정식은, 세 방향의 병진 불변성을 이용해 4차원에서 반 자기 쌍대성을 1차원으로 차원 축소해서 얻어진다.<ref>Nahm, W., 1983. All self-dual multimonopoles for arbitrary gauge groups. In Structural elements in particle physics and statistical mechanics (pp. 301–310). Springer, Boston, MA.</ref> 구체적으로, 접속 형식<math>A=A_0 \,dx^0 + A_1 \,dx^1 + A_2 \,dx^2 + A_3 \,dx^3</math>이 <math>x^1, x^2, x^3</math> 좌표에 대해 불변이 되도록 조건을 준다. 이 조건에서, 구간 <math>I\subset \mathbb{R}</math> 위에서 네 가지 행렬들 <math>T_0, T_1, T_2, T_3 \in C^{\infty}(I, \mathfrak{g})</math>에 대한 연립 방정식들 사이에서 남 방정식들은  다음 연립 방정식을 만족한다.

: <math>\begin{cases}
\frac{dT_1}{dt} + [T_0, T_1] + [T_2, T_3] = 0\\
\frac{dT_2}{dt} + [T_0, T_2] + [T_3, T_1] = 0\\
\frac{dT_3}{dt} + [T_0, T_3] + [T_1, T_2] = 0.
\end{cases}</math>

남은 이 연립 방정식의 해가 <math>\mathbb{R}^3</math>의 자기 홀극을 묘사하는 보고몰니 방정식의 해를 구성하는데 쓰일 수 있음을 보였다. 한편, 나이절 히친은 두 문제의 해가 동치임을 보이므로써, 보고몰니 방정식의 해가 남 방정식의 해를 구성하는데 쓰일 수 있음을 보였다.<ref>Hitchin, N.J., 1983. On the construction of monopoles. Communications in Mathematical Physics, 89(2), pp. 145–190.</ref> 도날드슨은 더 나아가, 남 방정식의 해들이 복소 사영 직선 <math>\mathbb{CP}^1</math>에서 자신으로 가는 <math>k</math>차 유리형 사상과 동치임을 보였다. 여기서 <math>k</math>는 대응되는 자기 홀극의 전하이다.<ref>Donaldson, S.K., 1984. Nahm's equations and the classification of monopoles. Communications in mathematical physics, 96(3), pp. 387–408.</ref>

남 방정식에 대한 해의 모듈라이 공간은 초켈러 다양체 구조를 가진다.

=== 히친 방정식과 힉스 다발 ===
[[나이절 히친]]이 도입한 히친 방정식은 4차원의 자기 쌍대 방정식을 두 방향으로 병진 불변성을 부과하여 2차원으로 차원 축소하여 얻어진다.<ref>Hitchin, N.J., 1987. The self‐duality equations on a Riemann surface. Proceedings of the London Mathematical Society, 3(1), pp. 59–126.</ref> 이 조건에서 두 개의 추가 접속 형식 성분 <math>A_3 \,dx^3 + A_4 \,dx^4</math>들은 단일 복소수 값 자기 사상 <math>\Phi = A_3 + i A_4</math>으로 결합될 수 있다. 그리고 이런 식으로 표현될 때 방정식은 [[리만 곡면|공형 불변]]이 되므로 <math>\mathbb{R}^2</math>보다는 콤팩트 리만 곡면 위에서 하는 것이 자연스럽다. 히친의 방정식은 <math>\Phi\in \Omega^{1,0}(\Sigma, \operatorname{End}(E))</math>인 복소 선형 다발 <math>E\to \Sigma</math> 위의 쌍 <math>(A,\Phi)</math>에 대해

: <math>\begin{cases}
F_A + [\Phi, \Phi^*] = 0\\
\bar\partial_A \Phi = 0\end{cases}</math>

이라고 서술한다. 여기서 <math>\bar\partial_A </math>는 <math>d_A</math>의 <math>(0,1)</math> -성분이다. 히친 방정식의 해를 '''히친 쌍'''이라고 한다.

콤팩트 리만 곡면의 양-밀스 방정식에 대한 해는 곡면 군의 사영 ''유니타리'' 표현에 해당하는 반면, 히친은 히친 방정식에 대한 해가 곡면 군의 사영 ''복소수'' 표현에 해당함을 보여주었다. 히친 쌍의 모듈라이 공간은 자연스럽게 켈러 다양체의 구조를 갖는다(다발의 랭크와 차수가 서로소인 경우). 양-밀스 방정식에 대한 아티야와 보트의 관찰의 유사성을 통해 히친은 히친 쌍이 소위 안정적인 힉스 다발에 해당함을 보여주었다. 여기서 힉스 다발은 쌍 <math>(E, \Phi)</math>이다. 여기서 <math>E\to \Sigma</math>는 홀로모픽 선형 다발이고 <math>\Phi :E \to E\otimes K</math>는 리만 곡면 <math>\Sigma</math>의 [[표준 선다발]] 값을 가지는 <math>E</math>의 정칙 자기 사상이다. 이는 무한 차원 운동량 사상 구성을 통해 나타나며, 이 힉스 다발의 모듈라이 공간도 히친 쌍에서 오는 것과는 다른 복소 구조를 가지고 있어 힉스 다발의 모듈라이 공간 <math>\mathcal{M}</math>에서 두 개의 복소 구조로 이어진다. 이들은 결합하여 이 모듈라이 공간을 [[초켈러 다양체]]로 만드는 세 번째 요소를 제공한다.

히친의 작업은 나중에 카를로스 심슨에 의해 광범위하게 일반화되었으며 히친의 방정식에 대한 해과 임의의 켈러 다양체에 대한 힉스 다발 사이의 대응 관계는 [[노나벨의 호지 정리|비가환 호지 정리]]로 알려져 있다.<ref name="Simpson, C.T. 1988. pp. 867">Simpson, C.T., 1988. Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization. Journal of the American Mathematical Society, 1(4), pp. 867–918.</ref><ref>Simpson, C.T., 1992. Higgs bundles and local systems. Publications Mathématiques de l'IHÉS, 75, pp. 5–95.</ref><ref>Simpson, C.T., 1994. Moduli of representations of the fundamental group of a smooth projective variety I. Publications Mathématiques de l'IHÉS, 79, pp.47–129.</ref><ref>Simpson, C.T. Moduli of representations of the fundamental group of a smooth projective variety. II. Publications Mathématiques de L’Institut des Hautes Scientifiques 80, 5–79 (1994). https://doi.org/10.1007/BF02698895</ref><ref>Simpson, C., 1996. The Hodge filtration on nonabelian cohomology. arXiv preprint alg-geom/9604005.</ref>

== 3차원 게이지 이론 ==
=== 자기 홀극 ===
한 방향으로 병진 불변성을 부과하여 양-밀스 방정식을 3차원으로 차원 축소하면 <math>\Phi: \mathbb{R}^3 \to \mathfrak{g}</math>이  행렬족인<ref>Atiyah, Michael; Hitchin, Nigel (1988), The geometry and dynamics of magnetic monopoles, M. B. Porter Lectures, Princeton University Press, {{ISBN|978-0-691-08480-0}}, MR 0934202</ref> 쌍 <math>(A, \Phi)</math>에 대한 보고몰니 방정식이 생성된다.그 방정식은 다음과 같다:

: <math>F_A = \star d_A \Phi.</math>

주다발 <math>P\to \mathbb{R}^3</math>이 구조 군 <math>\operatorname{U}(1)</math>을 가지고 있으며, 보고몰니 방정식에 대한 해는 고전 전자기학에서 [[자기 홀극]]을 설명하는 [[자기 홀극|디랙 자기 홀극]]을 모형화한다. 남과 히친의 연구는 구조 군이 [[특수 유니터리 군|특수 유니타리 군]] <math>\operatorname{SU}(2)</math>일 때 자기 홀극 방정식에 대한 해는 남 방정식에 대한 해에 해당함을 보였으며, 도날드슨의 업적에 의해 이것들은 더 나아가 <math>\mathbb{CP}^1</math>에서 자신으로 가는 <math>k</math>차 유리 사상에 대응함이 보여졌다. 여기서 <math>k</math>는 자기 홀극의 전하이다. 이 전하는, <math>\mathbb{R}^3</math>안에 있는 구 <math>S_R</math> 위에서 다음 쌍 <math>(\Phi, F_A)\in \Omega^2(\mathbb{R}^3)</math>의 적분의  반경 <math>R</math>이 무한대로 갈 때 극한 값으로 정의된다:

: <math> \lim_{R\to \infty} \int_{S_R} (\Phi, F_A) = 4\pi k.</math>

=== 천–사이먼스이론 ===
3차원 천-사이먼스 이론은 [[천-사이먼스 형식]]의 적분에 비례하는 작용 범함수를 갖는 [[위상 양자장론|미분 위상 수학적 양자장 이론]]이다.

: <math>\operatorname{Tr}(F_A \wedge A -\frac{1}{3} A\wedge A \wedge A).</math>

닫힌 3차원 다양체 <math>X</math>에서 천-사이먼스 범함수의 오일러-라그랑주 방정식에 대한 고전적 해는 구조 군 <math>G</math>를 가진 주다발 <math>P\to X</math>의 평탄 접속에 해당한다. 그러나 <math>X</math>의 경계가 있으면 상황이 더 복잡해진다. 천–사이먼스 이론은 [[에드워드 위튼]]이 매듭 불변량인 [[존스 다항식]]을 <math>S^3</math>위에서 <math>\operatorname{SU}(2)</math> 천-사이먼스 이론 안의 [[윌슨 고리|윌슨 루프]]의 [[진공 기댓값|진공 기대값]]으로 표현하는 데 사용되었다.<ref name="wittenknot">Witten, E., 1989. Quantum field theory and the Jones polynomial. Communications in Mathematical Physics, 121(3), pp. 351–399.</ref> 이것은 위상 수학에 대한 새로운 통찰력을 제공하는 게이지 이론 문제의 힘을 확실하게 입증했으며 [[위상 양자장론]]의 초기 사례들 중 하나였다.

고전적인 천-사이먼스 이론의 양자화에서 3차원 다양체 안의 곡면 <math>\Sigma \subset X</math>으로 제한된 주 다발에서 유도된 평면 또는 사영적 평탄 접속을 연구한다. 각 곡면에 해당하는 고전적 상태 공간은 정확히 아티야와 보트가 연구한 양-밀스 방정식의 모듈라이 공간이다.<ref name="atiyahbott">Atiyah, M.F. and Bott, R., 1983. The yang-mills equations over riemann surfaces. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 308(1505), pp. 523–615.</ref> 이 공간들의 [[기하학적 양자화]]는 [[나이절 히친]]과 Axelrod-Della Pietra-위튼에 의해 독립적으로 이루어졌으며, 구조 군이 복소적인 경우 구성 공간은 힉스 다발의 모듈라이 공간이 된다. 이 양자화는 위튼이 하였다.<ref>Hitchin, N.J., 1990. Flat connections and geometric quantization. Communications in mathematical physics, 131(2), pp. 347–380.</ref><ref>Axelrod, S., Della Pietra, S. and Witten, E., 1991. Geometric quantization of Chern–Simons gauge theory. representations, 34, p. 39.</ref><ref>Witten, E., 1991. Quantization of Chern-Simons gauge theory with complex gauge group. Communications in Mathematical Physics, 137(1), pp. 29–66.</ref>

=== 플뢰어 호몰로지 ===
[[안드레아스 플로어|안드레아스 플뢰어]]는 유한 차원에서 [[모스 호몰로지]]와 비슷하게 정의된 3차원 다양체에 대한 호몰로지 유형을 도입했다.<ref>Floer, A., 1988. An instanton-invariant for 3-manifolds. Communications in mathematical physics, 118(2), pp. 215–240.</ref> 이 호몰로지 이론에서 모스 함수는 구조 군 <math>\operatorname{SU}(2)</math>를 가지는 3차원 다양체 <math>X</math>위의 주다발의 접속들의 공간에서 정의된 천–사이먼스 범함수이다. 임계점은 평탄 접속이며, 흐름선은 두 경계 요소의 임계 평탄 접속으로 제한된 <math>M\times I</math> 위의 양-밀스 순간자로 정의된다. 이는 '''순간자 플뢰어 호몰로지'''로 이어진다. 아티야–플뢰어 추측은 순간자 플뢰어 호몰로지가, <math>X</math>의 히가드 분할을 정의하는 곡면 <math>\Sigma\subset X</math>의 평탄 접속의 모듈라이 공간의 [[플뢰어 호몰로지|라그랑주 교차 플뢰어 호몰로지]]와 일치한다고 주장한다. 이는 아티야와 보트의 관찰로 인해 심플렉틱이다.

순간자 플뢰어 호몰로지과 비슷하게, 순간자가 [[자이베르그-위튼 불변량|자이베르그–위튼 방정식]]의 해로 대체되는 [[플뢰어 호몰로지|자이베르그–위튼 플뢰어 호몰로지]]를 정의할 수 있다. 클리포드 타우베스의 업적에 의해 이것은 매장된 접촉 호몰로지와, 후속적으로 히가드 플뢰어 호몰로지에 대해 동형인 것으로 알려져 있다.

== 4차원 게이지 이론 ==
게이지 이론은 4차원에서 가장 집중적으로 연구되어 왔다. [[표준 모형|입자 물리학의 표준 모형]]이 4차원 [[시공간]]에서 [[양자장론]]으로 생각할 수 있기 때문에, 4차원에서 수학적 게이지 이론은 물리학적 게이지 이론과 상당히 겹친다. 4차원 게이지 이론 문제에 대한 연구는 자연스럽게 [[위상 양자장론]]으로 이어진다. [[위상 양자장론]]은 배경이 되는 4차원 리만 다양체에 주어진 리만 계량의 변화에 민감하지 않은 물리학적 게이지 이론이므로, 다양체의 미분 위상 수학적 불변량을 정의하는 데 사용할 수 있다.

=== 반 자기 쌍대 방정식 ===
4차원에서 양-밀스 방정식은 향을 줄 수 있는 4차원 리만 다양체 <math>X</math>를 기저 다양체로 하는 주다발 <math>P\to X</math>의 접속 <math>A</math>에 대한 1차 반자기 쌍대 방정식 <math>\star F_A = -F_A</math>으로 단순화 된다.<ref name="donaldsonkronheimer">Donaldson, S.K., Donaldson, S.K. and Kronheimer, P.B., 1990. The geometry of four-manifolds. Oxford University Press.</ref> 양-밀스 방정식에 대한 이러한 해는 양-밀스 범함수의 절대 최소값을 나타내며, 더 높은 임계점은 반 자기 쌍대 접속에서 발생하지 ''않는'' 해 <math>d_A \star F_A = 0</math>에 해당한다. 반 자기 쌍대 방정식에 대한 해의 모듈라이 공간 <math>\mathcal{M}_P</math>에서 배경 4차원 다양체에 대한 유용한 불변량을 도출할 수 있다.
[[파일:Donaldson's_Theorem_cobordism.png|오른쪽|섬네일| 도날드슨 정리에서 반 자기 이중 접속의 모듈라이 공간에 의해 주어진 [[보충 경계]].]]
이 이론은 <math>X</math>가 [[단일 연결 공간]]인 경우에 가장 효과적이다. 예를 들어, 이 경우 도날드슨 정리는 4차원 다양체가 음의 정부호 교차 형식(4차원 다양체)을 갖고 주 다발이 구조 군 <math>\operatorname{SU}(2)</math>을 갖고 [[천 특성류]] <math>c_2(P) = 1</math>을 가진다면, 모듈라이 공간 <math>\mathcal{M}_P</math>은 5차원이며 <math>X</math> 자신과 <math>\mathbb{CP}^2</math>들 <math>b_2(X)</math>개 분리 합집합 사이에 [[보충 경계]]를 제공한다. 방향이 반대로 된 상태에서. 이는 이러한 4차원 다양체의 교차 형식이 대각화 가능함을 의미한다. E8 다양체와 같이 대각화 불가능한 교차 형식를 갖는 단순 연결 위상 4차원 다양체의 예가 있으므로, 도날드슨 정리는 미분 구조를 부여 할 수 없는 4차원 위상 다양체의 존재를 암시한다. 이것은 위상 구조와 매끄러운 구조가 동등한 2차원 또는 3차원 다양체의 경우와 극명한 대조를 이룬다. 3보다 작거나 같은 차원의 모든 위상 다양체는 유일한 미분 구조를 갖는다.

유클리드 공간 <math>\mathbb{R}^4</math>이 [[기수법|비가산 무한]] 가지의 서로 다른 미분 구조들을 허용함을 보여주기 위해 클리포드 타우베스와 도날드슨이 비슷한 방법을 사용했다. 이는 4차원이 아닌 모든 유클리드 공간이 유일한 미분 구조를 가지고 있다는 사실과 극명한 대조를 이룬다.

이러한 아이디어의 확장은 [[도널드슨 불변량|도날드슨 이론]]으로 이어지며, 이는 접속들의 모듈라이 공간에서 매끄러운 4차원 다양체의 추가적 불변량을 구성한다. 이러한 불변량들은 카렌 울렌백, 타우베스 및 도날드슨이 모듈라이 공간의 향을 줄 수 있음과 콤팩트성을 보여주는 해석학적 작업으로 인해 존재하는 [[기본류]]에 대해 모듈 공간의 [[코호몰로지|코호몰로지 류]]를 계산하여 얻는다.

4차원 다양체가 [[켈러 다양체]] 또는 [[대수 곡면]]이고 주다발이 소멸하는 첫 번째 천 특성류를 가질 때, 반 자기 쌍대 방정식들은 복소 다양체 <math>X</math>의 해밀턴 양-밀스 방정식과 동일하다. 도날드슨과 일반적으로 울렌백 및 야우에 의해 대수 곡면에 대해 입증된 코바야시-히친 대응은 HYM 방정식에 대한 해가 [[안정 벡터 다발|안정적인 정칙 선형 다발]]에 해당한다고 주장한다. 이 작업은 모듈라이 공간과 그 콤팩트화에 대한 대안적인 대수적 설명을 제공했는데, 이는 복소 다양체에 대한 ''준안정'' 정칙 선형 다발의 [[모듈라이 공간]]이 [[사영 다형체]]이고, 따라서 콤팩트하기 때문이다. 이것은 연결의 모듈라이 공간을 콤팩트화 하는 한 가지 방법이 소위 ''준 해밀턴 양-밀스 접속''이라고 하는 준안정 선형 다발에 해당하는 접속을 추가하는 것임을 나타낸다.

=== 자이베르그–위튼 방정식 ===
4차원 공간에서 [[초대칭]]을 연구하는 동안, [[에드워드 위튼]]과 [[나탄 자이베르그]]는 현재 자이베르그–위튼 방정식이라고 하는 접속 <math>A</math>와 스피너 장 <math>\psi</math>에 대한 연립 방정식을 발견했다.<ref name="seibergwitten">Witten, Edward (1994), "Monopoles and four-manifolds.", Mathematical Research Letters, 1 (6): 769–796, arXiv:hep-th/9411102, Bibcode:1994MRLet...1..769W, doi:10.4310/MRL.1994.v1.n6.a13, MR 1306021, archived from the original on 2013-06-29</ref> 이 경우 4차원 다양체는 디터미넌트 선 다발 <math>L</math>과 연관된 스피너 다발 <math>S^+</math>에 대한 스핀<sup>C</sup> 주다발 <math>P</math>를 정의하는 [[스핀 다양체|스핀<sup>C</sup> 구조]]를 허용해야 한다.  여기서 접속 <math>A</math>는 <math>L</math>의 접속이고, 스피너 장 <math>\psi</math>는 <math>\psi \in \Gamma(S^+)</math>. 자이베르그–위튼 방정식은 다음과 같다:

: <math>\begin{cases}
F_A^+ = \psi \otimes \psi^* - \frac{1}{2} |\psi|^2\\
d_A \psi = 0.\end{cases}</math>

자이베르그-위튼 방정식의 해를 자기 홀극이라고 한다. 자이베르그–위튼 방정식에 대한 해의 모듈라이 공간 <math>\mathcal{M}_{\sigma}</math>(여기서 <math>\sigma</math> 스핀 구조의 선택을 나타낸다.)은 자이베르그-위튼 불변량을 유도하는 데 사용된다. 자이베르그-위튼 방정식은 방정식 자체가 해의 모듈라이 공간에 더 나은 특성을 제공하기 위해 약간 섭동 될 수 있다는 점에서 반 자기 쌍대 방정식보다 이점이 있다. 이를 위해 임의의 자기 쌍대 제 2형식을 첫 번째 방정식에 추가한다. 배경 4차원 다양체에서 계량 <math>g</math>의 일반적인 선택과 섭동 제 2형식의 선택에 대해, 해의 모듈라이 공간은 매끄러운 콤팩트 다양체이다. 적당한 조건에서(즉, 다양체 <math>X</math>가 ''단순 유형'' 일 때), 이 모듈라이 공간은 0차원이다. 즉, 유한한 수의 점들의 집합이다. 이 경우 자이베르그–위튼 불변량은 단순히 모듈라이 공간의 점들의 수이다. 자이베르그-위튼 불변량은 도날드슨 불변량과 동일한 결과를 증명하는 데 사용할 수 있지만 더 일반적으로 적용되는 더 쉬운 증명을 사용하는 경우가 많다.

== 더 높은 차원의 게이지 이론 ==
=== 에르미트 양-밀스 방정식 ===
특정 종류의 양-밀스 접속은 켈러 다양체 또는 [[에르미트 다양체]]에 대해 정의된 경우에도 연구될 수 있다. 에르미트 양-밀스 방정식은 4차원 양-밀스 이론에서 발생하는 반 자기 쌍대 방정식을 모든 차원의 에르미트 복소 다양체에 대한 정칙 선형 다발로 일반화한다. 만약에 <math>E\to X</math>가 콤팩트 켈러 다양체 <math>(X,\omega)</math>에 대한 정칙 선형 다발이고, <math>A</math>가  <math>E</math>위의 에르미트 계량 <math>h</math>에 대한 에르미트 접속이면 에르미트 양-밀스 방정식은 다음과 같다:

: <math>\begin{cases}
F_A^{0,2} = 0\\
\Lambda_{\omega} F_A = \lambda(E) \operatorname{Id}_E.
\end{cases}</math>

여기서 <math>\lambda(E)\in \mathbb{C}</math>는 <math>E</math>에 따라 달라지는 위상 수학적 상수이다. 이들은 에르미트 접속 <math>A</math> 또는 해당 에르미트 계량 <math>h</math>와 연관된 천 접속 <math>A</math>에 대한 방정식으로 볼 수 있다. 4차원에서 HYM 방정식은 ASD 방정식과 동일하다. 2차원에서 HYM 방정식은 아티야와 보트가 고려한 양-밀스 방정식에 해당한다. 코바야시-히친 대응은 HYM 방정식의 해가 polystable 정칙 선형 다발과 일치한다고 주장한다. 콤팩트 리만 곡면의 경우 도날드슨이 증명한 나라심한과 세샤드리의 정리에 해당한다. [[대수 곡면]]의 경우 이는 도날드슨에 의해 증명되었으며, 일반적으로 카렌 울렌백과 [[야우싱퉁]]에 의해 증명되었다.<ref name="donhitchinkobayashi">Simon K. Donaldson, Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles, Proceedings of the London Mathematical Society (3) 50 (1985), 1-26.</ref><ref name="uhlenbeckyau">Karen Uhlenbeck and Shing-Tung Yau, On the existence of Hermitian–Yang-Mills connections in stable vector bundles.Frontiers of the mathematical sciences: 1985 (New York, 1985). Communications on Pure and Applied</ref>

=== 예외적 홀로노미 순간자 ===
4차원 다양체의 불변량을 정의하는 양-밀스 방정식의 해의 효율성은 7차원 [[G2 다양체|G<sub>2</sub> 다양체]]와 8차원 [[스핀(7)-다양체|스핀(7) 다양체]]와 같은 예외적인 [[홀로노미]] 다양체를 구별하는 데 도움이 될 수 있다는 관심을 불러일으켰다. 또한 6차원 [[칼라비-야우 다양체|칼라비-야우]] 다양체들 및 준 켈러 다양체들과 같은 관련 구조<ref>S. K. Donaldson and R. P. Thomas. Gauge theory in higher dimensions. In The Geometric Universe (Oxford, 1996), pages 31–47. Oxford Univ. Press,Oxford, 1998.</ref><ref>Simon Donaldson and Ed Segal. Gauge theory in higher dimensions, II. InSurveys in differential geometry. Volume XVI. Geometry of special holonomyand related topics, volume 16 ofSurv. Differ. Geom., pages 1–41. Int. Press,Somerville, MA, 2011.</ref>들을 구별하는데도 도움이 될 수 있다.

=== 끈 이론 ===
[[초끈 이론]] 모델에서 새로운 게이지 이론 문제가 발생한다. 이러한 모델에서 시공간은 4차원의 정규 시공간과 6차원 칼라비-야우 다양체로 구성된 10차원 다양체로 수학적 모델링 된다. 이 이론에서 끈에 작용하는 장은 이러한 고차원 공간의 다발에 존재하며, 이들과 관련된 게이지 이론 문제에 관심이 있다. 예를 들어, 6차원 칼라비-야우 다양체에서 끈의 반경이 0에 접근할 때, 초끈 이론의 자연스러운 장 이론의 극한(소위 ''큰 부피 극한'')은 이 다양체에 대한 에르미트 양-밀스 방정식에 의해 제공된다. 큰 부피 극한에서 벗어나 변형된 [[D-막|에르미트]] 양-밀스 [[위상 끈 이론|방정식]] 거울 대칭은 이러한 방정식에 대한 해가 거울 쌍대 칼라비-야우 다양체의 [[심플렉틱 다양체|특수한 라그랑주 부분 다양체]]에 해당해야 한다고 예측한다.<ref>Leung, N.C., Yau, S.T. and Zaslow, E., 2000. From special lagrangian to hermitian-Yang-Mills via Fourier-Mukai transform. arXiv preprint math/0005118.</ref>

== 같이 보기 ==
* [[게이지 이론|게이지 이론(물리학)]]
* 게이지 이론 소개
* [[게이지 변환군|게이지 군]]
* [[게이지 대칭 (수학)]]
* [[양-밀스 이론]] 
* [[양-밀스 방정식]]

== 참조 ==
<references />

[[분류:미분기하학]]
[[분류:수리물리학]]