[논문 리뷰] Irrational Hilbert-Kunz multiplicities

Holger Brenner|arXiv (Cornell University)|2013. 05. 25.

Algebraic Geometry and Number Theory참고 문헌 40인용 수 15

한 줄 요약

이 논문은 프로젝트 비율의 벡터 번들의 코homology에 대한 프로베누스 점근적 성질을 이용하여, 유한체 위에서의 3차원 쿼티크 하이퍼표면 도메인과 아르틴يان 모듈러의 힐버트-쿤츠 계수가 무리수임을 증명한다. 힐버트-쿤츠 이론을 선다발과 네론-세비르 군의 기하학과 연결함으로써, 저자들은 국소 노에테르 도메인에서 무리수 힐버트-쿤츠 계수가 발생할 수 있음을 증명하여, 몬스키가 제기한 오랜 동안의 추측을 부정적으로 해결한다.

ABSTRACT

We interpret Hilbert-Kunz theory of a graded ring of positive characteristic in terms of Frobenius asymptotic of cohomology of vector bundles on projective varieties. With this method we show that for almost all prime numbers there exist three-dimensional quartic hypersurface domains and modules of finite length with irrational Hilbert-Kunz multiplicity. From this we deduce that also the Hilbert-Kunz multiplicity of a local noetherian domain might be an irrational number.

연구 동기 및 목표

• 국소 도메인에서 힐버트-쿤츠 계수가 무리수일 수 있다는 P. 몬스키의 추측을 해결하기 위해.
• 코homological 및 기하학적 방법을 이용하여 두 차원 이상의 그레디에이티드 링으로부터 힐버트-쿤츠 이론을 확장하기 위해.
• 프로베누스 풀백의 점근적 행동으로부터 무리수 계수가 발생함을 보여주기 위해.
• K3 표면 기하학과 네론-세비르 콩을 이용하여 국소 도메인의 무리수 힐버트-쿤츠 계수를 가지는 명시적 예를 구성하기 위해.

제안 방법

• 프로젝트 비율의 다양체에서 프로베누스 풀백에 의한 층 코homology 차원의 극한으로 힐버트-쿤츠 계수를 매핑하기 위해.
• 선다발의 교차 행동을 분석하기 위해 네론-세비르 군과 그 실수 선형화를 사용하기 위해.
• 임의의 및 유효 콩의 볼록 기하학을 적용하여 코homological 극한에서의 무리수 경계를 탐지하기 위해.
• 고립된 특이점을 가진 P^3 안의 초표면으로부터 그레디에이티드 링을 구성하고, 그 프로베누스 점근적 성질을 분석하기 위해.
• 스펙트럴 시퀀스의 추론을 통해 싸이지지 번들의 코호몰로지와 그 프로베누스 풀백으로 문제를 축소하기 위해.
• K3 표면과 무리수 네론-세비르 군 실현 결과를 활용하여 무리수 코호몰로지 극한을 생성하기 위해.

실험 결과

연구 질문

• RQ1 국소 노에테르 도메인의 힐버트-쿤츠 계수는 무리수일 수 있는가?
• RQ2 3차원 그레디에이티드 링 또는 양의 특성 체 위에서 아르틴IAN 모듈러에서 무리수 계수가 발생하는가?
• RQ3 선다발의 기하학과 그 프로베누스 풀백이 고차원에서 무리수 코호몰로지 극한을 유도할 수 있는가?
• RQ4 네론-세비르 콩의 무리수 경계와 무리수 힐버트-쿤츠 계수 사이에 연결 고리가 존재하는가?
• RQ5 프로젝트 비율 다양체에서의 벡터 번들의 프로베누스 점근적 성질이 무리수 힐버트-쿤츠 계수를 유도할 수 있는가?

주요 결과

• 논문은 유한체 위의 3차원 쿼티크 하이퍼표면 도메인에서 힐버트-쿤츠 계수가 무리수임을 구성한다.
• 그러한 링 위에서 무리수 힐버트-쿤츠 계수를 가지는 아르틴IAN 모듈러의 존재를 증명한다.
• 무리수성은 K3 표면에서 상위 싸이지지 번들의 프로베누스 풀백의 점근적 코호몰로지에서 기인한다.
• 저자들은 국소 노에테르 도메인의 힐버트-쿤츠 계수가 무리수일 수 있음을 보여, 몬스키의 추측을 반증한다.
• 구성은 K3 표면의 네론-세비르 군에서의 무리수 경계에 기반하며, 자리지 분해가 없는 다발을 통해 실현된다.
• 결과는 완비화 및 몐트로이드 구성에 의한 국소 도메인으로의 축소를 통해 유도되며, 이는 힐버트-쿤츠 계수를 유리수 상수배까지 유지한다.