Gertsch quotient living in the "poor man's adele ring" $\mathcal{A}$: Kurepa-Bell-Wilson congruence

논문 요약: Gertsch 몫과 '가난한 아델 링 (Poor Man's Adele Ring)'에서의 Kurepa-Bell-Wilson 합동식

1. 연구 배경 및 문제 제기 (Problem)

• 쿠레파 추측 (Kurepa Conjecture): 1971 년 Duro Kurepa 가 제안한 이 추측은 임의의 $n > 2$에 대해 왼쪽 계승 (Left factorial, $!n = \sum_{k=0}^{n-1} k!$) 과 $n!$의 최대공약수가 2 라는 내용입니다. 이는 소수 $p > 3$에 대해 $!p \not\equiv 0 \pmod p$임을 증명하는 것과 동치입니다.
• 현재의 난제: 이 추측은 수백 년 동안 해결되지 않았으며, 다양한 접근법 (컴퓨터 검증, 대수적 변환 등) 이 시도되었으나 아직 증명되지 않았습니다.
• 핵심 문제: Kurepa 계승 ($K_p$) 을 소수 $p$에 대한 모듈로 연산에서 벨 수 (Bell numbers, $Bell_{p-1}$), 윌슨 몫 (Wilson quotient, $W_p$), 그리고 새로운 'Gertsch 몫 (Gertsch quotient, $G_p$)'과 연결하여, 이 합동식들이 '가난한 아델 링 (Poor Man's Adele Ring)'이라는 대수적 구조 내에서 어떻게 작용하는지 규명하는 것입니다.

2. 연구 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 기법을 활용하여 분석을 수행했습니다:

• 합동식 (Congruences) 및 모듈로 산술: 소수 $p$에 대한 Kurepa 계승, 벨 수, 데랑주먼트 수 (Derangement numbers), 베르누이 수 (Bernoulli numbers) 간의 관계를 정립했습니다.
• 새로운 몫 (Quotients) 의 정의:
  • Gertsch 몫 ($G_p$): $G_p = \frac{K_p - Bell_{p-1} + 1}{p}$로 정의되며, 이는 정수임을 증명했습니다.
  • 윌슨 몫 ($W_p$), 레르흐 몫 ($L_p$), 페르마 몫 ($q_p(a)$) 등 기존 개념들과의 관계를 설정했습니다.
• 아델 링 (Adele Ring) 구조의 적용: Kaneko 와 Zagier 가 제안한 '가난한 아델 링' $A := (\prod_p \mathbb{Z}/p\mathbb{Z}) / (\bigoplus_p \mathbb{Z}/p\mathbb{Z})$을 도입하여, 유한한 모듈로 값들을 무한한 대수적 구조로 확장하고 해석했습니다.
• Vladimirov 의 접근법 확장: Vladimirov 가 제안한 $p$-진수 및 베르누이 수를 이용한 Kurepa 추측의 동치 조건을 윌슨 몫 및 Gertsch 몫 관점에서 재해석하고 증명했습니다.
• 수치적 검증 (Numerical Verification): PARI/GP 등 컴퓨터 대수 시스템을 사용하여 소수 $p \le 3000$ (및 그 이상) 에 대해 Gertsch 몫, 윌슨 몫 등의 값을 계산하고 합동식을 검증했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

가. Kurepa-Bell-Wilson (KBW) 합동식의 정립

• 논문은 다음과 같은 새로운 합동식을 도출했습니다:
  $$\frac{K_p + 1}{p} \equiv \frac{Bell_{p-1}}{p} + W_p \pmod p$$
  여기서 $K_p$는 Kurepa 계승, $Bell_{p-1}$은 벨 수, $W_p$는 윌슨 몫입니다.
• 이 식은 Kurepa 계승이 벨 수와 윌슨 몫의 선형 결합으로 표현될 수 있음을 보여주며, 이를 통해 Kurepa-Bell-Lerch (KBL), Kurepa-Bell-Fermat (KBF) 등의 변형 합동식도 유도되었습니다.

나. Gertsch 몫 ($G_p$) 의 성질 및 Gertsch 소수

• 정의: $G_p = \frac{K_p - Bell_{p-1} + 1}{p}$로 정의된 Gertsch 몫은 모든 소수 $p \ge 3$에서 정수임을 증명했습니다.
• 윌슨 몫과의 관계: $p=3, 7, 2887$과 같은 특정 소수에서 $G_p \equiv W_p \pmod p$가 성립함을 확인했습니다.
• Gertsch 소수의 부재: 현재까지 알려진 바에 따르면 $G_p \equiv 0 \pmod p$를 만족하는 소수 (Gertsch 소수) 는 존재하지 않습니다. 이는 Kurepa 추측 ($K_p \not\equiv 0 \pmod p$) 이 참일 가능성을 강력하게 시사합니다.
  • 정리 2: 만약 $W_p \equiv 0 \pmod p$인 소수 (윌슨 소수, 예: 5, 13, 563) 에서 $G_p \equiv 0 \pmod p$라면 Kurepa 추측은 거짓이 됩니다. 그러나 수치적 계산에 따르면 윌슨 소수에서도 $G_p \not\equiv 0 \pmod p$임이 확인되었습니다.

다. '가난한 아델 링' (A) 내의 구조

• 논문은 Kurepa 계승과 관련된 몫들이 아델 링 $A$의 원소로 자연스럽게 존재함을 보였습니다.
• $\gamma^A_{K_p}$: $K_p \pmod p$를 아델 링에 매핑한 값 $\gamma^A_{K_p} := (K_p \pmod p)_p$는 0 이 아님을 증명했습니다.
• 이는 Kurepa 추측이 아델 링의 관점에서 비자명 (non-zero) 한 구조를 가진다는 것을 의미하며, 유한체 $GF(p)$에서의 성질을 무한한 대수적 구조로 확장하는 새로운 통찰을 제공합니다.

라. 오일러 상수 ($\gamma$) 와의 유사성

• Kaneko 등의 연구에 기반하여, Gertsch 몫, Lerch 몫, Agoh-Giuga 몫 등을 아델 링 내의 오일러 상수 유사체 ($\gamma^A_G, \gamma^A_L, \gamma^A_{AG}$) 로 정의하고, 이들이 로그 함수 $\log_A(x)$와 어떤 관계를 가지는지 분석했습니다.
• 특히, $\gamma^A_G + \log_A(m) = \gamma^A_Q(m)$과 같은 관계를 통해 Kurepa-Bell-Wilson 합동식이 오일러 상수의 유한 아날로그와 깊이 연결됨을 보였습니다.

4. 의의 및 중요성 (Significance)

1. Kurepa 추측에 대한 새로운 접근: 기존의 직접적인 증명 시도 대신, Kurepa 계승을 벨 수, 윌슨 몫, 그리고 새로운 Gertsch 몫과 연결하는 합동식을 통해 추측의 타당성을 간접적으로 지지하는 강력한 증거를 제시했습니다.
2. 대수적 구조의 확장: 수론의 고전적인 문제 (Kurepa, Wilson, Bell) 를 '가난한 아델 링'이라는 현대적인 대수적 구조 (Kaneko-Zagier 이론) 안에 통합함으로써, 유한체에서의 성질이 어떻게 더 넓은 수체 (Number Field) 구조로 확장되는지 보여줍니다.
3. 수치적 검증의 체계화: Gertsch 몫과 관련된 다양한 몫들 ($W_p, L_p, H_p$ 등) 의 수치적 값을 체계적으로 계산하고, 윌슨 소수 등 특수한 경우에서의 행동을 분석하여 추측의 반례를 찾지 못했음을 확인했습니다.
4. 다학제적 연결: Hodge 적분 (Faber-Pandhariponde 상수), 베르누이 수, 데랑주먼트 수, 그리고 $p$-진수 이론을 하나의 프레임워크로 통합하여 수학적 구조 간의 숨겨진 연결고리를 발견했습니다.

5. 결론

이 논문은 Kurepa 추측을 해결하기 위한 새로운 동치 조건과 합동식 체계를 제시하며, 특히 **Gertsch 몫 ($G_p$)**이 가난한 아델 링 내에서 0 이 아닌 중요한 대수적 객체임을 증명했습니다. 수치적 증거와 이론적 유추에 따르면, Gertsch 소수는 존재하지 않으며 이는 Kurepa 추측이 참일 가능성을 높여줍니다. 연구는 수론의 고전적 문제들을 현대적 대수기하학 및 아델 링 이론과 결합하여 새로운 연구 방향을 제시한다는 점에서 중요한 의의를 가집니다.