这篇论文分为两个主要部分。首先，发现并解决一个表示论的问题，它是一个代数拓扑和微分拓扑中自然产生的问题。源于在课间的一段讨论。首先在纤维丛的纤维上有一个好的度量，它对应着Guage群的一个基本对称表示。由代数拓扑上的知识，得到一个Guage从上的度量，既是纤维上的基本度量和底空间上的度量(任意的选择)，问题是当从的维数足够大时，是否能得到从上有一个基本对称的子表示么?如果答案是肯定的，几何上的问题就变得十分简单，然而，通过一系列的观察，发现问题需要比较严格的条件。首先，将其转化到李代数表示理论上，得到这个问题的李代数解释,问题：讨论李代数为sln(C)下的表示：设V是sln(C)上的基本表示，W是其他任意的一个关于sln(C)的一个表示，问题是：什么时候存在李代数sl2C上的一个子表示P使得以下表示关系成立：将表示存在性问题转化到一个不定方程组解的存在性问题上进行解答。与此同时，用另一种方式解读在二维情况下的，问题1的等价条件，两种解答吻合的很好。　　 其次，作为本文的第二部分,将LMOV猜想相关的研究和学习做了一个综述，它是数学物理中著名的猜想，在一般的情况下仍然悬而未决。幸运的是，这个猜想在模群的条件下已经被浙江大学的刘克峰教授和他的学生们证明了。于是在此文中，将从学习经历出发，从最基础的量子群不变量开始综述，一步一步介绍LMOV猜想。将考虑在更一般的条件下，转化其中的一些定理和结果。比如so(2n+1)和sp(2n)的情况。在低维情况下，利用几种基本的李代数的同构关系，能够将一些模群上的结果转化到另外两种群上。得到了两种扭结不变量多项式的基本关系。