x를 x+c로 옮기는 것만으로는 부족하다 — 트랜스시리즈의 강한 자기동형군이 반직접곱인 이유 (arXiv 2611.06520)

논문 첫 페이지에는 이런 급수가 놓여 있다. −3e^ex + e^exlog x + e^exlog²x + … − x¹¹ + 7 + πx + 1/(x log x) + 1/(x log²x) + … + 2x² + 6x³ + 24x⁴ + 120x⁵ + … + e^−x + 2e^−x² + 3e^−x³ + …. 하나의 수식 안에 지수 탑이 있고, 로그의 거듭제곱이 있고, 계승이 붙은 발산급수가 있고, 무한히 작아지는 항이 있다. 이 모든 것을 한 필드의 원소로 취급하는 대상이 트랜스시리즈(transseries), 다른 이름으로 로그-지수 급수다.

2026년 11월 4일 arXiv에 올라온 Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven의 59쪽 논문은 이 필드의 자기동형군을 계산한다. 세 사람은 이 주제로 이미 여러 편을 함께 썼고, 논문 말미의 감사 문구는 이 작업이 약 10년 전부터 이어졌다고 밝힌다. 결론은 한 문장으로 요약된다. 이 필드의 강한 자기동형군은 자명하지 않은 반직접곱이고, 꼬임원소가 없으며, 중심이 자명하다.

실수를 담은 필드, 그 위에 지수를 얹은 필드

트랜스시리즈 필드 𝕋는 x를 변수로 하는 형식적 급수들의 집합이되, 계수는 실수이고 지표(monomial)는 지수와 로그를 반복해 만든 것들이다. 중요한 성질이 하나 있다. 𝕋는 실폐쇄(real closed) 순서체이고, 동시에 지수사상 exp: 𝕋 → 𝕋^>0가 순서군의 동형사상으로 존재한다. 다시 말해 𝕋의 덧셈군 전체가 양수 부분의 곱셈군과 정확히 같아진다. 실수체 ℝ에서는 이런 일이 불가능하다. exp(ℝ)는 양수의 일부일 뿐이다.

논문은 이 필드가 단일한 한 필드가 아니라 Hahn 급수체들의 증가합집합이라는 점을 강조한다. 계수가 실수이고 지지집합이 잘 기반된(well-based) 급수들의 체 ℝ[[G]]를 Hahn 체라 부르는데, 𝕋는 그런 체 하나가 아니라 그런 체들을 무한히 쌓아 올린 합집합이다. 이 차이가 뒤에서 결정적이다. Hahn 체의 자기동형은 지표들의 순열처럼 다룰 수 있지만, 지수 구조가 얹힌 합집합에서는 그 직관이 그대로 통하지 않는다.

지수함수(빨강)와 그 역함수인 로그(파랑), 그리고 45도 대칭선. 트랜스시리즈 필드에서는 이 두 방향이 필드 전체에서 정확히 서로의 역이 된다 — Stpasha, CC0 (Wikimedia Commons)

필드에는 미분도 하나 붙어 있다. 실수에서는 0이고, x에서는 1이고, e^f에서는 (∂f)·e^f인 유일한 미분 ∂다. 그래서 이 글에서 자기동형이라 함은 미분체로서의 자기동형, 즉 미분까지 보존하는 사상을 뜻한다. 실폐쇄이므로 순서도 자동으로 보존되고, 상수체가 ℝ이므로 실수 위에서는 항등이다.

덧셈을 넘어서는 조건, 강한 덧셈성

보통의 덧셈적 사상은 유한합을 보존한다. 이 논문이 쓰는 조건은 그보다 강하다. 𝕋 안의 합mable한(summable) family (f_λ)에 대해, 그 상들의 family도 합mable하고 Φ(Σf_λ) = ΣΦ(f_λ)가 성립해야 한다. 합mable이라는 개념 자체가 생소할 수 있는데, 정의는 이렇다. 각 지표 m에 대해 m을 지지집합에 포함하는 항이 유한개뿐이고, 전체 지지집합의 합집합이 역순으로 잘 기반되어 있으면 그 family는 합mable하다.

이 조건이 없으면 무한급수의 재배열이 무너진다. 트랜스시리즈에서는 항이 무한히 많되 각 지표마다 유한개의 항만 기여하도록 배열되어 있으므로, 임의의 사상은 무한합을 엉뚱한 값으로 보낼 수 있다. 강한 덧셈성은 그런 자유도를 잘라낸다. 논문 1절은 이 개념을 Hahn 체 일반에서 정리하고, 잘 기반된 사상이 강한 선형 사상으로 유일하게 확장된다는 명제(Proposition 1.3)를 인용해 출발한다.

결과적으로 이 군은 다루기 어려운 괴물이 아니라, 두 개의 실수 매개변수로 완전히 기술되는 대상이 된다. 그것이 정리 A다.

정리 A — x의 상과 지수 위의 상만 정하면 나머지가 따라온다

정리 A의 진술은 이렇다. ℝ 위에서 항등이고 𝕋 안의 ℝ의 볼록껍질에서 0으로 사라지는 덧셈적 사상 α: 𝕋 → ℝ와 실수 c를 주면, σ(x) = x + c이고 모든 f에 대해 σ(e^f) = e^α(f)+σ(f)인 강한 자기동형 σ가 유일하게 존재한다. 그리고 모든 강한 자기동형은 이런 (α, c)의 쌍 하나에서 유일하게 나온다.

읽는 순서를 바꾸면 더 놀랍다. x가 어디로 가는지(c)와, 각 지수 e^f의 크기가 어떻게 뒤틀리는지(α)를 정하면, 나머지 모든 원소의 상이 강제된다. 트랜스시리즈는 x, log x, log log x, e^x, e^ex 같은 지표들로 빈틈없이 채워져 있으므로, 지표 위에서의 값이 전체를 결정한다. 대상이 거대한데 자유도는 놀랄 만큼 작다.

이 정리에는 곁가지가 하나 붙는다. σ가 강하게 덧셈적이면 그 역도 강하게 덧셈적이다. 그래서 강한 자기동형들은 합성 아래에서 군을 이룬다. 논문의 표기는 ΣAut_∂(𝕋)다. 이 역정리가 자명하지 않다는 점이 이 분야의 성격을 보여준다. 어떤 성질이 사상에 대해 성립한다고 해서 그 역사상에 자동으로 성립하지는 않기 때문이다.

반전 — 평행이동군은 정규부분군이 아니다

가장 자연스러운 자기동형은 f(x) ↦ f(x+c), 즉 x를 x+c로 옮기는 것이다. 이들은 군 T를 이루고, 덧셈군 ℝ과 동형이며, 당연히 아벨군이다. 직관적으로는 이 아벨군이 전체 군의 정규부분군일 것 같다. 아니다. 논문의 따름정리 7.14는 T가 정규부분군이 아니라는 것을 명시적으로 증명한다. 지수층을 뒤트는 사상 σ와 평행이동 σ₁을 섞으면 평행이동이 아닌 것이 나온다.

반대쪽에는 E가 있다. x를 고정하고 지수 위에서만 작용하는 사상들, 논문의 용어로 지수 토러스다. 이쪽은 정규부분군이고, 아벨군이 아니며, 크기가 2^2ℵ₀다. 크기를 계산하는 방식도 논문에 나온다. E는 ℝ-가군 Hom(𝕋^≻, ℝ)과 같은 크기이고, 𝕋의 크기가 2^ℵ₀이므로 그 위의 사상 공간은 2의 2의 알레프0제곱이 된다. 연속체보다 한 단계 더 큰 무한이다.

그래서 전체 군은 ΣAut_∂(𝕋) = E ⋊ T라는 내적 반직접곱이 된다(따름정리 6.8). "자명하지 않은"이라는 수식어가 중요하다. 두 조각이 서로 섞이므로 단순한 직적이 아니고, 그 섞임이 군의 성격을 결정한다. 지수 토러스의 지수체(exp를 보존하는 스칼라들의 집합)는 ℚ이고, 평행이동군의 지수체는 ℝ이라는 대비도 논문이 짚는다. 유리수만큼만 거듭제곱을 보존하는 사상과 실수 전부를 보존하는 사상이 서로 다른 층에 산다.

고정체가 알려주는 것 — ℝ은 이 필드 안에서 정의 가능하게 닫혀 있다

자기동형군을 계산하는 이유는 고정체를 얻기 위해서다. 군 G의 고정체 𝕋^G는 정의 가능하게 닫힌(정의폐쇄) 미분부분체가 된다. 역으로 어떤 부분체가 주어졌을 때, 그 체를 고정체로 갖는 부분군을 찾으면 그 부분체가 정의폐쇄임을 보일 수 있다. 논문은 이 경로로 여러 자연스러운 부분체를 한꺼번에 처리한다.

따름정리 6.6이 출발점이다. 항등이 아닌 평행이동의 고정체는 정확히 ℝ이다. 즉 x를 x+1로 옮기면 x를 포함하는 모든 것이 움직이고, 살아남는 것은 실수 상수뿐이다. 여기서 따름정리 C가 나온다. ℝ[[e_n^ℝ…e₀^ℝ]], ℝ[[ℓ₀^ℝ…ℓ_n^ℝ]], 지수 트랜스시리즈의 체 𝕋_exp, 로그 트랜스시리즈의 체 𝕋_log, 그리고 𝕋^ℚlog가 모두 𝕋 안에서 정의폐쇄다.

또 하나의 결과는 "작은 흔들림"이 없다는 것이다. 따름정리 5.16은 모든 지표 m에 대해 σ(m)이 m과 같은 크기(≍)라면 σ는 항등이라는 것을 보인다. 근사적으로라도 항등처럼 보이는 비자명한 자기동형은 존재하지 않는다. 이 필드의 대칭은 미세한 잡음이 아니라 거대한 층위 이동으로만 일어난다.

점근 전개의 나머지 항의 절대오차를 항 수에 대해 그린 그림. 항을 늘리면 어느 지점까지 좋아지다가 다시 나빠진다 — 발산급수를 다루는 이 분야의 전형적인 모습이다. PAR, CC0 (Wikimedia Commons)

경쟁 가설 — 이 군은 위상군이 될 수 있는가

군을 이해하는 다른 길은 위상을 주는 것이다. 부분군들의 격자가 위상적 닫힘으로 설명된다면, 고정체와 부분군의 대응을 위상 언어로 다시 쓸 수 있다. 실제로 이 분야에는 갈루아 위상이라는 후보가 있다. σ마다 왼쪽 곱셈을 연속으로 만들고, 각 f의 고정군을 닫힌 집합으로 선언해 얻는 가장 거친 위상이다.

논문은 이 희망을 명시적으로 닫는다. 보조정리 1.27은 이런 위상이 존재하면 그 위상 아래 조밀한 순환부분군이 생기고, 하우스도르프 공간에서 조밀한 아벨 부분군이 전체를 아벨로 만든다는 논증으로 모순을 이끈다. 따름정리 6.6과 결합하면, 닫힌 부분군이 정확히 위상적 닫힌 부분군이 되는 군 위상은 ΣAut_∂(𝕋)에 존재하지 않는다.

또 하나의 반론은 "정리가 강한 자기동형만 다루는데, 그게 전부인가"라는 것이다. 여기서 논문은 조심스럽다. 정리 A는 강한 자기동형을 분류하고, 그 역도 강하게 덧셈적이라는 것까지 보이지만, 미분체 자기동형 전체가 강하게 덧셈적이라는 주장을 이 논문의 정리로 내세우지는 않는다. 강한 덧셈성은 무한합을 보존하라는 실제 제약이고, 그 제약 아래에서 얻은 결론이다. 독자가 이 구분을 놓치면 논문보다 강한 결론을 읽게 된다.

논문이 스스로 남겨 둔 것

한계는 여러 층에 있다. 첫째, 다루는 필드는 계수가 실수인 특정한 𝕋 하나다. 계수체를 바꾸거나 더 큰 Hahn 체로 확장했을 때 같은 정리가 성립하는지는 이 논문의 범위 밖이다. 둘째, 정의폐쇄성을 보인 부분체들은 목록으로 제시된 것이지, 모든 미분부분체를 분류한 것이 아니다. 논문은 ℝ[[e_n^ℝ…]] 같은 구체적 대상마다 따로 증명을 붙인다.

셋째, 8절 끝에는 명시적인 열린 질문이 남는다. 1 → L^k_∞ → ΣAut^k_∂(𝕋) → ΣAut^k_∂(𝕋^klog) → 1이라는 완전열이 주어졌을 때, 이 열이 갈라지는가. 갈라진다면 전체 군이 두 조각의 반직접곱으로 더 단순하게 표현된다. 논문은 이 물음에 답하지 않고 다음 논문으로 넘긴다.

넷째, 기술적인 무게다. 59쪽 중 상당 부분이 잘 기반된 급수의 합, 절단, 강한 선형 사상의 일반론이고, 평면(flat) 트랜스시리즈 𝕋^♭가 정리 B의 증명에서 결정적인 역할을 한다는 사실도 본문을 읽어야 드러난다. 요약만 읽으면 "군이 반직접곱이다"라는 한 줄이 남지만, 그 한 줄을 받치고 있는 것은 무한급수의 수렴을 다루는 조심스러운 장치들이다.

독자에게 — 대칭이 적은 대상은 더 단단한가

이 논문이 던지는 질문은 트랜스시리즈에 국한되지 않는다. 어떤 구조의 자기동형군이 작고 뻣뻣하다는 사실은, 그 구조가 스스로를 거의 결정한다는 뜻이다. 반대로 자기동형이 풍부하면 구조는 느슨하고, 부분체들의 격자도 복잡해진다. 여기서는 후자가 2^2ℵ₀만큼 크고 전자는 ℝ만큼 작다. 두 사실이 같은 군 안에 반직접곱으로 공존한다.

여러분이라면 이 군을 어떻게 그리겠는가. 거대한 지수 토러스가 아래에 깔리고, 그 위에 실수 직선 하나가 얹혀 있으며, 두 층이 서로를 비틀어 놓는 그림. 그리고 그 그림에는 위상을 얹을 자리가 없다. 필드의 대칭을 이해한다는 것이 과연 군의 원소를 세는 일인지, 아니면 그 군이 필드에 남기는 그림자를 읽는 일인지 — 이 59쪽은 그 물음을 남긴 채 끝난다.

참고 자료

Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven, The group of strong automorphisms of the differential field of transseries, arXiv:2611.06520v1 [math.LO], 2026년 11월 4일 제출, 59쪽. 분류: Logic (math.LO); Rings and Algebras (math.RA).

원문: https://arxiv.org/abs/2611.06520v1

논문은 본문에서 참고문헌 [3], [4], [11], [15], [23], [24] 등을 인용하며, 특히 [3]의 부록 A와 [11]을 트랜스시리즈 구성의 표준 출처로 지목한다. 논문 말미의 AI 선언은 이 연구와 집필에 AI가 쓰이지 않았다고 밝힌다.