[논문 리뷰] On minimal Lefschetz decompositions for Grassmannians

Anton Fonarev|arXiv (Cornell University)|2011. 08. 10.

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

한 줄 요약

이 논문은 그라스만이안의 코herent sheaf의 도파미나티드 카테고리에 대해 두 개의 레프셰츠 분해를 구성하며, 첫 번째 분해의 완전성을 증명하고 두 번째 분해에 대해 추측한다. $n$과 $k$가 서로소일 경우, 첫 번째 분해는 최소이며 두 번째와 일치한다. 일반적으로는 두 번째 분해가 최소일 것으로 추측되며, 두 분해 모두 등변 벡터 번들의 레프셰츠 기저를 갖는다.

ABSTRACT

We construct two Lefschetz decompositions of the derived category of coherent sheaves on the Grassmannian of $k$-dimensional subspaces in a vector space of dimension $n$. Both of them admit a Lefschetz basis consisting of equivariant vector bundles. We prove fullness of the first decomposition and conjecture it for the second one. In the case when $n$ and $k$ are coprime these decompositions coincide and are minimal. In general, we conjecture minimality of the second decomposition.

연구 동기 및 목표

• 그라스만이안 $\mathrm{Gr}(k,V)$의 코herent sheaf 도파미나티드 카테고리에 대해 최소 레프셰츠 분해를 구성하는 것.
• 이전에 단지 반직교성만 알려져 있었던 특정 레프셰츠 분해의 완전성을 증명하는 것.
• 두 번째 레프셰츠 분해의 최소성을 추측하는 것, 특히 비서로소인 경우에 중점을 두고.
• 두 분해 모두에 대해 등변 벡터 번들의 레프셰츠 기저를 제공하는 것.
• 레프셰츠 분해의 최소성과 Kuznetsov의 추측에 따라 애핀 콘의 최소 카테고리적 해소와의 관계를 규명하는 것.

제안 방법

• 이중 타우토로지컬 번들 $\Sigma^\lambda{\mathcal{U}}^*$의 슈어 함수열의 전체 예외적 컬렉션을 사용하여 레프셰츠 분해를 구성한다.
• 선형 번들의 텐서 곱에 의한 분해 과정에서 어떻게 군데군데가 되는지를 추적하기 위해 $\mathrm{Exp}^{(k)}(\lambda)$의 개념을 반복적으로 적용한다.
• 반직교성 조건을 활용하여 분해의 구성 요소들이 상호 직교하는지 확인한다.
• 장기 정확한 수열을 통한 재귀적 필터링 추론을 통해, 모든 $\Sigma^\lambda{\mathcal{U}}^*$ 가 제안된 블록에 의해 생성된 삼각형 카테고리에 속한다는 것을 보인다.
• 모든 기약 표현 $\Sigma^\lambda{\mathcal{U}}^*$ 가 $\mu \in \mathsf{Y}^{\mathrm{l}}_{n,k}$ 및 $t < l(\mu)$ 인 제안된 블록 $\left<\Sigma^\mu{\mathcal{U}}^*(-t)\right>$ 에 의해 생성된 카테고리에 속한다는 것을 보여, 완전성을 증명한다.
• 특정 경우인 $\mathrm{Gr}(3,6)$ 에 대해 추측을 검증하기 위해, 누락된 슈어 함수열 $\Sigma^{(3,3,1)}{\mathcal{U}}^*$ 와 그 텐서 곱이 제안된 블록에 의해 생성된 카테고리에 속한다는 것을 확인한다.

실험 결과

연구 질문

• RQ1 도파미나티드 카테고리 $\mathcal{D}^b(\mathrm{Gr}(k,V))$ 에 대해 등변 벡터 번들의 레프셰츠 기저를 갖는 최소 레프셰츠 분해가 존재하는가?
• RQ2 이 논문에서 구성한 첫 번째 레프셰츠 분해는 완전성을 갖는가? 그리고 $n$과 $k$가 서로소일 경우 최소인가?
• RQ3 두 번째, 잠재적으로 더 작은 레프셰츠 분해를 구성할 수 있으며, 비서로소인 경우에 대해 최소일 것으로 추측되는가?
• RQ4 확장 집합 $\mathrm{Exp}^{(k)}(\lambda)$ 는 선형 번들의 텐서 곱에 따른 슈어 함수열의 필터링을 어떻게 제어하는가?
• RQ5 도파미나티드 카테고리 $\mathrm{Gr}(3,6)$ 는 제안된 레프셰츠 블록들로 완전히 분해되는가? 이는 논문에서 검증되었다.

주요 결과

• 첫 번째 레프셰츠 분해는 완전성이 증명되었으며, 첫 번째 블록은 $\lambda \in \mathsf{Y}^{\mathrm{u}}_{n,k}$ 인 $\Sigma^\lambda{\mathcal{U}}^*$ 에 의해 생성되며, 이는 반대 대각선 아래에 있지 않은 양의 도형들의 집합이다.
• 일반적으로 $n$과 $k$가 서로소일 경우, 첫 번째 분해는 최소이며 두 번째 분해와 일치한다. 이는 이 경우 최소성의 성립을 의미한다.
• 두 번째 레프셰츠 분해는 일반적으로 완전성과 최소성을 추측한다. 특히 $n$과 $k$가 서로소가 아닐 경우에 중점을 두고.
• $\mathrm{Gr}(3,6)$ 에서는 추측이 검증되었다: 도파미나티드 카테고리는 제안된 블록들로 완전히 분해되며, 이전에 누락되었던 $\Sigma^{(3,3,1)}{\mathcal{U}}^*$ 와 그 텐서 곱도 포함된다.
• $\mathrm{Exp}^{(k)}(\lambda)$ 의 확장 과정은 모든 $\Sigma^\lambda{\mathcal{U}}^*$ 가 $\mu \in \mathsf{Y}^{\mathrm{l}}_{n,k}$ 및 $t < l(\mu)$ 인 블록 $\Sigma^\mu{\mathcal{U}}^*(-t)$ 에 의해 생성된 삼각형 카테고리에 속한다는 것을 보장한다.
• 증명은 $\Sigma^{(3,2,1)}{\mathcal{U}}^*$ 의 장기 정확한 수열 해소를 통해 그 텐서 곱이 제안된 블록에 의해 생성된 카테고리에 속한다는 것을 보여, 기반으로 사용된다.