2025-11-10T03:06:59.519282

Tor algebra of local rings with decomposable maximal ideal

Nasseh, Ono, Yoshino

Let $(R,{\frak{m}}_R)$ be a commutative noetherian local ring. Assuming that ${\frak{m}}_R=$$I\oplus J$ is a direct sum decomposition, where $I$ and $J$ are non-zero ideals of $R$, we describe the structure of the Tor algebra of $R$ in terms of the Tor algebras of the rings $R/I$ and $R/J$.

academic

분해 가능한 극대 이데알을 가진 국소환의 Tor 대수

기본 정보

논문 ID: 2507.01784
제목: Tor algebra of local rings with decomposable maximal ideal
저자: Saeed Nasseh, Maiko Ono, Yuji Yoshino
분류: math.AC (교환대수)
발표 시간: 2025년(arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2507.01784

초록

$(R,\mathfrak{m}_R)$ 을 교환 뇌터 국소환이라 하자. $\mathfrak{m}_R = I \oplus J$ 가 직합 분해이고, 여기서 $I$ 와 $J$ 는 $R$ 의 영이 아닌 이데알이라고 가정하자. 본 논문은 환 $R/I$ 와 $R/J$ 의 Tor 대수를 이용하여 $R$ 의 Tor 대수 구조를 기술한다.

연구 배경 및 동기

문제 배경

Tor 대수의 중요성: Tor 대수는 교환대수 및 동조대수의 핵심 개념으로, Tor 대수의 구조를 분석함으로써 국소환의 중요한 성질을 특성화할 수 있다. 예를 들어, Serre는 환 $R$ 이 정규환일 필요충분조건이 $A_R = (A_R)_0$ 임을 증명했으며, Assmus와 Tate는 $R$ 이 완전 교환환일 필요충분조건이 $A_R$ 이 $(A_R)_1$ 위의 외대수임을 증명했다.
분해 가능한 극대 이데알: 국소환의 극대 이데알이 두 개의 영이 아닌 이데알의 직합으로 표현될 수 있을 때, 이러한 환은 특수한 구조적 성질을 갖는다. 이러한 환은 공통 잉여체 $k$ 를 가진 국소환 $S$ 와 $T$ 의 섬유곱 $S \times_k T$ 와 동치이다.
Avramov 기계: Avramov가 고안한 방법은 환 $R$ 에 관한 문제를 그 Tor 대수 $A_R$ 에 관한 문제로 변환할 수 있으며, 이는 국소환 연구에 강력한 도구를 제공한다.

연구 동기

전통적으로 복잡한 환의 Tor 대수 구조를 계산하고 이해하는 것은 어렵다. 극대 이데알이 분해 가능한 구조를 가질 때, 자연스러운 질문은 더 단순한 몫환의 Tor 대수를 통해 원래 환의 Tor 대수를 이해할 수 있는가 하는 것이다. 본 논문은 이 기본적인 문제를 해결하고자 한다.

핵심 기여

주요 정리: 분해 가능한 극대 이데알을 가진 국소환의 Tor 대수의 완전한 구조 기술을 제공하며, 몫환 $R/I$ 와 $R/J$ 의 Tor 대수로 표현한다.
일반화 결과: 주요 결과를 여러 이데알의 직합 분해 경우로 일반화한다(정리 2.9).
구체적 예: 섬유곱 환과 멱급수환의 몫환을 포함한 여러 예를 통해 이론적 결과의 응용을 보여준다.
미해결 문제: Tate 분해에 관한 공개 문제를 제시하여 후속 연구의 방향을 제시한다.

방법론 상세 설명

이론적 틀

$(R,\mathfrak{m}_R, k)$ 를 교환 뇌터 국소환이라 하고, $x$ 를 $\mathfrak{m}_R$ 의 길이 $e$ 인 극소 생성 수열, $\hat{R} \cong Q/\mathfrak{a}$ 를 극소 Cohen 표현이라 하자.

Tor 대수 정의: $A_R = \text{Tor}^Q(k, \hat{R})$ 는 유한 차원 DG $k$ -대수 구조를 가지며, 미분은 영이다.

핵심 보조정리

보조정리 2.4: $k$ -대수 동형 $H(K_R(x,\mathfrak{m}_R)) \cong A_R^+ \ltimes \Sigma^{-1}(\bigwedge k^e)^+$ 이 존재하며, 여기서 곱셈 구조는 $(u,y) \cdot (u',y') = (uu', 0)$ 으로 주어진다.

주요 정리의 진술

주정리: $\mathfrak{m}_R = I \oplus J$ 이고, 여기서 $I$ 와 $J$ 가 각각 길이 $t$ 와 $s$ 인 수열 $x_1$ 과 $x_2$ 로 극소 생성된다고 가정하자. 그러면 $k$ -대수 동형 $A_R^+ \cong \left(\left(\bigwedge k^t \otimes_k A_{R/I}^+\right) \times \left(A_{R/J}^+ \otimes_k \bigwedge k^s\right)\right) \ltimes W$ 이 존재하며, 여기서 $W = \Sigma^{-1}\left(\frac{\bigwedge k^t \otimes_k \bigwedge k^s}{k \otimes_k \bigwedge k^s + \bigwedge k^t \otimes_k k}\right)$