[논문 리뷰] On equivariant versions of higher order orbifold Euler characteristics

S. M. Gusein‐Zade, I. Luengo외 1명|arXiv (Cornell University)|2015. 04. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한군의 버누지 링에 값이 있는 등변 고차 오르비드 오일러 특성수를 도입하며, 두 접근법을 통합한다: 군 작용 불변량을 버누지 링을 통해, 오르비드 불변량을 고정점 자료를 통해. 이들은 이러한 불변량과 그 모티빅 일반화에 대해 맥도널드 유형의 생성함수를 수립하며, 레프셰츠 클래스의 유리수 거듭제곱을 포함하는 등변 그로텐디크 링 위의 거듭제곱 구조를 사용하여, 기존 결과를 교환 작용을 갖는 등변 설정으로 확장한다.

ABSTRACT

There are (at least) two different approaches to define equivariant analogue of the Euler charateristic for a space with a finite group action. The first one defines it as an element of the Burnside ring of the group. The second approach emerged from physics and includes the orbifold Euler characteristic and its higher order versions. Here we suggest a way to merge the two approaches together defining (in a certain setting) higher order Euler characteristics with values in the Burnside ring of a group. We give Macdonald type equations for these invariants. We also offer generalized ("motivic") versions of these invariants and formulate Macdonald type equations for them as well.

연구 동기 및 목표

• 두 개별적인 등변 오일러 특성수 접근법을 통합하는 것: 하나는 유한군의 버누지 링에 기반한 것이고, 다른 하나는 오르비드 이론과 고차 불변량에 뿌리를 두고 있는 것이다.
• 두 교환 가능한 유한군 작용이 존재하는 설정 하에서, 버누지 링에 값이 있는 고차 오르비드 오일러 특성수를 정의하는 것.
• 기존의 오르비드 및 등변 오일러 특성수에 대해 알려진 결과를 일반화하는 맥도널드 유형의 방정식을 제시하는 것.
• 레프셰츠 클래스의 유리수 거듭제곱을 포함하는 등변 그로텐디크 링을 사용하여, 일반화된('모티빅') 버전으로 이 구성의 확장을 시도하는 것.
• 원래 불변량을 통해 대칭 거듭제곱 불변량을 코딩하는 등변 구조를 유지하는 거듭제곱 구조 기반 생성함수를 수립하는 것.

제안 방법

• 한 군의 고정점 자료(오르비드 접근법)와 다른 군의 등변 불변량(버누지 링 접근법)을 조합하여, 버누지 링에 값이 있는 고차 오르비드 오일러 특성수를 정의한다.
• 두 교환 가능한 유한군 $G_O$ 및 $G_B$ 가 매끄럽고 준사영인 다양체 $X$ 에 작용하며, $G_O$ 는 오르비드 유형의 고정점을 통해 작용하고, $G_B$ 는 전역 대칭으로서 작용한다.
• 호모모르피즘 $ ho: \bbZ^k \to G_O$ 의 반복 고정점 집합을 통해 $k$-번째 순서 불변량을 재귀적으로 구성하며, 유리수 이동 $ ho_i$ 와 나이 불변량 $F^\rho_{\text{shift}}$ 에 의해 가중치를 부여한다.
• 변형된 그로텐디크 링 $K_0^{G_B}(\mathrm{Var}_{\mathbb{C}})[\mathbb{L}^s]_{s \in \mathbb{Q}}$ 위의 거듭제곱 구조를 사용하여, 와르프 제품 군 $(G_O)_n \times G_B$ 에 대한 대칭 거듭제곱 $X^n$ 의 생성함수를 표현한다.
• 군 $G_O$ 의 $k$-튜플의 공轭류에 대해 합을 취하고, $ ho_i$ 와 다양체 $X$ 의 차원 $d$ 를 포함하는 유리함수로 가중치를 두어, 생성함수를 지수함수의 형태로 표현함으로써 맥도널드 유형의 공식을 유도한다.
• 오르비드 설정에서의 나이 이동을 반영하기 위해 레프셰츠 클래스 $\mathbb{L}$ 의 유리수 거듭제곱을 포함함으로써, 구성의 모티빅 일반화를 수행한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 오르비드 및 등변 접근법을 통합하는, 유한군의 버누지 링에 값이 있는 고차 오르비드 오일러 특성수를 정의할 수 있는가?
• RQ2 두 교환 가능한 유한군 작용이 존재할 때, 다양체의 대칭 거듭제곱에 대한 생성함수의 구조는 버누지 링에 값이 있을 경우 어떻게 되는가?
• RQ3 맥도널드 유형의 방정식은 등변 및 모티빅 버전의 고차 오르비드 오일러 특성수로 확장될 수 있는가?
• RQ4 나이 불변량과 유리수 가중치는 교환 가능한 군 작용이 존재할 경우 생성함수에 어떻게 영향을 미치는가?
• RQ5 등변 그로텐디크 링 위의 거듭제곱 구조는 이러한 생성함수를 수립하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $K_0^{G_B}(\mathrm{Var}_{\mathbb{C}})[\mathbb{L}^s]_{s \in \mathbb{Q}}$ 에 속하는 새로운 불변량 $[X;G_O,G_B]^{k,G_B}_{\underline{\varphi}}$ 를 구성하며, 이는 등변 오일러 특성수와 고차 오르비드 오일러 특성수를 모두 일반화한다.
• 맥도널드 유형의 생성함수를 수립한다: $\sum_{n \geq 0} [X^n; (G_O)_n, G_B]^{k,G_B}_{\underline{\varphi}} t^n = \left( \prod_{r_1,\dots,r_k \geq 1} (1 - \mathbb{L}^{\Phi_k(\underline{r})d/2} t^{r_1\cdots r_k})^{r_2 r_3^2 \cdots r_k^{k-1}} \right)^{-[X;G_O,G_B]^{k,G_B}_{\underline{\varphi}}}$, 여기서 $\Phi_k(\underline{r}) = \sum_{i=1}^k \varphi_i r_1 \cdots r_{i-1} (r_i - 1)$.
• 생성함수는 레프셰츠 클래스의 유리수 거듭제곱을 포함하는 등변 그로텐디크 링 위의 거듭제곱 구조를 사용하여 표현되며, 고전적 맥도널드 항등식을 일반화한다.
• 이 구성은 $G_B$ 의 작용과 호환되며, 모든 대칭 거듭제곱 $X^n$ 은 자연스럽게 $G_B$-작용을 가지며, 불변량의 등변성을 유지한다.
• 모티빅 일반화에서는 $\mathbb{L}$ 의 유리수 거듭제곱을 포함하여 오르비드 설정에서의 나이 이동 $F^\rho_{\alpha_\rho}$ 를 반영하며, 공식은 링 $K_0^{G_B}(\mathrm{Var}_{\mathbb{C}})[\mathbb{L}^s]_{s \in \mathbb{Q}}$ 에서 성립한다.
• 논문은 [17] 및 [19] 의 기존 결과를 추가적인 전역 $G_B$-작용을 포함함으로써 확장하며, 거듭제곱 구조 형식이 등변성 하에서도 여전히 유효함을 보여준다.