Classifying Covering Spaces using First Cohomology
I am familiar with the classification of covering spaces of a space $X$ in terms of subgroups of $pi_1(X)$ (up to conjugation). However, if $X$ is a manifold, I know that $H^1(X; G)$ classifies G-bundles over $X$ (using Cech cohomology here). I think finite regular covering spaces are $mathbb{Z}/k mathbb{Z}$-bundles; regular means that the deck transformations act transitively on the fiber (and regular covers correspond to normal subgroups of $pi_1(X)$).
Does this mean that $H^1(X; mathbb{Z}/kmathbb{Z})$ is in bijection with k-sheeted regular covering spaces over $X$. I could not find such a statement anywhere and so am a bit suspicious.
Also, if this is correct, what does $H^1(X; mathbb{Z})$ classify? I'm not sure what a $mathbb{Z}$-bundle is - what has automorphism group equal to $mathbb{Z}$?
Also, $H^1(X; mathbb{Z}) = [X, S^1]$ so if $H^1(X; mathbb{Z})$ classifies some kind of bundles, there should be universal bundle over $S^1$ which pulls back to these bundles. What is this bundle?
algebraic-topology covering-spaces sheaf-cohomology
|
show 3 more comments
I am familiar with the classification of covering spaces of a space $X$ in terms of subgroups of $pi_1(X)$ (up to conjugation). However, if $X$ is a manifold, I know that $H^1(X; G)$ classifies G-bundles over $X$ (using Cech cohomology here). I think finite regular covering spaces are $mathbb{Z}/k mathbb{Z}$-bundles; regular means that the deck transformations act transitively on the fiber (and regular covers correspond to normal subgroups of $pi_1(X)$).
Does this mean that $H^1(X; mathbb{Z}/kmathbb{Z})$ is in bijection with k-sheeted regular covering spaces over $X$. I could not find such a statement anywhere and so am a bit suspicious.
Also, if this is correct, what does $H^1(X; mathbb{Z})$ classify? I'm not sure what a $mathbb{Z}$-bundle is - what has automorphism group equal to $mathbb{Z}$?
Also, $H^1(X; mathbb{Z}) = [X, S^1]$ so if $H^1(X; mathbb{Z})$ classifies some kind of bundles, there should be universal bundle over $S^1$ which pulls back to these bundles. What is this bundle?
algebraic-topology covering-spaces sheaf-cohomology
Maybe I'm wrong, but I'm not sure that any finite covering space is a $G$-principal bundle. To be on the safe side I'd require the additional property of being a regular covering space.
– Riccardo
Feb 13 '16 at 8:49
Yes, I think that is correct. Thank you.
– user39598
Feb 13 '16 at 8:56
1
Well we have a natural isomorphism of functors $H^1(-,mathbb{Z}/kmathbb{Z})cong [-,K(mathbb{Z}/kmathbb{Z},1)]$, and then notice that $K(mathbb{Z}/kmathbb{Z},1)$ is a $B(mathbb{Z}/kmathbb{Z})$, therefore it classifies $mathbb{Z}/kmathbb{Z}$-bundles, which are not all the $k$-coverings. This is what I'd say
– Riccardo
Feb 13 '16 at 9:48
2
you have all the rights to be confused, this is somewhat delicate if seen for the first time. I'd suggest you to check the nice book of tom Dieck Algebraic Topology, at page 328-329. He is very clear. Roughly speaking, we require the presence of an action of $mathbb{Z}/kmathbb{Z}$ on the bundle, (compatible with the structure) and such an action turns out to be transitive and free, by axioms. So for discrete groups, a $G$-bundle is something more than a $|G|$-covering, the latter has an obvious action of the deck transformation group, which is always free, but not necessarily transitive
– Riccardo
Feb 13 '16 at 9:58
1
$S^1$ is a $Bmathbb{Z}simeq K(mathbb{Z},1)$, so $H^1(X;mathbb{Z})cong[X,Bmathbb{Z}]cong[X,S^1]$ classifies fiber bundles with structure group $mathbb{Z}$, hence regular coverings with countably infinite fibers. The "universal guy" of such is the standard covering $mathbb{Z}rightarrowmathbb{R}rightarrow S^1$.
– archipelago
Feb 13 '16 at 10:14
|
show 3 more comments
I am familiar with the classification of covering spaces of a space $X$ in terms of subgroups of $pi_1(X)$ (up to conjugation). However, if $X$ is a manifold, I know that $H^1(X; G)$ classifies G-bundles over $X$ (using Cech cohomology here). I think finite regular covering spaces are $mathbb{Z}/k mathbb{Z}$-bundles; regular means that the deck transformations act transitively on the fiber (and regular covers correspond to normal subgroups of $pi_1(X)$).
Does this mean that $H^1(X; mathbb{Z}/kmathbb{Z})$ is in bijection with k-sheeted regular covering spaces over $X$. I could not find such a statement anywhere and so am a bit suspicious.
Also, if this is correct, what does $H^1(X; mathbb{Z})$ classify? I'm not sure what a $mathbb{Z}$-bundle is - what has automorphism group equal to $mathbb{Z}$?
Also, $H^1(X; mathbb{Z}) = [X, S^1]$ so if $H^1(X; mathbb{Z})$ classifies some kind of bundles, there should be universal bundle over $S^1$ which pulls back to these bundles. What is this bundle?
algebraic-topology covering-spaces sheaf-cohomology
I am familiar with the classification of covering spaces of a space $X$ in terms of subgroups of $pi_1(X)$ (up to conjugation). However, if $X$ is a manifold, I know that $H^1(X; G)$ classifies G-bundles over $X$ (using Cech cohomology here). I think finite regular covering spaces are $mathbb{Z}/k mathbb{Z}$-bundles; regular means that the deck transformations act transitively on the fiber (and regular covers correspond to normal subgroups of $pi_1(X)$).
Does this mean that $H^1(X; mathbb{Z}/kmathbb{Z})$ is in bijection with k-sheeted regular covering spaces over $X$. I could not find such a statement anywhere and so am a bit suspicious.
Also, if this is correct, what does $H^1(X; mathbb{Z})$ classify? I'm not sure what a $mathbb{Z}$-bundle is - what has automorphism group equal to $mathbb{Z}$?
Also, $H^1(X; mathbb{Z}) = [X, S^1]$ so if $H^1(X; mathbb{Z})$ classifies some kind of bundles, there should be universal bundle over $S^1$ which pulls back to these bundles. What is this bundle?
algebraic-topology covering-spaces sheaf-cohomology
algebraic-topology covering-spaces sheaf-cohomology
edited Feb 13 '16 at 8:57
user39598
asked Feb 13 '16 at 8:40
user39598user39598
140213
140213
Maybe I'm wrong, but I'm not sure that any finite covering space is a $G$-principal bundle. To be on the safe side I'd require the additional property of being a regular covering space.
– Riccardo
Feb 13 '16 at 8:49
Yes, I think that is correct. Thank you.
– user39598
Feb 13 '16 at 8:56
1
Well we have a natural isomorphism of functors $H^1(-,mathbb{Z}/kmathbb{Z})cong [-,K(mathbb{Z}/kmathbb{Z},1)]$, and then notice that $K(mathbb{Z}/kmathbb{Z},1)$ is a $B(mathbb{Z}/kmathbb{Z})$, therefore it classifies $mathbb{Z}/kmathbb{Z}$-bundles, which are not all the $k$-coverings. This is what I'd say
– Riccardo
Feb 13 '16 at 9:48
2
you have all the rights to be confused, this is somewhat delicate if seen for the first time. I'd suggest you to check the nice book of tom Dieck Algebraic Topology, at page 328-329. He is very clear. Roughly speaking, we require the presence of an action of $mathbb{Z}/kmathbb{Z}$ on the bundle, (compatible with the structure) and such an action turns out to be transitive and free, by axioms. So for discrete groups, a $G$-bundle is something more than a $|G|$-covering, the latter has an obvious action of the deck transformation group, which is always free, but not necessarily transitive
– Riccardo
Feb 13 '16 at 9:58
1
$S^1$ is a $Bmathbb{Z}simeq K(mathbb{Z},1)$, so $H^1(X;mathbb{Z})cong[X,Bmathbb{Z}]cong[X,S^1]$ classifies fiber bundles with structure group $mathbb{Z}$, hence regular coverings with countably infinite fibers. The "universal guy" of such is the standard covering $mathbb{Z}rightarrowmathbb{R}rightarrow S^1$.
– archipelago
Feb 13 '16 at 10:14
|
show 3 more comments
Maybe I'm wrong, but I'm not sure that any finite covering space is a $G$-principal bundle. To be on the safe side I'd require the additional property of being a regular covering space.
– Riccardo
Feb 13 '16 at 8:49
Yes, I think that is correct. Thank you.
– user39598
Feb 13 '16 at 8:56
1
Well we have a natural isomorphism of functors $H^1(-,mathbb{Z}/kmathbb{Z})cong [-,K(mathbb{Z}/kmathbb{Z},1)]$, and then notice that $K(mathbb{Z}/kmathbb{Z},1)$ is a $B(mathbb{Z}/kmathbb{Z})$, therefore it classifies $mathbb{Z}/kmathbb{Z}$-bundles, which are not all the $k$-coverings. This is what I'd say
– Riccardo
Feb 13 '16 at 9:48
2
you have all the rights to be confused, this is somewhat delicate if seen for the first time. I'd suggest you to check the nice book of tom Dieck Algebraic Topology, at page 328-329. He is very clear. Roughly speaking, we require the presence of an action of $mathbb{Z}/kmathbb{Z}$ on the bundle, (compatible with the structure) and such an action turns out to be transitive and free, by axioms. So for discrete groups, a $G$-bundle is something more than a $|G|$-covering, the latter has an obvious action of the deck transformation group, which is always free, but not necessarily transitive
– Riccardo
Feb 13 '16 at 9:58
1
$S^1$ is a $Bmathbb{Z}simeq K(mathbb{Z},1)$, so $H^1(X;mathbb{Z})cong[X,Bmathbb{Z}]cong[X,S^1]$ classifies fiber bundles with structure group $mathbb{Z}$, hence regular coverings with countably infinite fibers. The "universal guy" of such is the standard covering $mathbb{Z}rightarrowmathbb{R}rightarrow S^1$.
– archipelago
Feb 13 '16 at 10:14
Maybe I'm wrong, but I'm not sure that any finite covering space is a $G$-principal bundle. To be on the safe side I'd require the additional property of being a regular covering space.
– Riccardo
Feb 13 '16 at 8:49
Maybe I'm wrong, but I'm not sure that any finite covering space is a $G$-principal bundle. To be on the safe side I'd require the additional property of being a regular covering space.
– Riccardo
Feb 13 '16 at 8:49
Yes, I think that is correct. Thank you.
– user39598
Feb 13 '16 at 8:56
Yes, I think that is correct. Thank you.
– user39598
Feb 13 '16 at 8:56
1
1
Well we have a natural isomorphism of functors $H^1(-,mathbb{Z}/kmathbb{Z})cong [-,K(mathbb{Z}/kmathbb{Z},1)]$, and then notice that $K(mathbb{Z}/kmathbb{Z},1)$ is a $B(mathbb{Z}/kmathbb{Z})$, therefore it classifies $mathbb{Z}/kmathbb{Z}$-bundles, which are not all the $k$-coverings. This is what I'd say
– Riccardo
Feb 13 '16 at 9:48
Well we have a natural isomorphism of functors $H^1(-,mathbb{Z}/kmathbb{Z})cong [-,K(mathbb{Z}/kmathbb{Z},1)]$, and then notice that $K(mathbb{Z}/kmathbb{Z},1)$ is a $B(mathbb{Z}/kmathbb{Z})$, therefore it classifies $mathbb{Z}/kmathbb{Z}$-bundles, which are not all the $k$-coverings. This is what I'd say
– Riccardo
Feb 13 '16 at 9:48
2
2
you have all the rights to be confused, this is somewhat delicate if seen for the first time. I'd suggest you to check the nice book of tom Dieck Algebraic Topology, at page 328-329. He is very clear. Roughly speaking, we require the presence of an action of $mathbb{Z}/kmathbb{Z}$ on the bundle, (compatible with the structure) and such an action turns out to be transitive and free, by axioms. So for discrete groups, a $G$-bundle is something more than a $|G|$-covering, the latter has an obvious action of the deck transformation group, which is always free, but not necessarily transitive
– Riccardo
Feb 13 '16 at 9:58
you have all the rights to be confused, this is somewhat delicate if seen for the first time. I'd suggest you to check the nice book of tom Dieck Algebraic Topology, at page 328-329. He is very clear. Roughly speaking, we require the presence of an action of $mathbb{Z}/kmathbb{Z}$ on the bundle, (compatible with the structure) and such an action turns out to be transitive and free, by axioms. So for discrete groups, a $G$-bundle is something more than a $|G|$-covering, the latter has an obvious action of the deck transformation group, which is always free, but not necessarily transitive
– Riccardo
Feb 13 '16 at 9:58
1
1
$S^1$ is a $Bmathbb{Z}simeq K(mathbb{Z},1)$, so $H^1(X;mathbb{Z})cong[X,Bmathbb{Z}]cong[X,S^1]$ classifies fiber bundles with structure group $mathbb{Z}$, hence regular coverings with countably infinite fibers. The "universal guy" of such is the standard covering $mathbb{Z}rightarrowmathbb{R}rightarrow S^1$.
– archipelago
Feb 13 '16 at 10:14
$S^1$ is a $Bmathbb{Z}simeq K(mathbb{Z},1)$, so $H^1(X;mathbb{Z})cong[X,Bmathbb{Z}]cong[X,S^1]$ classifies fiber bundles with structure group $mathbb{Z}$, hence regular coverings with countably infinite fibers. The "universal guy" of such is the standard covering $mathbb{Z}rightarrowmathbb{R}rightarrow S^1$.
– archipelago
Feb 13 '16 at 10:14
|
show 3 more comments
2 Answers
2
active
oldest
votes
It's somewhat delicate here to get all the details right. First, $G$-bundles for a finite group $G$ are not required to be connected, so the relevant version of the classification of covering spaces is the disconnected version, which goes like this: the category of covering spaces of a nice connected space $X$ with basepoint $x$ is equivalent to the category of $pi_1(X, x)$-sets.
More explicitly, $n$-sheeted covers (possibly disconnected) are equivalent to actions of $pi_1(X, x)$ on $n$-element sets, or even more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to S_n$. Said another way, $n$-sheeted covers, possibly disconnected, are classified by the nonabelian cohomology set
$$H^1(X, S_n).$$
Among these, the connected covers correspond to the transitive actions, which are classified by conjugacy classes of subgroups of $pi_1(X, x)$ of index $n$. Among these, the regular covers correspond to normal subgroups.
Now, for $G$ a finite group, a $G$-bundle is more data than a $|G|$-sheeted cover: the fibers are equipped with a free and transitive right action of $G$ and everything has to be compatible with this. Said another way, $G$-bundles are equivalent to actions of $pi_1(X, x)$ on $G$ regarded as a right $G$-set, or more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to G$ (thinking of $G$ as a subgroup of $S_{|G|}$ to make the connection back to covers).
Given a finite regular $n$-sheeted cover $Y to X$ with corresponding normal subgroup $H = pi_1(Y, y)$ of $pi_1(X, x)$, we can think of this cover as a $G = pi_1(X, x)/H$-bundle, but not all $G$-bundles arise in this way (the monodromy map $pi_1(X, x) to G$ is not required to be surjective in general), and we only know that $G$ is some finite group of order $n$. Moreover, the data of a $G$-bundle includes the data of an isomorphism between $G$ and this quotient; it's not enough just to know that it exists.
So we can find a finite regular $n$-cover which is not a $mathbb{Z}/nmathbb{Z}$-bundle, even up to isomorphism of covers, by finding a group $pi_1(X, x)$ with a normal subgroup $H$ of index $n$ such that the quotient is not $mathbb{Z}/nmathbb{Z}$. A simple example is $X = T^2, pi_1(X, x) cong mathbb{Z}^2$; take $H = 2 mathbb{Z}^2$, so that the quotient is $mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z}$.
And we can find a $mathbb{Z}/nmathbb{Z}$-bundle which is not a finite regular $n$-cover in the usual sense, again even up to isomorphism of covers, by finding a disconnected such bundle; for example, $X times mathbb{Z}/nmathbb{Z}$ for $n ge 2$ and any $X$.
add a comment |
Regular cyclic $q$-coverings are classified by normal subgroups $$Nhookrightarrow pi_1X to pi_1X/Ncong mathbb Z/q,$$
hence there is a natural isomorphism to $Hom(pi_1X,mathbb Z/q)$ mod automorphism of $mathbb Z/q$.
Note that $K_q=K(mathbb Z/q,1)$ is universal in the sense that the map $$[X,K_q] to Hom(pi_1X,mathbb Z/q) = H^1(X,mathbb Z/q),$$ $$ [f]mapsto f_*$$ is an isomorphism. In particular you see that every cyclic $q$-covering is obtained by pulling back the universal cover of $K_q$.
Corollary If $X$ is a smooth orientable manifold, then all infinite cyclic covers (or cyclic which factor through $mathbb Z$) are obtained by cutting and gluing along a hypersurface.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1653001%2fclassifying-covering-spaces-using-first-cohomology%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
It's somewhat delicate here to get all the details right. First, $G$-bundles for a finite group $G$ are not required to be connected, so the relevant version of the classification of covering spaces is the disconnected version, which goes like this: the category of covering spaces of a nice connected space $X$ with basepoint $x$ is equivalent to the category of $pi_1(X, x)$-sets.
More explicitly, $n$-sheeted covers (possibly disconnected) are equivalent to actions of $pi_1(X, x)$ on $n$-element sets, or even more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to S_n$. Said another way, $n$-sheeted covers, possibly disconnected, are classified by the nonabelian cohomology set
$$H^1(X, S_n).$$
Among these, the connected covers correspond to the transitive actions, which are classified by conjugacy classes of subgroups of $pi_1(X, x)$ of index $n$. Among these, the regular covers correspond to normal subgroups.
Now, for $G$ a finite group, a $G$-bundle is more data than a $|G|$-sheeted cover: the fibers are equipped with a free and transitive right action of $G$ and everything has to be compatible with this. Said another way, $G$-bundles are equivalent to actions of $pi_1(X, x)$ on $G$ regarded as a right $G$-set, or more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to G$ (thinking of $G$ as a subgroup of $S_{|G|}$ to make the connection back to covers).
Given a finite regular $n$-sheeted cover $Y to X$ with corresponding normal subgroup $H = pi_1(Y, y)$ of $pi_1(X, x)$, we can think of this cover as a $G = pi_1(X, x)/H$-bundle, but not all $G$-bundles arise in this way (the monodromy map $pi_1(X, x) to G$ is not required to be surjective in general), and we only know that $G$ is some finite group of order $n$. Moreover, the data of a $G$-bundle includes the data of an isomorphism between $G$ and this quotient; it's not enough just to know that it exists.
So we can find a finite regular $n$-cover which is not a $mathbb{Z}/nmathbb{Z}$-bundle, even up to isomorphism of covers, by finding a group $pi_1(X, x)$ with a normal subgroup $H$ of index $n$ such that the quotient is not $mathbb{Z}/nmathbb{Z}$. A simple example is $X = T^2, pi_1(X, x) cong mathbb{Z}^2$; take $H = 2 mathbb{Z}^2$, so that the quotient is $mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z}$.
And we can find a $mathbb{Z}/nmathbb{Z}$-bundle which is not a finite regular $n$-cover in the usual sense, again even up to isomorphism of covers, by finding a disconnected such bundle; for example, $X times mathbb{Z}/nmathbb{Z}$ for $n ge 2$ and any $X$.
add a comment |
It's somewhat delicate here to get all the details right. First, $G$-bundles for a finite group $G$ are not required to be connected, so the relevant version of the classification of covering spaces is the disconnected version, which goes like this: the category of covering spaces of a nice connected space $X$ with basepoint $x$ is equivalent to the category of $pi_1(X, x)$-sets.
More explicitly, $n$-sheeted covers (possibly disconnected) are equivalent to actions of $pi_1(X, x)$ on $n$-element sets, or even more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to S_n$. Said another way, $n$-sheeted covers, possibly disconnected, are classified by the nonabelian cohomology set
$$H^1(X, S_n).$$
Among these, the connected covers correspond to the transitive actions, which are classified by conjugacy classes of subgroups of $pi_1(X, x)$ of index $n$. Among these, the regular covers correspond to normal subgroups.
Now, for $G$ a finite group, a $G$-bundle is more data than a $|G|$-sheeted cover: the fibers are equipped with a free and transitive right action of $G$ and everything has to be compatible with this. Said another way, $G$-bundles are equivalent to actions of $pi_1(X, x)$ on $G$ regarded as a right $G$-set, or more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to G$ (thinking of $G$ as a subgroup of $S_{|G|}$ to make the connection back to covers).
Given a finite regular $n$-sheeted cover $Y to X$ with corresponding normal subgroup $H = pi_1(Y, y)$ of $pi_1(X, x)$, we can think of this cover as a $G = pi_1(X, x)/H$-bundle, but not all $G$-bundles arise in this way (the monodromy map $pi_1(X, x) to G$ is not required to be surjective in general), and we only know that $G$ is some finite group of order $n$. Moreover, the data of a $G$-bundle includes the data of an isomorphism between $G$ and this quotient; it's not enough just to know that it exists.
So we can find a finite regular $n$-cover which is not a $mathbb{Z}/nmathbb{Z}$-bundle, even up to isomorphism of covers, by finding a group $pi_1(X, x)$ with a normal subgroup $H$ of index $n$ such that the quotient is not $mathbb{Z}/nmathbb{Z}$. A simple example is $X = T^2, pi_1(X, x) cong mathbb{Z}^2$; take $H = 2 mathbb{Z}^2$, so that the quotient is $mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z}$.
And we can find a $mathbb{Z}/nmathbb{Z}$-bundle which is not a finite regular $n$-cover in the usual sense, again even up to isomorphism of covers, by finding a disconnected such bundle; for example, $X times mathbb{Z}/nmathbb{Z}$ for $n ge 2$ and any $X$.
add a comment |
It's somewhat delicate here to get all the details right. First, $G$-bundles for a finite group $G$ are not required to be connected, so the relevant version of the classification of covering spaces is the disconnected version, which goes like this: the category of covering spaces of a nice connected space $X$ with basepoint $x$ is equivalent to the category of $pi_1(X, x)$-sets.
More explicitly, $n$-sheeted covers (possibly disconnected) are equivalent to actions of $pi_1(X, x)$ on $n$-element sets, or even more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to S_n$. Said another way, $n$-sheeted covers, possibly disconnected, are classified by the nonabelian cohomology set
$$H^1(X, S_n).$$
Among these, the connected covers correspond to the transitive actions, which are classified by conjugacy classes of subgroups of $pi_1(X, x)$ of index $n$. Among these, the regular covers correspond to normal subgroups.
Now, for $G$ a finite group, a $G$-bundle is more data than a $|G|$-sheeted cover: the fibers are equipped with a free and transitive right action of $G$ and everything has to be compatible with this. Said another way, $G$-bundles are equivalent to actions of $pi_1(X, x)$ on $G$ regarded as a right $G$-set, or more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to G$ (thinking of $G$ as a subgroup of $S_{|G|}$ to make the connection back to covers).
Given a finite regular $n$-sheeted cover $Y to X$ with corresponding normal subgroup $H = pi_1(Y, y)$ of $pi_1(X, x)$, we can think of this cover as a $G = pi_1(X, x)/H$-bundle, but not all $G$-bundles arise in this way (the monodromy map $pi_1(X, x) to G$ is not required to be surjective in general), and we only know that $G$ is some finite group of order $n$. Moreover, the data of a $G$-bundle includes the data of an isomorphism between $G$ and this quotient; it's not enough just to know that it exists.
So we can find a finite regular $n$-cover which is not a $mathbb{Z}/nmathbb{Z}$-bundle, even up to isomorphism of covers, by finding a group $pi_1(X, x)$ with a normal subgroup $H$ of index $n$ such that the quotient is not $mathbb{Z}/nmathbb{Z}$. A simple example is $X = T^2, pi_1(X, x) cong mathbb{Z}^2$; take $H = 2 mathbb{Z}^2$, so that the quotient is $mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z}$.
And we can find a $mathbb{Z}/nmathbb{Z}$-bundle which is not a finite regular $n$-cover in the usual sense, again even up to isomorphism of covers, by finding a disconnected such bundle; for example, $X times mathbb{Z}/nmathbb{Z}$ for $n ge 2$ and any $X$.
It's somewhat delicate here to get all the details right. First, $G$-bundles for a finite group $G$ are not required to be connected, so the relevant version of the classification of covering spaces is the disconnected version, which goes like this: the category of covering spaces of a nice connected space $X$ with basepoint $x$ is equivalent to the category of $pi_1(X, x)$-sets.
More explicitly, $n$-sheeted covers (possibly disconnected) are equivalent to actions of $pi_1(X, x)$ on $n$-element sets, or even more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to S_n$. Said another way, $n$-sheeted covers, possibly disconnected, are classified by the nonabelian cohomology set
$$H^1(X, S_n).$$
Among these, the connected covers correspond to the transitive actions, which are classified by conjugacy classes of subgroups of $pi_1(X, x)$ of index $n$. Among these, the regular covers correspond to normal subgroups.
Now, for $G$ a finite group, a $G$-bundle is more data than a $|G|$-sheeted cover: the fibers are equipped with a free and transitive right action of $G$ and everything has to be compatible with this. Said another way, $G$-bundles are equivalent to actions of $pi_1(X, x)$ on $G$ regarded as a right $G$-set, or more explicitly to conjugacy classes of homomorphisms $pi_1(X, x) to G$ (thinking of $G$ as a subgroup of $S_{|G|}$ to make the connection back to covers).
Given a finite regular $n$-sheeted cover $Y to X$ with corresponding normal subgroup $H = pi_1(Y, y)$ of $pi_1(X, x)$, we can think of this cover as a $G = pi_1(X, x)/H$-bundle, but not all $G$-bundles arise in this way (the monodromy map $pi_1(X, x) to G$ is not required to be surjective in general), and we only know that $G$ is some finite group of order $n$. Moreover, the data of a $G$-bundle includes the data of an isomorphism between $G$ and this quotient; it's not enough just to know that it exists.
So we can find a finite regular $n$-cover which is not a $mathbb{Z}/nmathbb{Z}$-bundle, even up to isomorphism of covers, by finding a group $pi_1(X, x)$ with a normal subgroup $H$ of index $n$ such that the quotient is not $mathbb{Z}/nmathbb{Z}$. A simple example is $X = T^2, pi_1(X, x) cong mathbb{Z}^2$; take $H = 2 mathbb{Z}^2$, so that the quotient is $mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z}$.
And we can find a $mathbb{Z}/nmathbb{Z}$-bundle which is not a finite regular $n$-cover in the usual sense, again even up to isomorphism of covers, by finding a disconnected such bundle; for example, $X times mathbb{Z}/nmathbb{Z}$ for $n ge 2$ and any $X$.
edited Nov 30 '18 at 19:14
answered Feb 13 '16 at 17:33
Qiaochu YuanQiaochu Yuan
277k32583919
277k32583919
add a comment |
add a comment |
Regular cyclic $q$-coverings are classified by normal subgroups $$Nhookrightarrow pi_1X to pi_1X/Ncong mathbb Z/q,$$
hence there is a natural isomorphism to $Hom(pi_1X,mathbb Z/q)$ mod automorphism of $mathbb Z/q$.
Note that $K_q=K(mathbb Z/q,1)$ is universal in the sense that the map $$[X,K_q] to Hom(pi_1X,mathbb Z/q) = H^1(X,mathbb Z/q),$$ $$ [f]mapsto f_*$$ is an isomorphism. In particular you see that every cyclic $q$-covering is obtained by pulling back the universal cover of $K_q$.
Corollary If $X$ is a smooth orientable manifold, then all infinite cyclic covers (or cyclic which factor through $mathbb Z$) are obtained by cutting and gluing along a hypersurface.
add a comment |
Regular cyclic $q$-coverings are classified by normal subgroups $$Nhookrightarrow pi_1X to pi_1X/Ncong mathbb Z/q,$$
hence there is a natural isomorphism to $Hom(pi_1X,mathbb Z/q)$ mod automorphism of $mathbb Z/q$.
Note that $K_q=K(mathbb Z/q,1)$ is universal in the sense that the map $$[X,K_q] to Hom(pi_1X,mathbb Z/q) = H^1(X,mathbb Z/q),$$ $$ [f]mapsto f_*$$ is an isomorphism. In particular you see that every cyclic $q$-covering is obtained by pulling back the universal cover of $K_q$.
Corollary If $X$ is a smooth orientable manifold, then all infinite cyclic covers (or cyclic which factor through $mathbb Z$) are obtained by cutting and gluing along a hypersurface.
add a comment |
Regular cyclic $q$-coverings are classified by normal subgroups $$Nhookrightarrow pi_1X to pi_1X/Ncong mathbb Z/q,$$
hence there is a natural isomorphism to $Hom(pi_1X,mathbb Z/q)$ mod automorphism of $mathbb Z/q$.
Note that $K_q=K(mathbb Z/q,1)$ is universal in the sense that the map $$[X,K_q] to Hom(pi_1X,mathbb Z/q) = H^1(X,mathbb Z/q),$$ $$ [f]mapsto f_*$$ is an isomorphism. In particular you see that every cyclic $q$-covering is obtained by pulling back the universal cover of $K_q$.
Corollary If $X$ is a smooth orientable manifold, then all infinite cyclic covers (or cyclic which factor through $mathbb Z$) are obtained by cutting and gluing along a hypersurface.
Regular cyclic $q$-coverings are classified by normal subgroups $$Nhookrightarrow pi_1X to pi_1X/Ncong mathbb Z/q,$$
hence there is a natural isomorphism to $Hom(pi_1X,mathbb Z/q)$ mod automorphism of $mathbb Z/q$.
Note that $K_q=K(mathbb Z/q,1)$ is universal in the sense that the map $$[X,K_q] to Hom(pi_1X,mathbb Z/q) = H^1(X,mathbb Z/q),$$ $$ [f]mapsto f_*$$ is an isomorphism. In particular you see that every cyclic $q$-covering is obtained by pulling back the universal cover of $K_q$.
Corollary If $X$ is a smooth orientable manifold, then all infinite cyclic covers (or cyclic which factor through $mathbb Z$) are obtained by cutting and gluing along a hypersurface.
edited Feb 13 '16 at 14:43
answered Feb 13 '16 at 14:33
Daniel ValenzuelaDaniel Valenzuela
5,414718
5,414718
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1653001%2fclassifying-covering-spaces-using-first-cohomology%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Maybe I'm wrong, but I'm not sure that any finite covering space is a $G$-principal bundle. To be on the safe side I'd require the additional property of being a regular covering space.
– Riccardo
Feb 13 '16 at 8:49
Yes, I think that is correct. Thank you.
– user39598
Feb 13 '16 at 8:56
1
Well we have a natural isomorphism of functors $H^1(-,mathbb{Z}/kmathbb{Z})cong [-,K(mathbb{Z}/kmathbb{Z},1)]$, and then notice that $K(mathbb{Z}/kmathbb{Z},1)$ is a $B(mathbb{Z}/kmathbb{Z})$, therefore it classifies $mathbb{Z}/kmathbb{Z}$-bundles, which are not all the $k$-coverings. This is what I'd say
– Riccardo
Feb 13 '16 at 9:48
2
you have all the rights to be confused, this is somewhat delicate if seen for the first time. I'd suggest you to check the nice book of tom Dieck Algebraic Topology, at page 328-329. He is very clear. Roughly speaking, we require the presence of an action of $mathbb{Z}/kmathbb{Z}$ on the bundle, (compatible with the structure) and such an action turns out to be transitive and free, by axioms. So for discrete groups, a $G$-bundle is something more than a $|G|$-covering, the latter has an obvious action of the deck transformation group, which is always free, but not necessarily transitive
– Riccardo
Feb 13 '16 at 9:58
1
$S^1$ is a $Bmathbb{Z}simeq K(mathbb{Z},1)$, so $H^1(X;mathbb{Z})cong[X,Bmathbb{Z}]cong[X,S^1]$ classifies fiber bundles with structure group $mathbb{Z}$, hence regular coverings with countably infinite fibers. The "universal guy" of such is the standard covering $mathbb{Z}rightarrowmathbb{R}rightarrow S^1$.
– archipelago
Feb 13 '16 at 10:14