Tate cohomology group

Tate cohomology group

In mathematics, Tate cohomology groups are a slightly modified form of the usual cohomology groups of a finite group that combine homology and cohomology groups into one sequence. They were invented by John Tate, and are used in class field theory.

Definition

If "G" is a finite group and "A" a "G"-module, then there is a natural map "N" from "H"0("G","A") to "H"0("G","A") taking a representative "a" to Σ "g"("a") (the sum over all "G"-conjugates of "a"). The Tate cohomology groups hat H^n(G,A) are defined by
*hat H^n(G,A) = H^n(G,A) for "n"≥ 1.
*hat H^0(G,A)= cokernel of "N" = quotient of "H"0("G","A") by norms
*hat H^{-1}(G,A)= kernel of "N" = subgroup of norm 0 elements of "H"0("G","A")
*hat H^n(G,A) = H_{-(n+1)}(G,A) for "n"≤ −2.

Properties

If : 0 longrightarrow A longrightarrow B longrightarrow C longrightarrow 0is a short exact sequence of "G"-modules, then we get the usual long exact sequence of Tate cohomology groups::cdots longrightarrowhat H^{n}(G,A)longrightarrowhat H^{n}(G,B)longrightarrowhat H^{n}(G,C)longrightarrowhat H^{n+1}(G,A)longrightarrowhat H^{n+1}(G,B)cdots

If "A" is an induced "G" module then all Tate cohomology groups of "A" vanish.

The zeroth Tate cohomology group of "A" is :(Fixed points of "G" on "A")/(Obvious fixed points of "G" acting on "A")where by the "obvious" fixed point we mean those of the form Σ "g"("a"). In other words, the zeroth cohomology group in some sense describes the non-obvious fixed points of "G" acting on "A".

The Tate cohomology groups are characterized by the three properties above.

Tate's theorem

Tate's theorem gives conditions for multiplication by a cohomology class to be an isomorphism between cohomology groups. There are several slightly different versions of it; a version that is particularly convenient for class field theory is as follows:

Suppose that "A" is a module over a finite group "G" and "a" is an element of "H"2("G","A"), such that for every subgroup "E" of "G"
*"H"1("E","A") is trivial, and
*"H"2("E","A") is generated by Res(a) which has order "E".Then cup product with "a" is an isomorphism
*hat H^n(G,Z)longrightarrowhat H^{n+2}(G,A)for all "n"; in other words the graded Tate cohomology of "A" is isomorphic to the Tate cohomology with integral coefficients, with the degree shifted by 2.

Tate-Farrell cohomology

Farrell extended Tate cohomology groups to the case of all groups "G" of finite virtual cohomological dimension. In Farrell's theory, the groups hat H^n(G,A) are isomorphic to the usual cohomology groups whenever "n" is greater than the virtual cohomological dimension of the group "G". Finite groups have virtual cohomological dimension 0, and in this case Farrell's cohomology groups are the same as those of Tate.

ee also

*Herbrand quotient
*Class formation

References

*"Cohomology of Groups" Kenneth S. Brown ISBN 0-387-90688-6
*"Cohomology of groups", Atiyah and Wall, in "Algebraic Number Theory" by J. W. S. Cassels, A. Frohlich ISBN 0-12-163251-2
*Farrell, F. Thomas "An extension of Tate cohomology to a class of infinite groups." J. Pure Appl. Algebra 10 (1977/78), no. 2, 153-161.
*Tate, John "The higher dimensional cohomology groups of class field theory." Ann. of Math. (2) 56, (1952). 294-297.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

  • Tate conjecture — In mathematics, the Tate conjecture is a 1963 conjecture of John Tate linking algebraic geometry, and more specifically the identification of algebraic cycles, with Galois modules coming from étale cohomology. It is unsolved in the general case,… …   Wikipedia

  • John Tate — John Torrence Tate Jr., born March 13, 1925 in Minneapolis, Minnesota, is an American mathematician, distinguished for many fundamental contributions in algebraic number theory and related areas in algebraic geometry. He wrote a Ph.D. at… …   Wikipedia

  • Tate module — In mathematics, a Tate module is a Galois module constructed from an abelian variety A over a field K . It is denoted: T l ( A ) where l is a given prime number (the letter p is traditionally reserved for the characteristic of K ; the case where… …   Wikipedia

  • Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

  • Galois cohomology — In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated to a field extension L / K acts in a natural way… …   Wikipedia

  • Weil–Châtelet group — In mathematics, particularly in arithmetic geometry, the Weil Châtelet group of an abelian variety A defined over a field K is the abelian group of principal homogeneous spaces for A , defined over K . It is named for André Weil, who introduced… …   Wikipedia

  • Crystalline cohomology — In mathematics, crystalline cohomology is a Weil cohomology theory for schemes introduced by Alexander Grothendieck (1966, 1968) and developed by Pierre Berthelot (1974). Its values are modules over rings of Witt vectors over the base… …   Wikipedia

  • Mumford–Tate group — In algebraic geometry, the Mumford–Tate group MT(F) constructed from a Hodge structure F is a certain algebraic group G, named for David Mumford and John Tate. When F is given by a rational representation of an algebraic torus, the definition of… …   Wikipedia

  • Sato-Tate conjecture — In mathematics, the Sato Tate conjecture is a statistical statement about the family of elliptic curves Ep over the finite field with p elements, with p a prime number, obtained from an elliptic curve E over the rational number field, by the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”