[논문 리뷰] An isomorphism Theorem for Yokonuma--Hecke algebras and applications to link invariants

Nicolas Jacon, Loïc Poulain d’Andecy|arXiv (Cornell University)|2015. 01. 26.

Geometric and Algebraic Topology참고 문헌 11인용 수 3

한 줄 요약

이 논문은 요코누마–헤케 대수 $Y_{d,n}$ 와 타입 $A$의 이와하라–헤케 대수의 텐서곱 위의 행렬 대수들의 직합 사이의 명시적 등장사상(이sovorphism)을 수립하여, 마르코프 추적의 완전한 분류와 3변수 링크 불변량의 구성이 가능하게 한다. 이 등장사상은 고전적 헤케 대수들로부터 표현론적 및 위상수학적 결과들을 요코누마–헤케 대수로 이행할 수 있게 하며, 고전적 끈의 경우에 해당 불변량이 위상적으로 헤이플리프트 다항식(HOMFLYPT polynomial)과 동치임을 증명한다.

ABSTRACT

We develop several applications of the fact that the Yokonuma--Hecke algebra of the general linear group GL is isomorphic to a direct sum of matrix algebras associated to Iwahori--Hecke algebras of type A. This includes a description of the semisimple and modular representation theory of the Yokonuma--Hecke algebras of GL and a complete classification of all the Markov traces for them. Finally, from these Markov traces, we construct 3-variables polynomials which are invariants for framed and classical knots and links, and investigate their properties with the help of the isomorphism.

연구 동기 및 목표

• 요코누마–헤케 대수 $Y_{d,n}$ 와 타입 $A$의 이와하라–헤케 대수의 텐서곱 위의 행렬 대수들의 직합 사이의 구체적 등장사상 수립.
• 이 등장사상으로 $Y_{d,n}$ 상의 모든 마르코프 추적을 분류하고, 그 매개변수에 대한 명시적 공식 유도.
• 이 추적들로부터 프레임드 및 고전적 끈과 링크에 대한 3변수 다항 불변량을 구성.
• 이 등장사상과 추적 매개변수화를 통해 유도된 불변량들이 고전적 끈에 대해 헤이플리프트 다항식과 위상적으로 동치임을 조사.

제안 방법

• 타입 $A$의 이와하라–헤케 대수의 텐서곱 위의 행렬 대수들의 직합과 $Y_{d,n}$ 사이의 등장사상 명시적 구성. 이는 $n$을 $d$개의 부분으로 나누는 조합(compositions)에 따라 인덱싱된다.
• 등장사상으로 인해 타입 $A$의 이와하라–헤케 대수들의 표현 이론으로부터 $Y_{d,n}$의 반단순 및 모듈라 표현 이론을 유도.
• 타입 $A$의 이와하라–헤케 대수의 표준 대칭 형식을 통해 $Y_{d,n}$ 상의 대칭 형식을 정의하고, 그 스카르 원소들을 타입 $A$ 대수들의 스카르 원소들의 곱으로 계산.
• 등장사상에 의해 타입 $A$의 이와하라–헤케 대수 측면의 분류를 이행하여 $Y_{d,n}$ 상의 모든 마르코프 추적을 분류하고, 생성자 위의 추적 값으로 매개변수를 표현.
• 계수 $\alpha_{\mu^0}$가 명시적 공식으로 주어진다. 이는 $\mathrm{F}\Delta_{Y,S}$를 $\mathrm{F}\Gamma^{\rho}_{Y,\mu^0}$의 선형 조합으로 구성.
• 등장사상과 추적 매개변수화를 통해 고전적 끈에 대해 유도된 불변량들이 위상적으로 헤이플리프트 다항식과 동치임을 증명함.

실험 결과

연구 질문

• RQ1 요코누마–헤케 대수 $Y_{d,n}$ 의 표현 이론은 타입 $A$의 이와하라–헤케 대수의 텐서곱과의 등장사상을 통해 어떻게 완전히 분류될 수 있는가?
• RQ2 모든 마르코프 추적은 어떻게 완전히 분류되며, 그 매개변수는 어떻게 명시적으로 계산할 수 있는가?
• RQ3 이러한 추적들로부터 테이프드 및 고전적 링크에 대한 3변수 다항 불변량을 구성할 수 있으며, 그 성질은 무엇인가?
• RQ4 요코누마–헤케 대수 $Y_{d,n}$ 로부터 유도된 불변량은 고전적 끈에 대해 헤이플리프트 다항식과 위상적으로 동치인가?
• RQ5 요코누마–헤케 대수 $Y_{d,n}$ 와 타입 $A$의 이와하라–헤케 대수 위의 행렬 대수들 사이의 등장사상은 표현론적 및 위상수학적 결과의 이행을 어떻게 촉진하는가?

주요 결과

• 요코누마–헤케 대수 $Y_{d,n}$ 는 $n$을 $d$개의 부분으로 나누는 조합에 따라 인덱싱된, 타입 $A$의 이와하라–헤케 대수의 텐서곱 위의 행렬 대수들의 직합과 등장사상이 성립한다.
• 모든 $Y_{d,n}$ 상의 마르코프 추적은 분류되었으며, 그 매개변수 $\alpha_{\mu^0}$ 는 $\mu^0_a = 0$ for all $a \notin S$ 이면 $\alpha_{\mu^0} = \frac{D_S^{\vert\mu^0\vert-1}}{|S|^{\vert\mu^0\vert}}$ 로 명시적으로 계산되며, 그 외의 경우는 0이다.
• 3변수 링크 불변량 $\mathrm{F}\Delta_{Y,S}$ 는 계수 $\alpha_{\mu^0}$ 가 주어진 $\mathrm{F}\Gamma^{\sqrt{q}^{-1}}_{Y,\mu^0}$ 의 선형 조합으로 구성되며, 여기서 $u$ 와 $v$ 는 $u^2 = q$, $v = q-1$, $\lambda_S = D_S / |S|$ 를 통해 $q$ 와 $\lambda_S$ 로 표현된다.
• 고전적 링크에 대해 $Y_{d,n}$ 로부터 유도된 불변량은 위상적으로 헤이플리프트 다항식과 동치이며, 이는 등장사상과 추적 매개변수화에 의해 확인된다.
• 표준 대칭 형식을 통해 $Y_{d,n}$ 상의 대칭 형식이 유도되며, 그 스카르 원소들은 타입 $A$ 대수들의 스카르 원소들의 곱으로 표현된다.
• 마르코프 추적 $\widetilde{\rho}_{S,n}$ 이 기저 $\rho_{\mu^0,n}$ 로의 분해는 명시적으로 $\mathrm{F}\Delta_{Y,S} = \sum_{\mu^0 \in \mathrm{Comp}_d^0} \alpha_{\mu^0} \mathrm{F}\Gamma^{\sqrt{q}^{-1}}_{Y,\mu^0}$ 로 주어지며, 여기서 $\alpha_{\mu^0}$ 는 식 (72)에 정의된 바와 같다.