[논문 리뷰] LCK metrics on Oeljeklaus-Toma manifolds versus Kronecker's theorem

Victor Vuletescu|arXiv (Cornell University)|2013. 06. 01.

Geometry and complex manifolds참고 문헌 10인용 수 7

한 줄 요약

이 논문은 $ s $개의 실수 포함과 $ 2t $개의 복소수 포함을 가진 수체에 대응하는 Oeljeklaus-Toma 다양체가 $ 1 < s < t $일 때 국소적으로 컨formally Kähler(LCK) 메트릭을 가질 수 없다는 것을 증명한다. 증명은 이러한 메트릭의 존재를 단위의 수론적 조건—특히 모든 복소수 포함에서 특정 단위의 절대값이 동일해야 한다는 조건—으로 환원하며, 이는 Kronecker의 정리의 정교한 응용을 통해 모순으로 이어진다.

ABSTRACT

A locally conformally Kähler (LCK) manifold is a manifold which is covered by a Kähler manifold, with the deck transform group acting by homotheties. We show that the search for LCK metrics on Oeljeklaus-Toma manifolds leads to a (yet another) variation on Kronecker's theorem on units. In turn, this implies that on Oeljeklaus-Toma manifold associated to number fields with $2t$ complex embeddings and $s$ real embeddings with $s

연구 동기 및 목표

• Oeljeklaus-Toma 다양체에 대한 국소적으로 컨formally Kähler(LCK) 메트릭 존재 조건을 규명하는 것.
• LCK 구조의 자동형성 인자에 의해 수체의 단위군에 가해지는 수론적 제약 조건을 조사하는 것.
• Kronecker의 고전적 정리—모든 포함에서 절대값이 동일한 단위—를 LCK 기하학에서 나타나는 새로운 맥락으로 확장하는 것.
• 특히 $ s < t $일 때, 전체 양성 단위의 부적합한 부분군 $ U $가 요구되는 메트릭 조건을 만족시킬 수 없음을 증명함으로써 LCK 구조의 배제를 위한 것.

제안 방법

• 단위 $ u \in U $에 대해 자동형성 인자 공식 $ \chi(u) = |\sigma_{s+1}(u)|^2 = \cdots = |\sigma_{s+t}(u)|^2 $을 유도하여, LCK 메트릭 존재 조건을 단위의 절대값과 연결한다.
• 카를레 포텐셜에 대한 평균화 추론을 통해 메트릭 성분이 실수 좌표에만 의존함을 보이고, 이는 단위군에 대한 제약 조건을 이끌어낸다.
• 갈루아 이론과 정규폐쇄 $ K^{ncl} $을 사용하여 단위의 복소수 포함에 대한 절대값에 대한 자동형사상의 작용을 분석한다.
• 최대 차수 $ [K:\mathbb{Q}] $를 가진 단위가 모든 복소수 포함에서 동일한 절대값을 가진다고 가정하고, 차수와 나누어떨어짐 조건을 통해 모순을 도출한다.
• 그러한 단위는 반드시 $ K $의 진부분체 $ L \subset K $에 속해야 하며, 이는 부적합성 조건 하에서 포함 행동에 모순을 일으킨다.
• 단위군 $ U $가 $ \mathbb{R}^s $ 내의 격자 조건을 유지해야 하며, $ s < t $이면 단위의 일부 복소수 포함에 대해 절대값이 서로 다를 수밖에 없음을 보인다.

실험 결과

연구 질문

• RQ1 Oeljeklaus-Toma 다양체가 국소적으로 컨formally Kähler 메트릭을 가질 수 있는 수론적 조건은 무엇인가?
• RQ2 카를레 코팅의 자동형성 인자가 수체의 단위의 복소수 포함에 대한 동일한 절대값으로 표현될 수 있는가?
• RQ3 모든 복소수 포함에서 절대값이 동일한 단위가 존재할 경우, 그 단위는 반드시 진부분체에 속해야 하는가?
• RQ4 부적합성 조건과 격자 조건이 $ s < t $일 때 $ U $에 가해지는 제약 조건은 무엇인가?
• RQ5 수체의 $ \mathcal{O}_K^{*,+} $ 내의 단위가 모든 복소수 포함 $ \sigma_i, \sigma_j $에 대해 $ |\sigma_i(u)| = |\sigma_j(u)| $를 만족하면서도 $ \deg(u) = [K:\mathbb{Q}] $일 수 있는가?

주요 결과

• Oeljeklaus-Toma 다양체가 $ s $개의 실수 포함과 $ 2t $개의 복소수 포함을 가질 때, $ 1 < s < t $이면 LCK 메트릭이 존재하지 않는다.
• LCK 메트릭의 존재는 부적합한 부분군 $ U $에 속한 모든 단위가 모든 복소수 포함에서 동일한 절대값을 가져야 한다는 것을 의미한다.
• 최대 차수 $ [K:\mathbb{Q}] $를 가진 단위이면서 모든 복소수 포함에서 절대값이 동일한 경우, 그 단위는 반드시 진부분체 $ L \subset K $에 속해야 하며, 이는 차수의 최대성과 모순된다.
• 그러한 단위의 존재를 가정하면 약수와 갈루아 작용을 통해 모순이 발생한다: $ 2t+1 \mid s+2t $, 이는 $ 1 < s < t $일 때 성립하지 않는다.
• 실수 포함의 절대값의 곱은 $ R^s $여야 하며, 단위가 전체적으로 양성임을 감안하면 $ \prod r_i \cdot R^{2t} = 1 $이 되어 $ R = 1 $이 되며, 이는 단위가 원주율 단위가 아닐 경우 동치변환일 수 없음을 의미한다.
• 모순은 단위가 최대 차수이면서 요구되는 절대값 동일성 조건을 만족시키려면 반드시 더 작은 체에 속해야 하며, 이는 $ U $의 부적합성 조건을 위반하기 때문이다.