[논문 리뷰] Parabolic Induction and Geometry of Orbital Varieties for GL(n)

Taiwang Deng|arXiv (Cornell University)|2016. 03. 21.

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

한 줄 요약

이 논문은 p-진 필드 위의 GL(n)에서의 초평면 유도의 중복도가 다중세그먼트 내 세그먼트 간의 상대적 위치에만 의존한다는 제레브스키의 추측을 증명한다. 잘라내기 함수와 부분 도함수를 사용하여 대칭군 설정으로 환원하고, 이러한 중복도가 카즈단-류스트리그 다항식의 q=1에서의 값과 일치함을 보이며, 궤도 다양체와 샤우버트 다양체를 통해 기하적 해석을 제공한다.

ABSTRACT

Ariki and Ginzburg, after the previous work of Zelevinsky on orbital varieties, proved that multiplicities in a total parabolically induced representations are given by the value at q=1 of Kazhdan-Lusztig Polynomials associated to the symmetric groups. In my thesis I explore the geometry of orbital varieties and I essentially obtain two important results: - first I prove a conjecture of Zelevinksy on a property of independence of total parabolically induced representations. - More crucially I give a strategy to compute multiplicities in general parabolically induced representations using the product of perverse sheaves introduced by Lusztig.

연구 동기 및 목표

• . 이 논문은 초평면 유도 π(a) = LΔ₁ × ⋯ × LΔₛ에서 m(b,a)의 중복도가 다중세그먼트 a와 b의 세그먼트 간 상대적 위치에만 의존한다는 제레브스키의 추측을 증명하고자 한다.
• . 이 연구는 GL(n,F)에서 LΔᵢ에 해당하는 기약 표현을 가진 표현 π(a) = LΔ₁ × ⋯ × LΔₛ의 유도 표현에서 m(b,a)의 중복도를 계산하는 문제를 다룬다.
• . 목적은 이러한 중복도를 카즈단-류스트리그 다항식과 궤도 다양체를 연결하는 기하적이고 조합론적 프레임워크로 설정하는 것이다.
• . 이 논문은 잘라내기 함수와 부분 도함수를 기반으로 한 새로운 방법을 사용하여 기존의 유도 표현 결과를 일반화하고 재유도하고자 한다.
• . b가 세그먼트일 경우 m(c,b,a)를 계산하는 명시적 알고리즘을 제공하고자 한다.

제안 방법

• . 잘라내기 함수 a ↦ a(k)와 정수 k에 의해 인덱싱된 부분 도함수 Dk를 사용하여 일반적인 다중세그먼트를 대칭군 설정으로 환원한다.
• . A형 샤우버트 다양체에 대한 궤도 다양체의 임베딩 이론을 적용하고, 크리스-진즈부르크 및 아리키의 결과를 활용한다.
• . 핵심 기술 도구는 m(aτ, aσ)를 카즈단-류스트리그 다항식 Pτ,σ(1)의 q=1에서의 값과 동일시하는 것이다. 여기서 τ,σ ∈ Sₙ이다.
• . 카즈단-류스트리그 다항식의 5개 정의 관계에 대한 기하적 해석을 노멀리프트 오비트의 구조를 통해 제시한다.
• . 편미분 Dk(La)의 계수에 기하적 의미를 부여하기 위해 편미분의 편미분을 사용한다.
• . b가 세그먼트일 경우에 대해 도함수 연산과 다중세그먼트에 대한 조합 조건을 결합하여 m(c,b,a)에 대한 명시적 공식을 구성한다.

실험 결과

연구 질문

• RQ1 . 초평면 유도 π(a) = ×LΔᵢ에서 m(b,a)의 중복도가 제레브스키가 추측한 바와 같이 a와 b의 세그먼트 간 상대적 위치에만 의존하는가?
• RQ2 . 다중세그먼트에서 순열 τ,σ ∈ Sₙ에 의해 매개화된 m(aτ, aσ)의 중복도가 대칭군 Sₙ의 순열과 관련된 카즈단-류스트리그 다항식 Pτ,σ(q)의 q=1에서의 값으로 표현될 수 있는가?
• RQ3 . 부분 도함수 Dk(La)의 계수에 대한 기하적 의미는 무엇이며, 궤도 다양체의 구조와 어떻게 관련되는가?
• RQ4 . b가 세그먼트일 경우에 대해 잘라내기와 도함수 함자들을 사용하여 m(c,b,a)를 계산하는 명시적 알고리즘을 구성할 수 있는가?
• RQ5 . 다중세그먼트에서의 지배 순서에 의해 유도된 poset S(a) = {b : b ≤ a}는 대칭군 또는 그의 몫에서의 구간과 어떻게 관련되는가?

주요 결과

• . 이 논문은 제레브스키의 추측을 증명한다: m(b,a)는 다중세그먼트 a와 b의 세그먼트 간 상대적 위치에만 의존하며, 기저가 되는 최소 표현에 의존하지 않는다.
• . 순열 τ,σ ∈ Sₙ에 의해 매개화된 다중세그먼트에 대해 m(aτ, aσ)의 중복도는 카즈단-류스트리그 다항식 Pτ,σ(q)의 q=1에서의 값 Pτ,σ(1)과 같다.
• . b = [k+1]일 경우에 대해 La × Lb에 대한 새로운 공식을 유도한다. La × Lb = La+b + Σ_{c∈Γℓₖ₋₁(a,k)} (θₖ(c,a) − θₖ(c[k+1]₁, a+b))Lc [k+1]₁[k]ℓₖ₋₁.
• . b = [k−i₀+1, k+1]일 경우에 대해 Γℓₖ₋ᵢ₀₋₁(a,k−i₀)k−i₀+1에 대한 합과 계수 θₖ₋ᵢ₀(d,a) 및 m(c,b,d(k−i₀+1))를 포함하는 재귀 공식을 제공하며, 보정 항이 포함된다.
• . poset S(a)는 Sₙ 또는 Sₙ의 이중 몫에서의 구간으로 분류되며, 일반화된 플라그 다양체에서의 포물형 오비트와 대응된다.
• . 카즈단-류스트리그 다항식의 5개 정의 관계에 대한 기하적 해석은 노멀리프트 오비트와 궤도 다양체의 구조를 통해 확립된다.