[논문 리뷰] Orthogonally spherical objects and spherical fibrations

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|2010. 11. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 5

한 줄 요약

이 논문은 기저 스킴 Z 위에서의 피브레이션 기반 설정으로 Seidel-Thomas의 구형 대상 개념을 일반화하여 '수직으로 구형인 대상들'을 도입하고 그 성질을 특성화한다. D(Z × X)에 속한 대상이 Z 위에서 구형임은 그 대상이 원래의 구형 대상 정의와 유사한 코homological 조건을 만족할 때이고, 이를 증명하며, Z 위의 평탄한 피브레이션은 그 군집이 고레스타인이고 상대적 캐논리컬 번들 구조가 적절할 경우 이러한 조건을 만족함을 보이며, 이는 구형 전위를 통한 자동준위의 기하학적 기준을 제공한다.

ABSTRACT

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z) and D(X) in a certain natural way. Most known examples come from subschemes of X fibred over Z. This categorifies to the notion of an object of D(Z x X) orthogonal over Z. We prove that such an object is spherical over Z if and only if it has certain cohomological properties similar to those in the original definition of a spherical object. We then interpret this geometrically in the case when our objects are actual flat fibrations in X over Z.

연구 동기 및 목표

• Z 위에서의 피브레이션 기반 설정으로 [ST01]의 구형 대상 개념을 일반화하는 것.
• 원래의 구형 대상 공리와 유사한 코homological 조건을 통해 D(Z × X)에서 'Z 위의 구형 대상'을 정의하고 특성화하는 것.
• Z 위의 평탄한 피브레이션 X에서 D(X)의 자동준위를 구형 전위 함수자에 의해 유도할 수 있는 기하학적 기준을 설정하는 것.
• 구형 전위 함수자의 핵 대상이 기저 Z 위에서 수직성과 코homological 조건을 만족할 때에만 자동준위임을 보여주는 것.

제안 방법

• D(Z × X)에서의 상대적 구형 대상을, 관련된 푸리에–무카이 함수자 Φ_E : D(Z) → D(X)가 구형이 되는 대상으로 정의한다. 즉, 그의 코-트위스트가 자동준위이고, 수반 조건들이 자연 동형을 만족한다.
• 스펙트럴 시퀀스를 사용하여 D(X) 내의 호모로지 복합체의 호모로지와 그의 섹션의 호모로지를 연결하며, 특히 π: W → Z 피브레이션에 대해 RHom_X(ξ_*O_W, ξ_p^*O_{W_p})의 분석을 수행한다.
• 상대적 딜로이드 정리를 적용하여, 어떤 Z 위의 선다발 L에 대해 ω_W/X ≃ π^*L ⊗ ω_W/Z 를 유도함으로써 캐논리컬 번들와 피브레이션 구조를 연결한다.
• 유도 범주에서 코어의 비함수적 성질을 이용하여, 구형 전위의 핵이 푸리에–무카이 핵들 사이의 사상의 코어임을 증명한다.
• 스펙트럴 시퀀스의 추론을 통해, 고차 호모로지의 소멸과 차수 0 및 dim X − dim Z에서의 랭크 1 조건이 섹션의 연결성과 고레스타인 성질을 암시함을 보인다.
• 구형 조건이 성립함은 물론이고, 모든 섹션 W_p가 연결된 고레스타인 스킴이고, 상대적 캐논리컬 번들 ω_W/X ≃ π^*L ⊗ ω_W/Z 를 만족할 때에만 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 기저 Z에 의해 매개화된 D(X) 내의 대상의 가중치가 구형 전위 함수자에 의해 D(X)의 자동준위를 유도할 수 있는 조건은 무엇인가?
• RQ2 D(Z × X)에 속한 대상 E에 대해, 관련된 푸리에–무카이 함수자가 Z 위에서 구형이 되도록 하는 코homological 조건은 무엇인가?
• RQ3 기존의 구형 대상 개념을 기저 스킴 Z 위의 피브레이션을 포함하는 상대적 설정으로 일반화할 수 있는가?
• RQ4 Z 위의 평탄한 피브레이션 W → Z 에 대해, 구조층 ξ_*O_W 가 Z 위에서 구형이 되기 위한 기하학적 조건은 무엇인가?
• RQ5 D(Z × X) 내에서 구형 전위 함수자의 핵이 그의 호모로지 층들의 직합과 quasi-isomorphic이 아니게 되는 조건은 무엇인가?

주요 결과

• D(Z × X)에 속한 대상 E가 Z 위에서 구형임은 그의 코-트위스트 FE 가 D(Z)의 자동준위이면서, 자연 변환 Φ_E^radj → FE ∘ Φ_E^ladj [1] 가 동형임과 동치이다.
• W ⊂ X 이고 π: W → Z 가 평탄한 피브레이션일 때, 구조층 ξ_*O_W 가 Z 위에서 구형임은 모든 섹션 W_p 가 연결된 고레스타인 스킴이며, ω_W/X ≃ π^*L ⊗ ω_W/Z 를 만족하는 어떤 L ∈ Pic(Z) 가 존재할 때에만 성립한다.
• 복합체 RHom_X(ξ_*O_W, ξ_p^*O_{W_p}) 의 호모로지는 k ⊕ k[−(dim X − dim Z)] 와 동형이며, 이는 섹션의 연결성과 적절한 쌍대화 성질을 암시한다.
• 구형 전위 함수자의 핵이 그 호모로지 층들의 직합과 quasi-isomorphic이 아니게 되는 경우는 핵이 피브레이션의 구조층이 아니지만 수직으로 구형인 대상일 때 발생하며, D_2n 내의 S_2n 의 예시에서 이를 보여준다.
• 상대적 구형 조건은 모든 호모로지 군이 차수 0과 dim X − dim Z 를 제외하고 소멸하고, 그 차수에서 랭크 1 이어야 함과 동치이다.
• 그로텐디크–스프링거 해소의 예에서, 함수자 S_2n : D_2n−2 → D_2n 는 R ∘ S_1 또는 R^{−1} ∘ S_{2n−1} 과 동형이며, 그 핵은 수직으로 구형이지만 피브레이션의 구조층이 아니며, 이러한 대상들이 반드시 피브레이션을 이루지 않는다는 것을 보여준다.