토마시 므루프카: 4차원을 길들인 위상수학자

토마시 므루프카(Tomasz Mrowka)는 경력의 대부분을 바쳐 다른 누구도 손댈 수 없었던 4차원 공간의 성질을 증명해 냈으며, 입자 물리학에서 빌려온 방정식을 사용하여 순수 위상수학의 100년 묵은 난제들을 해결했다. 평생의 협력자와 함께 도출한 그의 가장 많이 인용된 성과는 수학자들이 증명을 포기했던 추측을 단 몇 페이지의 밀도 높은 분석으로 해결한 것이다.

수학적 유산

므루프카는 1961년 9월 8일에 태어났다. 그의 아버지는 폴란드계 미국인 수학자 스타니스와프 므루프카(Stanisław Mrówka)로, 일반 위상수학 전문가였으며 미국으로 이주하여 뉴욕 시립 대학교에서 가르쳤다. 아들인 므루프카는 MIT에서 학부 과정을 밟아 1983년에 학사 학위를 받았고, 이후 캘리포니아 대학교 버클리 캠퍼스로 진학하여 클리퍼드 타우브스(Clifford Taubes)와 로비온 커비(Robion Kirby)의 지도 아래 1988년 양-밀스 모듈라이 공간에 관한 논문으로 박사 학위를 받았다. 지도교수의 선택은 중요했다. 당시 타우브스는 이론 물리학의 기제(원자핵을 결합하는 힘을 기술하기 위해 개발된 수학인 게이지 이론)를 추상적인 형태 연구에 도입하여 저차원 위상수학을 재편하는 혁명의 중심에 있었다.

위상수학자의 도구로서의 게이지 이론

사이먼 도널드슨(Simon Donaldson)으로 대표되는 이 혁명을 이끈 통찰은, 물리학자의 장 방정식의 해를 4차원 다양체 위에서 연구하면 기존의 위상수학적 기법으로는 볼 수 없었던 다양체의 형태에 관한 미묘한 정보가 부호화된다는 것이었다. 므루프카는 이 기제를 다루는 가장 능숙한 수학자 중 한 명이 되었다. 경력 초기에는 스탠퍼드 대학교를 거쳐 캘리포니아 공과대학교(Caltech)에서 방문 연구원 및 1992년부터 1996년까지 교수직을 역임했고, 1996년 MIT 수학과에 부임하여 남은 경력을 보냈다. 2007년부터 2010년까지 사이먼스 교수직, 2010년부터 싱어 교수직을 맡았으며 2014년부터 2017년까지 학과장을 역임했다.

크론하이머와의 파트너십

므루프카의 과학적 경력을 결정지은 관계는 1980년대 양-밀스 연구 서클에서 대학원생으로 만난 영국계 미국인 수학자 피터 크론하이머(Peter Kronheimer)와의 수십 년에 걸친 공동 연구이다. 두 사람은 미국 수학회가 어느 한 사람의 공로가 아닌 공동의 업적으로 두 번이나 표창할 만큼 실질적인 연구 성과를 냈다. 그들의 첫 주요 성과는 현재 '크론하이머-므루프카 기본류(Kronheimer-Mrowka basic classes)'라고 불리는 것을 도입한 것인데, 이는 인스턴톤 모듈라이 공간의 구조로부터 4차원 다양체에 관한 위상수학적 정보를 추출하는 불변량으로, 도널드슨의 원래 불변량을 더 날카롭고 계산 가능한 형태로 세련시킨 것이다.

톰 추측의 해결

그들의 가장 유명한 단일 업적은 1990년대 초반에 나왔다. 자이베르크-위튼 방정식(Seiberg-Witten equations)의 발견으로 게이지 이론가들은 기존의 양-밀스 접근법보다 기술적으로 더 단순한 대안을 얻게 되었다. 크론하이머와 므루프카는 이 새로운 방정식을 사용하여 톰 추측(Thom conjecture)을 증명했다. 이는 1950년대부터 미해결 상태였던, 복소 사영 평면에서 주어진 호몰로지 류를 나타내는 곡면의 최소 종수에 관한 주장이다. 이 증명은 자이베르크-위튼 이론이 이전 세대의 게이지 이론가들에게는 해결 불가능하다고 여겨졌던 문제들을 해결할 수 있음을 보여준 최초이자 가장 극적인 사례 중 하나였으며, 이 분야가 새로운 방정식으로 완전히 전환되는 계기가 되었다.

매듭, 모노폴, 그리고 P 성질

므루프카의 후기 연구는 같은 도구 상자를 매듭 이론에 적용했다. 그는 크론하이머와 함께 자이베르크-위튼 모노폴 플로어 호몰로지(Seiberg-Witten monopole Floer homology)를 사용하여 'P 성질 추측(Property P conjecture)'을 증명했다. 이는 매듭 보공간에 대한 어떤 수술이 3차원 구면을 생성할 수 있는지에 대한 오랜 의문으로, 3차원 다양체의 위상수학 전반에 직접적인 영향을 미치는 결과였다. 두 사람은 더 나아가 기하학적 기원이 명확하지 않은 조합론적 매듭 불변량인 '호바노프 호몰로지(Khovanov homology)'가 자명한 매듭을 검출하기에 충분히 강력함을 보였으며, 이를 통해 게이지 이론적 플로어 호몰로지와 미하일 호바노프(Mikhail Khovanov)의 대수적 구성이라는 거의 독립적으로 발전해 온 두 분야를 연결했다. 2007년에 출판된 모노폴과 3차원 다양체에 관한 그들의 저서는 이 분야의 표준 참고 문헌으로 남아 있다.

수상 경력

이 일련의 연구에 대한 수학계의 평가는 이례적으로 일관적이다. 므루프카와 크론하이머는 2007년 오즈월드 베블런 기하학상, 2011년 미국 수학회의 조셉 L. 두브상을 공동 수상했으며, 수학자 동료들이 보낼 수 있는 가장 명확한 신호인 2023년 리로이 P. 스틸상(연구 기여 부문)을 공동 수상했다. 이는 특히 크론하이머-므루프카 기본류를 도입하고 이를 톰 추측에 응용한 논문에 대해 수여된 것이다. 므루프카는 2007년 미국 예술 과학 아카데미, 2015년 미국 국립 과학 아카데미에 각각 선출되었으며, 1994년과 2018년(리우데자네이루) 국제 수학자 대회에서 전체 강연을 했다. 또한 슬론 펠로우십과 구겐하임 펠로우십을 받았으며 MIT에서 수십 명의 박사 과정 학생과 포스트닥터를 지도했다.

토마시가 천재라 불리는 이유

므루프카의 평가는 특정하고 잘 문서화된 기술적 숙련도에 기반한다. 그것은 이론 물리학의 방정식을 가져와 비선형 편미분 방정식의 극도로 섬세한 분석을 통해 수십 년간 미해결 상태였던 순수 위상수학의 질문들에 답하는 능력이다. 톰 추측은 1950년대부터 직접적인 공격을 견뎌왔고, P 성질 추측 또한 마찬가지로 오래되고 완고한 3차원 다양체 문제군에 속해 있었다. 두 문제 모두 매듭이나 곡면에 대한 새로운 아이디어가 아니라, 므루프카와 크론하이머가 모듈라이 공간 해석(게이지 이론에서 가장 기술적으로 어려운 층이며, 물리학을 이해하는 대부분의 수학자조차 추정을 작동시키지 못했던 영역)을 지배함으로써 해결되었다. 국립 과학 아카데미 선출과 스틸상 수상은 이것이 독보적인 업적이라는 위상수학자들 사이의 진정한 합의를 반영한다. 솔직한 복잡함은 그 거의 모든 것이 단독 연구가 아니라는 점에 있다. 여기서 논의된 획기적인 결과들은 모두 피터 크론하이머와의 공동 연구이며, 베블런상, 두브상, 스틸상은 모두 두 사람에게 수여되었다. 이러한 증거로 볼 때 므루프카의 천재성은 단독의 재능이 아니라 파트너십과 불가분한 관계에 있다.

유산

므루프카의 기본류와 그와 크론하이머에 의한 자이베르크-위튼 논증은 이제 저차원 위상수학에 입문하는 모든 대학원생에게 가르치는 표준 도구가 되었으며, MIT 수학과를 운영한 그의 임기는 수학적 족적과 함께 제도적 족적도 남겼다. 타우브스와 도널드슨이 이 분야를 개척한 지 40년이 지난 지금도 톰 추측과 P 성질 추측의 증명은 게이지 이론이 위상수학을 위해 무엇을 할 수 있는지 보여주는 가장 명확한 사례 중 하나로 남아 있다.