# Use of noncommutative group cohomology

I have actually seen a great deal of areas where the group cohomology when a team acts upon a component, is thoroughly made use of. Yet past seeing the definition and also some cases of partial outcomes, I have not seen any kind of uses the instance when we change activity on a component by activity on noncommutative team. It appears unsubstantiated that a lot can be constructed of it as H_1 is simply a set, not also a team. Can someone clarify some uses raising and also researching this idea?

Often components of $H^1$ are made use of to identify things of a particular kind. E.g. if $k$ is an area and also $k^s$ its separable closure, and also $G_k = Gal(k^s/k)$, after that if $X$ is a selection.
over $k$, and also $Aut(X)$ is the team of automorphisms of $X_{/k^s}$,.
after that the set $H^1(G_k,Aut(X))$ identifies selections over $k$ that come to be isomorphic to.
$X$ when both are considered as selections over $k^s$. The base factor of $H^1$ represents the initial selection $X$ itself. (Such selections are called *spins * of $X$.)

This is a vital building and construction, which (in addition to versions) is made use of regularly in. math geometry, consisting of (probably specifically) the concept of algebraic teams.

As one concrete instance, allow me state. a renowned instance, particularly the outcome that $H^1(G_k, GL_n(k^s)) = 1$. (A generalised kind of Hilbert's Thm. 90.) If we currently take into consideration the brief specific series. $1 \to (k^s)^{\times} \to GL_n(k^s) \to PGL_n(k^s) \to 1,$. we after that get a shot $H^1(G_k, PGL_n(k^s))\hookrightarrow H^2(G_k,(k^s)^{\times}).$

Now $PGL_n(k^s)$ works as automorphisms of $\mathbb P^{n-1}$, so we see that the spins of. projective rooms (such spins are called Brauer - - Severi selections) are identified by particular components of the Brauer team. As an example, smooth conics in the aircraft (which are spins. of $\mathbb P^1$, due to the fact that over $k^s$ they acquire sensible factors, therefore are isomorphic. to $\mathbb P^1$) represent quaternion algebras. (To see this concretely - - - or instead,. to go the various other means - - - if $D$ is a quaternion algebra, after that $D^{tr = 0}$, the subspace of components of lowered trace absolutely no, is 3 - dimensional, and also the lowered standard offers a square kind on this room. Passing to the linked 2 - dimensional projective room, we get a conic in a projective. aircraft. This is extra concrete than the cohomological tale, yet the cohomological tale has the benefit of being really basic, and also counts simply on a basic reality, particularly Hilbert's Thm. 90, as opposed to details expertise of the geometric scenario. This is one regular benefit of cohomological debates and also building and constructions, when you can locate them/make them.)

Matt E's feedback is the approved first solution. As a person (else) that collaborates with nonabelian team (specifically, Galois) cohomology regularly, allow me offer a 2nd solution.

Particular intriguing maps in between *commutative * cohomology teams are specified using a non - commutative intermediary. The validation for this is that, though one does not as a whole have anything like a "lengthy specific series" in non - commutative cohomology, if one has an expansion of $\mathfrak{g}$ - components

$$1 \rightarrow Z \rightarrow G \rightarrow A \rightarrow 1$$

where $A$ is commutative and also $Z$ is **main **, after that one obtains an attaching map in cohomology

$$\Delta: H^1(\mathfrak{g},A) \rightarrow H^2(\mathfrak{g},Z).$$

Often components in an $H^2$ might be considered as "blockages" to something preferable taking place at the $H^1$ - degree. Specifically, this holds true for the **duration - index blockage map ** in the Galois cohomology of abelian selections. See as an example

http://math.uga.edu/~pete/wc1.pdf

as well as additionally magazines [12 ], [14 ], [16 ] on

Related questions