[논문 리뷰] On Serre duality for compact homologically smooth DG algebras

Dmytro Shklyarov|ArXiv.org|2007. 02. 20.

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

한 줄 요약

이 논문은 컴팩트한 호모로지적으로 스무스한 DG 대수에 대해 세르 쌍대성을 확립한다. 이를 위해 두 가지 핵심 결과를 증명한다: 호크시ลด 호몰로지의 유한성과, 기초 체 k 값을 갖는 HHₙ(A)와 HH₋ₙ(A) 사이의 비퇴화 쌍대성 쌍을 증명한다. 증명은 완전 모듈의 도입과 유도된 카테고리 동치를 활용하며, 고전적 세르 쌍대성을 비가환 대수기하학의 DG 대수 설정으로 확장한다.

ABSTRACT

The bounded derived category of coherent sheaves on a smooth projective variety is known to be equivalent to the triangulated category of perfect modules over a DG algebra. DG algebras, arising in this way, have to satisfy some compactness and smoothness conditions. In this paper, we describe a Serre functor on the category of perfect modules over an arbitrary compact and smooth DG algebra and use it to prove the existence of a non-degenerate pairing on the Hochschild homology of the DG algebra. This pairing is an algebraic analog of a well-known pairing on the Hodge cohomology of a smooth projective variety.

연구 동기 및 목표

• 부드러운 프로젝티브 다양체에서 고전적 세르 쌍대성을 컴팩트한 호모로지적으로 스무스한 DG 대수로 확장한다.
• 이러한 DG 대수에서 호크시ลด 호몰로지의 유한성 확립.
• 기하학적 세르 쌍대성과 유사하게, HHₙ(A) × HH₋ₙ(A) → k 형태의 비퇴화 쌍대성 쌍을 구성한다.
• 호크시ลด 호몰로지에 의한 히지-이론적 불변량의 비가환 대수기하학적 프레임워크 제공.
• 특수한 경우에서 기존 결과, 예를 들어 호크시ลด 호몰로지에서 콘네스의 미분 B의 소멸을 비가환 설정의 쌍대성에 의해 유도하는 대안 증명 제공.

제안 방법

• 부드러운 프로젝티브 다양체 X와 컴팩트한 호모로지적으로 스무스한 DG 대수 A에 대해 Dᵇ(Coh X)와 D_per(A) 사이의 유도된 동치를 활용한다.
• 유도된 카테고리에서 텐서곱과 유도된 Hom 함자를 포함한 쌍대성 동치를 적용한다.
• 완전 모듈 N과 임의의 모듈 M에 대해 RHom_A(N, M) ≅ M ⊗ᴸ_A N∨라는 표준 동치를 활용한다.
• 완전 모듈에 대해 N∨ = Hom_A(N, A)와 이중 쌍대 동치 N ≅ (N∨)∨를 사용한다.
• 유도된 Hom과 텐서곱을 연결하는 동치 Hom_{D(A^e)}(A, N ⊗_k M*) ≅ Hom_{D(A)}(M, N)를 적용한다.
• DG 대수가 비양의 차수에만 집중되어 있을 경우, HHₙ(A)가 n > 0일 때 소멸하므로, 이 쌍대성 쌍이 유한성으로 이어진다.

실험 결과

연구 질문

• RQ1 컴팩트한 호모로지적으로 스무스한 DG 대수의 호크시ลด 호몰로지가 여전히 유한차원인가?
• RQ2 이러한 대수에 대해 HHₙ(A)와 HH₋ₙ(A) 사이에 기하학적 세르 쌍대성과 유사한 비퇴화 쌍대성 쌍이 존재하는가?
• RQ3 비가환 설정에서 쌍대성을 통해 호크시ลด 호몰로지에서 콘네스의 미분 B의 소멸을 도출할 수 있는가?
• RQ4 이러한 쌍대성 프레임워크를 통해 특수한 경우에서 히지-드 라함 분해 추측을 복원할 수 있는가?
• RQ5 Dᵇ(Coh X) ≃ D_per(A)의 유도된 카테고리 동치는 호크시ลด 호몰로지가 비가환 경우에서 히지 코homology의 구조를 포착하는가?

주요 결과

• 컴팩트한 호모로지적으로 스무스한 DG 대수 A의 호크시ลด 호몰로지는 총 차수에서 유한차원이다.
• 모든 n에 대해 HHₙ(A) × HH₋ₙ(A) → k 형태의 비퇴화 쌍대성 쌍이 존재하며, 이는 세르 쌍대성을 비가환 설정으로 일반화한다.
• DG 대수가 비양의 차수에만 집중되어 있을 경우, 호크시ลด 호몰로지는 차수 0에만 집중되며, 이는 쌍대성 쌍의 결과이다.
• 쌍대성 쌍의 존재는 호크시ลด 호몰로지에서 콘네스의 미분 B의 소멸을 암시하며, 이는 비가환 히지-드 라함 분해 추측의 특수한 경우를 확인한다.
• 쌍대성 프레임워크는 특정 관계를 가진 화살표 대수의 호크시ลด 호몰로지 계산에 대한 대안 증명을 제공한다.
• Dᵇ(Coh X) ≃ D_per(A)의 유도된 카테고리 동치는 HHₙ(X) ≅ HHₙ(A)의 동치를 유도하며, 이는 호크시ลด 호몰로지가 비가환 경우에서 히지 코homology의 적절한 대체임을 보여준다.