보충 경계
미분위상수학에서, 보충 경계(補充境界, )는 두 개의 다양체 사이를 잇는, 이들을 경계로 하는 다양체이다.
두 콤팩트 formula_1차원 (경계 없는) 매끄러운 다양체 formula_2, formula_3 사이의 보충 경계(補充境界, ) formula_4는 다음과 같은 데이터로 구성된다.
이들은 다음 두 조건을 만족시켜야 한다.
두 콤팩트 매끄러운 다양체 사이에 보충 경계가 존재한다면, 두 매끄러운 다양체가 서로 보충 경계적(補充境界的,)이라고 한다. 주어진 다양체와 보충 경계적인 모든 콤팩트 매끄러운 다양체들의 집합을 보충 경계류()라고 한다. 공집합 formula_12과 보충 경계적인 다양체를 공보충 경계적(空補充境界的, )이라고 한다.
보충 경계의 정의에서, formula_5가 콤팩트 공간이라는 조건을 가하는 이유는, 그렇지 않으면 모든 다양체 formula_2은 formula_15을 통해 공보충 경계적이 되어 다양체의 보충 경계류에 대한 분류가 자명해지기 때문이다. 또한, formula_5가 연결 공간일 필요는 없다. 그렇지 않다면, 공보충 경계의 합성이 불가능해지기 때문이다.
보충 경계 동치 관계는 오일러 지표의 홀짝성을 보존한다. 즉, 두 콤팩트 매끄러운 다양체 formula_2, formula_3이 보충 경계적이라면, 다음이 성립한다.
주어진 차원 formula_1의 보충 경계류들은 분리합집합에 대하여 가환 모노이드를 이룬다. (이 경우, 항등원은 공집합이다.) 이는 사실 아벨 군임을 보일 수 있다. 이를 보충 경계군(補充境界群, )이라고 하고, formula_21으로 표기한다.
모든 차원의 보충 경계군들의 직합
위에는 곱공간 연산을 통해 곱을 정의할 수 있다. 이에 따라 formula_23은 자연수 등급환을 이루며, 이를 보충 경계환(補充境界環, )이라고 한다. 보충 경계환에서의 곱셈 단위원은 한원소 공간 formula_24이다.
formula_1차원의 두 콤팩트 매끄러운 다양체 formula_2, formula_3에 대하여, 다음 두 조건이 서로 동치이다.
여기서 formula_35는 formula_36번째 슈티펠-휘트니 특성류이다.
호모토피 이론을 통해, 톰 스펙트럼이라는 스펙트럼 formula_37를 정의할 수 있으며, 그 호모토피 군은 보충 경계군과 동형임을 보일 수 있다.
톰 스펙트럼은 구체적으로 다음과 같이 정의된다. 우선, 보편 벡터 다발, 즉 직교군 formula_39의 분류 공간 formula_40의 연관 다발 formula_41을 생각하자. 보편 벡터 다발의 톰 공간을 다음과 같이 표기하자.
그렇다면, 톰 스펙트럼은 formula_43들로 구성된다.
보충 경계는 수술 또는 모스 이론을 통하여 구성할 수 있다.
formula_44차원 다양체 formula_2 속에 매장
이 주어졌다고 하자. 그렇다면,
이므로, formula_48의 상을 도려내고, 대신 그 구멍을 formula_49로 채울 수 있다. 이와 같은 과정을 formula_50-수술(手術, )이라고 한다. 수술을 하여 얻는 다양체를
라고 하자.
이와 같은 수술의 자취()는 다음과 같다.
이는 formula_2과 formula_3 사이의 보충 경계를 정의한다. 이와 같이, 수술의 자취로 얻어지는 보충 경계를 기본 보충 경계(基本補充境界, )라고 한다. 모든 보충 경계는 기본 보충 경계들의 합성으로 얻어진다. (이는 마스턴 모스 · 르네 톰 · 존 밀너가 증명하였다.)
formula_6차원 다양체 formula_56 위의 모스 함수
의 임계점 formula_58이 주어졌으며, 다른 모든 임계점 formula_59에 대하여 formula_60라고 하자. 또한, formula_61의 임계점의 모스 지표가 formula_62라고 하자., 충분히 작은 formula_63에 대하여
를 정의할 수 있으며, 이 경우 formula_65는 formula_66에 대하여 formula_50-수술을 가하여 얻어진다. 이 경우
은 formula_65와 formula_66 사이의 보충 경계를 이룬다.
임의의 두 formula_1차원 콤팩트 매끄러운 다양체 formula_2, formula_3이 주어졌다고 하자. 그렇다면, 그 연결합 formula_74과 분리합집합 formula_75은 서로 보충 경계적이다. 이는 다음과 같이 수술로 구성할 수 있다.
이 수술의 특수한 예로, 두 개의 초구의 분리합집합 formula_81은 한 개의 초구 formula_82과 보충 경계적이다. 이러한 보충 경계를 대체로 바지()라고 한다. (즉, 한 개의 초구인 쪽은 "허리", 두 개의 초구인 쪽은 "다리"가 된다.)
임의의 콤팩트 매끄러운 다양체 formula_2에 대하여, formula_84은 항상 공보충 경계적이다. 구체적으로, 구간과의 곱 formula_85은 formula_84과 공집합 사이의 보충 경계를 정의한다. 또한, formula_87 역시 공보충 경계적임을 알 수 있다.
특히, 초구 formula_82는 공보충 경계적이다. 구체적으로, formula_89이 된다 (formula_90은 formula_6차원 공).
분리합집합은 연결합과 보충 경계적이므로, 콤팩트 곡면의 보충 경계 분류는 연결 콤팩트 곡면만의 분류로 족하다.
0차원 연결 콤팩트 다양체는 한원소 공간밖에 없다. 이 밖에, 공집합은 0차원 초구 formula_92와 보충 경계적이다. 그러나 공집합의 오일러 지표는 0이지만 한원소 공간의 오일러 지표는 1이므로, 이 둘은 서로 보충 경계적이지 않다. 즉, 0차원 보충 경계군은 2차 순환군이다.
1차원 연결 콤팩트 다양체는 원밖에 없다. 이들은 모두 서로 보충 경계적이다. 즉, 구멍이 formula_44개 뚫린 구는 formula_95와 formula_96 사이의 보충 경계를 정의한다. 따라서, 1차원에서는 하나의 보충 경계류가 존재하며, 보충 경계군은 자명하다.
2차원 연결 콤팩트 곡면은 표준적으로 formula_50개의 원환면과 2개 이하의 사영 평면의 연결합으로 나타낼 수 있다. 구 formula_99에 0-수술을 가하면 (즉, formula_100를 도려내고 formula_101를 붙이면) 수술 방법에 따라 원환면 또는 클라인 병 formula_102을 얻는다. 보다 일반적으로, 이를 통해 다음과 같은 보충 경계를 얻을 수 있다.
따라서, 모든 콤팩트 매끄러운 곡면은 구 formula_99 또는 사영 평면 formula_106과 보충 경계적임을 알 수 있다. 그러나 구와 사영 평면 사이에는 보충 경계가 존재하지 않는데, 이는 구의 오일러 지표는 짝수이지만 사영 평면의 오일러 지표는 홀수이기 때문이다. 즉, 2차원에서 보충 경계류는 오일러 지표의 홀짝성에 의하여 완전히 분류되며, 2차원 보충 경계군은 2차 순환군이다.
모든 콤팩트 리만 곡면을 3차원 콤팩트 다양체의 경계로 나타낼 수 있다는 사실은 베스-추미노-위튼 모형에서 중요한 역할을 한다.
3차원~5차원의 보충 경계군은 다음과 같다.
다시 말해, 모든 3차원 경계 없는 콤팩트 매끄러운 다양체는 4차원 경계 있는 콤팩트 매끄러운 다양체의 경계로 나타낼 수 있다.
보충 경계 이론은 앙리 푸앵카레가 1895년에 호몰로지를 해석적 구조를 사용하지 않고 부분 다양체만으로 정의하려는 시도에서 출발하였다. 푸앵카레는 호몰로지와 보충 경계를 둘 다 정의했지만, 이 둘은 일반적으로 서로 다르다. 이에 대하여 장 디외도네는 다음과 같이 적었다.
이후 레프 폰트랴긴이 보충 경계를 호몰로지와 다른 독자적인 대수적 위상수학적 불변량으로 재도입하있다. 르네 톰은 보충 경계군을 호모토피 이론으로 계산하였다. 이에 대하여 장 디외도네는 다음과 같이 적었다.
이에 따라, 보충 경계 이론이 에일렌베르크-스틴로드 공리에 부합하는 특수 코호몰로지 이론을 이룸이 밝혀졌다. 보충 경계 이론은 이후 히르체브루흐-리만-로흐 정리의 증명과 아티야-싱어 지표 정리의 증명에 사용되어, 대수기하학과 해석학에 응용되게 되었다.
1980년대에 그레임 시걸 과 마이클 아티야 는 위상 양자장론을 보충 경계 이론을 통해 재정의하였다.