Oriented cover
m |
(→Examples) |
||
(10 intermediate revisions by 2 users not shown) | |||
Line 5: | Line 5: | ||
{{beginthm|Lemma}} | {{beginthm|Lemma}} | ||
− | The | + | The space $\widetilde{X}$ is orientable if and only if the orientation character $w(X)$ factors through $\pi$. |
{{endthm}} | {{endthm}} | ||
{{beginproof}} Consider the diagram | {{beginproof}} Consider the diagram | ||
Line 27: | Line 27: | ||
== Lifts correspond to orientations == | == Lifts correspond to orientations == | ||
<wikitex>; | <wikitex>; | ||
− | Let $(\widetilde{M},\pi,w)$ be an oriented cover of a connected manifold $M^m$. A choice of lift $\widetilde{b}\in\widetilde{M}$ corresponds to a choice of $w$-twisted fundamental class $[\widetilde{M}]\in H_m(M | + | Let $(\widetilde{M},\pi,w)$ be an oriented cover of a connected manifold $M^m$. A choice of lift $\widetilde{b}\in\widetilde{M}$ corresponds to a choice of [[Poincaré duality|$w$-twisted fundamental class]] $[\widetilde{M}]\in H_m(M;\Z^w)$. Given a lift $\widetilde{b}$ a fundamental class $[\widetilde{M}]\in H_m(M;\Z^w)$ is uniquely determined by setting its restriction to $H_n(\widetilde{M},\widetilde{M}-\{\widetilde{b}\}; \Z)$ to be $1\in \pi$ and extending equivariantly. Conversely, given a fundamental class $[\widetilde{M}]\in H_m(M;\Z^w)$ define $\widetilde{b}$ to be the lift such that the restriction of $[\widetilde{M}]\in H_m(M;\Z^w)$ to $H_n(\widetilde{M},\widetilde{M}-\{\widetilde{b}\};\Z)$ is $1\in \pi$. |
</wikitex> | </wikitex> | ||
== Examples == | == Examples == | ||
<wikitex>; | <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$. | + | 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$. Thus for $(\overline{X},\pi,w)$ any oriented cover of $X$ the following diagram commutes: |
+ | $$\xymatrix{ && \pi_1(\widetilde{X})=\{1\} \ar[dl] \ar[dd] && \\ & \pi_1(\overline{X})\ar[dr]^-{p_*} \ar[dl]&&&\\ \pi_1(X^w)\ar[rr] && \pi_1(X) \ar[dd]^{\id} \ar[dr]^-{q} \ar[rr]^{w(X)} && \Z_2\\ &&&\pi \ar[ur]^-{w} & \\ && \pi_1(X)\ar[ur]&& | ||
+ | }$$ | ||
</wikitex> | </wikitex> | ||
− | == | + | == Orientations of the orientation double cover == |
<wikitex>; | <wikitex>; | ||
− | In the case that the manifold $M$ is already orientatable, the orientation double cover $(M^w,\Zz_2,\id_{\Zz_2})$ consists of two disjoint copies of $M$ | + | Let $M^m$ be a connected manifold and let $(M^w,\Zz_2,\id_{\Zz_2})$ be the orientation double cover. Following \cite{Ranicki2002|Proposition 4.48} there is a short exact sequence of $\Z[\Z_2]$-modules |
+ | $$\xymatrix@R=1mm{0 \ar[r] &\Z^{-} \ar[r] & \Z[\Z_2] \ar[r] & \Z \ar[r] &0 \\ & 1 \ar@{|->}[r] & 1-T, && \\ &&a+bT \ar@{|->}[r] & a+b. &} $$ | ||
+ | Applying $-\otimes_{\Z[\Z_2]} S(M^w)$ we obtain another short exact sequence which induces the following exact sequence in homology: | ||
+ | $$\xymatrix{\ldots \ar[r] & H_{n+1}(M) \ar[r] & H_n(M;\Z^w) \ar[r] & H_n(M^w) \ar[r]^-{p_*} & H_n(M) \ar[r] & \ldots}$$ | ||
+ | As $M$ is $m$-dimensional we have that $H_{m+1}(M)=0$ and so by the long exact sequence $$ H_m(M;\Z^w)\cong \ker(p_*:H_m(M^w)\to H_m(M)).$$ | ||
+ | In other words, a $w$-twisted fundamental class of a connected manifold $M$ can be thought of as a fundamental class of the orientation double cover that projects to zero in $H_m(M)$. In the case that the manifold $M$ is already orientatable, the orientation double cover $(M^w,\Zz_2,\id_{\Zz_2})$ consists of two disjoint copies of $M$ and a $w$-twisted orientation corresponds to an orientation of $M^w$ where the two copies of $M$ are given opposite orientations. In the case that $M$ is non-orientable $H_m(M;\Z)=0$ so a $w$-twisted orientation is precisely an orientation of the cover $M^w$. | ||
</wikitex> | </wikitex> | ||
Latest revision as of 17:10, 16 June 2014
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
[edit] 1 Introduction
Lemma 1.1. The space is orientable if and only if the orientation character factors through .
Proof. Consider the diagram
If there exists a such that , then . Conversely if then the map
for any representative of is well defined and factors .
In light of this we make the following definition.
[edit] 2 Definition
An orientable cover of a (connected) space with an orientation character is a regular covering of with group of covering translations , together with an orientation character such that
[edit] 3 Lifts correspond to orientations
Let be an oriented cover of a connected manifold . A choice of lift corresponds to a choice of -twisted fundamental class . Given a lift a fundamental class is uniquely determined by setting its restriction to to be and extending equivariantly. Conversely, given a fundamental class define to be the lift such that the restriction of to is .
[edit] 4 Examples
The two most important examples of oriented covers are the universal cover and the orientation double cover . These correspond to the two extreme cases of factoring the orientation character via and respectively. Every oriented cover is a regular cover of and has as a regular cover - this is a consequence of the fact that if are normal subgroups of with a subgroup of then is a normal subgroup of . Thus for any oriented cover of the following diagram commutes:
[edit] 5 Orientations of the orientation double cover
Let be a connected manifold and let be the orientation double cover. Following [Ranicki2002, Proposition 4.48] there is a short exact sequence of -modules
Applying we obtain another short exact sequence which induces the following exact sequence in homology:
In other words, a -twisted fundamental class of a connected manifold can be thought of as a fundamental class of the orientation double cover that projects to zero in . In the case that the manifold is already orientatable, the orientation double cover consists of two disjoint copies of and a -twisted orientation corresponds to an orientation of where the two copies of are given opposite orientations. In the case that is non-orientable so a -twisted orientation is precisely an orientation of the cover .
[edit] 6 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
Lemma 1.1. The space is orientable if and only if the orientation character factors through .
Proof. Consider the diagram
If there exists a such that , then . Conversely if then the map
for any representative of is well defined and factors .
In light of this we make the following definition.
[edit] 2 Definition
An orientable cover of a (connected) space with an orientation character is a regular covering of with group of covering translations , together with an orientation character such that
[edit] 3 Lifts correspond to orientations
Let be an oriented cover of a connected manifold . A choice of lift corresponds to a choice of -twisted fundamental class . Given a lift a fundamental class is uniquely determined by setting its restriction to to be and extending equivariantly. Conversely, given a fundamental class define to be the lift such that the restriction of to is .
[edit] 4 Examples
The two most important examples of oriented covers are the universal cover and the orientation double cover . These correspond to the two extreme cases of factoring the orientation character via and respectively. Every oriented cover is a regular cover of and has as a regular cover - this is a consequence of the fact that if are normal subgroups of with a subgroup of then is a normal subgroup of . Thus for any oriented cover of the following diagram commutes:
[edit] 5 Orientations of the orientation double cover
Let be a connected manifold and let be the orientation double cover. Following [Ranicki2002, Proposition 4.48] there is a short exact sequence of -modules
Applying we obtain another short exact sequence which induces the following exact sequence in homology:
In other words, a -twisted fundamental class of a connected manifold can be thought of as a fundamental class of the orientation double cover that projects to zero in . In the case that the manifold is already orientatable, the orientation double cover consists of two disjoint copies of and a -twisted orientation corresponds to an orientation of where the two copies of are given opposite orientations. In the case that is non-orientable so a -twisted orientation is precisely an orientation of the cover .
[edit] 6 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
Lemma 1.1. The space is orientable if and only if the orientation character factors through .
Proof. Consider the diagram
If there exists a such that , then . Conversely if then the map
for any representative of is well defined and factors .
In light of this we make the following definition.
[edit] 2 Definition
An orientable cover of a (connected) space with an orientation character is a regular covering of with group of covering translations , together with an orientation character such that
[edit] 3 Lifts correspond to orientations
Let be an oriented cover of a connected manifold . A choice of lift corresponds to a choice of -twisted fundamental class . Given a lift a fundamental class is uniquely determined by setting its restriction to to be and extending equivariantly. Conversely, given a fundamental class define to be the lift such that the restriction of to is .
[edit] 4 Examples
The two most important examples of oriented covers are the universal cover and the orientation double cover . These correspond to the two extreme cases of factoring the orientation character via and respectively. Every oriented cover is a regular cover of and has as a regular cover - this is a consequence of the fact that if are normal subgroups of with a subgroup of then is a normal subgroup of . Thus for any oriented cover of the following diagram commutes:
[edit] 5 Orientations of the orientation double cover
Let be a connected manifold and let be the orientation double cover. Following [Ranicki2002, Proposition 4.48] there is a short exact sequence of -modules
Applying we obtain another short exact sequence which induces the following exact sequence in homology:
In other words, a -twisted fundamental class of a connected manifold can be thought of as a fundamental class of the orientation double cover that projects to zero in . In the case that the manifold is already orientatable, the orientation double cover consists of two disjoint copies of and a -twisted orientation corresponds to an orientation of where the two copies of are given opposite orientations. In the case that is non-orientable so a -twisted orientation is precisely an orientation of the cover .
[edit] 6 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