[논문 리뷰] Noncommutative Smooth Models

Lieven Le Bruyn|ArXiv.org|2002. 09. 06.

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

한 줄 요약

이 논문은 전이수차수 2인 함수체 K 위의 중심 단순 대수 Σ가 비가환 스무스 모델을 가질 조건을 규명한다. 그 조건은 K의 스무스 모델 S가 존재하여, Σ 속의 최대 𝒪_S-순서의 분기자기(divisor)가 서로소인 스무스 곡선들의 분리합집합이 되는 것이다. 핵심 결과는 이러한 스무스 모델의 브라우어-세버리 분할이 평탄한 사상이며, 국소적으로 표시된 쿼버가 A_{k01}형인 분기점에서의 섬유는 정확히 k+1개의 차원 n−1인 기약 성분을 가진다는 것이다.

ABSTRACT

We determine the central simple algebras D over a functionfield K of trancendence degree two which admit a model of smooth Cayley-Hamilton algebras. This happens if and only if there is a smooth model S of K such that the ramification divisor of a maximal S-order in D is a disjoint union of smooth curves. Further, we prove that the Brauer-Severi fibration of smooth models which are in addition maximal orders is a flat morphism and determine the number of irreducible components of the fibers.

연구 동기 및 목표

• 전이수차수 2인 함수체 위의 중심 단순 대수 중에서 비가환 스무스 모델을 가질 수 있는 대수를 규명하는 것.
• 스무스 곡면 위의 분기자기의 기하학적 성질을 통해 이러한 모델의 존재 조건을 특성화하는 것.
• 스무스 최대 𝒪_S-순서의 브라우어-세버리 분할이 평탄한 사상임을 증명하는 것.
• 쿼버 이론적 방법을 사용하여 분기점에서의 브라우어-세버리 분할의 섬유 구조를 분석하는 것.

제안 방법

• 표현 스킴 trep_n A와 그 GL_n-몫의 스무스성에 의해 스무스 케일리-해밀턴 순서를 정의한다.
• 확장 쿼버와 헤셀링크 분할을 기반으로 한 에탈레 국소 모델을 사용하여 표현 공간의 특이점을 분석한다.
• trep_n A의 GL_n--equivariant 분해를 구성하여 스무스 모델을 복원한다.
• 확장 쿼버 표현 공간의 영핵(nullcone)에 헤셀링크 분할을 적용하여 분할을 분류하고 섬유 성분을 계산한다.
• 문자열 θ = (−n, d₁, ..., d_{k+1})을 사용하여 레벨 쿼버 내의 θ-준안정 표현을 결정한다.
• 자리키 정리에 기반한 등장사상 정리를 사용하여 브라우어-세버리 분할의 섬유를 GL(α̃)에 의한 영핵의 몫으로 연결한다.

실험 결과

연구 질문

• RQ1 전이수차수 2인 함수체 위의 중심 단순 대수는 언제 비가환 스무스 모델을 가질 수 있는가?
• RQ2 최대 순서의 분기자기 위에 어떤 기하학적 조건이 성립하면 이러한 모델의 존재를 보장하는가?
• RQ3 스무스 최대 순서의 브라우어-세버리 분할은 평탄한 사상인가?
• RQ4 표시된 쿼버가 A_{k01}형인 분기점에서, 브라우어-세버리 분할의 섬유는 몇 개인가?

주요 결과

• 전이수차수 2인 함수체 K 위의 중심 단순 대수 Σ는 정확히 K의 스무스 모델 S가 존재하여, Σ 내의 최대 𝒪_S-순서의 분기자기가 서로소인 기약 스무스 곡선들의 분리합집합이 되는 경우에만 비가환 스무스 모델을 가진다.
• 스무스 최대 𝒪_S-순서의 브라우어-세버리 분할은 평탄한 사상이다.
• 국소적으로 표시된 쿼버가 A_{k01}형인 분기점에서, 브라우어-세버리 분할의 섬유는 정확히 k+1개의 기약 성분을 가진다.
• 이러한 점에서 섬유의 각 기약 성분은 차원 n−1을 가지며, 여기서 n은 대수의 차수이다.
• 섬유 구조는 확장 쿼버 표현 공간의 영핵에 대한 헤셀링크 분할을 통해 계산되며, 각 성분은 θ-준안정 분할에서 유래한다.
• 레벨 쿼버 내의 θ_i-준안정 표현의 모듈리 공간은 ℙ^{d_i−1}과 동형이 되며, 이는 차원과 성분 수의 확인을 가능하게 한다.