[논문 리뷰] Characteristic classes in the Chow ring

Dan Edidin, W. Graham|ArXiv.org|1994. 12. 10.

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

한 줄 요약

이 논문은 스킴 위의 주 G-bundle에 대한 대수적 특성류를 기술하며, 재수정된 ℚ로 곱한 후, 재수정된 군 G에 대한 이러한 특성류의 환은 최대 토러스의 코특성 띠의 대칭대수의 Weyl-불변 부분의 동형임을 보여준다. 핵심 결과는 모든 유리 특성류가 관련 벡터 번들의 체인 클래스로부터 유도된다는 것을 증명하며, 오랫동안 남아있던 위상수학적 특성류의 대수성 문제와 비위상적 대수적 특성류의 존재 문제를 해결한다.

ABSTRACT

We study the ring of characteristic classes with values in the Chow ring for principal $G$-bundles over schemes. If we consider bundles which are locally trivial in the Zariski topology, then we show, for $G$ reductive, that this ring is isomorphic to the Weyl group invariants in the algebra generated by characters of the maximal torus. For general principal bundles the same isomorphism holds after tensoring the coefficients with ${\Bbb Q}$. As a corollary, we show that any (non-torsion) topological characteristic class is algebraic when applied to Zariski locally trivial bundles over complex algebraic varieties.

연구 동기 및 목표

• 스킴 위의 주 G-_bundle에 대한 대수적 특성류의 환의 구조를 규명하는 것.
• 대수적 특성류 중 위상수학적 특성류로부터 유도되지 않는 것이 존재하는가를 밝히는 것.
• 특히 비특수 군에 대해 대수적 특성류와 위상수학적 특성류 사이의 관계를 명확히 하는 것.
• 특성류의 환과 최대 토러스의 코특성 띠 위의 Weyl-불변 대칭대수 사이의 정확한 동형을 설정하는 것.

제안 방법

• 에테일 국소적으로 평탄한 G-_bundle에 대한 환 𝒞(G)과 자리지 국소적으로 평탄한 번들의 환 𝒞Zar(G)를 정의한다.
• 최대 토러스 T의 특성에 관련된 선다발을 사용하여 S(𝕋̂) → A*(E/B)의 사상 ΦE를 구성한다.
• S(𝕋̂) 내의 Weyl-불변 다항식이 E/B에서 X로의 당김을 통해 특성류를 유도함을 증명한다.
• G/B의 세포 분해를 통한 Leray-Hirsch 유형의 추론을 사용하여, 곱공간에서 π₁*p = π₂*p임을 보이고, 당김 불변성을 유도한다.
• 비스톨리의 결과와 보렐의 정리를 활용하여 유리 코homology 비교를 수행하고, H*(BG, ℚ)과의 유리 동형을 유도한다.
• 기저 변경과 애매한, 평탄한, 국소적으로 평탄한 피브레이션의 당김의 단사성을 이용하여 특성류 사상의 단사성을 확립한다.

실험 결과

연구 질문

• RQ1 스킴 위의 G-_bundle에 대한 모든 대수적 특성류는 관련 벡터 번들의 체인 클래스의 유리 조합으로 표현되는가?
• RQ2 위상수학적 특성류로부터 유도되지 않는 대수적 특성류가 존재하는가?
• RQ3 자리지 국소적으로 평탄한 G-_bundle에 대한 특성류의 환은 코특성 띠 위의 Weyl-불변 대칭대수와 동형인가?
• RQ4 G의 표현을 통해 A*(X; ℤ) 값을 갖는 특성류의 환을 기술할 수 있는가?
• RQ5 특히 비특수 군에 대해, 환 𝒞(G)와 𝒞Zar(G)는 어떻게 비교되는가?

주요 결과

• 에테일 국소적으로 평탄한 G-_bundle에 대한 유리 특성류의 환은 S(𝕋̂)W ⊗ ℚ 와 동형이다.
• 자리지 국소적으로 평탄한 G-_bundle에 대한 유리 특성류의 환은 S(𝕋̂)W ⊗ ℚ 와 동형이다.
• 모든 유리 특성류는 관련 번들의 체인 클래스로부터 유도되며, 비스톨리가 제기한 질문을 해결한다.
• GL(n), Sp(2n), SO(2n+1)에 대해, 환 𝒞Zar(G)는 ℤ[t₁,…,tn]과 동형이며, 여기서 ti는 표준 표현의 체인 클래스이다.
• SO(2n)에 대한 오일러 특성류는 관련 번들의 다항식으로 표현되지 않는 유일한 특성류이지만, 다른 방법으로 구성 가능하다.
• 환 𝒞Zar(G; ℤ/2ℤ)는 𝒞Zar(G) ⊗ ℤ/2ℤ 와 동형이 아니며, 이는 계수를 갖는 특성류가 항상 직접적으로 확장되지 않음을 보여준다.