[논문 리뷰] A category of kernels for equivariant factorizations and its implications for Hodge theory

Matthew R. Ballard, David Favero외 1명|arXiv (Cornell University)|2011. 05. 16.

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

한 줄 요약

이 논문은 등변 인수 분해의 호모토피 범주에서의 내부 Hom에 대한 인수 분해 모델을 제안하여 확장된 호흐실트 코hom로지의 계산을 가능하게 한다. 이는 제플리스의 고전적 결과를 자코비안 대수를 통해 초면체 코homology에 대해 복원하고, 페르마 입체 4차 곡면과 관련된 K3 표면의 모든 자기곱에 대해 호지 추측을 증명한다.

ABSTRACT

We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we call the extended Hochschild cohomology algebra of the category of equivariant factorizations. In some cases of geometric interest, extended Hochschild cohomology contains Hochschild cohomology as a subalgebra and Hochschild homology as a homogeneous component. We use our factorization model for the internal Hom to calculate the extended Hochschild cohomology for equivariant factorizations on affine space. Combining the computation of extended Hochschild cohomology with the Hochschild-Kostant-Rosenberg isomorphism and a theorem of Orlov recovers and extends Griffiths' classical description of the primitive cohomology of a smooth, complex projective hypersurface in terms of homogeneous pieces of the Jacobian algebra. In the process, the primitive cohomology is identified with the fixed subspace of the cohomological endomorphism associated to an interesting endofunctor of the bounded derived category of coherent sheaves on the hypersurface. We also demonstrate how to understand the whole Jacobian algebra as morphisms between kernels of endofunctors of the derived category. Finally, we present a bootstrap method for producing algebraic cycles in categories of equivariant factorizations. As proof of concept, we show how this reproves the Hodge conjecture for all self-products of a particular K3 surface closely related to the Fermat cubic fourfold.

연구 동기 및 목표

• 등변 인수 분해의 k-선형 dg-범주 호모토피 범주에서의 연속 내부 Hom에 대한 인수 분해 모델을 개발하기 위해.
• 등변 인수 분해 범주에 대한 확장된 호흐실트 코hom로지 대수를 정의하고 계산하여, 호흐실트 코hom로지와 호모로지를 일반화하기 위해.
• 자코비안 대수를 사용하여 제플리스의 고전적 초면체의 원시 코homology술에 대한 기존 기술을 복원하고 확장하기 위해.
• 등변 인수 분해 범주에서 대수적 사이클을 구성하기 위한 범주론적 프레임워크를 수립하기 위해.
• 페르마 입체 4차 곡면과 관련된 특정 K3 표면의 모든 자기곱에 대해 호지 추측을 부트스트랩 방법을 통해 증명하기 위해.

제안 방법

• 차이 잠재에너지 구성 기반으로 등변 인수 분해의 dg-범주 간 내부 Hom dg-범주에 대한 인수 분해 모델을 구축하기 위해.
• 확장된 호흐실트 코호몰로지 대수를 호흐실트 코호몰로지와 호모로지를 모두 포함하는 하위기구로 갖는 일반화로 정의하기 위해.
• 호흐실트-코스타ント-로젠버그 동치와 올로프의 정리를 사용하여 애질리프 공간 위의 등변 인수 분해에 대한 확장된 호흐실트 코호몰로지 계산하기 위해.
• 특정 내부함수에 의해 유도된 도파일 코호몰로지 내부함수의 고정 부분공간과 초면체의 원시 코호몰로지를 식별하기 위해.
• 범주적 대응을 통한 도파일 코호몰로지 내부함수의 커널 사이의 사상으로서 전체 자코비안 대수를 재해석하기 위해.
• 등변 인수 분해 범주에서 대수적 사이클을 생성하기 위해 부트스트랩 방법을 적용하며, 준동치와 도파일 범주 동치를 활용하기 위해.

실험 결과

연구 질문

• RQ1 등변 인수 분해의 dg-범주 호모토피 범주에서의 내부 Hom은 어떻게 인수 분해를 통해 모델링할 수 있는가?
• RQ2 등변 인수 분해 범주의 확장된 호흐실트 코호몰로지 대수의 구조는 무엇이며, 호흐실트 코호몰로지와 호모로지와의 관계는 어떠한가?
• RQ3 이 인수 분해 모델을 통해 제플리스의 원시 코호몰로지에 대한 고전적 기술을 복원하고 확장할 수 있는가?
• RQ4 범주론적 부트스트랩 방법은 등변 인수 분해 범주에서 대수적 사이클을 생성할 수 있는가?
• RQ5 페르마 입체 4차 곡면과 관련된 K3 표면의 모든 자기곱에 대해 호지 추측이 성립하는가?

주요 결과

• 등변 인수 분해의 애질리프 공간 위에서의 확장된 호흐실트 코호몰로지 대수는 명시적으로 계산되었으며, 그 성분들은 잠재에너지의 자코비안 대수와 동형이다.
• 복소수 사영 초면체의 원시 코호몰로지는 도파일 범주에서 특정 내부함수에 의해 유도된 코호몰로지 내부함수의 고정 부분공간과 일치한다.
• 전체 자코비안 대수는 범주적 대응 구성에 의해 도파일 범주의 커널 객체의 그레이드 내부함수 대수로 실현된다.
• 페르마 입체 4차 곡면과 관련된 K3 표면 $Y$의 모든 자기곱 $Y^{ imes r}$에 대해 호지 추측은 $ ext{Inj}_{ ext{coh}}(Y^{ imes r})$와 $ ext{Inj}_{ ext{coh}}(bA^{6r}_{bC}, bG_m^{ imes_{bG_m} r}, w^{oxplus r})$ 사이의 준동치를 통해 $bQ$ 위에서 증명되었다.
• 모든 $r \geq 1$에 대해 범주 $ ext{D}^{ ext{abs}} ext{fact}(bA^{nr}_{bC}, bG_m^{ imes_{bG_m} r}, w^{oxplus r})$ 에서 호지 추측이 성립한다. 이는 확장된 호흐실트 코호몰로지 계산의 결과이다.
• 기존의 사례들과 일치하지만, 본 논문의 방법은 술리다와 아오끼의 산술적 방법과는 다릅니다. 새로운 범주론적 증명을 제공한다.