7개의 점에서 무한 탑까지 — 타원곡선의 2차 트위스트, 그린버그의 μ=0, 그리고 오일러 시스템 없이 간 증명

타원곡선 y² = x³ − x 를 소수 7로 나눈 나머지 세계, 즉 유한체 F₇ 위에서 세어 보자. x에 0부터 6까지 차례로 넣고 오른쪽 값이 제곱수로 남는 경우만 모으면 점이 7개 나오고, 여기에 무한원점 하나를 더해 모두 8개다. 7 + 1 − 8 = 0, 이 곡선의 7에서의 프로베니우스 흔적 a₇은 0이다. 같은 계산을 61에서 하면 아핀 점이 71개, 무한원점을 더해 72개이고 a₆₁ = −10이 된다.

이렇게 유한체 위에서 점을 세는 일은 타원곡선 산술의 출발점이다. 각 소수에서 얻은 국소적인 수들을 모아 전체 그림을 맞추는 작업이 남고, 그 맞춤이 어긋나는 정도를 재는 대상이 샤파레비치–타테 군(Шa)과 버치–스윈너턴다이어(BSD) 추측이다. Mulun Yin이 2026년 10월 30일 arXiv에 올린 논문 2610.42137은 이 맞춤을 소수 p의 무한 탑 위에서, 그것도 2차 트위스트로 변형된 곡선들에 대해 다룬다.

무한 탑 위에서 자라는 수

p를 고정하고 유리수체에 p^n차 단위근을 모두 붙여 만든 체의 탑 Q ⊂ Q(ζ_p) ⊂ Q(ζ_p²) ⊂ … 을 생각하자. n번째 층의 류수 h_n에 대해, n이 충분히 크면 v_p(h_n) = μp^n + λn + ν 라는 단순한 꼴이 성립한다는 것이 이와사와 이론의 출발점이다. 지수적으로 부푸는 항의 계수 μ와 선형으로 자라는 항의 계수 λ가 이와사와 불변량이다.

타원곡선에서도 같은 질문을 던질 수 있다. 각 층 위의 셀머 군을 모아 만든 이와사와 대수 Λ = Z_p[[T]] 위의 모듈을 보고, 그 폰트랴긴 쌍대가 비틀림 모듈인지(마주어의 코토션 추측), 비틀림이라면 μ와 λ가 얼마인지 묻는다. μ = 0 이라는 것은 탑을 아무리 올라가도 p-part가 지수적으로 새로 생기지 않는다는 뜻이다. 그래서 μ는 정리의 내용을 바꾸는 값이라기보다, 계산이 닫히게 해 주는 스위치에 가깝다.

2차 트위스트: 같은 곡선, 다른 국소 조건

제곱인수 없는 정수 d에 대해 E의 2차 트위스트 E^d는 d y² = x³ + ax + b 로 정의된다. 유리점의 집합은 대개 황량해지지만 구조는 원래 곡선과 단단히 묶여 있다. 좋은 소수 p에서 a_p(E^d) = (d/p)·a_p(E), 즉 르장드르 기호만큼 흔적의 부호가 뒤집힌다.

실수 위의 타원곡선 y² = x³ + x² − x 와 그 위의 유리점 (1,1), (1,−1), (−1,1), (−1,−1), (0,0). 유한체 위의 점 세기가 이 그림의 유리점과 어떻게 이어지는지가 BSD 추측의 질문이다 — Googolplexian1221, CC0 (Wikimedia Commons)

그래서 트위스트는 새로운 곡선을 처음부터 푸는 일이 아니라, 같은 곡선의 국소 조건을 골라서 바꾸는 일이 된다. 논문이 [GV00], 즉 그린버그와 밧살의 2000년 논문에서 가져온 허용 가능(admissible) 조건은 이렇게 바꾼 국소 조건이 다루기 좋은 형태로 유지되는 경우를 가리킨다. 조건을 걸어 두면 셀머 군에서 군더더기 부분을 잘라낼 수 있고, 남은 부분의 이와사와 불변량을 실제로 읽어낼 수 있다.

반전: 오일러 시스템 없이

이 분야의 표준 무기는 오일러 시스템이다. 콜리바긴이 만든 계열의 점들을 이용해 셀머 군을 조이는 기술로, 마주어의 코토션 추측이나 이와사와 주 가설의 많은 경우가 이 무기로 증명되어 왔다. 카토의 오일러 시스템도 같은 계열이고, 보통 환원에서의 주 가설을 다루는 스키너–어반의 작업 역시 이 계보에 속한다.

논문의 반전은 여기에 있다. 저자는 아이젠슈타인 소수에서의 모든 2차 트위스트에 대해 그린버그의 μ = 0 추측을 확인하고, 그로부터 오일러 시스템을 쓰지 않는 마주어 코토션 추측의 증명을 얻는다고 주장한다. 통상 무거운 기계가 들어가야 할 자리에, 불변량 하나가 0임을 보이는 계산이 대신 들어간다는 것이 이 논문의 구도다. 주 가설과 BSD의 p-part 결과도 그 뒤에 따라붙는다.

결과의 사슬: 주 가설과 BSD의 p-part

μ = 0과 λ에 대한 정보는 그 자체로 끝나지 않는다. 논문은 이를 통해 원분 이와사와 주 가설을 증명하고, 계수 0에서 BSD 공식의 p-part, 즉 L(E,1)/Ω = #Шa · ∏c_p / |E(Q)_tors|² 의 양변을 p에서 비교한 등식을 허용 가능한 트위스트에 대해 얻는다고 주장한다. 여기서 c_p는 국소 템퍼드 상수, Ω는 실주기다.

p-part라는 한정이 중요하다. 소수 p를 하나 고정하고 그 소수에서의 지수만 맞춘다는 뜻이므로, 모든 소수를 한꺼번에 맞추는 완전한 BSD와는 다른 주장이다. 다만 논문은 잠재적 보통 환원을 갖는 많은 타원곡선이 이 틀에 들어온다고 말한다. 조건이 붙은 만큼 주장의 무게도 그 조건 안에서만 유효하다.

왜 μ = 0은 자명하지 않은가

μ가 0인지는 흔히 대개 그렇다고들 말하지만, 그것은 정리가 아니라 경험에 가깝다. 0이 아닌 μ가 실제로 나타나는 예가 알려져 있고, 그래서 그린버그는 μ = 0을 추측으로 세웠다. 반대로 아벨 수체의 원분 Z_p 확장에서는 페레로–워싱턴 정리가 μ = 0을 보장한다. 즉 μ = 0은 보편 법칙이 아니라, 언제 성립하는지를 물어야 하는 성질이다.

논문은 그 언제에 아이젠슈타인 소수에서의 2차 트위스트라는 조건을 넣는다. 조건이 필요하다는 사실 자체가 μ = 0이 자동으로 오는 성질이 아니라는 뜻이고, 동시에 이 논문의 결과가 어떤 좁은 문을 지나서 얻어진 것인지를 보여 준다. 문이 좁을수록 증명의 각 단계는 더 꼼꼼히 읽혀야 한다.

같은 곡선 y² = x³ − x 를 유한체 Z/61Z 위에서 그린 점들. 국소 정보는 이렇게 유한한 목록으로 계산되지만, 그 목록들을 전부 모아 전역적인 주장을 만드는 일은 별개의 문제다 — trshaffer, CC0 (Wikimedia Commons)

경쟁 가설과 반론

같은 목표에 다른 길이 있다. 카토의 오일러 시스템으로 주 가설의 한쪽 부등식을 얻고, 스키너–어반이 보통 환원 전체로 넓히는 경로가 하나다. 다른 하나는 λ 불변량을 p-adic L-함수의 도함수나 주기로 읽어 내는 해석적인 접근이다. 이 논문의 결과가 옳다면 그 경로들보다 훨씬 적은 기계로 같은 결론의 일부에 도달한다는 뜻이므로, 반론은 자연히 적은 기계로 정말 되는가에 집중된다.

가장 현실적인 반론은 조건의 폭이다. 허용 가능성, 보통 환원, 아이젠슈타인 소수, 계수 0 — 네 조건이 겹치는 영역은 전체 타원곡선의 바다에서 작은 호수일 수 있다. 논문 스스로 온화한 조건 아래라는 단서를 붙였으므로, 그 조건이 실제로 얼마나 자주 만족되는지는 별도의 계산과 통계가 필요한 문제로 남는다. 조건의 빈도는 정리의 가치를 깎지 않지만, 정리의 사정거리를 정한다.

논문이 스스로 밝힌 한계

초록이 명시하는 범위는 분명하다. 소수는 p ≥ 3인 보통 아이젠슈타인 소수로 한정되고, 트위스트는 허용 가능한 것만 다루며, BSD 쪽 결과는 계수 0에만 적용된다. 계수 1 이상에서의 BSD, 즉 타원곡선 산술에서 가장 어려운 부분은 이 논문의 사정거리 밖이다.

논문은 29쪽 분량에 논평을 환영한다는 문구를 달고 있다. 이 글은 초록과 서지 정보만으로 쓴 소개이므로, 증명의 세부나 가정의 미묘한 조건은 원문을 직접 봐야 한다. 확인하지 못한 부분은 논문은 주장한다로 남겨 두는 것이 옳고, 초록에 없는 배경 설명은 이 글을 쓴 쪽의 해설임을 밝혀 둔다.

독자에게

수학에서 기계를 빼고 증명한다는 것은 종종 미학의 문제가 아니라 검사의 문제다. 오일러 시스템에 기대지 않는 증명은 가정의 목록이 짧고, 따라서 어디가 틀렸는지 찾기도 쉽다. 반대로 짧은 증명은 숨은 가정이 한 줄에 여러 개 겹쳐 있을 때 더 위험해지기도 한다.

당신이 이 분야를 전공하지 않았더라도 질문은 남는다. 우리는 어떤 정리를 증명되었다고 부를 때, 그 증명이 딛고 선 가정의 목록까지 함께 읽고 있는가. 아니면 결론만 읽고 조건은 각주로 밀어 두고 있는가.

참고 자료

• Mulun Yin, “On the Iwasawa invariants of admissible quadratic twists of elliptic curves at ordinary Eisenstein primes”, arXiv:2610.42137 [math.NT], 2026-10-30, 29쪽. https://arxiv.org/abs/2610.42137
• 초록 원문: https://arxiv.org/abs/2610.42137v1
• [GV00] R. Greenberg, V. Vatsal, “On the Iwasawa invariants of elliptic curves”, 2000 — 논문이 인용한 허용 가능(admissible) 조건의 출처.
• 이미지: Wikimedia Commons, CC0 (퍼블릭 도메인 기증).