그레임 시걸 과 마이클 아티야
다시 말해, 모든 3차원 경계 없는 콤팩트 매끄러운 다양체는 4차원 경계 있는 콤팩트 매끄러운 다양체의 경계로 나타낼 수 있다. 보충 경계 이론은 앙리 푸앵카레가 1895년에 호몰로지를 해석적 구조를 사용하지 않고 부분 다양체만으로 정의하려는 시도에서 출발하였다. 이에 따라, 보충 경계 이론이 에일렌베르크-스틴로드 공리에 부합하는 특수 코호몰로지 이론을 이룸이 밝혀졌다. 보충 경계 이론은 이후 히르체브루흐-리만-로흐 정리의 증명과 아티야-싱어 지표 정리의 증명에 사용되어, 대수기하학과 해석학(해석학 (수학))에 응용되게 되었다. 1980년대에 그레임 시걸 과 마이클 아티야 는 위상 양자장론을 보충 경계 이론을 통해 재정의하였다.
위상 양자장론을 재정의한게 누구야
보충 경계