[논문 리뷰] Remarks on the nonvanishing of cohomology groups for perverse sheaves on abelian varieties

Rainer Weissauer|arXiv (Cornell University)|2016. 12. 05.

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

한 줄 요약

이 논문은 아벨 다양체 위의 기약 페르소브 층의 코homology 군의 차원에 대한 날카운 하한을 확립하며, 상위 코homology가 비자명한 경우, 차수 $d-1$에서의 코homology 차원이 차수 $d$에서의 차원을 초과하는 다중성을 가짐을 증명한다. 이 하한은 층의 지지 차원과 아벨 다양체의 차원에 따라 달라진다. 이 결과는 하드 레프셰츠 정리의 일반화이며, 코homology가 영을 중심으로 대칭적인 간격에 지지됨을 시사한다.

ABSTRACT

It is shown that for a perverse sheaf $K$ on an abelian variety $X$ the integers $i$ for which the cohomology $H^i(X,K)$ does not vanish define an interval in the number line (under certain conditions on the field of definition of $K$)

연구 동기 및 목표

• 기본 아벨 다양체 위의 기약 페르소브 층의 코homology 군 차원에 대한 정량적 하한을 확립하기.
• 비자명한 코homology가 영을 중심으로 대칭적으로 분포함을 보여, 하드 레프셰츠 정리를 확장하기.
• 부드러운 사영 다양체의 알바네제 사상에 대한 페르소브 층의 코homology를 분석하며, 특히 이미지가 아벨 다양체일 경우를 다루기.
• 코homology를 기약 표현으로 분해함으로써 복소 다양체의 갈루아 피복에 대한 코homological 추정을 유도하기.
• 기존의 샤벨리-바일 유형 추정을 개선하여, 갈루아 피복의 코homology에서 기약 표현의 중복도에 대한 새로운 추정을 제공하기.

제안 방법

• 아벨 다양체 $X$ 위의 페르소브 층 $K$의 콘볼루션 거듭제곱을 사용하여, $K_r$이라는 페르소브 층과 무시할 수 있는 합성항 $L_ u[n_ u]$의 합으로 분해한다.
• 쿠엔트 공식과 로렌츠 다항식 $h_t(X,K)$ 내의 계수 비교를 통해 차수 $rd$와 $rd-1$에서의 코homology 차원을 연결한다.
• 상대 하드 레프셰츠 정리와 [BBD]의 코homological 추정을 활용하여 코homology 군의 지지와 차수를 제약한다.
• 아벨 부분다양체 $A$에 대한 몫사상 $\pi: X \to X/A$의 구조를 이용하여, 무시할 수 있는 층이 콘볼루션에 기여하는 바를 분석한다.
• 페르소브 해석적 계속성과 쌍대성을 사용하여, 직접 이미지의 기약 성분이 알바네제 사상 하에서 여전히 기약임을 보장한다.
• 트레이스 공식과 표현 이론을 활용하여, 코homology 중복도를 특징과 오일러 특성으로 표현한다.

실험 결과

연구 질문

• RQ1 기본 아벨 다양체 위의 기약 페르소브 층 $K$에 대해 $d = d(K) > 0$일 때, 코homology 군 $H^{d-1}(X,K)$와 $H^d(X,K)$의 차원 간 최소 비율은 무엇인가?
• RQ2 부드러운 사영 다양체 $Y$의 페르소브 층에 대해, 알바네제 사상이 비자명할 때 코homology가 차수 $[-d,d]$에 지지되는 조건은 무엇인가?
• RQ3 갈루아 피복 $\tilde{Y} \to Y$의 코homology에서 기약 표현의 중복도는 $Y$의 기하학적 구조와 그 알바네제 다양체 간에 어떻게 관련되는가?
• RQ4 하드 레프셰츠 정리에 따른 코homology의 대칭적 지지가 아벨 다양체의 차원과 층의 지지에 따라 정량적 추정을 통해 강화될 수 있는가?
• RQ5 페르소브 층의 콘볼루션에서 무시할 수 있는 합성항이 최종 복합체의 코homology에 미치는 정확한 기여는 무엇인가?

주요 결과

• 임의의 기약 페르소브 층 $K$가 차수 $g$인 아벨 다양체 $X$ 위에 있고 $d = d(K) > 0$일 경우, 부등식 $\dim H^{d-1}(X,K) > \frac{2d}{d+g} \cdot \dim H^d(X,K)$ 가 성립한다.
• 만약 $X$가 단순하다면, $\dim H^{d-1}(X,K) > d \cdot \dim H^d(X,K)$ 가 성립하며, 일반적인 경우보다 더 강한 추정이다.
• 코homology는 정확히 차수 $\nu \in [-d(K), d(K)]$ 에서만 비자명하며, 이는 하드 레프셰츠 정리와 주요 부등식의 결과이다.
• 비자명한 알바네제 사상 $f: Y \to X$를 가진 부드러운 사영 다양체 $Y$에 대해, $H^d(Y,L) \neq H^0(X, {}^pH^d(Rf_*L))$ 이면, $H^\nu(Y,L) \neq 0$ 이 되는 것은 $\nu \in [-d,d]$ 인 경우에 한하여 성립한다.
• 군 $\Gamma$를 가진 갈루아 피복 $\pi: \tilde{Y} \to Y$의 경우, 기약 표현 $\phi$가 $H^{d+n}(\tilde{Y}, \mathbb{C})$ 에서 나타나는 중복도 $m_{d-1}(\phi)$ 는 $m_{d-1}(\phi) > \frac{2d}{d+g} m_d(\phi)$ 를 만족한다.
• 표면 $Y$와 비자명한 기약 표현 $\phi$의 경우, 샤벨리-바일 트레이스 공식은 $m_0(\phi) - 2m_1(\phi) \geq 0$ 을 유도하며, 이는 이전의 추정을 향상시킨다.