[논문 리뷰] A reductive group with finitely generated cohomology algebras

Wilberd van der Kallen|ArXiv.org|2004. 03. 22.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 7

한 줄 요약

이 논문은 $ k $ 가 특성 2를 가지며, $ A $ 가 유리적 $ \mathrm{SL}_3 $-작용을 갖는 유한 생성 가환 $ k $-대수일 때, $ H^*(\mathrm{SL}_3, A) $ 가 $ k $-대수로서 유한 생성됨을 확립한다. 이 결과는 이전의 $ \mathrm{SL}_2 $ 연구에서 열려 있던 핵심 케이스를 해결하며, 좋은 필터링 차원과 쌍대 와일 모듈의 구조에 기반한 새로운 추론을 통해 불변량의 유한 생성성을 코homology로 확장한다.

ABSTRACT

Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring $H^*(G,A)$ is finitely generated. This extends the finite generation property of the ring of invariants $A^G$. We discuss where the problem stands for other geometrically reductive group schemes.

연구 동기 및 목표

• 특성 2의 체 위에서 $ \mathrm{SL}_3 $ 의 코homological finite generation 성질(CFG)을 확립하는 것.
• 기존의 $ \mathrm{SL}_2 $ 에서의 유한 생성 결과를 불변량 $ A^G $ 에서 전체 코homology 링 $ H^*(G, A) $ 로 확장하는 것.
• 해결되지 않은 문제로 남아 있던, 다른 $ \mathrm{SL}_n $ 과 특성에 대해 메서드가 일반화되지 않는 이유를 규명하는 것.
• 양의 특성에서 코homology 를 제어하는 데 있어 좋은 필터링 차원과 쌍대 와일 모듈의 구조가 수행하는 역할을 명확히 하는 것.

제안 방법

• van der Kallen(2004) 의 $ \mathrm{SL}_2 $ 에 대한 방법을 적응하여, $ \mathrm{SL}_3 $ 의 보렐 부분군의 비아벨 유니포텐트 라디컬을 다룰 수 있도록 수정한다.
• 쌍대 와일 무게 $ \rho^\vee $ 를 도입하고, 조건 $ \rho^\vee(\lambda) \leq m $ 을 사용하여 프로베니우스 전환의 좋은 필터링 차원을 유계화한다.
• 모듈 $ M $ 이 최고 무게 $ \lambda $ 를 갖는 경우, $ m $ 인 $ \rho^\vee $-무게에 대한 수학적 귀납법을 적용하여 $ \dim_\nabla(M^{(1)}) \leq m $ 을 증명한다.
• 코homology 상에서 $ \Delta_{a,b} $ 의 상사성(surjectivity)을 이용하여, 짝수 코homology 링 $ H^{\mathrm{even}}(G, A) $ 가 유한 생성됨을 보인다.
• 좋은 필터링 차원이 유한한 $ M $ 에 대해 $ H^*(G, A \otimes k[G/U]) $ 가 고도에서 0이 됨을 응용한다.
• 기하학적 재구성성과 불변량의 유한 생성성 간의 동치성을 활용하여, 코homological 성질과 불변량 이론적 성질을 연결한다.

실험 결과

연구 질문

• RQ1 특성 2에서 $ \mathrm{SL}_3 $ 는 코homological finite generation 성질(CFG)을 만족하는가? 즉, 어떤 유한 생성 $ k $-대수 $ A $ 가 유리적 $ G $-작용을 갖는 경우에도 $ H^*(G, A) $ 가 유한 생성되는가?
• RQ2 특성 2에서 $ \mathrm{SL}_3 $ 의 어떤 구조적 특성이, 유니포텐트 라디컬이 아벨이 아니라는 실패에도 불구하고 코homology 링의 유한 생성성을 가능하게 하는가?
• RQ3 $ \mathrm{SL}_2 $ 에 사용된 방법이 $ \mathrm{SL}_3 $ 에서 실패하는 이유는 무엇이며, 이를 극복하기 위해 어떤 새로운 도구가 필요한가?
• RQ4 부드러움이나 평탄성 조건 없이, 좋은 필터링을 갖는 유한 생성 대수 위의 모듈에 대해, 좋은 필터링 차원이 유한함을 어느 정도 보장할 수 있는가?
• RQ5 $ n=3 $, $ p=2 $ 를 초월해 코homology 링의 유한 생성성을 방해하는 장애물이 존재하는가? 만약 존재한다면, 그 장애물은 무엇인가?

주요 결과

• 특성 2에서 임의의 유한 생성 가환 $ k $-대수 $ A $ 가 유리적 $ \mathrm{SL}_3 $-작용을 갖는 경우, 코homology 링 $ H^*(\mathrm{SL}_3, A) $ 는 $ k $-대수로서 유한 생성된다.
• 핵심 기술적 결과는 $ G = \mathrm{SL}_3 $ 이 특성 2일 때, 임의의 최고 무게 $ \lambda $ 를 갖는 $ G $-모듈 $ M $ 에 대해 $ M^{(1)} $ 의 좋은 필터링 차원이 $ \rho^\vee(\lambda) $ 에 의해 유계화됨을 보여준다.
• 코homology 상에서 $ \Delta_{a,b} $ 의 상사성이 이끌어내는 결과는 짝수 코homology $ H^{\mathrm{even}}(G, A) $ 가 유한 생성됨을 의미하며, 이는 전체 링의 유한 생성성을 이끌어낸다.
• 기하학적 재구성성과 유한 생성성 간의 동치성에 기반하여, $ A $-모듈 $ M $ 이 $ G $-작용을 갖는 경우, $ M $ 이 좋은 필터링 차원을 유한히 갖는다는 결과는 부드러움이나 평탄성 조건 없이도 성립한다.
• 메서드가 $ n > 3 $ 또는 $ p > 2 $ 에서 실패하는 이유는, 제한된 영역의 질서가 1 이하라는 조건이 성립하지 않기 때문이다. 이는 $ \Gamma^2(V^{(1)}) \otimes \Gamma^2(V^{\#(1)}) $ 의 구조와 관련이 있다.
• 이 결과는 $ \mathrm{SL}_2 $ 케이스에 대한 새로운 증명을 제공하며, 코homological finite generation 성질이 성립하는 정확한 조건을 규명한다.