[논문 리뷰] Chern-Simons Forms and Higher Character Maps of Lie Representations

Yuri Berest, Giovanni Felder외 3명|arXiv (Cornell University)|2015. 05. 20.

Advanced Algebra and Geometry참고 문헌 10인용 수 4

한 줄 요약

이 논문은 애벌레 대수의 표현 이론에서 드린펠트 추적을 코흐-시몬스 형식을 사용하여 명시적인 공식으로 제공하며, 아벨리안 리 대수에 대한 드레함 형식 위에 정규화된 미분 연산자를 수립한다. 주요 기여는 카르탕 자료 (h, W, P)에만 의존하는 Trh(a)의 조합적 공식으로, 이는 고전적 리 대수에서 안정한 극한에서 하리시-찬드라 준동형 추측을 검증하는 데 중심적인 역할을 한다.

ABSTRACT

This paper is a sequel to our earlier work [BFPRW], where we study the derived representation scheme DRep_{g}(A) parametrizing the representations of a Lie algebra A in a finite-dimensional reductive Lie algebra g. In [BFPRW], we defined two canonical maps Tr_{g}(A): HC^{(r)}(A) o \H[\DRep_{g}(A)]^G and Φ_{g}(A): H[\DRep_{g}(A)]^G o H[\DRep_{h}(A)]^W called the Drinfeld trace and the derived Harish-Chandra homomorphism, respectively. In this paper, we give an explicit formula for the Drinfeld trace in terms of Chern-Simons classes of a canonical g-torsor associated to the pair (A, g). Our construction is inspired by (and, in a sense, dual to) the classical construction of `additive regulator maps' due to Beilinson and Feigin. As a consequence, we show that, if A is an abelian Lie algebra, the composite map Phi_{g}(A) Tr_{g}(A) is represented by a canonical differential operator acting on differential forms on Sym(A) and depending only on the Cartan data (h, W, P), where P is a W-invariant polynomial on h. We derive a combinatorial formula for this operator that plays an important role in the study of derived commuting schemes in [BFPRW].

연구 동기 및 목표

• 리 대수의 유도 표현 스킴에 있어서 코흐-시몬스 형식을 사용하여 드린펠트 추적의 명시적 공식을 제공하는 것.
• 아벨리안 리 대수에 대해 복합 지도 Φg(a) ◦ Trg(a), 즉 축소된 추적 Trh(a)가 카르탕 자료 (h, W, P)에만 의존한다는 것을 보이는 것.
• 체바레비의 등장사상과 함께, 대칭 대수 Sym(a) 위의 미분 형식 위에 작용하는 축소된 추적 연산자의 조합적 공식을 유도하는 것.
• 호모로지적 편향을 통해 A∞-준동형과 코흐-시몬스 형식을 연결하여 새로운 조합적 항등식을 도출하는 것.
• 베일린슨의 애드티브 조정 지도의 스케치를 완성하고, 상세한 유도를 제공하며 테일먼의 공식과의 등가성을 보이는 것.

제안 방법

• a가 DG 리 대수이고 g가 재구성 가능한 리 대수일 때, 쌍 (a, g)에 자연스럽게 관련된 복합 DG 대수를 구성하는 것.
• 이 복합 대수 내의 코흐-시몬스 형식을 사용하여 Drinfeld 추적 지도 Trg(a) : HC(r)•(a) → H•(a, g)^G를 정의하며, 고전적 특성 지도의 일반화를 제공하는 것.
• 축소된 추적 Trh(a) = Φg(a) ◦ Trg(a)가 Sym(a)의 드레함 복합체 위에 존재하는 정규화된 W-불변 미분 연산자로 인수분해됨을 증명하는 것.
• A∞-준동형 성분을 기반으로 이 연산자의 명시적 조합적 공식을 대칭화된 이진 트리 위의 합으로 유도하는 것.
• 호모로지적 편향 정리를 적용하여 A∞-성분을 트리 기반의 합으로 변환하고, 코흐-시몬스 형식과 비교하여 새로운 항등식을 도출하는 것.
• 베일린슨의 애드티브 조정 지도 스케치를 재구성하고 완성하며, 테일먼의 공식이 이 구성에서 자연스럽게 유도됨을 보이는 것.

실험 결과

연구 질문

• RQ1 드린펠트 추적 지도는 어떻게 유도 표현 스킴 내의 코흐-시몬스 형식으로 명시적으로 표현될 수 있는가?
• RQ2 아벨리안 리 대수에 대해 복합 지도 Φg(a) ◦ Trg(a)의 구조는 무엇이며, 카르탕 자료 (h, W, P)에 어떻게 의존하는가?
• RQ3 Sym(a) 위의 드레함 형식에 대해 축소된 추적 Trh(a)를 계산하는 정규화된 미분 연산자를 구성할 수 있는가?
• RQ4 A∞-준동형 성분과 코흐-시몬스 형식을 비교할 때 어떤 조합적 항등식이 도출되는가?
• RQ5 베일린슨의 애드티브 조정 지도 스케치는 코흐-시몬스 형식과 테일먼의 공식과 어떻게 관련되어 있는가?

주요 결과

• 드린펠트 추적 Trg(a)는 (a, g)에 관련된 복합 DG 대수 내의 코흐-시몬스 형식으로 명시적으로 주어지며, 이는 추적 지도의 기하학적 실현을 제공한다.
• 아벨리안 리 대수에 대해 축소된 추적 Trh(a)는 카르탕 자료 (h, W, P)에만 의존하는 정규화된 W-불변 미분 연산자에 의해 Sym(a)의 드레함 복합체 위에 작용하며, 이는 정의에 따라 유일하다.
• 이 연산자의 조합적 공식이 유도되며, 이는 부호와 대칭화를 결정하는 계수를 가진 이진 트리의 동치류 위의 합으로 표현된다.
• Trh(a)의 공식이 [4]에서 사용된 공식과 동치임을 보이며, 이는 고전적 리 대수에서 안정한 극한에서 하리시-찬드라 준동형 추측을 검증하는 데 기여한다.
• A∞-성분의 이진 트리 위의 합이 명시적인 코흐-시몬스 형식과 동일하다는 새로운 조합적 항등식이 확립되며, 이는 호모로지 대수학과 특성류 사이의 연결을 확인한다.
• 논문은 베일린슨의 애드티브 조정 지도 스케치를 완성하며, 테일먼의 공식이 동일한 구성에서 자연스럽게 유도됨을 보여주며, 애드티브 조정 지도의 전체 유도를 코흐-시몬스 형식의 관점에서 제공한다.