[논문 리뷰] Euler class group of a Noetherian ring

Manoj K. Keshari|arXiv (Cornell University)|2014. 08. 12.

Commutative Algebra and Its ApplicationsMathematics참고 문헌 7인용 수 22

한 줄 요약

이 논문은 $ℚ$를 포함하고 차원 $n \geq 2$인 노에터 링 $A$에 대해 오일러 클래스 군 $E(A)$를 도입하며, 이는 단위 모듈러러스 원소가 존재하는지 여부를 감지하는 코homological 불변량을 제공한다. 주요 결과는 임의의 차원과 같은 랭크를 가진 단위 결정을 가진 프로젝티브 $A$-모듈러스가 단위 모듈러러스 원소를 가질 조건을 오일러 클래스가 $E(A)$에서 0이 되는 것으로 특징짓는다. 이는 이전에 스무스 아핀 대수에서의 결과를 일반화하며 노리가 제기한 질문을 해결한다.

ABSTRACT

We will study the Euler class group of a commutative Noetherian ring $A$ of dimension $d$, developed by S.M. Bhatwadekar and Raja Sridharan. This is my M.Phil thesis from 2001.

연구 동기 및 목표

• 노에터 링의 차원과 같은 랭크를 가진 프로젝티브 모듈러스에 대해 단위 모듈러러스 원소 존재 여부를 감지하는 불변량을 정의한다.
• 노에터 링에 대해 오일러 클래스 군을 스무스 아핀 대수에서의 노리의 구성으로부터 일반화한다.
• 오일러 클래스가 $E(A)$에서 0이 되는 것이 단위 결정을 가진 랭크 $n$의 프로젝티브 모듈러스에 단위 모듈러러스 원소가 존재하는지를 특징짓는다.
• 약한 오일러 클래스 군 $E_0(A)$를 정의하고, 이를 안정적으로 자유임과 $K_0$-클래스와 연결한다.

제안 방법

• 랭크 $n$의 높이를 가진 이상 $J \subset A$와 $J/J^2$가 $n$개의 원소로 생성되는 조건을 만족하는 $w_J$를 갖는 쌍 $(J, w_J)$로 생성되는 자유 아벨 군의 몫으로 $E(A)$를 정의한다.
• 국소 및 전역 페치팅 기법을 통해 이러한 쌍을 다룰 수 있는 덧셈 및 뺄셈 원리를 설정한다.
• 단위 결정을 가진 랭크 $n$의 프로젝티브 $A$-모듈러스 $P$와 $\chi: A \to \wedge^n P^*$의 정규화에 대해 오일러 클래스 $e(P, \chi) \in E(A)$를 구성한다.
• 프로젝티브 모듈러스 $P$가 단위 모듈러러스 원소를 가질 조건이 오직 $e(P, \chi) = 0$일 때임을 증명한다. 이를 위해 전방사와 안정적으로 자유인 근사 기법을 사용한다.
• 약한 오일러 클래스 군 $E_0(A)$를 $E(A)$의 몫으로 정의하고, 약한 오일러 클래스의 0이 되는 것과 $Q \oplus A$와의 $K_0$-등가성과의 관계를 규명한다.
• 표준 준동형사상 $E(A) \to E_0(A)$와 높이 $n$인 이상의 성질을 이용하여 $K_0$-이론적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 노에터 링 $A$의 차원이 $n$일 때, 단위 결정을 가진 랭크 $n$의 프로젝티브 $A$-모듈러스가 단위 모듈러러스 원소를 가질 수 있는지를 감지할 수 있는 불변량을 정의할 수 있는가?
• RQ2 노에터 링에 $ℚ$를 포함하는 조건에서 정의된 오일러 클래스 군 $E(A)$가 단위 모듈러러스 원소가 존재하거나 안정적으로 자유일 때에만 0이 되는가?
• RQ3 약한 오일러 클래스 군 $E_0(A)$는 $A$의 $K_0$-군과 어떻게 관련되어 있는가? 특히 $[P] = [Q \oplus A]$의 맥락에서 말이다.
• RQ4 어떤 조건에서 높이 $n$인 이상 $J$가 랭크 $n$의 안정적으로 자유인 모듈러스의 전방사상이 되는가?
• RQ5 오일러 클래스 $e(P, \chi)$가 정규화 $\chi$의 선택에 관계없이 불변인가?

주요 결과

• 랭크 $n$의 단위 결정을 가진 프로젝티브 $A$-모듈러스 $P$의 오일러 클래스 $e(P, \chi)$가 $E(A)$에서 0이 되는 것은 오직 $P$가 단위 모듈러러스 원소를 가질 때에만 성립한다.
• 노에터 링 $A$의 차원 $n$이 짝수일 경우, 약한 오일러 클래스 $e(P)$가 $E_0(A)$에서 0이 되는 것은 어떤 랭크 $n-1$의 프로젝티브 $A$-모듈러스 $Q$에 대해 $[P] = [Q \oplus A]$이 $K_0(A)$에서 성립할 때에만 성립한다.
• 만약 $(J, w_J) \in E(A)$가 $E(A) \to E_0(A)$의 핵에 속해 있다면, $(J, w_J)$는 랭크 $n$의 안정적으로 자유인 $A$-모듈러스의 오일러 클래스이므로, $J$는 그러한 모듈러스의 전방사상임을 의미한다.
• 높이 $n$인 이상 $J$에 대해 $J/J^2$가 $n$개의 원소로 생성되는 조건을 만족할 때, $P \to J$의 전방사상이 존재하면, $J$가 안정적으로 자유인 모듈러스의 전방사상이 되는 것은 오직 $e(P) = 0$이 $E_0(A)$에서 성립할 때에만 성립한다.
• 오일러 군 $E(A)$와 $E_0(A)$의 구성은 $ℚ$를 포함하고 차원 $n \geq 2$인 노에터 링에 대해 유효하며, 이는 이전에 스무스 아핀 대수에서의 결과를 일반화한다.
• 오일러 군 $E(A)$는 대수적으로 닫힌 체가 아닌 체 위에서 최상위 체르니클 클래스가 실패할 수 있는 상황에서도, 랭크가 차원과 같은 프로젝티브 모듈러스에서 단위 모듈러러스 원소의 존재를 감지하는 장애물들을 감지한다.