[논문 리뷰] The cohomological Brauer group of a toric variety

Frank DeMeyer, Tim Ford외 1명|ArXiv.org|1992. 02. 19.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 13

한 줄 요약

이 논문은 에탈 코homology를 사용하여 토릭 다양체의 코homological Brauer 군을 계산하며, 이는 분할 군의 토르 부분군에서 토르-불변 분할에 의해 생성되는 부분군을 뺀 것으로 나타나며, 이는 에탈 코homology의 두 번째 코homology 군이 단위층을 값으로 가지는 것을 완전히 기술한다. 이 결과는 토릭 다양체의 팬의 조합론적 구조와 애매한 열린 부분집합의 등급환의 구조를 활용한다.

ABSTRACT

Toric varieties are a special class of rational varieties defined by equations of the form {\it monomial = monomial}. For a good brief survey of the history and role of toric varieties see [10]. Any toric variety $X$ contains a cover by affine open sets described in terms of arrangements (called fans) of convex bodies in $\Bbb R^r$. The coordinate rings of each of these affine open sets is a graded ring generated over the ground field by monomials. As a consequence, toric varieties provide a good context in which cohomology can be calculated. The purpose of this article is to describe the second étale cohomology group with coefficients in the sheaf of units of any toric variety $X$. This is the so-called cohomological Brauer group of $X$.

연구 동기 및 목표

• 모든 토릭 다양체에 대해 단위층을 계수로 가지는 두 번째 에탈 코homology 군의 구조를 규명하는 것.
• 토릭 다양체에서 Azumaya 대수를 모리타 동치에 대해 분류하는 코homological Brauer 군을 묘사하는 것.
• R^r에 있는 팬에 의해 정의되는 토릭 다양체의 조합론적 성질을 활용하여 코homological 불변량을 명시적으로 계산하는 것.
• 코homological Brauer 군이 분할 군과 토르-불변 위임분할에 의해 생성되는 부분군과 어떻게 관련되는지 밝히는 것.
• 애매한 열린 부분집합의 등급환의 구조를 이용하여 코homological Brauer 군을 완전하고 명시적으로 묘사하는 것.

제안 방법

• 저자는 토릭 다양체의 팬 기반 기술을 사용하여, 팬의 콘에 대응하는 애매한 열린 부분집합으로 다양체를 분해한다.
• 각 애매한 열린 부분집합은 기초 체 위에서 단항식으로 생성되는 등급환인 좌표환을 가지며, 이는 명시적인 코homology 계산을 가능하게 한다.
• 에탈 코homology 군은 메이어-비에토리스 스펙트럴 시퀀스와 팬의 면 레이스처의 구조를 사용하여 계산된다.
• 코homological Brauer 군은 분할 군의 토르 부분군에서 토르-불변 위임분할에 의해 생성되는 부분군을 뺀 것으로 확인된다.
• 단위층의 구조가 좌표환의 단항식 성질로 인해 잘 이해되어 있음을 바탕으로 계산이 이루어진다.
• 최종 결과는 지수 시퀀스와 팬의 조합론적 자료에 관련된 에탈 코homology의 장점 정렬 시퀀스를 분석하여 도출된다.

실험 결과

연구 질문

• RQ1 토릭 다양체에서 단위층을 계수로 가지는 두 번째 에탈 코homology 군의 구조는 무엇인가?
• RQ2 코homological Brauer 군은 토릭 다양체의 분할 군과 어떻게 관련되는가?
• RQ3 팬의 조합론적 자료를 사용하여 코homological Brauer 군을 명시적으로 계산할 수 있는가?
• RQ4 토르-불변 분할은 토릭 다양체의 브라우어 군을 결정하는 데 어떤 역할을 하는가?
• RQ5 토릭 다양체의 코homological Brauer 군은 분할 군의 부분군과 동형인가?

주요 결과

• 토릭 다양체의 코homological Brauer 군은 분할 군의 토르 부분군에서 토르-불변 위임분할에 의해 생성되는 부분군을 뺀 것으로 나타난다.
• 단위층을 계수로 가지는 두 번째 에탈 코homology 군 H^2(X, G_m)은 팬의 구조를 사용하여 명시적으로 계산된다.
• 계산 결과는 브라우어 군이 유한하고 토르임을 보여주며, 이는 토릭 다양체의 유리적이고 조합론적인 성질을 반영한다.
• 논문의 가정에 기반해, 이 결과는 특성 0인 대수적으로 닫힌 체 위의 임의의 토릭 다양체에 대해 성립한다.
• 분할 군이 토르-자유이면서 토르-불변 분할에 의해 생성될 때에만 코homological Brauer 군이 영이 된다.
• 이 방법은 팬의 조합론적 성질과 애매한 열린 부분집합의 등급환의 구조만을 사용하여 브라우어 군을 완전하고 알고리즘적으로 묘사한다.