3-MANIFOLD GROUPS, KÄHLER GROUPS AND COMPLEX SURFACES

Let G be a Kahler group admitting a short exact sequence 1 -> N -> G -> Q -> 1 where N is finitely generated. (i) Then Q cannot be non-nilpotent solvable. (ii) Suppose in addition that Q satisfies one of the following: (a) Q admits a discrete faithful non-elementary action on H-n for some n >= 2. (b) Q admits a discrete faithful non-elementary minimal action on a simplicial tree with more than two ends. (c) Q admits a (strong-stable) cut R such that the intersection of all conjugates of R is trivial. Then G is virtually a surface group. It follows that if Q is infinite, not virtually cyclic, and is the fundamental group of some closed 3-manifold, then Q contains as a finite index subgroup either a finite index subgroup of the three-dimensional Heisenberg group or the fundamental group of the Cartesian product of a closed oriented surface of positive genus and the circle. As a corollary, we obtain a new proof of a theorem of Dimca and Suciu in Which 3-manifold groups are Kahler groups? J. Eur. Math. Soc. 11 (2009) 521-528] by taking N to be the trivial group. If instead, G is the fundamental group of a compact complex surface, and N is finitely presented, then we show that Q must contain the fundamental group of a Seifert-fibered 3-manifold as a finite index subgroup, and G contains as a finite index subgroup the fundamental group of an elliptic fibration. We also give an example showing that the relation of quasi-isometry does not preserve Kahler groups. This gives a negative answer to a question of Gromov which asks whether Kahler groups can be characterized by their asymptotic geometry.

Monopoles on S-F(2) from the fuzzy conifold

The intersection of the conifold z(1)(2) + z(2)(2) + z(3)(2) = 0 and S-5 is a compact 3-dimensional manifold X-3. We review the description of X-3 as a principal U(1) bundle over S-2 and construct the associated monopole line bundles. These monopoles can have only even integers as their charge. We also show the Kaluza-Klein reduction of X-3 to S-2 provides an easy construction of these monopoles. Using the analogue of the Jordan-Schwinger map, our techniques are readily adapted to give the fuzzy version of the fibration X-3 -> S-2 and the associated line bundles. This is an alternative new realization of the fuzzy sphere S-F(2) and monopoles OH it.