Monadic decompositions and classical Lie theory (Q2254604): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1203.2881 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical Constructions for Hopf Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Milnor-Moore type theorem for primitively generated braided bialgebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On primitively generated braided bialgebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: UNIVERSAL ENVELOPING ALGEBRAS OF PBW TYPE / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monadic decompositions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comatrix corings and Galois comodules over firm rings. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4413070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4314472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comatrix corings: Galois corings, descent theory, and a structure theorem for cosemisimple corings. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comonads and Galois corings. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5719209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3952276 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Separable functors applied to graded rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Separable functors revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4049223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590089 / rank
 
Normal rank

Latest revision as of 15:37, 9 July 2024

scientific article
Language Label Description Also known as
English
Monadic decompositions and classical Lie theory
scientific article

    Statements

    Monadic decompositions and classical Lie theory (English)
    0 references
    0 references
    0 references
    5 February 2015
    0 references
    Let \(Bialg_{\mathbb{K}}\) be the category of bialgebras and \(\Omega : Bialg_{\mathbb{K}} \to Vect_{\mathbb{K}}\) be the forgetful functor. Let \(P: Bialg_{\mathbb{K}} \to Vect_{\mathbb{K}}\) be the subfunctor of \(\Omega\) that assigns to a bialgebra \(A\) its space \(PA\) of primitive elements. The paper is devoted to prove that \(P\) has a monadic decomposition of monadic length at most 2. Namely, the main result establishes: { Definition.} Fix \(N \in \mathbb{N}\). It is said that a functor \(R\) has a \textit{monadic decomposition of monadic length} \(N\) whenever there exists a sequence \((R_n)_{n \leq N}\) of functors \(R_n\) such that (1) \(R_0=R\); (2) for \(0 \leq n \leq N\), the functor \(R_n\) has a left adjoint functor \(L_n\); (3) for \(0 \leq n \leq N-1\), the functor \(R_{n+1}\) is the comparison functor induced by the adjunction \((L_n, R_n)\) with respect to its associated monad; (4) \(L_N\) is full and faithful while \(L_n\) is not full and faithful for \(0 \leq n \leq N-1\). { Theorem.} The functor \(P\) has a monadic decomposition of monadic length at most 2. Keep the notations of Definition (so, in particular, \({\mathcal B}_0 = Vect_{\mathbb{K}}, R_0 = P\), and \(L_0=T\)): (1) The functor \(L_1\) is given, for all \((V_0, \mu_0) \in {\mathcal B}_1\), by \[ L_1(V_0, \mu_0) = \frac{L_0 V_0}{\left( \text{Im} \left( \text{Id}_{R_0 L_0 V_0} - \eta_0 V_0 \circ \mu_0 \right) \right)} \] (2) The adjunction \((L_1, R_1)\) is idempotent. (3) For all \(V_2 := ((V_0, \mu_0), \mu_1) \in {\mathcal B}_2\), we have the following cases: \(\bullet\) char\((\mathbb{K}) = 0\). Then, for all \(x, y \in V_0\), we have that \(xy-yx \in R_0L_0V_0\). Define a map \([-,-]: V_0 \otimes V_0 \to V_0\), by setting \([x,y]:= \mu_0(xy-yx)\). Then \((V_0,[-,-])\) is an ordinary Lie algebra and \(L_2 V_2\) is the universal enveloping algebra \[ {\mathfrak U} V_0 := \frac{TV_0}{\left(xy-yx-[x,y] \mid x, y \in V_0 \right)} \] \(\bullet\) char\((\mathbb{K}) = p\), a prime. Then, for all \(x, y \in V_0\) we have that \(xy-yx, x^p \in R_0 L_0 V_0\). Define two maps \([-,-]: V_0 \otimes V_0 \to V_0\) and \(-^{[p]}:V_0 \to V_0\) by setting \([x,y]:= \mu_0(xy-yx)\) and \(x^{[p]}:=\mu_0(x^p)\). Then \((V_0,[-,-], -^{[p]})\) is a restricted Lie algebra and \(L_2 V_2\) is the restricted enveloping algebra \[ {\mathfrak u} V_0 := \frac{TV_0}{\left(xy-yx-[x,y], x^p-x^{[p]} \mid x, y \in V_0 \right)}. \]
    0 references
    monads
    0 references
    Lie algebras
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references