[논문 리뷰] $L^\infty$ cohomology is intersection cohomology

Guillaume Valette|arXiv (Cornell University)|2009. 12. 03.

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

한 줄 요약

이 논문은 컴팩트한 부분해석적 편형 만유체의 비특이 부분의 $L^∞$ 코homology와 그 최대 편위성에서의 교차 코hom로의 de Rham 유형의 동형사상 수립한다. 부분해석적 특이 체인을 통한 적분과 부분해석적 집합의 유클리드 구조를 이용하여, 저자들은 $L^∞$ 코homology가 특이점에 대한 유클리드 조건 없이도 특이 공간의 위상적 불변량을 포착함을 증명하며, 이는 이전의 $L^2$ 결과를 $L^∞$ 설정으로 확장한다.

ABSTRACT

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

연구 동기 및 목표

• 컴팩트한 부분해석적 편형 만유체의 비특이 위치에서의 $L^\infty$ 미분형식에 대한 de Rham 정리를 수립하기.
• 최대 편위성에서 $L^\infty$ 코homology가 교차 호모로지와 동형임을 보이며, 이는 이전의 $L^2$ 결과를 일반화하기.
• 부분해석적 특이 체인을 통한 $L^\infty$ 형식의 적분을 통해 $L^\infty$ 코homology 클래스의 기하적 실현을 제공하기.
• 부분해석적 집합의 날카운 유클리드 구조를 활용하여 특이점에 대한 유클리드 조건을 제거함으로써 일반적인 컴팩트한 부분해석적 편형 만유체에 대해 결과를 도출하기.
• 특이 부분해석적 다양체 위에서 허드지 이론의 기초를 마련하기 위해 자연스러운 형식의 집합—$L^\infty$ 형식—을 식별함으로써 유한차원이고 위상적으로 의미 있는 코homology를 제공하기.

제안 방법

• 형식과 외부 도함수의 노름이 모두 유계인 $C^\infty$ 미분형식의 복합체의 코homology로 $L^\infty$ 코homology를 정의하기.
• 부분해석적 집합 이론과 실해석적 푸아수 급수의 체인인 $k(0_+)$로의 확장을 사용하여 특이점 근처의 유클리드 구조 분석하기.
• 전이 원리(Łoś의 정리)를 적용하여 $k(0_+)$의 일반 섬유에서의 기하적 성질을 작은 양의 실수 매개변수로 옮기며 특이점 근처에서의 균일한 행동 보장하기.
• 일반 섬유에서 국소적으로 부분해석적 미분형식이 일관되게 유계이도록 보장하기 위해, 전역적으로 부분해석적 미분형식이 리프시츠 연속인 전단사 사상 구축하기.
• 부분해석적 특이 체인을 통한 $L^\infty$ 형식의 적분을 통해 $L^\infty$ 코hom로와 교차 호모로지 사이의 동형사상 실현하기.
• 전역적으로 부분해석적 집합이 $k(0_+)^n$으로 확장될 때 그 집합이 해당 집합 위에 있는 푸아수 호의의 점들의 꼬임들에 대응함을 이용하여 특이 행동의 모델 이론적 분석 가능하게 하기.

실험 결과

연구 질문

• RQ1 특이점에 대한 유클리드 원뿔 조건을 가정하지 않고도 $L^\infty$ 코homology를 사용하여 교차 호모로지를 계산할 수 있는가?
• RQ2 부분해석적 체인을 통한 적분을 통해 $L^\infty$ 코hom로지 클래스의 기하적 실현이 가능한가?
• RQ3 모든 컴팩트한 부분해석적 편형 만유체에 대해 최대 편위성에서 $L^\infty$ 코hom로지와 교차 호모로지 사이의 동형사상이 균일하게 수립되는가?
• RQ4 푸아수 급수와 일반 섬유의 사용이 추가적인 유클리드 조건 없이도 특이점을 균일하게 다룰 수 있게 하는가?
• RQ5 $L^\infty$ 코hom로지가 특이 부분해석적 다양체 위에서 허드지 이론의 기초로 기능할 수 있는가?

주요 결과

• 컴팩트한 부분해석적 편형 만유체의 비특이 부분의 $L^\infty$ 코hom로지는 최대 편위성에서의 교차 코hom로지와 동형이다.
• 동형사상은 부분해석적 특이 체인을 통한 $L^\infty$ 형식의 적분을 통해 명시적으로 실현된다.
• 증명은 부분해석적 특이점의 날카운 유클리드 기술에 의존하며, 이는 이전의 특이점에 대한 유클리드 조건을 제거할 수 있게 한다.
• $L^\infty$ 코호몰로지 군은 균일한 유계성과 부분해석적 구조의 결과로 유한 생성된다.
• $k(0_+)$에서 실수 매개변수로의 전이 원리는 일반 섬유의 기하적 성질이 작은 양의 실수 매개변수에 대해 균일한 행동을 유도함을 보장한다.
• 이 결과는 체거의 $L^2$ de Rham 정리를 $L^∞$ 설정으로 일반화하며, 더 넓은 범위의 특이 공간에 대해 미분기하학적 도구의 적용 범위를 확장한다.