[논문 리뷰] The Rationality Problem in Invariant Theory

Christian Böhning|ArXiv.org|2009. 04. 06.

Algebraic Geometry and Number Theory참고 문헌 67인용 수 8

한 줄 요약

이 논문은 리대수군 G가 표현 V에 작용할 때 불변체의 필드 $\mathbb{C}(V)^G$가 순수 초월적인지 여부, 즉 유리적인지 여부를 다루는 불변 이론의 합리성 문제를 조사한다. 고도로 발전된 기법들인 공변수 방법과 이중 배럴 방법을 사용하여, 모든 충분히 큰 $d$에 대해 평면 곡선의 모듈리 공간이 유리적임을 증명한다. 유일한 예외는 유한한 목록에 속하는 일부 특수한 값일 수 있다.

ABSTRACT

This is a survey of the rationality problem in invariant theory. It also contains some new results, in particular in Chapter 2 on moduli spaces of plane curves with a theta-characteristic, and a detailed account of the relation of the Hesselink stratification of the Hilbert nullcone to the rationality problem, with an application to the rationality of the moduli space of plane curves of degree 34.

연구 동기 및 목표

• 리대수군 G가 표현 V에 작용할 때, 불변체의 유리 함수체 $\mathbb{C}(V)^G$가 순수 초월적인지, 즉 유리적인지 여부를 결정하는 것.
• 모듈리 공간 $\mathbb{P}(\mathrm{Sym}^d(\mathbb{C}^3)^\vee)/\mathrm{SL}_3(\mathbb{C})$의 합리성 문제를 해소함으로써, 특히 큰 $d$에 대해 평면 곡선의 모듈리 공간이 유리적인지 분석하는 것.
• 공변수 방법과 이중 배럴 방법을 포함한 새로운 알고리즘적 및 기하학적 기법들을 적용하여 기존의 불변체의 합리성 결과를 확장하는 것.
• 모듈리 공간이 일부 유한한 예외적인 차수를 제외하고는 항상 유리적임을 입증하기 위해 계산 및 코homological 도구를 활용하는 것.

제안 방법

• 아론홀트-클렙슈 기호법을 사용한 기호 계산을 통해, 공변수 방법을 적용하여 차수 4의 $G$--equivariant 사상 $S_d: V(0,d) \to V(0,4)$ 및 $T_d: V(0,d) \to V(0,8)$를 구성함.
• 보렐-본-바일 정리를 사용하여 플라그 다양체 위의 동차 범주의 코homology를 계산함으로써, 전역 절단과 불변량의 연구를 가능하게 함.
• 특성 $p=11$ 또는 $p=19$ 에서의 유한체 위에서의 계산으로, 정리 2.2.3.2의 조건 (c)의 일반성 조건을 유한한 계산으로 줄이며, $n$에 대한 주기성에 기반함.
• 동차 다항식을 일차형식의 거듭제곱들의 합으로 표현하고, 보간 기법을 사용함으로써 합리성 문제를 유한 개의 케이스로 축소함.
• $d$가 3의 배수일 경우 이중 배럴 방법을, $d \not\equiv 0 \pmod{3}$ 일 경우 공변수 방법을 조합하여 적용하며, [BvB08-1a] 및 [BvB09-1]의 기법을 적응함.
• 유비탈 표면은 유리적임(카스텔누오보 정리)임을 이용하여, 차원 2인 몫 다양체의 유리성 결론을 이끌어냄.

실험 결과

연구 질문

• RQ1 어느 정도의 $d$ 에서 평면 곡선의 모듈리 공간이 유리적인가?
• RQ2 공변수 방법을 사용하여 큰 $d$ 에 대해 $\mathbb{P}(\mathrm{Sym}^d(\mathbb{C}^3)^\vee)/\mathrm{SL}_3(\mathbb{C})$ 가 유리적인지 입증할 수 있는가?
• RQ3 모듈리 공간이 유리적이지 않을 수 있는 예외적인 차수 $d$ 의 집합은 무엇인가?
• RQ4 공변수 방법의 일반성 조건을 소수 모듈로로 줄여 계산적으로 검증할 수 있는가?
• RQ5 플라그 다양체 위의 점들의 구성공간의 합리성은 몫 다양체 $V/G$ 의 합리성과 어떤 정도 관련이 있는가?

주요 결과

• 모듈리 공간 $\mathbb{P}(\mathrm{Sym}^d(\mathbb{C}^3)^\vee)/\mathrm{SL}_3(\mathbb{C})$ 는 $d \geq 210$ 이고 $d \equiv 0 \pmod{3}$ 일 때, [Kat89] 에서 확인된 바와 같이 유리적이다.
• $d \equiv 1 \pmod{3}$ 일 경우, 모든 $d \geq 37$ 에 대해 유리적이며, $d \equiv 2 \pmod{3}$ 일 경우 모든 $d \geq 65$ 에 대해 유리적임을 공변수 방법을 통해 입증함.
• 정리 2.2.3.2의 일반성 조건 (c) 는 $d=3n+1$ 에 대해 $p=11$ 모듈로, $d=3n+2$ 에 대해 $p=19$ 모듈로에서 검증되었으며, 이는 $n \mod 110$ 또는 $n \mod 342$ 에 따라 의존하는 유한한 계산으로 문제를 축소함.
• 모듈리 공간은 유일한 예외적인 차수 $d \in \{6,7,8,11,12,14,15,16,18,20,23,24,26,32,48\}$ 를 제외하고는 항상 유리적임을 정리 2.3.0.2 에서 밝힘.
• $\mathbb{P}(V(0,4))/\mathrm{SL}_3(\mathbb{C})$ 와 $\mathbb{P}(V(0,8))/\mathrm{SL}_3(\mathbb{C})$ 는 수준 8의 안정적으로 유리적임이 입증되었으며, 이는 주장을 뒷받침함.
• $d=27$ 에서는 주요 방법 외의 추가 기법이 사용되었으며, 이는 일부 경우에 특수 도구가 필요함을 시사함.