正八面体的交换正则覆盖.pdfVIP

中国科学 数学 年 第 卷 第 期 正八面体的交换正则覆盖 马纪成 重庆文理学院数学系 重庆 收稿日期 接受日期 国家自然科学基金批准号 和重庆文理学院引进人才 批准号 资助项目 摘要 正八面体是正多面体的一种, 其有6 个顶点、12 条边和8 个面. 本文通过延伸面, 对正八面体 的可定向交换正则覆盖地图作出完全分类. 主要方法涉及Conder 与本文作者对弧传递图的交换正则 覆盖图的分类中的分层刻画技术. 关键词 正八面体 正则覆盖 交换覆盖 主题分类 引言 正则地图是具有高对称性的简单图或多重图在闭曲面上的嵌入. 本文集中研究正则地图在可定向 曲面上的分类问题. 众所周知, 这样的地图通常可被看作是一个正则地图的正则覆盖. Jones 和 Surowski 利用覆盖的方法, 通过延伸顶点、边及面将柏拉图多面体的循环正则覆盖作出了分类; Conder 和 Everitt 也通过循环正则覆盖的方法, 证明了以 77% 的正整数为亏格的不可定向曲面上 都至少存在一个正则地图; Conder 和 Ma 通过交换正则覆盖的方法, 证明了当可定向曲面的亏格 g ≡ 0, 1, 3, 4, 5 mod 6 时, 至少存在一个简单正则地图; 最近, Jones 对柏拉图多面体的初等交换正 则覆盖作出了分类, 其中初等交换覆盖群的阶与旋转群的阶互素. 本文中, 我们通过延伸面, 对正八面 体的可定向交换正则覆盖作出完全分类. 其中涉及到的组合群论的方法类似于Conder 与Ma 在分类 三度对称图的对称交换正则覆盖时所给出的方法. 需要注意的是, 由延伸顶点所构造出的地图正是延 伸面所给出的地图的对偶. 因此, 读者也可从延伸顶点或边的角度出发. 对于延伸边的方法, 更多的细 节见Jones 等人的文献 [1]. 本文主要由以下几部分内容组成: 第 2 节介绍正则地图的基本概念与背景知识, 参见文献 [3, 5] 等. 特别地, 第 2 节同时给出本文所涉及到的从组合群论的角度出发来构造交换正则覆盖的方法. 第3 节包含正八面体的交换正则覆盖的完全分类. 最后在第4 节给出本文的主要结果. 基本概念 所谓地图, 是指连通图X 在有界闭合曲面S 上的2- 胞腔嵌入. 其中2- 胞腔是指X 的边互不相 交, 且每一个分支都是单连通的 (即同胚于一个圆盘). 根据支撑曲面为可定向或不可定向, 地图M 被 英文引用格式 马纪成 正八面体的交换正则覆盖 称为可定向或不可定向. 任一地图M 是由顶点集、边集和面集组成, 分别记为V = V (M), E = E (M) 和 F = F (M). 与 M 相关的另一集合称为弧集, 它包含了顶点 - 边的组合 (v, e) ∈ V × E ; 当基图 为单图时, 它们可被看作为相邻顶点的有序对. 同时, 每一条弧都伴随着两个刀片, 包含弧 (v, e) 和 给定方向的边 e; 在非退化的情形下, 每一条边都包含在两个面中, 它们便是顶点 - 边 - 面的三元组 (v, e, f ) ∈ V × E × F . 地图M 的一个自同构是基图中边的任意置换, 并且保持其邻接关系 (即保持嵌 入), 或等价地说, 任意图的自同构诱导了支撑曲面到它自身的同胚. 由连通性可知, 每一个自同构都 唯一地由它在刀片上的作用所决定. 所有地图 M 的自同构组成的集合在复合的作用下构成一个群, 称为地图的自同构群, 记为AutM. 如果M 为可定向的, 那么包含所有保方向的自同构子群在AutM o 中的指数为1 或2, 记为Aut M, 有时称为M 的旋转群. 如果可定向地图M 存在反方向自同构 (即 o Aut M 在AutM 中的指数为2) , 那么M 称为可反射的, 反之称为不可反射. 若M 为不可定向的,