4분 읽기
- 프랑스 수학자 피에르 오시앙 보네는 1867년에 현재 그의 이름을 딴 정리를 개발
- 고리는 변형, 늘어남, 회전에 관계없이 항상 정확히 하나의 구멍을 유지,
- 동일한 거리와 평균 곡률을 가지지만 전체적인 모양이 다른 쌍이 존재함을 증명

수학자들이 150년 묵은 기하학 문제를 해결했다.
콤팩트한 보네-쌍(Bonnet-Pair)에 대한 최초의 사례 연구로 기존의 법칙 반박

결국, 그 법칙은 존재했다. 수학자들이 1867년에 정립된 곡면 이론의 한 정리를 반박했다. 보네 정리(Bonnet-Theorem)에 따르면, 콤팩트한 위상 객체의 곡면은 각 점의 거리와 평균 곡률을 알면 유일하게 기술될 수 있다. 그러나 이번 연구에서는 콤팩트한 토러스 형태에 대해 보네 쌍, 즉 동일한 거리와 평균 곡률을 가지지만 전체적인 모양이 다른 쌍이 존재함을 증명했다. 

▲ 수학자들은 구체적인 사례를 통해, 닫힌 도넛 모양 표면의 경우 국소 측정 데이터가 반드시 하나의 전역적인 형태를 정의하는 것은 아니라는 사실을 처음으로 증명했다. © Astrid Eckert / TU Munich

수학에서 위상수학은 기하학적 객체의 불변 속성을 설명한다. 예를 들어, 고리는 변형, 늘어남, 회전에 관계없이 항상 정확히 하나의 구멍을 유지하며, 숫자 8은 어떻게 변형되든 항상 두 개의 구멍을 가진다. 이러한 위상 객체의 표면을 결정하기 위해 프랑스 수학자 피에르 오시앙 보네(Pierre Ossian Bonnet)는 1867년에 현재 그의 이름을 딴 정리를 개발했다.

▲ 콤팩트한 보닛 한 쌍: 이들의 곡률과 평균 곡률은 같지만, 전체적인 모양은 다르다. © Th1921/ CC-by-sa 4.0

점 간격과 곡률

보네 정리에 따르면, 위상 객체의 표면 위의 각 점에서 평균 곡률과 계량을 알면 그 면적을 유일하게 결정할 수 있다. 계량은 표면 위의 두 점 사이의 거리를 나타낸다. 수학자들은 이미 구와 같은 콤팩트한 도형에 대해 보네 정리가 성립함을 증명했다. 따라서 점 간격과 평균 곡률을 알면 면적을 유일하게 결정할 수 있다.

이러한 매개변수는 해당 객체를 유일하게 기술한다. 즉, 동일한 매개변수를 가지지만 기하학적 형태가 다른 객체는 존재할 수 없다. 이는 비콤팩트 도형의 경우와 다르다. 비콤팩트 도형의 경우, 보네 정리의 일반적인 법칙에 대한 몇 가지 예외가 있는 것으로 알려져 있다. 예를 들어, 한 방향으로 무한히 뻗어 나가는 평면이나 모서리에서 갑자기 끝나는 표면 등이 있다.

도넛 모양 토러스가 규칙을 깨뜨릴 수 있을까?

하지만, 도넛 모양을 닮은 위상학적 도형인 토러스에 이 가설이 어떻게 적용되는지는 여전히 불분명했다. 한 가설에 따르면, 이러한 토러스는 보넷 정리와 모순될 수 있다고 한다. 이 이론에 따르면, 주어진 계량과 평균 곡률에 대해 서로 다른 두 개의 토러스 표면, 즉 소위 보넷 쌍이 존재할 수 있다. 그러나 이러한 쌍이 실제로 존재하는지는 이전까지 증명되지 않았으며, 구체적인 예시가 부족했다.

뮌헨 공과대학교(TUM)의 알렉산더 보벤코(Alexander Bobenko)와 그의 동료들은 이제 이 예시를 제시했다. 연구팀은 동일한 계량과 평균 곡률을 갖는 두 개의 콤팩트하고 닫힌 도넛 모양의 표면을 구성했다. 그런데도 연구팀은 수학적으로 증명했듯이 이 위상학적 토러스들은 기하학적 형태가 동일하지 않다. 따라서 두 형태는 전역적으로 구별된다.

콤팩트 보넷 쌍의 첫 번째 증명

연구팀이 제시한 토러스 쌍은 오랫동안 예측되어 온 콤팩트 보넷 쌍의 첫 번째 예시다. "수년간의 연구 끝에, 닫힌 도넛 모양의 곡면에서도 국소 측정 데이터가 반드시 하나의 전역 형상을 정의하지 않는다는 것을 보여주는 구체적인 사례를 처음으로 발견했다"고 뮌헨 공과대학교(TUM)의 공동 저자 팀 호프만(Tim Hoffmann)은 말했다.

"이로써 우리는 곡면에 대한 미분기하학 분야의 수십 년 묵은 난제를 해결할 수 있게 되었다"고 호프만은 덧붙였다. 컴팩트 보 쌍(compact bonnet pair)은 계량과 평균 곡률이 컴팩트 형상에 대해 고유한 매끄러운 임베딩을 나타내는지를 명확히 한다. 연구진은 또한 분석을 통해 이러한 보닛 쌍이 무수히 많다는 것을 증명했다.

참고: IHÉS 수학 출판물, 2026; doi: 10.1007/s10240-025-00159-z
출처: Technische Universität München

[더사이언스플러스=문광주 기자]

[저작권자ⓒ the SCIENCE plus. 무단전재-재배포 금지]