[논문 리뷰] On generating series of classes of equivariant Hilbert schemes of fat points

S. M. Gusein‐Zade, I. Luengo외 1명|ArXiv.org|2009. 05. 12.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 매끄러운 다양체 위의 0차원 부분다양체에 대한 등변 Hilbert 스킴의 생성함수 공식을 유한군 작용의 경우로 확장하며, 복소다양체의 Grothendieck 환 위에 있는 거듭제곱 구조를 도입한다. 순환군 작용에 대한 매끄러운 표면에서 국소 생성함수를 유도하고, 로그함수의 폐형 곱공식을 추측하며, 작은 군의 순서에 대해 명시적인 계산을 수행하여 계수의 안정화 패턴을 드러낸다.

ABSTRACT

In previous papers the authors gave formulae for generating series of classes (in the Grothendieck ring of complex quasi-projective varieties) of Hilbert schemes of zero-dimensional subschemes on smooth varieties and on orbifolds in terms of certain local data and the, so called, power structure over the corresponding ring. Here we give an analogue of these formulae for equivariant (with respect to an action of a finite group on a smooth variety) Hilbert schemes of zero-dimensional subschemes and compute some local generating series for an action of the cyclic group on a smooth surface.

연구 동기 및 목표

• 이전의 Hilbert 스킴 생성함수 공식을 유한군 작용 하에 있는 등변 설정으로 일반화한다.
• 매끄러운 표면에서 순환군 작용이 있는 0차원 부분다양체에 대한 등변 Hilbert 스킴의 국소 생성함수를 계산한다.
• 이 생성함수의 로그함수에서 나타나는 구조적 패턴을 조사하고 폐형 표현을 추측한다.
• 군의 순서가 증가함에 따라 로그함수 계수에서 나타나는 안정화 현상을 탐색한다.

제안 방법

• 복소다양체의 Grothendieck 환 $K_0(\mathcal{V}_{\mathbb{C}})$ 위에 있는 거듭제곱 구조를 사용하여 등변 Hilbert 스킴의 생성함수를 정의하고 다루는 데 사용한다.
• 카디널리티 제약 조건이 있는 쌍 $(K, \varphi)$의 구성공간을 통한 거듭제곱 구조의 기하학적 해석을 적용한다.
• 일반화된 오일러 특성: $\mathbb{H}_X(T) = \int_X \mathbb{H}_{X,x}(T)^{d\chi_g}$를 통한 적분 공식을 이용해 전역 생성함수를 국소 데이터로 감소시킨다.
• 특정 군 작용, 예를 들어 $\mathbb{Z}/3\mathbb{Z}$와 $\mathbb{Z}/4\mathbb{Z}$ 작용에 대해 심볼릭 계산(예: Maple)을 사용하여 명시적인 급수를 계산한다.
• 패턴을 탐지하고 곱구조를 추측하기 위해 로그함수 $\mathrm{Log}^{(1)}$ 및 $\mathrm{Log}^{(2)}$를 분석한다.
• 관측된 계수 안정화에 기반하여 $\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$에 대한 추측적 곱공식을 제안한다.

실험 결과

연구 질문

• RQ1 유한군 작용 하에서 등변 Hilbert 스킴의 생성함수는 Grothendieck 환 위의 거듭제곱 구조를 사용해 국소 데이터로 표현될 수 있는가?
• RQ2 평면에서 순환군 작용에 대한 $\mathrm{Log}^{(1)}\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$의 구조는 어떠한가?
• RQ3 $\mathrm{Log}^{(2)}\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$의 계수 수열 $p_i^{M,1}(\mathbb{L})$이 $M$에 대해 상대적으로 $i$가 클 때 안정화되는가?
• RQ4 비등변 경우와 유사하게 $\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$에 폐형 곱공식이 존재하는가?
• RQ5 로그함수 계수에서 관측된 안정화의 기하학적 의미는 무엇인가?

주요 결과

• $\mathbb{Z}/3\mathbb{Z}$-작용에 대해 $\mathbb{C}^2$에서 $\mathrm{Log}^{(1)}\mathbb{H}^{3,1}_{\mathbb{C}^2,0}(T)$는 $T + \mathbb{L}T^2 + T^3 + \mathbb{L}T^4 + \mathbb{L}^2T^5 + \cdots$로 시작하며, 차수에서 구조적인 패턴을 보인다.
• 추측적 곱공식을 제안한다: $\mathbb{H}^{3,1}_{\mathbb{C}^2,0}(T) = \prod_{i=1}^\infty \frac{1}{(1 - \mathbb{L}^{i-1}T^{3i-2})(1 - \mathbb{L}^i T^{3i-1})(1 - \mathbb{L}^{i-1} T^{3i})}$.
• $\mathbb{Z}/4\mathbb{Z}$-작용에 대해 $\mathrm{Log}^{(1)}\mathbb{H}^{4,1}_{\mathbb{C}^2,0}(T)$는 $(1+\mathbb{L})T^4 + (2\mathbb{L} + 2\mathbb{L}^2 + \mathbb{L}^3)T^8 + \cdots$와 같은 항을 포함하여 비트리비얼한 계수 성장이 나타난다.
• $\mathrm{Log}^{(2)}$ 급수는 $(-\mathbb{L}^2 + \mathbb{L}^3 - \mathbb{L}^6)T^{12}$와 같이 음수 계수를 포함하여 비트리비얼한 대수적 구조를 시사한다.
• 계산 결과 $M'' > M' > i$일 때, $\mathrm{Log}^{(2)}\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$의 계수 $p_i^{M',1}(\mathbb{L})$와 $p_i^{M'',1}(\mathbb{L})$가 안정화됨을 시사하며, 이는 $M \to \infty$ 근처에서 잠재적인 극한이 존재할 가능성을 시사한다.
• $\mathbb{H}^{5,2}_{\mathbb{C}^2,0}(T)$의 $\mathrm{Log}^{(1)}$ 급수는 차수 $5k$에서 반복 패턴을 보이며, $T^5 + \mathbb{L}T^6 + \cdots + \mathbb{L}^4T^{24} + \cdots$와 같은 항을 포함하여 주기성 또는 대칭성의 아이디어를 지지한다.