Oriented cover

(Difference between revisions)

Jump to: navigation, search

Revision as of 15:17, 21 May 2013

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

1 Introduction

This page is based on [Ranicki2002, Definition 4.56]. Let $p:\widetilde{X} \to X$ ${{Stub}} == Introduction == <wikitex>; This page is based on \cite{Ranicki2002|Definition 4.56}. Let $p:\widetilde{X} \to X$ be a regular covering of a connected space with [[Orientation character|orientation character]] $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$. Let $\pi$ denote the group of covering translations. Since $\widetilde{X}$ is a regular cover $\pi_1(\widetilde{X})$ is a normal subgroup of $\pi_1(X)$ and $\pi \cong \pi_1(X)/\pi_1(\widetilde{X})$ (See \cite{Hatcher2002|Proposition 1.39}). Let $q: \pi_1(X) \to \pi$ denote the quotient map. The orientation character of the cover factors as $$w(\widetilde{X}) = w(X)\circ p_*,$$ which corresponds to the intuition that the cover $\widetilde{X}$ is orientable if all loops in $\widetilde{X}$ project to orientable loops in $X$. {{beginthm|Lemma}} The cover $\widetilde{X}$ is orientable if and only if the orientation character $w(X)$ factors through $\pi$. {{endthm}} {{beginproof}} Consider the diagram $$\xymatrix{ \pi_1(\widetilde{X}) \ar[dr]^-{w(\widetilde{X})} \ar[d] ^-{p_*}& \ \pi_1(X) \ar[d]^-{q}\ar[r]^{w(X)} & \Zz_2 \ \pi \ar@{-->}[ur]^-{w} & }$$ If there exists a $w$ such that $w(X) = w\circ q$, then $w(\widetilde{X}) = w\circ q\circ p_* = 0$. Conversely if $w(\widetilde{X}) = 0$ then the map $$\begin{array}{rcl} w:\pi & \to & \Zz_2 \ {[\alpha]} & \mapsto & w(X)(\alpha)\end{array}$$ for any representative $\alpha\in \pi_1(X)$ of $[\alpha]\in \pi$ is well defined and factors $w(X)$. {{endproof}} In light of this we make the following definition. </wikitex> == Definition == <wikitex>; An '''orientable cover $(\widetilde{X},\pi,w)$''' of a (connected) space $X$ with an orientation character $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$ is a regular covering of $X$ with group of covering translations $\pi$, together with an orientation character $w:\pi \to \Zz_2$ such that $$\xymatrix{ w(X): \pi_1(X) \ar[r] & \pi \ar[r]^-{w} & \Zz_2. }$$ An '''oriented cover''' is an orientable cover together with a choice of orientation. </wikitex> == Examples == <wikitex>; The two most important examples of oriented covers are the universal cover $(\widetilde{X},\pi_1(X),w(X))$ and the [[Orientation covering|orientation double cover]] $(X^w,\Zz_2,\id_{\Zz_2})$. These correspond to the two extreme cases of factoring the orientation character via $\pi_1(X)$ and $\Zz_2$ respectively. Every oriented cover is a regular cover of $X^w$ and has $\widetilde{X}$ as a regular cover - this is a consequence of the fact that if $H_1, H_2$ are normal subgroups of $G$ with $H_1$ a subgroup of $H_2$ then $H_1$ is a normal subgroup of $H_2$. </wikitex> == Convention == <wikitex>; In the case that $X$ is already orientatable, the orientation double cover $(X^w,\Zz_2,\id_{\Zz_2})$ of $X$ consists of two disjoint copies of $X$. Any orientation of $X^w$ that we choose should involve giving the two copies of $X$ opposite orientations, otherwise this will not correspond to a non-zero fundamental class with respect to twisted coefficients. </wikitex> == References== {{#RefList:}} [[Category:Definitions]]p:\widetilde{X} \to X$ be a regular covering of a connected space with orientation character $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$ $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$ . Let $\pi$ $\pi$ denote the group of covering translations. Since $\widetilde{X}$ $\widetilde{X}$ is a regular cover $\pi_1(\widetilde{X})$ $\pi_1(\widetilde{X})$ is a normal subgroup of $\pi_1(X)$ $\pi_1(X)$ and $\pi \cong \pi_1(X)/\pi_1(\widetilde{X})$ $\pi \cong \pi_1(X)/\pi_1(\widetilde{X})$ (See [Hatcher2002, Proposition 1.39]). Let $q: \pi_1(X) \to \pi$ $q: \pi_1(X) \to \pi$ denote the quotient map. The orientation character of the cover factors as

$\displaystyle w(\widetilde{X}) = w(X)\circ p_*,$ $\displaystyle w(\widetilde{X}) = w(X)\circ p_*,$

which corresponds to the intuition that the cover $\widetilde{X}$ $\widetilde{X}$ is orientable if all loops in $\widetilde{X}$ $\widetilde{X}$ project to orientable loops in $X$ $X$ .

The cover $\widetilde{X}$ is orientable if and only if the orientation character $w(X)$ factors through $\pi$ .

Proof. Consider the diagram

$\displaystyle \xymatrix{ \pi_1(\widetilde{X}) \ar[dr]^-{w(\widetilde{X})} \ar[d] ^-{p_*}& \\ \pi_1(X) \ar[d]^-{q}\ar[r]^{w(X)} & \Zz_2 \\ \pi \ar@{-->}[ur]^-{w} & }$

If there exists a $w$ such that $w(X) = w\circ q$ , then $w(\widetilde{X}) = w\circ q\circ p_* = 0$ . Conversely if $w(\widetilde{X}) = 0$ then the map

$\displaystyle \begin{array}{rcl} w:\pi & \to & \Zz_2 \\ {[\alpha]} & \mapsto & w(X)(\alpha)\end{array}$ $\displaystyle \begin{array}{rcl} w:\pi & \to & \Zz_2 \\ {[\alpha]} & \mapsto & w(X)(\alpha)\end{array}$

for any representative $\alpha\in \pi_1(X)$ of $[\alpha]\in \pi$ is well defined and factors $w(X)$ .

$\square$ $\square$

In light of this we make the following definition.

2 Definition

An orientable cover $(\widetilde{X},\pi,w)$ of a (connected) space $X$ with an orientation character $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$ is a regular covering of $X$ with group of covering translations $\pi$ , together with an orientation character $w:\pi \to \Zz_2$ such that

$\displaystyle \xymatrix{ w(X): \pi_1(X) \ar[r] & \pi \ar[r]^-{w} & \Zz_2. }$

An oriented cover is an orientable cover together with a choice of orientation.

3 Examples

The two most important examples of oriented covers are the universal cover $(\widetilde{X},\pi_1(X),w(X))$ and the orientation double cover $(X^w,\Zz_2,\id_{\Zz_2})$ . These correspond to the two extreme cases of factoring the orientation character via $\pi_1(X)$ and $\Zz_2$ respectively. Every oriented cover is a regular cover of $X^w$ and has $\widetilde{X}$ as a regular cover - this is a consequence of the fact that if $H_1, H_2$ are normal subgroups of $G$ with $H_1$ a subgroup of $H_2$ then $H_1$ is a normal subgroup of $H_2$ .

4 Convention

In the case that $X$ is already orientatable, the orientation double cover $(X^w,\Zz_2,\id_{\Zz_2})$ of $X$ consists of two disjoint copies of $X$ . Any orientation of $X^w$ that we choose should involve giving the two copies of $X$ opposite orientations, otherwise this will not correspond to a non-zero fundamental class with respect to twisted coefficients.

5 References

[Hatcher2002] A. Hatcher, Algebraic topology, Cambridge University Press, 2002. MR1867354 (2002k:55001) Zbl 1044.55001
[Ranicki2002] A. Ranicki, Algebraic and geometric surgery, The Clarendon Press Oxford University Press, Oxford, 2002. MR2061749 (2005e:57075) Zbl 1003.57001

Oriented cover

Revision as of 15:17, 21 May 2013

Contents

1 Introduction

2 Definition

3 Examples

4 Convention

5 References

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

Interaction

Toolbox

@@ Line 19: / Line 19: @@
 == Definition ==
 <wikitex>;
-An '''oriented cover $(\widetilde{X},\pi,w)$''' of a (connected) space $X$ with an orientation character $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$ is a regular covering of $X$ with group of covering translations $\pi$, together with an orientation character $w:\pi \to \Zz_2$ such that
+An '''orientable cover $(\widetilde{X},\pi,w)$''' of a (connected) space $X$ with an orientation character $w(X)\in H^1(X;\Zz_2) = \Hom(\pi_1(X),\Zz_2)$ is a regular covering of $X$ with group of covering translations $\pi$, together with an orientation character $w:\pi \to \Zz_2$ such that
 $$\xymatrix{
    w(X): \pi_1(X) \ar[r] & \pi \ar[r]^-{w} & \Zz_2.
-  }$$
+  }$$ An '''oriented cover''' is an orientable cover together with a choice of orientation.
 </wikitex>
 == Examples ==
 <wikitex>;
-The two most important examples of oriented covers are the universal cover $(\widetilde{X},\pi_1(X),w(X))$ and the [[Orientation covering|orientation double cover]] $(X^w,\Zz_2,\id_{\Zz_2})$. These correspond to the two extreme cases of factoring the orientation character via $\pi_1(X)$ and $\Zz_2$ respectively. Every oriented cover is a regular cover of $X^w$ and has $\widetilde{X}$ as a regular cover.
+The two most important examples of oriented covers are the universal cover $(\widetilde{X},\pi_1(X),w(X))$ and the [[Orientation covering|orientation double cover]] $(X^w,\Zz_2,\id_{\Zz_2})$. These correspond to the two extreme cases of factoring the orientation character via $\pi_1(X)$ and $\Zz_2$ respectively. Every oriented cover is a regular cover of $X^w$ and has $\widetilde{X}$ as a regular cover - this is a consequence of the fact that if $H_1, H_2$ are normal subgroups of $G$ with $H_1$ a subgroup of $H_2$ then $H_1$ is a normal subgroup of $H_2$.
+</wikitex>
+== Convention ==
+<wikitex>;
+In the case that $X$ is already orientatable, the orientation double cover $(X^w,\Zz_2,\id_{\Zz_2})$ of $X$ consists of two disjoint copies of $X$. Any orientation of $X^w$ that we choose should involve giving the two copies of $X$ opposite orientations, otherwise this will not correspond to a non-zero fundamental class with respect to twisted coefficients.
 </wikitex>