중간은 없다: 강하게 안정한 체는 유한하거나 대수적으로 닫혀 있다 (arXiv 2610.41430)

2026년 10월 30일, arXiv의 논리학(math.LO) 목록에 여섯 쪽짜리 논문 한 편이 조용히 올라왔다. 제목은 'Strongly stable fields', 저자는 상하이 푸단대학교의 윌 존슨(Will Johnson)과 홍콩대학교의 진허 예(Jinhe Ye)다. 이 분야에서 여섯 쪽은 논문이라기보다 쪽지에 가깝다. 그런데 그 쪽지가 2014년 사하론 셸라(Saharon Shelah)가 논문 말미의 질문 목록에 남겨 둔 물음 하나를 닫는다.

초록은 세 문장이다. 체 K가 강하게 안정(strongly stable)하다고 하자. 즉 안정(stable)이고 강하게 의존(strongly dependent)한다. 그러면 K는 유한하거나 대수적으로 닫혀 있다. 이것이 셸라의 질문에 답한다. 여기서 멈추면 무슨 말인지 알 수 없다. 안정성과 의존성과 대수적 폐포는 서로 다른 문법으로 쓰인 말이고, 이 셋이 한 문장에 들어가면 보통은 아무 뜻도 되지 않는다. 이 글은 그 세 문장을 풀어 보는 글이다.

셸라가 남긴 질문은 어디에 있었나

모형이론에는 1970년대부터 이어진 분류 프로젝트가 있다. 이론을 '얼마나 다루기 쉬운가'로 층층이 나누는 작업이다. 가장 아래층에 안정(stable) 이론이 있고, 그 위에 초안정(superstable) 이론이 있다. 안정 이론은 타입 공간이 통제 가능하고, 초안정 이론은 그 통제가 부분 구조로 내려갈 때까지 유지되는 이론이다. 셸라는 여기서 한 층을 더 만들었다. 2014년 논문 'Strongly dependent theories'에서 그는 NIP 세계를 위한 초안정의 아날로그를 제안한다.

논문이 인용하는 셸라의 문장은 이렇다. '초안정이 안정에 대해 그러한 것과 같다.' 즉 강하게 의존하는(strongly dependent) 이론은 NIP 이론 가운데 초안정에 대응하는 자리에 놓인다. 그리고 같은 논문의 질문 5.35(2)에 이런 물음을 남겼다. 강하게 안정한 체는 어떤 것인가. 12년 뒤 이 여섯 쪽이 그 번호를 정확히 인용해 답을 내놓는다.

사하론 셸라. 2014년 논문 'Strongly dependent theories'의 질문 5.35(2)가 이 글의 출발점이다. — Andrzej Roslanowski, CC BY-SA 2.5 (Wikimedia Commons)

강하게 안정하다는 것은 무엇인가

강하게 의존한다는 조건은 부정형으로 정의된다. 어떤 이론 T에 대해, 모형 M 안에 가산 개의 상호 판별 불가능한 열(mutually indiscernible sequence) I1, I2, I3, …와 유한한 튜플 a가 있어서 각 열 Ij가 a 위에서 판별 불가능하지 않게 되는, 그런 구성이 존재하지 않을 때 T를 강하게 의존한다고 한다. 판별 불가능한 열이란 그 열의 어떤 유한 부분도 순서만 같으면 같은 타입을 갖는 열이다. 즉 열 안에서는 원소들이 서로 구별되지 않는데, 바깥에서 튜플 a를 하나 끼워 넣으면 갑자기 구별되기 시작하는 상황, 그것이 강하게 의존하지 않는다는 것을 깨뜨리는 장면이다.

강하게 안정한 이론은 안정 이론이면서 동시에 강하게 의존하는 이론이다. 초안정 이론은 모두 강하게 의존하므로, 초안정은 강하게 안정에 포함된다. 포함은 진포함이다. 논문이 드는 예는 이렇다. 유리수 위의 벡터공간들이 V1 ⊋ V2 ⊋ V3 ⊋ …로 내려가는 사슬이 있을 때, 구조 (V1, +, V2, V3, …)는 강하게 안정하지만 초안정하지는 않다. 그리고 안정 이론이 강하게 안정할 필요충분조건은 모든 완전 타입 p가 유한한 무게(weight)를 갖는 것이다. 무게란 타입이 품고 있는 독립적인 차원의 수다. 강하게 안정하다는 것은 이 수가 모든 타입에서 유한하다는 조건으로 다시 쓸 수 있다.

정리: 무한하면 반드시 대수적으로 닫혀 있다

논문의 주정리(정리 1.1, 본문에서는 정리 2.8)는 이렇다. 강하게 안정한 이론에서 정의 가능한 무한한 체 K는 대수적으로 닫혀 있다. 유한한 체의 경우를 함께 적으면, 강하게 안정한 체는 유한하거나 대수적으로 닫혀 있다. 대수적으로 닫힌 체란 모든 다항식이 그 안에서 근을 갖는 체, 예컨대 복소수체 C나 표수 p의 대수적 폐포를 말한다. 유한체는 말할 것도 없이 유한하다.

이 정리가 강한 이유는 무엇이 빠졌는지에 있다. '적당히 큰' 체, '중간 정도로 복잡한' 체가 목록에 없다. 안정 이론 안에서는 체가 극단 두 가지로만 갈린다. 이 이분법은 새로운 추측이 아니라 정리로 증명되었고, 증명은 무한하고 대수적으로 닫히지 않은 강하게 안정 체가 존재한다고 가정해 모순을 끌어내는 방식이다.

증명의 뼈대: 완전체, 쿠머 확장, 유한-대-일 사상

이 정리는 갑자기 나온 것이 아니다. 논문이 스스로 나열하는 계보가 있다. 1971년 맥킨타이어의 정리(ω-안정 체는 대수적으로 닫히거나 유한하다), 1980년 셜린과 셸라의 정리(초안정 체도 그렇다), 2011년 크루핀스키와 필레이의 정리(강하게 안정한 체는 완전체이고, 제네릭 타입의 무게가 1이면 대수적으로 닫힌다), 헤일레비와 팔라신의 dp-유한 경우, 그리고 셸라 자신의 강하게 2-안정 경우. 이 논문은 이 계보의 마지막 빈칸을 메운다. 공통 골격은 늘 같다. 대수적으로 닫히지 않은 무한하고 강하게 안정한 체를 잡고, 유한 확장으로 아르틴-슈라이어 확장이나 쿠머 확장을 얻은 다음, 그것으로 모순을 만든다.

증명이 쓰는 사실은 세 가지다. 첫째, NIP 이론에서 표수 p가 0보다 큰 정의 가능한 무한체에서는 아르틴-슈라이어 사상 x ↦ x^p − x가 전사다. 그래서 그런 체에는 아르틴-슈라이어 확장이 없다. 둘째, 안정 이론에서 정의 가능한 무한체는 곱셈군과 덧셈군이 모두 연결(connected)이고 같은 제네릭 타입을 갖는다. 셋째, 강하게 안정한 이론에서 정의 가능한 체는 완전체다. 여기에 논문의 핵심 보조정리 2.4가 붙는다. X가 무한하고 f가 X × Y에서 Y로 가는 정의 가능한 유한-대-일 사상이면, 그 이론은 강하게 의존하지 않는다. 이 보조정리는 크루핀스키와 필레이의 명제 2.3 증명에서 수학적 알맹이만 뽑아낸 것이다.

보조정리 2.4의 증명은 짧고 그림이 선명하다. X 안에 ω × ω 크기의 상호 판별 불가능한 배열 a(i,j)를 잡는다. Y의 원소 b(n)을 아무렇게나 고른 뒤 b(i) = f(a(0,i), b(i+1))를 역방향으로 되짚어 채운다. 포화성에 의해 이 되짚기가 무한히 이어진다. f가 유한-대-일이므로 a(0,i)와 b(i+1)은 모두 b(i)의 대수적 폐포에 들어가고, 귀납적으로 0번 열 전체가 b(0)의 대수적 폐포에 들어간다. 그러면 배열의 어떤 행도 b(0) 위에서 판별 불가능하지 않다. 강하게 의존한다는 조건이 정확히 깨지는 것이다.

복소평면 위 z ↦ z³의 색상 지도. 쿠머 이론이 등장하는 자리, 즉 ℓ제곱 사상이 전사가 아닌 체의 모습을 떠올리게 한다. — Jan Homann, Public domain (Wikimedia Commons)

반직관적 결론: 가장 복잡한 체가 가장 단순한 이론

여기서 직관이 한 번 뒤집힌다. 대수적으로 닫힌 체는 얼핏 가장 복잡한 체처럼 보인다. 무한 차원이고, 모든 다항식이 근을 갖고, 원소가 셀 수 없이 많다. 그런데 논리적으로는 가장 단순한 축에 속한다. 대수적으로 닫힌 체의 이론은 양화사 제거를 갖고, ω-안정이며, 타입 공간이 극도로 잘 통제된다. 반대로 우리에게 친숙한 체들은 대부분 이 조건 밖에 있다. 실수체는 순서를 정의할 수 있어 불안정하고, 유리수체도 마찬가지다. p-진 체 역시 안정이 아니다.

그래서 이 정리는 '친숙한 체는 모두 이 조건을 만족하지 않는다'는 형태의 정리가 된다. 강하게 안정하다는 가정은 체를 극단으로 밀어붙이고, 남는 것은 유한체와 대수적 폐포뿐이다. 논문의 표현을 빌리면 강하게 안정한 이론의 클래스는 초안정보다 '다소 넓다'. 그 다소 넓은 틈을 메우는 데 12년이 걸렸고, 결과는 틈이 메워져도 결론이 바뀌지 않는다는 것이었다.

경쟁 가설과 반론

이 정리가 답하는 것은 셸라의 질문이지, 체 분류의 최종 지도가 아니다. 논문이 서두에 밝히듯 강하게 의존하는 체 전체에 대해서는 헤일레비, 하손, 얀케가 2019년에 분류 추측을 내놓았고, 그 추측은 지금까지 dp-유한 경우에서만 확인되었다. dp-유한이란 dp-랭크가 유한하다는 뜻으로, 단항 타입들의 무게에 균일한 유한 상한이 있는 경우다. 이 논문은 그 상한 가정을 버리고 강하게 안정하다는 조건만으로 같은 결론에 도달한다.

반론도 분명하다. 첫째, 이 정리는 강하게 의존하는 체 가운데 안정한 것만 다룬다. 실수적으로 닫힌 체처럼 강하게 의존하지만 불안정한 체는 대상이 아니다. 따라서 체 분류의 절반, 그것도 논리적으로 단순한 절반에 대한 정리다. 둘째, 증명은 귀류법이고 비구성적이다. '이런 체가 있으면 모순'이라는 형태이지, 주어진 체가 대수적으로 닫혔는지 판정하는 알고리즘을 주지 않는다. 셋째, 새 기법은 보조정리 2.4 하나이고 나머지는 기존 정리의 조합이다. 여섯 쪽이라는 분량이 그 사실을 그대로 보여준다.

논문이 스스로 밝힌 범위

이 논문에는 한계를 정리한 절이 따로 없다. 대신 서두에서 범위를 명시한다. 강하게 의존하는 체의 분류 추측은 dp-유한 경우에만 알려져 있고, 이 논문은 그 추측을 강하게 안정한 경우에 대해 확인한다. 즉 추측 전체의 증명이 아니다. 또한 정리의 형태 자체가 '강하게 안정한 체'라는 조건부 문장이며, 그 조건을 만족하는 체가 실제로 얼마나 되는지는 논문이 다루지 않는다. 강하게 안정한 이론이 초안정보다 조금 넓다는 사실만 예시 하나로 보여준다.

한 가지 눈에 띄는 문장이 말미에 있다. 이 논문을 쓰는 데 생성형 AI를 쓰지 않았고, 제시된 아이디어 가운데 AI가 만든 것은 없다는 선언이다. 여섯 쪽짜리 순수 논리학 논문에 그런 문장이 붙는 시대라는 점도 함께 기록해 둘 만하다. 그리고 독자에게 남는 질문은 이것이다. 우리가 아는 체들은 거의 모두 이 정리의 조건 밖에 있다. 그렇다면 '안정하다'는 성질은 체에 대해 무엇을 말해 주는 것인가. 아니면 아무것도 말해 주지 않고, 단지 우리가 아는 체들이 우연히 그 조건을 피해 있을 뿐인가.

참고 자료

Will Johnson, Jinhe Ye, 'Strongly stable fields', arXiv:2610.41430v1 [math.LO], 2026년 10월 30일, 6쪽. https://arxiv.org/abs/2610.41430

Saharon Shelah, 'Strongly dependent theories', Israel J. Math. 204(1):1–83, 2014 (질문 5.35(2)).

Yatir Halevi, Assaf Hasson, Franziska Jahnke, 'A conjectural classification of strongly dependent fields', Bulletin of Symbolic Logic 25(2):182–195, 2019.

Krzysztof Krupiński, Anand Pillay, 'On stable fields and weight', J. Inst. Math. Jussieu 10(2):349–358, 2011.