게이지 이론(수학)

Gauge theory (mathematics)

수학, 특히 미분 기하학, 수학적 물리학에서 게이지 이론은 벡터 번들, 주체 번들, 섬유 번들에 대한 연결에 대한 일반적인 연구다. 수학의 게이지 이론은 게이지 대칭을 인정하는 필드 이론인 물리학의 게이지 이론과 밀접하게 연관되어 있는 개념과 혼동해서는 안 된다. 수학 이론에서 수학 이론은 개념이나 현상의 집합에 대한 일반적인 연구를 캡슐화하는 수학적 이론을 의미하지만, 물리적인 의미에서 게이지 이론은 어떤 자연 현상의 물리적 모델이다.

수학에서 게이지 이론은 일반적으로 게이지이론 방정식의 연구와 관련이 있다. 이것들은 벡터 번들이나 주 번들의 연결이나 벡터 번들의 단면을 포함하는 미분 방정식들이며, 따라서 게이지 이론과 기하학적 분석 사이에 강한 연관성이 있다. 이러한 방정식은 종종 물리적으로 의미 있는 경우가 많아 양자장 이론이나 끈 이론에서 중요한 개념에 해당하지만 중요한 수학적인 의의도 가지고 있다. 예를 들어, 양-밀스 방정식은 주요 다발의 연결을 위한 부분 미분 방정식의 시스템이며, 이러한 방정식에 대한 물리학 용액에서 인스턴트온으로 알려진 고전적 이론의 운동 방정식에 대한 진공 해법에 해당한다.

게이지 이론은 매끄러운 다지관의 새로운 불변성 구성, 하이퍼켈러 다지관과 같은 이국적인 기하학적 구조의 구성과 벡터 다발과 일관적인 피복의 모듈리 공간과 같은 대수 기하학에서 중요한 구조에 대한 대체적 설명을 제공하는 데 이용된다는 것을 발견했다.

역사

R4 (x1,x2)-슬라이스에서 BPST 인스턴트온dxxσ1 계수3 여기서 σ3 세 번째 Pauli 행렬(왼쪽 위)이다. dx2⊗σ3 계수(오른쪽 위). 이러한 계수는 이 슬라이스에 대한 g=2,190=1,z=0으로 BPST 인스턴트온 A의 제한을 결정한다. 해당 필드 강도는 z=0(왼쪽 아래)을 중심으로 했다. R4(오른쪽 아래4)의 압축 S에 중심 z가 있는 BPST 인스턴트온의 자기장 강도를 시각적으로 나타낸다. BPST 인스턴트 온은4 R의 양-밀스 방정식에 대한 고전적인 인스턴트온 용액이다.

게이지 이론은 고전적인 전자성을 기술하는 맥스웰 방정식의 공식화만큼 그 기원을 가지고 있는데, 이것은 원 그룹을 구조로 묶은 게이지 이론으로 표현될 수도 있다. Paul Dirac자기 단면체와 상대론적 양자역학에 대한 연구는 다발과 연결이 양자역학의 많은 문제를 표현하는 올바른 방법이라는 생각을 장려했다. 수학적 물리학의 게이지 이론은 소위 양-밀스 게이지 이론에 대한 로버트 밀스천-닝 양의 정석적인 연구와 함께 중요한 연구 분야로 대두되었는데, 이것은 이제 입자 물리학의 표준 모델을 뒷받침하는 근본적인 모델이다.[1]

게이지 이론의 수학적 연구는 4차원의 리만 다지관에 대한 자기이중성 방정식에 대한 마이클 아티야, 이사도어 싱어, 나이젤 히친의 연구에 그 기원을 두고 있다.[2][3] 연구에서는 유클리드 공간에 대한 자기 이중 연결(인스턴트)의 모듈리 공간을 연구하였고, 양의 정수 매개변수인 치수 8 k - 인 것으로 나타났다. 이것이 발견된 사건과 BPST instantons, 4차원의 k=1{\displaystyle k=1}과 그러한 instantons 5매개 변수의 선택에 의해 정의되는 Yang–Mills한 방정식이다.에 진공 솔루션의 물리학자들을 연결, 그 중심 z∈ R4{\displaystylez\in \mathbb{R}^{4}}와 규모 ρ ∈ R>0{\displaystyle. \r {{>8- = 5 5} - 차원 모듈리 공간에 해당된다 BPST 인스턴스(inston)가 오른쪽에 묘사되어 있다.

비슷한 시기에 아티야, 리처드 워드는 복잡한 사영 공간에 대한 self-duality 방정식에 대한 솔루션과 대수 다발 사이의 연결 고리를 발견했다 CP3{\displaystyle \mathbb{CP}^{3}}.[4]또 다른 의미 있는 조기 발견이 개발의 ADHM 건설에 의해 아티야, 블라디미르 드린 펠트, 히친, 특보와 류.리마닌.[5] 이 구조는 순수 선형 대수 에서 R 4 {\{R} 대한 반자기이중 방정식의 해답을 허용했다.

수학적 게이지 이론의 개발을 장려하는 중요한 발전은 1980년대 초에 일어났다. 이때 리만 표면에 대한 양-밀스 방정식에 관한 아티야와 라울 보트의 중요한 연구는 게이지 이론적 문제들이 흥미있는 기하학적 구조를 발생시킬 수 있다는 것을 보여주었고, 무한 차원 모스 지도, 등가변 모스 이론, 게이지 이론과 대수 기하학의 관계 개발에 박차를 가했다.[6] 기하학적 분석에서 중요한 분석 도구는 중요한 콤팩트성 결과를 증명하는 연결과 곡률의 분석 특성을 연구한 카렌 울렌벡에 의해 이 시기에 개발되었다.[7] 이 분야에서 가장 중요한 진보는 사이먼 도날드슨에드워드 비튼의 업적으로 인해 일어났다.

도날드슨은 현재 도날드슨 불변제로 알려진 4개의 다지관의 새로운 불변기를 구성하기 위해 대수 기하학과 기하학적 분석 기법의 조합을 사용했다.[8][9] 이러한 불변제들로, 매끄러운 구조를 인정하지 않는 위상학적 다지관의 존재나, 유클리드 R 에 많은 뚜렷한 매끄러운 구조의 존재와 같은 새로운 결과를 증명할 수 있었다. 이 작품으로 도날드슨은 1986년 필즈상을 받았다.

위튼은 체르누스-시몬스 이론에서 발생하는 양을 3차원으로 묶어 노트의 불변인 존스 다항식(Jones polyomial)과 연관시킴으로써 위상학적 불변성을 기술하는 게이지 이론의 힘을 유사하게 관찰했다.[10] 이 작품과 도날드슨 불변성의 발견은 물론 플로어 호몰로지상의 안드레아스 플로어의 참신한 작품도 위상학적 양자장 이론의 연구에 영감을 주었다.

다지관의 불변성을 정의하기 위한 게이지 이론의 힘이 발견된 이후, 수학 게이지 이론의 분야는 대중적으로 확대되었다. 세이베르크-위튼 불변제, 바파-위튼 불변제 등 더 많은 불변제가 발견되었다.[11][12] 대수 기하학과의 강한 연결은 도날드슨, 울렌벡, 그리고 고바야시-에 있는 신퉁 야우의 연구로 실현되었다.Hitchin 서신은 양-밀스의 안정적인 벡터 묶음 연결과 관련된 것이다.[13][14] 나이젤 히친과 카를로스 심슨힉스 묶음 연구는 게이지 이론에서 발생하는 모듈리 공간은 하이퍼켈러 다지관과 같은 이국적인 기하학적 구조와 히친 시스템을 통한 통합형 시스템과의 연계를 가질 수 있다는 것을 보여주었다.[15][16] 끈 이론거울 대칭에 대한 링크가 실현되었는데, 여기서 게이지 이론은 동질 거울 대칭 추측과 AdS/CFT 대응의 표현에 필수적이다.

기본 관심 대상

게이지 이론에서 기본적인 관심 대상은 벡터 번들과 주요 번들에 대한 연결이다. 이 절에서는 이러한 공사에 대해 간략히 기억하고, 자세한 내용은 해당 공사에 대한 주요 기사를 참조하십시오. 여기서 설명한 구조는 미분 기하학 문헌 내에 표준으로 되어 있으며, 게이지이론적 관점에서 주제에 대한 소개는 도날드슨과 피터 크론하이머의 저서에서 찾아볼 수 있다.[17]

주 번들

동그라미 위에 있는 비경쟁 Z/2Z 기본 번들. 각 섬유에서 어느 점이 +1 또는 -1에 해당하는지 식별할 수 있는 명확한 방법은 없다. 이 번들은 투영 π에 전체적으로 정의된 부분이 없기 때문에 비교가 안 된다.
Möbius E{\}의 프레임 F() 은(는) 비삼위 Z Z{\ -번들 위에 있다.

게이지 이론에서 연구의 중심 대상은 주요 다발과 벡터 다발이다. 연구할 대상의 선택은 본질적으로 임의적인데, 그 사이를 지나갈 수도 있지만, 주된 번들은 게이지 분야를 기술하기 위한 물리적 관점에서의 자연적인 대상이며, 수학적으로 그것들과 연관된 벡터 번들에 대한 해당 연결과 곡률 이론을 더욱 우아하게 암호화한다.

구조 그룹 또는 G -번들 G G -bundle이 있는 주 번들은 5중주 X )로 구성되며, :{\\pi \ : is a smooth fibre bundle with fibre space isomorphic to a Lie group , and represents a free and transitive right group action of on which preserves the fibres, in the sense that for all , ( )= ( ) 모든 대한. P {\ P이고X {\ X 기본 공간이다. Using the right group action for each and any choice of , the map defines a diffeomorphism between the fibre over and the Lie group 부드러운 다지관처럼 플레이 그러나 모든 x{ x {\p_}에 대해 를 자연적으로 선택할 수 없기 때문에 의 섬유들을 Lie 그룹의 구조와 함께 장착할 수 있는 자연적인 방법은 없다

번들의 가장 간단한 예는 G= ( ) )이 원 그룹 때 제시된다. In this case the principal bundle has dimension where . Another natural example occurs when is the frame bundle of the tangent bundle of the manifold , or more gene {\displaystyle X 위에 번들의 번들을 랠리하십시오 이 경우 의 섬유는 일반 선형 그룹 (, R) 에 의해 주어진다

주요 번들은 섬유 묶음이기 때문에, 그것은 국소적으로 제품의 구조를 가지고 있다. 즉, { displaystyle \u 에 대한 개방형 덮개가 존재한다. commuting with the projections and , such that the transition functions defined by satisfy the cocycle condition

on any triple overlap . In order to define a principal bundle it is enough to specify such a choice of transition functions, The bundle is then defined by gluing trivial bundles along the intersections 전환 함수를 사용하여. The cocycle condition ensures precisely that this defines an equivalence relation on the disjoint union and therefore that the quotient space is well-defined. 이것은 섬유다발 구축 정리라고 알려져 있으며, 단순히 주성다발이나 벡터성다발만이 아니라 전환기능에 의해 기술된 어떤 섬유다발에도 동일한 프로세스가 작용한다.

국소 섹션 : \ = (를) 만족하는 {\는) 로컬 사소한 것에도 지정하는 동등한 방법이다. Namely, one can define where is the unique group element such that

벡터 번들

섹션 M 위에 있는 벡터 E

벡터 번들은 트리플 , ,) 이며 여기서 : : 벡터 공간 에 의해 주어지는 섬유 번들로, K = {\ =\은 필드다. 숫자 벡터 번들의 순위다. 다시 말하지만, 벡터 번들에 대한 지역적 설명은 사소한 오픈 커버의 관점에서 볼 수 있다. 이(가) 그러한 표지라면, 이소모르피즘 아래에서는.

는 K displaystyle 좌표 기반 벡터 e , r {\, e_{ 해당하는 로컬 섹션을 구한다 이것들은 방정식으로 정의된다.

따라서 사소한 것을 지정하려면 모든 곳에 선형적으로 된 r r 섹션 컬렉션을 제공하는 것과 동등하며, 이 식을 사용하여 해당 이형성을 정의한다. 이와 같은 지방 단면 수집을 액자라 한다.

주요 번들과 마찬가지로 함수 : U α (R,K\beta \벡터 번들에 대해 정의된 }\ )

이러한 전환 기능을 사용하여 구조 그룹 (r, ) )과 동일한 파이버를 가진 주 번들에 대한 로컬 단순화를 구성하면, (, ) 의 프레임 번들을 정확히 얻는다 -번들.

관련 번들

Given a principal -bundle and a representation of on a vector space , one can construct an associated vector bundle with fibre the vector space . To define this vector bundle, one considers the right action on the product defined by and defines as the 이 작용에 관한 지분의 공간

전환 기능의 측면에서 관련 번들을 더 간단하게 이해할 수 있다. If the principal bundle has transition functions with respect to a local trivialisation , then one constructs the associated vector bundle using the transition functions }\ .

관련 번들 구성은 단순히 벡터 공간이 아닌 모든 섬유 공간 에 대해 수행될 수 있다 단, : ) 그룹 동형상이다. One key example is the capital A adjoint bundle with fibre , constructed using the group homomorphism defined by conjugation G {\를) 가지고 있음에도 불구하고 Adjoint 번들은 자체에 대한 파이버 번들로서 이형성이거나 둘 다 아니라는 점에 유의하십시오. For example, if is Abelian, then the conjugation action is trivial and will be the trivial -fibre bundle over regardless of whether or not is trivial as a fibre bundle. Another key example is the lowercase a adjoint bundle constructed using the adjoint representation where is the Lie algebra of G.

게이지 변환

벡터 번들 또는 주요 번들의 게이지 변환은 이 물체의 자동형이다. 주요 번들의 경우 게이지 변환은 차이점형 : P 로 구성된다. 투영 연산자 및 올바른 작용 과(와) 통근하는 P\to P. 벡터 번들의 경우 게이지 변환은 유사하게 : E → {\:이(가) 각 섬유에 있는 벡터 공간의 선형 이형성인 투영 연산자 과(와) 통근한다.

The gauge transformations (of or ) form a group under composition, called the gauge group, typically denoted . This group can be characterised as the space of global sections of the adjoint bundle, or in the case of a vector bundle, where denotes the frame bundle.

또한 로컬 게이지 변환을 사소한 오픈 서브셋 에 대한 로컬 번들 이소모르퍼시즘으로 정의할 수 있다 지도 : → G (= ( r, ) G 번들의 경우을 취함) 여기서 유도 번들 이형성은 다음과 같이 정의된다.

벡터 번들의 경우에도 마찬가지로.

동일한 오픈 서브셋 에 걸쳐 주성분 번들의 두 개의 국소적 사소한 국소적 사소한 것이 주어진 점에 유의하십시오 전환 함수는 정확히 국소 게이지 변환 g : \a 즉, 로컬 게이지 변환은 주 번들이나 벡터 번들에 대한 로컬 사소한 현지의 변경이다.

주 번들에 대한 연결

G{\}의 오른쪽 그룹 작업과 호환되려면 주 번들 연결이 필요하다 이를 오른쪽 곱셈 수평 서브스페이스를 서로 가져가는 것으로 시각화할 수 있다. 연결 형식 의 관점에서 해석된 수평 서브 스페이스 P 의 이러한 등각성은 그 특성 등각 특성을 유도한다.
주 번들 연결 형식 은(는) 주 P 접선 번들 에 대한 투영 연산자로 생각할 수 있다 연결 양식의 커널은 관련 에레스만 연결을 위한 수평 하위 공간에 의해 주어진다.

기본 번들에 대한 연결은 s: → P (가) 상수 또는 수평이라는 개념을 포착하기 위해 근처의 섬유들을 연결하는 방법이다. 추상적인 주성분 다발의 섬유는 서로 자연스럽게 식별되지 않거나, 실제로 섬유 G 그 자체로 식별되지 않기 때문에, 어떤 섹션이 일정한지 규정하는 표준적인 방법은 없다. 국소적 사소한 것들의 선택은 가능한 한 가지 선택으로 이어진다. 서 P{\ P(가) {\ 에 대해 사소한 것이라면, = , ) \var }에 대해 일정하다면 국소부문은 수평이라고 말할 수 있다. for all and one . In particular a trivial principal bundle comes equipped with a trivial connection.

In general a connection is given by a choice of horizontal subspaces of the tangent spaces at every point , such that at every point one has 여기서 은(는) = V에 의해 정의된 수직 번들 구조와 호환되어야 한다 이러한 수평적 하위 공간은 오른쪽 그룹 작업 하에서 수평 분포 불변수를 불변하도록 요구하여 주 번들 구조와 호환되어야 한다. = ( )( ) 여기서 : → P denotes right multiplication by . A section is said to be horizontal if where is identified with its image inside , which is a submanifold of 접선 번들 가) 벡터 필드 v ( X ) {\ v\in\Gamma (을(를) 지정하면 ()에 고유한 있다 연결 곡면성은 2-폼에 의해 정의되는 조정 F ∈2 ( , ( ){\^{에 값이 있는 2-폼으로 주어진다.

여기서 [ , 벡터 필드의 Lie bracket이다. Since the vertical bundle consists of the tangent spaces to the fibres of and these fibres are isomorphic to the Lie group whose tangent bundle is canonically identified with , there is a unique Lie algebra-valued two-form (, ) 곡률에 해당함. 프로베니우스 통합성 정리의 관점에서 곡면성은 수평 분포가 통합될 수 없는 정도를 정밀하게 측정하므로, M}이(가) 로컬로 수평 하위 관리형 P{\ 내부에 내장되지 않는 정도를 측정한다.

수평 서브스페이스 선택은 투영 : :(는) 올바른 의미로 이등변하며 연결 원폼이라고 한다. For a horizontal distribution , this is defined by where denotes the decomposition of a tangent vector with respect to the direct sum decomposition . Due to the equivariance, this 투영 원폼은 (, ) , 을(를) 제공하여 Lie 대수 값으로 간주할 수 있다

에 대한 국소적 사소한 부분은 로컬 섹션 : (와) 연결 원폼과 곡면성을 이 부드러운 지도를 따라 뒤로 당길 수 있다. This gives the local connection one-form which takes values in the adjoint bundle of . Cartan's structure equation says that the curvature may be expressed 식에 의한 국소 단형 의 관점에서.

여기서 Lie 대수다발 (P) 에 Lie 브래킷을 사용하며, g

국소 게이지 g: → G g A~ =( g s) ∗{ 로컬 연결 단형이 식에 의해 변환됨

where denotes the Maurer–Cartan form of the Lie group . In the case where is a matrix Lie group, one has the simpler expression

벡터 번들의 연결

벡터 번들에 있는 연결의 공변량 파생상품은 병렬 운송에서 복구할 수 있다. The values of a section are parallel transported along the path back to , and then the covariant derivative is taken in the fixed vector space, the fibre 위에

벡터 번들의 연결은 Ehresmann 연결로 알려진 위의 주요 번들의 경우와 유사하게 지정될 수 있다. 그러나 벡터 번들 연결은 차동 연산자의 관점에서 더 강력한 설명을 인정한다. 벡터 번들의 연결 -선형 차동 연산자를 선택하는 것이다.

그런

모든 ( ) }( s () 벡터 필드 방향의 s{\}의 공변량 파생 모델은 다음과 같이 정의된다.

오른쪽에서 우리는 ( ) X 사이의 자연스러운 쌍을 사용한다 방향으로 s 의 파생어로 생각되는 새로운 섹션이다 연산자 방향의 공변량 파생 연산자다 곡면성연산자 2( ){\F_{\}\2}(\ {EndE에 의해 정의되며,

현지 사소한 부분화에서 외부 파생상품 은(위에서 논의한 사소한 연결에 대한 주요 번들 그림의 대응) 사소한 연결로 작용한다. 즉, 로컬 e , {\ 중 하나가 정의함

여기서 우리는 국부 섹션 = s 아인슈타인 표기법을 사용했다

Any two connections differ by an -valued one-form . To see this, observe that the difference of two connections is -linear:

특히 모든 벡터 번들은 (단일성과 로컬 사소한 연결의 파티션을 사용하여) 연결을 허용하므로, 벡터 번들의 연결 세트는 벡터 공간 1()^{에 모델링된 무한 차원 아핀 공간의 구조를 가지고 있다 이 공간은 일반적으로 {\로 표시된다

Applying this observation locally, every connection over a trivialising subset differs from the trivial connection by some local connection one-form , = + U α 이 로컬 연결 형태의 경우 곡면성은 다음과 같이 기록될 수 있다.

쐐기 제품이 단일 형태 구성요소에서 발생하며, 하나는 내형성 구성요소에 내형성을 구성한다. 주성분 묶음 이론으로 다시 연결하기 , A= = []{\A\ A}:{2}}[ 오른쪽에 단일 형태의 쐐기 및 내형성 정류자가 수행된다는 점에 유의하십시오.

Under a gauge transformation of the vector bundle , a connection transforms into a connection by the conjugation . The difference where here is acting on the endomorphisms of . Under a local gauge transformation one obtains the same expression

주요 묶음의 경우처럼

유도접속

주 번들의 연결은 관련된 벡터 번들의 연결을 유도한다. 이를 확인할 수 있는 한 가지 방법은 위에서 설명한 로컬 연결 양식에 관한 것이다. Namely, if a principal bundle connection has local connection forms , and is a representation of 연결된 벡터 번들 = V 를) 정의하는 ystyle 그러면 유도 로컬 연결 원폼은 다음에 의해 정의된다.

Here is the induced Lie algebra homomorphism from , and we use the fact that this map induces a homomorphism of vector bundles .

유도 곡면성은 다음과 같이 간단히 정의할 수 있다.

여기서는 Lie g{\{\의 Lie 브래킷이 Lie 대수 호모폴리스 { 내형성 정류자로 보내짐에 따라 곡률에 대한 국소 표현이 주된 번들과 벡터 번들에 어떻게 관련되어 있는지 본다

연결 공간

수학 게이지 이론에서 연구의 중심 대상은 벡터 묶음 또는 주다발에 연결된 공간이다. This is an infinite-dimensional affine space modelled on the vector space (or in the case of vector bundles). A, 은(는) 변환 (가 있는 경우 게이지 등가 같다고 하며 게이지 이론은 게이지 연결부의 게이지 등가 과 관련이 있다. 따라서 어떤 의미에서 게이지 이론은 으로 하우스도르프 공간이나 부드러운 다지관 둘 다 아닌 A/ 의 인용 공간 속성과 관련이 있다.

기본 매니폴드 의 많은 흥미로운 특성은 을(를) 통한 주 번들과 벡터 번들의 연결 모듈리 공간의 기하학 및 토폴로지로 인코딩할 수 있다 도날드슨 불변제 또는 세이버그-위튼 불변제 같은 X 의 불변량은 콤마로 얻을 수 있다. 위에 연결 모듈리 공간에서 파생된 숫자 수량 입력 이 아이디어의 가장 유명한 적용 분야는 도날드슨의 정리인데 도날드슨은 단순히 연결된 4개의 매니폴드 -번들 위에 양-밀스 의 모듈리 공간을 사용하여 교차 형태를 연구한다. 이 작품으로 도날드슨은 필즈상을 받았다.

논설 규약

벡터 번들과 주요 번들의 연결에 사용되는 다양한 개념적 규약이 여기에 요약될 것이다.

  • 문자 은 벡터 번들 또는 주 번들의 연결을 나타내는 데 사용되는 가장 일반적인 기호다. It comes from the fact that if one chooses a fixed connection of all connections, then any other connection may be written for some unique one-form 또한 α {\을(를) 사용하여 벡터 번들에 연결의 로컬 형태를 나타내며, 이후 물리학의 A A에서 비롯된다. Sometimes the symbol is also used to refer to the connection form, usually on a principal bundle, and usually in this case refers to the global connection one-form on the total space of the 해당 로컬 연결 양식이 아닌 주 번들. 이 규칙은 기초 다지관 (가) Kahler 다지관일 을(를) Kahler 양식에 사용하는 것과 종종 충돌하기 때문에 수학적 문헌에서는 일반적으로 피한다.
  • 기호 은(는) 차등 연산자로 벡터 번들의 연결을 나타낼 때 가장 많이 사용되며, 그런 의미에서문자 {\과(와) 바꾸어 사용된다 또한 공변량 파생 연산자x {\대안이 아니다.연결사업자와 공변량 파생상품사업자의 경우 (를) 사용하여 A {\ A {\ 또는 선택에 대한 의존성을 강조한다
  • 연산자 일반적으로 A 외부 공변량 파생상품을 가리킨다(따라서 연결에 d 도 0의 외부 공변량 파생상품이 일반 공변량 파생상품과 동일하기 때문에 연결 또는 공변량 파생상품 자체가 로 표기되는 경우가 많다. A
  • 기호 또는 은(는) 연결의 곡률을 나타낼 때 가장 많이 사용된다. When the connection is referred to by , the curvature is referred to by rather than . Other conventions involve or or , by analogy 으로 표시된 리만 기하학에서 리만 곡률 텐서(Remanian contraction tensor)와 함께
  • 문자 은(는) 수평 분포 {\에 해당하는 수직 투영 연산자( 경우 H P의 연결 단 형태)에 해당하는 주요 번들 연결부 또는 Ehresmann 연결을 나타내는 데 종종 사용된다)는 보통 또는 {{\로 표시된다 이 규칙을 사용하여 곡면성은 때때로 로 표시되며, F 곡률 수 있다. on the total space , or the curvature on the base .
  • The Lie algebra adjoint bundle is usually denoted , and the Lie group adjoint bundle by . This disagrees with the convention in the theory of Lie groups, where refers to the representation G{\ G) 광고 는) Lie 브래킷에 의한 {\Lie 대수표현을 말한다. Lie group 이론에서 결합 작용( ( ) 은 흔히 로 표시된다

수리 및 물리 용어 사전

게이지 이론의 수학적, 물리적인 분야는 같은 물체의 연구를 수반하지만, 그것들을 기술하기 위해 다른 용어를 사용한다. 아래는 이러한 용어들이 서로 어떻게 연관되어 있는지를 요약한 것이다.

수학적 및 물리적 게이지 이론의 개념 비교
수학 물리학
주 번들 인스턴트온 섹터 또는 충전 섹터
구조군 게이지 그룹 또는 로컬 게이지 그룹
게이지 그룹 글로벌 게이지 변환 그룹 또는 글로벌 게이지 그룹
게이지 변환 게이지 변환 또는 게이지 대칭
지역소요화 변경 국소 게이지 변환
지역소급화 게이지
현지 사소한 부분화 선택 게이지 고정
연결 공간에 정의된 기능 게이지 이론의 라그랑지안
게이지 변환의 영향으로 개체가 변경되지 않음 게이지 불변성
연결에 대해 공변량적으로 일정한 게이지 변환 글로벌 게이지 대칭
연결에 대해 공변량이 일정하지 않은 게이지 변환 국소 게이지 대칭
연결 게이지 필드 또는 게이지 전위
곡률 자기장 강도 또는 자기장 강도 측정
관련 번들의 유도 연결/공변량 파생 모델 최소 커플링
관련 벡터 번들의 단면 물질분야
여러 가지 다른 수량을 포함하는 라그랑기 함수의 용어

(예: 관련 번들의 한 섹션에 적용되는 공변량 파생상품 또는 두 항의 곱셈)

상호작용
실제 또는 복잡한(일반적으로 사소한) 라인 번들의 섹션 (실제 또는 복합) 스칼라 필드

이 사전의 시연으로 양자 전기역학의 라그랑지아에서 전자 위치 입자장과 전자기장의 상호 작용 용어를 고려하십시오.[18]

수학적으로 이것은 다시 쓰여질 수 있다.

여기서 (는) 주 ( 1) 번들 은(는) 관련 스피너 번들과 한 섹션이다은(는) 이 관련 번들에 유도된 파생상품induced A {\{A의 유도 Dirac 연산자. 제1항은 스피너장(전자-포시트론을 나타내는 장)과 게이지장(전자장을 나타내는 장) 사이의 라그랑지어(Lagrangian)에서 상호 작용하는 용어다. 두 번째 용어는 전자기장의 기본적인 비접촉 특성(접속 을 설명하는 정기적인 양-밀스 기능이다. 형식의 용어는 물리학에서 최소 결합이라고 하는 것, 즉 물질 분야 과 게이지 필드 사이의 가능한 가장 간단한 상호작용의 예다

양-밀스 이론

수학적 게이지 이론에서 발생하는 지배적인 이론은 양-밀스 이론이다. 이 이론은 양-밀스 기능의 중요지점인 연결에 대한 연구를 포함한다.

where is an oriented Riemannian manifold with the Riemannian volume form and an -norm on the adjoint bundle 이 기능은 연결부 의 곡률의 표준 인 L displaystyle L}}의 제곱이므로 이 기능의 핵심 지점인 연결부는 곡률(또는 {\의 로컬 최소점 이상)이 될 수 있다.

이러한 임계점은 관련 오일러-라그랑주 방정식 양-밀스 방정식의 해결책으로 특징지어진다.

서 d 광고 ( 외부 공변량 파생상품이며, 호지스타 연산자다. 그러한 해결책은 양-밀스 연결이라고 불리며 상당한 기하학적 관심을 가지고 있다.

Bianchi ID는 모든 연결에 대해 A= 라고 주장한다. 차분 형식에 대한 유추에 의해 조화 형식 이(가) 조건에 의해 특징지어진다.

만약 다음과 같은 조건에 의해 조화 연결을 정의한다면

당시 양-밀스 연결에 대한 연구는 조화 형태와 성질이 유사하다. Hodge theory provides a unique harmonic representative of every de Rham cohomology class . Replacing a cohomology class by a gauge orbit , the study of Yang–Mills connections can be seen as trying to find unique representatives 모듈로 게이지 변환의 A/ 에 있는 각 궤도에 대해.

자기 이중성 및 반 자기 이중성 방정식

In dimension four the Hodge star operator sends two-forms to two-forms, , and squares to the identity operator, . Thus the Hodge star operating on two-forms has eigenvalues 와) 방향의 리만 4마니폴드 분할에 대한 2가지 형식(직접 합계)

호지 항성 운영자의+ - eigenspaces가 각각 제공하는 자체 이중반자체 이중형 2-폼으로. That is, is self-dual if , and anti-self dual if , and every differential two-form admits a splitting 자기희생 및 자기희생 방지 부분으로.

4마니폴드 위에 있는 주요 번들에 있는 A{\A}의 곡률이 자체 이중 또는 반 자기 이중인 경우 비앙치 ID =± = 따라서 연결은 자동으로 양-밀스 방정식이 된다. 방정식

A 의 1차 부분 미분 방정식이므로 완전한 2차 양-밀스 방정식보다 연구하기가 더 간단하다 The equation is called the self-duality equation, and the equation is called the anti-self-duality equation, and solutions to these equations are self-dual connections or anti-self-dual connections respectively.

치수축소

새롭고 흥미로운 게이지이론 방정식을 도출하는 한 가지 방법은 치수 감소 과정을 양-밀스 방정식에 적용하는 것이다. 이 프로세스에는 다지관 일반적으로 유클리드 X= R X 위에 양-밀 방정식을 취하고, 방정식의 해법이 변환 또는 기타 대칭의 그룹 하에서 불변성을 보이도록 하는 것이 포함된다. 이 과정을 통해 양-밀스 방정식은 각각 1방향, 2방향, 3방향으로 번역하여 대칭을 부여함으로써 에 단면체를 기술하는 보고몰니 방정식 리만 표면의 힉스다발기술하는 히친 방정식, 그리고 실제 간격으로 기술하는 등식으로 이어진다.

게이지 이론은 1차원 및 2차원

여기에서 베이스 다지관 (가) 저차원일 때의 양-밀 방정식을 논한다. 이 설정에서 방정식은 치수 1에 2형식이 없기 때문에 극적으로 단순화되며, 치수 2에서 2형식에 대한 호지 항성 연산자는 : 2 () → ( ){\ style :\^{2 C

양-밀스 이론

치수 2의 다지관에서 양-밀 방정식을 직접 연구할 수 있다. 염기 다지관이 콤팩트한 리만 표면일 때의 양-밀스 방정식 이론은 마이클 아티야와 라울 보트가 떠돌았다.[6] 이 경우 복잡한 벡터 번들 위에 놓인 양-밀스 연결부의 모듈리 공간은 다양한 풍부한 해석을 인정하며, 이론은 더 높은 차원으로 방정식을 이해하는 가장 단순한 사례로 작용한다. 이 경우 양-밀스 방정식은

for some topological constant depending on . Such connections are called projectively flat, and in the case where the vector bundle is topologically trivial (so ) they are precisely the flat connections.

벡터 번들의 등급과 정도동일할 때 양-밀스 연결부의 모듈리 M 이 매끈하고 자연적인 구조로 되어 있는 것이 특징이다. Atiyah와 Bott는 양-밀스 연결부가 계획적으로 평평하기 때문에, 이들의 홀노미는 표면의 기본 집단을 투사적으로 나타내기 때문에, 이 공간은 리만 표면의 투사적 단일 집단의 모듈리 공간과 동등한 설명을 가지고 있다고 관찰했다.품종의 Narasimhan과 Seshadri의 정리는 원활하게 E{E\displaystyle}.[19]에 이 동형 이성을 통해 동형이 안정적인 적인. 벡터 다발의moduli 공간으로 이 공간에 대한 묘사의 대안을 설명한다 Yang–Mills 연결의moduli 공간 월며 상호 작용하는 복잡한 구조, 얻게 된다.es아티야와 보트의 ympectic 구조로 컴팩트한 Kahler 다지관이다.

사이먼 도날드슨은 양-밀스 연결에서 안정적 홀로모르픽 구조로 직접 전달된 나라시만과 세샤드리 정리의 대체 증거를 제시했다.[20] 아티야와 보트는 지도 Acurvature 게이지 G }의 작용을 위한 무한 차원 모멘트 맵으로서, 이 문제의 개조를 이용하여 극한 양-밀스 연결부와 벡터 번들의 안정성 사이의 친밀한 관계를 조명했다 A 그 자체. 이 관찰은 기하불변성 이론으로부터 일종의 무한 차원 버전의 켐프-네스 정리(Narasimhan-Seshadri)를 구하며, 모멘트 지도(이 경우 양-밀스 연결)의 표준 제곱 임계점들을 해당 대수적 지수(이 경우 안정적 홀로모르픽)의 안정점들에 관련시킨다. 벡터 번들). 이 아이디어는 이후 게이지 이론과 복잡한 기하학에 큰 영향을 끼쳤다.

옴 방정식

베르너 나옴이 도입한 나옴 방정식은 3방향으로 변환불변성을 부과함으로써 4차원에서 1차원으로 반자기이중성의 치수축소로 얻어진다.[21] 구체적으로는 연결 형태 = 0+ x + d 2 + A 를 요구한다. does not depend on the coordinates . In this setting the Nahm equations between a system of equations on an interval for four matrices 등식의 3배를 만족함

이러한 방정식의 해법(일반적인 미분방정식의 체계인 만큼 상당히 쉽게 얻을 수 있는 것)을 3{\ ^{에 단면체를 기술한 보고몰니 방정식의 해법 구축에 사용할 수 있다는 것이 Nhm에 의해 밝혀졌다Nigel Hitchin은 보고몰니 e에 대한 해법들을 보여주었다.해답은 Nahm 방정식에 대한 해답을 만드는 데 사용될 수 있으며, 두 문제에 대한 해답은 동등하다는 것을 보여준다.[22] 또한 Donaldson은 Nahm 방정식에 대한 해결책이 복잡한 투사선 C 부터 그 자체까지의 도 {\k}의 합리적인 지도와 동등하다는 것을 보여주었고, 서 k{\ 해당 자기 단극의 전하였다.[23]

Nahm 방정식에 대한 용액의 모듈리 공간은 하이퍼켈러 다지관의 구조를 가지고 있다.

히친 방정식과 힉스 묶음

니겔 히친이 도입한 히친 방정식은 번역 불변제를 2방향으로 부과하여 4차원에서 2차원으로 자기이중 방정식의 치수 감소로 얻는다.[24] In this setting the two extra connection form components can be combined into a single complex-valued endomorphism , and when phrased in this way the equations become conformally invariant and therefore are natural to study on a compact Riemann surface rather than . Hitchin's equations state that for a pair on a complex vector bundle where that

여기서 (11)의 으로 d{\ 히친 방정식의 해법은 히친 쌍이라고 한다.

콤팩트한 리만 표면의 양-밀스 방정식에 대한 해법은 표면 집단의 투사적 단일 표현에 해당하지만, 히친의 방정식에 대한 해법은 표면 집단의 투사적 복합 표현에 해당한다는 것을 보여주었다. 히친 쌍의 모듈리 공간은 자연적으로 (다발의 등급과 정도가 동일할 때) 케흘러 다지관의 구조를 가지고 있다. Through an analogue of Atiyah and Bott's observation about the Yang–Mills equations, Hitchin showed that Hitchin pairs correspond to so-called stable Higgs bundles, where a Higgs bundle is a pair where is a holomorphic vector bundle and is a holomorphic endomorphism of with values in the canonical bundle of the Riemann surface . This is shown through an infinite-dimensional moment map construction, and this moduli space of Higgs bundles also has a complex structure, which is different to 힉스 번들의 M 모듈리 상의 두 개의 복잡한 구조로 이어지는 것. 이것들이 합쳐져서 이 모듈리 공간을 하이퍼켈러 다지관으로 만든다.

히친의 작품은 그 후 카를로스 심슨에 의해 크게 일반화되었고, 임의의 케흘러 다지 위에 있는 히친의 방정식과 힉스 다발들에 대한 해결책 사이의 대응은 비아벨리안 호지 정리라고 알려져 있다.[25][26][27][28][29]

게이지 이론 3차원

단면체

The dimensional reduction of the Yang–Mills equations to three dimensions by imposing translational invariant in one direction gives rise to the Bogomolny equations for a pair where is a family of matrices.[30] 방정식은

주 번들 3 U ){\1)이 있는 경우, 보고몰니 방정식에 대한 해답은 고전 전자기학에서 자기 단극을 설명하는 디락 단극 모델이다. Nahm과 Hitchin의 연구는 구조군이 특수한 SU ( 2 (2) 방정식에 대한 용액은 Nahm 방정식에 대한 용액에 해당하며, 의 작업으로 이것들은 C P 의 합리적인 지도에 더 부합한다는 것을 보여준다.} 1} 도 자체로, k 단극의 전하. 이 충전은 한계로 정의된다.

of the integral of the pairing over spheres in of increasing radius .

체르-시몬스 이론

3차원의 체르-시몬스 이론은 체르-시몬스 양식의 적분에 비례하는 작용 기능을 갖는 위상학적 양자장 이론으로, 3차원으로 정의된다.

닫힌 3-manifold X 에서 체르-시몬스 기능의 오일러-라그랑주 방정식에 대한 고전적 해결책은 G → X X의 평면 연결에 해당한다 X 의 경계가 복잡해진다.ga.의 힘을. Chern–Simons 이론 에드워드 위튼에 의해 윌슨 고리 SU에서 진공을 기대 값 ⁡은three-sphere S3{\displaystyle S^{3}에(2){\displaystyle \operatorname{SU}(2)}Chern–Simons 이론}의 측면에서, 존스 다항식, 매듭 invariant를 표현하는 데 사용되 .[10]이것은 극명한 시위uge 위상에 새로운 통찰력을 제공하기 위한 이론적 문제들 그리고 위상학적 양자장 이론의 첫번째 예들 중 하나이다.

고전적인 체르-시몬스 이론의 정량화에서, 한 사람은 3-매니폴드 내의 표면 σ X X에 제한된 주요 번들에 유도된 평면 또는 투사적으로 평면 연결을 연구한다. 각 표면에 해당하는 고전적 상태 공간은 정확하게 아티야와 보트가 연구한 양-밀스 방정식의 모듈리 공간이다.[6] 이들 공간의 기하학적 정량화니겔 히친과 악셀로드-델라 피에트라-위튼이 독자적으로 달성하였으며, 구조군이 복잡한 경우 구성 공간은 힉스 다발의 모듈리 공간이며 그 정량화는 위튼이 달성하였다.[31][32][33]

플로어 호몰로지

안드레아스 플로어유한차원의 모스 호몰로지(Morse homology)와 유사하게 정의한 3-매니폴드에 호몰로지(homology)의 유형을 소개했다.[34] 이 호몰로지 이론에서 Morse 함수는 3-manifold 위에 있는 주요 의 연결 공간에Chener-Simons 다. 임계점은 평면 연결이며, 은 M 의 양-밀 인스턴스(instons)로 정의되며, 두 경계 구성요소의 임계 평면 연결로 제한된다. 이것은 인스턴트온 플로어 호몰로지(Inston Floer homology. The Atiyah–Floer conjecture asserts that instanton Floer homology agrees with the Lagrangian intersection Floer homology of the moduli space of flat connections on the surface defining a Heegaard splitting of , which is symplectic due to the observations of Atiyah and Bott.

인스턴트온 플로어 호몰로지(Instanton Floer homology)와 유사하게, 인스턴트온을 세이버그-위튼 호몰로지(Sieberg-Witten 방정식의 솔루션으로 대체하는 경우)를 정의할 수 있다. 클리포드 타우베의 연구로 이것은 임베디드 접촉 호몰로지 및 그 후 히가아드 플로어 호몰로지와의 이형성인 것으로 알려져 있다.

게이지 이론 4차원

게이지 이론은 4차원에서 가장 집중적으로 연구되어 왔다. 여기서 게이지 이론의 수학적 연구는 입자 물리학의 표준 모델을 4차원 스페이스타임양자장 이론으로 생각할 수 있기 때문에 그 물리적 기원과 크게 겹친다. 게이지 이론의 4차원의 문제점에 대한 연구는 위상학적 양자장 이론의 연구로 자연스럽게 이어진다. 그러한 이론은 기초적인 4마니폴드의 리만 메트릭스 변화에 무감각한 물리적 게이지 이론이므로 다지관의 위상학적(또는 부드러운 구조) 불변성을 정의하는 데 사용할 수 있다.

반자기이중 방정식

In four dimensions the Yang–Mills equations admit a simplification to the first order anti-self-duality equations for a connection on a principal bundle over an oriented Riemannian four-manifold .[17] 양-밀스 방정식에 대한 이러한 해결책은 양-밀스 기능의 절대 미니마를 나타내며, 높은 임계점은 d A F = (는) 자체 이중 연결에서 발생하지 않는다. 자기이중성방정식에 대한 해결책의 모듈리 P{\{\을 사용하면 기초적인 4-manifold에 대해 유용한 불변수를 도출할 수 있다.

도날드슨의 정리에서 반자율적 연결의 모듈리 공간에 의해 주어지는 코보르디즘

이 이론은 (가) 간단히 연결되는 경우에 가장 효과적이다. For example, in this case Donaldson's theorem asserts that if the four-manifold has negative-definite intersection form (4-manifold), and if the principal bundle has structure group the special unitary group and second Chern class , then tmoduli space {\(는 5차원이며 X {\ X 자체와P 2 분리 결합을 그 과 함께 한다 이는 그러한 4마니폴드의 교차 형태가 대각선이라는 것을 암시한다. E8 다지관과 같이 단순히 연결된 위상학 4마니폴드(topological four manifolds)와 비대각성 교차로형식의 예가 있으므로, 도날드슨의 정리는 부드러운 구조가 없는 위상학 4마니폴드의 존재를 암시한다. 이는 위상학적 구조와 평탄한 구조가 동등한 2, 3차원과는 극명한 대조를 이룬다: 3 이하의 치수의 위상학적 다지관은 그 위에 독특한 평탄한 구조를 가지고 있다.

유클리드 공간 }{4이(가) 헤아릴 수 없이 많은 뚜렷한 매끄러운 구조를 인정한다는 것을 보여주기 위해 Clipord Taubes와 Donaldson이 유사한 기법을 사용하였다. 이것은 유클리드 공간이 독특한 부드러운 구조를 가지고 있는 4차원 이외의 어떤 차원과는 극명한 대조를 이룬다.

이러한 사상의 확장은 도날드슨 이론으로 이어지며, 도날드슨 이론은 도날드슨 이론으로 이어져, 도날드슨 이론은 그것들 위에 있는 연결의 모듈리 공간으로부터 매끄러운 4마니폴드의 불변성을 더 구축한다. 이러한 불변성들은 기초적인 클래스를 기준으로 모듈리 공간의 코호몰로지 클래스를 평가하여 얻는데, 카렌 울렌벡, 타우베, 도날드슨에 의한 모듈리 공간의 방향성과 콤팩트함을 보여주는 분석 작업으로 인해 존재한다.

4-매니폴드가 케흘러 다지관 또는 대수표면이고 주요 다발이 제1 체르누스 등급이 사라졌을 때, 반자율 은 복합 다지관 에르미타인 양-밀스 과 동등하다 고바야시-Hitchin 서신은 Donaldson에 의해 대수 표면에 대해 증명되었고, Uhlenbeck와 Yau에 의해 일반적으로 HYM 방정식에 대한 해법은 안정적인 홀로모르픽 벡터 번들에 대응한다고 주장한다. 이 연구는 복잡한 다지관 위에 있는 반증성 홀로모르픽 벡터 번들의 모듈리 공간은 투영적인 다양성이며 따라서 콤팩트하기 때문에 모듈리 공간과 그 압축화에 대한 대체 대수학적 설명을 제공했다. 이는 연결 모듈리 공간을 압축하는 한 가지 방법이 반안정 벡터 번들에 해당하는 연결부, 이른바 거의 에르미타인 양-밀스 연결부에 추가하는 것임을 나타낸다.

세이베르크-위튼 방정식

초대칭성의 4차원에서는 그들의 조사를 받는 동안, 에드워드 위튼과 나탄 자이 베르크, A{A\displaystyle}과spinor장을four-manifold prin을 정의하는 SpinC 구조임을 인정해야 한다 이 경우{\displaystyle \psi}.[11]ψ 연관을 방정식은 현재 Seiberg–Witten 방정식이라고 불리는 시스템을 파헤쳐 냈다.cipal 결정력 선 번들 및 연관된 스핀너 S+ S를 포함한 스핀C P 연결 는) 에 있으며, 스피너 필드 ∈ (+ ) (에 있다 세이베르크-위튼 방정식은 다음과 같다.

세이베르크-위튼 방정식에 대한 해법은 단면체라고 불린다. Sieberg-Witten 방정식, {\에 대한 해결책의 모듈리 공간. 여기서 {\displaystyle \ Siberg-Witten 불변성물을 도출하는 데 사용된다. 세이버그-위튼 방정식은 자기 이중성 방정식보다 유리하며, 그 방정식 자체는 용액의 모듈리 공간을 더 잘 제공하기 위해 약간 변형될 수 있다. 이를 위해 첫 번째 방정식에 임의의 자기 이중형 2형식이 추가된다. 기본 4-매니폴드 상의 g {\ g의 일반적 선택과 동요하는 2-폼의 선택을 위해 솔루션의 모듈리 공간은 콤팩트한 부드러운 다지관이다. 양호한 환경(다지관 (가) 단순한 유형인 경우, 이 모듈리 공간은 0차원: 유한한 점 집합이다. 이 경우 세이베르크-위튼 불변성은 모듈리 공간의 포인트 수일 뿐이다. 세이버그-위튼 불변제는 도날드슨 불변제들과 동일한 결과를 많이 증명하기 위해 사용될 수 있지만, 더 일반적인 경우에 적용되는 더 쉬운 증거를 가지고 종종 사용될 수 있다.

게이지이론(Gauge 이론(Gauge 이론)

에르미트 양-밀스 방정식

특정 등급의 양-밀 연결부는 칼러 다지관 또는 에르미트 다지관에 대해 연구할 수 있다. 에르미트 양-밀스 방정식은 4차원 양-밀스 이론에서 발생하는 반자기 이중성 방정식을 에르미트 복합 다지관 위에 있는 홀로모르픽 벡터 묶음으로 일반화한다. (가) 컴팩트 Kahler 매니폴드,)위에 있는 홀로모픽 벡터 번들이고 이(가) 일부 Emitutian 메트릭 에 대한 dmitian 연결이다. 에르미트 양-밀스 방정식은

여기서 ( ) C }은(는) {\E에 따라 위상수이다. 이는 에르미트어 연결 대한 방정식이나 관련 체르어 연결 해당하는 에르미트어 h h에 대한 식으로 볼 수 있다 4차원에서는 HYM 방정식이 ASD 방정식과 동일하다. 2차원에서 HYM 방정식은 아티야와 보트가 고려한 양-밀스 방정식에 해당한다. 고바야시-Hitchin communications는 HYM 방정식의 해법이 다성형 홀모픽 벡터 번들과 일치한다고 주장한다. 콤팩트한 리만 표면의 경우 이것은 도날드슨에 의해 증명된 나라심한과 세샤드리(Seshadri)의 정리다. 대수학적 표면의 경우 도날드슨에 의해 증명되었고, 일반적으로 카렌 울렌벡신퉁 야우에 의해 증명되었다.[13][14] 이 정리는 심슨에 의해 비아벨리안 호지 정리(nonabelian Hodge orges)에 일반화되어 있으며, 사실 ,)의힉스 필드가 0으로 설정되어 있는 특수한 경우다.[25]

예외적인 홀노노미 인스턴스(Holonomy Instantons)

4-매니폴드의 불변성 정의에 있어 양-밀스 방정식의 해결책의 효과는 치수 7의 G2 다지관과 치수 8의 스핀(7) 다지관과 같은 예외적인 홀노믹 다지관과 칼라비-야우 6-매니폴드와 거의 케흘러 마니폴드와 같은 관련 구조물을 구별하는데 도움이 될 수 있다는 관심을 가져왔다.ds.[35][36]

끈 이론

새로운 게이지 이론 문제는 슈퍼스트링 이론 모델에서 발생한다. 그러한 모델에서 우주는 정규 스페이스 시간의 4차원 및 6차원 칼라비로 구성된 10차원이다.야우 다지관. 그러한 이론에서 끈에 작용하는 분야는 이러한 고차원 공간에 걸쳐 다발로 살고 있으며, 이와 관련된 게이지이론적 문제에 관심이 있다. 예를 들어, 칼라비-야우 6배에서 끈 반경이 0(일명부피 한계)에 가까워질 때 슈퍼스트링 이론에서 자연장 이론의 한계는 이 다지관의 에르미타인 양-밀스 방정식에 의해 주어진다. 큰 부피 한계에서 벗어나 슈퍼스트링 이론의 B 모델에서 D-브레인에 대한 운동 방정식을 설명하는 기형적인 에르미트 양-밀스 방정식을 얻는다. 미러 대칭은 이러한 방정식에 대한 솔루션이 미러 이중 칼라비–의 특수 라그랑지아 하위 매니폴드에 대응해야 한다고 예측한다.야우.[37]

참고 항목

참조

  1. ^ 양, C.N.과 밀스, R.L., 1954. 동위원소 스핀 및 동위원소 게이지 불변성 보존 신체검사, 96(1) 페이지 191.
  2. ^ 아티야, 엠에프, 히친, 뉴저지, 싱어, 아이엠, 1977 인스턴트 온의 변형. 국립과학원 회의록, 74(7), 페이지 2662–2663.
  3. ^ 아티야, 엠에프, 히친, 뉴저지, 싱어, 아이엠, 1978. 4차원 리만 기하학의 자기 이중성. 런던 왕립 협회의 의사 진행. A. 수리 및 물리 과학, 362(1711), 페이지 425–461.
  4. ^ 아티야, M.F. 그리고 워드, R.S. 1977. 인스턴트온과 대수 기하학. 수학적 물리학의 통신, 55(2), 페이지 117–124.
  5. ^ 아티야, 엠에프, 히친, 뉴제이, 드린펠드, 브이 지, 마닌, 1978년. 인스턴트 온의 건설. 물리학 글자 A, 65(3), 페이지 185–187.
  6. ^ a b c 아티야, M.F.와 보트, R., 1983. 리만 표면 위의 양밀 방정식들. 런던 왕립 협회의 철학적 거래. 시리즈 A, 수학 및 물리 과학, 308(1505), 페이지 523–615.
  7. ^ Uhlenbeck, K.K., 1982. 곡률에 대한 L p 한계가 있는 연결부. 수학 물리학에서의 통신, 83(1) 페이지 31-42.
  8. ^ 1983년 S.K. 도날드슨. 4차원 위상에 게이지 이론의 적용. 미분 기하학 저널, 18(2), 페이지 279–315.
  9. ^ 1990년, S.K. 도날드슨. 부드러운 4-매니폴드를 위한 다항식 불변제. 위상, 29(3), 페이지 257–315.
  10. ^ a b 1989년 비텐, E. 양자장 이론과 존스 다항식. 수학 물리학에서의 통신, 121(3), 페이지 351–399.
  11. ^ a b 비튼, 에드워드(1994), "모노폴드와 4마니폴드", 수학 연구서, 1: 769–796, arXiv:hep-th/9411102, 비브코드:1994MRLet...1..769W, doi:10.4310/MRL.194.v1.n6.a13, MR 1306021, 2013-06-29의 원본에서 보관됨
  12. ^ Vafa, C. 그리고 Witten, E. 1994. S-이중성의 강한 결합 시험. arXiv 사전 인쇄 hep-th/9408074.
  13. ^ a b 사이먼 K. Donaldson, Anti self-dual Yang-Mills 연결은 복잡한 대수적 표면과 안정적인 벡터 번들, 런던 수학 학회의 Procedures (3) 50 (1985), 1-26.
  14. ^ a b 카렌 울렌벡과 신퉁 야우, 에르미트-양-밀스의 안정적인 벡터 묶음 존재에르미트-양-밀스.수학 과학의 프런티어: 1985년(뉴욕, 1985년) 순수 및 응용에 대한 통신
  15. ^ 뉴저지, 1987년 히친 리만 표면의 자기 이중성 방정식. 런던 수학 협회의 절차, 3(1) 페이지 59–126.
  16. ^ 심슨, 카를로스 T. 힉스 묶음 및 로컬 시스템. 출판사: 수학책IHES, 제75권(1992), 페이지 5-95. http://www.numdam.org/item/PMIHES_1992__75__5_0/
  17. ^ a b 도날드슨, 도날드슨, 도날드슨, 크론하이머, P.B. 4마니폴드의 기하학. 옥스퍼드 대학 출판부
  18. ^ 페스킨, 마이클; 슈뢰더, 다니엘(1995) 양자장 이론(Reprint ed.)의 소개. 웨스트뷰 프레스. ISBN978-0201503975.
  19. ^ 1965년, M.S.의 나라심한과 C.S.의 세샤드리. 컴팩트한 리만 표면에 안정적이고 단일화된 벡터 번들. 수학 연보, 540~567페이지.
  20. ^ 1983년 S.K. 도날드슨. 나라심한과 세샤드리 정리의 새로운 증거. 미분 기하학 저널, 18(2), 페이지 269–277.
  21. ^ 나옴, 1983년 임의 게이지 그룹에 대한 모든 자체 이중 멀티모노폴. 입자물리학 및 통계역학의 구조요소(pp. 301–310)에서. 캘리포니아 주 보스턴의 스프링거
  22. ^ 노스캐롤라이나 주, 1983년 단극의 건설에 관하여. 수학 물리학에서의 통신, 89(2), 페이지 145–190.
  23. ^ 1984년, S.K. 도날드슨. 옴의 방정식과 단면체의 분류. 수학 물리학에서의 통신, 96(3), 페이지 387–408.
  24. ^ 뉴저지, 1987년 히친 리만 표면의 자기 이중성 방정식. 런던 수학 협회의 절차, 3(1) 페이지 59–126.
  25. ^ a b 1988년 C.T. 심슨. 양밀 이론과 응용을 이용한 호지 구조의 변형을 통일화한다. 미국수학학회지, 1(4), 페이지 867–918.
  26. ^ 1992년 C.T. 심슨. 힉스 묶음 및 로컬 시스템. 출판사: 수학책IHES, 75 페이지 5-95.
  27. ^ 1994년 C.T. 심슨. 부드러운 투사적 다양성 I의 기본 집단을 나타내는 모듈리. 출판사: 수학책IHES, 79, 페이지 47–129.
  28. ^ 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
  29. ^ Simpson, C., 1996. The Hodge filtration on nonabelian cohomology. arXiv preprint alg-geom/9604005.
  30. ^ 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
  31. ^ Hitchin, N.J., 1990. Flat connections and geometric quantization. Communications in mathematical physics, 131(2), pp. 347–380.
  32. ^ Axelrod, S., Della Pietra, S. and Witten, E., 1991. Geometric quantization of Chern–Simons gauge theory. representations, 34, p. 39.
  33. ^ Witten, E., 1991. Quantization of Chern-Simons gauge theory with complex gauge group. Communications in Mathematical Physics, 137(1), pp. 29–66.
  34. ^ Floer, A., 1988. An instanton-invariant for 3-manifolds. Communications in mathematical physics, 118(2), pp. 215–240.
  35. ^ 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.
  36. ^ 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.
  37. ^ 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.