[논문 리뷰] Markov trace on Funar algebra

S. Yu. Orevkov|arXiv (Cornell University)|2012. 06. 04.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 3

한 줄 요약

이 논문은 Funar 대수 $K_n(\alpha,\beta)$ 위에서 마르코프 추적을 구성하기 위한 엄밀한 프레임워크를 수립하며, 이는 이전 연구에서 발견된 기초적 결함을 해결한다. 추적의 잘 정의됨이 유한한 항등식 집합의 확인으로 귀결됨을 증명함으로써, 새로운 알고리즘적 접근을 사용함으로써 $K_\infty$ 위에서의 보편 마르코프 추적을 계산할 수 있게 되었으며, 특히 $(\alpha,\beta) = (0,0)$ 경우에 대해 명시적인 결과를 도출한다. 이 경우 $ K_\infty(0,0;\mathbb{Z}[u,v]) / \bar{R} \cong \mathbb{Z}[u,v]/I $이며, 여기서 $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $이다.

ABSTRACT

Funar algebra $K_\infty=K_\infty(α,β;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $σ_1^3-ασ_1^2+βσ_1-1=0$ and another one which involves $σ_1$ and $σ_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(α,β,k[u,v])$ to its quotient (as a $k[u,v]$-module) by trace relations $xy=yx$ and by Markov relations $σ_nx=ux$, $σ_n^{-1}x=vx$ for $x\in K_n$. It is easy to check that the quotient is of the form $k[u,v]/I$ for some ideal $I$ (i. e. that the trace $t$ is determined by $t(1)$). We give an algorithm to compute the ideal $I$ and we present the result of computations in some special cases. In the last section we discuss some properties of the resulting link invariant. This invariant for $β=0$, $k=GF(37)[α]$ detects the chirality of the knots $10_{48}$ and $10_{91}$ and it distinguish many other pairs of knots with equal HOMFLY polynomials.

연구 동기 및 목표

• 이전 연구자들인 Bellingeri, Funar 등이 지적한 바에 따라, Funar 대수 위에서 마르코프 추적의 존재성에 대한 증명에서 발생한 핵심적 결함을 시정하는 것.
• 마르코프 추적의 잘 정의됨을 보장하기 위한 유한하고 알고리즘적으로 적용 가능한 기준을 수립하여, 이전에 부족했던 무한한 검증 과정을 대체하는 것.
• $K_\infty(\alpha,\beta;\mathbb{Z}[\alpha,\beta,u,v])$ 위에서의 보편 마르코프 추적을 체계적인 단순화 과정을 통해 계산함으로써, BMW 및 헤케 대수와 같은 알려진 대수로의 특수화를 가능하게 하는 것.
• $(\alpha,\beta) = (0,0)$와 같은 특정 매개변수 값에 대해 추적 불변량을 명시적으로 계산하고, HOMFLY 다항식과 같은 알려진 링크 불변량과 연관짓는 것.
• 결과로 도출된 불변량 $ P_{0,0;\mathbb{Z}} $ 가 HOMFLY 다항식의 2-torsion 개선형임을 보이며, 동일한 HOMFLY 다항식을 가진 링크들 사이에서 값의 차이가 최대 8 이내임을 보여주는 것.

제안 방법

• 브레이드 군 대수 $kB_n$ 의 삼차 관계와 $\sigma_i^{-1}$ 를 포함하는 복잡한 브레이드 관계를 사용하여 정의된 새로운 대수적 구조인 $K_n(\alpha,\beta)$ 대수를 도입하며, 이는 이전에 $\sigma_i^2$ 를 사용한 공식화를 대체한다.
• 마르코프 추적을 $K_\infty$ 위에서 $k[u,v]$-선형 사상으로 정의하며, $ t(xy) = t(yx) $, $ t(xs_n) = u t(x) $, $ t(xs_n^{-1}) = v t(x) $ 를 만족하며, 추적 값은 이 관계들로 생성된 아이디얼 $\bar{R}$ 모odulo에서 계산된다.
• 정리 2.4에 의해 보편 추적을 계산하기 위한 이론적 알고리즘을 개발하며, 문제를 $\sigma_i^{\pm 1}$ 의 단어에 대한 $K$-단순화를 통해 유한한 항등식 집합의 확인으로 환원한다.
• $K$-단순화를 활용: 정의 관계 (1) 및 (2) 를 사용한 기본 단순화와 $\sigma_1^{\pm 1}, \sigma_2^{\pm 1}$ 에 대한 유한한 21개의 단순화된 단항식 집합을 사용하여 $kF_\infty^+$ 내의 원소를 정규화한다.
• 컴퓨터 보조 계산을 통해 명시적인 계산 수행 (정리 2.5 및 2.6): $(\alpha,\beta) = (0,0)$ 인 경우에 대해 $ K_\infty(0,0;\mathbb{Z}[u,v]) / \bar{R} \cong \mathbb{Z}[u,v]/I $ 를 도출하며, 여기서 $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $이다.
• 결과로 도출된 불변량을 헤케 대수 $H_\infty$ 로의 호모모르피즘을 통해 HOMFLY 다항식과 연관지어, $P_{0,0;\mathbb{Z}/4\mathbb{Z}}$ 가 HOMFLY 다항식의 특수화임을 보이며, $P_{0,0;\mathbb{Z}}$ 가 그와 최대 8의 값 차이를 보임을 보여준다.

실험 결과

연구 질문

• RQ1 이전에 발견된 증명의 결함으로 인해 마르코프 추적의 잘 정의됨이 엄밀하게 입증될 수 있는가?
• RQ2 마르코프 추적의 잘 정의됨을 검증하는 과정을 무한한 과정이 아닌, 유한하고 알고리즘적으로 계산 가능한 항등식 집합으로 줄일 수 있는가?
• RQ3 $K_\infty(\alpha,\beta;\mathbb{Z}[\alpha,\beta,u,v])$ 위에서의 보편 마르코프 추적의 구조는 무엇이며, 특정 매개변수 값에 대해 명시적으로 계산할 수 있는가?
• RQ4 결과로 도출된 링크 불변량 $P_{0,0;\mathbb{Z}}$ 는 HOMFLY 다항식과 어떻게 관련되어 있으며, 그 차이는 어떤 성격을 가지는가?
• RQ5 특정 루프와 링크에 대해 추적 불변량을 명시적으로 계산할 수 있으며, 그 대수적 성질은 무엇인가?

주요 결과

• 이 논문은 마르코프 추적이 Funar 대수 위에서 잘 정의됨이 유한하고 알고리즘적으로 검증 가능한 항등식 집합이 성립할 때에만 성립함을 입증하며, 이는 이전 연구에서 발견된 기초적 결함을 해결한다.
• $(\alpha,\beta) = (0,0)$ 인 경우, $K_\infty(0,0;\mathbb{Z}[u,v])$ 위에서의 보편 마르코프 추적은 $ \mathbb{Z}[u,v]/I $ 로 계산되며, 여기서 $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $ 이며, 이 계산은 최대 12개의 교차점까지 검증되었다.
• $ P_{0,0;\mathbb{Z}} $ 가 HOMFLY 다항식의 2-torsion 개선형임이 입증되었으며, 두 링크가 동일한 HOMFLY 다항식을 가질 경우 그 $ P_{0,0;\mathbb{Z}} $ 값은 최대 8 이내로 다를 수 있다.
• $ P_{0,0;\mathbb{Z}/4\mathbb{Z}} $ 가 헤케 대수로의 호모모르피즘을 통해 HOMFLY 다항식의 특수화임을 증명하였으며, 명시적 공식 $ P_{0,0;\mathbb{Z}/4\mathbb{Z}}(u,v) = h(ij^2u^{1/2}v^{-1/2}, -i) $ 가 성립한다. 여기서 $ h $ 는 정규화된 HOMFLY 다항식이다.
• 이 논문은 최대 12개의 교차점을 가진 모든 루프와 링크에 대해 완전한 추적 불변량 집합을 제공하며, 교차점 수가 0에서 12로 증가함에 따라 서로 다른 불변량의 수가 1에서 86으로 증가한다.
• 알고리즘적 프레임워크는 Funar 대수 위에서의 보편 마르코프 추적 계산을 가능하게 하며, BMW 및 헤케 대수와 같은 다른 대수로의 특수화 가능성은 있으나, 일반 매개변수에 대해서는 전체 계산이 여전히 계산적으로 불가능하다.