[논문 리뷰] Horn inequalities and quivers

Velleda Baldoni, Michèle Vergne외 1명|arXiv (Cornell University)|2018. 04. 02.

Algebraic structures and combinatorial models참고 문헌 11인용 수 5

한 줄 요약

이 논문은 필터링된 차원 벡터를 사용하여 퀘이버 표현에 대한 Mumford 코너를 새로운 방식으로 특성화하고, Schofield의 귀납적 방법을 적응시켜 호른 부등식을 도출한다. 차원 벡수가 주어진 퀘이버에 대해 준 semi-invariant 다항식의 코너는 부분표현의 오일러 지표를 포함하는 명시적 부등식으로 정의되며, 이는 텐서 곱 분해에 대한 고전적 호른 부등식에 대한 직접적인 증명을 제공한다.

ABSTRACT

Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear representation associated to a quiver and a dimension vector n=(n_x). We give these inequalities in terms of filtered dimension vectors, and we directly adapt Schofield's argument to inductively determine the dimension vectors of general subrepresentations in the filtered context. In particular, this gives one further proof of the Horn inequalities for tensor products.

연구 동기 및 목표

• 퀘이버와 차원 벡수에 대해 $ \prod \mathrm{GL}(n_x) $의 선형 표현과 관련된 Mumford 코너를 정의하는 부등식을 규명하는 것.
• 필터링된 차원 벡터를 사용하여 퀘이버 표현의 맥락에서 호른 부등식을 일반화하는 것.
• 필터링된 설정에서 Schofield의 논증을 이용해 호른 부등식에 대한 직접적인 귀납적 증명을 제공하는 것.
• 퀘이버 설정에서 Ressayre와 호른 원소를 사용하여 semi-invariant 다항식의 코너를 특성화하는 것.

제안 방법

• 저자들은 퀘이버 표현에서 부분표현의 개념을 일반화하기 위해 필터링된 차원 벡터의 구조를 정의한다.
• 그들은 맵 $ \delta_v $ 의 소스 및 타겟 공간의 차원 차이를 측정하기 위해 오일러 지표 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) $ 를 도입한다.
• 그들은 하위가족 간의 호환성 조건과 비음수 오일러 지표를 요구함으로써 $ \operatorname{Horn}_Q({\mathcal{J}}) $ 를 재귀적으로 정의한다.
• Mumford 코너 $ \operatorname{Cone}_Q({\mathcal{J}}) $ 는 모든 $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ 에 대해 부등식 $ \sum_{x,k} \lambda_x(k) \leq 0 $ 로 특성화된다.
• 이 구성은 순간 맵과 Kirwan 이론에 기반하며, 허용 가능한 및 Ressayre 원소를 사용하여 면을 정의하는 부등식을 식별한다.
• 이 방법은 일반 부분표현에 대한 Schofield의 논증을 필터링된 설정으로 적응시켜, 부등식이 포화되고 완전함을 보장한다.

실험 결과

연구 질문

• RQ1 주어진 차원 벡수를 가진 퀘이버 표현에 대해 Mumford 코너를 정의하는 명시적 부등식은 무엇인가요?
• RQ2 Schofield의 일반 부분표현에 대한 귀납적 방법은 퀘이버 표현의 필터링된 설정으로 어떻게 확장될 수 있나요?
• RQ3 퀘이버 설정에서 Ressayre 원소와 호른 부등식 사이의 관계는 무엇인가요?
• RQ4 필터링된 차원 벡수는 퀘이버 표현에서 semi-invariant 다항식의 구조를 어떻게 캐릭터라이즈합니까?
• RQ5 고전적 텐서 곱에 대한 호른 부등식은 더 일반적인 퀘이버 이론적 프레임워크의 특수한 경우로 볼 수 있을까요?

주요 결과

• Mumford 코너 $ \operatorname{Cone}_Q({\mathcal{J}}) $ 는 모든 $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ 에 대해 부등식 $ \sum_{x,k} \lambda_x(k) \leq 0 $ 로 완전히 기술되며, 등호가 성립하는 경우는 오직 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) = 0 $ 일 때 뿐이다.
• 집합 $ \operatorname{Horn}_Q({\mathcal{J}}) $ 는 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) \geq 0 $ 과 오일러 지표가 0인 하위가족과의 호환성을 요구함으로써 재귀적으로 정의된다.
• 모든 Ressayre 원소는 $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ 와 대응되며, 이러한 모든 $ {\mathcal{K}} $ 는 코너의 면을 정의하는 데 필요한 조건을 만족한다.
• 표현 $ {\mathcal{H}}_Q({\mathcal{J}}) $ 는 호른 성질을 지니며, 그 semi-invariant 코너는 포화되어 있고 재귀적 부등식으로 완전히 기술된다.
• 퀘이버가 $ x_i \to y $ 이고 차원 벡수가 모두 동일한 경우, $ \mathrm{GL}(n) $-표현의 텐서 곱에 대한 고전적 호른 부등식이 특수한 경우로 회수된다.
• 이 방법은 계산하고 검증하기 쉬운, 비록 약간의 중복을 포함할 수는 있지만 완전한 부등식 시스템을 제공한다.