[논문 리뷰] Highest weights for truncated shifted Yangians and product monomial crystals

Joel Kamnitzer, Peter Tingley외 3명|arXiv (Cornell University)|2015. 11. 29.

Algebraic structures and combinatorial models참고 문헌 21인용 수 23

한 줄 요약

이 논문은 형식적 이동 양얀의 최고 가중치와 A형에서의 곱 단일 결정체 사이의 일대일 대응을 수립하며, 최고 가중치의 집합 Hλμ(R)이 나카지마의 단일 결정체의 부분결정체 B(λ, R)μ와 정확히 일치함을 증명한다. 저자들은 형식적 양얀의 B-대수를 사용하여 표현 이론과 퀘이버 다양체를 연결하고, 이 맥락에서 히카타의 추측을 증명하며, 퀘이버 다양체의 코homology와 양자화 대수의 중심을 연결한다.

ABSTRACT

Truncated shifted Yangians are a family of algebras which are natural quantizations of slices in the affine Grassmannian. We study the highest weight representations of these algebras. In particular, we conjecture that the possible highest weights for these algebras are described by product monomial crystals, certain natural subcrystals of Nakajima's monomials. We prove this conjecture in type A. We also place our results in the context of symplectic duality and prove a conjecture of Hikita in this situation.

연구 동기 및 목표

• 형식적 이동 양얀 Yλμ(R)에 대한 최고 가중치의 집합 Hλμ(R)을 기술하기 위해.
• 곱 단일 결정체 B(λ, R)μ를 사용하여 Hλμ(R)의 조합론적 기술을 수립하기 위해.
• 퀘이버 다양체의 코homology와 양자화 대수의 중심을 연결하는 히카타의 추측을 증명하기 위해.
• 형식적 양얀의 표현 이론을 아핀 그라스만이안과 퀘이버 다양체의 기하학적 구조와 연결하기 위해.

제안 방법

• 전역 급수 J에서의 유도를 통해 형식적 이동 양얀에 대한 베르마 모듈 Mλμ(J, R)을 구성하기 위해.
• 최고 가중치 데이터를 포괄하는 양얀의 양의 부분의 유한차원 몫으로서 B-대수를 정의하기 위해.
• 일반화된 미니멀과 양자 행렬식을 사용하여 A형에서 B-대수를 명시적으로 기술하기 위해.
• 일반화된 미니멀을 B-대수로 올리고, J ↦ y(J) 사상에 의해 단일 데이터와 연결하기 위해.
• 심플렉틱 dual과 기하학적 사타케 대응을 적용하여 대수적 구조를 퀘이버 다양체의 코homology와 연결하기 위해.
• B-대수가 퀘이버 다양체 M(m, W, R)의 동차 코homology와 동형임을 증명함으로써, 히카타의 추측을 검증하기 위해.

실험 결과

연구 질문

• RQ1 형식적 이동 양얀의 최고 가중치 집합 Hλμ(R)의 조합론적 구조는 무엇인가?
• RQ2 최고 가중치는 나카지마의 단일 결정체, 특히 곱 단일 결정체와 어떻게 관련되어 있는가?
• RQ3 양자화 대수의 중심이 퀘이버 다양체의 코homology와 동형임을 보장하는 히카타의 추측은 이 맥락에서 증명될 수 있는가?
• RQ4 B-대수와 퀘이버 다양체 M(m, W, R)의 동차 코homology 사이에 자연스러운 동형사상이 존재하는가?
• RQ5 형식적 양얀의 표현 이론은 아핀 그라스만이안 조각의 기하학과 어떻게 관련되어 있는가?

주요 결과

• 사상 J ↦ y(J)는 형식적 이동 양얀의 최고 가중치 집합 Hλμ(R)과 A형에서의 곱 단일 결정체 B(λ, R)μ 사이의 일대일 대응이다.
• h = 1/2에서 특수화할 때, 형식적 이동 양얀의 B-대수는 동차 코homology 대수 H∗(M(m, W, R))와 동형이다.
• 히카타의 추측은 형식적 이동 양얀에 대해 증명되었으며, C[Grλμ]가 퀘이버 다양체 M(m, W, R)의 코homology와 동형임을 보였다.
• B-대수는 A형에서 양자 행렬식과 일반화된 미니멀을 사용하여 명시적으로 기술되었다.
• 최고 가중치 위의 결정체 구조는 퀘이버 다양체 M(m, W, R)의 연결 성분과 일치하며, 각 J는 유일한 연결 성분에 대응한다.
• 이 구성은 퀘이버 다양체의 연결 성분의 집합으로서 곱 단일 결정체의 기하학적 실현을 제공한다.