The dynamics of the Hesse derivative on the $j$-invariant

논문 요약: j-불변량에 대한 헤세 미분 (Hesse Derivative) 의 동역학

1. 연구 문제 (Problem)

이 논문은 타원 곡선 (elliptic curve) 의 **헤세 미분 (Hesse derivative)**이 곡선의 **j-불변량 (j-invariant)**에 미치는 영향을 동역학적 관점에서 연구하는 것을 목표로 합니다.

• 배경: 주어진 3 차 곡선 $C$에 대해 헤세 행렬식 (Hessian determinant) 을 취하여 얻은 새로운 3 차 곡선 $H_C$를 '헤세 미분'이라고 합니다. 이는 3 차 곡선들의 가계 (family) 에서 자기 사상 (self-map) 으로 작용합니다.
• 핵심 질문: j-불변량 $j(C)$가 유리 함수 $H(j)$ 하에서 주기적 (periodic) 일 때, 실제 타원 곡선 $C$는 헤세 미분 연산 하에서 주기적인가? 만약 그렇다면 그 주기 (orbit size) 는 j-불변량의 주기와 어떤 관계가 있는가?

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구를 사용하여 문제를 접근했습니다.

• 대수적 기하학 및 정준형 변환:
  • 타원 곡선을 Weierstrass 형식 ($y^2z - x^3 - axz^2 - bz^3$) 으로 표현하고, 헤세 행렬식을 적용하여 새로운 다항식을 유도했습니다.
  • 선형 좌표 변환을 통해 헤세 미분된 곡선을 다시 Weierstrass 형식으로 변환하여 새로운 j-불변량을 계산했습니다.
• 동역학계 (Dynamical Systems) 분석:
  • j-불변량 공간 (리만 구 $\hat{\mathbb{C}}$) 위에서 정의된 유리 함수 $H(j) = \frac{(6912-j)^3}{27j^2}$의 동역학을 분석했습니다.
  • 고정점 (fixed points), 주기점 (periodic points), 전주기점 (preperiodic points) 을 분류하고, Julia 집합의 성질을 규명했습니다.
• 군론적 접근 (Group Theory):
  • 표준 헤세 펜슬 (Standard Hesse pencil) $V(x^3+y^3+z^3-3txyz)$의 자동사상군 (Hessian group, $G_{216}$) 을 분석하여, j-불변량의 주기가 실제 곡선의 주기에 어떻게 영향을 미치는지 증명했습니다.
  • 자동사상군의 작용과 피브레이션 (fibration) 의 구조를 이용하여 곡선의 동치 클래스를 추적했습니다.
• 계산적 실험 (Computational Experiments):
  • Macaulay2 및 Mathematica 를 사용하여 구체적인 j-불변량에 대한 곡선의 헤세 미분 반복을 계산하고, 궤도 크기 (orbit size) 데이터를 수집하여 표로 정리했습니다.

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

가. 헤세 미분 함수 $H(j)$의 유도 및 동역학 특성

• 함수 유도: Lemma 1 과 Proposition 1 을 통해 헤세 미분된 곡선의 j-불변량 $j(H_C)$가 원래 j-불변량 $j(C)$에 대해 다음과 같은 유리 함수로 표현됨을 직접 증명했습니다.
  $$H(j) = \frac{(6912 - j)^3}{27j^2}$$
• 동역학적 성질:
  • 이 함수는 post-critically finite (PCF) 함수이며, 모든 임계점 (critical points) 이 전주기적입니다.
  • Julia 집합 $J(H)$는 전체 리만 구 $\hat{\mathbb{C}}$임을 보였습니다 (Proposition 2).
  • 고정점 (1728, $\infty$, 및 두 개의 복소수 점) 은 모두 반발 (repelling) 성질을 가집니다.

나. 궤도 수의 계수 (Counting Orbits)

• Theorem 1: 함수 $H$의 크기 $n$인 궤도 (orbits) 의 개수 $B_n$에 대한 닫힌 형식 (closed form) 공식을 유도했습니다.
  $$B_n = \frac{1}{n} \sum_{d|n} \mu(d) 3^{n/d}$$
  여기서 $\mu$는 뫼비우스 함수입니다. 이는 OEIS 시퀀스 A027376 에 해당하며, 3 차 PCF 함수에 대한 일반적인 결과를 제공합니다.

다. j-불변량의 주기와 곡선 주기의 관계 (Theorem 2)

• 핵심 정리: 만약 타원 곡선 $E$의 j-불변량이 $H$ 하에서 크기 $p$의 주기 궤도를 가진다면, 곡선 $E$ 자신도 헤세 미분 연산 하에서 유한한 주기 궤도를 가집니다.
• 주기 크기 관계: 곡선 $E$의 주기 $n$은 j-불변량의 주기 $p$에 대해 $n \le 3p$를 만족합니다.
  • 이는 j-불변량의 주기가 곡선의 주기를 결정하지는 않지만 (1:1 대응이 아님), 유한성을 보장함을 의미합니다.
  • 데이터 (Table 1, Table 2) 를 통해 j-불변량의 궤도 크기와 곡선의 궤도 크기가 일치하지 않는 다양한 사례 (예: j-주기 1 인 경우 곡선 주기는 2 또는 3 일 수 있음) 를 확인했습니다.

라. 데이터 및 관찰

• j-불변량의 최소 다항식 차수와 곡선의 궤도 크기 사이에 단순한 양의 상관관계가 없음을 실험적으로 보였습니다.
• 일부 특수한 j-불변량에 대해서는 j-불변량의 궤도 크기와 곡선의 궤도 크기가 일치하는 경우 (Table 2 의 일부 데이터) 도 발견되었습니다.

4. 의의 및 향후 연구 (Significance & Future Work)

• 이론적 의의: 타원 곡선의 기하학적 연산 (헤세 미분) 을 j-불변량이라는 1 차원 동역학계로 환원하여 분석할 수 있음을 보여주었습니다. 이는 타원 곡선의 분류와 자동사상군 연구에 새로운 동역학적 관점을 제공합니다.
• 개방된 질문 (Open Questions):
  1. 최소 주기 계산: j-불변량의 주기 $p$가 주어졌을 때, 실제 곡선 $E$의 최소 주기 $n$을 어떻게 체계적으로 계산할 수 있는가?
  2. 엔도모피즘 링: $End(E) = End(H_C)$를 만족하는 모든 타원 곡선 $E$를 분류할 수 있는가? (동치 (isogenous) 여부는 보장되지 않음).
  3. q-진 동역학: 유리수 $j$와 소수 $q$에 대해, 시퀀스 $H^n(j)$가 $q$-진 거리에서 수렴하는 조건은 무엇인가?
  4. 양수 표수: 양수 표수 (positive characteristic) 에서의 동역학계 연구 (계수 크기 제한 없이).

5. 결론

이 논문은 헤세 미분 연산이 타원 곡선과 그 j-불변량에 미치는 영향을 체계적으로 규명했습니다. j-불변량의 동역학이 곡선의 동역학을 완전히 결정하지는 않지만, j-불변량의 주기성이 곡선의 주기성을 보장한다는 중요한 정리를 증명하고, 구체적인 궤도 크기 데이터를 제공함으로써 해당 분야의 기초를 다졌습니다. 이는 대수적 기하학과 동역학계의 교차점에서 중요한 통찰을 제공합니다.