[논문 리뷰] Discrepancies of $p$-cyclic quotient varieties

Takehiko Yasuda|arXiv (Cornell University)|2017. 10. 17.

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

한 줄 요약

이 논문은 양의 특성 $p>0$를 가진 체 위의 $p$-순환 몫 다양체에서 종결, 표준, 로그 표준 특이점에 대한 정확한 기준을 수립한다. 불변량 $D_V$와 새로운 함수 $\mathrm{sht}_V(s)$를 사용하여 최소 불일치 $\delta(X)$에 대한 정확한 공식을 도출하며, $X$가 종결(해당 $D_V \geq p$)이자 표준(해당 $D_V \geq p-1$)이며 로그 표준(해당 $D_V \geq p-2$)임을 증명한다. 이는 비코hen-맥컬레이 종결 특이점의 새로운 예를 제공한다.

ABSTRACT

We consider the quotient variety associated to a linear representation of the cyclic group of order p in characteristic p>0. We estimate the minimal discrepancy of exceptional divisors over the singular locus. In particular, we give criteria for the quotient variety being terminal, canonical and log canonical. As an application, we obtain new examples of non-Cohen-Macaulay terminal singularities, adding to examples recently announced by Totaro.

연구 동기 및 목표

• 양의 특성에서 $p$-순환 몫 다양체의 특이점 집합 위의 예외적 인수의 최소 불일치 $\delta(X)$를 결정하는 것.
• 해당 몰입 다양체가 언제 종결, 표준, 또는 로그 표준인지 분류하는 것.
• 코헨-맥컬레이가 아닌 종결 특이점의 새로운 예를 구성하여 토타로의 결과를 확장하는 것.
• $D_V$의 표현 이론적 불변량과 함수 $\mathrm{sht}_V(s)$에 대한 $\delta(X)$의 정확한 공식 제공

제안 방법

• 기본 $G$-표현 $V_{d_\lambda}$의 불변량 합으로서 $D_V = \sum_{\lambda=1}^l \frac{(d_\lambda - 1)d_\lambda}{2}$ 를 정의한다.
• 자기적 분해의 램프리케이션 자료를 포착하기 위해 $1 \leq j \leq p-1$ 에 대해 함수 $\mathrm{sht}_V(j) = \sum_{\lambda=1}^l \sum_{i=1}^{d_\lambda - 1} \left\lfloor \frac{ij}{p} \right\rfloor$ 를 도입한다.
• 특이점 집합 위에서 모티브 적분을 계산하기 위해 아크 공간과 제트 스킴 기법을 사용하여 $j = np + s$ 에 대해 $\nu(M_j) = l + (p-1 - D_V)n + s - \mathrm{sht}_V(s)$ 라는 공식을 이끌어낸다.
• 변수 변경 공식과 아크 공간의 가측적 분해를 적용하여 $\delta(X)$ 를 $j \in J$ 에서 $\nu(M_j)$ 의 하한값과 연결한다.
• 대칭적 점프 간 불일치를 연결하기 위해 핵심 항등식 $s - \mathrm{sht}_V(s) = \mathrm{sht}_V(p-s) + s + d - l - D_V$ 를 유도한다.
• $\mathrm{sht}_V(s) \leq \frac{(s-1)D_V}{p}$ 를 통한 경계 설정으로, $\delta(X) \geq \frac{2D_V}{p} - 2$ 라는 하한값 유도

실험 결과

연구 질문

• RQ1 특성 $p > 0$ 에서 $p$-순환 표현 $V$ 의 몫 다양체 $X = V/G$ 가 언제 종결, 표준, 또는 로그 표준인지?
• RQ2 특이점 집합 위에서 최소 불일치 $\delta(X)$ 의 정확한 값은 무엇인가?
• RQ3 비코헨-맥컬레이 종결 특이점은 양의 특성에서 존재할 수 있으며, 만약 그렇다면 어떤 표현 이론적 조건에서 존재하는가?
• RQ4 특이점 집합 위에서 $\delta(X)$ 는 $V$ 의 불가약한 $G$-모듈로의 분해에 따라 어떻게 달라지는가?
• RQ5 함수 $\mathrm{sht}_V(j)$ 는 $X$ 의 특이점 유형을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 몰입 다양체 $X = V/G$ 는 $D_V \geq p$ 이면 종결, $D_V \geq p-1$ 이면 표준, $D_V \geq p-2$ 이면 로그 표준이며, 이는 $D_V \geq 2$ 를 가정한다.
• $D_V < p-1$ 이면 최소 불일치 $\delta(X) = -\infty$ 이며, 이는 $X$ 가 로그 표준이 아님을 의미한다.
• $D_V \geq p-1$ 이면 최소 불일치는 $\delta(X) = D_V - 1 - \max_{1 \leq s \leq p-1} \{ \mathrm{sht}_V(p-s) + s \}$ 로 주어지며, 정확한 공식을 제공한다.
• $D_V \geq p$ 이면 하한값 $\delta(X) \geq \frac{2D_V}{p} - 2$ 가 성립하며, $D_V = p$ 일 때는 정확한 경계이다.
• $D_V \geq p$ 이면 $X$ 는 표준이며, 이 하한값 $\delta(X) \geq \frac{2D_V}{p} - 2$ 는 비잔하고 이전 추정치를 향상시킨다.
• 논문은 비코헨-맥컬레이 종결 특이점의 새로운 예를 구성하였으며, 특성 2에서 $V = V_2^\oplus 3$ 또는 특성 5에서 $V = V_4$ 의 예를 포함하여 토타로의 결과를 확장한다.