[논문 리뷰] Log differentiable spaces and manifolds with corners

W. D. Gillam, Samouil Molcho|arXiv (Cornell University)|2015. 07. 24.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 11

한 줄 요약

이 논문은 대수기하에서 미분기하로의 로그 기하학을 일반화하는 이론을 개발하며, 모서리가 있는 다양체와 로그 스무스 공간에서의 특이점 해결을 위한 조합론적 및 기하학적 기법을 제공하는 프레임워크를 수립한다. 주요 기여는 fs 로그 미분 가능 공간에 대한 해소 정리로, 자유 영역에서의 동형사상인 국소적으로 프로젝티브이고 전사적이며 로그 스무스인 사상이 자유 로그 공간으로부터 존재함을 보여준다.

ABSTRACT

We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log spaces are new, even in the algebraic setting. In the differentiable setting, our theory yields a framework for treating manifolds with corners generalizing recent work of Kottke-Melrose. We give a treatment of the theory of fans, which are to monoids as schemes are to rings. By adapting similar results from logarithmic algebraic geometry, we prove a general result on resolution of toric singularities which can be used to resolve singularities of a wide class of "log smooth" spaces.

연구 동기 및 목표

• 모서리가 있는 다양체에 대해 대수기하에서의 로그 기하학을 미분기하 설정으로 확장한다.
• 함수적 구성(예: 섞임곱과 기저 변경)을 지원하는 로그 미분 가능 공간의 범주를 체계화한다.
• 미분 설정에서 로그 기하학의 조합론적 모델로 팬과 모노이드 공간 이론을 개발한다.
• 로그 스무스 및 fs 로그 미분 가능 공간에 대한 특이점 해소 정리 수립.
• Kottke-Melrose와 Joyce의 프레임워크를 더 넓은 로그 기하학적 맥락에 통합함으로써 일반화한다.

제안 방법

• 곱셈에 대한 모노이드 개체 R+를 사용하여 로그 미분 가능 공간을 정의함으로써, 모서리가 있는 다양체의 개념을 일반화한다.
• 로그 공간의 '경계' 개념을 도입하여, Joyce의 모서리가 있는 다양체의 경계와 토릭 분할을 모두 일반화한다.
• 포화 함수자 X ↦ X^sat를 정의하여, 포화된 로그 공간으로부터의 사상들 중 종단적인 포화된 로그 공간을 생성한다.
• Kato의 정렬 카테고리(Refinement category)를 사용하여 종단적 대상을 구성함으로써 해소 사상을 도출한다.
• fs 날카로운 모노이드 공간의 '표준 해소'(canonical resolution)를 이상물의 블로우업을 통해 적용하고, 이를 PLDS(조각적 선형 미분 가능 공간) 카테고리에 실현한다.
• 기저 변경과 실현 정리에 의해 해소 사상의 로그 스무스성과 위상동형성 특성을 증명한다.

실험 결과

연구 질문

• RQ1 로그 기하학은 어떻게 체계적으로 대수기하에서의 설정에서 미분기하 설정으로 확장될 수 있는가?
• RQ2 로그 기하학적 구조(예: 로그 접선(bundle) 등)를 유지하는 모서리가 있는 다양체 간의 사상의 적절한 개념은 무엇인가?
• RQ3 형식적 스무스성에 의존하지 않고도, 로그 스무스 공간의 특이점 해소가 미분 범주에서 달성될 수 있는가?
• RQ4 팬과 모노이드 공간은 로그 미분 가능 공간의 조합론적 모델로 어떻게 기능하는가?
• RQ5 경계 구성은 미분기하학과 대수기하학에서의 다양한 경계 개념을 통합하는 데 어떤 역할을 하는가?

주요 결과

• 모든 fs 로그 미분 가능 공간 X에 대해 종단적 해소 사상 r: X′ → X를 구성하였으며, 이 사상은 국소적으로 프로젝티브이고 전사적이며 로그 스무스하며, X의 자유 영역에서의 동형사상이다.
• 미세한 양의 로그 미분 가능 공간 X에 대해, 해소된 공간 X′는 모서리가 있는 다양체이며, 해소 사상 r: X′ → X는 국소적으로 프로젝티브이고 전사적이며 로그 스무스인 PLDS 사상이다.
• 해소 사상은 fs 날카로운 모노이드 공간의 표준 해소를 통해 구성되며, 이상물의 블로우업을 사용하여 PLDS 카테고리에 실현된다.
• 포화 과정 X ↦ X^sat는 포화된 로그 공간으로부터의 사상들 중 종단적인 포화된 로그 공간을 제공하며, 이 사상은 로그 스무스이면서 위상동형이다.
• 팬에서 PLDS로의 실현 함수자는 핵심 성질을 유지한다: 로그 스무스성, 전사성, 기저 변경과의 호환성.
• 이 이론은 이전의 프레임워크들을 통합하고 일반화한다: Kottke-Melrose의 b-사상은 내부 b-사상으로 복원되며, Joyce의 모서리가 있는 다양체는 더 넓은 로그 기하학적 범주에 통합된다.