[논문 리뷰] Invariants for links from classical and affine Yokonuma--Hecke algebras

Loïc Poulain d’Andecy|arXiv (Cornell University)|2016. 02. 17.

Geometric and Algebraic Topology참고 문헌 4인용 수 12

한 줄 요약

이 논문은 애फ인 요코누마-헤이크 대수와 애프인 히드라 대수의 텐서곱 사이의 동형사상에 기반하여 고체 토러스 내의 링크에 대한 3변수 다항식 불변량의 새로운 가족을 구성한다. 이 동형사상 덕분에 저자들은 애프인 요코누마-헤이크 대수에서 마르코프 추적을 정의하며, 이는 허프리-플리티 폴리노미얼과 주유마-람브로풀로의 불변량을 모두 일반화하는 불변량을 산출한다. 주요 결과는 $N$개의 성분을 가진 링크에 대해 전체 가족을 생성하는 데 단지 $N$개의 기본 불변량이 필요하다는 점으로, 연구 대상이 되는 불변량의 수를 크게 줄였다.

ABSTRACT

We present a construction of invariants for links using an isomorphism theorem for affine Yokonuma--Hecke algebras. The isomorphism relates affine Yokonuma--Hecke algebras with usual affine Hecke algebras. We use it to construct a large class of Markov traces on affine Yokonuma--Hecke algebras, and in turn, to produce invariants for links in the solid torus. By restriction, this construction contains the construction of invariants for classical links from classical Yokonuma--Hecke algebras. In general, the obtained invariants form an infinite family of 3-variables polynomials. As a consequence of the construction via the isomorphism, we reduce the number of invariants to study, given the number of connected components of a link. In particular, if the link is a classical link with N components, we show that N invariants generate the whole family.

연구 동기 및 목표

• 고체 토러스 내의 링크에 대해 고전적 요코누마-헤이크 대수에서의 링크 불변량을 애프인 요코누마-헤이크 대수로 일반화하기.
• 애프인 요코누마-헤이크 대수에서 마르코프 추적을 애프인 히드라 대수의 텐서곱과의 동형사상에 기반하여 정의하기.
• 링크에 $N$개의 성분이 있을 때 전체 가족을 생성하는 데 필요한 불변량의 수를 줄이기 위해 $N$개의 불변량으로도 충분하다는 것을 보여주기.
• 허프리-플리티 폴리노미얼과 주유마-람브로풀로 불변량을 하나의 프레임워크 아래에서 제3의 매개변수 $\gamma$를 통해 통합하고 확장하기.

제안 방법

• 애프인 요코누마-헤이크 대수 $\widehat{Y}_{d,n}$ 와 애프인 히드라 대수의 텐서곱 위의 행렬 대수의 직합 사이의 동형정리로 연결하기.
• 애프인 히드라 대수에서의 표준 마르코프 추적과 동형사상의 조합을 통해 $\widehat{Y}_{d,n}$ 위에 마르코프 추적 정의하기.
• 행렬 분해와 성분별 추적 평가를 통해 $\widehat{Y}_{d,n}$의 원소에 추적를 적용하기.
• 동형사상의 구조를 활용하여 서로 다른 행렬 성분 간에 추적이 잘 정의되도록 보장하는 호환성 조건 유도하기.
• 대수적 관계의 변형을 매개변수화하기 위해 제3의 매개변수 $\gamma$ 도입하여 이전의 구성들을 일반화하기.
• 구성법을 고체 토러스 내의 링크에 적용하고, 고전적 링크로 제한함으로써 기존의 불변량을 복원하기.

실험 결과

연구 질문

• RQ1 애프인 요코누마-헤이크 대수에서 마르코프 추적은 애프인 히드라 대수와의 동형사상에 기반하여 체계적으로 구성될 수 있는가?
• RQ2 제3의 매개변수 $\gamma$가 결과로 얻어지는 링크 불변량과 그 위상수학적 강도에 어떤 영향을 미치는가?
• RQ3 성분이 $N$개인 링크에 대해, 애프인 요코누마-헤이크 대수에서 유도된 전체 불변량 가족을 생성하는 데 필요한 최소한의 불변량 집합은 무엇인가?
• RQ4 애프인 요코누마-헤이크 대수에서 유도된 불변량은 허프리-플리티 폴리노미얼과 주유마-람브로풀로 불변량과 어떻게 관련이 있는가?
• RQ5 브레이드의 기본 순열이 추적의 지지 집합을 결정하는 데 있어 매트릭스 분해 내에서 어떤 역할을 하는가?

주요 결과

• 성분이 $N$개인 링크에 대해 전체 불변량 가족을 생성하는 데 단지 $N$개의 기본 불변량이 필요하며, 이는 분석 대상이 되는 불변량의 수를 크게 줄였다.
• 불변량은 무한한 3변수 다항식의 가족을 이룬다. 제3의 매개변수 $\gamma$는 대수의 다양한 표현을 통합하며, 허프리-플리티 폴리노미얼보다 더 강력한 위상수학적 불변량을 산출한다.
• 동형사상에 의한 구성 덕분에 추적의 명시적 계산이 가능해지며, 문제를 애프인 히드라 대수와 행렬 성분의 추적으로 환원할 수 있다.
• 고전적 링크의 불변량은 $\widehat{Y}_{1,n}$ 부분대수로 제한했을 때 특수한 경우로 복원되며, 이 경우 $N=1$일 때는 허프리-플리티 폴리노미얼과 일치한다.
• 공식 $\Phi_{d,\{1,\dots,d\}}(q,z)(L) = \frac{N}{d}\binom{d}{N}\Phi_{N,\{1,\dots,N\}}(q,\frac{d}{N}z)(L)$ 는 [3, 정리 5.8]을 $N>1$로 일반화하며, 더 높은 $d$-불변량이 $N$-불변량에 의해 결정됨을 보여준다.
• 정리 6.4는 $|S| > N$ 이면 $P^{d,S,\boldsymbol{\tau}}_L = 0$ 임을 증명하여, $N$개 성분을 초월해 새로운 불변량이 유도되지 않음을 보여준다.