[논문 리뷰] An example of birationally inequivalent projective symplectic varieties which are D-equivalent and L-equivalent

Shinnosuke Okawa|arXiv (Cornell University)|2018. 01. 29.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 피카르 수가 1인 비이sov머포픽 K3 곡면의 점들에 대한 힐베르트 스킴을 이용하여, D-equivalent 이자 L-equivalent 이지만 서로 비이sov머포픽 등가가 아닌, 프로젝티브 심플렉틱 다양체의 첫 번째 알려진 예를 구성한다. 이 구성은 유니버설 생성함수를 통한 유도 및 모티빅 등가를 활용하며, 힐베르트 스킴의 가변 콘의 구조를 이용해 비이sov머포픽 등가를 증명한다. 이에 대한 장애는 K3 곡면의 차수와 힐베르트 스킴 매개변수 n에 대한 펠의 방정식 조건에서 기인한다.

ABSTRACT

We give an example of a pair of projective symplectic varieties in arbitrarily large dimensions which are D-equivalent, L-equivalent, and birationally inequivalent.

연구 동기 및 목표

• D-equivalent 이자 L-equivalent 이지만 서로 비이sov머포픽 등가가 아닌 프로젝티브 심플렉틱 다양체의 쌍을 구성하는 것.
• 칼라비-야우 곡면과 K3 곡면을 초월하여 고차원 심플렉틱 다양체로 D- 및 L-등가의 알려진 예를 확장하는 것.
• 유도 및 모티빅 불변량이 일치함에도 불구하고 비이sov머포픽 등가가 유지될 수 있음을, 명시적 기하학적 제약 조건을 통해 보여주는 것.

제안 방법

• K3 곡면 X의 n개 점에 대한 힐베르트 스킴 X[n]을 사용한다. 이는 차원 2n인 매끄럽고 프로젝티브한 심플렉틱 다양체이다.
• 플로프트의 결과를 적용하여, X와 Y가 D-equivalent 이면 X[n]과 Y[n]도 D-equivalent 임을 확립한다.
• 힐베르트 스킴의 생성함수를 활용하여, 국소화된 그로텐디에크 링에서의 공식 HZ(T) = (HAdim Z(T))^{L^{-dim Z}[Z]} 를 통해 L-equivalence 를 증명한다.
• 베이어-마크리(2014)의 가변 콘 기술을 이용하여, 피카르 군과 빈스-보고몰로프-후지키 형식을 통해 X[n]과 Y[n]의 비이sov머포픽 기하학을 분석한다.
• 가변 콘의 극단적 반사선의 삼분법을 적용하여, 비이sov머포픽 사상이 존재할 경우 비이sov머포픽 K3 곡면의 가정에 위배되는 등장사상을 유도함을 보인다.
• 펠의 방정식 (n−1)X² − dX Y² = 1 을 분석하여, dX ≠ dY 이거나 특정한 n과 dX 조건에서 정수해가 존재할 경우 비이sov머포픽 등가가 방해됨을 보여준다.

실험 결과

연구 질문

• RQ1 D-equivalent 이자 L-equivalent 이지만 비이sov머포픽 등가인 심플렉틱 다양체는 임의의 고차원에서 존재할 수 있는가?
• RQ2 비이sov머포픽 K3 곡면의 점들에 대한 힐베르트 스킴 사이의 비이sov머포픽 등가를 방해하는 기하학적 조건은 무엇인가?
• RQ3 K3 곡면의 불변량에 대한 펠의 방정식의 해가 그들의 힐베르트 스킴의 비이sov머포픽 기하학에 미치는 영향은 무엇인가?
• RQ4 유도 및 모티빅 등가가 심플렉틱 다양체에서 비이sov머포픽 등가의 실패와 함께 공존할 수 있는 정도는 어느 정도인가?
• RQ5 K3 곡면 매개변수의 산술 조건을 이용하여 힐베르트 스킴의 비이sov머포픽 등가를 체계적으로 탐지할 수 있는 방법이 있는가?

주요 결과

• 논문은 임의의 큰 차원 2n에서 D-equivalent 이자 L-equivalent 이지만 비이sov머포픽 등가가 아닌 프로젝티브 심플렉틱 다양체 X[n]과 Y[n]의 쌍을 구성한다.
• 피카르 수가 1이고 차수가 2dX, 2dY 인 비이sov머포픽 K3 곡면 X와 Y에 대해, 힐베르트 스킴 X[n]과 Y[n]은 D-equivalent 이자 L-equivalent 이다.
• dX ≠ dY 이거나, dX = dY, n > 2 이며 펠의 방정식 (n−1)X² − dX Y² = 1 이 정수해를 가질 경우 비이sov머포픽 등가가 성립한다.
• n = 6y² + 2 (y ≥ 1) 인 경우, 예를 들어 n = 8, 26, 56 일 때, 정리의 조건이 충족되어 차원 16, 52, 112 등에서 명시적인 예를 얻을 수 있다.
• 증명은 임의의 비이sov머포픽 사상이 피카르 군의 등장사상을 유도하며, 이는 X와 Y의 비이sov머포픽 성질에 위배되며, 장애는 가변 콘의 구조에서 기인한다.
• 펠의 방정식의 해가 존재하지 않는 경우, 비이sov머포픽 등가가 발생할 수 있으며, 이는 n=3 이고 차수가 12인 K3 곡면의 경우에서 관찰되었으며, 장애 조건의 날카로움을 확인한다.