[논문 리뷰] Bivariant Chern classes and Grothendieck transformations

Jean‐Paul Brasselet, Joerg Schuermann외 1명|ArXiv.org|2004. 04. 06.

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

한 줄 요약

이 논문은 궁극적으로 목표가 유리 동형 수학적 다중체(예: 오르비폴드 포함)인 사상에 대해 이변량 카라틴 클래스의 유일성을 확립한다. 이를 위해 구성 가능 함수의 정밀한 이변량 이론에서 이에 대응하는 이변량 homology 이론으로의 캐논리컬 그로텐디크 변환을 구축한다. 핵심 기여는 쌍변량 이론에서 오랜 동안 미해결이었던 터널과 맥퍼슨의 질문을 해결하는 유일하고 정규화된 변환 $\omega: \widetilde{\mathbb{F}} \to \widetilde{\mathbb{H}}$를 제공하는 것이다. 이 변환은 공변 카라틴-슐라츠-맥퍼슨 클래스를 확장하며, 이는 이론의 핵심 기여이다.

ABSTRACT

The existence of bivariant Chern classes was conjectured by W.Fulton and R.MacPherson and proved by J.P.Brasselet for cellular morphisms of analytic varieties. In this paper we show that restricted to morphisms whose target varieties are possible singular but (rational) homology manifolds, the bivariant Chern classes (with rational coefficients) are uniquely determined. In the final sections we construct a unique bivariant Chern class satisfying a suitable normalization condition. In fact, it will be a special case of a general construction of unique Grothendieck transformations, which in a sense gives a positive answer to a corresponding question posed by Fulton and MacPherson. This construction generalizes and unifies previous attemps, in particular the main result of the paper math.AG/0209299.

연구 동기 및 목표

• 특이적이지만 유리 동형 수학적 다중체인 목표를 가진 사상에 대해 이변량 카라틴 클래스의 미해결된 유일성 문제를 해결하는 것.
• 외적 곱과 가환하는 공변 변환으로부터 유일하게 확장되는, 이변량 이론의 구성 가능 함수에서 이에 대응하는 이변량 호몰로지 이론으로의 그로텐디크 변환 $\widetilde{\gamma}: \widetilde{\mathbb{F}} \to \widetilde{\mathbb{H}}$를 구축하는 것.
• 이변량 이론에서 그로텐디크 변환에 대한 터널과 맥퍼슨의 유일성 질문에 대해 긍정적인 답변을 제공하는 것.
• 해당 변환 $\widetilde{\gamma}$ 가 외적 곱과 가환하는 공변 이론으로부터 유일하게 확장된다는 것을 보여주는 것.

제안 방법

• 구성 가능 함수의 이변량 이론 $\widetilde{\mathbb{F}}$ 와 그에 대응하는 이변량 호몰로지 이론 $\widetilde{\mathbb{H}}$ 를 구축하는 것.
• 카라틴-슐라츠-맥퍼슨 클래스와 호환되는 정규화 조건을 통해 그로텐디크 변환 $\widetilde{\gamma}: \widetilde{\mathbb{F}} \to \widetilde{\mathbb{H}}$ 를 정의하는 것.
• 주어진 공변 변환 $c_*$ 가 외적 곱과 가환하므로, 이를 이변량 그로텐디크 변환으로 유일하게 확장하는 것.
• 다중성 작용 $\operatorname{op}_{\mathbb{PH}}$ 를 적용하여 변환과 $c_*$ 의 이미지 사이의 관계를 설정하고, 단사성과 유일성을 보장하는 것.
• 차우 봉투와 당김 단사성 조건을 활용하여, 이변량 클래스에 대한 동치 관계가 자명함을 확인함으로써 변환이 잘 정의되어 있음을 검증하는 것.
• 당김과 밀림 사상이 포함된 교환 다이어그램을 수립하여, 변환 $\widetilde{\gamma}^\text{op}$ 의 유일성을 증명함으로써 $\widetilde{\gamma}$ 의 유일성도 동시에 증명하는 것.

실험 결과

연구 질문

• RQ1 목표 다양체가 특이적일지라도 유리 동형 수학적 다중체인 경우, 이변량 카라틴 클래스는 고유하게 결정되는가?
• RQ2 외적 곱과 가환하는 공변 변환으로부터 유일하게 확장되는, 구성 가능 함수의 이변량 이론에서 이에 대응하는 이변량 호몰로지 이론으로의 그로텐디크 변환은 존재하는가?
• RQ3 유리 동형 수학적 다중체 목표를 가진 이변량 이론의 맥락에서, 정규화 조건이 이변량 카라틴 클래스를 고유하게 고정시키는가?
• RQ4 구축된 변환 $\widetilde{\gamma}$ 는 [Y2]의 $\gamma^\vee$ 와 [EY2]의 $\widehat{\gamma}$ 와 같은 이전의 구성과 어떻게 관련이 있는가?
• RQ5 다중성 작용 $\operatorname{op}_{\mathbb{PH}}$ 는 그로텐디크 변환의 유일성을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 목표가 특이적일지라도 유리 동형 수학적 다중체인 사상 $f: X \to Y$ 에 대해 이변량 카라틴 클래스는 고유하게 결정된다.
• 정규화 조건을 만족하는 고유한 그로텐디크 변환 $\widetilde{\gamma}: \widetilde{\mathbb{F}} \to \widetilde{\mathbb{H}}$ 가 존재하며, 이는 $Y$ 가 한 점일 경우 카라틴-슐라츠-맥퍼슨 클래스를 복원한다.
• 변환 $\widetilde{\gamma}^\text{op} = \widetilde{\operatorname{op}}_{\mathbb{PH}} \circ \widetilde{\gamma}$ 는 관련 교환 다이어그램의 수직 사상들이 전사적이며, 작용 $\widetilde{\operatorname{op}}_{\mathbb{PH}}$ 가 단사적이므로 고유하게 결정된다.
• 이러한 구성은 [FM, §10.9]의 유일성 질문에 대해 긍정적인 답변을 제공하며, 외적 곱과의 호환성 조건 하에서 이러한 변환이 고유하게 확장됨을 보여준다.
• 이론 $\widetilde{\mathbb{F}}$ 는 [Y2]의 $\mathbb{F}^\vee$ 의 부분이론으로서 증명되며, 변환 $\widetilde{\gamma}$ 는 최대 작동 변환 $\gamma^\vee$ 와 잠재적인 진정된 그로텐디크 변환 $\gamma$ 사이를 보간한다.
• 결과적으로 이는 [EY2]에서의 $\widehat{\gamma}$ 의 구성이 특수한 경우로 복원되며, $\iota_{\mathbb{A}}: \widetilde{\mathbb{A}} \to \mathbb{A}$ 가 이변량 당김의 단사성으로 인해 단사적임을 보여준다.