[논문 리뷰] Conjugate varieties with distinct real cohomology algebras

François Charles|ArXiv.org|2007. 06. 25.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 수체 위의 매끄럽고 프로젝티브인 다양체를 구성하여, 그 다양체가 복소수체에 대한 서로 다른 임bedding에 의해 유도된 복소수 켤레에 대해 실수 위상수학 대수(algebra)가 서로 동형이 아님을 보인다. 복소 곱승을 가진 아벨 다양체의 위상수학 대수에 대한 보신(Voisin)의 방법을 이용하여, 저자들은 실수 위상수학 대수가 복소수 켤레에 의해 변하는 내부 자기환원 구조(endomorphism ring structure)를 감지함을 보이며, 그로 인해 그로텐디크(Grothendieck)의 질문—즉, 켤레인 대수적 다양체가 서로 다른 실수 위상수학 대수를 가질 수 있는가—에 대한 긍정적인 답변을 제시한다.

ABSTRACT

Using constructions of Voisin, we exhibit a smooth projective variety defined over a number field k and two complex embeddings of k, such that the two complex manifolds induced by these embeddings have non isomorphic cohomology algebras with real coefficients. This contrasts with the fact that the cohomology algebras with l-adic coefficients are canonically isomorphic for any prime number l, and answers a question of Grothendieck.

연구 동기 및 목표

• 그로텐디크가 제기한 질문에 답하는 것: 켤레인 대수적 다양체가 서로 다른 실수 위상수학 대수를 가질 수 있는가?
• 복소수 위상수학 대수가 라이드-아델릭 위상수학(cohomology)과 ℚ_l 계수의 베티 위상수학에 대해 불변이지만, 복소수 켤레에 대해 불변이 아님을 보여주는 것.
• 수체 위에 정의된 매끄럽고 프로젝티브인 다양체의 구체적 예를 제시하여, 그 다양체의 복소수 임bedding이 서로 다른 실수 위상수학 대수를 유도함을 보이는 것.
• 실수 위상수학 대수가 유리수나 라이드-아델릭 위상수학에서 보이지 않는, 아벨 다양체의 자기환원환의 산술적 자료(예: 자기환원환)를 감지할 수 있음을 보이는 것.
• 이전의 켤레인 다양체가 위상형수학적으로 동형이 아니라는 결과를 확장하여, 그 차이가 호모토피나 기본군 수준을 넘어서 실수 위상수학 대수 수준에서도 유지됨을 보이는 것.

제안 방법

• 수체 위에 정의된 매끄럽고 프로젝티브인 다양체 $X$를 $A \times A \times \bbP^N$ 에서 다섯 개의 분리된 부분다양체 $Z_1, \bar{Z}_2, Z_3, Z_4, Z_5$ 에 대한 블로우업으로 구성한다. 여기서 $A = E \times E'$ 는 복소 곱승을 가진 타원곡선의 곱이다.
• 아벨 다양체 $A$ 의 자기환원환을 구성하는 복소 곱승 자기환원환 $f$ 와 $f'$ 를 이용하여, 블로우업 과정을 통해 다양체 $X$ 의 위상수학 대수에 산술적 자료를 통합한다.
• 특히, 아벨 다양체의 자기환원환을 복원할 수 있는 보신의 기법을 활용하여, $H^1(X, \bbR)$ 내에서 $f$ 와 $f'$ 에 대응하는 클래스를 분리한다.
• 핵심 위상수학 클래스 정의: $h$ (\bbP^N 에서 올려받은 초평면 클래스), $[D_i]$ (예외적 초평면의 클래스); 블로우업 공식을 이용하여 $X$ 의 위상수학과 기저 공간의 위상수학을 연결한다.
• 핵심 보조정리 적용: $(h + \theta [D_5])^{N+1} = 0$ 이다. 이는 $\theta = 0$ 인 경우에만 성립하며, 이는 켤레에 따른 위상수학 클래스의 구별을 가능하게 한다.
• 복소수체의 자명변환군 $\text{Aut}(\bbC)$ 의 작용을 다양체와 그 위상수학에 적용하여, $\tau$ 가 복소 곱승 타원곡선과 관련된 허수 정수환 $k$ 와 $k'$ 를 교환할 경우, $X^\tau$ 의 실수 위상수학 대수가 $X$ 와 동형이 아니라는 것을 보인다.

실험 결과

연구 질문

• RQ1 수체 위의 두 켤레인 매끄럽고 프로젝티브인 다양체가 서로 다른 실수 위상수학 대수를 가질 수 있는가?
• RQ2 복소수 위상수학 대수가 아벨 다양체의 자기환원환과 같은 산술적 불변량을 감지할 수 있는가?
• RQ3 라임-아델릭 위상수학과 ℚ_l 계수의 베티 위상수학에 대해 불변이지만, 복소수 켤레에 대해 불변이 아닌가?
• RQ4 블로우업의 위상수학 대수는 아벨 다양체의 위상수학에 복소 곱승 자기환원환의 작용을 감지할 수 있는가?
• RQ5 라임-아델릭 위상수학 대수가 서로 동형인 켤레인 다양체는 반드시 실수 위상수학 대수에서도 동형인가?

주요 결과

• 논문은 수체 위에 정의된 매끄럽고 프로젝티브인 다양체 $X$ 를 구성하여, 그 다양체의 켤레 다양체 $X^\tau$ 가 서로 다른 실수 위상수학 대수를 가짐을 보였다.
• 실수 위상수학 대수 $H^*(X, \bbR)$ 는 아벨 다양체 $A = E \times E'$ 의 자기환원환을 포함하며, 복소 곱승 자기환원환 $f$ 와 $f'$ 의 작용까지도 포함하고 있다. 이는 복소수 켤레에 의해 보존되지 않는다.
• 핵심적인 차별화 요소는 $H^2(X, \bbR)$ 내에 존재하는 $[D_5]$ 가 생성하는 직선으로, 이 직선과 초평면 클래스 $h$ 의 상호작용이 비자명한 관계 $(h + \theta [D_5])^{N+1} = 0$ 을 유도하며, 이 관계는 $\theta = 0$ 인 경우에만 성립한다. 이 관계는 켤레에 의해 성립하지 않는다.
• 증명은 $X^\tau$ 의 실수 위상수학 대수가 $X$ 와 동형이 아니라는 것을 보이며, 이는 켤레 $\tau$ 가 복소 곱승 타원곡선과 관련된 허수 정수환 $k$ 와 $k'$ 를 교환함으로써, 자기환원환 $f$ 와 $f'$ 의 고유값이 변하고, 이 고유값이 위상수학에 암묵적으로 포함되어 있음을 시사한다.
• 이 구성은 그로텐디크의 질문에 대한 긍정적인 답변을 제공한다: 라임-아델릭 위상수학 대수가 자연스럽게 동형인 켤레인 다양체가 실수 위상수학 대수에서는 서로 동형이 아닐 수 있다.
• 결과적으로 실수 위상수학 대수는 라임-아델릭 위상수학과 달리 복소수 켤레에 대해 함의적 불변이 아니며, 이는 이전에 생각했던 것보다 더 정교한 산술적 정보를 담고 있음을 시사한다.