The Period Lattice for Enriques
The Period Lattice for Enriques
复制标题
恩里克斯的周期格
DOI:
10.1007/978-3-662-03073-8
复制
发表时间:
2000
期刊:
影响因子:
--
通讯作者:
S. Allcock
中科院分区:
文献类型:
--
作者:
S. Allcock
It is well-known that the isomorphism classes of complex Enriques surfaces are in 1-1 correspondence with a Zariski-open subset (D ? H)=? of the quotient of the Hermitian symmetric space D for O(2; 10). Here H is a totally geodesic divisor in D and ? is a certain arithmetic group. In the usual formulation of this result 5], ? is described as the isometry group of a certain integral lattice N of signature (2; 10). This lattice is quite complicated, and requires sophisticated techniques to work with. The purpose of this note is to replace N by the much simpler lattice I 2;10 , the unique odd unimodular lattice of signature (2; 10). This allows for dramatic simpliications in several arguments concerning N, replacing intricate analysis by elementary facts. For example, in this setting it is easy to see that H=? D=? is irreducible, and also easy to enumerate the boundary components in the Satake compactiication of D=?. Using I 2;10 in place of N also allows one to show that (D?H)=? has contractible universal cover. The last of these results is new, and the full proof appears in 1]; here we only give the main idea. The basis of this paper is a lattice-theoretic trick which is well-known to those who work with lattices; however, its applications in this setting do not appear to have been published before. We review some notation and facts from 5]. U denotes the two-dimensional lattice with inner product matrix ? 0 1 1 0. If A is a lattice then A(n) denotes a copy of A with all inner products multiplied by n. An Enriques surface S has fundamental group Z=2 and its universal cover ~ S is a K3 surface. The covering transformation { acts on L = H 2 (~ S; Z) = E 8 (?1) 2 U 3 , and its xed lattice M is primitive in L and isomorphic to E 8 (?2) U(2). It turns out that N = M ? is isomorphic to E 8 (?2)U(2)U. There is a holomorphic 2-form ! on ~ S, unique up to a multiplicative constant, and it satisses {(!) = ?!. This implies that as an element of H 2 (S; C) = L C , it lies in N C. Furthermore, ! satisses the equality h!j!i = 0 and the inequality h!j !i > 0, where h j i denotes …