[논문 리뷰] Algebraic elliptic cohomology theory and flops, I

Marc Levine, Yaping Yang외 1명|arXiv (Cornell University)|2013. 11. 09.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 모티빅 호모토피 이론을 사용하여 임의의 완전체 위에서 대수적 타원곡선 코호몰로지 이론을 수립하고, 유리수 계수를 갖는 대수적 코버드르 링에서 크리셰버의 타원곡선 종수의 핵이 정확히 고전적 플롭의 차이로 생성되는 이상으로서 정확히 일치함을 증명한다. 이 결과는 토타로의 복소해석적 정리가 임의의 체로 일반화된 것으로, 플롭과 호환되는 비라시얼 불변량은 타원곡선 종수에 의해 포괄됨을 확인한다.

ABSTRACT

We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational coefficients, the ideal generated by differences of classical flops coincides with the kernel of Krichever's elliptic genus. This generalizes a theorem of B. Totaro in the complex analytic setting.

연구 동기 및 목표

• 임의의 완전체 위의 매끄러운 대상에 대해 방향성이 있는 코호몰로지 이론으로서 대수적 타원곡선 코호몰로지 이론을 구성하는 것.
• 복소수 코버드르 링에서 타원곡선 종수의 핵에 관한 토타로의 결과를 임의의 특성수를 갖는 체 위의 대수적 맥락으로 확장하는 것.
• 유리수 계수를 갖는 대수적 코버드르 링에서 고전적 플롭의 차이로 생성되는 이상이 크리셰버의 타원곡선 종수의 핵과 정확히 일치함을 보이는 것.
• 모티빅 호모토피 이론과 랜드웨버 정확성에 기반하여 이 코호몰로지 이론의 표현 가능성을 확립하는 것.
• 타원곡선 종수의 강성 및 비라시얼 불변성 성질을 완전체 위의 대수기하학으로 일반화하는 것.

제안 방법

• MGL을 이용하여 유리수 계수를 갖는 방향성 있는 코호몰로지 이론의 보편성을 모티빅 호모토피 이론을 통해 수립한다.
• Ell[1/2p]를 랜드웨버 정확한 계수환의 확장으로 정의하고, MGL* ⊗_Laz Ell[1/2p]로 대수적 타원곡선 코호몰로지 이론을 정의한다.
• 레빈-판다리파ande의 이중점 코버드르 구성법을 적용하여 플롭 두 개의 차이를 대수적 코버드르 링에서 명시적으로 기술한다.
• 크리셰버의 타원곡선 종수의 강성과 플롭과의 호환성에 기반하여 종수 사상의 핵을 식별한다.
• 데종의 수정과 가브너의 개선을 활용하여 양의 특성수의 경우를 다루며, 계수환에서 가역인 차수를 갖는 ℓ에 배제된 수정의 존재를 보장한다.
• 안정된 모티빅 호모토피 범주 SH(k)와 유한 에테일 코버리지의 자기 사상 성질을 활용하여 필요한 비라시얼 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 완전체 위의 대수적 코버드르 링 맥락에서 크리셰버의 타원곡선 종수의 대수적 유사체는 무엇인가?
• RQ2 대수적 코버드르 링에서 타원곡선 종수의 핵은 플롭과 같은 기하연산으로 어떻게 기술될 수 있는가?
• RQ3 유리수 계수를 갖는 대수적 코버드르 링에서 고전적 플롭의 차이로 생성되는 이상은 임의의 완전체 위에서 타원곡선 종수의 핵과 일치하는가?
• RQ4 타원곡선 종수의 강성은 모티빅 호모토피 이론을 통해 대수적으로 실현되고 증명될 수 있는가?
• RQ5 랜드웨버 정확한 Lazard 환 위에서 표현 가능한 모티빅 방향성 있는 코호몰로지 이론이 존재하는가, 이는 대수적 타원곡선 코호몰로지 이론을 나타내는가?

주요 결과

• MGL* ⊗_Laz Ell[1/2p]로 정의된 대수적 타원곡선 코호몰로지 이론은 임의의 완전체 위의 매끄러운 대상에서 모티빅 방향성 코호몰로지 이론으로 표현 가능하다.
• 유리수 계수를 갖는 대수적 코버드르 링 MGL*Q(k)에서 타원곡선 종수 φQ의 핵은 정확히 고전적 플롭의 차이로 생성되는 이상이다.
• 타원곡선 종수 사상 φQ: MGL*Q(k) → Ell*Q(k)의 이미지는 다항식 환 Q[a1,a2,a3,a4]이다.
• 이 증명은 이중점 코버드르를 사용하여 플롭 차이의 명시적 대수적 기술을 제공하며, 토폴로지적 구성법을 사용한 토타로의 복소해석적 증명에서의 대체를 이룬다.
• 데종의 수정에서 계수환에서 가역인 차수를 갖는다는 조건을 만족시키기 위해 가브너의 개선을 활용함으로써, 양의 특성수의 경우에도 결과가 성립한다.
• 타원곡선 종수의 플롭 차이에서의 영성은 안정된 모티빅 호모토피 범주 SH(k)에서의 자기 사상 성질과 GW(k)에서의 멱영성에 기반한 핵심 보조정리의 증명을 통해 확립된다.