[논문 리뷰] Anderson T-motives and abelian varieties with MIQF: results coming from an analogy

A. Grishkov, Dmitry Logachev|arXiv (Cornell University)|2009. 07. 27.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 앤더슨 T-모티브와 허수 정수환을 갖는 아벨 다양체(MIQF) 사이의 유사성을 수립하며, 두 가지 주요 결과를 이끌어낸다: (1) $ r $차원의 $ O_K $-부분모듈로 $ \mathbb{C}^n $를 통해 차원 $ r $, 서명 $ (n, r-n) $인 MIQF 아벨 다양체를 특성화하는 것; (2) $ n=1 $일 때 MIQF 아벨 다양체의 $ k $-번째 외적을 T-모티브의 외적과 유사하게 구성하는 것. 이 구성은 주어진 서명을 갖는 새로운 MIQF 아벨 다양체를 산출한다.

ABSTRACT

Analogy between Anderson T-motives and abelian varieties with multiplication by an imaginary quadratic field (MIQF) is a source of 2 results: 1. A description of abelian varieties with MIQF of dimension $r$ and signature $(n, r-n)$ in terms of "lattices" of dimension $r$ in $\Bbb C^n$; 2. A construction of exterior powers of abelian varieties with MIQF having $n=1$.

연구 동기 및 목표

• 순수한 T-모티브이자 $ N=0 $인 경우에 한하여, 앤더슨 T-모티브와 MIQF 아벨 다양체 사이의 유사성을 탐색하고 체계화하는 것.
• 차원 $ r $ 및 서명 $ (n, r-n) $을 갖는 MIQF 아벨 다양체에 대한 격자 이론적 기술을 제시하며, T-모티브의 격자 구성과 유사하게 하는 것.
• 특히 $ n=1 $일 때 MIQF 아벨 다양체의 $ k $-번째 외적을 정의하고 구성하며, T-모티브의 알려진 구성과 유사하게 하는 것.
• 이 구성이 새로운 MIQF 아벨 다양체를 산출하며, $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $ 사상에 의해 시무라 다양체와 연관되는 것을 보여주는 것.

제안 방법

• 함수체 설정에서의 구성들을 수체 설정으로 이행하기 위해 T-모티브와 MIQF 아벨 다양체 사이의 유사성을 활용하는 것.
• 사상 $ \alpha $ 를 통해 $ \mathbb{C}^n $ 안의 $ r $차원의 $ O_K $-부분모듈로로 일반화된 T-모티브 격자 $ L(M) \subset \mathbb{C}_\infty^n $와 유사한 $ r $차원의 $ O_K $-부분모듈로 $ L(A) $ 를 구성하는 것.
• 정확한 세부수열 $ 0 \to \ker \alpha \to L \otimes_K \mathbb{C} \to \mathbb{C}^n \to 0 $ 의 $ k $-번째 외적을 통해 $ \lambda^k(A) $ 를 정의하고, 유도된 에르미트 형식 $ \lambda^k(H_L) $ 를 고려하는 것.
• $ n=1 $일 때 $ (-1)^k \lambda^k(H_L) $ 가 $ \lambda^k(\ker \alpha) $ 에서 정의된 양의 정부호임을 확인하여 잘 정의된 아벨 다양체의 존재를 보장하는 것.
• $ \gamma \mapsto \lambda^k(\gamma) $ 를 사용하여 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $ 로의 사상으로 정의하고, 이로써 시무라 다양체와의 연관성을 설정하는 것.
• 격자 기술과 외적 구성 간의 상호 역관계를 증명하여, 이소지니에 대해 일대일 대응을 수립하는 것.

실험 결과

연구 질문

• RQ1 서명 $ (n,r-n) $을 갖는 MIQF 아벨 다양체는 $ \mathbb{C}^r $ 이외의 $ \mathbb{C}^n $ 안의 $ r $차원의 $ O_K $-부분모듈로를 통해 T-모티브와 유사하게 기술될 수 있는가?
• RQ2 $ n=1 $일 때, T-모티브와 유사하게 잘 정의된 MIQF 아벨 다양체의 $ k $-번째 외적 구성이 존재하는가?
• RQ3 차원 $ r $ 및 서명 $ (1,r-1) $을 갖는 MIQF 아벨 다양체의 $ k $-번째 외적의 서명은 무엇인가?
• RQ4 이 구성은 시무라 다양체 사이의 사상 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $ 로 확장될 수 있는가?
• RQ5 왜 이 구성은 $ n \neq 1, r-1 $ 일 때 실패하며, 이 맥락에서 대칭적 또는 텐서적 외적을 정의할 수 없는가?

주요 결과

• 논문은 서명 $ (n,r-n) $을 갖는 MIQF 아벨 다양체의 격자로 기능하는 $ r $차원의 $ O_K $-부분모듈로 $ \gamma(L) \subset \mathbb{C}^n $ 을 구성한다. 이는 T-모티브 격자 $ L(M) \subset \mathbb{C}_\infty^n $ 를 일반화한 것이다.
• $ n=1 $일 때, 차원 $ r $인 MIQF 아벨 다양체 $ A $ 의 $ k $-번째 외적 $ \lambda^k(A) $ 가 존재하며, 서명 $ \binom{r-1}{k-1}, \binom{r-1}{k} $ 을 갖는 새로운 MIQF 아벨 다양체를 정의함을 보였다.
• $ n=1 $일 때, $ \lambda^k(\ker \alpha) $ 에 제한된 에르미트 형식 $ \lambda^k(H_L) $ 가 양의 정부호임을 확인하여 잘 정의된 아벨 다양체의 구조가 보장된다.
• $ \lambda^k(A) $ 의 구성은 시무라 다양체 이론과 호환되며, 관련된 사상 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $ 가 갈로아 표현의 외적에서 자연스럽게 유도됨을 보였다.
• 이 구성은 격자 기술과 서로 역관계에 있으며, 이소지니에 대해 이러한 MIQF 아벨 다양체와 해당 $ \mathbb{C}^n $ 안의 $ O_K $-부분모듈로 사이의 일대일 대응을 수립한다.
• 이 방법은 $ n \neq 1, r-1 $ 일 때 실패하며, 대칭적 또는 텐서적 외적을 동일한 방식으로 정의할 수 없음을 보여주며, 이 유사성에서 $ n=1 $ 의 특별한 역할을 부각시킨다.