보충 경계

두 다양체 ,  사이의 보충 경계 
미분위상수학에서 '''보충 경계'''(補充境界, )는 두 개의 다양체 사이를 잇는, 이들을 경계로 하는 다양체이다.
두 콤팩트 차원 (경계 없는) 매끄러운 다양체 ,  사이의 '''보충 경계'''(補充境界, ) 는 다음과 같은 데이터로 구성된다.
* 는 경계를 가진 차원 콤팩트 매끄러운 다양체이다.
*  및 는 매끄러운 매장이다.
이들은 다음 두 조건을 만족시켜야 한다.
* 이다.
* . 여기서 는 (경계를 가진 다양체의) 경계이다.
두 콤팩트 매끄러운 다양체 사이에 보충 경계가 존재한다면, 두 매끄러운 다양체가 서로 '''보충 경계적'''(補充境界的,)이라고 한다. 주어진 다양체와 보충 경계적인 모든 콤팩트 매끄러운 다양체들의 집합을 '''보충 경계류'''()라고 한다. 공집합 과 보충 경계적인 다양체를 '''공보충 경계적'''(空補充境界的, )이라고 한다.
보충 경계의 정의에서, 가 콤팩트 공간이라는 조건을 가하는 이유는, 그렇지 않으면 모든 다양체 은 을 통해 공보충 경계적이 되어 다양체의 보충 경계류에 대한 분류가 자명해지기 때문이다. 또한, 가 연결 공간일 필요는 없다. 그렇지 않다면, 공보충 경계의 합성이 불가능해지기 때문이다.
보충 경계 동치 관계는 오일러 지표의 홀짝성을 보존한다. 즉, 두 콤팩트 매끄러운 다양체 , 이 보충 경계적이라면, 다음이 성립한다.
:
주어진 차원 의 보충 경계류들은 분리합집합에 대하여 가환 모노이드를 이룬다. (이 경우, 항등원은 공집합이다.) 이는 사실 아벨 군임을 보일 수 있다. 이를 '''보충 경계군'''(補充境界群, )이라고 하고, 으로 표기한다.
모든 차원의 보충 경계군들의 직합
:
위에는 곱공간 연산을 통해 곱을 정의할 수 있다. 이에 따라 은 자연수 등급환을 이루며, 이를 '''보충 경계환'''(補充境界環, )이라고 한다. 보충 경계환에서의 곱셈 단위원은 한원소 공간 이다.
=== 보충 경계성의 필요충분조건 ===
차원의 두 콤팩트 매끄러운 다양체 , 에 대하여, 다음 두 조건이 서로 동치이다.
* 과 은 보충 경계적이다.
* 과 의 모든 슈티펠-휘트니 수가 같다. 즉, 의 임의의 자연수 분할 에 대하여, 다음이 성립한다.
*:
여기서 는 번째 슈티펠-휘트니 특성류이다.
=== 톰 스펙트럼 ===
호모토피 이론을 통해, '''톰 스펙트럼'''이라는 스펙트럼 를 정의할 수 있으며, 그 호모토피 군은 보충 경계군과 동형임을 보일 수 있다.
:
톰 스펙트럼은 구체적으로 다음과 같이 정의된다. 우선, 보편 벡터 다발, 즉 직교군 의 분류 공간 의 연관 다발 을 생각하자. 보편 벡터 다발의 톰 공간을 다음과 같이 표기하자.
:
그렇다면, 톰 스펙트럼은 들로 구성된다.
보충 경계는 수술 또는 모스 이론을 통하여 구성할 수 있다.
=== 수술 ===
원에 수술을 가하면 하나의 원 또는 두 개의 원으로 만들 수 있다.
차원 다양체  속에 매장
:
이 주어졌다고 하자. 그렇다면,
:
이므로, 의 상을 도려내고, 대신 그 구멍을 로 채울 수 있다. 이와 같은 과정을 -'''수술'''(手術, )이라고 한다. 수술을 하여 얻는 다양체를
:
라고 하자.
이와 같은 수술의 '''자취'''()는 다음과 같다.
:
이는 과  사이의 보충 경계를 정의한다. 이와 같이, 수술의 자취로 얻어지는 보충 경계를 '''기본 보충 경계'''(基本補充境界, )라고 한다. 모든 보충 경계는 기본 보충 경계들의 합성으로 얻어진다. (이는 마스턴 모스 · 르네 톰 · 존 밀너가 증명하였다.)
=== 모스 함수 ===
차원 다양체  위의 모스 함수
:
의 임계점 이 주어졌으며, 다른 모든 임계점 에 대하여 라고 하자. 또한, 의 임계점의 모스 지표가 라고 하자., 충분히 작은 에 대하여
:
를 정의할 수 있으며, 이 경우 는 에 대하여 -수술을 가하여 얻어진다. 이 경우
:
은 와  사이의 보충 경계를 이룬다.
=== 연결합과 분리합집합 ===
파일:Pair of pants cobordism (pantslike).svg|섬네일|right|두 개의 원의 분리합집합 은 한 개의 원 과 보충 경계적이다.
임의의 두 차원 콤팩트 매끄러운 다양체 , 이 주어졌다고 하자. 그렇다면, 그 연결합 과 분리합집합 은 서로 보충 경계적이다. 이는 다음과 같이 수술로 구성할 수 있다.
#  속에 을 매장한다.
# 을 도려내고 을 붙인다. 그렇다면, 수술 결과는 연결합 이 된다.
이 수술의 특수한 예로, 두 개의 초구의 분리합집합 은 한 개의 초구 과 보충 경계적이다. 이러한 보충 경계를 대체로 '''바지'''()라고 한다.  (즉, 한 개의 초구인 쪽은 "허리", 두 개의 초구인 쪽은 "다리"가 된다.)
=== 같은 두 다양체의 분리합집합 ===
임의의 콤팩트 매끄러운 다양체 에 대하여, 은 항상 공보충 경계적이다. 구체적으로, 구간과의 곱 은 과 공집합 사이의 보충 경계를 정의한다. 또한,  역시 공보충 경계적임을 알 수 있다.
특히, 초구 는 공보충 경계적이다. 구체적으로, 이 된다 (은 차원 공).
=== 낮은 차원의 보충 경계류 ===
분리합집합은 연결합과 보충 경계적이므로, 콤팩트 곡면의 보충 경계 분류는 연결 콤팩트 곡면만의 분류로 족하다.
==== 0차원 ====
0차원 연결 콤팩트 다양체는 한원소 공간밖에 없다. 이 밖에, 공집합은 0차원 초구 와 보충 경계적이다. 그러나 공집합의 오일러 지표는 0이지만 한원소 공간의 오일러 지표는 1이므로, 이 둘은 서로 보충 경계적이지 않다. 즉, 0차원 보충 경계군은 2차 순환군이다.
:
==== 1차원 ====
1차원 연결 콤팩트 다양체는 원밖에 없다. 이들은 모두 서로 보충 경계적이다. 즉, 구멍이 개 뚫린 구는 와  사이의 보충 경계를 정의한다. 따라서, 1차원에서는 하나의 보충 경계류가 존재하며, 보충 경계군은 자명하다.
:
==== 2차원 ====
파일:Sphere-surgery1.png|섬네일|right|구에 1-수술을 가하면, 두 개의 구의 분리합집합을 얻는다.
파일:Sphere-surgery2.png|섬네일|right|구에 0-수술을 가하면, 수술의 방향에 따라 원환면 또는 클라인 병을 얻는다. 이 그림에서는 원환면을 얻는 경우를 제시하였다. (클라인 병의 경우, 마지막 그림에서 붉은 띠가 원기둥 대신 뫼비우스 띠를 이룬다.)
2차원 연결 콤팩트 곡면은 표준적으로 개의 원환면과 2개 이하의 사영 평면의 연결합으로 나타낼 수 있다. 구 에 0-수술을 가하면 (즉, 를 도려내고 를 붙이면) 수술 방법에 따라 원환면 또는 클라인 병 을 얻는다. 보다 일반적으로, 이를 통해 다음과 같은 보충 경계를 얻을 수 있다.
:
:
따라서, 모든 콤팩트 매끄러운 곡면은 구  또는 사영 평면 과 보충 경계적임을 알 수 있다. 그러나 구와 사영 평면 사이에는 보충 경계가 존재하지 않는데, 이는 구의 오일러 지표는 짝수이지만 사영 평면의 오일러 지표는 홀수이기 때문이다. 즉, 2차원에서 보충 경계류는 오일러 지표의 홀짝성에 의하여 완전히 분류되며, 2차원 보충 경계군은 2차 순환군이다.
:
모든 콤팩트 리만 곡면을 3차원 콤팩트 다양체의 경계로 나타낼 수 있다는 사실은 베스-추미노-위튼 모형에서 중요한 역할을 한다.
==== 3차원 이상 ====
3차원~5차원의 보충 경계군은 다음과 같다.
:
:
:
다시 말해, 모든 3차원 경계 없는 콤팩트 매끄러운 다양체는 4차원 경계 있는 콤팩트 매끄러운 다양체의 경계로 나타낼 수 있다.
보충 경계 이론은 앙리 푸앵카레가 1895년에 호몰로지를 해석적 구조를 사용하지 않고 부분 다양체만으로 정의하려는 시도에서 출발하였다. 푸앵카레는 호몰로지와 보충 경계를 둘 다 정의했지만, 이 둘은 일반적으로 서로 다르다. 이에 대하여 장 디외도네는 다음과 같이 적었다.
이후 레프 폰트랴긴이 보충 경계를 호몰로지와 다른 독자적인 대수적 위상수학적 불변량으로 재도입하있다. 르네 톰은 보충 경계군을 호모토피 이론으로 계산하였다. 이에 대하여 장 디외도네는 다음과 같이 적었다.
이에 따라, 보충 경계 이론이 에일렌베르크-스틴로드 공리에 부합하는 특수 코호몰로지 이론을 이룸이 밝혀졌다. 보충 경계 이론은 이후 히르체브루흐-리만-로흐 정리의 증명과 아티야-싱어 지표 정리의 증명에 사용되어, 대수기하학과 해석학에 응용되게 되었다.
1980년대에 그레임 시걸과 마이클 아티야는 위상 양자장론을 보충 경계 이론을 통해 재정의하였다.
*
* 
* 
* h-보충 경계
* 모스 이론
* 위상 양자장론
* 
* 
* 
* 
* 
* 
* 
* 
분류:대수적 위상수학
분류:미분위상수학