Abstract. We introduce the notion of signature for relations in mapping class groups and show that the signature of a Lefschetz fibration over the 2-sphere is the sum of the signatures for basic relations contained in its monodromy. Combining explicit calculations of the signature cocycle with a technique of substituting positive relations, we give some new examples of non-holomorphic Lefschetz fibrations of genus 3, 4 and 5 which violate slope bounds for nonhyperelliptic fibrations on algebraic surfaces of general type.
IntroductionThe study of Lefschetz fibrations has turned out to be interesting and important by virtue of the remarkable works of Donaldson [10] and Gompf [17] which demonstrate a close relationship between symplectic 4-manifolds and Lefschetz fibrations.The geography problem of Lefschetz fibrations is one of the most interesting topics to be investigated. Originally, the geography problem for complex surfaces was to find minimal surfaces of general type with a prescribed pair of Chern numbers. Using the pair of Euler characteristic and signature instead of the pair of Chern numbers, we can consider also the geography problem of Lefschetz fibrations. The Euler characteristic of a given Lefschetz fibration is easily computed, while the signature is not. If the Lefschetz fibration is over the 2-sphere, Ozbagci [33] In the present paper we would like to propose a useful method of computing signatures of Lefschetz fibrations and give some new examples of non-holomorphic Lefschetz fibrations. We first introduce the notion of signature for relations in mapping class groups. The signature of a Lefschetz fibration over the 2-sphere is equal to the sum of the signatures for basic relations appearing in its monodromy. Combining explicit computations of signatures for basic relations with a technique of substituting positive relations, which is a generalization of a method of Fuller and Smith [37], we construct new examples of non-holomorphic Lefschetz fibrations of genus 3, 4 and 5 which violate lower bounds of the slope of non-hyperelliptic fibrations in algebraic geometry. This paper is organized as follows. In Section 2 we recall a well-known theorem of Hopf and some facts on 2-cocycles of groups. In Section 3 we define the signature of a relator of mapping class groups and carry out explicit computations of signatures for basic relators. In Section 4 we construct examples of non-holomorphic Lefschetz fibrations using the results of Section 3 and some results on slope bounds for algebraic surfaces.The idea of "the signature of a relation" occurred to the first author when he worked on signature of surface bundles at the University of Munich in 2000 with the co-authors of [13]. He is grateful to the co-authors of [13], especially D. Kotschick for helpful discussions and comments. The authors are grateful to K. Konno for a detailed explanation of his works on the lower bound of the slope of non-hyperelliptic fibrations and to T. Morifuji for useful comments on his formula of Meyer's function in [30].
...