[논문 리뷰] K-theoretic Poirier-Reutenauer bialgebra

Rebecca Patrias, Pavlo Pylyavskyy|arXiv (Cornell University)|2014. 04. 16.

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

한 줄 요약

이 논문은 K-Knuth 등가를 사용하여 Poirier-Reutenauer bialgebra의 K-이론적 유사체를 도입함으로써, 그로텐디크 다항식 위에 bialgebra 구조를 수립한다. 증명된 바에 따르면, 증가하는 표와 K-Knuth 등가를 통해 K-이론적 Littlewood-Richardson 규칙에 대한 새로운 조합론적 유도가 가능하며, 그라스만이안의 K-이론에서의 구조 상수에 대해 양의 규칙을 제공한다.

ABSTRACT

We use the K-Knuth equivalence of Buch and Samuel to define a K-theoretic analogue of the Poirier-Reutenauer Hopf algebra. As an application, we rederive the K-theoretic Littlewood-Richardson rules of Thomas and Yong and of Buch and Samuel.

연구 동기 및 목표

• K-Knuth 등가를 사용하여 Poirier-Reutenauer 호프 대수의 K-이론적 유사체를 구성하기.
• 증가하는 표를 통해 K-이론적 Littlewood-Richardson 규칙의 조합론적 프레임워크를 제공하기.
• 새로운 bialgebra 구조를 사용하여 그로텐디크 다항식의 K-이론적 구조 상수를 재유도하기.
• K-Knuth 등가와 증가하는 표에 대한 단어의 삽입 간의 연결 고리 설정하기.
• 새로운 구조에서 그로텐디크 다항식 기저가 bialgebra 준동형 성질을 만족함을 증명하기.

제안 방법

• K-Knuth 등가를 사용하여 표준 양의 표를 포함하는 공간 위에 K-이론적 bialgebra를 정의함으로써, 고전적 Knuth 등가를 일반화하기.
• URT(유일한 정규화 표)의 개념을 도입하고, 단어의 셔플링과 제약을 통해 곱과 코곱을 정의하기.
• K-Knuth 등가류와 Lascoux-Schützenberger 삽입을 사용하여 단어에서 그로텐디크 다항식으로의 사상 φ를 구성하기.
• bialgebra 준동형 ψ를 사용하여 K-이론적 bialgebra를 대칭 함수의 환과 그로텐디크 다항식과 연결하기.
• 단어의 셔플링을 통해 곱 ∗을 정의하고, 부분단어의 연결 및 표준화를 통해 코곱 ∆를 정의하기.
• 사상 φ가 bialgebra 구조를 유지함을 증명함으로써, K-Knuth 등가성과 삽입의 성질을 사용하여 ∆(φ([[h]])) = (φ⊗φ)(∆([[h]]))임을 보임.

실험 결과

연구 질문

• RQ1 K-Knuth 등가를 사용하여 Poirier-Reutenauer bialgebra는 어떻게 K-이론적 환경으로 일반화될 수 있는가?
• RQ2 증가하는 표를 통해 K-이론적 Littlewood-Richardson 계수의 조합론적 구조는 어떻게 구성되는가?
• RQ3 K-이론적 그로텐디크 다항식은 Poirier-Reutenauer 대수의 K-이론적 유사체로부터 bialgebra 준동형으로 기술될 수 있는가?
• RQ4 URT와 K-Knuth 등가는 그라스만이안의 K-이론의 구조 상수를 특성화하는 데 어떤 역할을 하는가?
• RQ5 새로운 bialgebra 구조는 Buch와 Thomas–Yong의 알려진 K-이론적 Littlewood-Richardson 규칙을 어떻게 복원하는가?

주요 결과

• 논문은 K-Knuth 등가를 사용하여 표준 양의 표를 포함하는 공간 위에 K-이론적 bialgebra 구조를 구성함으로써, 고전적 Poirier-Reutenauer 대수를 일반화한다.
• 단어 h에 대해 φ([[h]])가 K-이론적 그로텐디크 다항식으로 보내는 사상 φ는 bialgebra 구조를 유지한다. 즉, 임의의 단어 h에 대해 ∆(φ([[h]])) = (φ⊗φ)(∆([[h]]))이다.
• K-이론적 Littlewood-Richardson 계수 cνλ,μ는 비어 있지 않은 비대칭형태 ν/λ를 가진 증가 표 R의 수와 같다. 여기서 P(row(R)) = T이며, T는 형상 μ의 URT이다.
• 쌍대 K-이론적 Littlewood-Richardson 계수 dνλ,μ는 비대칭형태 λ⊕μ를 가진 증가 표 R의 수와 같다. 여기서 P(row(R)) = T₀이며, T₀는 형상 ν의 URT이다.
• G(3,1)G(2,1)에서 G(4,3,1)의 계수는 −3이며, 이는 독자적 읽기어 312를 가진 URT와 동일한 P(row(R))를 가진 (4,3,1)/(3,1) 형상의 증가 표 3개에 해당한다.
• 표 T가 URT가 아닐 경우, 메소드가 실패한다. Buch의 규칙이 양의 계수를 예측하더라도 증가 표가 존재하지 않는 반례가 존재함을 보여준다.