[논문 리뷰] Non-commutative resolutions and Grothendieck groups

Hailong Dao, Osamu Iyama외 2명|arXiv (Cornell University)|2012. 05. 21.

Algebraic structures and combinatorial models참고 문헌 22인용 수 3

한 줄 요약

이 논문은 아벨리안 노에테리안 정규 도메인에서의 특이점에 대한 비가환 해소(NCR)를 연구하며, 도메인의 코hen-맥올레이 성질과 그의 그로텐디크 군 및 클라스 군을 분석한다. 비가환 해소의 존재는 이러한 군들에 대해 강력한 유한성 조건을 부과하며, 특히 표준 적으로 가중된 코hen-맥올레이 대수의 경우, 약간의 조건 하에 유리 특이점이 되어야 한다고 보여준다.

ABSTRACT

Let $R$ be a noetherian normal domain. We investigate when $R$ admits a faithful module whose endomorphism ring has finite global dimension. This can be viewed as a non-commutative desingularization of $\Spec(R)$. We show that the existence of such modules forces stringent conditions on the Grothendieck group of finitely generated modules over $R$. In some cases those conditions are enough to imply that $\Spec(R)$ has only rational singularities.

연구 동기 및 목표

• 노에테리안 정규 도메인 R가 비가환 해소(NCR)를 가질 수 있는 필요 조건을 규명하는 것, 즉 끈적성 모듈러스 M이 존재하여 End_R(M)의 전역 차원이 유한한 경우.
• 그러한 NCR의 존재가 R의 대수적 K-이론 및 클라스 군의 구조에 미치는 제약 조건을 조사하는 것.
• 복소수 위의 표준 적으로 가중된 코헨-맥올레이 대수 R에 대해, R의 비특이 스펙트럼이 유리 특이점을 가진다면 NCR의 존재는 Spec(R)가 오직 유리 특이점만을 가짐을 보여주는 것.
• 국소 환에서 그로텐디크 군 K₀(R)의 유한성과 특이점의 유리성 사이의 관계를 탐색하는 것.
• 특성 0에서 CH₀(X)Q가 유한하지만 H^d(X, O_X) ≠ 0인 반례를 제시하여 주요 정리의 역이 참일지 여부에 대한 잠재적 반례를 제기하는 것.

제안 방법

• 알제브라적 K-이론과 그로텐디크 군 기법을 사용하여 K₀(R) 및 Cl(R)의 유한성과 NCR의 존재를 연결하는 것.
• 러레이-세르 스펙트럴 시퀀스 및 코homological 소멸 정리와 같은 대수기하학의 결과를 활용하여 프로젝티브 다양체의 코homology를 분석하는 것.
• 프로포지션 3.8에 의해, 정규 도메인에서 NCR를 제공하는 모듈러스 M의 비골레르스타인 위치의 codimension은 최소 2임을 이용하는 것.
• D를 포함하는 다항식의 경우 CH₀(X)Q와 CH₀(X-D)Q 사이의 동형을 이용하여 코homological 소멸 조건을 다항식 위에서의 행동으로 축소하는 것.
• 레마 3.9를 적용하여, CH₀(X)Q가 다항식에 지지되어 있으면, 차원 d인 매끄럽고 프로젝티브 다양체 X에 대해 H^d(X, O_X) = 0임을 보이는 것.
• [34, 정리 2.2]에 의해, 유리 특이점은 해소 f: X̃ → X에 대해 H^d(X, O_X) = 0임으로 특징지어지므로 이를 활용하는 것.

실험 결과

연구 질문

• RQ1 정규 도메인 R에 대해, 끈적성 모듈러스 M이 존재하여 End_R(M)의 전역 차원이 유한한 조건은 무엇인가?
• RQ2 그로텐디크 군 K₀(R) 또는 클라스 군 Cl(R)의 유한성은 R의 특이점에 어떤 제약을 끼치는가?
• RQ3 복소수 위의 표준 적으로 가중된 코헨-맥올레이 대수 R에 대해, Spec(R) – {m}이 이미 유리 특이점을 가진다면 NCR의 존재는 Spec(R)가 오직 유리 특이점만을 가짐을 의미하는가?
• RQ4 매끄럽고 프로젝티브 다양체 X에 대해 CH₀(X)Q의 유한성은 그의 동차 좌표환에 유리 특이점이 있음을 의미하는가?
• RQ5 주요 정리의 역이 참인가? 즉, K₀(R)가 유한 생성일 경우 반드시 R이 유리 특이점을 가져야 하는가?

주요 결과

• R이 NCR를 가진 반지름 정규 도메인이라면, 그의 클라스 군 Cl(R)은 유한 생성이다.
• R이 반지름이며, M이 차원 ≤1인 닫힌 부분 스킴 외부에서 국소적으로 생성자인 모듈러스이고 NCR를 제공한다면, K₀(R)는 유한 생성이다.
• C 위의 표준 적으로 가중된 코헨-맥올레이 대수 R이 비특이 아이디얼 외부에서 오직 유리 특이점만을 가진다면, NCR의 존재는 Spec(R)가 오직 유리 특이점만을 가짐을 의미한다.
• 레마 3.9의 조건 하에, 차원 d인 매끄럽고 프로젝티브 다양체 X에 대해 H^d(X, O_X) = 0은 CH₀(X)Q가 다항식에 지지되어 있음을 동치로 한다.
• 유한 차원 CH₀(X)Q를 가지지만 H²(X, O_X) ≠ 0인 Q̄ 위의 K3 곡면 X가 존재한다면, 이는 주요 정리의 역이 참일 수 없는 잠재적 반례를 시사한다.
• 이 결과는 표면에 대해 유리 특이점의 새로운 특성화를 제공한다: 표면 특이점은 오직 NCR를 가질 때에만 유리 특이점이다.