The classification of real quadratic fields which satisfy Hammarhjelm's condition

기술 요약: 함마르헬름 조건(Hammarhjelm's Condition)을 만족하는 실 이차체(Real Quadratic Fields)의 분류

문제 정의
본 논문은 함마르헬름 조건을 만족하는 실 이차체 $K = \mathbb{Q}(\sqrt{D})$ ($D > 1$은 제곱로서가 아닌 정수)의 분류 문제를 다룬다. 어떤 체가 이 조건을 만족한다는 것은 다음 두 가지 기준을 모두 충족함을 의미한다:

1. 정수 환 $\mathcal{O}_K$가 유일 인수 분해를 가진다 (즉, 클래스 넘버 $h_K = 1$).
2. 임베딩 $\alpha \mapsto (\alpha, \sigma(\alpha))$에 의해 정의된 민코프스키 격자 $f(\mathcal{O}_K) \subset \mathbb{R}^2$는 열린 직사각형 $(1, \lambda) \times (-1, 1)$ 내에 점을 포함하지 않는다 (여기서 $\lambda > 1$은 $K$의 기본 단위이다).

이러한 체들은 최근 대수적 컷-앤-프로젝트 집합(algebraic cut-and-project sets) 내의 가시적 점(visible points) 연구에서 등장하였다. 본 연구 이전에는 알려진 예시가 $D \in \{2, 5, 13, 29, 53\}$로 제한되어 있었다. 본 연구의 목적은 이러한 체들의 완전한 목록을 결정하는 것이다.

방법론
증명은 함마르헬름 조건과 판별식에 대한 기본 단위의 크기 사이의 관계를 확립한 후, 속론(genus theory) 및 클래스 넘버 1인 체들의 기존 분류를 이용한 사례별 분석을 통해 진행된다.

1. 기본 단위의 상한 설정:
   저자는 먼저 함마르헬럼 조건이 판별식에 비해 기본 단위 $\lambda$를 작게 강제함을 입증한다.

• 만약 $D \equiv 2, 3 \pmod 4$이면, $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$이다.
• 만약 $D \equiv 1 \pmod 4$이면, $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$이다.
  이 상한은 $\lambda$가 더 클 경우 금지된 직사각형 안으로 떨어지게 될 $\mathcal{O}_K$의 특정 원소들을 구성함으로써 도출된다.

2. 속론 및 좁은 클래스 군(Narrow Class Groups):
   본 논문은 클래스 넘버 1을 가진 체들의 판별식을 제한하기 위해 속론을 활용한다. 구체적으로 좁은 클래스 넘버 $h_K^+$는 $\Delta_K$의 서로 다른 소인수의 개수를 $r(K)$라고 할 때 $2^{r(K)-1}$로 나누어진다. $h_K=1$인 경우, 이는 $r(K) \le 2$임을 의미한다.

• $r(K)=2$이고 $D \equiv 1 \pmod 4$인 경우 ($\Delta_K = pq$), 레데이 행렬(Rédei matrices)을 통한 좁은 클래스 군의 4-랭크(4-rank)를 사용하여 분석한다. $p, q \equiv 1 \pmod 4$이고 $q = p+4$이면 4-랭크가 1이 되어 $h_K > 1$임을 보인다.

3. 판별식 유형에 따른 분류:
   증명은 $D$의 4에 대한 합동식에 따라 문제를 나눈다:

• $D \equiv 2, 3 \pmod 4$: 저자는 $D > 2$인 경우 어떠한 체도 해당 조건을 만족하지 않음을 보인다. $D=2$의 경우 조건이 성립한다. $D \equiv 3 \pmod 4$인 경우, 음의 노름을 가진 단위의 부재와 $\lambda$에 대한 상한은 임의의 소수 $D$에 대해 모순을 이끌어낸다.
• $D \equiv 1 \pmod 4$:
  • 소수 판별식 ($D=p$): $\lambda$에 대한 상한은 기본 단위가 $-1$의 노름을 갖도록 강제하며, 이는$D$가$D = (2m+1)^2 + 4$의 형태를 갖게 한다. 이를 통해 이 체들이 **요코이(Yokoi)의 가계(family)**의 부분집합임을 식별한다.
  • **합성 판별식 ($D=pq$):**$p, q \equiv 1 \pmod 4$인 경우($4$-랭크 논거에 의해)와$p, q \equiv 3 \pmod 4$인 경우(이들은 "좁은 리쇼-데거트(narrow Richaud-Degert)" 가계에 속하며, $D > 5$에서 조건 H를 만족하지 못함이 밝혀짐)를 배제한다.

4. 비로(Biró)의 분류 적용:
   요코이의 가계($D = m^2 + 4$)에 속하는 것으로 식별된 체들에 대해, 본 논문은 요코이 가계 내의 클래스 넘버 1 체들에 대한 비로(2003)의 분류에 의존한다. 비로는 이 형태의 제곱로가 아닌 판별식 중 클래스 넘버 1을 갖는 것은 $D \in \{5, 13, 29, 53, 173, 293\}$뿐임을 결정하였다.

주요 기여 및 결과
주요 결과는 정리 1.1로, 함마르헬름 조건을 만족하는 실 이차체는 정확히 7개 존재한다는 것이다. 이들은 다음의 판별식들에 대응한다:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

본 논문은 다음을 엄밀하게 증명한다:

• 기존에 알려진 예시들($D=2, 5, 13, 29, 53$)이 완전한 목록의 일부임을 확인하였다.
• 두 개의 추가적인 체 $D=173$과 $D=293$이 조건을 만족함을 밝혔다.
• 그 외의 다른 실 이차체는 함마르헬름 조건을 만족할 수 없다.

증명은 함마르헬름 조건이 판별식에 비해 기본 단위를 작게 만든다는 점을 확립하여, 탐색 공간을 이미 클래스 넘버 1이 분류된 특정 체들의 가계(요코이 가계 및 좁은 리쇼-데거트 확장)로 제한한다.

의의
본 논문은 대수적 컷-앤-프로젝트 집합 내의 가시적 점 연구의 최근 발전에 의해 동기 부여된 문제인, 함마르헬름 조건을 만족하는 모든 실 이차체를 결정하는 문제를 해결하였다. 기본 단위에 대한 기초적인 상한과 속론 및 요코이 가계의 분류로부터 얻은 심오한 결과들을 결합함으로써, 저자는 알려진 집합을 5개에서 7개로 확장하여 이러한 체들의 확정적이고 유한한 목록을 제공한다.