B-admissible representation
In mathematics, the formalism of B-admissible representations provides constructions of full Tannakian subcategories of the category of representations of a group G on finite-dimensional vector spaces over a given field E. In this theory, B is chosen to be a so-called -regular ring, i.e. an E-algebra with an E-linear action of G satisfying certain conditions given below. This theory is most prominently used in p-adic Hodge theory to define important subcategories of p-adic Galois representations of the absolute Galois group of local and global fields.
(''E'', ''G'')-rings and the functor ''D''
Let G be a group and E a field. Let Rep denote a non-trivial full subcategory of the Tannakian category of E-linear representations of G on finite-dimensional vector spaces over E stable under subobjects, quotient objects, direct sums, tensor products, and duals.An -ring is a commutative ring B that is an E-algebra with an E-linear action of G. Let F = BG be the G-invariants of B. The covariant functor DB : Rep → ModF defined by
is E-linear. The inclusion of DB in B ⊗EV induces a homomorphism
called the comparison morphism.
Regular (''E'', ''G'')-rings and ''B''-admissible representations
An -ring B is called regular if- B is reduced;
- for every V in Rep, αB,V is injective;
- every b ∈ B for which the line bE is G-stable is invertible in B.
When B is regular,
with equality if, and only if, αB,V is an isomorphism.
A representation V ∈ Rep is called B-admissible if αB,V is an isomorphism. The full subcategory of B-admissible representations, denoted RepB, is Tannakian.
If B has extra structure, such as a filtration or an E-linear endomorphism, then DB inherits this structure and the functor DB can be viewed as taking values in the corresponding category.
Examples
- Let K be a field of characteristic p, and Ks a separable closure of K. If E = Fp and G = Gal, then B = Ks is a regular -ring. On Ks there is an injective Frobenius endomorphism σ : Ks → Ks sending x to xp. Given a representation G → GL for some finite-dimensional Fp-vector space V, is a finite-dimensional vector space over F=G = K which inherits from B = Ks an injective function φD : D → D which is σ-semilinear = σφ. The Ks-admissible representations are the continuous ones. In fact, is an equivalence of categories between the Ks-admissible representations and the finite-dimensional vector spaces over K equipped with an injective σ-semilinear φ.