[논문 리뷰] Motivic Milnor fiber of cyclic L-infinity algebras

Yunfeng Jiang|arXiv (Cornell University)|2009. 09. 15.

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

한 줄 요약

이 논문은 순환 $L_\infty$-대수의 모듈리 공간 위의 Behrend 함수와 모티빅 밀놀러 섬유 사이의 직접적 연결을 확립하며, 점에서 Behrend 함수의 값이 분석적 밀놀러 섬유의 오일러 특성과 같음을 증명한다. 모티빅 적분과 특이점의 해소를 통해 Behrend 함수가 모듈리 공간의 형식적 이웃에만 의존한다는 것을 보이며, 도널드슨-타운젠드 유형의 dg 리 대수의 경우, 점을 중심으로 한 도널드슨-타운젠드 불변량이 모티빅 밀놀러 섬유의 오일러 특성과 일치함을 규명한다.

ABSTRACT

We define motivic Milnor fiber of cyclic $L_\infty$-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space determined by $L$ is equal to the Euler characteristic of the analytic Milnor fiber. Thus we prove that Behrend function depends only on the formal neighborhood of the moduli space.

연구 동기 및 목표

• 3차원 순환 $L_\infty$-대수를 위한 모티빅 밀놀러 섬유를 모티빅 적분을 사용하여 정의하기.
• 모듈리 공간 위의 Behrend 함수와 오일러 특성을 통한 분석적 밀놀러 섬유 사이의 관계를 규명하기.
• Behrend 함수가 모듈리 공간의 형식적 이웃에만 의존함을 증명하기.
• 도널드슨-타운젠드 유형의 경우, 점을 중심으로 한 도널드슨-타운젠드 불변량이 모티빅 밀놀러 섬유의 오일러 특성과 같음을 보여주기.

제안 방법

• 형식적 포텐셜 $f$의 임계점 집합의 특이점 해소를 통해, $\mathbb{C}$ 위의 다양체의 등변 그로텐디크 군에서 모티빅 밀놀러 섬유 $MF_0(L)$를 정의한다.
• 데네프-로제르 모티빅 적분 기법을 사용하여, 그로텐디크 군 내의 원소로 모티빅 밀놀러 섬유를 구성한다.
• 비아르키메데스 체 $K = \mathbb{C}((t))$ 위에서 베르키비치 에테일 코homology를 사용하여 분석적 밀놀러 섬유 $\mathfrak{F}_x$를 정의한다.
• 니카이스와 세바그의 결과를 바탕으로 $\chi_{\text{top}}(MF_0(L)) = \chi_{\text{et}}(\mathfrak{F}_0)$ 를 확립한다.
• Behrend의 구조적 함수와 라그랑주 사이클 간의 관계를 적용하여 $\nu_X$ 를 모티빅 밀놀러 섬유로 표현한다.
• 공식 $\nu_X(0) = (-1)^m(1 - \chi_{\text{et}}(\mathfrak{F}_0))$ 를 사용하여 Behrend 함수를 분석적 밀놀러 섬유와 연결한다.

실험 결과

연구 질문

• RQ1 유한차원 호모로지(1차 및 2차)를 가진 순환 $L_\infty$-대수에 대해 모티빅 밀놀러 섬유는 어떻게 정의될 수 있는가?
• RQ2 모듈리 공간 위의 Behrend 함수와 모티빅 또는 분석적 밀놀러 섬유 사이의 정확한 관계는 무엇인가?
• RQ3 Behrend 함수는 모듈리 공간의 형식적 이웃에만 의존하는가, 아니면 고차원 데이터에 의존하는가?
• RQ4 dg 리 대수의 맥락에서, 점을 중심으로 한 도널드슨-타운젠드 불변량은 모티빅 밀놀러 섬유로부터 복원될 수 있는가?
• RQ5 원점에서 Behrend 함수의 값은 분석적 밀놀러 섬유의 오일러 특성으로 어떻게 표현될 수 있는가?

주요 결과

• 원점에서 Behrend 함수의 값 $\nu_X(0)$ 는 $(-1)^m(1 - \chi_{\text{et}}(\mathfrak{F}_0))$ 와 같으며, 여기서 $\mathfrak{F}_0$ 는 0 위에서의 분석적 밀놀러 섬유이다.
• Behrend 함수는 그 값이 분석적 밀놀러 섬유에 의해 결정되며, 이는 형식적 불변량이므로 모듈리 공간의 형식적 이웃에만 의존한다.
• 모티빅 밀놀러 섬유 $MF_0(L)$ 는 $\mathbb{C}$ 위의 다양체의 등변 그로텐디크 군에 속하는 원소이며, $f$ 의 임계점 집합의 특이점 해소를 통해 구성된다.
• 도널드슨-타운젠드 유형의 dg 리 대수의 경우, 점을 중심으로 한 도널드슨-타운젠드 불변량은 모티빅 밀놀러 섬유의 오일러 특성과 같다.
• 모티빅 밀놀러 섬유의 위상적 오일러 특성과 분석적 밀놀러 섬유의 에테일 오일러 특성 간의 일치: $\chi_{\text{top}}(MF_0(L)) = \chi_{\text{et}}(\mathfrak{F}_0)$.
• 함수 $f$ 가 정칙 함수일 경우, 공식 $\nu_X(0) = (-1)^m(1 - \chi_{\text{top}}(F_0))$ 가 성립하며, 여기서 $F_0$ 는 고전적 밀놀러 섬유이다.