[논문 리뷰] The big Chern classes and the Chern character

Ajay C. Ramadoss|ArXiv.org|2005. 12. 05.

Algebraic structures and combinatorial models참고 문헌 6인용 수 3

한 줄 요약

이 논문은 특성 0인 체 위의 매끄러운 스킴에 대한 다형미분 연산자 복합체에 유도된 리 대수 구조를 수립하며, 탄젠트 번들의 -1 스피닝이 유도 범주 내에서 리 대수 대상이 됨을 보여준다. 비대칭화 사상이 곱과 교환되지 않는 정도는 아티야 클래스를 포함하는 인자에 의해 정확히 결정되며, 이는 보편 포장 대수 구성법을 통해 코호몰로지의 성분을 통해 큰 체르니 클래스를 명시적으로 기술하는 공식을 이끌어낸다.

ABSTRACT

Let $X$ be a smooth scheme over a field of characteristic 0. Let $\dd^{\bullet}(X)$ be the complex of polydifferential operators on $X$ equipped with Hochschild co-boundary. Let $L(\dd^1(X))$ be the free Lie algebra generated over $\strc$ by $\dd^1(X)$ concentrated in degree 1 equipped with Hochschild co-boundary. We have a symmetrization map $I: \oplus_k \sss^k(L(\dd^1(X))) ar \dd^{\bullet}(X)$. Theorem 1 of this paper measures how the map $I$ fails to commute with multiplication. A consequence of Theorem 1 and Theorem 2 is Corollary 1, a result "dual" to Theorem 1 of Markarian [3] that measures how the Hochschild-Kostant-Rosenberg quasi-isomorphism fails to commute with multiplication. In order to understand Theorem 1 conceptually, we prove a theorem (Theorem 3) stating that $\dd^{\bullet}(X)$ is the universal enveloping algebra of $T_X[-1]$ in $\dcat$. An easy consequence of Theorem 3 is Theorem 4, which interprets the Chern character $E$ as the "character of the representation $E$ of $T_X[-1]$" and gives a description of the big Chern classes of $E$. Finally, Theorem 4 along with Theorem 1 is used to give an explicit formula (Theorem 5) expressing the big Chern classes of $E$ in terms of the components of the Chern character of $E$.

연구 동기 및 목표

• 호크시드-코스타ント-로젠버그 준동형이 곱과 교환되지 않는 이유를 개념적으로 이해하는 것.
• 다형미분 연산자 위에 리 대수 구조를 도입하여 탄젠트 번들의 아티야 클래스를 진정한 복합체 사상으로 실현하는 것.
• 큰 체르니 클래스를 체르니 특성 성분으로 명시적으로 기술하는 공식을 제공하는 것.
• 체르니 특성을 유도 범주 내에서 $ T_X[-1] $의 표현의 특성으로 해석하는 것.
• 마크리아란 [3] 과 캐르다루 [10] 의 통찰을 통합하여 체르니 클래스 계산을 위한 일관된 프레임워크를 마련하는 것.

제안 방법

• 도수 1에 집중된 $ \text{D}_{\text{poly}}^1(X) $ 위의 자유 리 대수 $ L(\text{D}_{\text{poly}}^1(X)) $ 를 구성하며, 호크시드 코-boundary 를 갖는다.
• 복합체의 동형사상인 $ I: \bigoplus_k \text{Sym}^k(L(\text{D}_{\text{poly}}^1(X))) \to \text{D}_{\text{poly}}^\bullet(X) $ 를 도입한다.
• 곱과의 비교 실패를 캡슐화하는 $ \bar{\rho} $ 를 정의하며, $ \text{ad} = \text{ad} \times \frac{\text{ad}}{1 - e^{-\text{ad}}} $ 를 만족시킨다.
• 보편 포장 대수 구성법을 사용하여 $ \text{D}_{\text{poly}}^\bullet(X) $ 가 $ \text{D}^+(X) $ 내에서 $ T_X[-1] $ 의 보편 포장 대수임을 보인다.
• $ T_X[-1] \to L(\text{D}_{\text{poly}}^1(X)) $ 의 준동형사상 $ \beta $ 를 수립하여, 아티야 클래스가 $ L(\text{D}_{\text{poly}}^1(X)) $ 의 자연스러운 리 괄호를 통해 실현됨을 보인다.
• 대칭 거듭제곱 위의 $ \frac{\omega}{1 - e^{-\omega}} $-변형 곱을 사용하여, 체르니 특성의 성분을 통해 큰 체르니 클래스의 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 다형미분 연산자 복합체에서 비대칭화 사상 $ I $ 가 곱과 교환되지 않는 방식은 무엇인가?
• RQ2 다형미분 연산자 위의 리 대수 구조를 통해 탄젠트 번들의 아티야 클래스를 진정한 복합체 사상으로 실현할 수 있는가?
• RQ3 유도 대수기하학에서 체르니 특성과 큰 체르니 클래스 사이의 관계에 대한 개념적 설명은 가능한가?
• RQ4 유도 범주 내에서 $ T_X[-1] $ 의 보편 포장 대수를 $ \text{D}_{\text{poly}}^\bullet(X) $ 와 동일시할 수 있는가?
• RQ5 큰 체르니 클래스를 체르니 특성 성분으로 명시적으로 기술하는 공식은 무엇인가?

주요 결과

• 정리 1은 비대칭화 사상 $ I $ 가 곱과 교환되지 않는 정도가 $ \omega $ 가 수반 작용을 캡슐화하는 $ \frac{\omega}{1 - e^{-\omega}} $-변형 곱을 포함한 인자에 의해 정확히 결정됨을 보여준다.
• 정리 2는 $ T_X[-1] $ 이 $ L(\text{D}_{\text{poly}}^1(X)) $ 와 준동형임을 증명하며, 후자의 자연스러운 리 괄호가 $ T_X $ 의 아티야 클래스를 $ \text{Ch}^+(\mathcal{O}_X\text{-mod}) $ 내의 진정한 사상으로 실현함을 보여준다.
• 정리 3은 $ \text{D}_{\text{poly}}^\bullet(X) $ 가 $ \text{D}^+(X) $ 내에서 $ T_X[-1] $ 의 보편 포장 대수임을 확인하며, 체르니 특성 구성의 개념적 기초를 제공한다.
• 정리 4는 벡터 번들 $ E $ 의 체르니 특성을 $ T_X[-1] $ 의 표현으로서의 작용의 특성으로 해석하며, 큰 체르니 클래스의 기술을 제공한다.
• 정리 5는 $ L(\text{D}_{\text{poly}}^1(X)) $ 의 대칭 거듭제곱 위의 $ \frac{\omega}{1 - e^{-\omega}} $-변형 곱을 사용하여, $ E $ 의 큰 체르니 클래스를 그 체르니 특성 성분으로 명시적으로 기술하는 공식을 제시한다.
• 논문은 $ \text{D}_{\text{poly}}^\bullet(X) $ 에 대해 유도 리 대수 구조를 수립하며, 표현 이론을 통해 호크시드-코스타ント-로젠버그 동형사상과 특성류를 통합한다.