[논문 리뷰] Algebraic and topological properties of an amalgamated algebra along an ideal

Marco D’Anna, Carmelo Antonio Finocchiaro외 1명|arXiv (Cornell University)|2013. 12. 13.

Rings, Modules, and Algebras참고 문헌 6인용 수 3

한 줄 요약

이 논문은 이상화와 $D+M$ 링과 같은 고전적 링 구성의 일반화인 $A\!\Join^{f}\!J$라는 합성 대수적 구조를 도입하고 연구한다. 이 논문은 $A\!\Join^{f}\!J$의 소 스펙트럼을 완전히 기술하고, 국소 링일 조건을 특성화하며, 임bedding 차원에 대한 정확한 공식을 제공한다. 또한 국소 노에테르 링일 경우 코hen-맥컬레이 및 고렌스타인 성질을 만족하는 조건을 제시한다.

ABSTRACT

Let $f:A ightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we study the amalgamation of $A$ with $B$ along $J$ with respect to $f$, a construction that provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced by D'Anna and Fontana in 2007, and other classical constructions (such as the $A+ XB[X]$, the $A+ XB[\![X]\!]$ and the $D+M$ constructions). In particular, we completely describe the prime spectrum of the amalgamation and, when it is a local Noetherian ring, we study its embedding dimension and when it turns to be a Cohen-Macaulay ring or a Gorenstein ring.

연구 동기 및 목표

• 합성 대수적 구조 $A\!\Join^{f}\!J$를 고전적 링 구성의 일반화로 간주하여, 이에 대한 종합적인 대수적 및 위상적 분석을 제공한다.
• 모든 소 스펙트럼을 완전히 기술하고, $A\!\Join^{f}\!J$가 국소 링이 되는 조건을 특성화한다.
• $A\!\Join^{f}\!J$가 국소 노에테르 링일 경우, $J$ 가 $f(A)+J$ 의 이상으로서 유한 생성 조건을 만족할 때, 임베딩 차원을 결정한다.
• $A\!\Join^{f}\!J$가 코헨-맥컬레이 또는 고렌스타인 링이 되는 조건을 규명하며, 특히 국소 노에테르 링의 경우에 초점을 맞춘다.
• 이전 결과에서 누락된 가정 $B = f(A) + J$ 를 명시적으로 규명하고, 더 약한 가정 하에 임베딩 차원 공식을 정확히 수정 및 일반화한다.

제안 방법

• 교차구조를 이용하여 $A\!\Join^{f}\!J$ 를 $A \times B$ 의 부분환으로 간주하고, 추상 대수학에서 알려진 결과를 활용한다.
• 자연적 사영 $p_A$ 와 $p_B$ 와 이들의 핵의 구조를 이용해 $A\!\Join^{f}\!J$ 의 소 이상을 특성화한다.
• 표준 준동형사상 $\gamma: A\!\Join^{f}\!J \to (f(A)+J)/J$ 를 적용하여 $A\!\Join^{f}\!J$ 의 스펙트럼과 $f(A)+J$ 의 스펙트럼 간의 관계를 규명한다.
• 나카야마의 보조정리와 모듈 기반 추론을 활용해 $A\!\Join^{f}\!J$ 의 최대 이상의 최소 생성집합을 분석한다.
• 최대 이상의 제곱에 대한 몫에서의 최소 생성집합을 이용해 임베딩 차원을 명시적으로 계산하며, 분해 $\mathcal{G} = \{(m_i, f(m_i)), (0, j_h)\}$ 를 활용한다.
• 국소 경우에서 코헨-맥컬레이 및 고렌스타인 성질을 분석하기 위해 정규화 모듈과 임계값의 성질을 연구한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $A\!\Join^{f}\!J$ 의 소 스펙트럼 전체가 완전히 기술될 수 있는가?
• RQ2 $A\!\Join^{f}\!J$ 가 국소 링이 되는 조건은 무엇인가?
• RQ3 $A\!\Join^{f}\!J$ 가 국소 노에테르 링일 경우, 특히 $J$ 가 $f(A)+J$ 의 이상으로서 유한 생성일 때, 임베딩 차원의 정확한 값은 무엇인가?
• RQ4 $A\!\Join^{f}\!J$ 가 코헨-맥컬레이 또는 고렌스타인 링이 되는 조건은 무엇인가?
• RQ5 임베딩 차원 공식은 $B = f(A)+J$ 라는 가정을 초월해 보다 일반화할 수 있는가?

주요 결과

• $A\!\Join^{f}\!J$ 의 소 스펙트럼은 완전히 기술되었다: $\operatorname{Spec}(A\!\Join^{f}\!J)$ 는 $\operatorname{Spec}(A)$ 와 $\operatorname{Spec}(f(A)+J)\setminus \operatorname{Spec}(f(A)+J)$ 의 disjoint union 과 이중사상이 존재하며, 이에 대한 정확한 조건이 제시된다.
• $A\!\Join^{f}\!J$ 가 국소 링일 조건은 $A$ 가 국소 링이면서 $f(A)+J$ 도 국소 링일 때이고, 이 경우의 최대 이상은 $M^\prime_f = \iota(M) + \{0\} \times J$ 로 주어진다.
• $A$ 가 최대 이상이 유한 생성된 국소 링이고 $J$ 가 $f(A)+J$ 의 이상으로서 유한 생성일 경우, $A\!\Join^{f}\!J$ 의 임베딩 차원은 $\operatorname{embdim}(A) + \nu(J)$ 로 주어지며, 여기서 $\nu(J)$ 는 $f(A)+J$ 에서의 $J$ 의 최소 생성수이다.
• 임베딩 차원 공식은 $B \neq f(A)+J$ 인 경우에도, $J$ 가 $f(A)+J$ 의 이상으로서 유한 생성일 경우 성립하며, 이는 이전 연구의 결함을 수정한 것이다.
• $A\!\Join^{f}\!J$ 가 코헨-맥컬레이일 경우, 적절한 조건 하에서 그 임계값은 $e(A\!\Join^{f}\!J) = e(A) + e(f(A)+J)$ 로 주어진다.
• $A\!\Join^{f}\!J$ 가 코헨-맥컬레이(또는 고렌스타인)일 조건은 $A$ 가 코헨-맥컬레이(또는 고렌스타인)이고 $f(A)+J$ 도 코헨-맥컬레이(또는 고렌스타인)일 때이며, 이는 $A$ 가 국소 링이고 $J$ 가 $f(A)+J$ 에 대해 유한 생성일 때 성립한다.