[논문 리뷰] Hilbert schemes of points for associative algebras

Michael Larsen, Valery A. Lunts|arXiv (Cornell University)|2012. 05. 12.

Advanced Topics in Algebra참고 문헌 4인용 수 3

한 줄 요약

이 논문은 가환환 k 위의 유한 생성된 결합 대수 𝒜에 대해 n개의 점의 하이버트 스킴을 구성한다. 이 스킴은 계수 n인 왼쪽 아이디얼을 매개변수화한다. 자유 GLₙ-작용을 지닌 준아핀 '기저가 있는 하이버트 스킴'을 도입하며, 그 몫이 원하는 하이버트 스킴이 되며, 기하적 구조를 직접적으로 구성함으로써 기하학적 불변량 이론(Geometric Invariant Theory)을 사용하지 않고도 이 스킴이 약간의 아핀 기반 위에서 프로젝티브임을 보인다.

ABSTRACT

For a finitely generated associative algebra $\cA$ over a commutative ring $k$ we construct the Hilbert scheme ${\bf H}^{[n]}_{\cA}$ which parametrizes left ideals in $\cA$ of codimension $n.$

연구 동기 및 목표

• 가환환 k 위의 유한 생성된 결합 대수 𝒜에 대해 n개의 점의 하이버트 스킴을 정의하고 구성한다.
• 기하학적 모듈리 공간을 통해 𝒜의 계수 n인 왼쪽 아이디얼을 매개변수화한다.
• 기본적인 기저를 갖춘 몫 모듈러에서의 아이디얼을 매개변수화하는 '기저가 있는 하이버트 스킴'을 도입한다.
• 기저가 있는 하이버트 스킴의 GLₙ-작용에 의한 몫이 원하는 하이버트 스킴이 되며, 이 몫이 프로젝티브임을 보인다.
• 기하학적 불변량 이론에 의존하지 않고, 대수적 및 기하적 기법만을 사용하여 명시적인 구성법을 제공한다.

제안 방법

• 각 k-스킴 X에 대해, 계수 n인 국소 자유 𝒜_X-모듈러 M, M을 𝒪_X-모듈러로 하는 기저 B, 그리고 M을 𝒜_X-모듈러로 생성하는 원소 v로 이루어진 삼중체 (M, v, B)의 동치류의 집합을 할당하는 함자 𝔐̃^{[n]}_𝒜를 정의한다.
• 표현 스킴 Rep^{[n]}_𝒜가 𝒜의 n차원 표현을 매개변수화함에 따라, 열린 부분스킴 U ⊂ W × V (W = Spec k[t_{ij}^s], V = Spec k[y₁,…,yₙ])와 Rep^{[n]}_𝒜 × V의 교차를 통해 보편 매개변수 공간을 구성한다.
• 기저가 있는 하이버트 스킴 𝔥̃^{[n]}_𝒜를 스킴 U ∩ (Rep^{[n]}_𝒜 × V)로 정의한다. 이는 준아핀이며 자연스러운 자유 GLₙ-작용을 지닌다.
• 몫 사상 π: 𝔥̃^{[n]}_𝒜 → 𝔥^{[n]}_𝒜가 국소적으로 아핀 기저를 지닌 GLₙ-_bundle임을 보이며, 이에 따라 𝔥^{[n]}_𝒜는 몫 스킴이 된다.
• 기저가 있는 하이버트 스킴이 자유 GLₙ-작용에 의한 몫임을 보이고, 이 몫이 프로젝티브임을 증명함으로써 𝔥^{[n]}_𝒜가 아핀 기반 위에서 프로젝티브임을 보인다.
• 내림 이론과 등변층 이론을 사용하여, 몫 위의 준구성층과 전체 공간 위의 G-등변 준구성층 사이의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 유한 생성된 결합 대수 𝒜를 가환환 k 위에서 고려할 때, 계수 n인 왼쪽 아이디얼을 매개변수화하는 모듈리 공간을 어떻게 구성할 수 있는가?
• RQ2 비가환 대수에 대한 n개의 점의 하이버트 스킴의 기하학적 구조는 무엇이며, 가환 경우와 어떻게 다를까?
• RQ3 기하학적 불변량 이론을 사용하지 않고 하이버트 스킴을 명시적으로 구성할 수 있는가?
• RQ4 몫 모듈러에서의 기저 선택은 구성에 어떤 역할을 하는가? 그리고 이는 GLₙ-작용에 의한 몫과 어떻게 관련되는가?
• RQ5 결과로 얻어진 하이버트 스킴은 아핀 기반 위에서 프로젝티브한가? 만약 그렇다면 어떤 조건에서 성립하는가?

주요 결과

• 기저가 있는 하이버트 스킴 𝔥̃^{[n]}_𝒜는 준아핀이며 자유 GLₙ-작용을 지닌다. 따라서 몫 스킴 𝔥^{[n]}_𝒜 위의 주요 GLₙ-_bundle이다.
• 몫 스킴 𝔥^{[n]}_𝒜는 𝔥̃^{[n]}_𝒜의 GLₙ-작용에 의한 몫과 동형이며, 이 몫은 k 위의 잘 정의된 스킴이다.
• k가 노에테르이면, 하이버트 스킴 𝔥^{[n]}_𝒜는 매우 넓은 선다발을 구성함으로써 아핀 스킴 위에서 프로젝티브임을 보였다.
• 구성은 명시적이며 기하학적 불변량 이론에 의존하지 않으며, 대신 표현 스킴과 행렬식 조건을 사용한다.
• 기저가 있는 하이버트 스킴 𝔥̃^{[n]}_𝒜 위의 보편 가족은 계수 n인 국소 자유 𝒜_X-모듈러이며, 전역 생성자와 기저를 지닌다. 이는 필요한 보편 성질을 만족한다.
• 스킴 𝔥^{[n]}_𝒜 위의 준구성층의 범주는, 스킴 𝔥̃^{[n]}_𝒜 위의 GLₙ-등변 준구성층의 범주와 동치이며, 이 동치는 주요 범주 π를 통해 내림을 통해 유도된다.