[논문 리뷰] Stability of direct images under Frobenius morphism

Xiaotao Sun|ArXiv.org|2006. 08. 02.

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

한 줄 요약

이 논문은 양의 특성에서 매끄럽고 사영적인 다양체 위의 벡터(bundle)에 대해 Frobenius 사상에 의한 직접 이미지의 안정성을 확립한다. 곡선에 대해 정의된 캐논리컬 필터링을 캐논리컬 접속을 사용하여 고차원 다양체로 일반화하여, 필터링의 각 성분이 $ W \otimes (\Omega^1_X)^{[i]} $ 와 동형임을 증명하고, 곡선의 경우 $ W $의 안정성이 $ F_*W $의 안정성으로 이어짐을 보이며, 고차원 분석을 위한 기초를 마련한다.

ABSTRACT

Let $X$ be a smooth projective variety over an algebraically field $k$ with ${ m char}(k)=p>0$ and $F:X o X_1$ be the relative Frobenius morphism. When ${ m dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$ (Theorem ef{thm1.3}). As a step to study the question for higher dimensional $X$, we generalize the canonical filtration (defined by Joshi-Ramanan-Xia-Yu for curves) to higher dimensional $X$ (Theorem ef{thm2.6}).

연구 동기 및 목표

• 특성 $ p > 0 $ 에서 곡선에서 안정한 벡터(bundle) $ W $ 에 대해 $ F_*W $ 의 안정성 결과를 고차원 다양체로 확장한다.
• Joshi-Ramanan-Xia-Yu 가 곡선에 대해 정의한 캐논리컬 필터링을 고차원 매끄럽고 사영적인 다양체로 일반화한다.
• 캐논리컬 접속 $ \nabla $ 를 사용하여 $ 0 = V_{n(p-1)+1} \subset \cdots \subset V_0 = F^*(F_*W) $ 의 필터링을 정의하고 연구한다.
• 성분 $ V_i/V_{i+1} \cong W \otimes (\Omega^1_X)^{[i]} $ 의 구조를 분석한다. 여기서 $ (\Omega^1_X)^{[i]} $ 는 $ \mathrm{GL}(n) $-표현 이론을 통해 정의된 부분_bundle 이다.
• 고차원에서 $ F_*W $ 의 불안정성에 대한 상한을 $ W \otimes (\Omega^1_X)^{[i]} $ 의 불안정성에 따라 기술하는 프레임워크를 제공한다.

제안 방법

• p-곡률이 0인 접속 $ \nabla: V \to V \otimes \Omega^1_X $ 를 사용하여 $ V = F^*(F_*W) $ 에 캐논리컬 필터링을 정의한다.
• 곡선의 경우를 일반화하여 $ V_{i+1} = \ker(V_i \xrightarrow{\nabla} V \otimes \Omega^1_X \to V/V_i \otimes \Omega^1_X) $ 로 필터링을 구성한다.
• 체 $ k[[x_1, \dots, x_n]] $ 에서의 국소 계산을 통해 $ I_i $ 가 $ \sum k_j \geq i $ 를 만족하는 단항식 $ \alpha_1^{k_1} \cdots \alpha_n^{k_n} $ 들에 의해 생성됨을 보인다. 여기서 $ \alpha_j = x_j \otimes 1 - 1 \otimes x_j $ 이다.
• $ (\Omega^1_X)^{[i]} \subset (\Omega^1_X)^{\otimes i} $ 를 $ \mathrm{GL}(n) $-표현 $ V^{[i]} $ 에 의해 정의된 부분_bundle 으로 정의하며, 지수 $ \leq p-1 $ 인 대칭 텐서들로 생성된다.
• $ \nabla^i: V_i/V_{i+1} \to (\Omega^1_X)^{\otimes i} $ 가 인식되어 $ W \otimes (\Omega^1_X)^{[i]} $ 와 일치함을 증명한다.
• 모든 부분층 $ \mathcal{E} \subset F_*W $ 에 대해 $ F^*\mathcal{E} \subset F^*(F_*W) $ 에 유도된 필터링을 사용하여 기울기를 비교하고 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 특성 $ p > 0 $ 에서 매끄럽고 사영적인 곡선 $ X $ 위의 벡터(bundle) $ W $ 가 안정적이라면, 상대 Frobenius 사상에 의한 직접 이미지 $ F_*W $ 도 안정적인가?
• RQ2 곡선에 대해 정의된 $ F^*(F_*W) $ 의 캐논리컬 필터링은 캐논리컬 접속을 사용하여 고차원 다양체로 일반화될 수 있는가?
• RQ3 $ \dim X = n > 1 $ 인 경우, $ F^*(F_*W) $ 의 일반화된 필터링에서 성분 $ V_i/V_{i+1} $ 의 구조는 어떠한가?
• RQ4 고차원에서 $ F_*W $ 의 불안정성은 $ W \otimes (\Omega^1_X)^{[i]} $ 의 불안정성과 어떻게 관련이 있는가?
• RQ5 $ W $ 가 반안정적일 경우, $ F^*(F_*W) $ 의 필터링은 Harder-Narasimhan 필터링과 호환되는가?

주요 결과

• 곡선($ \dim X = 1 $)의 경우, $ W $ 가 안정적이라면 $ F_*W $ 도 안정적임을 캐논리컬 필터링과 기울기 비교를 통해 증명한다.
• 캐논리컬 필터링은 $ p $-곡률이 0인 접속 $ \nabla $ 를 통해 고차원으로 일반화되며, 길이 $ n(p-1)+1 $ 의 필터링을 얻는다.
• 성분은 $ V_i/V_{i+1} \cong W \otimes (\Omega^1_X)^{[i]} $ 를 만족하며, 여기서 $ (\Omega^1_X)^{[i]} \subset (\Omega^1_X)^{\otimes i} $ 는 지수에 제한이 있는 대칭 텐서들로 생성된 $ \mathrm{GL}(n) $-부분표현이다.
• 특성 $ p > 0 $ 에서 $ i < p $ 이면 $ (\Omega^1_X)^{[i]} \cong \mathrm{Sym}^i(\Omega^1_X) $ 이지만, 일반적으로 $ i \geq p $ 에서는 다를 수 있다.
• $ \nabla^i: V_i/V_{i+1} \to (\Omega^1_X)^{\otimes i} $ 는 단사적이며 $ V_i/V_{i+1} $ 를 $ W \otimes (\Omega^1_X)^{[i]} $ 와 일치시킴으로써 필터링의 구조를 규명한다.
• 이 구성은 $ F_*W $ 의 불안정성을 $ W \otimes (\Omega^1_X)^{[i]} $ 의 불안정성에 따라 기술하는 프레임워크를 제공하며, 고차원 안정성 결과를 위한 기반을 마련한다.