Good Quotients from Bad Actions
Not all Good Actions are Free
In constructing examples of complex manifolds the transport of structure philosophy is useful. This principle means only doing hard work for a handful of examples and then throwing that well-earned structure around, through maps, to get new creations bearing the same structure.
For example, proving that is associative is an annoying set-theoretic exercise. When proving that is associative we do not start from pure set theory. Rather, we borrow known associativity of We say that addition of Gaussian integers is defined pointwise
and so is associative because it is associative in each coordinate by associativity of integer addition.
The case is similar in topology. Proving that is kind of hard. Computing of the sphere, torus and figure eight are not as hard; we use tools like van Kampen and Mayer-Vietoris to reduce the problem to computing
Writing down examples of complex manifolds is the same game. Our basic examples are open subsets . We seek to get new manifolds by taking orbit spaces of a group action. We shall describe some common conditions upon which a quotient space is a Hausdorff complex manifold and then give an example of an action not satisfying these common conditions but whose quotient is nonetheless a Hausdorff complex manifold. This (counter)example teaches us that not all good actions are free.
A group action is said to be free if whenever
A group action is said to be proper if the map is proper.
Quotients by free and proper actions are manifolds.
Let be a free and proper group action on a manifold Then, is a (Hausdorff) complex manifold.
For all such that there exist open nieghborhoods such that, for any , Now, suppose we have charts that witness as a complex manifold and such that for all and for all Then, (where denotes the projection) We get holomorphic charts
The properness condition ensures the quotient is Hausdorff.
Now, this is just one way to get a complex structure on a quotient. This counterexample comes from D. Huybrechts Complex Geometry p. 60: Consider a complex torus The group acts on by This action has four fixed points: , where A little dexterity with the Weierstrass function shows this quotient is isomorphic to This quotient is indeed a complex manifold (good) but the action is not free (bad).