[논문 리뷰] Towards non-reductive geometric invariant theory

Brent Doran, Frances Kirwan|ArXiv.org|2007. 03. 05.

Advanced Topics in Algebra참고 문헌 22인용 수 8

한 줄 요약

이 논문은 매끄럽고 프로젝티브인 다양체 위에서 유니포텐트 군 작용에 대해 기하학적 불변량 이론(GIT)의 비환원적 일반화를 개발한다. 안정적이고 준안정적인 집합을 정의하고, 재수도적 GIT를 통해 프로젝티브 완비화를 갖는 자연스러운 'velop링 몫' $X/\!/H$를 구성한다. 주요 기여는 불변환의 고유환원이 아닐 경우에도, 특히 Poincaré 다항식을 통한 코homology 계산 방법을 제공하는 것이다.

ABSTRACT

We study linear actions of algebraic groups on smooth projective varieties X. A guiding goal for us is to understand the cohomology of "quotients" under such actions, by generalizing (from reductive to non-reductive group actions) existing methods involving Mumford's geometric invariant theory (GIT). We concentrate on actions of unipotent groups H, and define sets of stable points X^s and semistable points X^{ss}, often explicitly computable via the methods of reductive GIT, which reduce to the standard definitions due to Mumford in the case of reductive actions. We compare these with definitions in the literature. Results include (1) a geometric criterion determining whether or not a ring of invariants is finitely generated, (2) the existence of a geometric quotient of X^s, and (3) the existence of a canonical "enveloping quotient" variety of X^{ss}, denoted X//H, which (4) has a projective completion given by a reductive GIT quotient and (5) is itself projective and isomorphic to Proj(k[X]^H) when k[X]^H is finitely generated.

연구 동기 및 목표

• 재수도적 군을 초월해 Mumford의 기하학적 불변량 이론을 비환원적 작용, 특히 유니포텐트 군에까지 확장하는 것.
• 비환원적 작용을 위한 고전적 GIT 개념을 일반화한 안정적 및 준안정적 궤적 $X^s$와 $X^{ss}$를 정의하는 것.
• 프로젝티브이자 재수도적 GIT 완비화를 갖는 자연스러운 'velop링 몫' $X/\!/H$를 구성하는 것.
• 불변환의 고유환원이 아닐 경우에도, 특히 Poincaré 다항식을 통한 코homology 계산을 가능하게 하는 것.
• 비환원적 대칭 아래 모듈리 공간과 불변량을 체계적으로 연구하기 위한 프레임워크를 제공하는 것.

제안 방법

• 비환원적 군일지라도 적용 가능한 재수도적 GIT 기준의 일반화를 통해 안정적 및 준안정적 점 $X^s$와 $X^{ss}$를 정의하는 것.
• 재수도적 랩핑 방법을 사용: 비환원적 작용을 $G \times_H X$를 통해 재수도적 군 작용으로 포함시켜 고전적 재수도적 GIT를 적용하는 것.
• velop링 몫 $X/\!/H$를 $Y/\!/G$로 구성하는데, 여기서 $Y$는 $X$의 $G$--equivariant 프로젝티브 완비화이고, $G$는 유니포텐트 군 $H$를 포함하는 재수도적 군이다.
• 손상이 있는 $X/\!/H$의 경우 교차 코hom로지 계산을 위해 분해 정리와 블로업 기법을 적용하는 것.
• 특히 $n$개의 순서 없는 점이 $\mathbb{P}^1$ 위에 있을 경우, Betti 수와 코homology 구조를 계산하기 위해 Poincaré 다항식을 사용하는 것. 이 경우 홀수와 짝수 $n$을 구분한다.
• 기하학적 몫 $X^s/H$의 코homology를 직접 계산하기 위해 $X^s$가 프로젝티브 공간으로 수축 가능하고 $H$가 수축 가능하다는 사실을 활용하는 것.

실험 결과

연구 질문

• RQ1 비환원적 군 작용, 특히 유니포텐트 군에 대해 기하학적 불변량 이론을 어떻게 일반화할 수 있을까? 이때 불변환의 유한생성성과 몫의 존재성 같은 핵심 성질을 유지할 수 있는가?
• RQ2 비환원적 작용 하에서 불변환의 고유환원 $k[X]^H$가 유한생성되도록 보장하는 조건은 무엇인가?
• RQ3 군이 비환원적일 경우 안정 궤적 $X^s$의 기하학적 몫을 어떻게 구성할 수 있는가?
• RQ4 불변환의 고유환원이 아닐 경우, 몫 $X/\!/H$의 구조는 어떻게 되며, 그 코homology는 어떻게 계산할 수 있는가?
• RQ5 순서 없는 $n$개의 점이 $\mathbb{P}^1$ 위에 있을 경우, 홀수와 짝수 $n$에 따라 몫의 코homology는 어떻게 달라지는가?

주요 결과

• 홀수 $n$일 경우, Veloping Quotient $X/\!/H$의 Poincaré 다항식은 $P_t(X/\!/H) = 1 + t^2 + 2t^4 + 2t^6 + \cdots + \left[1 + \frac{\min(j,n-1-j)}{2}\right]t^{2j} + \cdots + t^{2n-2}$이며, Betti 수는 $1 + \min(j,n-1-j)/2$의 정수 부분이다.
• 홀수 $n$일 경우, 기하학적 몫 $X^s/H$의 Poincaré 다항식은 $P_t(X^s/H) = 1 + t^2 + \cdots + t^{n-1}$이며, 이는 $\mathbb{P}^{(n-1)/2}$로의 수축을 반영한다.
• 짝수 $n$일 경우, Veloping Quotient $X/\!/H$는 오비폴드가 아니며, 부분적 정규화 $\widetilde{X/\!/H}$를 통해 교차 코hom로지를 계산한다. 이에 따라 $IP_t(X/\!/H) = 1 + t^2 + 2t^4 + \cdots + \left[(n+2)/4\right]t^{n-2} + \cdots + t^{2n-2}$이다.
• 부분적 정규화 $\widetilde{X/\!/H}$의 일반적인 Betti 수는 $P_t(\widetilde{X/\!/H}) = 1 + 2t^2 + 3t^4 + \cdots + (n/2)t^{n-2} + (n/2)t^n + \cdots + t^{2n-2}$이다.
• 짝수 $n$일 경우, $X^s/H$의 코homology는 $P_t(X^s/H) = 1 + t^2 + \cdots + t^{n-2}$이며, 이는 $\mathbb{P}^{(n-2)/2}$로의 수축과 일치한다.
• 특히 $n$이 홀수일 경우, $H^*(X/\!/H;\mathbb{Q})$와 $H^*(\widetilde{X/\!/H};\mathbb{Q})$의 환 구조는 [31, 32]의 방법을 통해 계산할 수 있다.