[논문 리뷰] The ring of projective invariants of eight points on the line via representation theory

Ben Howard, John J. Millson외 2명|ArXiv.org|2008. 09. 07.

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

한 줄 요약

이 논문은 사영 선상의 여덟 순서가 매겨진 점들에 대한 사영 불변량의 환에서, 고유한 반대칭 불변 삼차다항식의 14개의 편도함수로 생성되는 것이 증명되며, 이는 관계의 이상의 표현론적이고 개념적인 기술을 제공한다. 유리수 체에서 이 삼차다항식과 그 도함수들은 특이점으로서 모듈리 공간을 자르며, Z[1/3]에서는 도함수들만으로 이상이 생성되며, 특성 3에서는 삼차다항식이 필수적이다.

ABSTRACT

The ring of projective invariants of eight ordered points on the line is a quotient of the polynomial ring on V, where V is a fourteen-dimensional representation of S_8, by an ideal I_8, so the modular fivefold (P^1)^8 // GL(2) is Proj(Sym* (V)/I_8). We show that there is a unique cubic hypersurface S in PV whose equation s is skew-invariant, and that the singular locus of S is the modular fivefold. In particular, over Z[1/3], the modular fivefold is cut out by the 14 partial derivatives of s. Better: these equations generate I_8. In characteristic 3, the cubic s is needed to generate the ideal. The existence of such a cubic was predicted by Dolgachev. Over Q, we recover the 14 quadrics found by computer calculation by Koike, and our approach yields a conceptual representation-theoretic description of the presentation. Additionally we find the graded Betti numbers of a minimal free resolution in any characteristic. The proof over Q is by pure thought, using Lie theory and commutative algebra. Over Z, the assistance of a computer was necessary. This result will be used as the base case describing the equations of the moduli space of an arbitrary number of points on P^1, with arbitrary weighting, in a later paper, completing the program of our previous paper (Duke Math. J.). The modular fivefold, and corresponding ring, are known to have a number of special incarnations, due to Deligne-Mostow, Kondo, and Freitag-Salvati Manni, for example as ball quotients or ring of modular forms respectively.

연구 동기 및 목표

• P^1 상의 여덟 순서가 매겨진 점들의 모듈리 공간에 대한 관계 이상의 개념적이고 표현론적인 기술을 제공하는 것.
• 유리수 체에서 여덟 점에 대한 사영 불변량 환이 고유한 반대칭 불변 삼차다항식의 14개의 편도함수로 생성됨을 증명하는 것.
• Z 위에서의 정수성 결과를 확립하여, 삼차다항식과 그 도함수가 이상을 생성하며, 특성 3에서 삼차다항식이 필수적임을 보이는 것.
• 기저 체의 특성에 따라 좌표 환의 최소 자유 해체의 계수별 베티 수를 계산하는 것.
• 후속 연구에서 사용된 임의의 가중치를 가진 P^1 상의 n개 점들의 모듈리 공간의 일반적 표현에 대한 기초 사례를 마련하는 것.

제안 방법

• S8의 표현론을 사용하여 차수 1의 불변량 공간인 14차원을 분석하고, Sym³(V) 내에 고유한 반대칭 불변 삼차다항식을 식별하는 것.
• 리 이론과 교환대수학의 적용을 통해 s로 정의된 삼차곡면의 특이점이 정확히 모듈리 공간 M8임을 증명하는 것.
• 이상의 차수 1과 차수 2 부분 사이의 대칭성과 딜로지컬리티를 이용하여, Q에서 s의 14개의 편도함수가 이상 I8를 생성함을 증명하는 것.
• 컴퓨터 대수 시스템(Magma)을 활용하여 Z 위에서의 정수성과 이상의 포화를 검증하고, 특히 차수 3과 4에서의 기본 인자들을 계산하는 것.
• R이 코hen-맥컬레이이자 고파르스타인이며 a = -2임을 이용하여 양의 특성으로의 증명을 적응시키고, 모든 특성에서의 베티 수를 계산하는 것.
• 대칭성과 대각선을 따라 교대합을 이용하여 베티 다이어그램을 계산하며, 특성 3를 제외한 모든 특성에서의 필드 변화에 대한 불변성을 보이는 것.

실험 결과

연구 질문

• RQ1 P^1 상의 여덟 점에 대한 불변량 환에 고유한 반대칭 불변 삼차다항식이 존재하는가? 그리고 이는 그의 특이점으로서 모듈리 공간을 자르는가?
• RQ2 Q에서 이상 I8가 단일 삼차다항식의 편도함수들로 생성될 수 있는가? 만약 그렇다면, 이는 표현론적 의미에서 어떤가?
• RQ3 Z 위에서 I8의 최소 생성자 집합은 무엇이며, 3이 가역적이지 않은 경우 삼차다항식이 필요한가?
• RQ4 기저 체의 특성에 따라 좌표 환의 최소 자유 해체의 계수별 베티 수는 어떻게 변화하는가?
• RQ5 Q에서의 결과를 Z로 정수적으로 확장할 수 있는가? 특성 3에서 삼차다항식은 어떤 역할을 하는가?

주요 결과

• 유리수 체에서, Sym³(R₈⁽¹⁾) 내에 유일한(스케일링을 제외하고) 반대칭 불변 삼차다항식 s가 존재하며, s = 0의 특이점은 정확히 모듈리 공간 M8이다.
• s의 14개의 편도함수가 Q에서 이상 I8를 생성하며, 이 도함수들은 선형 사이지지가 없다.
• Z[1/3]에서는 이상 I8가 s의 14개의 편도함수로 생성되지만, Z에서는 삼차다항식 s 자체가 생성자로 필요하다.
• 특성 3에서는 편도함수들만으로는 I8를 생성하지 못하며, 삼차다항식 s가 필수적이다. 이는 Magma로 계산한 도함수 행렬의 기본 인자 3에 의해 확인된다.
• 최소 자유 해체의 계수별 베티 수는 특성 3를 제외한 모든 특성에서 동일하며, 특성 3에서는 b₁,₂ = b₂,₁ = 1 및 b₇,₂ = b₆,₃ = 1이다.
• 베티 다이어그램은 대칭적이며 특성 0의 경우와 일치하지만, 특성 3에서만 지정된 변화가 있으며, 대각선을 따라 교대합의 불변성으로 인해 중간 행은 그대로 유지된다.