[논문 리뷰] A Semiregularity Map for Modules and Applications to Deformations

Ragnar-Olaf Buchweitz, Hubert Flenner|ArXiv.org|1999. 12. 31.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 13

한 줄 요약

이 논문은 복소 공간 위의 완전 복합체에 대해 코탄제이언트 복합체의 거듭제곱, 아티야 클래스, 그리고 추적 사상들을 사용하여 일반적인 반정규성 사상의 체계를 구축한다. 이는 일루시에의 코이히르 캐릭터를 해석적 설정으로 확장한 것으로, 블로흐의 반정규성 사상과 무한소 아벨-야코비 사상의 통합적 프레임워크를 제공하며, 모듈러의 변형 이론 및 Hilbert 스킴과 변동형 호지 추측에 응용된다.

ABSTRACT

This paper contains the details and complete proofs of our earlier announcement in math.AG/9907004 . We construct a general semiregularity map for algebraic cycles as asked for by S. Bloch in 1972. The existence of such a semiregularity map has well known consequences for the structure of the Hilbert scheme and for the variational Hodge conjecture. Aside from generalizing and extending considerably previously known results in this direction, we give new applications to deformations of modules that encompass, for example, results of Artamkin and Mukai. The formation of the semiregularity map here involves powers of the cotangent complex, Atiyah classes, and trace maps, and is defined not only for subspaces of manifolds but for perfect complexes on arbitrary complex spaces. It generalizes in particular Illusie's treatment of the Chern character to the analytic context and specializes to Bloch's earlier description of the semiregularity map for locally complete intersections as well as to the infinitesimal Abel-Jacobi map for submanifolds.

연구 동기 및 목표

• 1972년 블로흐가 처음으로 추구한 바와 같이, 대수적 사이클에 대한 일반적인 반정규성 사상을 구성하는 것.
• 유도 대수기하학 도구를 사용하여 일루시에의 코이히르 캐릭터 이론을 해석적 맥락으로 확장하는 것.
• 지역적으로 완전 교차의 경우 블로흐의 반정규성 사상과 무한소 아벨-야코비 사상 등을 포함한 기존 결과들을 통합하고 일반화하는 것.
• 이 사상을 모듈러의 변형 이론에 적용하여 아르타민킨과 무카이의 결과를 포함·확장하는 것.
• Hilbert 스킴의 구조와 변동형 호드 추측에 대한 새로운 통찰을 제공하는 것.

제안 방법

• 유도적 맥락에서 반정규성 사상을 정의하기 위해 코탄제이언트 복합체의 거듭제곱을 사용한다.
• 복소 공간 위의 완전 복합체와 관련된 아티야 클래스를 핵심 요소로 활용한다.
• 코homological 불변량과 사이클 클래스를 연결하기 위해 추적 사상들을 통합한다.
• 특정 부분다양체나 지역적으로 완전 교차가 아닌, 완전 복합체에 대해서도 적용 가능하도록 한다.
• 이 사상이 블로흐의 반정규성 사상과 무한소 아벨-야코비 사상의 일반화임을 확립한다.
• 유도 범주와 해석기하학의 프레임워크를 사용하여, 대수다양체를 초월한 광범위한 적용 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 임의의 완전 복합체에 대해 복소 공간 위에서 일반적인 반정규성 사상을 구성할 수 있는가?
• RQ2 반정규성 사상은 무한소 아벨-야코비 사상과 블로흐의 원래 구성과 어떻게 관련이 있는가?
• RQ3 이 사상이 모듈러의 변형 이론에 미치는 영향은 무엇인가?
• RQ4 이러한 구성은 일루시에의 코이히르 캐릭터를 해석적 범주로 어떻게 확장하는가?
• RQ5 이 사상은 Hilbert 스킴과 변동형 호드 추측을 이해하는 데 어떻게 기여하는가?

주요 결과

• 반정규성 사상은 부분다양체나 지역적으로 완전 교차가 아닌, 복소 공간 위의 모든 완전 복합체에 대해 정의된다.
• 이 사상은 지역적으로 완전 교차에 대해 블로흐의 반정규성 사상을 일반화하며, 부분다양체에 대해서는 무한소 아벨-야코비 사상으로 특수화된다.
• 유도 함자와 추적 사상을 통해 일루시에의 코이히르 캐릭터가 해석적 맥락으로 확장된다.
• 이 사상은 모듈러의 변형 이론을 연구하는 데 새로운 도구를 제공하며, 아르타민킨과 무카이의 결과를 복구하고 확장한다.
• 이 사상의 존재는 Hilbert 스킴의 구조를 지지하며, 변동형 호드 추측에 대한 새로운 통찰을 제공한다.
• 이 프레임워크는 완전히 엄밀하며, 저자들이 이전에 math.AG/9907004에서 발표한 바를 바탕으로 완전한 증명을 포함하고 있다.