[논문 리뷰] An intrinsic definition of the Rees algebra of a module

Gustav Sædén Ståhl|arXiv (Cornell University)|2014. 02. 13.

Commutative Algebra and Its Applications인용 수 1

한 줄 요약

이 논문은 Noetherian 환 위의 유한 생성 모듈러에 대한 Rees 대수의 내재적, 분할거듭제곱 기반 정의를 제시하며, 이는 이전의 자유 모듈러로의 사상에 대한 교차를 통한 외재적 정의를 대체한다. 주요 기여는 Rees 대수가 분할거듭제곱 대수의 쌍대가환대수 Γ(M*)∨로의 자연스러운 사상 Sym(M) → Γ(M*)∨의 상과 동형임을 증명하는 것으로, 이는 함자적이고 좌표에 의존하지 않는 특성화를 제공한다.

ABSTRACT

This paper concerns a generalization of the Rees algebra of ideals due to Eisenbud, Huneke and Ulrich that works for any finitely generated module over a noetherian ring. Their definition is in terms of maps to free modules. We give an intrinsic definition using divided powers.

연구 동기 및 목표

• Noetherian 환 위의 유한 생성 모듈러에 대한 Rees 대수의 좌표에 의존하지 않고 내재적인 정의를 제공하는 것.
• Eisenbud, Huneke, Ulrich의 외재적 정의—자유 모듈러로의 사상에 대한 교차에 기반—을 분할거듭제곱을 사용한 서술로 대체하는 것.
• 내재적인 대수적 구조를 통해 Rees 대수의 구성의 함자성과 자연성을 확립하는 것.
• 이deals를 초월한 모듈러에 대한 이전 Rees 대수의 구성들을 통합하고 일반화하는 것.

제안 방법

• 모듈러 M의 대칭대수 Sym(M)과 그 쌍대모듈러 M*의 분할거듭제곱 대수 Γ(M*)를 사용한다.
• Hom(Γn(M*), A)를 통한 A-가환대수로서의 그룹화된 쌍대 Γ(M*)∨를 구성한다.
• 자연스러운 사상 M → M** ⊂ (Γ(M*))₁을 통한 Sym(M) → Γ(M*)∨로의 자연스러운 A-가환대수 준동형사를 정의한다.
• 동형자(coequalizer)를 보존하는 함자와 이중대수 구조 이론을 적용하여 대칭대수와 분할거듭제곱 대수를 연결한다.
• versal 사상 M → F를 사용하여 외재적 정의와 내재적 정의를 단사 사상 Γ(M*)∨ → Γ(F*)∨를 통해 연결한다.
• 자유 모듈러 F에 대해 Γ(F*)∨ ≅ Sym(F)임을 이용하여 두 정의를 비교하고 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 Noetherian 환 위의 유한 생성 모듈러에 대한 Rees 대수는 자유 모듈러로의 사상에 대한 참조 없이 내재적으로 정의될 수 있는가?
• RQ2 특히 분할거듭제곱을 포함한 자연스러운 대수적 구조는 좌표에 의존하지 않는 방식으로 Rees 대수를 포괄할 수 있는가?
• RQ3 자연스러운 사상 Sym(M) → Γ(M*)∨는 자유 모듈러로의 사상에 대한 교차를 통한 원래 정의와 어떻게 관련이 있는가?
• RQ4 Rees 대수의 구성의 함자성은 내재적 정의로부터 직접 유도될 수 있는가?
• RQ5 이중쌍대와 versal 사상은 외재적 및 내재적 서술을 연결하는 데 어떤 정확한 역할을 하는가?

주요 결과

• Rees 대수 R(M)는 자연스러운 사상 Sym(M) → Γ(M*)∨의 상과 동형이므로, 완전히 내재적인 정의를 제공한다.
• 이 내재적 정의는 Eisenbud, Huneke, Ulrich의 원래 외재적 정의—자유 모듈러로의 사상에 대한 무한 교차에 기반—과 동치이다.
• 자연스러운 사상 Sym(M) → Γ(M*)∨는 함자적이므로, R(M)는 Mod_A에서 Alg_A로의 자연스러운 함자로 확장된다.
• 그룹화된 쌍대 Γ(M*)∨는 자연스러운 가환대수 구조를 지니며, Sym(M)의 상이 이를 통해 R(M)이 Sym(M)의 몫으로 복원된다.
• 이 구성은 자유 모듈러에의 임bedding에 의존하지 않고, 대신 M과 그 쌍대의 내재적 구조에 기반한다.
• 증명은 versal 사상 M → F에 대해 유도된 사상 Γ(M*)∨ → Γ(F*)∨가 단사적이며, Γ(F*)∨ ≅ Sym(F)임을 이용한다. 이를 통해 원래 정의와 비교 가능해지고 동치임을 증명할 수 있다.