Surface classification and local and global fundamental groups

DOI10.4171/RLM/459MaRDI QIDQ997582zbMATH OpenOpenAlexFDO

Authors Fabrizio Catanese

Publication date 7 August 2007

Published in Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0602128

zbMATH Keywords

3-manifoldscomplex surfacesfundamental groups

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Topology of surfaces (Donaldson polynomials, Seiberg-Witten invariants) (14J80) Generators, relations, and presentations of groups (20F05) Topological aspects of complex singularities: Lefschetz theorems, topological classification, invariants (32S50) Fundamental group, presentations, free differential calculus (57M05)

Abstract: Given a smooth complex surface S, and a compact connected global normal crossings divisor $D=cu{p}_i{D}_i$, we consider the local fundamental group, i.e., the fundamental group Gamma of T-D, where T is a good tubular neighbourhood of D. One has a surjection of Gamma onto the fundamental group of D, and the kernel $sK$ is normally generated by geometric loops $g{a}_i$ around the curve $D_i$. Among the main results, which are strong generalizations of a well known theorem of Mumford, is the nontriviality of $g{a}_i$ in the local fundamental group, provided all the curves $D_i$ of genus zero have selfintersection <= -2. (in particular this holds if the canonical divisor is nef on D), and under the technical assumption that the dual graph of D is a tree.

Review text

Summary: Given a smooth complex surface \(S\), and a compact connected global normal crossings divisor \(D=\bigcup_iD_i\), we consider the local fundamental group \(\pi_1(T\setminus D)\), where \(T\) is a good tubular neighbourhood of \(D\). One has an exact sequence \[ 1\to\mathcal K\to\Gamma:=\pi_1(T\setminus D)\to \Pi:=\pi_1(D)\to 1, \] and the kernel \(\mathcal K\) is normally generated by geometric loops \(\gamma_i\) around the curve \(D_i\). Among the main results, which are strong generalizations of a well known theorem of Mumford, is the nontriviality of \(\gamma_i\) in \(\Gamma=\pi_1(T\setminus D)\), provided all the curves \(D_i\) of genus zero have self-intersection \(D^2_i\leq -2\) (in particular this holds if the canonical divisor \(K_S\) is nef on \(D\)), and under the technical assumption that the dual graph of \(D\) is a tree.

Recommendations

• scientific article; zbMATH DE number 4077407
• The local \(\pi _ 1\) of the complement of a hypersurface with normal crossings in codimension 1 is abelian
• NORMAL ALGEBRAIC SURFACES OF ANTI-KODAIRA DIMENSION ONE OR TWO
• Algebraic surfaces with log canonical singularities and the fundamental groups of their smooth parts
• scientific article; zbMATH DE number 822817

Cited in

(7)

• Classification of epimorphisms of fundamental groups of surfaces onto free groups
• Holomorphic arcs on singularities
• Kodaira fibrations and beyond: methods for moduli theory
• On non fundamental group equivalent surfaces
• scientific article; zbMATH DE number 4077407 (Why is no real title available?)
• A new coding theory, for normal surfaces, and ADE singularities. I
• Topological methods in moduli theory

This page was built for publication: Surface classification and local and global fundamental groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997582)