E8⊕E8⊕E8⊕E8 流形上周期为3的自同构
Automorphisms of the E8⊕E8⊕E8⊕E8 Manifold with Period 3
DOI: 10.12677/PM.2017.76061, PDF, HTML, XML,    国家自然科学基金支持
作者: 吴语来*:海南大学,海南 海口
关键词: 四维流形自同构群表示不动点4-Manifold Automorphism Integral Representation Fixed Point
摘要: 本文对相交形式为E8⊕E8⊕E8⊕E8 的四维流形上的周期为3的自同构进行研究,利用G-符号差定理,考察其上周期为3的自同构作用含二维不动分支的情形,给出不可实现为局部线性作用的整表示,并给出同调平凡以及其他整表示的不动点类型的例子。
Abstract: In this essay, we concentrate on the automorphisms on the E8⊕E8⊕E8⊕E8 4-manifold with period 3. Using G-signature theorem, we investigate possible integral representations of fixed point set with two-dimensional components under such automorphisms. We eliminate some re-presentations that cannot be realized, and study some examples of the homologically trivial and others cases about the possible datum of fixed point sets.
文章引用:吴语来. E8⊕E8⊕E8⊕E8 流形上周期为3的自同构[J]. 理论数学, 2017, 7(6): 464-470. https://doi.org/10.12677/PM.2017.76061

1. 引言

E 8 格点是李代数和拓扑一个非常特殊和神秘的例子。Edmonds [1] 给出了 E 8 四维流形上自同构的(伪自由)实现的情形。Garibaldi [2] 综述了从Lie代数和代数群的领域关于 E 8 的许多已知发现和最近的结果。本文从相交形式为 E 8 E 8 E 8 E 8 的四维流形出发,讨论其上周期为3的素自同构的整表示,并利用G-符号差定理,考虑不动点集含二维不动分支的情形,对整表示分类,给出不可实现为局部线性作用的整表示,并给出同调平凡的以及其他整表示不动点类型的例子。

2. M 4 ( E 8 E 8 E 8 E 8 ) 上素自同构的表示

2.1. 整表示的直和分解

定理2.1:(Curtis and Reiner [3] )设M为紧致定向闭单连通拓扑流形,G为p阶循环群。G在M上的作用 ρ : G Aut ( H 2 ( M ) , ) 对应 H 2 ( M ) 上的整 Z p -表示,且可以直和分解为三个不可分表示块:

1) 平凡部分(1维):Z,G作用平凡;

2) 割圆部分( p 1 维): Z [ μ p ] ,G在 Z [ μ p ] 任意非零理想J上的作用为 μ p 的乘法;

3) 正则部分( p 维): Z [ Z p ] ,G作用为对基向量的置换,即 Z [ μ p ] 中非零理想J的原像, Z [ G ] J ˜ 上作用为 Z [ G ] Z [ μ p ] 自然映射 g μ p

这里 μ p exp ( 2 π i / p ) p 重单位根。

定理2.1源于Curtis 和Reiner 的论述(见 [3] 729页)。特别地,当 p = 2 时,有一个漂亮的初等证明。如果定理2.1中2)和3)的理想J正好是主理想,那么对应的不可分解的表示是标准的,即等价于对 Z [ μ p ] Z [ G ] 是一个 Z [ G ] -模。必须含有一个非主理想的J的不可分表示则是伪的。Reiner的工作指出,G的一个整表示可以如定理2.1中直和分解,且至多有一个伪的直和部分。注意到,由G-模恒等式 J 1 J 2 J 1 J 2 Z [ μ p ] 以及含有扭扩张的类似等式可知这样的分解并不是唯一的。在这种情形下,理想J其实决定了 Z [ μ p ] 理想类群中表示的理想类不变量。事实上,理想类不变量可以由所有出现的理想J的乘积给出。Swan [4] 指出,紧致多面体上分段线性作用不可能出现非平凡的理想类不变量(亦可参见Weintraub [5] )。值得注意的是,Ruberman和Weinberger 发现了如何构造四维流形上有伪理想类的拓扑作用的例子。于是自然的有一个问题:四维流形上局部线性作用可不可能出现伪理想类;可不可以精确描述出在四维流形上的一个一般拓扑作用可能出现的理想类。已经知道,当p < 23时,理想类群 Z [ μ p ] 消失,没有伪类出现。当第二Betti数 b 2 ( M ) < 22 时,也没有伪类出现。以及当系数群取有理数时,也没有伪类存在。事实上, J Q Q [ μ p ] J ˜ Q Q [ G ] 。特别的,由 Q [ Z p ] Q [ μ p ] Q ,有理系数表示可以表述成若干个Q与 Q [ μ p ] 的和。

简言之,G在M上的作用对应的二阶上同调整表示可以直和分解为:

H 2 ( M ) = Z [ Z p ] r Z [ μ p ] c Z t ( r , c , t 为非负整数)。

2.2. M 4 ( E 8 E 8 E 8 E 8 ) 上周期为3的整表示

定理2.2:当 p = 3 时, M 4 ( E 8 E 8 E 8 E 8 ) 上所有可能的素自同构的表示为:

Z [ Z 3 ] Z 29 Z [ Z 3 ] 2 Z 26 Z [ Z 3 ] 3 Z 23 Z [ Z 3 ] 4 Z 20 Z [ Z 3 ] 5 Z 17 Z [ Z 3 ] 6 Z 14 Z [ Z 3 ] 7 Z 11

Z [ Z 3 ] 8 Z 8 Z [ μ 3 ] 2 Z 28 Z [ Z 3 ] Z [ μ 3 ] 2 Z 25 Z [ Z 3 ] 2 Z [ μ 3 ] 2 Z 22 Z [ Z 3 ] 3 Z [ μ 3 ] 2 Z 19

Z [ Z 3 ] 4 Z [ μ 3 ] 2 Z 16 Z [ Z 3 ] 5 Z [ μ 3 ] 2 Z 13 Z [ Z 3 ] 6 Z [ μ 3 ] 2 Z 10 Z [ Z 3 ] 7 Z [ μ 3 ] 2 Z 7

Z [ Z 3 ] 8 Z [ μ 3 ] 2 Z 4 Z [ μ 3 ] 4 Z 24 Z [ Z 3 ] Z [ μ 3 ] 4 Z 21 Z [ Z 3 ] 2 Z [ μ 3 ] 4 Z 18

Z [ Z 3 ] 3 Z [ μ 3 ] 4 Z 15 Z [ Z 3 ] 4 Z [ μ 3 ] 4 Z 12 Z [ Z 3 ] 5 Z [ μ 3 ] 4 Z 9 Z [ Z 3 ] 6 Z [ μ 3 ] 4 Z 6

Z [ Z 3 ] 7 Z [ μ 3 ] 4 Z 3 Z [ Z 3 ] 8 Z [ μ 3 ] 4 Z [ μ 3 ] 6 Z 20 Z [ Z 3 ] Z [ μ 3 ] 6 Z 17 Z [ Z 3 ] 2 Z [ μ 3 ] 6 Z 14

Z [ Z 3 ] 3 Z [ μ 3 ] 6 Z 11 Z [ Z 3 ] 4 Z [ μ 3 ] 6 Z 8 Z [ Z 3 ] 5 Z [ μ 3 ] 6 Z 5 Z [ Z 3 ] 6 Z [ μ 3 ] 6 Z 2

Z [ μ 3 ] 8 Z 16 Z [ Z 3 ] Z [ μ 3 ] 8 Z 13 Z [ Z 3 ] 2 Z [ μ 3 ] 8 Z 10 Z [ Z 3 ] 3 Z [ μ 3 ] 8 Z 7

Z [ Z 3 ] 4 Z [ μ 3 ] 8 Z 4 Z [ Z 3 ] 5 Z [ μ 3 ] 8 Z Z [ μ 3 ] 10 Z 12 Z [ Z 3 ] Z [ μ 3 ] 10 Z 9

Z [ Z 3 ] 2 Z [ μ 3 ] 10 Z 6 Z [ Z 3 ] 3 Z [ μ 3 ] 10 Z 3 Z [ Z 3 ] 4 Z [ μ 3 ] 10 Z [ μ 3 ] 12 Z 8

Z [ Z 3 ] Z [ μ 3 ] 12 Z 5 Z [ Z 3 ] 2 Z [ μ 3 ] 12 Z 2 Z [ μ 3 ] 14 Z 4 Z [ Z 3 ] Z [ μ 3 ] 14 Z Z [ μ 3 ] 16

证明:由整表示的直和分解,设 H 2 ( E 8 E 8 E 8 E 8 ) = Z [ Z 3 ] r Z [ μ 3 ] c Z t ,有 3 r + 2 c + t = 32 。又由 E 8 不可分,排除 Z [ Z 3 ] 9 Z 5 Z [ Z 3 ] 10 Z 2 Z [ Z 3 ] 9 Z [ μ 3 ] 2 Z 的情形即证。

2.3. 伪自由情形

定理2.3:(Edmonds 和Ewing) [6] 令 Φ Z [ Z 3 ] -模 V = Z [ Z p ] r Z t Z 3 -不变的正定对称幺模双线性型,则当且仅当 t 1 Φ 可以实现为一个其上有局部线性的伪自由 Z 3 作用的单连通的闭四维流形的相交形式。

由定理2.2,观察 E 8 E 8 E 8 E 8 的素自同构,整表示为 Z [ Z 3 ] r Z t 型的情形皆不满足上述定理的条件。由此, E 8 E 8 E 8 E 8 Z [ Z 3 ] r Z t 型的整表示不可以由局部线性伪自由的周期为 p = 3 的同构实现。以下重点考虑不动点集 M G 含二维不动分支的整表示的情形。

3. 不动点集含二维不动分支的情形

3.1. 主要工具

Edmonds [1] 描述了不动点集 M G 的结构与 Z p 作用诱导的二阶上同调上的表示之间的关系。特别的,对于2.1节中阐述的直和分解 H 2 ( M ) = Z [ Z p ] r Z [ μ p ] c Z t ,有以下式子成立:

1) β 1 ( M G ) = c

2) β 0 ( M G ) + β 2 ( M G ) = t + 2

3) χ ( M G ) = t c + 2

4) 若 c = 0 ,则 M G 中所有的2-维分支皆为2-球面;

5) 若 M G 不是纯2-维的,那么 M G 中的2-维分支代表 H 2 ( M ; Z p ) 上的无关元。若 M G 是纯2-维的,且有k个2-维分支,则2-维分支可以张成 H 2 ( M ; Z p ) 一个维数不低于k − 1的子空间,其中任意k − 1个分支都代表无关元。

由上5)可知,本节考虑的情形中,不动点集中的所有的2-维分支都代表非零的同调类,使得它们都有偶的非负的标准欧拉类。

主要工具有G-符号差公式和Lefchetz不动点定理。

G-符号差公式 [1]

sign ( T , ( V , Φ ) ) = trace [ T : H 2 ( M ) H 2 ( M ) ] = i ( μ a i + 1 ) ( μ b i + 1 ) ( μ a i 1 ) ( μ b i 1 ) j 4 η i μ e j ( μ e j 1 ) 2

三角形式为:

sign ( T , ( V , Φ ) ) = i cot ( a i π p ) cot ( b i π p ) + Y csc 2 ( c Y π p ) ( Y Y )

一个较弱版本的G-符号差公式 [7]

| G | sign ( M / G ) = sign ( M ) + m M G def m + Y M G def Y

这里,符号差的亏值defm和defY为:

def m = i ( 1 + μ p a i ) ( 1 + μ p b i ) ( 1 μ p a i ) ( 1 μ p b i ) , def Y = p 2 1 3 ( Y Y )

其中, ( a i , b i ) 为m处的不动点类型, ( Y Y ) 为二维不动分支Y的自相交数。

定理3.1:(Lefschetz不动点定理 [8] )若 T : M M 生成一个 Z p 在单连通的闭四维流形M上的群作用,有 L ( T ; M ) = χ ( M G ) ,这里 χ ( M G ) 为不动点集 M G 的Eule示性数, L ( T ; M ) 为映射T的Lefschetz数:

L ( T ; M ) = 0 4 ( 1 ) k tr ( g ) | H k ( M ; Z )

3.2. 不可实现为局部线性作用的整表示

以下我们对相交形式为 E 8 E 8 E 8 E 8 的四维流形上周期为3的自同构作用的整表示类型进行讨论。

定理3.2: M 4 ( E 8 E 8 E 8 E 8 ) 上没有周期为3的自同构,整表示为

Z [ Z 3 ] 7 Z [ μ 3 ] 4 Z 3 Z [ Z 3 ] 8 Z [ μ 3 ] 4 Z [ Z 3 ] 4 Z [ μ 3 ] 6 Z 8 Z [ Z 3 ] 5 Z [ μ 3 ] 6 Z 5

Z [ Z 3 ] 6 Z [ μ 3 ] 6 Z 2 Z [ Z 3 ] 3 Z [ μ 3 ] 8 Z 7 Z [ Z 3 ] 4 Z [ μ 3 ] 8 Z 4 Z [ Z 3 ] 5 Z [ μ 3 ] 8 Z

Z [ Z 3 ] Z [ μ 3 ] 10 Z 9 Z [ Z 3 ] 2 Z [ μ 3 ] 10 Z 6 Z [ Z 3 ] 3 Z [ μ 3 ] 10 Z 3 Z [ μ 3 ] 12 Z 8

Z [ Z 3 ] Z [ μ 3 ] 12 Z 5 Z [ Z 3 ] 2 Z [ μ 3 ] 12 Z 2 Z [ μ 3 ] 14 Z 4 Z [ Z 3 ] Z [ μ 3 ] 14 Z

证明: ,选择适当的生成元,记符号差为 σ χ 为欧拉数。设(1,1)型的不动点有 x 个,每个贡献亏值为−1/3;(1,2)型的不动点有 y 个,每个贡献亏值为1/3;2维不动分支的欧拉数总和为 e ,个数为 k

由G-符号差公式和Lefschetz不动点定理,有

{ σ = 1 3 x + 1 3 y + 4 3 e χ = x + y + 2 k

σ , χ 在每组整表示中对应的情形不同,则可能的不动点集的情形也不同,以 σ , χ 为变量,得到导出组的基础解系为 ( 1 , 1 , 0 , 1 ) T , ( 2 2 , 1 , 0 ) T ,特解为

( 2 σ + χ 2 , 2 σ + χ 2 , 0 , 0 ) T

在通解为

k 1 ( 1 1 0 1 ) + k 2 ( 2 2 1 0 ) + ( 2 σ + χ 2 2 σ + χ 2 0 0 )

整表示中 e 正定,且 e 2 k ,考察定理2.2的所有整表示类型,得到所有无解的情形,如定理3.2所述。故以上整表示不可实现 M 4 ( E 8 E 8 E 8 E 8 ) 上周期为3的局部线性作用。

3.3. 同调平凡的情形

特别的,我们给出同调平凡的例子。

当作用是同调平凡的时候, M 4 ( E 8 E 8 E 8 E 8 ) 上的周期为3的自同构的情形下,适当选取生成元,由符号差定理和不动点公式,有:

{ 32 = 1 3 x + 1 3 y + 4 3 e 34 = x + y + 2 k

寻找 e 2 k > 0 ,且 e , k 为整数解, e 为偶数,得到所有的整数解对 { e , k } 如下:

可以看出,这并不是一个同调平凡作用刚性的例子。

3.4. 其他例子

Z [ μ 3 ] 10 Z 12 Z [ Z 3 ] 8 Z [ μ 3 ] 2 Z 4 为例,给出不动点类型。

命题3.3:当表示为 Z [ μ 3 ] 10 Z 12 时, M 4 ( E 8 E 8 E 8 E 8 ) 上的周期为3的自同构的不动点可能为:

1) 一个欧拉数为2的环面,5个(1,1)型不动点,7个(1,2)型不动点;

2) 一个欧拉数为4的环面,11个(1,1)型不动点,1个(1,2)型不动点;

3) 一个环面和一个球面,欧拉数之和为4,10个(1,1)型不动点。

证明:适当选择生成元,符号差为2,设(1,1)型的不动点有 x 个,每个贡献亏值为−1/3;(1,2)型的不动点有 y 个,每个贡献亏值为1/3;2维不动分支的欧拉数总和为 e ,个数为 k 。由不动点定理, x + y + 2 k = 14 。由G-符号差定理,有

2 = 1 3 x + 1 3 y + 4 3 e

考察 e 2 k > 0 ,且 e , k 为整数的所有解,如下

{ e = 2 , k = 1 } , { e = 3 , k = 1 } , { e = 4 , k = 1 } , { e = 4 , k = 2 } , { e = 5 , k = 1 }

注意到 e 为偶数,去掉 e = 3,5 的情形,得到所有的整数解为

e = 2 , k = 1 , x = 5 , y = 7 e = 4 , k = 1 , x = 11 , y = 1 e = 4 , k = 2 , x = 10 , y = 0

即当表示为 Z [ μ 3 ] 10 Z 12 的情形时, M 4 ( E 8 E 8 E 8 E 8 ) 上的周期为3的自同构的所有不动点可能为:

1) 一个欧拉数为2的环面,5个(1,1)型不动点,7个(1,2)型不动点;

2) 一个欧拉数为4的环面,11个(1,1)型不动点,1个(1,2)型不动点;

3) 一个环面和一个球面,欧拉数之和为4,10个(1,1)型不动点。

命题3.4:当表示为 Z [ Z 3 ] 8 Z [ μ 3 ] 2 Z 4 时, M 4 ( E 8 E 8 E 8 E 8 ) 上的周期为3的自同构的所有不动点可能为:

一个欧拉数为2的环面,亏格为1,以及3个(1,1)型不动点,1个(1,2)型不动点。

证明:适当选择生成元,有符号差为2,由设(1,1)型的不动点有 x 个,每个贡献亏值为−1/3;(1,2)型的不动点有 y 个,每个贡献亏值为1/3;2维不动分支的欧拉数总和为 e ,个数为 k 。且由不动点定理, x + y + 2 k = 6 。由G-符号差定理,有

2 = 1 3 x + 1 3 y + 4 3 e

得到 e 2 k > 0 ,且 e , k 为整数的所有解,如下

{ e = 2 , k = 1 } , { e = 3 , k = 1 }

注意到 e 为偶数,去掉 e = 3 的情形,得到所有的整数解为 e = 2 , k = 1 , x = 3 , y = 1 ,即当表示为 Z [ Z 3 ] 8 Z [ μ 3 ] 2 Z 4 的情形时, M 4 ( E 8 E 8 E 8 E 8 ) 上的周期为3的自同构的所有不动点可能为:

一个欧拉数为2的环面,亏格为1,以及3个(1,1)型不动点,1个(1,2)型不动点。

其他表示的不动点集情形亦可类似给出。

基金项目

国家自然科学基金天元专项(No.11526066);海南省自然科学基金(No.20151001)。

参考文献

[1] Edmonds, A.L. (1997) Automorphisms of the Four-Manifold. Geometric Topology.
[2] Garibaldi S. (2016) , the Most Exceptional Group. Bull. American Mathematical Society, 53, 643-671.
https://doi.org/10.1090/bull/1540
[3] Curtis, C.W. and Reiner, I. (1962) Representation Theory of Finite Groups and Associative Algebras. Wiley Interscience, New York.
[4] Swan, R.G. (1963) The Grothendieck Ring of a Finite Group. Topology, 2, 85-110.
https://doi.org/10.1016/0040-9383(63)90025-9
[5] Weintraub, S.H. (1977) Topological Realization of Equivariant Intersection Forms. Pacific Journal of Mathematics, 73, 257-280.
https://doi.org/10.2140/pjm.1977.73.257
[6] Edmonds, A.L. and Ewing, J.H. (1992) Realizing Forms and Fixed Point Data in Dimension Four. The American Journal of Mathematics, 114, 1103-1126.
https://doi.org/10.2307/2374891
[7] Gordon, C.M. (1986) On the G-Signature Theorem in Dimension Four. A la Recherche de la Topologie Perdue.
[8] Kwasik, S. and Schultz, R. (1989) Homological Properties of Periodic Homeomorphisms of 4-Manifolds. Duke Mathematical Journal, 8, 241-250.
https://doi.org/10.1215/S0012-7094-89-05812-2