[논문 리뷰] The quot functor of a quasi-coherent sheaf

Gennaro Di Brino|arXiv (Cornell University)|2012. 12. 19.

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

한 줄 요약

이 논문은 프로젝티브 스킴 위의 준가환층에 대한 Quot 함수를 나타내는 무한차원 체계를 구축한다. 이는 코herent인 경우에 국한되던 그로텐디크의 고전적 Quot 스킴을 준가환층의 경우로 확장한 것이다. 준가환층의 표현을 위해 델리뉴의 인도-오브젝트 표현과 그라스만리안의 필터링 인덕티브 극한 구조를 결합하여, Quot 함수의 표현 가능성과 균일하게 정규적인 준가환층에 대한 대규모 그라스만리안 임베딩을 증명한다.

ABSTRACT

We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian embedding combined with a result of Deligne, realizing quasi-coherent sheaves as ind-objects in the category of quasi-coherent sheaves of finite presentation. We end our treatment with the discussion of a special case in which we can retain an analog of the Grassmannian embedding.

연구 동기 및 목표

• 프로젝티브 스킴 위의 코herent에서 준가환층으로의 고전적 Quot 스킴 구성의 확장.
• sheaf가 코herent가 아니더라도 Quot 함수의 표현 가능성 문제를 해결.
• 필터링 인덕티브 극한을 이용하여 유한차원이 아닌 무한차원 설정으로 고전적 그라스만리안 임베딩을 일반화.
• 무한차원 Quot 스킴이 체계적 그라스만리안에 대해 준폐쇄 임베딩을 갖는 조건을 규명.

제안 방법

• 준콤팩트이고 준분리된 스킴 위의 준가환층이 유한히 표현 가능한 준가환층의 인도-오브젝트와 동치임을 보여주는 델리뉴의 정리 활용.
• 유한형 그라스만리안의 부분스킴들 사이의 애매한 사상의 프로젝티브 극한을 통해, 유한형 부분스킴들의 필터링 인덕티브 극한으로 체계적 그라스만리안을 구성.
• 고전적 Quot 스킴의 열린 부분스킴들과 애매한 사상의 프로젝티브 극한으로 얻어진 스킴들의 필터링 인덕티브 극한으로 Quot 함수를 표현.
• 인도-프로 원리(ind-pro principle)를 적용하여 유한차원 Quot 스킴들의 극한으로 무한차원 Quot 스킴을 구축.
• 모든 코herent 근사가 캐스텔누오보-무디 코herent 정규성의 상한이 m 이하가 되는 조건을 만족하는 '균일하게 m-정규' 준가환층의 개념을 도입.
• 필터링 구조와의 호환성을 이용하여, 국소 자유 몫층의 그라스만리안으로의 직접 극한의 전역 단면들의 그라스만리안에 대한 준폐쇄 임베딩을 구축.

실험 결과

연구 질문

• RQ1 프로젝티브 스킴 위의 준가환층에 대한 Quot 함수가 스킴으로서 표현될 수 있는가? (특히 코herent가 아닐 경우에도).
• RQ2 무한차원 설정에서 고전적 그라스만리안 임베딩이 Quot 스킴에 대해 일반화될 수 있는가?
• RQ3 준가환층이 어떤 조건을 만족할 경우 Quot 스킴이 체계적 그라스만리안에 대해 폐쇄 임베딩을 갖는가?
• RQ4 준가환층의 인도-오브젝트 구조를 어떻게 활용하여 Quot 스킴을 필터링 인덕티브 극한으로 구성할 수 있는가?
• RQ5 캐스텔누오보-무디 코herent 정규성은 준가환층의 Quot 스킴 기하학을 어떻게 제어하는가?

주요 결과

• 체수 위의 프로젝티브 스킴 위의 준가환층에 대한 Quot 함수는 스킴으로서 표현 가능하며, 이는 그로텐디크의 코herent 경우에 대한 결과를 일반화한다.
• Quot 스킴은 고전적 Quot 스킴의 열린 부분스킴들과 애매한 사상의 프로젝티브 극한으로 얻어진 스킴들의 필터링 인덕티브 극한으로 구성된다.
• 준가환층의 국소 자유 몰입의 체계적 그라스만리안은 유한형 열린 부분스킴들의 필터링 인덕티브 극한으로 나타난다.
• 균일하게 m-정규인 준가환층의 경우, 그라스만리안으로의 준폐쇄 임베딩이 존재하며, 이는 준가환층의 티프트 전역 단면들의 직접 극한의 그라스만리안에 대한 것이다.
• 임베딩은 필터링 시스템의 구성 요소들 사이의 폐쇄 임베딩들의 극한으로 실현되며, 인도-프로 구조를 유지한다.
• Hilbert 다항식이 상수 1인 특수한 경우, 이 구성은 고전적 프로젝티브 번들의 경우로 복원되며, Quot 스킴은 준가환층의 프로젝티비제이션과 일치한다.