[논문 리뷰] Multiplicative formulas in Cohomology of $G/P$ and in quiver representations

Nicolas Ressayre|ArXiv.org|2008. 12. 11.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 10

한 줄 요약

이 논문은 기하학적 불변량 이론과 분열 기법을 사용하여 일반화된 플라그 다양체 G/Q에서의 코homology 곱과 퀴버 표현 수에 대한 곱공식을 수립한다. 주요 결과는 H*(G/Q, Z)에서의 구조 상수들이 더 작은 플라그 다양체와 리 군 부분군의 상수들의 곱으로 분해됨을 보여주며, Derksen-Weyman의 퀴버 표현 수에 대한 결과를 새로운 기하학적 해석을 통해 일반화한다.

ABSTRACT

Consider a partial flag variety $X$ which is not a grassmaninan. Consider also its cohomology ring ${ m H}^*(X,\ZZ)$ endowed with the base formed by the Poincaré dual classes of the Schubert varieties. In \cite{Richmond:recursion}, E. Richmond showed that some coefficient structure of the product in ${ m H}^*(X,\ZZ)$ are products of two such coefficients for smaller flag varieties. Consider now a quiver without oriented cycle. If $α$ and $β$ denote two dimension-vectors, $α\circβ$ denotes the number of $α$-dimensional subrepresentations of a general $α+β$-dimensional representation. In \cite{DW:comb}, H. Derksen and J. Weyman expressed some numbers $α\circβ$ as products of two smaller such numbers. The aim of this work is to prove two generalisations of the two above results by the same way.

연구 동기 및 목표

• 플라그 다양체 G/Q의 코homology에 대한 Richmond의 곱공식을 임의의 포물형 부분군으로 일반화하기 위해.
• Derksen-Weyman의 퀴버 표현 수에 대한 곱공식을 더 넓은 차원 벡터의 범주로 확장하기 위해.
• 분열과 군 작용을 기반으로 한 공통 기하학적 프레임워크를 통해 두 설정을 통합하기 위해.
• 표현 공간 간의 차원과 사상의 차수를 이용한 새로운 기하학적 해석을 통해 퀴버 표현 곱의 구조를 제공하기 위해.

제안 방법

• 일련의 파라미터를 가진 일차부분군 λ를 가진 군 G의 작용을 갖는 매끄러운 다양체 X에 대해, 사상 η: G ×P(λ) C+ → X의 차수 d(G, X, C, λ)를 정의한다.
• Bialynicki-Briot-Bahlfass 분해를 적용하여 δ(G, X, C, λ)를 리 군 부분군 L에 대한 δ(L, C, Cε, λε)와 δ(G, X, C, λ)로 연결한다.
• 곱공식을 증명한다: 만약 δ(G, X, C, λ) = δ(L, C, Cε, λε) = 0 이라면, d(G, X, Cε, λε) = d(L, C, Cε, λε) · d(G, X, C, λ) 이다.
• 이 차수 공식을 사상 η: G ×P C+ → G/Q를 통해 G/Q의 코homology에 적용하여 구조 상수와 표현 수를 연결한다.
• 퀴버 차원 벡터에 대한 Ringle 형식 ⟨·, ·⟩을 사용하여 곱 항등식에 대한 수직 조건을 정의한다.
• ⟨α, β⟩ = ⟨α, γ⟩ = 0 이고 β ◦γ = 1 인 경우, 표현 공간 간의 사상의 행렬식을 통해 α ◦β + γ = (α ◦β)(α ◦γ)의 기하학적 해석을 제공한다.

실험 결과

연구 질문

• RQ1 ⊙0 곱에 대한 코homology 환 H*(G/Q, Z)의 구조 상수는 G/P와 L/(L ∩ Q)에서의 더 작은 불변량으로 어떻게 분해될 수 있는가?
• RQ2 일반 표현의 부분표현 수가 퀴버 표현에서 더 작은 수들의 곱으로 분해되는 조건은 무엇인가?
• RQ3 사상의 차수와 섬유 차원을 통해 퀴버 표현 수에 대한 곱공식을 기하학적으로 해석할 수 있는가?
• RQ4 분열의 맥락에서, 사상 η의 차수와 그 리 군 부분군으로의 제한의 차수 사이의 관계는 무엇인가?

주요 결과

• (H*(G/Q, Z), ⊙0)의 쇼부르트 기저에서의 구조 상수는 (H*(G/P, Z), ⊙0)과 (H*(L/(L ∩ Q), Z), ⊙0)의 해당 상수들의 곱으로 표현된다.
• ⟨α, β⟩ = ⟨α, γ⟩ = ⟨β, γ⟩ = 0 인 퀴버 차원 벡터 α, β, γ에 대해 항등식 (α + β ◦γ)(α ◦β) = (α ◦β + γ)(β ◦γ) 가 성립한다.
• ⟨α, β⟩ = ⟨α, γ⟩ = 0 이고 β ◦γ = 1 인 경우, 항등식은 α ◦β + γ = (α ◦β)(α ◦γ) 로 단순화되며, 새로운 곱공식을 제공한다.
• 사상 ηα˜+β가 C에서 영이 아닌 행렬식을 가질 조건은 ext(α, β) = 0 이고 모든 i < j 에 대해 ⟨βi, βj⟩ = 0 인 것이다.
• ext(α, β) = 0 이고 β ◦γ = 1 이면, 사상 m: K[Rep(Q, γ)]⟨α,·⟩ ⊗ K[Rep(Q, γ)]⟨β,·⟩ → K[Rep(Q, γ)]⟨α+β,·⟩ 는 동형사상이다.
• 이 결과는 Derksen-Weyman의 불변량 이론적 접근과는 다를 바 있는 기하학적 증명을 통해 퀴버 표현 수에 대한 곱공식을 제시한다.