[논문 리뷰] Equivariant Todd Classes for Toric Varieties

Jean-Luc Brylinski, Bin Zhang|ArXiv.org|2003. 11. 18.

Algebraic structures and combinatorial models참고 문헌 15인용 수 20

한 줄 요약

이 논문은 완전 토릭 다양체의 등변 토드 클래스에 대한 명시적 공식을 그의 조합적 자료인 팬(fan)을 사용하여 유도한다. 등변 리만-로흐 정리와 등변 코homology 및 homology 계산을 조합함으로써 이루어지며, 주요 기여는 매끄럽고 일반적인 완전 토릭 다양체 모두에 대해 유효한 조각별 다항함수의 형태로 등변 토드 클래스를 담은 닫힌 형식의 표현을 제공하는 것이다. 특이점의 해소를 통해 일반적인 경우를 매끄러운 경우로 환원한다.

ABSTRACT

For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.

연구 동기 및 목표

• 완전 토릭 다양체의 등변 토드 클래스에 대한 명시적 공식을 그의 조합적 팬 자료로 유도하는 것.
• 등변 코homology를 등변 초월 군(chow groups) 대신 사용하여 일반적인 완전 토릭 다양체로 등변 리만-로흐 정리를 확장하는 것.
• 토릭 다양체의 등변 코homology 및 homology를 계산하여 토드 클래스 공식의 기초를 마련하는 것.
• 특이점의 해소를 통해 팬의 분할(subdivision)을 이용해 일반적인 경우를 매끄러운 경우로 환원하는 것.
• 토드 클래스와 팬 상의 조각별 다항함수 사이의 연결 고리를 파악하고, 거듭제곱 사상과 국소화 기법을 사용하는 것.

제안 방법

• 유니버설 복합체 $EG$의 Totaro의 근사법을 사용하여 등변 코homology 및 homology를 대수적 근사의 역극한으로 정의한다.
• Baum-Fulton-MacPherson 프레임워크 내에서 등변 리만-로흐 정리를 적용하며, 등변 homology를 토드 클래스의 대상으로 사용한다.
• 토르의 작용과 팬의 구조를 분석하여 토릭 다양체의 등변 코homology 및 homology를 계산한다.
• 거듭제곱 사상과 국소화를 활용하여 등변 토드 클래스를 콘(cone)에 대한 합으로 표현하며, 조각별 연속 다항함수를 사용한다.
• 특이점의 해소를 위해 팬의 분할을 사용하여 일반적인 경우를 이미 알려진 매끄러운 경우로 환원한다.
• 공식 $L^{-1}PD^{-1}( extstyleigsum S(A_σ)[\bar{O}_\sigma])$ 를 적용하여 완비된 등변 homology에서 등변 토드 클래스를 복원한다.

실험 결과

연구 질문

• RQ1 완전 토릭 다양체의 등변 토드 클래스는 어떻게 그의 팬 자료로 명시적으로 표현할 수 있는가?
• RQ2 등변 homology를 사용하여 일반적인 토릭 다양체에 대해 등변 리만-로흐 정리의 올바른 표현은 무엇인가?
• RQ3 거듭제곱 사상과 국소화 기법은 등변 토드 클래스의 계산을 어떻게 지원하는가?
• RQ4 팬의 분할을 통한 특이점의 해소가 매끄러운 경우에서 일반적인 토릭 다양체로의 공식 확장에 어떤 역할을 하는가?
• RQ5 완비된 등변 homology에서 팬 상의 조각별 다항함수와 등변 토드 클래스는 어떻게 관련되어 있는가?

주요 결과

• 매끄러운 토릭 다양체의 등변 토드 클래스는 각 콘 $\sigma$ 에서 $\prod_{i=1}^{p} \frac{v_i^*}{1 - e^{-v_i^*}}$ 로 주어지며, 조각별 다항함수로 해석된다.
• 일반적인 완전 토릭 다양체의 경우, 특이점의 해소를 통해 팬의 분할을 하고, 매끄러운 모델에서의 클래스를 후퇴시키는 방식으로 토드 클래스를 얻는다.
• 공식 $L^{-1}PD^{-1}(\sum S(A_\sigma)[\bar{O}_\sigma])$ 는 $L^{-1}\hat{H}^T_*(X)$ 에서 등변 토드 클래스를 제공하며, $S(A_\sigma)$ 는 반군 $\bar{\sigma} \cap M$ 의 생성함수이다.
• 모든 콘 $\sigma$ 의 분할에 대해 $\sum S(\mathbb{C}[\bar{\sigma}_i]) = S(\mathbb{C}[\bar{\sigma}])$ 이 성립하여, 토드 클래스의 정밀도(refinement)에 대해 일관성을 보장한다.
• 등변 토드 클래스는 $\hat{H}^T_*(X)$ 에 속하며, 특이점의 해소에 따른 후퇴에 의해 토르-등변 비라시오널 사상에 대해 불변임을 보였다.
• 이 방법은 등변 코homology를 사용하여 Brion과 Vergne의 등변 리만-로흐 결과를 단순형에서 일반적인 완전 토릭 다양체로 성공적으로 일반화하였다.