[논문 리뷰] F-pure threshold and height of quasi-homogeneous polynomials

Susanne Müller|arXiv (Cornell University)|2017. 02. 24.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 준동차 다항식과 페르마 곡면에 대해 F-순수 임계값과 아르틴-마줄 포물형군의 높이 사이의 정확한 연결고리를 설정한다. F-순수 임계값이 로그 최대 임계값과 같을 때이고 그때에만 $H^{N-1}(X, \mathbb{G}_m)$에 관련된 포물형군의 높이가 정확히 1임을 증명한다. 가중치를 가진 델사르트 곡면을 이용한 반례들은 이러한 특성화가 모든 가능한 F-순수 임계값 값으로 확장되지 않음을 보여준다.

ABSTRACT

We consider a quasi-homogeneous polynomial $f \in \mathbb{Z}[x_0, \ldots, x_N]$ of degree $w$ equal to the degree of $x_0 \cdots x_N$ and show that the $F$-pure threshold of the reduction $f_p \in \mathbb{F}_p[x_0, \ldots, x_N]$ is equal to the log canonical threshold if and only if the height of the Artin-Mazur formal group associated to $H^{N-1}\left( X, {\mathbb{G}}_{m,X} ight)$, where $X$ is the hypersurface given by $f$, is equal to 1. We also prove that a similar result holds for Fermat hypersurfaces of degree $>N+1$. Furthermore, we give examples of weighted Delsarte surfaces which show that other values of the $F$-pure threshold of a quasi-homogeneous polynomial of degree $w$ cannot be characterized by the height.

연구 동기 및 목표

• 준동차 다항식에 대해 F-순수 임계값과 아르틴-마줄 포물형군의 높이 사이의 관계를 명확히 하기.
• F-순수 임계값이 로그 최대 임계값과 같을 때를 초월하여 포물형군의 높이로 특성화될 수 있는지 조사하기.
• 가중치를 가진 델사르트 K3 곡면을 이용해 명시적인 반례를 구성하여, 모든 가능한 값에 대해 F-순수 임계값이 높이로 완전히 특성화될 수 없음을 보여주기.
• 일부 조건 하에서 차수 > N+1인 페르마 곡면으로 특성화를 확장하기.
• 최소 해소를 통한 K3 곡면에서 형성된 형식 브라우어 군의 높이가 F-순수 임계값에 미치는 영향을 탐구하기.

제안 방법

• 포물형군 이론, 특히 $H^{N-1}(X, \mathbb{G}_m)$에 관련된 아르틴-마줄 포물형군을 이용해 높이 불변량을 분석하기.
• 고토(2004)의 결과를 적용하여 가중치를 가진 델사르트 K3 곡면의 최소 해소의 형식 브라우어 군의 높이를 계산하기.
• Macaulay2의 PosChar 패키지를 사용하여 다양한 소수 모듈로에서 특정 다항식의 F-순수 임계값을 계산하기.
• 두 개의 명시적인 가중치를 가진 델사르트 K3 곡면 예제를 구성하기: 하나는 고정된 높이와 변화하는 소수에 따른 F-순수 임계값을 가지며, 다른 하나는 고정된 F-순수 임계값과 변화하는 높이를 가짐.
• 주요 정리의 타당성을 보장하기 위해 조건 $p \geq w(N-2)+1$ 를 활용하기.
• 형식군 법칙의 로그와 하사 인버티언트의 구조를 이용하여 F-순수 임계값을 변형 공간에서 하사 인버티언트의 소멸 차수와 연결하기.

실험 결과

연구 질문

• RQ1 준동차 다항식의 F-순수 임계값이 로그 최대 임계값과 같아지는 조건은 무엇인가?
• RQ2 F-순수 임계값이 $H^{N-1}(X, \mathbb{G}_m)$에 관련된 아르틴-마줄 포물형군의 높이로 완전히 특성화될 수 있는가?
• RQ3 모든 소수에 대해 F-순수 임계값은 일정하지만 포물형군의 높이는 변하는 다항식이 존재하는가?
• RQ4 높이가 일정한 반면 F-순수 임계값이 소수에 따라 변하는 경우가 존재하는가?
• RQ5 F-순수 임계값 $\text{fpt}(f_p) = \text{lct}(f)$ 이고 그때에만 $\text{ht}(H^{N-1}(X, \mathbb{G}_m)) = 1$ 이 되는 특성화가 차수 > N+1인 페르마 곡면으로 확장되는가?

주요 결과

• 준동차 다항식 $f \in \mathbb{Z}[x_0, \dots, x_N]$ 이도수 $w = \sum \alpha_i$ 를 가지며, $\text{fpt}(f_p) = 1 = \text{lct}(f)$ 이고 그때에만 $H^{N-1}(X, \mathbb{G}_m)$에 관련된 아르틴-마줄 포물형군의 높이가 1임.
• 페르마 곡면 $f = x_0^d + \cdots + x_N^d$ 에 대해 $d = N+k$, $k \geq 2$, $N \geq 2(k-1)$ 이면, F-순수 임계값이 $\frac{N+1}{d}$ 이고 그때에만 $H^{N-1}(X, \mathbb{G}_m)$의 모든 성분이 높이 1인 포물형군임.
• 예제 4.3은 $f = x^2 + y^5 + z^5 + w^{10}$ 이며, 가중치 (5,2,2,1)에서, $p = 3, 7, 17, 19$ 에서 높이가 무한대이지만, $p = 3, 7, 17$ 에서는 F-순수 임계값이 $1 - \frac{1}{p}$ 이고, $p = 19$ 에서는 $1 - \frac{2}{p}$ 이며, 동일한 높이임에도 불구하고 다른 값을 가짐을 보여준다.
• 예제 4.4는 $f = x^8y + y^6z + z^3 + xw^2$ 이며, 가중치 (1,1,3,4)에서, 모든 테스트된 소수에서 F-순수 임계값은 $1 - \frac{1}{p}$ 이지만, 형식 브라우어 군의 높이는 변한다: $p = 3, 5, 11, 19$ 에서는 8, $p = 7$ 에서는 4, $p = 17$ 에서는 2.
• 형식 브라우어 군의 높이가 무한대이면, $p^\mu \equiv -1 \pmod{e_A}$ 를 만족하는 어떤 $\mu \geq 1$ 이 존재하며, 여기서 $e_A = |\det(A)| / g$, $g$ 는 여인수 행렬의 열합의 최대공약수이다.
• 높이가 유한할 경우, 고토(2004)의 정리 4.2에 따르면, $e_A$ 모듈로에서 $p$ 의 차수와 같다.