1차원 타원곡선의 대칭적 오일러 특성: $S n$ 불변성 및 토러스 고정점 분석

초록

이 논문은 $S_n$-대칭군이 작용하는 마크된 타원곡선의 안정된 사상 공간 $\overline{\mathcal M}_{1,n}(\mathbb P^r,d)$에 대해, 토러스 $\mathbb C^\star$-고정점 방법과 유형 B 대칭함수, 그리고 그래프 색칠 이론을 결합해 $S_n$-불변 위상 오일러 특성을 명시적으로 계산한다. 핵심은 무리 꼬리(rational tail)가 없는 부분공간을 먼저 다루고, 이를 장르 0 기여와의 플레시즘(plethysm)으로 결합해 전체 모듈리 공간의 모티프를 구하는 것이다. 최종 공식은 대칭함수와 모비우스 반전, 토션 함수 등을 포함한 복합식으로 제시된다.

상세 분석

본 연구는 양자코호몰로지와 Gromov‑Witten 이론에서 핵심적인 역할을 하는 Kontsevich 모듈리 공간 $\overline{\mathcal M}{1,n}(\mathbb P^r,d)$의 $S_n$‑불변 위상 오일러 특성을 완전히 기술한다. 저자들은 먼저 “rational tail”가 없는 부분공간 $\overline{\mathcal M}^{\mathrm{nrt}}{1,n}(\mathbb P^r,d)$를 정의하고, 이 공간의 토러스 고정점 집합을 $\mathbb C^\star$‑작용에 대해 분석한다. 고정점은 $\mathbb P^r$의 $r+1$개의 고정점에 색칠된 가중 그래프, 즉 “localisation graph” 로 기술되며, 이 그래프의 자동군은 하이퍼옥타헤드랄 군 $B_k=S_2\wr S_k$ 로 나타난다. 따라서 $S_n$‑작용은 그래프의 반쪽‑모서리 집합에 대한 $B_k$‑표현으로 완전히 포착된다.

이러한 구조를 이용해 저자들은 “graded $S$‑space”와 “graded $B$‑space” 개념을 도입하고, Grothendieck 링 $K_0(V,S)$와 $K_0(V,B)$ 사이의 합성 연산을 통해 Serre 특성 $e(-)$ 를 정의한다. 핵심 정리인 Proposition 3.9 에서는 장르 1 모듈리 공간의 모티프를 장르 0 모듈리 공간 $M_0(r)$와 무리 꼬리 없는 부분공간 $M^{\mathrm{nrt}}_{1}(r)$ 의 합성 형태로 분해한다. 여기서 $