Geometric 3-manifolds

Revision as of 09:51, 8 June 2010 (view source) Kuessner (Talk | contribs) (Created page with '<!-- COMMENT: To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments: - Fo…')		Revision as of 10:09, 8 June 2010 (view source) Kuessner (Talk | contribs) (→Introduction) Newer edit →
Line 16:		Line 16:
	A $\left(G,X\right)$-manifold is a manifold $M$ with a $\left(G,X\right)$-atlas, that is, a collection $\left\{\left(U_i,\phi_i\right):i\in I\right\}$ of homeomorphisms $$\phi_i:U_i\rightarrow \phi_i\left(U_i\right)\subset X$$ onto open subsets of $X$ such that all coordinate changes $$\gamma_{ij}=\phi_i\phi_j^{-1}:\phi_i\left(U_i\cap U_j\right)\rightarrow \phi_j\left(U_i\cap U_j\right)$$ are restrictions of elements of $G$.		A $\left(G,X\right)$-manifold is a manifold $M$ with a $\left(G,X\right)$-atlas, that is, a collection $\left\{\left(U_i,\phi_i\right):i\in I\right\}$ of homeomorphisms $$\phi_i:U_i\rightarrow \phi_i\left(U_i\right)\subset X$$ onto open subsets of $X$ such that all coordinate changes $$\gamma_{ij}=\phi_i\phi_j^{-1}:\phi_i\left(U_i\cap U_j\right)\rightarrow \phi_j\left(U_i\cap U_j\right)$$ are restrictions of elements of $G$.
		+
		+	Fix a basepoint $x_0\in M$ and a chart $\left(U_0,\phi_0\right)$ with $x_0\in U_0$. Let $\pi:\widetilde{M}\rightarrow M$ be the universal covering. These data determine the developing map $$D:\widetilde{M}\rightarrow X$$ that agrees with the analytic continuation of $\phi_0\pi$ along each path, in a neighborhood of the path's endpoint.
		+
		+	If we change the initial data $x_0$ and $\left(U_0,\phi_0\right)$, the developing map $D$ changes by composition with an element of $G$.
		+
		+	If $\sigma\in\pi_1\left(M,x_0\right)$, analytic continuation along a loop representing $\sigma$ gives a chart $\phi_0^\sigma$ that is comparable to $\phi_0, since they are both defined at $x_0$. Let $g_\sigma$ be the element of $G$ such that $\phi_0^\sigma=g_\sigma\phi_0$. The map $$H:\pi_1\left(M,x_0\right)\rightarrow G, H\left(\sigma\right)=g_\sigma$$
		+	is a group homomorphism and is called the holonomy of $M$.
		+
		+	If we change the initial data $x_0$ and $\left(U_0,\phi_0\right)$, the holonomy homomorphisms $H$ changes by conjugation with an element of $G$.
		+
		+	A $\left(G,X\right)$-manifold is complete if the developing map $D:\widetilde{M}\rightarrow X$ is surjective.
	</wikitex>		</wikitex>

---

Revision as of 10:09, 8 June 2010

Contents 1 Introduction 2 Construction and examples 3 Invariants 4 Classification/Characterization 5 Further discussion 6 References

1 Introduction

Let a group $<!-- COMMENT: To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments: - For statements like Theorem, Lemma, Definition etc., use e.g. {{beginthm|Theorem 1|(Milnor)}} ... ... ... {{endthm}}. - For references, use e.g. {{cite|Milnor1958b}}. END OF COMMENT --> == Introduction == <wikitex>; Let a group $G$ act on a manifold $X$ by homeomorphisms. A $\left(G,X\right)$-manifold is a manifold $M$ with a $\left(G,X\right)$-atlas, that is, a collection $\left\{\left(U_i,\phi_i\right):i\in I\right\}$ of homeomorphisms $$\phi_i:U_i\rightarrow \phi_i\left(U_i\right)\subset X$$ onto open subsets of $X$ such that all coordinate changes $$\gamma_{ij}=\phi_i\phi_j^{-1}:\phi_i\left(U_i\cap U_j\right)\rightarrow \phi_j\left(U_i\cap U_j\right)$$ are restrictions of elements of $G$. </wikitex> == Construction and examples == <wikitex>; ... </wikitex> == Invariants == <wikitex>; ... </wikitex> == Classification/Characterization == <wikitex>; ... </wikitex> == Further discussion == <wikitex>; ... </wikitex> == References == {{#RefList:}} <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]] {{Stub}}G$ act on a manifold $X$ by homeomorphisms.

A $\left(G,X\right)$-manifold is a manifold $M$ with a $\left(G,X\right)$-atlas, that is, a collection $\left\{\left(U_i,\phi_i\right):i\in I\right\}$ of homeomorphisms onto open subsets of $X$ such that all coordinate changes are restrictions of elements of $G$. Fix a basepoint $x_0\in M$ and a chart $\left(U_0,\phi_0\right)$ with $x_0\in U_0$. Let $\pi:\widetilde{M}\rightarrow M$ be the universal covering. These data determine the developing map that agrees with the analytic continuation of $\phi_0\pi$ along each path, in a neighborhood of the path's endpoint.

If we change the initial data $x_0$ and $\left(U_0,\phi_0\right)$, the developing map $D$ changes by composition with an element of $G$.

If $\sigma\in\pi_1\left(M,x_0\right)$, analytic continuation along a loop representing $\sigma$ gives a chart $\phi_0^\sigma$ that is comparable to $\phi_0, since they are both defined at$x_0$. Let$g_\sigma$be the element of$G$such that$\phi_0^\sigma=g_\sigma\phi_0$. The map

is a group homomorphism and is called the holonomy of $M$.

If we change the initial data $x_0$ and $\left(U_0,\phi_0\right)$, the holonomy homomorphisms $H$ changes by conjugation with an element of $G$.

A $\left(G,X\right)$-manifold is complete if the developing map $D:\widetilde{M}\rightarrow X$ is surjective.

2 Construction and examples

...

3 Invariants

...

4 Classification/Characterization

...

5 Further discussion

...

6 References

This page has not been refereed. The information given here might be incomplete or provisional.