14、循环亏群块的布劳尔树分类

循环亏群块的布劳尔树分类

1. 布劳尔树计算的微妙之处

在布劳尔树的计算中，存在一些微妙的问题。例如，考虑特定的树，实轴上的反射会交换某些特征标，像交换 $\chi_{30}$ 和 $\chi_{29}$，以及 $\chi_{9}$ 和 $\chi_{10}$。由于循环排序决定了某些单模之间存在扩张关系，而另一些则没有，所以不能只对树中的部分特征标进行反射操作。

计算布劳尔树的一个难点在于确定两个对偶特征标分别位于实轴的哪一侧。如果只有一对非实特征标，那么这并不重要，因为复共轭意味着特征标的位置选择只是对哪个四次单位根被称为 $i$ 的选择。然而，当存在多对非实特征标时，通常无法同时选择所有特征标的位置。比如，若交换 $\chi_{9}$ 和 $\chi_{10}$，就必须同时交换 $\chi_{30}$ 和 $\chi_{29}$，$\chi_{36}$ 和 $\chi_{35}$ 等等。

我们将标记平凡特征标的 $\chi_{1}$ 放在最右侧。在平面嵌入中，例外顶点应位于复平面 $C$ 的原点，而平凡特征标 $\chi_{1}$ 自然应放在实数 $1$ 的位置，即例外节点的右侧。对于 $C_{p^n} \rtimes C_{e}$ 的布劳尔树，设 $\zeta$ 是 $e$ 次本原单位根，$x$ 是 $C_{e}$ 的生成元。对于一维单模 $M$，若 $Ext^1_{kG}(k, M) \neq 0$（即在例外节点周围的循环排序中与 $k$ 相邻），$x$ 在 $M$ 上的作用相当于乘以 $\zeta$。这样，普通特征标值 $\chi_{j}(x)$ 为 $\zeta^{j}$，其中 $\chi_{j}$ 是在 $C$ 嵌入的布劳尔树中极坐标为 $(1, 2\pi j /