原论文信息如下：

论文标题:
Modular fusion categories with trivial Torelli group actions 发表日期:
2026年08月 论文作者:
Liang Chang, Siu-Hung Ng, Yilong Wang 发表单位:
Nankai University, Louisiana State University, Beijing Institute of Mathematical Sciences and Applications (BIMSA) 原文链接:
https://arxiv.org/pdf/2608.04462v1.pdf

最新数学证明：Torelli群平凡作用，高亏格只属于“阿贝尔任意子”？

从量子拓扑到Torelli群：一个深刻的数学结构

在物理学与数学交汇的腹地，有一类结构长得特别清秀——模融合范畴（Modular Fusion Category, MFC）。粗略地说，它是一套描述“粒子融合规则”的代数系统：两个粒子相遇之后，会融合成哪些粒子、各有多少种方式，这些信息被编码在融合系数中；更关键的是，这套系统还自带辫结构（粒子交换顺序的方式）和ribbon结构（每个粒子旋转一整圈之后的相位变化）。

融合规则是整个理论的起点。设C是一个融合范畴，Irr(C)表示其简单对象的同构类全体，那么任意两个简单对象a和b的张量积可以分解为简单对象的直和，分解系数就是融合系数N_{a,b}^{c}：

公式2.1：融合规则。N_{a,b}^{c}表示简单对象c在a⊗b的分解中出现的重数，也就是融合系数。这些非负整数必须满足结合性约束（pentagon方程）和辫结构约束（hexagon方程），这些约束条件构成了整个范畴论的核心骨架。融合系数的取值直接决定了范畴的“复杂度”：如果所有融合系数都只取0或1，且每个简单对象与自身的融合结果中只出现一个简单对象，那么范畴就是pointed的；反之，如果存在某个融合系数大于1，或者某个融合结果包含多个不同简单对象，范畴就带有非阿贝尔特征。

如果这个范畴还满足“可模性”——S矩阵可逆——就称为模融合范畴。S矩阵和T矩阵合在一起称为模数据，它们记录了粒子间统计相位和自旋数据：

S矩阵的定义：S_{a,b} = tr(β_{b,a*}∘β_{a*,b})，其中β是辫结构，a*是a的对偶对象，tr是pivotal迹。S矩阵编码了两个粒子互相绕行一圈的统计相位。S矩阵的可逆性（即det S ≠ 0）是模融合范畴区别于一般融合范畴的关键标志，它保证了TQFT中映射类群表示的非退化性。在物理上，S矩阵的可逆性对应着任意子系统的“完全可区分性”——任意两个不同的任意子类型都可以通过统计相位加以区分。

T矩阵的定义：T_{a,b} = δ_{a,b}·θ_a，其中θ_a是简单对象a的扭转标量，即粒子绕自身旋转一圈的相位。扭转标量θ_a是复数单位根，它决定了任意子的自旋统计：θ_a = e^{2πi h_a}，其中h_a是拓扑自旋（或共形权重）。对于阿贝尔任意子，h_a总是有理数；对于非阿贝尔任意子，h_a可能取更复杂的值。T矩阵的对角性反映了ribbon结构的“可对角化”性质，这是模融合范畴中每个简单对象都具有确定自旋的体现。

这套代数数据可以进一步编码进一个Reshetikhin-Turaev拓扑量子场论（TQFT），从而给每个闭曲面分配一个向量空间，给每个曲面上的“扭曲操作”分配一个线性算子。这就是模融合范畴与拓扑学之间深刻的联系。具体而言，给定一个模融合范畴C，Reshetikhin-Turaev构造会为每个闭曲面Σ_g分配一个有限维向量空间RT_C(Σ_g)，并为每个保定向同胚f: Σ_g → Σ_g分配一个线性算子ρ_{C,g}(f)。这个分配满足一系列相容性条件：复合映射对应算子复合，同伦的映射对应相同的算子，且张量积对应直和。这种从代数数据到几何对象的“翻译”过程，使得我们可以用范畴论的抽象工具来研究曲面的拓扑性质，反之亦然。

所有闭合曲面按亏格分类：亏格就是曲面上“洞”的个数，球面是0，甜甜圈表面是1，椒盐卷饼表面是3。亏格g的曲面记为Σ_g，其保定向自同胚的合痕类构成映射类群Mod(Σ_g)。模融合范畴C会给出Mod(Σ_g)的一个射影表示ρ_{C,g}。这里“射影”意味着算子可能相差一个非零常数因子，但在大多数情况下可以通过规范化消除。映射类群是曲面拓扑学中最重要的研究对象之一，它编码了曲面上所有可能的“扭曲”和“剪切”操作。理解映射类群的表示，是理解三维流形不变量和任意子统计的关键步骤。

图1：Mod(Σ_g)的Lickorish生成集。映射类群由沿图中m_i、ℓ_i、e_i这些简单闭曲线的Dehn扭转生成。Lickorish定理是映射类群理论的基础性结果，它告诉我们这些看似简单的Dehn扭转足以生成整个映射类群。图中展示的生成集对于理解Torelli群的结构至关重要，因为Torelli群正是由某些特定的Dehn扭转组合生成的。

亏格1时，Mod(Σ_1) ≅ SL(2,Z)，表示完全由模数据决定，其同余性质、Galois对称性已经被研究得相当透彻。当亏格升高，自然的类比物是辛群Sp(2g,Z)。映射类群通过作用在第一同调群H₁(Σ_g,Z) ≅ Z^{2g}上，得到一个到Sp(2g,Z)的满同态，而它的核就是Torelli群，记为T_g。这个同态将曲面上的几何操作“线性化”为同调群上的辛变换，而Torelli群则是那些在同调层面“看不见”的几何操作。Torelli群的研究有着悠久的历史，它与代数几何中的Torelli定理（以意大利数学家Ruggiero Torelli命名）有着深刻的联系，该定理断言曲线的雅可比簇决定了曲线本身。

Torelli群可以直观理解为：那些曲面上“在洞的循环层面完全看不出变化”的扭曲——它们在每个同调类上作用平凡，但本身是真正非平凡的曲面操作。比如沿分离曲线的Dehn扭转就属于Torelli群。分离曲线是指将曲面分割成两个连通分支的简单闭曲线，沿这样的曲线做Dehn扭转，在同调群上确实没有影响，但它在曲面上产生了真实的扭曲。Torelli群的结构非常复杂，即使在亏格2时也远非平凡，其生成元、关系以及与其他数学结构的联系一直是拓扑学家研究的热点。

本文研究的问题由此展开：什么样的模融合范畴C，会让表示ρ_{C,g}在Torelli群上平凡？也就是说，让Torelli群整个落入表示的核。这个看似技术性的问题，实际上牵动着TQFT表示的结构骨架。如果Torelli群平凡，那么表示就约化到辛群Sp(2g,Z)上，这大大简化了表示的结构，并使得同余性质等算术工具得以应用。反之，如果Torelli群不平凡，则表示中包含了更丰富的几何信息，这些信息可能对应着非阿贝尔任意子的存在。因此，这个问题的答案直接关系到任意子统计的分类和理解。

核心定理：何时Torelli群落入表示的核

论文的第一个主要定理（Theorem 3.3）回答得异常干净：

对于任意亏格g≥3，一个模融合范畴C的映射类群表示ρ_{C,g}在Torelli群T_g上平凡，当且仅当C是pointed范畴。

Pointed范畴在这里指的是：所有简单对象都是可逆的——用物理的语言说，所有任意子都是阿贝尔的，粒子融合规则是一维的，不带任何非阿贝尔统计。整个范畴的结构由有限群以及群上的3上循环完全控制。换句话说，亏格≥3时，想让Torelli群在TQFT表示中“失灵”，唯一的可能就是整个范畴从头到尾都是“阿贝尔式”的。这个定理的表述极其简洁，但其证明却涉及大量精细的图形演算和范畴论技术，体现了数学中“简洁结论背后往往隐藏着复杂证明”的普遍规律。

这个结论在直觉上其实有一些反常识。按理说，亏格越高，曲面越复杂，可容纳的非平凡结构似乎应该更多；但定理说的恰好相反——高亏格对Torelli平凡性的限制极其严苛，严苛到只剩下最平淡的pointed范畴。这意味着Torelli群拥有极强的“探测能力”：只要范畴里存在一个非阿贝尔任意子，它在高亏格曲面上就会立刻“现出原形”，让表示变得不平凡。这种“高亏格刚性”现象在数学物理中并不常见，它揭示了TQFT表示与曲面拓扑之间深刻的耦合关系。从物理角度看，这个定理暗示着非阿贝尔任意子与高亏格曲面的Torelli群之间存在某种“天然排斥”——非阿贝尔统计必然在Torelli群的作用中留下痕迹。

这个结果被作者明确为对已有文献[27]中Prop. 6.7的重要精化。此前已知的必要充分条件涉及更精细的范畴结构，而本文证明了：亏格g≥3时，条件自动坍缩为最简洁的pointed性。这一化繁为简的工作，是数学研究中让人眼前一亮的典型操作。文献[27]中的命题给出了一个涉及伴随子范畴和Müger中心的复杂条件，而本文通过深入分析Torelli群的生成元在表示中的具体作用，发现这些复杂条件在高亏格时自动等价于pointed性。这种“条件坍缩”现象在数学中非常引人注目，它往往意味着研究者找到了问题的本质结构。

第二项重要结果（Theorem 2.10）给出了一个关于同余性质的保证：如果C是g-Torelli平凡的，那么其Sp(2g,Z)表示包含某个主同余子群在核中。主同余子群定义为：

主同余子群Γ_{m,g}的定义：所有模m同余于单位矩阵的辛矩阵构成的子群。同余性质意味着表示具有很好的算术周期性。具体来说，如果表示ρ_{C,g}在Torelli群上平凡，那么它因子经过Sp(2g,Z)，并且存在某个正整数m使得Γ_{m,g}落在表示的核中。这个m被称为同余级别，它通常与模数据的某些算术性质（如S矩阵和T矩阵的代数整数性）有关。同余性质是亏格1时SL(2,Z)表示论中最核心的工具之一，它保证了表示可以分解为有限个算术分支，也是证明T矩阵有限阶的关键。

同余性质在亏格1时是SL(2,Z)表示论中最强大的工具之一：它保证了表示可以分解为有限个算术分支，也是证明T矩阵有限阶的关键。将该性质推广到辛群Sp(2g,Z)，为高亏格TQFT表示的算术研究铺平了道路。有了同余性质，研究者就可以利用数论中的丰富工具来研究这些表示，例如模形式、Hecke算子等。这为理解高亏格TQFT不变量提供了全新的视角。值得注意的是，同余性质并不是所有模融合范畴的表示都满足的，本文的定理2.10给出了一个充分条件——Torelli平凡性。这进一步凸显了Torelli平凡性在表示论中的基础性地位。

那亏格2呢？这里出现了一个有趣的结构断层。亏格2的Torelli群T₂不是由bounding pair map生成的，而是由沿分离曲线ϖ的Dehn扭转的共轭类正常生成的：

图2：Torelli群T₂由沿分离曲线ϖ的Dehn扭转T_ϖ（作为正规生成元）生成。这条曲线把亏格2曲面分成两个亏格1的子曲面。亏格2的Torelli群结构比高亏格情形简单得多，它由单个分离扭转的共轭类生成，这使得其表示的分析更加可控。图中展示的分离曲线ϖ将亏格2曲面沿中间“切开”，分成两个甜甜圈表面，沿这条曲线的Dehn扭转在Torelli群中扮演着生成元的角色。

对亏格2，论文给出了更精细的刻画：C的伴随子范畴C_ad如果是各向同性的——即C_ad上所有简单对象的扭转标量θ都等于1——那么T₂作用平凡。反过来，论文也刻画了2-Torelli平凡范畴的精确条件。亏格2之所以不同于亏格≥3，是因为T₂只由单个分离扭转生成，它的作用只涉及伴随子范畴的信息，还不足以探测到整个范畴的pointed性。这个“断层”现象是本文最有趣的发现之一：亏格2和亏格≥3在Torelli平凡性上表现出截然不同的行为，这反映了Torelli群本身结构随亏格变化的复杂性。

图3：沿着两条同源的分离曲线γ和γ′做Dehn扭转，再复合得到bounding pair map，这是亏格≥3时Torelli群的正规生成元。Bounding pair map是Torelli群理论中的核心概念，它由两条同源但不同伦的分离曲线上的Dehn扭转复合而成。这种映射在同调群上作用平凡，但在曲面上产生了非平凡的扭曲。图中展示了亏格3曲面上的两条同源分离曲线，沿它们的Dehn扭转复合就得到了一个典型的bounding pair map。

证明思路的关键在于计算Dehn扭转在Reshetikhin-Turaev表示基上的作用。通过图形演算，论文算出了分离曲线Dehn扭转的对角系数，其中显式出现了扭转标量θ_{b₁}。而在亏格≥3时，bounding pair map的作用会暴露出θ_{a₂}⁻¹θ_{b₂}这样更精细的比例因子，这个比例只有在对象a₂和b₂都可逆（即pointed）时才恒等于1。这个计算过程是证明的核心技术环节，它展示了如何将抽象的范畴论数据（扭转标量）与具体的拓扑操作（Dehn扭转）联系起来。图形演算是低维拓扑和量子群理论中常用的强大工具，它允许研究者通过直观的图形操作来推导复杂的代数关系。

图4：曲线ϖ′上的Dehn扭转T_{ϖ′}属于Torelli群T₃。这类分离曲线在亏格≥3的证明中扮演关键角色。图中展示的曲线ϖ′是亏格3曲面上的一个分离曲线，它将曲面分成一个亏格1和一个亏格2的子曲面。沿这条曲线的Dehn扭转是同调平凡的，因此属于Torelli群。在证明中，作者通过分析这类Dehn扭转在表示中的具体作用，提取出了关键的扭转标量信息。

看到这里，许多读者可能已经感到一丝数学的“烧脑”了。这种从图形演算到范畴论分类的跨层推理，正是该领域让人着迷又头痛的地方。但正是这种跨层推理，使得数学家能够发现看似无关的数学结构之间的深刻联系。本文的证明过程本身就是这种跨层推理的典范：从Torelli群的生成元出发，通过图形演算计算其在TQFT表示中的作用，最终归结为范畴论中的pointed性条件。这种从拓扑到代数再到范畴的推理链条，展示了现代数学物理中不同分支之间紧密的相互作用。

各向同性伴随子范畴的完全分类

既然亏格2的Torelli平凡性与各向同性伴随子范畴紧密挂钩，一个自然的问题浮出水面：所有满足这个性质的模融合范畴，到底长什么样？论文的第二个主定理（Theorem 3.10）给出了完整的回答：

模融合范畴C的伴随子范畴是各向同性的，当且仅当C等价于某个pointed融合范畴的Drinfeld中心的一个模子范畴，且该pointed融合范畴的简单对象集构成一个阿贝尔群。

这句话信息量很大。逐一拆开看：伴随子范畴C_ad是由所有形如x⊗x*的分解中出现的简单对象生成的子范畴，它度量了范畴偏离阿贝尔结构的程度。各向同性指的是这些对象的扭转标量全部为1，用物理的话说就是这些粒子没有自旋统计相位。伴随子范畴的概念源于对融合范畴“非阿贝尔部分”的提取：x⊗x*的分解中出现的简单对象，反映了x与其对偶融合时的“复杂性”，这些对象的集合在张量积下封闭，构成一个子范畴。各向同性条件则进一步要求这些对象都是“玻色子”式的——没有统计相位。

而Drinfeld中心是融合范畴理论里的核心构造：给任意融合范畴A，它的Drinfeld中心Z(A)是一个模融合范畴。直观地说，Drinfeld中心把一个范畴“量子化”——其中的对象是A中的对象配上与所有A中对象的自然辫交换数据。当A是pointed范畴时，Z(A)的结构可以用群上同调完全描述。Drinfeld中心的概念源于量子群理论，它提供了一种从“经典”代数结构构造“量子”拓扑不变量的系统方法。对于pointed范畴Vect_G^ω（其中G是有限群，ω是3上循环），其Drinfeld中心Z(Vect_G^ω)是量子双代数D^ω(G)的表示范畴，这是一个非常重要的模融合范畴类。

换句话说，这个分类定理把一大片模融合范畴家族统一到了一个相当简洁的源头：阿贝尔群的扭群范畴的中心。这让研究者获得了一本清晰的“字典”——想找各向同性伴随子范畴，去阿贝尔pointed范畴的中心里找就是了。这个分类结果具有重要的方法论意义：它将看似复杂的模融合范畴分类问题，归结为相对简单的阿贝尔群和群上同调的分类问题。这体现了数学中“化归”思想的强大力量——通过找到合适的“基本构件”，可以将复杂问题分解为简单问题的组合。

图5：线性映射U：RT_C(Σ₂)→RT_C(Σ₃)在基向量上的作用。这个映射是沟通亏格2与亏格3情形的关键工具。图中展示的映射U将亏格2曲面上的TQFT向量空间映射到亏格3曲面上的TQFT向量空间，它通过“添加一个环柄”的几何操作实现。这个映射在证明亏格2和亏格≥3情形的差异时起到了桥梁作用，它允许研究者将亏格2的信息“提升”到更高亏格，从而比较两种情形下的表示行为。

证明的技术路线大致分三步。首先，论文证明了各向同性条件推出C_ad包含在C的pointed部分C_pt的Müger中心Z₂(C_pt,C)中。这一步把问题从“任意范畴”压缩到“pointed部分的中心”这样更可控的范围。接下来，通过Müger分解定理与广义等变化构造，将C嵌入Z(Vect_Ĝ^ω)的模子范畴，其中Ĝ是简单对象群的Pontryagin对偶，ω是群上同调类。最后再验证这种嵌入与各向同性条件的相容性。这三步走的技术路线体现了现代范畴论中处理分类问题的标准范式：先压缩问题范围，再构造嵌入映射，最后验证相容性。每一步都需要精细的范畴论技术，但整体思路清晰明了。

这里值得注意的一个技术细节是：“阿贝尔群”这个条件并不是一开始就假设的，而是被各向同性条件自然逼出来的。当简单对象群不是阿贝尔群时，分类会复杂得多，而各向同性条件恰好消除了这种复杂性。这个现象在数学中并不罕见——额外的对称性条件往往会“驯服”原本复杂的结构，使其变得可分类。各向同性条件在这里扮演了“驯服者”的角色，它将可能的范畴类限制在一个非常狭窄但结构清晰的范围内。

这个分类也把此前[15]中的结果从扭群范畴的情形推广到了一般的阿贝尔情形。论文还顺带证明了，各向同性伴随子范畴的模融合范畴都是整范畴（integral），其Frobenius-Perron维数是正整数，这也为实际计算提供了方便。整范畴性质意味着所有简单对象的量子维数都是正整数，这大大简化了数值计算和分类枚举。Frobenius-Perron维数在融合范畴理论中扮演着类似“维度”的角色，它度量了简单对象的“大小”，整范畴性质保证了这些维度都是整数，从而使得许多组合计算变得可行。

数学意义与应用前景

这篇论文的成就是双重的：一方面，高亏格g≥3的Torelli平凡性被压缩成了最干净的pointed性判定；另一方面，亏格2的情形也借助各向同性伴随子范畴的完全分类，画上了一个阶段性的句号。这两个结果共同构成了对模融合范畴Torelli群作用的完整刻画，填补了该领域的一个重要空白。从数学史的角度看，这种“完整刻画”往往是学科成熟的标志——当一个数学对象的所有可能情形都被理解时，这个领域就进入了一个新的发展阶段。

从拓扑量子场论的角度看，Torelli群的作用位置决定了表示的“有效自由度”。Torelli群平凡，表示就约化到辛群Sp(2g,Z)上，同余性质随之而来。有了同余性质，高亏格辛群表示的算术研究就有了坚实的着力点，未来可以期待更多关于3-流形不变量和Verlinde型公式的推广结果。Verlinde公式是模融合范畴理论中最优美的结果之一，它将S矩阵与融合系数联系起来。在高亏格情形，类似的公式可能会涉及更复杂的算术结构，而同余性质为这些公式的推导提供了基础。

从数学物理的角度看，本文还传递了一个有趣的信号：非阿贝尔任意子绝不会给出Torelli平凡的表示。这对拓扑量子计算中寻找非阿贝尔任意子的研究来说，是一种反向的约束——如果一个模型在Torelli群上表现出完全的迟钝，那它本质上就是阿贝尔的，不值得费力去寻找非阿贝尔统计。这个结论为拓扑量子计算的模型筛选提供了理论指导：研究者应该关注那些Torelli群作用不平凡的模型，因为它们才可能包含非阿贝尔任意子。这种“反向筛选”策略在实验设计中有重要价值，可以帮助研究者避免在错误的模型中浪费时间。

未来有多个值得追踪的开放方向。比如：非各向同性情形下，2-Torelli平凡范畴到底还有哪些？各向同性条件与同余级别m的最小值之间有没有更精确的公式？这些工作能否推广到G-扩展融合范畴乃至更一般的张量范畴框架？这些问题都悬而未决。特别是最后一个问题，将Torelli平凡性的研究推广到更一般的张量范畴（如张量范畴的G-扩展），可能会揭示更多关于拓扑序和任意子统计的深刻结构。此外，本文的结果与模形式理论、量子群表示论以及低维拓扑之间的联系也值得进一步探索。

最后需要指出，本文是纯理论数学研究，不直接涉及工程应用。但它在数学物理、量子计算的理论建模以及模范畴分类程序中，都提供了一块重要的基石。理解哪些范畴会产生平凡表示，实际上也在帮助研究者理解：哪些范畴不会。这种“通过排除法来理解”的策略在数学研究中非常常见，它往往能带来意想不到的洞察。本文的结果为模融合范畴的分类程序提供了新的约束条件，有望加速该领域的分类进展。

龙迷三问

下面是龙哥对于大家可能的一些问题的解答：

这篇论文到底在解决什么问题？本文系统研究模融合范畴的Torelli群平凡性：证明亏格≥3时Torelli群包含于映射类群表示核中当且仅当范畴为pointed，改进既有结论；刻画亏格2情形，并给出各向同性伴随…

这篇工作最值得看的点是什么？不适用，该论文为纯数学理论论文，不涉及实验。主要结果以定理形式给出，包括：Theorem 3.3（对任意g≥3，C是g-Torelli平凡的当且仅当C是pointed的）和Theorem 3.10（C的伴随子范畴是各向同性的当且仅当C是某…

这篇工作的边界或风险在哪里？优点：理论结果深刻，将Torelli群表示平凡性与模融合范畴的pointed性建立了精确等价；给出了modular fusion category的完整分类结论，推广了已有文献结果。缺点：论文为纯理论数学，无实际计算实验验证；结果的物理和…

如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~

龙哥点评

论文创新性：★★★★☆

两个主定理都非常干净，尤其是g≥3的充要条件把问题压缩到pointed领地，简洁有力。方法是已有框架的精修，不是全新范式，但化繁为简本身就是价值。这种“精修”型创新在数学中非常常见，它往往需要对已有理论有极其深刻的理解，才能发现其中可以被简化的关键点。

实验合理度：★★★★★

纯数学论文不存在实验设计问题，证明逻辑链条完整，技术细节充分，引理和定理的依赖关系清晰。数学论文的“实验”就是证明过程，本文的证明结构严谨，每一步都有明确的逻辑依据，没有发现明显的漏洞或跳跃。

学术研究价值：★★★★☆

对TQFT表示论、映射类群和模范畴分类都有实质推动。同余性质的推广尤其值得关注，为后续辛群表示的算术研究提供了基础设施。本文的结果为多个研究领域提供了新的工具和视角，具有广泛的学术影响力。

稳定性：★★★★☆

数学定理一经证明就是绝对稳定的，不存在数据扰动或复现失败的问题。需要考察的是推广到其他代数结构时的稳定性，目前适用范围明确、边界清晰。本文的结果在模融合范畴的框架内是确定的，但其在更一般框架下的适用性还有待进一步研究。

适应性以及泛化能力：★★★☆☆

方法针对模融合范畴的Torelli平凡性，理论适用范围明确但比较专门。推广到G-扩展融合范畴或更高维TQFT仍需进一步工作。本文的方法高度依赖于模融合范畴的特殊性质，其泛化能力有限，但这也为后续研究指明了方向。

硬件需求及成本：★★★★★

纯理论推导，零计算资源需求，一台纸笔足矣。这是纯数学研究的独特优势，不需要昂贵的实验设备或大规模计算资源。

复现难度：★★★★☆

证明本身写得相当清楚，但需要读者具备图形演算、Drinfeld中心、Müger分解等较高阶的范畴论背景，对初学者而言门槛不低。建议读者先掌握融合范畴和TQFT的基础知识，再阅读本文的证明细节。

产品化成熟度：★★☆☆☆

纯基础数学研究，无直接产品化路径。但在拓扑量子计算的模型筛选和任意子分类方面，有理论参考价值。虽然不直接面向应用，但其理论结果可能间接影响未来的技术发展。

可能的问题：

论文技术门槛较高，对非领域读者不够友好；g≥3的结果与[27]的关系虽有明确说明，但核心洞见——为什么亏格2和亏格≥3出现断层——被隐藏在证明的技术细节中，作者没有单独拿出来做更深入的几何解释。如果作者能提供一个更直观的几何解释，将有助于更广泛的读者理解这个有趣的“断层”现象。

主要参考文献

[1] Liang Chang, Siu-Hung Ng, Yilong Wang. Modular fusion categories with trivial Torelli group actions. arXiv:2608.04462v1, 2026.

[2] Reshetikhin, N., Turaev, V. G. Invariants of 3-manifolds via link polynomials and quantum groups. Invent. Math. 103(3):547-597, 1991. （文中[34]，RT-TQFT构造的原始出处）

[3] Müger, M. From subfactors to categories and topology II: The quantum double of tensor categories and subfactors. J. Pure Appl. Algebra, 2003. （文中[24][25]，Müger中心与全局维度的相关工作）

[4] Johnson, D. The structure of the Torelli group I: A finite set of generators for T. Ann. of Math. Stud. 1983. （文中相关Torelli群生成元的经典文献）