[논문 리뷰] Witt groups of sheaves on topological spaces

Jonathan Woolf|ArXiv.org|2005. 10. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 다면체 위의 코homologically constructible sheaf의 위트 군이 일반화된 호모로지 이론을 이룬다는 것을 증명하며, 계수 환이 2가 가역인 정규 Noetherian 환일 경우 라니cki의 자유 대칭 L-군들과 일치함을 규명한다. 유리수 계수의 경우 이러한 군들이 PL 위트 공간의 밴드르봄 군의 4주기적 합성군과 동형임을 보이며, 이는 특이 공간의 L-류를 유리 호모로지로 향하는 안정적 호모로지 작용으로 해석할 수 있게 한다.

ABSTRACT

This paper investigates the Witt groups of triangulated categories of sheaves (of modules over a ring R in which 2 is invertible) equipped with Poincare-Verdier duality. We consider two main cases, that of perfect complexes of sheaves on locally compact Hausdorff spaces and that of cohomologically constructible complexes of sheaves on polyhedra. We show that the Witt groups of the latter form a generalised homology theory for polyhedra and continuous maps. Under certain restrictions on the ring R, we identify the constructible Witt groups of a finite simplicial complex with Ranicki's free symmetric L-groups. Witt spaces are the natural class of spaces for which the rational intersection homology groups have Poincare duality. When the ring R is the rationals we show that every Witt space has a natural L-theory, or Witt, orientation and we identify the constructible Witt groups with the 4-periodic colimit of the bordism groups of Witt spaces. This allows us to interpret Goresky and Macpherson's L-classes of singular spaces as stable homology operations from the constructible Witt groups to rational homology.

연구 동기 및 목표

• 다면체에 대해 구조적 복합체의 위트 군을 이용한 일반화된 호모로지 이론을 개발한다.
• 적절한 환 조건 하에서 유한 단순 복체의 구조적 위트 군을 라니cki의 자유 대칭 L-군들과 일치시킨다.
• 유리수 계수의 경우, 구조적 위트 군이 PL 위트 공간의 밴드르봄 군의 4주기적 합성군과 일치함을 보인다.
• 특이 공간의 L-류를 구조적 위트 호모로지에서 유리 호모로지로 향하는 안정적 호모로지 작용으로 해석한다.
• 기하학적 및 대수적 위상수학 기법을 사용하여 사상, 곱, 그리고 스펙트럼에 대한 L-류의 자연성과 안정성을 확립한다.

제안 방법

• 위상공간 위의 복합체 카테고리에서 Poincaré–Verdier 대칭을 갖춘 위트 군을 정의한다.
• 국소적으로 컴act Hausdorff 공간 위의 완전 복합체와 다면체 위의 코homologically constructible 복합체에 집중한다.
• 2가 계수 환에서 가역이어야 하는 Balmer의 삼각 범주에서의 위트 군 프레임워크를 사용한다.
• 구조적 위트 군이 Eilenberg–Steenrod 공리계를 만족함을 증명하여 일반화된 호모로지 이론임을 보인다.
• Ranicki의 대칭 L-이론과 대수적 밴드르봄을 적용하여, 유한 단순 복체 $ K $ 에 대해 구조적 위트 군이 $ H_*(K; bL^ullet(R)) $ 와 일치함을 규명한다.
• L-이론의 4주기성과 $ bCbP^2 $ 의 서명을 이용해 $ bCbP^2 $ 와의 곱에 대한 L-류의 안정성을 보이며, 위트 호모로지의 합성군 위에서 총 L-류의 정의를 가능하게 한다.

실험 결과

연구 질문

• RQ1 다면체 위의 구조적 복소체의 위트 군이 일반화된 호모로지 이론을 이룬다는 것을 증명할 수 있는가?
• RQ2 유한 단순 복체의 구조적 위트 군이 라니cki의 자유 대칭 L-군들과 어떻게 관련되어 있는가?
• RQ3 유리수 계수의 구조적 위트 군과 PL 위트 공간의 밴드르봄 군 간의 관계는 무엇인가?
• RQ4 특이 공간의 L-류를 구조적 위트 호모로지에서 유리 호모로지로 향하는 안정적 호모로지 작용으로 어떻게 해석할 수 있는가?
• RQ5 이 맥락에서 사상, 곱, 스펙트럼에 대한 총 L-류의 자연성과 안정성은 무엇인가?

주요 결과

• 유한 단순 복체 $ K $ 의 구조적 위트 군은 모든 유한 생성 $ R $-모듈러가 유한 자유 분해를 갖는 조건 하에서 라니cki의 자유 대칭 L-군 $ H_*(K; bL^ullet(R)) $ 와 동형이다.
• 계수 환 $ R = bQ $ 인 경우, 구조적 위트 군은 PL 위트 공간의 밴드르봄 군의 4주기적 합성군과 동형이다.
• 총 L-류 $ igoplus_i L_i: Omega^{ extrm{Witt}}_*(X,A) o H_*(X,A;bQ) $ 는 사상, 경계 사상, 곱에 대해 모두 가환하는 자연 변환이다.
• L-류는 $ bCbP^2 $ 와의 곱에 대해 안정적이며, $ L_0(bCbP^2) = 1 $ 이므로 위트 호모로지의 합성군 위에서 총 L-류를 정의할 수 있다.
• 구조적 위트 군의 토판 요소들은 유리 호모로지가 토판 자유이므로 L-류 아래에서 0으로 간다.
• 특이 공간의 L-류는 구조적 위트 호모로지에서 유리 호모로지로 향하는 안정적 호모로지 작용으로 실현되며, 이는 L-이론 불변량의 위상수학적 해석을 제공한다.