[논문 리뷰] Period and index in the Brauer group of an arithmetic surface (with an appendix by Daniel Krashen)

Max Lieblich|arXiv (Cornell University)|2007. 02. 09.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 23

한 줄 요약

이 논문은 스택 이론적 기법을 도입하여 산술 표면에서 브라우어 클래스의 분기 문제를 분해하고, 스택 위의 왜곡된 복소선형층을 사용하여 주기-지수 문제에 대한 새로운 경계를 수립한다. 고지표 또는 고지표 전역 필드의 경우, 브라우어 클래스의 지수는 그 지수의 거듭제곱을 따라 유한한 상한을 가지며, 이 상한은 딘델 크라센의 부록에서 날카로운 경계로 확인된다.

ABSTRACT

In this paper we introduce two new ways to split ramification of Brauer classes on surfaces using stacks. Each splitting method gives rise to a new moduli space of twisted stacky vector bundles. By studying the structure of these spaces we prove new results on the standard period-index conjecture. The first yields new bounds on the period-index relation for classes on curves over higher local fields, while the second can be used to relate the Hasse principle for forms of moduli spaces of stable vector bundles on pointed curves over global fields to the period-index problem for Brauer groups of arithmetic surfaces. We include an appendix by Daniel Krashen showing that the local period-index bounds are sharp.

연구 동기 및 목표

• 고지표 또는 고지표 전역 필드 위에서 브라우어 클래스의 주기-지수 관계에 대한 새로운 경계를 수립하기 위해.
• 전역 필드 위의 곡선에서 안정한 복소선형층의 모듈리 공간에 대한 하스 원리가 산술 표면에서의 주기-지수 문제와 어떻게 연결되는지 밝히기 위해.
• 순환 오비폴드 코팅과 루트 구성 기법을 사용하여 스택 이론적 프레임워크를 개발하여 브라우어 클래스의 분기를 분해하기 위해.
• 지역 주기-지수 경계가 날카로운지 증명하여 유도된 경계의 최적성 확인하기 위해.

제안 방법

• 스택 이론적 기법을 사용하여, 분기 문제를 해결하기 위해 왜곡된 스택 기반 복소선형층의 모듈리 공간을 구축한다.
• 순환 오비폴드 코팅과 루트 구성 기법을 적용하여 분기를 분해하고, 스택 기반 곡선 위의 왜곡된 복소선형층 연구를 가능하게 한다.
• 특히 브라우어 군의 맥락에서, 왜곡된 복소선형층에 대한 변형 이론과 모듈리 이론에 기반한 방법을 사용한다.
• 유한 군 스킴의 분류 스택, 예를 들어 $\mathbf{B}\boldsymbol{\mu}_n$와 같은 곳에서 코homological 계산을 수행하여 브라우어 군을 분석한다.
• 형식적 확장과 스택 위의 복소선형층에 대한 내림 이론을 사용하여 전역 및 지역 불변량 간의 관계를 규명한다.
• 디언델 크라센의 부록에서는 고지표 전역 필드 위에서의 분할 대수의 구체적 구성 기법을 사용하여, 도출된 지역 주기-지수 경계가 날카로운지 증명한다.

실험 결과

연구 질문

• RQ1 고지표 필드에서 브라우어 클래스의 지수에 대한 최적 경계는 주기의 함수로 어떻게 표현될 수 있는가?
• RQ2 스택 기반 기하학을 활용하여 산술 표면에서의 브라우어 클래스의 분기를 체계적으로 어떻게 분해할 수 있는가?
• RQ3 복소선형층의 모듈리 공간에 대한 하스 원리가 산술 표면에서의 주기-지수 추측을 어느 정도까지 암시하는가?
• RQ4 전역 필드 위에서의 주기-지수 문제를 스택 기반 모듈리 공간을 통해 국소 조건으로 환원할 수 있는가?
• RQ5 고지표 필드 위의 브라우어 클래스에 대한 지역 주기-지수 경계는 최적인가?

주요 결과

• 차수 $d$인 국소 필드 $K$에서 잔여 필드의 $M'$-브라우어 차원이 최대 $a$일 경우, $K$의 $(Mp)'$-브라우어 차원은 최대 $a + d$이며, 이는 귀납적 경계를 제공한다.
• 알제브라적으로 닫힌 필드 $k$를 갖는 반복 라우렌트 급수 필드 $k((x_1))\cdots((x_d))$에서, 특성과 서로소인 주기일 경우 지수는 지수의 $d$제곱으로 나누어 떨어진다.
• 특성 $p$인 유한 잔여 필드를 갖는 $d$-지역 필드의 경우, 주기가 $p$와 서로소일 때 지수는 지수의 $(d+1)$제곱으로 나누어 떨어지며, 필드가 국소 필드의 최대 무분기 확장의 대수적 확장일 경우 등호가 성립한다.
• 콜리오-테렌의 추측을 가정할 경우, 전역 필드 $K$와 점이 있는 곡선 $C/K$에 대해, 홀수 주기이고 주기의 소인수를 나누는 소수에서 분기하지 않으며 점에서 자명한 브라우어 클래스 $\alpha$에 대해 $\operatorname{ind}(\alpha) \mid \operatorname{per}(\alpha)^2$ 가 성립한다.
• 유도된 지역 주기-지수 경계는 날카롭다: 모든 $d$와 특성과 서로소인 $n$에 대해, $d$-지역 유형의 필드와 주기가 $n$이고 지수가 $n^d$인 브라우어 클래스가 존재함을 크라센의 부록에서 보여주었다.
• 가장 높은 국소 필드 위에서의 분할 대수의 구성은 평가 이론적 추론을 사용하여 경계의 날카로움을 확인하며, 이는 평가 기준과 정수 모델 위의 노름 다항식을 활용한다.