Universal manifold pairings and positivity.
In each manifold modeled on a finite or infinite dimensional cube , , we construct a meager -subset which is universal meager in the sense that for each meager subset there is a homeomorphism such that . We also prove that any two universal meager -sets in are ambiently homeomorphic.
All maps of type (m,n) are covered by a universal map M(m,n) which lies on one of the three simply connected Riemann surfaces; in fact M(m,n) covers all maps of type (r,s) where r|m and s|n. In this paper we construct a tessellation M which is universal for all maps on all surfaces. We also consider the tessellation M(8,3) which covers all triangular maps. This coincides with the well-known Farey tessellation and we find many connections between M(8,3) and M.
We give criteria of finite determinacy for the volume and multiplicities. Given an analytic set described by {v = 0}, we prove that the log-analytic expansion of the volume of the intersection of the set and a "little ball" is determined by that of the set defined by the Taylor expansion of v up to a certain order if the mapping v has an isolated singularity at the origin. We also compare the cardinalities of finite fibers of projections restricted to such a set.
The question in the title, first raised by Goldman and Donaldson, was partially answered by Reznikov. We give a complete answer, as follows: if can be realized as both the fundamental group of a closed 3-manifold and of a compact Kähler manifold, then must be finite—and thus belongs to the well-known list of finite subgroups of , acting freely on .