[논문 리뷰] Mixed Hodge structures of configuration spaces

Ezra Getzler|ArXiv.org|1995. 11. 01.

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

한 줄 요약

이 논문은 복소수 위의 매끄럽고 사영인 다양체 $X$에 대해 순서가 지정된 $n$개의 점의 구성공간 $Φ(X,n)$의 $σ_n$--equivariant Hodge 다항식을 계산하기 위한 프레임워크를 개발한다. 이는 대칭 함수와 $λ$-환의 구조를 사용한다. 주요 결과는 $X$의 Hodge 다항식으로 표현된 $\SS_n$-equivariant Serre 다항식 $\operatorname{\mathsf{e}}_\sigma(\mathsf{F}(X,n))$에 대한 닫힌 공식을 제공하며, 이는 $X = \mathbb{C}$인 경우 Lehrer-Solomon의 공식을 일반화하고, $\overline{\mathcal{M}}_{1,n}$의 $\SS_n$-equivariant Hodge 다항식을 계산할 수 있게 한다.

ABSTRACT

The symmetric group S_n acts freely on the configuration space of n distinct points in a quasi-projective variety. In this paper, we study the induced action of the symmetric group S_n on the de Rham cohomology of this space, using mixed Hodge theory, combined with methods from the theory of symmetric functions. (We prove a motivic version of this as well.) As an application of our results, we calculate the S_n-equivariant Hodge polynomial of the Fulton-MacPherson compactification X[n] of the configuration space.

연구 동기 및 목표

• 복소수 위의 매끄럽고 사영인 다양체 $X$에 대해 순서가 지정된 $n$개의 점의 구성공간 $\mathsf{F}(X,n)$의 $\SS_n$-equivariant Hodge 다항식을 계산하는 것.
• Lehrer와 Solomon의 공식을 $\mathsf{F}(\mathbb{C},n)$에 대해 일반화하여, Hodge 이론적 기법과 대칭 함수 기법을 사용해 임의의 매끄럽고 사영인 $X$에 대해 적용하는 것.
• 이 결과를 활용하여 Fulton-MacPherson compactification $\overline{\mathcal{M}}_{1,n}$의 $\SS_n$-equivariant Hodge 다항식을 계산하는 것, 특히 $X = \mathbb{P}^1$의 경우에 대해 적용하는 것.
• Saito의 혼합 Hodge 모듈을 이용한 상대 이론의 기초를 마련하여, 향후 논문에서 $\overline{\mathcal{M}}_{1,n}$의 $\SS_n$-equivariant Hodge 다항식을 계산할 수 있도록 하는 것.

제안 방법

• 무한 변수를 가진 대칭 함수와 $\lambda$-환 이론을 사용하여 $\mathsf{F}(X,n)$의 equivariant Hodge 구조를 표현한다.
• equivariant Serre 다항식의 생성함수를 다루기 위해 $\lambda$-환의 완비화를 도입한다.
• Karoubian $\lambda$-환의 Grothendieck 군에 $\Phi_\lambda$-작용을 정의하여, 임의의 $\SS_n$-irreducible 표현 $V_\lambda$에 대해 $\operatorname{\mathsf{e}}(\mathsf{F}(X,n), V_\lambda)$를 표현한다.
• Karoubian $\lambda$-환에서의 Peter-Weyl 정리를 적용하여 $\mathbb{C}$ 위에서의 $\SS_n$-표현의 완전 가역성을 확보하고, 코homology의 분해를 가능하게 한다.
• $\mathsf{F}(\mathbb{C}^k,n)$ 위의 $G_k = \mathbb{C}^k \rtimes \mathbb{G}_m$-작용을 사용하여 사영적 구성공간 $\overset{\circ}{\mathsf{P}}_k(n)$을 정의하고, 이들의 Serre 다항식은 토르서 성질을 통해 계산된다.
• compactified 공간 $\mathsf{P}_k$의 분할과 편성법(plethysm) 하에서의 관계 $\operatorname{\mathsf{e}}(\mathsf{P}_k) = \bigl( h_1 - \operatorname{\mathsf{e}}(\overset{\circ}{\mathsf{P}}_k) \bigr)^{-1}$을 이용하여 $\mathsf{FM}(X)$의 생성함수를 유도한다.

실험 결과

연구 질문

• RQ1 일반적인 매끄럽고 사영인 다양체 $X$에 대해 구성공간 $\mathsf{F}(X,n)$의 $\SS_n$-equivariant Hodge 다항식을 어떻게 계산할 수 있는가?
• RQ2 $\mathsf{F}(\mathbb{C},n)$에 대한 Lehrer-Solomon 공식을 임의의 $X$로 일반화할 수 있는가?
• RQ3 이 프레임워크를 사용하여 Fulton-MacPherson compactification $\overline{\mathcal{M}}_{1,n}$의 $\SS_n$-equivariant Hodge 다항식을 어떻게 계산할 수 있는가?
• RQ4 $\lambda$-환의 구조와 대칭 함수는 구성공간의 equivariant Hodge 자료를 어떻게 표현하는가?
• RQ5 $\mathsf{F}(\mathbb{C}^k,n)$ 위의 $G_k$-작용은 어떻게 $\mathsf{P}_k$로의 compactification을 이끌며, 이 Hodge 다항식은 $\mathsf{FM}(X,n)$의 equivariant cohomology를 제어하는가?

주요 결과

• $\SS_n$-equivariant Serre 다항식은 $\operatorname{\mathsf{e}}_\sigma(\mathsf{F}(X,n)) = \prod_{j=1}^\infty \alpha_j(X)\bigl(\alpha_j(X) - j\bigr)\cdots\bigl(\alpha_j(X) - (n_j-1)j\bigr)$ 로 주어지며, 여기서 $\alpha_j(X) = \sum_{d|j} \mu(j/d) \operatorname{\mathsf{e}}(X; u^d, v^d)$ 이다.
• 대칭 몫 $\mathsf{F}(X,n)/\SS_n$의 equivariant Serre 다항식은 $\sum_{n=0}^\infty x^n \operatorname{\mathsf{e}}(\mathsf{F}(X,n)/\SS_n) = \frac{\sigma_t(X)}{\sigma_{t^2}(X)} = \prod_{p,q} \Bigl(\frac{1 - t^2 u^p v^q}{1 - t u^p v^q}\Bigr)^{\chi(H_c^\bullet(X,\mathbb{C})^{p,q})}$ 로 주어진다.
• Fulton-MacPherson compactification $X[n]$의 $\SS_n$-equivariant Hodge 다항식은 $\operatorname{\mathsf{e}}(\operatorname{\mathsf{FM}}(X)) = \operatorname{\mathsf{e}}(\mathsf{F}(X)) \circ \operatorname{\mathsf{e}}(\mathsf{P}_k)$ 의 조합을 통해 계산되며, 여기서 $\mathsf{P}_k$ 는 $\overset{\circ}{\mathsf{P}}_k(n)$ 의 compactification 이다.
• $X = \mathbb{C}^k$ 인 경우, $\overset{\circ}{\mathsf{P}}_k(n)$ 의 Serre 다항식은 $\operatorname{\mathsf{e}}(\overset{\circ}{\mathsf{P}}_k(n)) = \frac{\operatorname{\mathsf{e}}(\mathsf{F}(\mathbb{C}^k,n), \SS_n)}{\mathsf{L}^k(\mathsf{L}-1)}$ 로 주어지며, 이는 $G_k$-작용의 토르서 성질을 사용한다.
• $\mathsf{P}_k$ 의 생성함수는 편성법 하에서 $\operatorname{\mathsf{e}}(\mathsf{P}_k) = \bigl( h_1 - \operatorname{\mathsf{e}}(\overset{\circ}{\mathsf{P}}_k) \bigr)^{-1}$ 로 주어지며, $\mathsf{L} = uv$ 를 포함한 명시적 표현이 존재한다.
• 일차원 경우, $\overset{\circ}{\mathsf{P}}_1(n) \cong \mathcal{M}_{0,n+1}$ 이고 $\mathsf{P}_1(n) \cong \overline{\mathcal{M}}_{0,n+1}$ 이므로, 이 방법은 $\overline{\mathcal{M}}_{0,n+1}$ 의 $\SS_{n+1}$-equivariant Hodge 다항식을 계산하며, 향후 논문은 이를 $\overline{\mathcal{M}}_{1,n}$ 으로 확장한다.