Denoting by T the complex projective torus, we can embed the surface CP^1 × T in CP^5. In this paper we compute the fundamental group of the complement of the branch curve of this surface. Since the embedding is ...Denoting by T the complex projective torus, we can embed the surface CP^1 × T in CP^5. In this paper we compute the fundamental group of the complement of the branch curve of this surface. Since the embedding is not "ample enough", the embedded surface does not belong to the classes of surfaces where the fundamental group is virtually solvable: a property which holds for these groups for "ample enough" embeddings. On the other hand, as it is the first example of this computation for non simply-connected surfaces, the structure of this group (as shown in this paper) give rise to the extension of the conjecture regarding the structure of those fundamental groups of any surface.展开更多
基金supported by DAADEU-network HPRN-CT-2009-00099(EAGER)+2 种基金The Emmy Noether Research Institute for Mathematicsthe Minerva Foundation of GermanyThe Israel Science Foun dation grant #8008/02-3 (Excellency Center "Group Theoretic Methods in the Study of Algebraic Varieties")
文摘Denoting by T the complex projective torus, we can embed the surface CP^1 × T in CP^5. In this paper we compute the fundamental group of the complement of the branch curve of this surface. Since the embedding is not "ample enough", the embedded surface does not belong to the classes of surfaces where the fundamental group is virtually solvable: a property which holds for these groups for "ample enough" embeddings. On the other hand, as it is the first example of this computation for non simply-connected surfaces, the structure of this group (as shown in this paper) give rise to the extension of the conjecture regarding the structure of those fundamental groups of any surface.