Unexpected primes of good reduction in quotients of modular and Shimura curves

숫자의 세계를 **모듈러 시티(Modular City)**라는 거대하고 북적이는 도시라고 상상해 보세요. 이 도시에는 **모듈러 곡선(Modular Curves)**이라 불리는 특별한 건물들이 있습니다. 이 건물들은 평범한 건물이 아닙니다. 산술의 깊고 숨겨진 규칙들에 의해 그 형태가 결정됩니다. 어떤 건물은 거대하고 복고적이며, 어떤 건물은 아주 작고 단순하여 "종수(genus)"가 0입니다(이는 마치 하나의 점이거나 구멍이 없는 단순한 루프와 같다는 것을 의미합니다).

오랫동안 수학자들은 이 종수가 0인 건물들에 매료되어 왔습니다. 왜냐하면 이들은 매우 희귀하고 특별하기 때문입니다. 하지만 이 논문의 진짜 미스터리는 단순히 건물 그 자체에 있는 것이 아닙니다. 그것은 바로 **아킨-레너 몫(Atkin–Lehner quotients)**이라는 특정 규칙을 사용하여 거대하고 복잡한 건물을 더 작고 단순한 버전으로 부수어 내릴 때 어떤 일이 일어나는가에 관한 것입니다.

아킨-레너 그룹을 철거 전문가 팀이라고 생각해 보세요. 그들은 건물(숫자 $N$으로 정의됨)을 살펴보고, 어떤 부분을 남기고 어떤 부분을 버릴지 결정합니다. 이 결정은 건물의 소수 성분들에 할당된 "부호 패턴(sign pattern)"이라는, 마치 플러스와 마이너스 기호로 이루어진 코드에 따라 이루어집니다.

빈 방을 찾는 위대한 사냥

오아나 파두라리우(Oana Padurariu), 선 우 박(Sun Woo Park), 그리고 존 보이트(John Voight) 저자들은 매우 구체적인 질문을 던졌습니다. 건물의 크기($N$)와 철거 코드(부호 패턴)의 조합이 결과적으로 "새로운" 방이 단 하나도 남지 않은 건물을 만들어낼 수 있는가?

수학적으로 말하자면, 그들은 "새로운 형식(newforms)의 0차원 공간"을 찾고 있었던 것입니다. 만약 건물의 방들을 새로운 이야기(newforms)가 담긴 도서관이라고 상다면, 그들은 도서관이 완전히 비어버리게 만드는 특정 설계도를 찾고자 했습니다.

그들은 대부분의 거대한 건물에서는 도서관이 항상 가득 차 있다는 것을 알고 있었습니다. 건물이 커질수록 도서관의 방도 많아집니다. 하지만 작고 특정한 크기의 건물에서는, 철거 코드가 모든 새로운 이야기를 쓸어버려 도서관을 텅 비게 만들 가능성이 있습니다.

주요 발견:
연구팀은 단순히 추측한 것이 아니라, 이 "빈 도서관" 설계도들을 전부 찾아냈습니다. 그들은 이들이 유한하다는 것을 증명했습니다. 그들은 이 특정한 "빈 구성"들을 위한 "현상 수배 전단(Wanted Poster)" 역할을 하는 마스터 리스트(표 2, 3, 4, 5)를 만들었습니다. 만약 당신의 건물 크기와 부호 패턴이 이 리스트에 없다면, 그 도서관에는 반드시 적어도 하나의 새로운 이야기가 있을 것이라고 보장할 수 있습니다.

놀라움: 나쁜 곳에서의 좋은 감소(Good Reduction at Bad Places)

여기서 이야기는 정말 흥식해집니다. 보통 건물이 "나쁜" 성분(문제를 일으키는 소수 $p$)을 가지고 있다면, 전체 구조는 그 지점에서 무너지거나 "나쁜 감소(bad reduction)"를 보일 것으로 예상됩니다. 마치 늪 위에 지어진 집처럼, 그 지점에서는 바닥이 흔들릴 것이라고 예상하는 것과 같습니다.

하지만 저자들은 예상치 못한 사실을 발견했습니다. 모듈러 곡선을 가져와 아킨-레너 몫으로 부수어 내렸을 때, 원래의 건물이 흔들렸던 소수 지점에서 결과물인 더 작은 건물이 **갑자기 안정(stable)**될 수 있다는 것입니다.

그들은 이를 **"예상치 못한 좋은 감소(unexpected primes of good own reduction)"**라고 부릅니다.

비유:
거대하고 위태로운 다리(원래의 곡선)가 있고, 이 다리는 특정 녹슨 볼트(소수 $p$)를 밟으면 무너진다고 알려져 있다고 상상해 보세요. 당신은 그 다리의 부품으로 만든 더 작은 다리 역시 그 볼트에서 무너질 것이라고 예상할 것입니다. 하지만 저자들은 철거 팀이 작업을 마친 후, 새로운 더 작은 다리가 바로 그 녹슨 볼트 위에서 완벽하게 견고해지는 사례들을 발견했습니다. "나쁨"의 속성을 가진 볼트가 건물을 부수는 방식에 의해 마법처럼 중화된 것입니다.

그들이 증명한 것:
그들은 단순히 몇 가지 사례를 찾은 것이 아닙니다. 그들은 특정 유형의 건물(제곱 없는 레벨, squarefree levels)에 대해 이 놀라운 사례들을 모두 분류했습니다. 그들은 다음을 증명했습니다:

1. 만약 새로운 작은 건물이 어떤 크기라도 가지고 있다면(종수 > 0), 그 건물은 반드시 판별식(설계도의 $D$ 부분)의 일부인 소수들에서 흔들릴 것입니다.
2. 하지만 다른 소수들에 대해서는, 건물이 안정하게 변하는 정확한 사례 목록을 찾아냈습니다. 이 목록은 표 6과 7에서 확인할 수 있습니다.

그들이 배제한 것

이 논문은 무엇이 일어나지 않는지에 대해서도 명확히 밝히고 있습니다.

• 그들은 이러한 "빈 도서관" 설계도가 무한히 존재할 수 없음을 증명했습니다. 건물을 계속해서 크게 만든다면, 결국 빈 도서관은 고갈될 것이며 방들은 반드시 나타날 것입니다.
• 그들은 이러한 "좋은 감소"의 놀라움이 어떠한 소수에서도 일어날 수 있다는 생각을 일축했습니다. 그들은 만약 소수가 판별식 $D$의 일부라면, 건물은 항상 그곳에서 나쁠 것이라는 점을 구체적으로 보여주었습니다. 마법은 오직 다른 소수들에게서만 작동합니다.

얼마나 확신하는가?

이것은 추측이나 시뮬레이션이 아닙니다. 저자들은 수학 공식(trace formulas)과 컴퓨터 성능의 강력한 조합을 사용하여 결과를 증명했습니다.

• 그들은 건물이 마땅히 가져야 할 방의 개수를 추정하기 위해 공식을 사용했습니다.
• 그들은 추정이 충분히 정확하도록 "오차 항(error terms)"(수학의 복잡한 부분들)을 계산했습니다.
• 그들은 특정 크기까지의 모든 후보 건물을 확인하기 위해 (Magma라는 도구를 사용하는) 컴퓨터 프로그램을 작성했습니다.
• 그들은 특정 거대한 숫자(어떤 경우에는 $N > 5 \times 10^{14}$)보다 큰 건물에 대해서는, 도서관이 비어 있는 것이 수학적으로 불가능함을 증명했습니다.

따라서 그들이 "우리는 모두 찾았다"라고 말할 때, 그것은 정말로 그렇다는 뜻입니다. 그들은 완전하고 검증된 리스트를 가지고 있습니다.

호기심 많은 십 대를 위한 요약

이 논문을 보물 지도라고 생각하세요. 보물은 금이 아니라 지식입니다.

• 지도: 특정 숫자와 부호 패턴의 목록입니다.
• X 표시가 된 곳: 복잡한 수학적 구조가 너무나 완벽하게 단순화되어 모든 "새로운" 복잡성을 잃어버리거나(0차원이 됨), 혹은 가져서는 안 될 안정성(나쁜 소수에서의 좋은 감소)을 얻게 되는 드물고 마법 같은 순간들입니다.
• 결과: 저자들은 이 지도를 완전히 그려냈습니다. 이 특정 영역에는 아직 발견되지 않은 숨겨진 섬이 없습니다. 만약 당신이 제곱 없는 레벨을 가진 모듈러 곡선을 만들려고 하는데 그것이 그들의 리스트에 없다면, 그 건물은 반드시 새로운 이야기를 들려줄 것이며 이러한 "기적적인" 특성을 갖지 않을 것이라고 100% 확신할 수 있습니다.

그들은 심지 even 서론에서 언급된 구체적인 예시도 찾아냈습니다. $X_0(194)$라고 불리는 곡선은 소수 2에서 흔들리지만, 그것을 부수어 만든 $X^*_0(194)$는 2에서 완벽하게 견고합니다. 이것이 바로 그들이 추적하고 목록화한 "예상치 못한" 마법의 한 종류입니다.