[논문 리뷰] A Remark on Rigidity of BN-sheaves

Rainer Weissauer|arXiv (Cornell University)|2011. 11. 25.

Algebraic structures and combinatorial models참고 문헌 2인용 수 7

한 줄 요약

이 논문은 대수적으로 닫힌 체 위의 아벨 다양체에서의 유계 유한형 복합체의 케이지에서, 복합체의 콘볼루션 곱에 관해 모든 것이 강성 있음을 증명한다. 이 경우, 쌍대는 부정 자동형에 의한 버드리어 쌍대의 당김으로 명시적으로 주어진다. 증명은 적절한 기저 변경과 유도된 직접 이미지 복합체 간의 함수적 동형을 사용한다.

ABSTRACT

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.

연구 동기 및 목표

• 아벨 다양체의 유도 범주에서의 층에 관해 [BN, Cor.6]의 강성 일반화를 위해.
• 모든 복합체 $ D_{c}^{b}(X,\Lambda) $ 가 콘볼루션 곱에 관해 강성 있음을 확립하기 위해.
• 버드리어 쌍대와 부정 사상에 기반한 식으로 쌍대 복합체의 명시적 공식을 제공하기 위해.
• 유도 범주 기법을 사용하여 콘볼루션 함수 $ K \mapsto K*M $ 의 수반 함자 존재성을 보여주기 위해.

제안 방법

• 군 법칙 $ a: X \times X \to X $ 를 사용하여 콘볼루션 곱 $ K*L = Ra_*(K \boxtimes L) $ 를 정의하기 위해.
• 유도 범주 $ \mathbf{D} = D_{c}^{b}(X,\Lambda) $ 의 대칭 모노이드 구조를 사용하여 강성 분석하기 위해.
• 버드리어 쌍대와 유도 함자를 통해 $ \mathrm{Hom}(K*M, N) $ 과 $ \mathrm{Hom}(K, M^\vee * N) $ 간의 함수적 동형을 구성하기 위해.
• 차원 사상 $ f(x,y) = y - x $ 과 군 법칙을 따라 직접 이미지 간의 관계를 연결하기 위해 적절한 기저 변경 정리를 적용하기 위해.
• $ X \times X \times X $ 에서 $ f \circ (a \times \mathrm{id}) = f \circ (\mathrm{id} \times f) $ 의 항등식을 사용하여 두 복합체 간의 동형을 유도하기 위해.
• 대각 포함사상 $ \Delta $ 를 통해 원점에서의 스테이크를 식별하여 $ L_0 \cong R_0 $ 를 보이고, 이는 필요한 수반 동형을 유도하기 위해.

실험 결과

연구 질문

• RQ1 아벨 다양체에서의 유계 유한형 복합체의 케이지에서 모든 복합체가 콘볼루션 곱에 관해 강성 있는가?
• RQ2 주어진 복합체 $ M $ 에 대해 이 콘볼루션 구조 하에서 쌍대 복합체의 명시적 형태는 무엇인가?
• RQ3 유도 범주 도구와 기저 변경을 사용하여 $ K \mapsto K*M $ 과 $ N \mapsto M^\vee * N $ 사이의 수반 관계를 확립할 수 있는가?
• RQ4 함수 $ a $, $ f $, 및 $ \Delta $ 는 어떻게 상호작용하여 필요한 동형을 구성하는가?
• RQ5 쌍대성 $ M^\vee = (-\mathrm{id}_X)^*D(M) $ 는 대칭 모노이드 범주 $ (\mathbf{D}, *) $ 에서의 강성에 대한 수반 조건을 만족하는가?

주요 결과

• 모든 복합체 $ M \in D_{c}^{b}(X,\Lambda) $ 는 대칭 모노이드 범주 $ (\mathbf{D}, *) $ 에서 강성이며, 이는 함자 $ K \mapsto K*M $ 가 오른쪽 수반을 가짐을 의미한다.
• $ K \mapsto K*M $ 의 오른쪽 수반은 $ N \mapsto M^\vee * N $ 으로 주어지며, 여기서 $ M^\vee = (-\mathrm{id}_X)^*D(M) $ 이다.
• 수반 동형 $ \mathrm{Hom}(K*M, N) \cong \mathrm{Hom}(K, M^\vee * N) $ 는 유도 함자와 버드리어 쌍대를 통해 구성된다.
• 이 동형은 대각 포함사상 $ \Delta: X \to X \times X $ 에 적용된 적절한 기저 변경 정리를 통해 원점에서의 스테이크를 식별함으로써 확립된다.
• $ X \times X \times X $ 에서의 핵심 기하학적 항등식 $ f \circ (a \times \mathrm{id}) = f \circ (\mathrm{id} \times f) $ 는 두 유도된 직접 이미지 복합체 간의 자연스러운 동형을 유도한다.
• 결과적으로 유도된 동형 $ \psi_{A,C}: L_0 \to R_0 $ 는 $ A $ 와 $ C $ 에 대해 함수적이며, 필요한 수반 자료를 제공한다.