양-밀스 순간자
미분기하학에서, 양-밀스 순간자(楊-Mills瞬間子, )는 4차원 매끄러운 다양체 위의 주다발의 주접속 가운데, 그 주곡률의 호지 쌍대가 스스로의 −1배와 같은 것이다. 양자역학에서, 이는 양-밀스 이론의 특별한 (고전적) 해에 해당하며, 순간자로 해석될 수 있다. 양-밀스 순간자의 모듈러스 공간으로부터 도널드슨 불변량을 정의할 수 있다.
다음이 주어졌다고 하자.
그렇다면, 벡터 값 미분 형식의 공간 formula_6를 정의할 수 있으며, 그 호지 쌍대
를 정의할 수 있다. 물론, formula_9차 미분 형식에 대하여 formula_10이다.
특히, 가운데 차수 (formula_11차) 미분 형식에 대하여, 호지 쌍대는 자기 사상을 이루며, 이 경우 formula_12이다. 만약 formula_13이 짝수일 경우, formula_14의 고윳값은 ±1이 된다. 이에 따라, 가운데 차수 미분 형식의 공간을 호지 쌍대의 고유 공간에 따라 다음과 같이 분해할 수 있다.
여기서 formula_16의 원소는 자기 쌍대 미분 형식(), formula_17의 원소는 반 자기 쌍대 미분 형식()라고 한다. 이에 대한 사영 사상을
라고 표기하자.
다음이 주어졌다고 하자.
그렇다면, formula_28의 천-베유 준동형
을 정의할 수 있으며, formula_25의 천-베유 준동형 아래의 상
를 정의할 수 있다. 이는 천 특성류로 정의되는 특성수이며, 모든 가능한 주다발들에 대하여 그 값들은 어떤 formula_32에 대하여
의 꼴이다. 이 경우, formula_34를 주다발 formula_28의 순간자수()라고 한다. (이는 formula_36 아래 부호의 모호성을 가진다.)
만약 formula_37 (4차원 초구)이며, formula_23가 콤팩트 단순 리 군이라면, formula_39 위의 formula_23-주다발은 순간자수만으로 완전히 분류된다.
다음이 주어졌다고 하자.
그렇다면, formula_28의 주접속들을 생각하자. 연관 벡터 다발
을 정의하면, 주접속 모듈러스 공간은
에 대한 아핀 공간이다. (formula_50는 formula_23의 딸림표현이다.) 주접속 formula_52로부터, 주곡률 formula_53을 정의할 수 있다. formula_25가 양의 정부호 2차 불변 다항식이므로, 이는 formula_50 위의 양의 정부호 내적을 정의한다. 따라서 주곡률의 호지 쌍대를 정의할 수 있다.
주접속 가운데, 그 주곡률이 반 자기 쌍대인 것을 반 자기 쌍대 주접속() 또는 양-밀스 순간자()라고 한다.
반 자기 쌍대 주접속의 모듈러스 공간 formula_56의 접공간은 다음과 같이 묘사할 수 있다. 우선, 반 자기 쌍대 주접속 formula_57이 주어졌을 때, 다음과 같은 짧은 완전열을 정의할 수 있으며, 이를 순간자 변형 복합체(瞬間子變形複合體, )라고 한다.
여기서
순간자 변형 복합체의 (가운데) 코호몰로지 군
은 formula_56의, formula_66에서의 접공간과 표준적으로 동형이다. 그 해석은 다음과 같다. 임의의 formula_67에 대하여,
순간자 변형 복합체의 오일러 지표
를 모듈러스 공간의 가상 차원(假想次元, )이라고 한다. 이는 아티야-싱어 지표 정리를 통해 계산될 수 있으며, 모듈러스 공간의 실제 차원의 하계를 이룬다. 많은 주접속의 경우, 이는 실제 차원과 일치한다.
양-밀스 순간자의 모듈러스 공간 formula_71를 생각하자. 그 위에는 formula_3의 리만 계량 및 formula_24 위의 2차 불변 다항식으로 유도되는 리만 계량이 존재한다.
만약 formula_3이 4차원 유클리드 공간의 콤팩트화라면, 이에 따라 formula_75는 (특이점을 제외하면 국소적으로) 초켈러 다양체를 이룬다. 특히, 그 가상 차원은 항상 4의 배수이다.
4차원 유클리드 공간(의 콤팩트화) 위에서, 게이지 군이 formula_23일 경우, 순간자수가 formula_9인 주다발의 모듈러스 공간의 가상 차원은 아티야-싱어 지표 정리로 계산할 수 있고, 다음과 같다.
이다. 여기서 formula_79는 formula_23의 이중 콕서터 수이다. 모든 순간자들을 평행 이동시킬 수 있고, 이 방향으로는 모듈러스 공간이 평탄하다. 평탄하지 않은 방항으로의 모듈러스 공간 formula_81의 차원은
이다. formula_83와 formula_81 둘 다 초켈러 다양체이다.
4차원 유클리드 공간의 콤팩트화 (즉, 4차원 초구) formula_39 위의 양-밀스 순간자 모듈러스 공간은 formula_86 게이지 이론의 힉스 가지()로 나타낼 수 있다. 이를 통해 순간자를 힉스 가지의 모듈러스로 작도할 수 있다. 이를 ADHM 작도라고 한다. 마이클 아티야, 블라디미르 드린펠트, 나이절 히친, 유리 마닌이 1978년에 3쪽밖에 되지 않는 유명한 논문에 발표하였다.
(반) 자기 쌍대 주접속은 보고몰니-프라사드-소머필드 부등식(, BPS 부등식)을 충족시킨다.
formula_3 위의 부피 형식 formula_88가 리만 계량에 의하여 주어지며, 또한 formula_24 위에 양의 정부호 쌍선형 형식을 이루는 2차 불변 다항식 formula_25이 주어졌다고 하자. (반단순 리 대수의 경우, 이는 킬링 형식에 비례한다.) 이 경우, formula_91 위에 자연스러운 양의 정부호 내적
이 주어진다. 이 내적 아래, 자기 쌍대 2차 미분 형식의 공간과 반 자기 쌍대 2차 미분 형식의 공간은 서로 수직이다.
이에 대한 주곡률의 노름 formula_93을 주접속의 양-밀스 작용()이라고 하며, 이는 양-밀스 이론의 작용이다. 임의의 주곡률
의 (반) 자기 쌍대 성분을 formula_95이라고 하자 (formula_96, formula_97). 그렇다면
이다. 우변은 formula_99의 (어떤 충실한 표현에 대한 연관 벡터 다발의) 2차 천 특성류(의 절댓값)에 비례한다. 즉, 양-밀스 작용은 천 특성류의 절댓값에 의하여 하계를 갖는다. 이를 주접속의 보고몰니-프라사드-소머필드 부등식이라고 한다.
(반) 자기 쌍대 접속의 경우, formula_100 또는 formula_101가 0이므로, 보고몰니-프라사드-소머필드 부등식 부등식이 포화된다. 즉, (반) 자기 쌍대 접속은 양-밀스 작용을 (국소적으로) 최소화시킨다.
예를 들어, formula_102인 경우 이중 콕서터 수는 formula_103이며, 모듈러스 공간의 차원은 formula_104이다. 하나의 순간자(formula_105)인 경우, 이는 다음과 같다.
따라서, 순간자수 1의 모듈러스 공간의 가상 차원은
이다. 만약 순간자수가 formula_9라면, 순간자들이 멀리 떨어져 있을 경우 차원이 formula_114이 되며, 모듈러스 공간의 가상 차원은 일정하므로 이는 순간자들이 서로 가까이 있을 때에도 성립한다.
양-밀스 순간자의 수학적 중요성은 사이먼 도널드슨이 1983년에 지적하였다.