[论文解读] Action Type Geometrical Equivalence of Representations of Groups

B. Plotkin, A. Tsurkov|ArXiv.org|Jan 21, 2005

Geometric and Algebraic Topology参考文献 10被引用 8

一句话总结

本文引入了在交换环 K 上群表示的“作用类型代数几何”，定义了新的概念，如作用类型几何等价、拟簇和逻辑诺特性。证明了存在不可数无穷多个非同构的简单 $KF_2$-模，从而构造出一个非作用类型逻辑诺特性的表示，并表明其超幂不与原表示作用类型几何等价，这一结果与群论中的已知结论相平行。

ABSTRACT

For every variety of algebras and every algebras in these variety we can consider an algebraic geometry. Algebras may be many sorted (not necessarily one sorted) algebras. A set of sorts is fixed for each variety. This theory can be applied to the variety of representations of groups over fixed commutative ring with unit. We consider a representation as two sorted algebra. We concentrate on the case of the action type algebraic geometry of representations of groups. In this case algebraic sets are defined by systems of action type equations and equations in the acting group are not considered. This is the special case, which cannot be deduced from the general theory. In this paper the following basic notions are introduced: action type geometrical equivalence of two representations, action type quasi-identity in representations, action type quasi-variety of representations, action type Noetherian variety of representations, action type geometrically Noetherian representation, action type logically Noetherian representation.

研究动机与目标

• 开发针对群表示的专门代数几何框架，聚焦于作用类型方程，排除作用群中的方程。
• 定义并研究新的不变量，如作用类型几何等价、作用类型拟簇和作用类型逻辑诺特性。
• 利用准恒等式和超幂构造，建立作用类型几何与逻辑诺特性的判别准则。
• 证明存在不可数无穷多个非同构的简单 $KF_2$-模，挑战表示论中经典的诺特性假设。
• 构造一个非作用类型逻辑诺特性的表示，并证明其超幂不与原表示几何等价，扩展了群论中的已知结果。

提出的方法

• 将表示形式化为双排序代数 $(V, G)$，其中 $V$ 是 $K$-模，$G$ 是作用于 $V$ 上的群，通过作用类型方程定义代数集。
• 通过逼近型准则（定理 5.1 的推论 2）引入作用类型几何等价，类比经典几何等价。
• 定义作用类型准恒等式，并利用其刻画作用类型拟簇，给出类似伯克霍夫描述的结构（定理 7.1 的推论 2）。
• 应用核子表示和正规子表示的概念，分析理想在作用类型闭包下的闭性。
• 利用超幂构造生成一个不与原表示作用类型几何等价的表示，其依据是逻辑诺特性的失败。
• 利用存在不可数无穷多个非同构简单 $KF_2$-模（定理 8.1）来构造逻辑诺特性失败的反例。

实验结果

研究问题

• RQ1 是否存在一个表示是作用类型逻辑诺特性，但不是作用类型几何诺特性？
• RQ2 在什么条件下两个表示是作用类型几何等价的？这种等价性能否通过逼近方式刻画？
• RQ3 存在不可数无穷多个非同构简单 $KF_2$-模，是否意味着存在非作用类型逻辑诺特性的表示？
• RQ4 一个非作用类型逻辑诺特性表示的超幂，是否可能不与原表示作用类型几何等价？
• RQ5 在交换环上群表示的背景下，作用类型拟簇与逻辑诺特性之间有何关系？

主要发现

• 本文证明了存在不可数无穷多个非同构的简单 $KF_2$-模（$eth_1 = eth_1$），其中 $F_2$ 是两个生成元的自由群。
• 构造了一个表示 $(V, F_2)$，满足 $|V| = eth_0$，其为非作用类型逻辑诺特性，这是由于某些理想不满足作用类型闭包。
• 该表示 $(V, F_2)$ 拥有一个可数的简单子模集合，但存在不可数无穷多个非同构的简单 $KF_2$-模，这意味着并非所有模都能嵌入到同一个超幂像中。
• 构造了一个 $(V, F_2)$ 的超幂 $(\tilde{V}, \tilde{F_2})$，其不与原表示作用类型几何等价，原因在于其作用类型拟簇闭包不同。
• 该超幂满足 $\text{LQ}^{0}\text{Q}^{r}\text{SC}(\tilde{V}, \tilde{F_2}) \neq \text{LQ}^{0}\text{Q}^{r}\text{SC}(V, F_2)$，通过定理 5.1 的推论 2 中的判别准则，确认了非等价性。
• 该结果与群论中已知定理（[MR]）相平行，表明在此背景下，逻辑诺特性并不蕴含超幂构造下的几何等价性。