🔢 mathematics

p-Adically convergent loci in varieties arising from periodic continued fractions

$p$ -진 연분수의 대안적 정의에서 영감을 받은 본 논문은 이차 방정식을 만족하며 부분 몫이 $\mathbb{Z}[1/p]$ 에 속하는 주기적 연분수를 나타내는 대수 다양체의 $p$ -진 수렴 궤적을 조사하며, 특히 이들의 0차원 및 1차원 사례를 특징짓는다.

원저자: Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

게시일 2026-07-13

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신에게 숫자의 리스트를 입력받아 하나의 무한한 분수를 내뱉는 마법의 숫자 기계가 있다고 상상해 보십시오. 우리가 아는 일반적인 수학(아르키메데스 세계)에서, 우리는 이 기계가 어떻게 작동하는지 정확히 알고 있습니다. 만약 반복되는 리스트를 입력하면, 그것은 대개 특정 숫자로 수렴합니다. 마치 진자가 멈출 때까지 흔들리다가 결국 멈추는 것과 같습니다. 이것이 라그랑주로부터 내려온 고전적인 연분수의 이야기입니다.

하지만 우리의 일반적인 자를 대신하여 이상한 p-진수(p-adic) 자를 사용한다면 어떻게 될까요? p-진수의 세계에서 숫자들은 전혀 다른 종류의 찰흙으로 만들어진 것처럼 행동합니다. '가까움'에 대한 규칙이 뒤집힙니다. 두 숫자는 그 차이가 소수 $p$ 의 거대한 거듭제곱으로 나누어질 때 "가깝다"고 간 l여겨집니다. 이 기묘한 우주에서, 동일한 무한 분수 기계는 결코 단 하나의 답으로 정착하지 못한 채 영원히 요동치며 돌아갈 수도 있습니다.

이 논문은 이 p-진수 분수 기계들이 실제로 회전을 멈추고 실수로 수렴하는 특정한 "주소"(대수적 다양체)를 찾아내는 탐정 이야기입니다. 로라 카푸아노(Laura Capuano)와 그녀의 팀은 반복되는 분수를 나타내는 각 점이 수렴하는지, 아니면 혼돈스러운 막다른 길인지 그 지도를 그려내고 있습니다. 그들의 임무는 바로 이 '수렴하는 점'들의 지형을 파악하는 것입니다.

수렴의 황금률

연구팀은 이 분수들을 위한 교통 신호등 역할을 하는 단순하고 엄격한 규칙(정리 3.1)을 발견했습니다. 반복되는 분수가 p-진수 세계에서 안착하려면 다음 두 가지 조건이 충족되어야 합니다:

합이 커야 함: 반복되는 숫자들의 특정 조합이 p-진수 의미에서 "커야" 합니다(즉, $p$ 의 높은 거듭제곱으로 나누어져야 함).
제로 나누기 금지: 중간 단계들에 대한 일련의 검사를 통해, 실수로 0으로 나누거나 벽에 부딪히는 일이 없어야 합니다.

만약 이 조건들이 충족되지 않는다면, 그 분수는 가망이 없는 것입니다. 결코 수렴할 수 없습니다. 저자들은 이것이 단순한 추측이 아니라, 엄연한 수학적 사실임을 증명합니다.

지형도 그리기: 작은 차원들

저자들은 반복 패턴이 짧은(길이 1, 2, 또는 3) 가장 단순한 형태의 지형에 초점을 맞춥니다. 그들은 마치 지도 제작자처럼 수렴이 가능한 경계를 그려냅니다.

일단계 루프 (Type 0,1): 여기서는 분수가 하나의 숫자만을 반복합니다. 논문은 이것이 작동하려면 해당 숫자가 매우 특정한 유리수 값이어야 함을 증명합니다. 만약 루프를 정의하는 다항식이 p-진수 세계에서 근을 갖지 않는다면, 지도는 비어 있게 됩니다. 이곳에는 숨어 있는 무리수 제곱근이 없습니다. 기계는 결코 그것들에 수렴하지 않을 것입니다.
이단계 루프 (Type 0,2): 패턴이 두 숫자를 반복할 때, 저자들은 수렴이 여전히 극도로 드물다는 것을 발견합니다. 만약 수렴이 일어난다면, 그 두 숫자의 곱은 매우 특정한 형태의 제곱수여야 함을 보여줍니다. 이 역시 무리수 제곱근을 목적지로 삼을 수는 없습니다.
삼단계 루프 (Type 0,3): 여기서 상황은 더 흥미로워집니다. 패턴에 세 개의 숫자가 포함되면 지형이 넓어지지만, 여전히 사막과 같습니다. 저자들은 특정 유형의 숫자(순수 근호 형태인 $\sqrt{d}$ )에 대해, 수렴하는 분수의 개수가 유한함을 증명합니다. 그들은 단순히 "드물다"고 말하는 것이 아니라, 복잡한 자물쇠에 맞는 몇 개의 특정 열쇠를 찾는 것처럼 해결책이 한정되어 있음을 증명합니다.

펠 방정식과의 연결

$\sqrt{d}$ 와 같은 제곱근을 포함하는 삼단계 루프에 대해, 저자들은 **펠 방정식(Pell equation)**과의 숨겨진 연결 고리를 밝혀냅니다. 펠 방정식은 $x^2 - dy^2 = n$ 과 같은 형태로, 수 세기 동안 연구되어 온 고대의 디오판토스 퍼즐입니다.

이 논문은 $\sqrt{d}$ 에 대한 수렴하는 p-진수 분수를 찾는 것이 특정 펠 방정식의 해를 찾는 것과 정확히 일치함을 보여줍니다. 이는 강력한 도구입니다. 왜냐로 우리는 "기본 단위(fundamental unit)"라는 마스터 키를 사용하여 펠 방정식의 해를 생성하는 가족들을 만들 수 있기 때문입니다. 그러나 저자들은 이를 통해 부정적인 결과를 입증하는 데 사용합니다. 즉, 펠 방정식에는 무한한 해의 집단이 존재함에도 불구하고, 오직 유한한 수의 해만이 엄격한 p-진수 수렴 규칙을 만족한다는 것입니다.

그들은 구체적인 예시도 구성합니다. 예를 들어, 특정 소수를 사용하여 $\sqrt{10}$ 이나 $\sqrt{5}$ 에 대한 수렴하는 분수를 만드는 방법을 보여주지만, 이것들이 광활한 대륙이 아니라 고립된 성공의 섬이라는 점을 주의 깊게 명시합니다.

무엇을 배제하는가

이 논문이 무엇을 다루지 않는지 이해하는 것이 중요합니다.

마법의 알고리즘 없음: 저자들은 모든 숫자에 대해 분수를 생성하는 유명한 브라우킨(Browkin)이나 루반(Ruban) 방식과 같은 고정된 알고리즘을 보고 있는 것이 아닙니다. 대신, 그들은 임의의 반복되는 수열을 살펴봅니다.
단순 루프에서의 무리수 제곱근 불가: 가장 단순한 루프(길이 1 및 2)의 경우, 논문은 무리수 제곱근으로 수렴하는 것이 불가능함을 증명합니다. 만약 단순한 반복 분수를 p-진수 세계의 $\sqrt{2}$ 나 $\sqrt{3}$ 과 같게 만들려고 시도한다면, 결코 이루어지지 않을 것입니다.
단순한 경우의 무한한 해 없음: 복잡한 경우 일부는 무한한 해의 가족을 가질 수 있지만, 저자들은 "순수 근호" 케이스(삼단계 루프를 가진 $\sqrt{d}$ 와 같은 경우)에 대해 해의 개수가 유한하다는 것을 증명합니다.

결론: 유한하고 정밀함

저자들은 단순히 이러한 수렴점들이 존재할 수 있다고 제안하는 것이 아니라, 자신들이 연구한 경우들에 대해 해 집합의 유한성을 증명했습니다. 그들은 단순히 컴퓨터 시뮬레이션을 돌려 "몇 개 있는 것 같다"고 말한 것이 아닙니다. 그들은 대수 기하학과 수론의 깊은 도구들을 사용하여 수렴하는 점들의 집합이 유한한 좌표들의 모임임을 보여주었습니다.

예를 들어, 3단계 루프를 가진 $\sqrt{10}$ 의 경우, 그들은 $[13, 9/53, -4]$ 와 같이 작동하는 몇 안 되는 구체적인 분수들을 명시적으로 나열합니다. 또한 특정 유형의 숫자들(4로 나누어지거나 -1 mod 4인 소수 등)의 경우, 해 집합이 공집합임을 보여줍니다. 즉, 수렴하는 분수가 전혀 존재하지 않습니다.

거시적 관점

이 논문은 수학적 우주의 작고 까다로운 구석에 대한 엄밀한 지도입니다. p-진수 세계는 반복되는 패턴으로 가득 차 있지만, 실제로 숫자로 안착하는 패턴은 믿기 힘들 정도로 까다롭다는 것을 알려줍니다. 그것들은 대수적 조건의 완벽한 정렬을 요구합니다. 저자들은 경계를 그리고, 그 경계가 유한함을 증명했으며, "안전 지대"가 정확히 어디인지를 우리에게 보여주었습니다. 그들은 모든 숫자를 수렴하게 만드는 방법을 찾은 것이 아니라, p-진수 기계가 마침내 회전을 멈추고 명확한 답을 내놓는 희귀하고 특별한 경우들을 성공적으로 식별해 냈습니다.

기술 요약: 주기적 연분수를 통해 발생하는 다양체에서의 $p$ -진 수렴 로커스(Locus)

문제 제기
본 논문은 홀수 소수 $p$ 에 대하여, $S$ -정수 환 $\mathbb{Z}[1/p]$ 내의 부분 몫을 갖는 주기적 연분수(Periodic Continued Fractions, PCFs)의 $p$ -진 수렴성을 조사한다. 고전적인(아르키메데스적) 연분수 이론은 라그랑주 정리(Lagrange's theorem)를 통해 주기성과 이차 무리수를 연결하며 잘 확립되어 있으나, $p$ -진 설정은 이와 구별되는 독특한 과제들을 제시한다. 고전적인 경우와 달리, $p$ -진 연분수를 생성하는 단일한 정준 알고리즘은 존재하지 않는다(예: Ruban, Browkin, Schneider 알고리즘 등이 존재하지만 유일하지 않음). 따라서 저자들은 특정 알고리즘에 의해 생성된 전개만을 연구 대상으로 제한하지 않는다. 대신, 저자들은 주어진 이차 방정식의 해를 만족하는 형식적 주기적 연분수를 나타내는 대수적 다양체를 정의한 Brock, Elkies, Jordan(BEJ21)의 연구에서 영감을 얻어 기하학적 관점을 채택한다. 핵심 문제는 이러한 다양체의 $p$ -진 수렴 로커스(p-adically convergent locus), 즉 아르키메데스적 절대값이 아닌 $p$ -진 절대값에 대해 수렴하는 연분수에 대응하는 점들의 부분집합을 규명하는 것이다.

방법론
저자들은 대수 기하학, 산술, 그리고 선형 재귀열 및 펠 방정식(Pell equations) 이론의 합성을 활용한다.

기하학적 프레임워크: 저자들은 이차 다항식 $F(x) = Ax^2 + Bx + C$ 와 전주기(pre-period) 및 주기의 길이 $(N, k)$ 를 갖는 다양체 $V(F)_{N,k}$ 를 활용한다. 이 다양체의 점들은 $[b_1, \dots, b_N, \overline{a_1, \dots, a_k}]$ 형태의 PCF를 나타내는 튜플 $(b_1, \dots, b_N, a_1, \dots, a_k)$ 에 대응한다.
수렴 판정 기준: 핵심 도구는 순수 주기적 연분수 $P = [a_1, \dots, a_k]$ 의 $p$ -진 수렴을 위한 필요충분조건을 제공하는 정리 3.1이다. 이 판정 기준은 주기와 관련된 행렬 $M(a_1, \dots, a_k)$ 의 고윳값(eigenvalues)에 의존한다. 구체적으로, 수렴을 위해서는 해당 행렬의 트레이스(trace)의 $p$ -진 절대값이 1보다 커야 하며, 행렬 거듭제곱의 특정 성분들이 엄격한 $p$ -진 가치(valuation) 부등식을 만족해야 한다.
경우별 분석: 저자들은 낮은 차원(여기서 $N+k \leq 3$ $N + k \leq 3$ )의 다양체를 분석한다. 각 유형 $(N, k)$ $(N, k)$ 에 대해 저자들은 다음을 수행한다:
- $V(F)_{N,k}$ 상의 $\mathbb{Z}[1/p]$ -유리 점들의 집합을 규명한다.
- 정리 3.1을 적용하여 $p$ -진 수렴하는 점들을 필터링한다.
- 가능한 경우, $F$ 의 계수들을 사용하여 수렴하는 점들을 명시적으로 표현한다.
디오판토스적 연결: "순수 근호(pure radicals)"( $F(x) = x^2 - d$ )의 경우(유형 (0, 3)), 다양체의 정의 방정식은 일반화된 펠 방정식으로 귀결된다. 저자들은 선형 재귀열 이론과 펠 해의 단위군 작용(unit group action)을 활용하여 유한성 결과를 도출하고 명시적인 수렴 전개 가족을 구성한다.

주요 기여 및 결과

일반 수렴 판정 기준: 본 논문은 주기적 분수의 $p$ -진 수렴에 대한 날카로운 판정 기준인 정리 3.1을 확립한다. 이 결과는 기존의 충분 조건(예: Browkin의 결과)과는 구별되며, 수렴 여부가 전주기가 아닌 주기 부분의 행렬 특성에 달려 있음을 강조한다.
저차원에서의 명시적 열거:
- 유형 (0,1), (1,1), (0,2): 저자들은 수렴 로커스의 완전한 규명을 제공한다. 예를 들어, 유형 (0,1)의 경우, 유일한 유리 점이 $F$ 의 계수들과 관련된 특정 $p$ -진 부등식을 만족할 때만 수렴이 발생한다.
- 유형 (2,1), (0,3): 저자들은 이 유형들에 대해 $p$ -진 수렴 로커스의 유한성을 증명한다. 유형 (0,3)에서 $F(x) = x^2 - d$ 인 경우, 수렴하는 점들의 집합은 고정된 $d$ 에 대해 유한하다.
- 유형 (1,2): 수렴 로커스가 유한함을 보였으며, $F$ 의 가약성(reducibility) 및 특정 $p$ -진 가치와 관련된 조건을 통해 이 로커스가 비어 있지 않을 조건을 제공한다.
명시적 가족의 구성:
- $F(x) = x^2 - d$ 이고 $d = a^2 + 1$ 인 경우, 저자들은 특정 선형 재귀열(체비쇼프 다항식과 관련된) 내의 소수 거듭제곱을 식별함으로써 유형 (0,3)의 $p$ -진 수렴 PCF의 무한 가족을 구성한다.
- $\sqrt{p^2+1}$ 및 $\sqrt{a^2+1}$ 과 같은 형태를 포함하여, 무수히 많은 정수의 제곱근에 대한 명시적인 수렴 주기적 전개를 구성한다.
- 유형 (1,3)의 경우, $\sqrt{10}$ 및 $\sqrt{p^2+1}$ 을 포함한 이차 무리수에 대한 명시적인 수렴 전개 가족을 제공한다.
부존재 결과: 본 논문은 특정 유형(예: (0,1) 및 (0,2))에 대해 무리수 제곱근이 수렴하는 PCF의 극한이 될 수 없음을 보여주며, 이는 Browkin 연분수에 관한 기존 결과와 일치한다. 또한 $\sqrt{d}$ 에 대해 유형 (0,3)의 수렴하는 PCF가 존재하지 않는 조건(예: $d \leq 0$ 또는 특정 모듈로 제약 조건)을 식별한다.

의의 및 주장
본 논문은 고정된 생성 알고리즘에 의존하지 않고 주기적 연분수의 $p$ -진 수렴을 다룬 첫 번째 체계적인 기하학적 연구라고 주장한다. 다양체 $V(F)_{N,k}$ 의 기하학적 성질에 초점을 맞춤으로써, 저자들은 다음과 같은 성과를 거두었다:

다양한 $p$ -진 전개들을 단일한 대수적 프레임워크 아래 통합하였다.
저차원 사례에서 주어진 이차 무리수에 대한 수렴 전개의 수를 결정하는 효과적인 유한성 결과를 도출하였다.
정수의 제곱근에 대한 명시적이고 비자명한 $p$ -진 수렴 전개 가족을 구성함으로써, 이러한 전개들이 표준적인 "바닥 함수(floor function)" 알고리즘으로부터 발생하지 않더라도 무수히 많은 정수와 소수에 대해 존재함을 입증하였다.

저자들은 낮은 차원에 대한 결과는 명시적이지만, 수렴하는 점과 다항식 $F$ 사이의 관계는 차원이 높아질수록 덜 투명해진다는 점을 언급한다. 그들은 본 연구가 펠 방정식 및 선형 재귀열에 관한 깊은 산술적 문제와 $p$ -진 연분수 이론을 연결하며, 이 형식적 급수의 수렴에 대한 새로운 관점을 제공한다고 강조한다.