如何获取给定Quandle下纽结图的所有可能着色及相关推导疑问

先回顾一下背景：设$K$为平面中的纽结图，$C$是$K$在Quandle $X$上的着色，每个交叉点满足关系x*y = z——其中$x,z$是下穿弧的颜色，$y$是跨越弧的颜色，且跨越弧的法向指向颜色为$z$的下穿弧。

问题1：如何获取给定Quandle $X$下纽结图$K$的所有可能着色？ #

本质上，纽结的Quandle着色对应从纽结Quandle $Q(K)$到$X$的Quandle同态，记为$\text{Hom}(Q(K), X)$，所有这样的同态就是$K$在$X$上的全部合法着色。具体计算可以按以下步骤来：

• 第一步，给纽结图$K$的每条弧标记一个变量（比如$a_1, a_2, ..., a_n$），每条弧对应一个颜色变量。
• 第二步，针对每个交叉点，根据题目中的Quandle运算规则写出等式：比如某交叉点处，下穿弧颜色为$a_i$和$a_j$，跨越弧颜色为$a_k$，且定向满足$a_i * a_k = a_j$，就写出方程a_i * a_k = a_j。
• 第三步，把这些方程看作Quandle $X$中的运算等式，求解这个方程组。所有满足所有方程的变量赋值，就是$K$在$X$上的全部可能着色。

另外，你也可以结合纽结的Wirtinger表示来简化推导：纽结Quandle $Q(K)$其实是纽结补空间基本群$\pi_1(S^3 \setminus K)$的共轭类Quandle，所以基本群的关系可以直接转化为Quandle的关系，帮你更快建立方程组。

问题2：若纽结$K$可由Quandle $X$着色，从任意交叉点开始，给跨越弧和某条下穿弧分配$X$中的任意颜色，能否以此推导出$K$的所有可能着色？ #

答案是所有合法着色都可以通过这种方式推导得到，但不是任意分配的颜色对都能生成合法着色，核心在于存在一致性约束：

• 当你在某个交叉点固定跨越弧颜色$y$和一条下穿弧颜色$x$时，另一条下穿弧的颜色$z$会被x*y = z唯一确定。接着你可以沿着纽结图的弧依次推导其他所有弧的颜色，但当你绕纽结一圈回到初始弧时，推导出来的颜色必须和你最初赋值的颜色一致——这就是一致性条件，只有满足这个条件的$(x,y)$颜色对，才能生成一个合法着色。
• 反过来，任何一个合法着色，必然对应某个交叉点处的$(x,y)$颜色组合（该着色在这个交叉点的跨越弧和下穿弧的颜色），所以只要选择这个合法的$(x,y)$，就能通过推导还原出整个着色。也就是说，所有合法着色都可以通过这种“固定一个交叉点的部分颜色再推导”的方式得到，但前提是你选的$(x,y)$必须满足该纽结对应的一致性等式。

内容的提问来源于stack exchange，提问作者user113715