[논문 리뷰] Derived varieties of complexes and Kostant's theorem for gl(m|n)

Mikhail Kapranov, Alexander Pimenov|arXiv (Cornell University)|2015. 04. 01.

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

한 줄 요약

이 논문은 분해 가능 dg-대수의 구조를 통해, $ R\operatorname{Com}(V^\bullet) $로 표기되는 복합체의 다양체의 유도적 개선형을 유도 스킴으로서 제안한다. 이는 좌표환의 스펙트럼에 관한 고전적 결과를 확장한다. 또한, $ \mathfrak{gl}(m|n) $의 포물하 부분대수에 대해 $ GL(V^\bullet) $-표현 스펙트럼이 단순함을 증명한다—즉, 각 기약 표현이 최대 한 번씩만 나타난다. 이는 스펙트럼 수열과 $ T $-모듈 표본 분석을 통해 코스탄트의 정리를 슈퍼대수 구조로 일반화한 것이다.

ABSTRACT

Given a graded vector space V, the variety of complexes Com(V) consists of all differentials making V into a cochain complex. This variety was first introduced by Buchsbaum and Eisenbud and later studied by Kempf, De Concini, Strickland and many other people. It is highly singular and can be seen as a proto-typical singular moduli space in algebraic geometry. We introduce a natural derived analog of Com(V) which is a smooth derived scheme RCom(V). It can be seen as classifying twisted complexes. We study the cohomology of the dg-algebra of regular functions om RCom(V). It turns out that the natural action of the group GL(V) (automorphisms of V as a graded space) on the cohomology has simple spectrum. This generalizes the known properties of Com(V) and the classical theorem of Kostant on the Lie algebra cohomology of upper triangular matrices.

연구 동기 및 목표

• 분해 가능 dg-대수의 구조를 사용하여 고전적 복합체 다양체 $ \operatorname{Com}(V^\bullet) $를 유도 스킴 $ R\operatorname{Com}(V^\bullet) $로 확장한다.
• 코호몰로지 스펙트럼에 대한 코스탄트의 정리를 $ \mathfrak{gl}(m|n) $의 임의의 포물하 부분대수에 대해 슈퍼대수 구조로 일반화한다.
• $ H^\bullet(\mathfrak{n}) $의 $ GL(V^\bullet) $-표현 스펙트럼이 단순함을 증명한다—즉, 각 기약 표현이 중복도 최대 1로 나타난다.
• 분해 $ \mathfrak{m} = \mathfrak{u} \ltimes \mathfrak{n} $에 관련된 스펙트럼 수열의 미분이 자명함을 보여, 코호몰로지 스펙트럼이 단순하게 유지됨을 보장한다.

제안 방법

• $ \operatorname{Com}(V^\bullet) $의 이차 관계를 싸이지지와 고차 관계로 완성하여 얻는 분해 가능 dg-대수 $ A^\bullet(V^\bullet) $의 스펙트럼으로서 $ R\operatorname{Com}(V^\bullet) $를 구성한다.
• $ R\operatorname{Com}(V^\bullet) $를 그가 핵표현하는 함자로 표현하여, 그 점들을 본달-카프라노프와 세이델의 의미에서의 변형 복합체로 식별한다.
• Borel 부분대수 $ \mathfrak{b} \subset \mathfrak{gl}(m|n) $의 코호몰로지를 분석하기 위해 스펙트럼 수열 $ E_2^{pq} = H^p(\mathfrak{u}, H^q(\mathfrak{n})) \Rightarrow H^{p+q}(\mathfrak{b}) $을 사용한다.
• $ H^p(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $의 $ T $-모듈 구조를 공식 $ \bigotimes_{i=1}^n \mathbf{k}_{w_i(\alpha^{(i)} + \rho^{(i)}) - \rho^{(i)}} $를 통해 분석하며, 여기서 $ w_i \in S_{r_i} $이다.
• 다른 $ p $-레벨에서 온 $ T $-웨이트가 서로 겹치지 않음을 증명하여, 스펙트럼 수열의 미분이 자명함을 보인다. 이는 비자명한 사상이 존재하지 않음을 의미한다.
• 다른 $ p $-레벨에서 온 $ T $-웨이트의 교차가 없기 때문에, $ H^\bullet(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $의 중복도 없음 스펙트럼이 $ H^\bullet(\mathfrak{m}) $의 $ GL(V^\bullet) $-스펙트럼의 중복도 없음을 유도한다.

실험 결과

연구 질문

• RQ1 복합체 다양체의 유도적 개선형 $ R\operatorname{Com}(V^\bullet) $는 $ GL(V^\bullet) $-작용 하에서 단순한 표현 스펙트럼 성질을 유지하는가?
• RQ2 코호몰로지의 니라드리컬에 대한 코스탄트의 정리는 슈퍼대수 구조에서 $ \mathfrak{gl}(m|n) $의 포물하 부분대수로 일반화될 수 있는가?
• RQ3 분해 $ \mathfrak{m} = \mathfrak{u} \ltimes \mathfrak{n} $일 때, 스펙트럼 수열 $ E_2^{pq} = H^p(\mathfrak{u}, H^q(\mathfrak{n})) \Rightarrow H^{p+q}(\mathfrak{b}) $의 미분은 자명한가?
• RQ4 $ H^p(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $의 $ T $-웨이트가 다른 $ p $-레벨에서 겹치는가? 이는 스펙트럼에 어떤 영향을 미치는가?

주요 결과

• $ \mathfrak{gl}(m|n) $의 임의의 포물하 부분대수에 대해 $ H^\bullet(\mathfrak{n}) $의 $ GL(V^\bullet) $-표현 스펙트럼은 단순하며, 각 기약 표현이 최대 한 번씩만 나타난다.
• 스펙트럼 수열 $ E_2^{pq} = H^p(\mathfrak{u}, H^q(\mathfrak{n})) \Rightarrow H^{p+q}(\mathfrak{b}) $의 미분은 자명하며, 이는 다른 $ p $-레벨에서 온 $ T $-웨이트가 서로 겹치지 않기 때문이다.
• $ T $-모듈 $ H^p(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $는 $ w_i \in S_{r_i} $인 $ \mathbf{k}_{w_i(\alpha^{(i)} + \rho^{(i)}) - \rho^{(i)}} $의 일차원 표현들의 직합과 동형이다.
• $ E_2 $-페이지에서의 $ T $-모듈의 지지집합은 서로 다른 $ p $에 대해 서로 겹치지 않으며, 이는 비자명한 미분이 발생하지 않음을 방지한다.
• $ H^\bullet(\mathfrak{m}) $의 임의의 기약 표현의 중복도는 최대 1이다. 이는 否면 $ T $-스펙트럼이 단순하지 않기 때문이다.