[논문 리뷰] Involutions of Azumaya Algebras

Uriya A. First, Ben Williams|arXiv (Cornell University)|2017. 10. 08.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 4

한 줄 요약

이 논문은 스킴을 초월하여 국소적으로 링이 된 토포이에 대한 아즈마야 대수에서의 역위함수 이론을 일반화하며, λ-역위함수를 지닌 대수와 브라우어 동치일 조건을 위한 코homological 기준을 제공한다. 이는 최소 차수 2n이 되며, 이 경계는 날카롭고, 고정점이 없는 역위함수를 지닌 비특이 아핀 다양체의 경우조차도, 등변 호모토피 이론과 위상적 장애 이론을 통해 최소성의 증명이 가능하다.

ABSTRACT

We consider the general circumstance of an Azumaya algebra $A$ of degree $n$ over a locally ringed topos $(\mathbf{X}, \mathcal O_\mathbf{X})$ where the latter carries a (possibly trivial) involution, denoted $\lambda$. This generalizes the usual notion of involutions of Azumaya algebras over schemes with involution, which in turn generalizes the notion of involutions of central simple algebras. We provide a criterion to determine whether two Azumaya algebras with involutions extending $\lambda$ are locally isomorphic, describe the equivalence classes obtained by this relation, and settle the question of when an Azumaya algebra $A$ is Brauer equivalent to an algebra carrying an involution extending $\lambda$, by giving a cohomological condition. We remark that these results are novel even in the case of schemes, since we allow ramified, non-trivial involutions of the base object. We observe that, if the cohomological condition is satisfied, then $A$ is Brauer equivalent to an Azumaya algebra of degree $2n$ carrying an involution. By comparison with the case of topological spaces, we show that the integer $2n$ is minimal, even in the case of a nonsingular affine variety $X$ with a fixed-point free involution. As an incidental step, we show that if $R$ is a commutative ring with involution for which the fixed ring $S$ is local, then either $R$ is local or $R/S$ is a quadratic \'etale extension of rings.

연구 동기 및 목표

• 스킴을 초월하여 국소적으로 링이 된 토포이에 대한 아즈마야 대수의 역위함수를 일반화하여 고전 결과를 확장한다.
• 어떤 아즈마야 대수가 λ-역위함수를 지닌 대수와 브라우어 동치가 되는 조건을 규명하고, 이를 위한 코homological 조건을 제공한다.
• 브라우어 동치인 이러한 대수의 차수 2n의 최소성과 그 경계가 향상될 수 없음을 증명한다.
• 비자명하고 램프된 설정, 비비순수한 및 비자유 작용을 포함한 역위함수 이론의 기초 도구를 개발한다.
• 비특이 아핀 다양체에서 고정점이 없는 역위함수를 지닌 기하적 설정에서도 차수 경계 2n이 최적임을 보여준다.

제안 방법

• 등변 호모토피 이론을 사용하여 λ-역위함수를 지닌 낮은 차수의 대수를 방지하는 위상적 장애를 구축한다.
• 분류 공간과 C2-등변 사상의 구축을 통해 브라우어 클래스와 그 코homology 내 실현을 분석한다.
• 핵심 제약 사상과 그 핵을 사용하여 λ-역위함수를 지닌 브라우어 클래스를 특성화한다.
• 비자명하고 램프된 역위함수를 포함한, 링드 토포이 위에서 아즈마야 대수의 역위함수를 위한 일반적 프레임워크를 개발한다.
• 연속 복소함수의 국소화를 사용하여 엄격하게 헨젤성임을 증명하고, 국소 토포이의 링에서 헨젤의 보조정리를 적용할 수 있도록 한다.
• 톱로이에 대한 샐트만의 정리를 일반화하여, 핵심 제약 사상의 핵에 속하는 브라우어 클래스는 λ-역위함수를 지닌 차수 2n의 대수로 표현 가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 코homological 조건이 브라우어 클래스가 λ-역위함수를 지닌 아즈마야 대수로 표현될 수 있도록 보장하는가?
• RQ2 일반적인 토포이에서 두 번째 종류의 역위함수에 대해 샐트만의 정리에서 차수 경계 2n가 날카로운가?
• RQ3 비특이 아핀 다양체와 같은 기하적 설정에서, λ-역위함수를 지닌 브라우어 동치 아즈마야 대수의 최소 차수는 2n 이하가 될 수 있는가?
• RQ4 기저 토포이에서의 램프되거나 비자유적인 역위함수는 아즈마야 대수에서 이러한 역위함수의 존재성과 최소성에 어떤 영향을 미치는가?
• RQ5 등변 위상수학은 λ-역위함수 클래스에 대해 낮은 차수의 대수를 방지하는 데 어떤 역할을 하는가?

주요 결과

• 브라우어 동치인 아즈마야 대수의 최소 차수는 정확히 2n이며, 이 경계는 날카롭다.
• 브라우어 클래스가 λ-역위함수를 지닌다는 조건은 핵심 제약 사상의 핵에 속한다는 것으로 일반화되며, 이는 고전 결과를 토포이로 확장한다.
• 모든 홀수 정수 a에 대해, 원래 대수가 차수 n일 경우, 차수 an인 아즈마야 대수는 λ-역위함수를 지닐 수 없으며, 이는 등변 사상에서 유래한 위상적 장애 때문이다.
• 이 결과는 고정점이 없는 역위함수를 지닌 비특이 아핀 다양체 X의 경우에도 성립하며, 이러한 기하적 설정에서 2n가 최소임을 증명한다.
• 위상공간 위의 연속 복소함수의 국소화는 엄격하게 헨젤성이며, 이는 이 맥락에서 헨젤의 보조정리를 적용할 수 있도록 한다.
• 논문은 위상적 장애 이론과 등변 호모토피를 사용하여, 차수 경계 2n를 향상시킬 수 없음을 보여주는 반례를 구축한다.