[논문 리뷰] Diagonal Temperley-Lieb Invariants and Harmonics

Jean-Christophe Aval, François Bergeron외 1명|arXiv (Cornell University)|2004. 11. 25.

Algebraic structures and combinatorial models참고 문헌 19인용 수 9

한 줄 요약

이 논문은 2n개의 변수를 가진 ℚ[x,y]에서 대각 온체리-라이블 불변량과 조화 함수를 도입하며, 새로운 대각 준대칭 다항식 공간을 정의하고 n→∞일 때 그들의 등급화된 호프 대수 구조를 수립한다. 이는 대각 온체리-라이블 불변량의 공간이 대칭 함수와 준대칭 함수의 텐서곱과 동형인 등급화된 호프 대수임을 증명하며, 상수항을 갖지 않는 대칭 불변량에 대한 몫이 얻어지는 경우, 힐버트 급수에서 양의 정수 계수를 가지는 비자유 모듈러스임을 추측한다.

ABSTRACT

In the context of the ring Q[x,y], of polynomials in 2n variables x=x1,...,x_n and y=y1,...,yn, we introduce the notion of diagonally quasi-symmetric polynomials. These, also called "diagonal Temperley-Lieb invariants", make possible the further introduction of the space of "diagonal Temperley-Lieb harmonics" and "diagonal Temperley-Lieb coinvariant space". We present new results and conjectures concerning these spaces, as well as the space obtained as the quotient of the ring of diagonal Temperley-Lieb invariants by the ideal generated by constant term free diagonally symmetric invariants. We also describe how the space of diagonal Temperley-Lieb invariants affords a natural graded Hopf algebra structure, for n going to infinity. We finally show how this last space and its graded dual Hopf algebra are related to the well known Hopf algebras of symmetric functions, quasi-symmetric functions and noncommutative symmetric functions.

연구 동기 및 목표

• 2n개의 변수를 가진 다항식 환 ℚ[x,y]에서 대각 온체리-라이블 불변량의 공간을 정의하고 연구한다.
• 대각 준대칭 다항식의 개념을 도입하고, 새로운 조화 및 코인variants 공간을 구성하는 데서 그 역할을 설명한다.
• 몫 공간 ℚ[x,y]/⟨DQSymₙ⁺⟩ 및 ℛₙ := DQSymₙ/⟨DSymₙ⁺⟩의 구조를 조사하며, 특히 그들의 힐버트 급수와 대칭 다항식 위에서의 자유성에 초점을 맞춘다.
• n→∞일 때 대각 온체리-라이블 불변량의 공간에 등급화된 호프 대수 구조를 수립하고, 이를 대칭 함수, 준대칭 함수, 비가환 대칭 함수와 연관시킨다.
• ℛₙ의 힐버트 급수가 양의 정수 계수를 가지며, 이는 DSymₙ 위에서의 자유성 실패와 대비됨을 추측한다.

제안 방법

• 온체리-라이블 대수 TLₙ이 ℚ[x,y]에 비곱셈적이고 히버트 유형의 작용을 통해 작용하며, 이는 단항식의 지지 집합을 유지하지만 인덱스를 치환한다.
• DQSymₙ을 x와 y의 다항식 중에서 이 TLₙ 작용에 관해 불변인 것들의 집합으로 정의한다.
• 이중성분과 지수 벡터에 대한 이동 연산 φ를 사용하여 DQSymₙ에 대한 재귀적 기저 Bₙ을 구성하며, n=1,2,3에 대해 명시적인 기저를 계산한다.
• n→∞일 때 대각 온체리-라이블 불변량의 공간이 등급화된 호프 대수임을 증명하며, 곱셈과 호환되는 코승법이 존재함을 보인다.
• 등급화된 호프 대수와 고전적 호프 대수인 대칭 함수(Sym), 준대칭 함수(QSym), 비가환 대칭 함수(NSym) 사이의 동형과 펠리스틱 대입을 통해 연관시킨다.
• 펠리스틱 대입을 사용하여 ℛₙ의 힐버트 급수를 분석하며, 자유성에 대한 기대 공식이 음수 계수를 유도함으로써 DSymₙ 위에서 DQSymₙ의 비자유성임을 시사한다.

실험 결과

연구 질문

• RQ1 n→∞일 때 대각 온체리-라이블 불변량의 공간이 등급화된 호프 대수를 이룬다. 이는 고전적 호프 대수인 Sym, QSym, NSym와 어떻게 관련되어 있는가?
• RQ2 몫 공간 ℛₙ := DQSymₙ/⟨DSymₙ⁺⟩는 DSymₙ 위에서 자유 모듈러스인가? 그 힐버트 급수는 무엇인가?
• RQ3 이중성분에 대한 연산 φ와 Φ를 통해 정의된 Bₙ이 DQSymₙ에 대해 선형 독립이면서 생성함을 증명할 수 있는가?
• RQ4 n≤3일 때 힐버트 급수가 양의 정수 계수를 가지는 것으로 나타나는데, 이는 일반적인 공식으로 확장될 수 있는가?
• RQ5 DQSymₙ에서 상수항을 갖지 않는 대각 대칭 불변량이 생성하는 이상의 정확한 구조는 무엇이며, 이는 몫 공간에 어떤 영향을 미치는가?

주요 결과

• n→∞일 때 대각 온체리-라이블 불변량의 공간은 곱셈과 호환되는 코승법을 갖는 등급화된 호프 대수이다.
• n≤3일 때 몫 공간 ℛₙ := DQSymₙ/⟨DSymₙ⁺⟩의 힐버트 급수는 행렬 형태로 명시적으로 계산되었으며, 양의 정수 계수를 가진다.
• 기대되는 힐버트 급수 공식이 음수 계수를 유도하므로, DQSymₙ은 DSymₙ 위에서 자유 모듈러스가 아님을 보여준다.
• 이중성분에 대한 φ 작용을 통해 구성된 재귀적 기저 Bₙ은 DQSymₙ에 대한 선형 기저로 추측되며, n=1,2,3에 대해 명시적인 기저가 검증되었다.
• DQSymₙ은 이중등급 모듈로서 DSymₙ와 ℛₙ의 텐서곱과 동형이지만, 이 분해는 비자유성의 존재를 암시하는 비자명한 관계가 존재하므로 자유성을 의미하지는 않는다.
• n=2와 n=3일 때 ℛₙ의 힐버트 급수는 양의 성분을 가진 행렬로 계산되었으며, 이는 [9] 및 [16]의 기법을 확장하여 증명할 수 있는 더 깊은 조합론적 구조를 시사한다.