[논문 리뷰] Embeddings of derived categories of bornological modules

Ralf Meyer|ArXiv.org|2004. 10. 28.

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

한 줄 요약

이 논문은 프레셰 대수 B 위의 보노로지컬 모듈러의 도입 범주가 밀도가 높은 부분대수 A 위의 도입 범주에 완전충실하게 통합될 조건을 설정한다. 보노로지컬 텐서곱과 호모로지 대수학을 사용한다. 핵심 결과는 포함사상 A → B가 등코homological일 경우 이러한 통합이 완전충실하다는 것이다. 이는 비가환 토러스와 다항식 성장률을 가지는 군 대수에서 성립한다.

ABSTRACT

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many important examples, this functor is fully faithful. We study this property in some detail, giving several equivalent conditions, examples, and applications. To prepare for this, we explain carefully how to do homological algebra with modules over bornological algebras. We construct the derived category of bornological left A-modules and some standard derived functors, with special emphasis on the adjoint associativity between the tensor product and the internal Hom functor. We also discuss the category of essential modules over a non-unital algebra and its functoriality.

연구 동기 및 목표

• 보노로지컬 모듈러에 대한 호모로지 대수학을 개발하며, 도입 범주와 도입 함자를 포함한다.
• 보노로지컬 대수 A가 프레셰 대수 B의 밀도가 높은 부분대수일 때, 등코homological 준동형사상 A → B의 개념을 정의하고 연구한다.
• 도입 함자 $ D(B\text{-mod}) \to D(A\text{-mod}) $가 완전충실해지는 조건을 확립한다.
• 이론을 비가환 토러스와 군 대수의 호크시드 호모로지 및 주기적 순환 호모로지를 계산하는 데 응용한다.
• 디오판틴 근사의 역할이 리졸베이트 연산자의 성장과 호모로지에 미치는 영향을 명확히 한다.

제안 방법

• 보노로지컬 텐서곱과 내부 Hom 함자를 사용하여 보노로지컬 왼쪽 A-모듈러의 도입 범주를 구성한다.
• B 위의 해상도를 정의하기 위해 A-균형 임의의 보노로지컬 텐서곱 $ \hat{\otimes}_A $를 도입한다.
• 자유 A-bimodule 해상도 $ P_\bullet $를 사용하여 복합체 $ B \hat{\otimes}_A P_\bullet \hat{\otimes}_A B $를 구성하고, 이가 등코homological임을 테스트한다.
• 비가환 토러스 $ \mathcal{P}(\mathbb{T}^2_\theta) \to \mathcal{S}(\mathbb{T}^2_\theta) $에 이론을 적용하여 등코homological임을 보인다.
• 특히 다항식 성장과 니르포텐트성에 기반한 군의 기하적 성질로 해상도 복합체의 수축 가능성을 감소시킨다.
• 정수 집합 $ \mathbb{Z}^* $에서 $ (1 - \exp(2\pi i \theta m))^{-1} $의 성장을 분석하여, $ \mathcal{T}(\mathbb{T}^2_\theta) $의 호크시드 호모로지가 $ \mathcal{P}(\mathbb{T}^2_\theta) $와 일치하는지 여부를 판단한다.

실험 결과

연구 질문

• RQ1 보노로지컬 대수 A → B의 밀도가 높은 포함사상에 대해, $ D(B\text{-mod}) \to D(A\text{-mod}) $ 함자가 언제 완전충실해지는가?
• RQ2 복합체 $ B \hat{\otimes}_A P_\bullet \hat{\otimes}_A B $가 B를 해상하는 조건은 무엇인가? 즉, 등코homological인지 여부는?
• RQ3 θ의 디오판틴 근사가 $ \mathcal{T}(\mathbb{T}^2_\theta) $의 호크시드 호모로지에 어떤 영향을 미치는가?
• RQ4 군론적 조건은 무엇이어야 $ \mathbb{C}[G] \to \mathcal{S}(G) $ 포함사상이 등코homological이 되는가?
• RQ5 왜 주기적 순환 호모로지가 $ \mathcal{P}(\mathbb{T}^2_\theta) $와 동일한 호모로지를 회복하는 데 반해, 호크시드 호모로지는 다를 수 있는가?

주요 결과

• 포함사상 $ \mathcal{P}(\mathbb{T}^2_\theta) \to \mathcal{S}(\mathbb{T}^2_\theta) $는 등코homological이므로 도입 범주 통합은 완전충실하다.
• 호크시드 호모로지 $ \mathcal{T}(\mathbb{T}^2_\theta) $가 $ \mathcal{P}(\mathbb{T}^2_\theta) $와 일치하는 것은 $ (1 - \exp(2\pi i \theta m))^{-1} $의 지수적 성장이 아닌 경우에 한하여 성립한다.
• θ가 무리수일 경우, $ \mathcal{P}(\mathbb{T}^2_\theta) $의 호모로지는 차수 0, 1, 2에서 각각 $ \mathbb{C} $, $ \mathbb{C}^2 $, $ \mathbb{C} $이며, 이보다 높은 차수에서는 0이 된다.
• 리졸베이트가 지수적으로 성장할 경우, $ \mathcal{T}(\mathbb{T}^2_\theta) $의 호크시드 호모로지는 차수 0과 1에서 무한차원 비하우스도르프 성분을 포함한다.
• 주기적 순환 호모로지 $ \mathcal{T}(\mathbb{T}^2_\theta) $는 게이지 불변성 덕분에 $ \mathcal{P}(\mathbb{T}^2_\theta) $와 일치한다.
• 군 G가 다항식 성장 또는 콤브러블일 경우, $ \mathbb{C}[G] \to \mathcal{S}(G) $ 포함사상은 대규모 기하학과 미분형식을 통해 등코homological임을 보였다.