Return to Question

I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence and of basic properties of the Herbrand quotient, and I've started to look through how these are used in the proofs of class field theory. So far, all I can tell is that the cohomology groups are given by some random modding out process, then we derive some random properties (like the long exact sequence), and then we compute things like $H^0(\mathrm{Gal}(L/K),I_{L})$, where $I_L$ denotes the group of fractional ideals of a number field $L$, and it ust happens to be something interesting for the study of class field theory such as $I_K/\mathrm{N}(I_L)$, where $L/K$ is cyclic and $\mathrm{N}$ denotes the ideal normj. We then find that the cohomology groups are useful for streamlining the computations with various orders of indexes of groups. What I don't get is what the intuition is behind the definitions of these cohomology groups. I do know what cohomology is in a geometric setting (so I know examples where taking the kernel modulo the image is interesting), but that doesn't help here. What is the intuition for why they are defined the way they are? Why should we expect that these cohomology groups so-defined have nice properties and help us with algebraic number theory? Right now, I just see theorem after theorem, I see the algebraic manipulation and diagram chasing that proves it, but I don't see a bigger picture.

For context, if $A$ is a $G$-module where $G$ is cyclic and $\sigma$ is a generator of $G$, then we define the endomorphisms $D=1+\sigma+\sigma^2+\cdots+\sigma^{|G|-1}$ and $N=1-\sigma$ of $A$, and then $H^0(G,A)=\mathrm{ker}(N)/\mathrm{im}(D)$ and $H^1(G,A)=\mathrm{ker}(D)/\mathrm{im}(N)$. (EDIT: This is a slight modification of group cohomology, i.e. Tate cohomology, which the cohomology theory primarily used for Class Field Theory. Group cohomology is the same but with $H^0(G,A) = \mathrm{ker}(N)$.)

I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence and of basic properties of the Herbrand quotient, and I've started to look through how these are used in the proofs of class field theory. 

So far, all I can tell is that the cohomology groups are given by some ad hoc modding out process, then we derive some random properties (like the long exact sequence), and then we compute things like $H^2(\mathrm{Gal}(L/K),I_{L})$, where $I_L$ denotes the group of fractional ideals of a number field $L$, and it just happens to be something interesting for the study of class field theory such as $I_K/\mathrm{N}(I_L)$, where $L/K$ is cyclic and $\mathrm{N}$ denotes the ideal norm. We then find that the cohomology groups are useful for streamlining the computations with various orders of indexes of groups. 

What I don't get is what the intuition is behind the definitions of these cohomology groups. I do know what cohomology is in a geometric setting (so I know examples where taking the kernel modulo the image is interesting), but I don't know why we take these particular kernels modulo these particular images. What is the intuition for why they are defined the way they are? Why should we expect that these cohomology groups so-defined have nice properties and help us with algebraic number theory? Right now, I just see theorem after theorem, I see the algebraic manipulation and diagram chasing that proves it, but I don't see a bigger picture.

For context, if $A$ is a $G$-module where $G$ is cyclic and $\sigma$ is a generator of $G$, then we define the endomorphisms $D=1+\sigma+\sigma^2+\cdots+\sigma^{|G|-1}$ and $N=1-\sigma$ of $A$, and then $H^0(G,A)=\mathrm{ker}(N)/\mathrm{im}(D)$ and $H^1(G,A)=\mathrm{ker}(D)/\mathrm{im}(N)$. Note that this is a slight modification of group cohomology, i.e. Tate cohomology, which the cohomology theory primarily used for Class Field Theory. Group cohomology is the same but with $H^0(G,A) = \mathrm{ker}(N)$. The advantage of Tate cohomology is that it is $2$-periodic for $G$ cyclic.

I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence and of basic properties of the Herbrand quotient, and I've started to look through how these are used in the proofs of class field theory. So far, all I can tell is that the cohomology groups are given by some random modding out process, then we derive some random properties (like the long exact sequence), and then we compute things like $H^0(I_{L},\mathrm{Gal}(L/K))$, where $I_L$ denotes the group of fractional ideals of a number field $L$, and it ust happens to be something interesting for the study of class field theory such as $I_K/\mathrm{N}(I_L)$, where $L/K$ is cyclic and $\mathrm{N}$ denotes the ideal normj. We then find that the cohomology groups are useful for streamlining the computations with various orders of indexes of groups. What I don't get is what the intuition is behind the definitions of these cohomology groups. I do know what cohomology is in a geometric setting (so I know examples where taking the kernel modulo the image is interesting), but that doesn't help here. What is the intuition for why they are defined the way they are? Why should we expect that these cohomology groups so-defined have nice properties and help us with algebraic number theory? Right now, I just see theorem after theorem, I see the algebraic manipulation and diagram chasing that proves it, but I don't see a bigger picture.

For context, if $A$ is a $G$-module where $G$ is cyclic and $\sigma$ is a generator of $G$, then we define the endomorphisms $D=1+\sigma+\sigma^2+\cdots+\sigma^{|G|-1}$ and $N=1-\sigma$ of $A$, and then $H^0(A)=\mathrm{ker}(N)/\mathrm{im}(D)$ and $H^1(A)=\mathrm{ker}(D)/\mathrm{im}(N)$. (EDIT: This is a slight modification of group cohomology, i.e. Tate cohomology, which the cohomology theory primarily used for Class Field Theory. Group cohomology is the same but with $H^0(A) = \mathrm{ker}(N)$.)

I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence and of basic properties of the Herbrand quotient, and I've started to look through how these are used in the proofs of class field theory. So far, all I can tell is that the cohomology groups are given by some random modding out process, then we derive some random properties (like the long exact sequence), and then we compute things like $H^0(\mathrm{Gal}(L/K),I_{L})$, where $I_L$ denotes the group of fractional ideals of a number field $L$, and it ust happens to be something interesting for the study of class field theory such as $I_K/\mathrm{N}(I_L)$, where $L/K$ is cyclic and $\mathrm{N}$ denotes the ideal normj. We then find that the cohomology groups are useful for streamlining the computations with various orders of indexes of groups. What I don't get is what the intuition is behind the definitions of these cohomology groups. I do know what cohomology is in a geometric setting (so I know examples where taking the kernel modulo the image is interesting), but that doesn't help here. What is the intuition for why they are defined the way they are? Why should we expect that these cohomology groups so-defined have nice properties and help us with algebraic number theory? Right now, I just see theorem after theorem, I see the algebraic manipulation and diagram chasing that proves it, but I don't see a bigger picture.

For context, if $A$ is a $G$-module where $G$ is cyclic and $\sigma$ is a generator of $G$, then we define the endomorphisms $D=1+\sigma+\sigma^2+\cdots+\sigma^{|G|-1}$ and $N=1-\sigma$ of $A$, and then $H^0(G,A)=\mathrm{ker}(N)/\mathrm{im}(D)$ and $H^1(G,A)=\mathrm{ker}(D)/\mathrm{im}(N)$. (EDIT: This is a slight modification of group cohomology, i.e. Tate cohomology, which the cohomology theory primarily used for Class Field Theory. Group cohomology is the same but with $H^0(G,A) = \mathrm{ker}(N)$.)