[논문 리뷰] Almost free modules and Mittag--Leffler conditions

Dolors Herbera, Jan Trlifaj|ArXiv.org|2009. 10. 22.

Rings, Modules, and Algebras참고 문헌 19인용 수 5

한 줄 요약

이 논문은 평탄한 미타그-레플레르 모듈러가 ℵ₁-프로젝티브 모듈러와 정확히 일치함을 증명하여, 무한차원 대수기하학에서 핵심적인 구조적 질문을 해결한다. 또한 이 클래스가 비우측완전한 링 위에서는 탈구성 가능하지 않음을 증명함으로써, 이 클래스를 사용한 준가역적 복합체의 쿼시코herent층의 비유한 복합체 범주에 대한 쿠일렌 모델 범주 구조의 존재를 배제한다 — 드린펠트가 제기한 질문에 대한 답이다.

ABSTRACT

Drinfeld recently suggested to replace projective modules by the flat Mittag--Leffler ones in the definition of an infinite dimensional vector bundle on a scheme $X$. Two questions arise: (1) What is the structure of the class $\mathcal D$ of all flat Mittag--Leffler modules over a general ring? (2) Can flat Mittag--Leffler modules be used to build a Quillen model category structure on the category of all chain complexes of quasi--coherent sheaves on $X$? We answer (1) by showing that a module $M$ is flat Mittag--Leffler, if and only if $M$ is $\aleph_1$--projective in the sense of Eklof and Mekler. We use this to characterize the rings such that $\mathcal D$ is closed under products, and relate the classes of all Mittag--Leffler, strict Mittag--Leffler, and separable modules. Then we prove that the class $\mathcal D$ is not deconstructible for any non--right perfect ring. So unlike the classes of all projective and flat modules, the class $\mathcal D$ does not admit the homotopy theory tools developed recently by Hovey . This gives a negative answer to (2).

연구 동기 및 목표

• 일반 링 위에서 평탄한 미타그-레플레르 모듈러의 구조적 성질, 특히 ℵ₁-프로젝티비티와의 관계를 규명하는 것.
• 스키마 위의 준가역적 복합체의 비유한 복합체 범주에서 평탄한 미타그-레플레르 모듈러의 클래스가 쿠일렌 모델 범주 구조를 갖는지 여부를 조사하는 것.
• 탈구성 가능 클래스, 캄프만스키 클래스, 그리고 평탄한 미타그-레플레르 모듈러의 클래스 간의 관계를 명확히 하는 것.
• 평탄한 미타그-레플레르 모듈러의 클래스가 곱에 대해 닫혀 있는 링을 특성화하는 것.
• 모델 범주를 통한 유도 범주 계산에서 평탄한 미타그-레플레르 모듈러의 호모토피론적 타당성을 해결하는 것.

제안 방법

• 범주론적 및 집합론적 방법을 통해 평탄한 미타그-레플레르 모듈러와 ℵ₁-프로젝티브 모듈러 간의 동치를 확립.
• 텐서곱 함수를 사용하여 ℵ₁-프로젝티브 모듈러를 재해석함으로써, 미타그-레플레르 모듈러 이론에 새로운 접근 가능성을 제공.
• 에클로프와 메클러의 ℵ₁-프로젝티브 모듈러에 관한 결과를 활용하여 평탄한 미타그-레플레르 모듈러의 클래스의 닫힘 성질 분석.
• 헤브리의 모델 범주 프레임워크를 적용하기 위해, 작은 코터션 쌍을 통한 모델 범주 구조를 활용하며, 이는 클래스의 탈구성 가능성 필요.
• 비우측완전한 링 위에서 평탄한 미타그-레플레르 모듈러의 클래스가 탈구성 가능하지 않음을, 순서수 연장과 닫힘 추론을 통해 증명.
• 탈구성 가능성과 더 약한 캄프만스키 클래스 성질을 대조하여, 일반적으로 후자가 전자를 함의하지 않음을 보여줌.

실험 결과

연구 질문

• RQ1 일반 링 위에서 평탄한 미타그-레플레르 모듈러의 클래스는 ℵ₁-프로젝티브 모듈러의 클래스와 동치인가?
• RQ2 스키마 위의 준가역적 복합체의 비유한 복합체 범주에서 평탄한 미타그-레플레르 모듈러의 클래스가 쿠일렌 모델 범주 구조를 구성하는 데 사용될 수 있는가?
• RQ3 평탄한 미타그-레플레르 모듈러의 클래스가 곱에 대해 닫혀 있는 조건은 무엇인가?
• RQ4 평탄한 미타그-레플레르 모듈러의 클래스는 탈구성 가능한가, 그리고 이는 모델 범주 구조 존재성과 어떻게 관련되는가?
• RQ5 평탄한 미타그-레플레르 모듈러의 맥락에서 캄프만스키 클래스와 탈구성 가능 클래스 개념은 어떻게 비교되는가?

주요 결과

• 모듈러가 평탄한 미타그-레플레르일 필요충분조건은 ℵ₁-프로젝티브일 것임을 증명하여, 근본적인 구조적 동치를 확립.
• 모든 비우측완전한 링 위에서 평탄한 미타그-레플레르 모듈러의 클래스는 탈구성 가능하지 않으며, 이는 헤브리의 모델 범주 구조 수립 방법의 사용을 무효화함.
• 모든 비우측완전한 링에 대해 평탄한 미타그-레플레르 모듈러의 클래스는 어떤 모듈러 클래스의 왼쪽 수직성 클래스로 표현될 수 없으며, 따라서 어떤 𝒟에 대해서도 ⁻(𝒟⁻¹) 형태를 띠지 않음.
• 링이 가산적이고 평탄한 미타그-레플레르 모듈러의 클래스가 곱에 대해 닫혀 있을 경우, 모든 평탄한 모듈러의 클래스는 평탄한 미타그-레플레르 클래스의 오른쪽 수직성 클래스의 왼쪽 수직성 클래스와 일치함.
• 평탄한 미타그-레플레르 모듈러의 클래스는 일반적으로 캄프만스키 클래스이지만 탈구성 가능 클래스는 아니며, 이는 캄프만스키 클래스가 탈구성 가능 클래스보다 엄밀히 더 약한 성질임을 보여줌.
• 링이 우측완전하지 않은 경우 평탄한 미타그-레플레르 모듈러의 클래스는 순서수 연장을 통해 닫혀 있지만, 이는 탈구성 가능성이나 모델 범주 적용 가능성의 함의를 갖지 못함.