Automorphisms of very general blow up

당신이 대칭성에 관한 미스터리를 풀려는 탐정이라고 상상해 보십시오. 수학의 한 분야인 대수기하학의 세계에서, 도형이나 곡면 같은 객체들은 '대칭성'을 가지고 있습니다. 즉, 그것들을 비틀거나, 뒤집거나, 회전시켜도 이전과 똑같이 보이게 만드는 방법들입니다. 이러한 대칭성은 마치 도형이 알고 있는 비밀스러운 움직임과 같습니다. 보통, 구(sphere)와 같이 매우 단순한 도형은 이러한 움직임이 엄청나게 많습니다. 당신이 원하는 어떤 방식으로든 돌릴 수 있기 때문입니다. 하지만 수학자들은 매혹적인 규칙 하나를 오랫동안 의심해 왔습니다. 만약 당신이 복잡한 도형을 가져와서 그것을 '일반적(generic)'으로 만든다면(즉, 어떤 특정한 깔끔한 패턴을 피하고 방대한 가능성의 풀에서 무작위로 특징을 선택한다면), 그 도형은 거의 모든 대칭성을 잃게 된다는 것입니다. 그것은 경직되고, 독특해지며, 움직이기를 완강히 거부하게 됩니다. 이 논문은 이 아이디어를 파고들며 구체적인 질문을 던집니다. 만약 당신이 복잡한 3차원(또는 그 이상의 차원) 도형을 가져와서 아주 많은 무작위 구멍을 뚫는다면, 그 도형은 너무 엉망이 된 나머지 단 하나의 근육조차 꿈쩍할 수 없게 될 것인가?

"Automorphisms of Very General Blow Up"이라는 제목의 이 논문은 '블로우 업(blowing up)'이라 불리는 과정을 연구함으로써 이 문제를 조사합니다. 간단히 말해, 도형 위의 한 점을 블로우 업 한다는 것은 아주 작은 바늘구멍을 가져와서 표면에 튀어나온 새로운 작은 거품(구체)으로 부풀리는 것과 같습니다. 이를 한 번 수행하면 도형은 여전히 어떤 대칭성을 가질 수도 있습니다. 하지만 만약 무작위로 선택된 많은 지점에서 이 과정을 반복해서 수행한다면 어떻게 될까요? 저자는 강력한 결과를 증명합니다. 만약 당신이 단순한 '유리 곡면(rational surface)'(쉽게 말해 구겨진 종이나 평면 같은 형태가 아닌 형태)이 아닌 복잡한 사영 다양체(projective variety, 일종의 화려한 기하학적 도형)를 가지고 있다면, 충분히 많은 수의 '매우 일반적인(very general)' 점들을 블로우 업 할 경우, 결과물인 도형은 자명하지 않은 자기 동형 사상(nontrivial automorphisms)을 갖지 않게 됩니다. 쉬운 말로, 충분히 많은 무작위 구멍을 뚫고 나면 도형은 완전히 경직됩니다. 더 이상 어떤 대칭성도 수행할 수 없게 됩니다. 그것은 제자리에 얼어붙은 것입니다.

논문은 용어를 신중하게 정의합니다. '매우 일반적인(very general)'은 여기서 핵심적인 개념입니다. 이것은 단순히 '무작위(random)'라는 뜻이 아닙니다. 이는 점들이 특별한 대칭성이 우연히 살아남을 수 있는 특정하고 셀 수 있는 '나쁜' 지점들을 피하도록 선택되었음을 의미합니다. 만약 당신이 '일반적(general)'이지만 '매우 일반적'이지 않은 점들(예를 들어, 점들이 완벽하게 정렬되어 있거나 숨겨진 대칭선 위에 놓여 있는 경우)을 선택했다면, 도형은 여전히 꿈틀거릴 수 있습니다. 저자는 아벨 다양체(abelian variety, 토러스나 도넛과 관련된 형태의 도형)를 사용한 반례를 제공하여, 만약 점들을 '일반적'으로만 선택하고 '매우 일반적'으로 선택하지 않는다면 실수로 대칭성을 보존할 수 있음을 보여줍니다. 그러나 '매우 일반적인' 경우에 대해서는, 대칭 군(symmetry group)이 아무것도 남기지 않고 줄어든다는 것이 엄밀한 수학적 증명입니다.

증명은 문제를 서로 다른 유형의 도형들로 나누는 방식으로 진행됩니다. 3차원 이상의 도형들에 대해, 저자는 '대칭 군의 차원'을 이용한 논리적 트릭을 사용합니다. 아이디어는 가능한 모든 대칭의 공간은 크기가 제한되어 있다는 것입니다. 만약 당신이 충분히 많은 무작위 점들을 선택한다면, 대칭이 이 점들을 자기 자신에게 매핑하거나(또는 몇몇 특별한 '나쁜' 지점으로 매핑해야 한다는) 요구 조건은 너무나 엄격해져서, 그 조건을 충족하는 유일한 대칭은 아무것도 하지 않는 것, 즉 항등 함수(identity)뿐이라는 결론에 도달합니다. 이는 마치 1,000개의 무작위 물건이 있는 방을 재배치하면서도 원래와 똑같이 보이게 만들 수 있는 사람을 찾는 것과 같습니다. 그 확률은 너무 낮아서, 아무것도 움직이지 않는 사람을 제외하고는 아무도 해낼 수 없습니다.

곡면(2차원 도형)의 경우, 논리는 조금 더 복잡합니다. 저자는 먼저 '비유니룰드(non-uniruled)' 곡면(특정한 방식의 선이나 단순한 곡선들로 덮을 수 없는 도형)들을 다루며, 이들이 고차원 사례와 유사하게 행동함을 보여줍니다. 더 까다로운 부분은 '룰드 곡면(ruled surfaces)', 즉 선들의 묶음이나 튜브처럼 보이는 형태의 곡면들입니다. 여기서 저자는 곡면의 일부를 교체하여 구조를 단순화하는 방법인 '기초 변환(elementary transformations)'이라는 도구를 사용합니다. 어떤 대칭이 특정 곡선들을 반드시 보존해야 함을 보여줌으로써, 그리고 충분한 무작위 구멍이 생기면 전체 구조를 붕괴시키지 않고서는 그러한 대칭이 존재할 수 없음을 증명함으로써, 저자는 이 규칙이 여기에서도 성립함을 확인합니다.

논문에서 가장 흥미로운 부분 중 하나는 사영 다양체가 아니거나(즉, 표준적인 수학적 공간 안에 잘 들어맞는 형태가 아니거나) 혹은 '유리 곡면'(평면이나 구와 같은 형태)인 경우에 어떤 일이 벌어지는가 하는 점입니다. 저자는 현재의 방법론이 유리 곡면에는 적용되지 않음을 인정하지만, 이 규칙이 여전히 성립할 것이라고 추측합니다. 또한, 만약 도형이 '사영적(projective)'이지 않다면(예를 들어 무한한 3차원 공간과 같은 경우), 많은 구멍이 있어도 대칭이 살아남는 예시를 구성할 수 있음을 보여줍니다. 이는 '사영적'인 성질이 경직성을 만드는 핵심 요소임을 강조합니다.

마지막으로, 논문은 멋진 응용 사례를 제시합니다. 저자는 자기 동형 사상이 전혀 없으면서도, 동시에 타원 곡선들의 번들(bundle, 도넛들의 묶음)로서 바라볼 수 있는 방법이 무수히 많은 특정한 매끄러운 곡면을 구성합니다. 이는 놀라운 일입니다. 보통 어떤 도형에 대칭이 없다면 그 구조 또한 제한적일 것이라고 예상하기 때문입니다. 하지만 여기서 대칭의 부재는 오히려 동일한 대상에 대한 매우 다양한 '관점'을 허용합니다. 이는 마치 어떤 각도에서 봐도 똑같아 보이는 조각상이, 역설적으로 무수히 많은 방식으로 도넛 묶음으로 설명될 수 있는 것과 같습니다.

요약하자면, 이 논문은 수학의 깊은 직관을 확인해 줍니다: 복잡성과 무작위성은 대칭성의 적입니다. 만약 당신이 충분히 복잡한 도형을 가져와서 충분히 많은 무작위 구멍을 뚫는다면, 당신은 그것의 모든 움직임과 변형 능력을 파괴하게 됩니다. 도형은 고유하고 얼어붙은 유물이 되어, 더 이상 발견할 숨겨진 움직임이 남지 않게 됩니다. 저자는 광범위한 종류의 도형들에 대해 이를 엄밀하게 증명함으로써, 도형이 가장 일반적인 한계로 밀려났을 때 기하학이 어떻게 행동하는지에 대한 이해에 새로운 장을 열었습니다.