Base-change of locally stable families in positive characteristic

당신이 기묘하고 울퉁불퉁한 지형 위에 존재하는 도시를 설계하는 건축가라고 상상해 보십시오. 이 세계에서 땅은 단순히 평평하지 않습니다. 도시를 늘리거나 줄이려고 할 때만 나타나는 숨겨진 균열과 접힘이 존재합니다. 이것이 바로 대수기하학(algebraic geometry)이라 불리는 수학의 한 분야이며, 이곳에서는 도형이 청사진이 아닌 방정식에 의해 정의됩니다. 이 "도시"는 기하학적 형상(variety)들의 집합이며, "땅"은 시간선이나 기초 역할을 하는 곡선입니다.

이 도시를 안정적으로 유지하기 위해 건축가들은 '국소적 안정성(local stability)'이라는 특별한 규칙을 사용합니다. 이것은 일종의 안전 규정입니다. 도시의 어느 곳을 보더라도 건물들이 혼돈스러운 상태로 무너지지 않도록 충분히 견고해야 합니다. "정상적인" 세계(수학자들은 이를 표수 0이라고 부릅니다)에서 이 안전 규정은 매우 신뢰할 만합니다. 표준적인 지도를 사용하여 도시를 늘려도 건물들은 안전하게 유지됩니다. 하지만 이 논문은 매우 기묘하고 "울퉁불퉁한" 버전의 세계인 '양의 표수(positive characteristic)'를 탐구합니다. 여기서는 늘리는 규칙이 다릅니다. 도시를 특정 방식으로 늘리려고 하면, 건물들이 갑자기 비고체 상태의 비정상적인 덩어리로 변하거나, 안전 규정이 신비로운 방식으로 깨질 수 있습니다. 수학자들의 핵심 질문은 이것입니다. 만약 우리가 안정적인 도시를 가지고 있고, 이 기묘하고 울퉁불퉁한 규칙들을 사용하여 도시를 늘린다면, 그 도시는 여전히 안정적일 것인가?

마르타 베노조(Marta Benozzo)와 쿠엔틴 포스바(Quentin Posva)가 작성한 이 논문은 이 미스터리를 깊이 파고듭니다. 그들은 안정적인 형상의 가족(family of shapes)을 가져와서 **프로베니우스 사상(Frobenius morphism)**이라는 특정 유형의 "거친" 변환을 통해 늘릴 때 어떤 일이 발생하는지 조사합니다. 이 기묘한 세계에서 늘리는 것은 단순히 늘리는 것이 아닙니다. 그것은 기하학을 뒤틀고 접어서 "와일드 디바이저(wild divisor)"—기이하게 행동하는 특수한 선이나 곡면—를 만들어낼 수 있습니다. 저자들은 새로운, 늘어난 도시의 안정성이 두 가지 요소에 달려 있다는 것을 발견했습니다. 하나는 원래 건물이 얼마나 "중심에서 벗어나 있었는지"(이를 불일치/discrepancies라고 부릅니다)이고, 다른 하나는 **와일드 계수(wild coefficient)**라고 부르는 새롭고 까다로운 숫자입니다. 이 와일드 계수는 뒤틀림이 얼마나 "거친지"를 측정합니다.

연구팀은 만약 어떤 늘리기라도 안정성을 유지하고 싶다면, 오직 이러한 특정 프로베니우스 뒤틀림만을 확인하면 된다는 것을 증명했습니다. 그들은 원래의 안정성과 새로운 안정성을 연결하는 정밀한 공식을 찾아냈지만, 그 공식은 복잡합니다. 이 공식은 와일드 계수가 안정성에 대한 "세금"처럼 작용함을 보여줍니다. 만약 세금이 너무 높으면 도시는 불안정해집니다. 모든 경우의 와일드 계수를 예측할 수는 없지만(그것은 여전히 다소 신비로운 상태로 남아 있습니다), 그들은 도시가 **F-분할(F-splitting)**이라는 특별한 성질(일종의 내장된 수리 메커니즘)을 가지고 있다면 이 세금이 얼마나 높아질 수 있는지에 대한 "상한선"을 설정하는 데 성공했습니다. 요약하자면, 그들은 모든 가능한 늘리기에 대해 이 퍼즐을 해결한 것은 아니지만, 가장 중요한 유형의 늘리기에 대한 코드를 해독하여, 기하학의 "거칠음"이 어떻게 안정성을 위협하는지를 밝혀냈습니다.

늘어나는 도시 이야기

이 모험을 나누어 보겠습니다. 저자들은 **다양체의 가족(families of varieties)**을 연구하고 있는데, 이는 영화 필름이라고 상상할 수 있습니다. 영화의 각 프레임은 기하학적 형상이며, 전체 필름이 바로 그 '가족'입니다. "국소적 안정성"은 모든 프레임이 제대로 보여야 하며 치명적인 균열이 없어야 한다는 규칙입니다.

"정상적인" 세계에서는 이 영화를 가져와서 다른 속도로 재생(기저 변경/base-change)하더라도 프레임은 보통 괜찮게 유지됩니다. 하지만 이 양의 표수 세계에서는 물리학이 이상합니다. 만약 당신이 "순수 비분리적(purely inseparable)" 속도(프로베니우스 사상)로 영화를 재생한다면, 프레임에 글리치가 발생하기 시작할 수 있습니다. 건물들이 이상한 방식으로 서로 융합되거나, 땅이 비정상(즉, 더 이상 단단하고 깨끗한 표면이 아님)이 될 수 있습니다.

저자들은 다음과 같이 질문했습니다: 만약 원래의 영화가 안정적이라면, 글리치가 발생한 버전도 안정적일 것인가?

그들은 모든 가능한 글리치를 확인할 필요가 없다는 것을 발견했습니다. 오직 "프로베니우스 글리치"만을 확인하면 됩니다. 만약 도시가 프로베니우스 글리치를 견뎌낸다면, 그 어떤 글리치도 견뎌낼 수 있습니다. 이는 만약 당신의 자동차가 특정 유형의 과속 방지턱을 견딜 수 있다면, 어떤 방지턱도 견딜 수 있다는 사실을 깨닫는 것과 같은 거대한 단순화입니다.

와일드 계수: "뒤틀림 세금"

그렇다면 도시가 프로베니우스 글리치를 겪을 때 어떤 일이 일어날까요? 저자들은 새로운 등장인물인 와일드 계수를 소개합니다.

당신이 고무판을 늘리고 있다고 상상해 보십시오. 때때로 고무판은 매끄럽게 늘어납니다. 하지만 다른 때는 기묘한 매듭이나 뒤틀림이 생겨 당기는 힘에 저항하기도 합니다. 와일드 계수는 특정 부분이 얼마나 "매듭지어져" 있거나 "뒤틀려" 있는지를 측정하는 숫자입니다.

• 만약 뒤틀림이 "온순하다면"(매끄럽다면), 안정성은 쉽게 유지됩니다.
• 만약 뒤틀림이 "거칠다면"(매듭져 있다면), 안정성에 타격이 가해집니다.

저자들은 뒤틀린 고무판의 새로운 안정성을 계산하는 공식을 유도합니다. 그것은 다음과 비슷합니다:
새로운 안정성 = (기존 안정성 × p) - (뒤틀림 벌금)

여기서 p는 이 세계의 기묘함과 관련된 숫자입니다. 뒤틀림 벌금은 와일드 계수입니다.

• 만약 뒤틀림이 "불변(invariant)"이라면(늘려도 형태를 완벽하게 유지한다면), 벌금은 한 가지 값을 가집니다.
• 만약 뒤틀림이 "비불변(non-invariant)"이라면(형태가 변한다면), 벌금은 다릅니다.

무서운 점은 무엇일까요? 와이드 계수는 예측하기 어렵습니다. 그것은 특정 매듭의 세부 사항에 따라 달라지는 숨겨진 세금과 같습니다. 저자들은 일반적으로 이 세금이 미스터리라는 점을 인정합니다. 그러나 그들은 이 세금에 **상한선(cap)**을 둘 수 있는 방법을 찾아냈는데, 단 도시가 F-분할이라는 특별한 "수리 도구"를 가지고 있을 때만 가능합니다.

수리 도구: F-분할

F-분할을 마법 같은 자가 치유 속성이라고 생각하십시오. 만약 도시가 이 속성을 가지고 있다면, 이는 기하학을 다시 깨끗한 상태로 "분리"할 수 있는 특별한 연산자(수학적 도구)가 존재함을 의미합니다.

저자들이 이 수리 도구를 분석에 적용했을 때, 그들은 와일드 계수의 최대 가능한 값을 계산할 수 있다는 것을 발견했습니다. 그들은 다음과 같이 증명했습니다:

• 만약 뒤틀림이 "비불변"이라면, 와일드 계수는 기존 안정성과 숫자 p를 포함하는 특정 공식에 의해 제한됩니다.
• 만 만약 뒤틀림이 "불변"이라면, 그 제한치는 약간 더 높습니다(작은 양인 p-2만큼).

이는 큰 성과입니다. 왜냐하면 우리는 와일드 계수의 정확한 값을 모르더라도, 도시가 이 수리 도구를 가지고 있다면 그것이 너무 미쳐 날뛰지는 않을 것임을 알 수 있기 때문입니다.

발견의 한계

저자들은 과도한 약속을 하지 않도록 주의를 기울입니다. 그들은 와일드 계수에 대한 상한선을 제시했지만, 이 상한선은 종종 모든 경우에 대해 안정성을 보장하기에는 너무 느슨하다는 것을 보여줍니다. 이는 마치 자동차가 이미 시속 500마일로 달리고 있고 도로가 빙판길인데, "시속 1000마일보다 빠르게 달리지 마시오"라고 적힌 속도 제한 표지판을 보는 것과 같아서 별 도움이 되지 않는 것과 같습니다.

그들은 또한 매우 안정적인 특정 도시들(불일치가 매우 낮은 경우)의 경우, 자신들의 방법이 완벽하게 작동하며 안정성이 보장된다는 점을 지적합니다. 하지만 일반적인 경우에는 "와일드 계수"가 여전히 블랙박스로 남아 있습니다. 이 논문은 문제를 완전히 해결하기 위해서는 "고차 폴리에이션(higher foliations)"(더 복잡한 버전의 뒤틀림 분석)을 포함한 더 발전된 도구가 필요할 수도 있음을 시사하며, 이는 현재 다른 수학자들에 의해 개발되고 있습니다.

이것이 왜 중요한가

왜 호기심 많은 십 대가 뒤틀린 고무판과 마법 같은 수리 도구에 관심을 가져야 할까요? 이것은 단지 추상적인 도형에 관한 것이 아니기 때문입니다. 이러한 기하학적 규칙은 모듈라이 공간(moduli spaces)—본질적으로 "가능한 모든 모양의 지도"—을 구축하는 기초입니다. 만약 우리가 가능한 모든 우주, 가능한 모든 결정 구조, 또는 가능한 모든 모양을 분류하고 싶다면, 우리는 어떤 모양이 안정적이고 어떤 모양이 붕괴할 것인지를 알아야 합니다.

"정상적인" 세계에서 우리는 좋은 지도를 가지고 있습니다. 하지만 이 "울퉁불퉁한" 양의 표수 세계에서, 지도는 구멍투성이입니다. 이 논문은 그 구멍 중 몇 개를 채워주며, 프로베니우스 사상에 의해 늘려졌을 때 기하학이 어떻게 행동하는지를 보여줍니다. 이는 우리의 수학적 우주의 안정성이 모양이 얼마나 "중심에서 벗어나 있는지"(불일치)와 뒤틀림이 얼마나 "거칠게" 변하는지 사이의 섬세한 균형에 달려 있다는 것을 알려줍니다.

저자들은 이 험난한 세계의 모든 것을 해결한 것은 아니지만, 우리에게 더 나은 나침반을 건네주었습니다. 그들은 이러한 거친 늘림을 이해하는 열쇠가 불일치(중심에서 벗어난 정도)와 와이드 계수(뒤틀림 세금) 사이의 관계에 있다는 것을 보여주었습니다. 그리고 비록 세금이 여전히 미스터리일지라도, 적어도 이제는 도시가 마법 같은 수리 도구를 가지고 있다면 그 세금이 얼마나 높아질 수 있는지에 대한 한계가 있다는 것을 알게 되었습니다.

결국, 이 논문은 가장 혼란스럽고 "거친" 수학적 풍경 속에서도 발견되기를 기다리는 숨겨진 패턴과 규칙이 존재한다는 사실을 입증하는 증거입니다. 때로는 전체의 안정성을 이해하기 위해서, 부분의 거칠고 엉킨 세부 사항들을 직접 파헤쳐야 한다는 점을 상기시켜 줍니다.