[논문 리뷰] Algebraic structures of groups of birational transformations

Jérémy Blanc|arXiv (Cornell University)|2015. 09. 01.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 대수기하학적 다양체의 유리형 변환군에 대한 대수적 구조를 조사하며, 유리형 사상의 가 families 를 매개변수화하는 함자들의 표류성에 초점을 맞춘다. 평탄성 조건을 도입하여 Bir(X)에 대한 스킴 구조를 구성한다. 전체 Bir(X)는 표류되지 않지만, 평탄성 조건을 만족하는 부분함자는 n ≥ 2 인 P^n 에서 잘 정의된 스킴 구조를 제공한다. 다만 곱셈 연산은 연속적이지 않으며, n ≥ 3 인 경우 평탄성 기반 함자와 차수 기반 함자는 다름을 보인다.

ABSTRACT

A priori, the set of birational transformations of an algebraic variety is just a group. We survey the possible algebraic structures that we may add to it, using in particular parametrised family of birational transformations.

연구 동기 및 목표

• 대수기하학적 다양체 X 의 유리형 변환군 Bir(X) 에 어떤 대수적 구조를 부여할 수 있는지 이해하는 것.
• A-가족의 유리형 변환을 매개변수화하는 함자 Bir_X(A) 의 표류성 분석.
• 두 핵심 부분함자인 Bir_X^flat (평탄한 가족) 과 Bir_X^deg (차수 제한 가족) 의 비교, 특히 P^n 에서의 비교.
• 평탄한 가족에서 유도된 스킴 구조가 Bir(X) 에서 잘 정의된 위상과 대수적 군 유사 성질을 갖는지 확인하는 것.

제안 방법

• Demazure 와 Serre 의 함자적 접근을 사용하여 기저 스킴 A 위에서의 유리형 사상의 가족을 통해 A → Bir(X) 의 사상 정의.
• A 위에서 평탄한 가족으로 구성된 부분함자 Bir_X^flat(A) 를 도입하며, 이는 스킴에 의해 표류된다.
• 특히 P^n 상의 사상에 대해 그래프 구성법을 적용하여 유리형 사상과 그 평탄성을 분석.
• 명시적 예시(예: P^2 와 A^n 상의 아핀 가족)를 통해 전체 Bir_X 함자의 유계성 부족과 표류성 불가를 입증.
• 특히 P^n 에서의 Hilbert 다항식과 차수 행동을 통해 Bir_X^flat 과 Bir_X^deg 의 비교.
• P^8 에서의 그래프의 Hilbert 다항식을 계산하기 위해 Segre 매장법을 활용.

실험 결과

연구 질문

• RQ1 표류 가능한 가족의 함자들을 통해 유리형 변환군 Bir(X) 에 스킴 구조를 줄 수 있는가?
• RQ2 유리형 사상의 평탄한 가족을 매개변수화하는 부분함자 Bir_X^flat 은 표류 가능한가? 그리고 이는 Bir(P^n) 에 잘 정의된 스킴 구조를 제공하는가?
• RQ3 특히 n ≥ 3 인 경우, P^n 에서 Bir_X^flat 과 Bir_X^deg 는 어떻게 비교되는가?
• RQ4 평탄한 스킴 구조 하에서 Bir(P^n) 의 곱셈 사상은 연속적이거나 심지어 사상인지 여쭤보는 것인가?
• RQ5 평탄성 조건은 연결 성분들에서 고정된 다중차수를 갖는 가족과 일치하는가?

주요 결과

• X = P^2 인 경우조차도, 유리형 사상의 무한한 가족으로 인해 전체 함자 Bir_X 는 스킴이나 인드-스킴에 의해 표류되지 않는다.
• 평탄한 가족으로 구성된 부분함자 Bir_X^flat 은 스킴에 의해 표류되며, 임의의 X 에 대해 Bir(X) 에 잘 정의된 스킴 구조를 제공한다.
• n ≥ 2 인 P^n 에서, 차수 d 의 사상들로 이루어진 집합 Bir(P^n)_d 는 평탄한 스킴 구조에서 열린 집합이다.
• Bir(P^n) 의 곱셈 사상은 평탄한 스킴 위상 하에서 연속적이지 않으며, 차수의 변화가 갑작스럽게 일어나는 사상 ν' 의 이미지를 통해 이를 보였다.
• n ≥ 3 인 경우, Bir_X^flat 과 Bir_X^deg 는 같지 않다. 이는 사상의 차수는 일정하지만 그 역의 차수가 일정하지 않은 가족을 통해 입증된다.
• P^2 에서는 그래프의 Hilbert 다항식이 오직 차수 d 에 의존하므로, Bir_X^flat = Bir_X^deg 라는 추측이 제기된다.