[논문 리뷰] The module $D f^s$ for locally quasi-homogeneous free divisors

Francisco Calderón-Moreno, Luis Narváez Macarro|ArXiv.org|2002. 06. 25.

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

한 줄 요약

이 논문은 국소적으로 준동차 자유 초면수 $f$에 대해 $\mathcal{D}f^s$ 및 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ $\mathcal{D}$-모듈에 대한 명시적 자유 해상표를 제공한다. 이러한 초면수가 코즐루스 자유임을 증명함으로써, 로그 벡터장들을 이용한 코즐루-스펜서 형식의 해상표를 구성할 수 있게 되며, 이는 이러한 모듈의 완전한 대수적 기술을 가능하게 한다.

ABSTRACT

We find explicit free resolutions for the $\scr D$-modules ${\scr D} f^s$ and ${\scr D}[s] f^s/{\scr D}[s] f^{s+1}$, where $f$ is a reduced equation of a locally quasi-homogeneous free divisor. These results are based on the fact that every locally quasi-homogeneous free divisor is Koszul free, which is also proved in this paper

연구 동기 및 목표

• 국소적으로 준동차 자유 초면수와 관련된 $\mathcal{D}$-모듈 $\mathcal{D}f^s$ 및 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$에 대한 명시적 자유 해상표를 제공하는 것.
• 모든 국소적으로 준동차 자유 초면수가 코즐루스 자유임을 입증함으로써, 코즐루 복합체에 기반한 해상표 기법을 가능하게 하는 것.
• 로그 벡터장들을 통한 $\operatorname{Ann}_{\mathcal{D}}f^s$의 안정자 이상의 대수적 구조를 명확히 하는 것.
• 코어널 이sov의스터의 기술을 통해 로그 딜람 복합체 $\Omega_X^\bullet(\log D)$와 $\mathcal{D}$-모듈의 유도 범주 사이의 자연 동형사상을 연결하는 것.

제안 방법

• 로그 벡터장 $\delta_1, \dots, \delta_{n-1}$의 기저를 이용한 코즐루 복합체를 통해 자유 해상표를 구성하는 것. 이 벡터장들은 $f=0$ 에서 영이 되는 것으로 가정한다.
• 확장된 집합 $f, \delta_1, \dots, \delta_{n-1}$ 을 이용하여 스펜서 복합체의 구조를 활용해 $\mathcal{D}f^s$ 및 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 에 대한 해상표를 구축하는 것.
• 해당 $\mathcal{D}$-모듈의 기저환과 안정자 이상의 기호를 분석함으로써 국소적으로 준동차 자유 초면수가 코즐루스 자유임을 증명하는 것.
• 선형 유형 이상의 이론과 리스 대수 이론을 적용하여 로그 도약 모듈의 코즐루 성질을 검증하는 것.
• 홀로노믹 $\mathcal{D}$-모듈과 편향 층 이론의 알려진 결과를 활용하여, 이러한 초면수에 대해 $\Omega_X^\bullet(\log D)$ 가 편향임을 유도하는 것.
• 충실한 평탄성과 차수환 기법을 활용하여 일부 미분 연산자가 로그 벡터장들에 의해 생성된 왼쪽 이상에 속하지 않음을 검증하는 것.

실험 결과

연구 질문

• RQ1 국소적으로 준동차 자유 초면수에 대해 $\mathcal{D}$-모듈 $\mathcal{D}f^s$ 및 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 는 자유 해상표를 갖는가?
• RQ2 모든 국소적으로 준동차 자유 초면수는 코즐루스 자유인가? 그리고 이러한 성질이 명시적 해상표 구성에 기여하는가?
• RQ3 이러한 초면수에 대해 안정자 이상 $\operatorname{Ann}_{\mathcal{D}}f^s$ 는 로그 벡터장들에 의해 생성되는가?
• RQ4 국소적으로 준동차 자유 초면수이면 로그 딜람 복합체 $\Omega_X^\bullet(\log D)$ 는 여전히 편향인가?
• RQ5 $[LCT] \Rightarrow [KF]$ 또는 $[LQH] \Rightarrow [KF]$ 의 함의관계에 대해 반례가 존재하는가?

주요 결과

• 안정자 이상 $\operatorname{Ann}_{\mathcal{D}}f^s$ 는 $f=0$ 에서 영이 되는 로그 벡터장들 $\delta_1, \dots, \delta_{n-1}$ 에 의해 생성된다.
• 코즐루-스펜서 복합체를 이용하여 $\delta_1, \dots, \delta_{n-1}$ 과 $f, \delta_1, \dots, \delta_{n-1}$ 에 대해 각각 $\mathcal{D}f^s$ 및 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 에 대한 명시적 자유 해상표가 구성된다.
• 모든 국소적으로 준동차 자유 초면수가 코즐루스 자유임이 증명되었으며, 이는 로그 도약 모듈의 강력한 대수적 성질을 보여준다.
• 모든 국소적으로 준동차 자유 초면수에 대해 로그 딜람 복합체 $\Omega_X^\bullet(\log D)$ 는 편향임이 증명되었으며, 이는 $\mathbf{R} \operatorname{Hom}_{\mathcal{D}}(\mathcal{D}/\mathcal{I}, \mathcal{O}_X)$ 와 유도 범주에서 자연동형임을 의미한다.
• 로그 비교 정리(LCT)를 만족하는 자유 초면수의 예가 존재하지만 코즐루스 자유가 아닌 경우가 있으며, 이는 $[LCT] \not\Rightarrow [KF]$ 를 보여주고, 마찬가지로 $[LQH] \not\Rightarrow [KF]$ 이다.
• 로그 벡터장들에 의해 생성된 이상이 선형 유형이 아니라는 것을 보여주기 위해, $\operatorname{Ann}_{\mathcal{D}}f^s$ 에 속하지만 로그 벡터장들에 의해 생성된 왼쪽 이상에 속하지 않는 미분 연산자 $P$ 가 존재한다.