[논문 리뷰] Stringy Chern classes of singular varieties

Tommaso de Fernex, Ernesto Lupercio외 2명|ArXiv.org|2004. 07. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 9

한 줄 요약

이 논문은 모티브적 통합과 맥퍼슨의 변환을 이용하여 특이 복소다양체에 대해 스트링 이론의 카라누 클래스를 도입하며, 이는 특이 공간으로 일반화된 카라누 클래스를 갖는 비틀림 불변 클래스를 제공한다. 주요 결과는 $X = M/G$ 형태의 고르진 스킴에 대한 스트링 이론의 카라누 클래스에 대한 명시적 공식을 고정점 집합 $M^g/C(g)$의 카라누-스웨이츠-맥퍼슨 클래스로 표현한 것으로, 오르비폴드 불변량과의 직접적인 연결을 수립한다.

ABSTRACT

Motivic integration and MacPherson's transformation are combined in this paper to construct a theory of "stringy" Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by quotients of manifolds by finite groups. For the latter an explicit formula is proven, assuming that the canonical line bundle of the manifold descends to the quotient. This gives an expression of the stringy Chern class of the quotient in terms of Chern-Schwartz-MacPherson classes of the fixed-point set data.

연구 동기 및 목표

• 로그-터미널 특이점을 갖는 특이 복소다양체에 대해 비틀림 불변 카라누 클래스를 정의하기 위해.
• 모티브적 통합을 통한 해석 데이터 통합을 통해 카라누-스웨이츠-맥퍼슨 클래스를 특이 공간으로 확장하기 위해.
• 유한군에 의한 다양체의 고르진 몫 $X = M/G$에 대한 스트링 이론의 카라누 클래스에 대한 명시적 공식을 제공하기 위해.
• 스트링 이론의 카라누 클래스와 오르비폴드 불변량(예: 오르비폴드 오일러 특성수) 간의 연결을 수립하기 위해.

제안 방법

• 해석 $f: Y \to X$의 아크 공간 위에서 모티브적 통합을 사용하여 상대 캐논리컬 $\mathbb{Q}$-분할 $K_{Y/X}$의 차수로 가중된 유리수 값을 갖는 구조적 함수 $\Phi_X$를 구성한다.
• 스트링 이론의 카라누 클래스를 $c_{\text{str}}(X) := c(\Phi_X)$로 정의하며, 여기서 $c$는 구조적 함수에서 카우흐 호모로지로의 맥퍼슨의 자연변환이다.
• 모티브적 통합의 변수변환 공식을 사용하여 $\Phi_X$의 비틀림 불변성을 확보하고, 이에 따라 $c_{\text{str}}(X)$의 비틀림 불변성도 보장한다.
• 몫 스킴 $X = M/G$의 경우, $G$의 공轭류에 대해 합을 취함으로써 $\Phi_X$를 표현하고, 스택 $[M/G]$ 위의 상수 함수의 오르비폴드 푸시포워드를 사용한다.
• 맥퍼슨 변환을 적용하여 공식 $\widetilde{c}_{\text{str}}(X) = \sum_{g \in \mathcal{C}(G)} (\pi_g)_* c_{\text{SM}}(M^g / C(g))$를 유도한다. 여기서 $C(g)$는 $g$의 중심화자를 의미한다.
• 도수 맵을 통해 스트링 이론의 오일러 특성수 $e_{\text{str}}(X)$가 오르비폴드 오일러 특성수 $e(M,G) = \sum_{g \in \mathcal{C}(G)} e_c(M^g / C(g))$와 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 모티브적 통합과 맥퍼슨의 변환을 통해 로그-터미널 특이점을 갖는 특이 다양체에 대해 비틀림 불변 카라누 클래스를 정의할 수 있는가?
• RQ2 몫 스킴 $X = M/G$의 스트링 이론의 카라누 클래스는 다양체 $M$ 위의 군 작용의 고정점 자료와 어떻게 관련이 있는가?
• RQ3 스트링 이론의 카라누 클래스는 오르비폴드 오일러 특성수와 같은 기존의 오르비폴드 불변량을 복원하는가?
• RQ4 스트링 이론의 카라누 클래스는 해석의 선택에 의존하지 않으며, 이는 모티브적 통합으로 어떻게 보장되는가?
• RQ5 스트링 이론의 카라누 클래스는 몫 고정점 집합의 카라누-스웨이츠-맥퍼슨 클래스의 푸시포워드들의 합으로 표현될 수 있는가?

주요 결과

• 스트링 이론의 카라누 클래스 $c_{\text{str}}(X)$는 원하는 비틀림 불변성을 만족한다: $X$와 $X'$가 $K$-등가이면, 어떤 공통 해석 위의 클래스 $C$에 대해 $c_{\text{str}}(X) = f_* C = f'_* C$가 성립한다.
• 캐논리컬 번들 내림이 가능한 고르진 몰입 $X = M/G$의 경우, 스트링 이론의 카라누 클래스는 $\widetilde{c}_{\text{str}}(X) = \sum_{g \in \mathcal{C}(G)} (\pi_g)_* c_{\text{SM}}(M^g / C(g))$로 주어지며, 여기서 $\mathcal{C}(G)$는 $G$의 공轭류 집합이다.
• 모티브적 통합의 변수변환 공식 덕분에 함수 $\Phi_X$는 해석의 선택과 무관하다.
• 스트링 이론의 카라누 클래스는 조이스가 정의한 $[M/G]$ 위의 상수 함수의 오르비폴드 푸시포워드와 일치한다.
• 스트링 이론의 오일러 특성수 $e_{\text{str}}(X)$는 오르비폴드 오일러 특성수 $e(M,G) = \sum_{g \in \mathcal{C}(G)} e_c(M^g / C(g))$와 일치하며, 바티레프의 결과와 일관성을 확인한다.
• 이 구성은 특이 다양체에 대해 고전적인 카라누-스웨이츠-맥퍼슨 클래스를 확장하는 명시적이고 명백히 비틀림 불변인 카라누 클래스의 정의를 제공한다.