[논문 리뷰] Irregular cusps of orthogonal modular varieties

Shouhei Ma|arXiv (Cornell University)|2021. 01. 08.

Advanced Algebra and Geometry참고 문헌 18인용 수 4

한 줄 요약

이 논문은 푸리에 전개의 격자 크기가 이동 격자보다 작은 경우 발생하는 비정규 근원을 다루며, 이는 코다이라 차원 계산에 영향을 미친다. 일반 유형의 모듈라 다양체에 대해 허무한 차수 조건을 이용한 근원 형식 기준을 수립하여, 비정규 근원이 희귀함을 보이며, 이는 판별식 군이 $\mathbb{Z}/8 \oplus (\mathbb{Z}/2)^a$ 또는 $(\mathbb{Z}/4)^2 \oplus (\mathbb{Z}/2)^a$인 특정한 짝수 격자에서만 발생함을 보이고, 모듈라 다양체가 일반 유형임을 정확히 판단할 수 있는 기준을 제공한다.

ABSTRACT

Irregular cusp of an orthogonal modular variety is a cusp where the lattice for Fourier expansion is strictly smaller than the lattice of translation. Presence of such a cusp affects the study of pluricanonical forms on the modular variety using modular forms. We study toroidal compactification over an irregular cusp, and clarify there the cusp form criterion for the calculation of Kodaira dimension. At the same time, we show that irregular cusps do not arise frequently: besides the cases when the group is neat or contains -1, we prove that the stable orthogonal groups of most (but not all) even lattices have no irregular cusp.

연구 동기 및 목표

• 직교 모듈라 다양체에서 다항체형 형식과 코다이라 차원 연구에 비정규 근원이 미치는 기하학적 및 산술적 영향을 이해하는 것.
• 특히 K3 곡면과 하이퍼카이러 맨이폴드와 관련된 모듈라이 문제에서, 짝수 격자의 안정 직교군에서 비정규 근원이 언제 발생하는지 분류하는 것.
• 비정규 근원이 존재할 경우를 고려하여, 토로이드적 컴actsification이 일반 유형임을 판단할 수 있는 정확한 근원 형식 기준을 수립하는 것.
• 경계 초면에서의 모듈라 형식의 허무한 차수(측정 방식: $U(I)_{\mathbb{Z}}$)와 다항체형 형식의 허무한 차수(측정 방식: $U(I)_{\mathbb{Z}}'$) 사이의 미묘한 불일치를 해결하는 것.

제안 방법

• 토로이드적 컴actsification의 경계 초면 $D(\sigma)$에서의 허무한 차수 $\nu_\sigma(F)$를 이용한 정교한 근원 형식 기준을 도입하여, 정규 레이저와 비정규 레이저를 구분한다.
• 반경이 2인 이유로 인해 정규 레이저의 경우 $a_\sigma = 1$, 비정규 레이저의 경우 $a_\sigma = 1/2$이 되는 관계 $\nu_{\Delta(\sigma)}(\omega) = a_\sigma \cdot \nu_\sigma(F) - m$를 적용한다.
• 모듈라 형식의 $m$-canonical 형식이 분해형에 대해 해석적 확장이 가능하려면, 정규 레이저의 경우 $\nu_\sigma(F)/k > 1/b$, 비정규 레이저의 경우 $> 2/b$ 조건이 성립해야 한다.
• 경사 조건을 만족할 경우 $K_X$가 크다는 것을 보이기 위해, $F^m \cdot M_{(bN_0 - k)m}(\Gamma)$의 가족을 구성한다.
• 충분한 허무한 차수를 확보하기 위해, $F$의 거듭제곱을 이용한 정규화 방법을 적용하여, $k/b \geq [k/b] + 1/2$인 경우로 환원한다.
• 기하학적 의미를 해석하기 위해 $\mathbb{Q}$-선형 동치 $K_{{\mathcal{F}(\Gamma)^\Sigma}} \sim_\mathbb{Q} b\mathcal{L} - B/2 - \Delta_{\text{reg}} - \Delta_{\text{irr}}$를 사용한다.

실험 결과

연구 질문

• RQ1 짝수 격자 $L$의 안정 직교군 $\widetilde{\rm O}^+(L)$에서 비정규 근원이 언제 발생하는가?
• RQ2 비정규 근원이 토로이드적 컴actsification에서 모듈라 형식과 다항체형 형식 간의 허무한 차수 비교에 어떻게 영향을 미치는가?
• RQ3 어떤 조건을 만족해야 비정규 근원이 존재할 때 모듈라 다양체가 일반 유형이 되는가?
• RQ4 어떤 모듈라이 공간(예: $K3$ 곡면, $K3^{[t+1]}$-유형 다양체)에서 비정규 근원이 존재하며, 기하학적 조건은 무엇인가?
• RQ5 비정규 근원이 존재할 경우, 직교 모듈라 다양체의 코다이라 차원을 효과적으로 계산할 수 있는가?

주요 결과

• 비정규 근원이 $\widetilde{\rm O}^+(L)$에 존재하는 것은 $L^\vee/L \simeq \mathbb{Z}/8 \oplus (\mathbb{Z}/2)^a$ 또는 $(\mathbb{Z}/4)^2 \oplus (\mathbb{Z}/2)^a$인 아벨 군일 때에만 가능하다.
• 도수 $2d$인 K3 곡면의 모듈라 군은 $d=4$일 때에만 비정규 근원을 가진다.
• $K3^{[t+1]}$-유형 다양체에서 분할 극성의 도수 $2d$일 경우, 비정규 근원은 $(t,d) = (1,4), (2,2), (4,1)$일 때에만 존재한다.
• O’Grady10과 변형된 Kuga–Morrison 유형 다양체는 각각 $d=4$ 및 $(t,d)=(4,1)$일 때에만 비정규 근원을 가진다.
• 일반 유형을 위한 근원 형식 기준은 정규 레이저의 경우 $\nu_\sigma(F)/k > 1/b$, 비정규 레이저의 경우 $> 2/b$이며, 이는 $K_X$가 크다는 것을 보장한다.
• 이 기준은 $K_{{\mathcal{F}(\Gamma)^\Sigma}}$가 크기의 $\mathbb{Q}$-선형 동치에 의해 효과적 인수를 더한 형태로 표현되며, 기울기 조건을 만족할 경우 일반 유형임을 확인한다.