Comodule

Last updated

In mathematics, a comodule or corepresentation is a concept dual to a module. The definition of a comodule over a coalgebra is formed by dualizing the definition of a module over an associative algebra.

Contents

Formal definition

Let K be a field, and C be a coalgebra over K. A (right) comodule over C is a K-vector space M together with a linear map

such that

  1. ,

where Δ is the comultiplication for C, and ε is the counit.

Note that in the second rule we have identified with .

Examples

  1. Let the comultiplication on be given by .
  2. Let the counit on be given by .
  3. Let the map on V be given by , where is the i-th homogeneous piece of .

In algebraic topology

One important result in algebraic topology is the fact that homology over the dual Steenrod algebra forms a comodule. [1] This comes from the fact the Steenrod algebra has a canonical action on the cohomology

When we dualize to the dual Steenrod algebra, this gives a comodule structure

This result extends to other cohomology theories as well, such as complex cobordism and is instrumental in computing its cohomology ring . [2] The main reason for considering the comodule structure on homology instead of the module structure on cohomology lies in the fact the dual Steenrod algebra is a commutative ring, and the setting of commutative algebra provides more tools for studying its structure.

Rational comodule

If M is a (right) comodule over the coalgebra C, then M is a (left) module over the dual algebra C, but the converse is not true in general: a module over C is not necessarily a comodule over C. A rational comodule is a module over C which becomes a comodule over C in the natural way.

Comodule morphisms

Let R be a ring, M, N, and C be R-modules, and

be right C-comodules. Then an R-linear map is called a (right) comodule morphism, or (right) C-colinear, if

This notion is dual to the notion of a linear map between vector spaces, or, more generally, of a homomorphism between R-modules. [3]

See also

Related Research Articles

<span class="mw-page-title-main">Associative algebra</span> Algebraic structure with (a + b)(c + d) = ac + ad + bc + bd and (a)(bc) = (ab)(c)

In mathematics, an associative algebraA is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field K. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In mathematics, coalgebras or cogebras are structures that are dual to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras. Every coalgebra, by duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions.

In mathematics, a bialgebra over a field K is a vector space over K which is both a unital associative algebra and a counital coassociative coalgebra. The algebraic and coalgebraic structures are made compatible with a few more axioms. Specifically, the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, the multiplication and the unit of the algebra both are coalgebra morphisms.

In mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.

<span class="mw-page-title-main">Lie algebra representation</span>

In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space together with a collection of operators on satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.

In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously an algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antiautomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.

In mathematics, the tensor algebra of a vector space V, denoted T(V) or T(V), is the algebra of tensors on V with multiplication being the tensor product. It is the free algebra on V, in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing V, in the sense of the corresponding universal property.

In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if M and N are two finite-dimensional irreducible representations of a group G and φ is a linear map from M to N that commutes with the action of the group, then either φ is invertible, or φ = 0. An important special case occurs when M = N, i.e. φ is a self-map; in particular, any element of the center of a group must act as a scalar operator on M. The lemma is named after Issai Schur who used it to prove the Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which are due to Jacques Dixmier and Daniel Quillen.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

In algebraic topology, a Steenrod algebra was defined by Henri Cartan (1955) to be the algebra of stable cohomology operations for mod cohomology.

In mathematics, a local system on a topological space X is a tool from algebraic topology which interpolates between cohomology with coefficients in a fixed abelian group A, and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943.

In mathematics a Lie coalgebra is the dual structure to a Lie algebra.

Algebraic signal processing (ASP) is an emerging area of theoretical signal processing (SP). In the algebraic theory of signal processing, a set of filters is treated as an (abstract) algebra, a set of signals is treated as a module or vector space, and convolution is treated as an algebra representation. The advantage of algebraic signal processing is its generality and portability.

In mathematics, p-adic Hodge theory is a theory that provides a way to classify and study p-adic Galois representations of characteristic 0 local fields with residual characteristic p. The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge–Tate representation. Hodge–Tate representations are related to certain decompositions of p-adic cohomology theories analogous to the Hodge decomposition, hence the name p-adic Hodge theory. Further developments were inspired by properties of p-adic Galois representations arising from the étale cohomology of varieties. Jean-Marc Fontaine introduced many of the basic concepts of the field.

In mathematics, Schur algebras, named after Issai Schur, are certain finite-dimensional algebras closely associated with Schur–Weyl duality between general linear and symmetric groups. They are used to relate the representation theories of those two groups. Their use was promoted by the influential monograph of J. A. Green first published in 1980. The name "Schur algebra" is due to Green. In the modular case Schur algebras were used by Gordon James and Karin Erdmann to show that the problems of computing decomposition numbers for general linear groups and symmetric groups are actually equivalent. Schur algebras were used by Friedlander and Suslin to prove finite generation of cohomology of finite group schemes.

In mathematics, weak bialgebras are a generalization of bialgebras that are both algebras and coalgebras but for which the compatibility conditions between the two structures have been "weakened". In the same spirit, weak Hopf algebras are weak bialgebras together with a linear map S satisfying specific conditions; they are generalizations of Hopf algebras.

In mathematics, the term “graded” has a number of meanings, mostly related:

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U).

References

  1. Liulevicius, Arunas (1968). "Homology Comodules" (PDF). Transactions of the American Mathematical Society. 134 (2): 375–382. doi: 10.2307/1994750 . ISSN   0002-9947.
  2. Mueller, Michael. "Calculating Cobordism Rings" (PDF). Archived (PDF) from the original on 2 Jan 2021.
  3. Khaled AL-Takhman, Equivalences of Comodule Categories for Coalgebras over Rings, J. Pure Appl. Algebra,.V. 173, Issue: 3, September 7, 2002, pp. 245–271