On Tannakian duality over valuation rings (Q1770516): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:38, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Tannakian duality over valuation rings |
scientific article |
Statements
On Tannakian duality over valuation rings (English)
0 references
7 April 2005
0 references
The Tannakian duality may be divided in two parts: (1) The reconstruction problem: Given a ``group-like'' object \(G\) (e.g., a group scheme, a quantum group\dots), is it possible to recover \(G\) from the category of its representations, using the forgetful functor? (2) The description problem: Give a purely categorical description which ensures that a given category is equivalent to a category of representations of some ``group-like'' object. The paper under review proposes a solution to the reconstruction problem in the non neutral case (affine group scheme over field). This reconstruction is given in thm 2.14 and proposition 2.18 after some recalls on monoidal categories and on the comonoid of coendomorphism of a functor. This abstract reconstruction comes from \textit{P. Deligne} [``Catégories tannakiennes'', Prog. Math. 87, 111--195 (1990; Zbl 0727.14010)]. Then the author adopts this formal reconstruction to the case of Prüfer rings. A Prüfer ring is a commutative integral domain such that every finitely generated submodule of a flat module is projective (a noetherian Prüfer ring is a Dedekind ring). Some technical results on comodules over Prüfer rings are given. Thm 5.13 and 5.20 give the reconstruction theorem for an \(R\)-coalgebroid (with \(R\) a Prüfer ring). In the last section, the author gives a partial answer to the description problem for a groupoid over a valuation ring of height at most one. In order to do that, he defines the notion of Tannakian lattice over a valuation ring of height at most one (definition 6.9).
0 references
Tannakian duality
0 references
group like object
0 references
Prüfer ring
0 references
groupoid
0 references
gerbes
0 references
Tannakian lattice
0 references