 586, 356
 ---
abstract: 'We consider a class of infinite-dimensional, modular, graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. We identify two subclasses of [*Nottingham Lie algebras*]{} as loop algebras of finite-dimensional simple Lie algebras of Hamiltonian Cartan type. A property of Laguerre polynomials of derivations, which is related to toral switching, plays a crucial role in our constructions.'
address:
- |
    Dipartimento di Matematica e Applicazioni\
    Università degli Studi di Milano - Bicocca\
    via Cozzi 53\
    I-20125 Milano\
    Italy
- |
    Dipartimento di Matematica\
    Università degli Studi di Trento\
    via Sommarive 14\
    I-38050 Povo (Trento)\
    Italy
author:
- Marina Avitabile
- Sandro Mattarei
bibliography:
- 'References.bib'
title: |
    Nottingham [L]{}ie algebras with diamonds\
    of finite and infinite type
---

Introduction
============

[*Nottingham Lie algebras*]{} owe their name to one remarkable special case: the graded Lie ring with the lower central series of the Nottingham group, over the field of $p$ elements, with $p>2$ [@Jenn; @John; @Cam]. Although the Nottingham group over ${\mathbb F}_p$ is a very complex object, its lower central series descends in a simple and regular way, the lower central quotients being generally one-dimensional, except for one quotient every $p-1$ being two-dimensional. The essential feature which leads to the generalization considered here is that the Nottingham group is a pro-$p$ group of [*width two*]{} and [*obliquity zero*]{}, in the language of [@KL-GP]. Pro-$p$ groups with those two properties were called [*thin*]{} in [@CMNS], and the properties carry over naturally to graded Lie algebras.

The following equivalent but more practical definition is available for Lie algebras. A [*thin Lie algebra*]{} is a graded Lie algebra $L=\bigoplus_{k=1}^{\infty}L_{k}$ over a field ${\mathbb F}$, with $\dim(L_1)=2$ and satisfying the [*covering property
586, 356 
  --- 
 abstract:' We consider a class of infinite - dimensional, modular, graded Lie algebra, which include the graded Lie algebra associated to the Nottingham group with obedience to its low central series. We name two subclasses of [ * Nottingham Lie algebras * ] { } as loop algebras of finite - dimensional elementary Lie algebras of Hamiltonian Cartan type. A place of Laguerre polynomials of derivations, which is related to toral switching, play a crucial role in our constructions.' 
 savoir-faire: 
 - | 
     Dipartimento di Matematica e Applicazioni\ 
     Università degli Studi di Milano - Bicocca\ 
     via Cozzi 53\ 
     I-20125 Milano\ 
     Italy 
 - | 
     Dipartimento di Matematica\ 
     Università degli Studi di Trento\ 
     via Sommarive 14\ 
     I-38050 Povo (Trento)\ 
     Italy 
 author: 
 - Marina Avitabile 
 - Sandro Mattarei 
 bibliography: 
 -' References.bib' 
 title: | 
     Nottingham [ L]{}ie algebras with diamonds\ 
     of finite and infinite character 
 --- 

 Introduction 
 = = = = = = = = = = = = 

 [ * Nottingham Lie algebras * ] { } owe their name to one remarkable special case: the rate Lie ring with the lower central series of the Nottingham group, over the field of $ p$ element, with $ p>2 $   [ @Jenn; @John; @Cam ]. Although the Nottingham group over $ { \mathbb F}_p$ is a very complex object, its lower central series descends in a simple and regular way, the lower central quotients being generally one - dimensional, except for one quotient every $ p-1 $ being two - dimensional. The essential feature which leads to the generalization considered here is that the Nottingham group is a pro-$p$ group of [ * width two * ] { } and [ * asynclitism zero * ] { }, in the language of   [ @KL - GP ]. Pro-$p$ group with those two properties were called [ * thin * ] { } in   [ @CMNS ], and the properties dribble over naturally to graded Lie algebras. 

 The following equivalent but more practical definition is available for Lie algebra. A [ * thin Lie algebra * ] { } is a graded Lie algebra $ L=\bigoplus_{k=1}^{\infty}L_{k}$ over a field $ { \mathbb F}$, with $ \dim(L_1)=2 $ and satisfying the [ * covering property
 586, 356
 ---
wbstract: 'We consider a cuass of infinitg-dumensimnal, mkdular, gfaded Lie algebras, which incpuees tye graded Lie algebra xssociatef to the Notuingham group witi respecb to jbs locec central seriex. We identhfy two subclavsds of [*Nottingham Lie algebras*]{} as loop algebrss of finite-dimegsiomwl sjmple Lie algebras of Hamiltonian Dartan uype. A property of Laguerre polynomials of dfrivwtions, which is repated to totzl fqitching, plahs a crucial role in oor constructions.'
address:
- |
    Dipaftimeuto di Matenaricw e Applicazmoni\
    Università degli Stgdi di Kilano - Bicoccs\
    vua Cozzi 53\
    I-20125 Milano\
    Italy
- |
    Dipattimento dh Jatematica\
    Uniceesità geglh Stjei ai Ureito\
    viw Skmmarive 14\
    I-38050 Povo (Teento)\
    Italy
authot:
- Iqrina Avitabime
- Sanqrj Mattarei
bibliography:
- 'References.bib'
titne: |
    Nottingham [L]{}ie algevras with diamonds\
    of finitq and infinite type
---

Introduction
============

[*Nottingham Lie algabras*]{} uwe tmeir bale to one remarkable special case: the graded Jje rpng with the lowev central series og hhr Nottingham gtoup, ovzd fhe field of $p$ elelents, wyth $p>2$ [@Henn; @John; @Cam]. Although the Nottingham griup over ${\matkbb F}_p$ is a very comppex object, nts loeer crntral series descends nn a sjmple and rfgular wag, the lower centrxl aumtients being generally onq-dimensioial, ercept fof ong quotiqnt every $o-1$ beikc two-dimensional. Tje esdettial featkre which leads to the generalivetion consideted hege is thac the Kottingham grou[ is a pro-$p$ grpup of [*cidth gwo*]{} and [*obmiquity zero*]{}, in thq language of [@NP-GP]. Pro-$p$ gronps with ehosw twi propefgies were callrd [*thin*]{} iu [@EMNS], and rhe properties carvy ovgr naturally to gxcdtd Lie algebras.

Tne woljoaiig eqthvalent but kore prxvticau definitiok ir avsilable for Lie algetras. A [*thin Lie algebrs*]{} ls a gradgd Lie aldebra $L=\bigoplis_{k=1}^{\infty}L_{k}$ over a vield ${\mavhbb F}$, wijh $\dim(L_1)=2$ and satisfying the [*coveding propfrtn
586, 356 --- abstract: 'We consider a infinite-dimensional, graded Lie which includes the the group with respect its lower central We identify two subclasses of [*Nottingham algebras*]{} as loop algebras of finite-dimensional simple Lie algebras of Hamiltonian Cartan type. property of Laguerre polynomials of derivations, which is related to toral switching, plays crucial in constructions.' - | Dipartimento di Matematica e Applicazioni\ Università degli Studi di Milano - Bicocca\ via Cozzi I-20125 Milano\ Italy - | Dipartimento di Matematica\ degli Studi di Trento\ Sommarive 14\ I-38050 Povo (Trento)\ author: Marina Avitabile Sandro bibliography: 'References.bib' title: | [L]{}ie algebras with diamonds\ of finite and infinite type --- Introduction ============ [*Nottingham Lie algebras*]{} owe their to one case: the Lie with lower central series Nottingham group, over the field of $p>2$ [@Jenn; @John; @Cam]. Although the Nottingham group ${\mathbb F}_p$ a very complex object, its lower series descends in a simple and regular way, lower central quotients being generally one-dimensional, except for one quotient every $p-1$ being two-dimensional. The which leads to the considered here is the group a group of two*]{} and [*obliquity zero*]{}, in the language of [@KL-GP]. Pro-$p$ groups those two properties were called [*thin*]{} in [@CMNS], and the over to graded Lie The following equivalent but practical is available for Lie [*thin algebra*]{} Lie $L=\bigoplus_{k=1}^{\infty}L_{k}$ a field ${\mathbb F}$, $\dim(L_1)=2$ and satisfying the [*covering
 586, 356
 ---
abstract: 'We consider a class oF infinite-dImensIonAl, mOdUlar, GradEd Lie algebras, wHIch iNcludes the graded Lie algEbra aSsOCiatED tO the NOttinghAM gROUp wItH rEspEcT To Its loWer Central Series. We idEntIfY two subclassES oF [*NottinghaM LiE algebras*]{} as lOop AlgebrAs Of fINite-dImeNsionAl simpLE Lie alGebras of HAmILtoniaN cartan tYPE. A PropErty of Laguerre polYNoMIals of derivatiOns, whiCh IS rELAteD to Toral switcHiNg, plaYS a cruciAL rOLE In oUR constructionS.'
address:
- |
    DipARtiMento dI MAteMAtica e appliCaZIonI\
    Università DeglI Studi di MIlano - BICocca\
    viA cozzi 53\
    I-20125 MIlano\
    ITalY
- |
    DiPartIMeNtO di maTEmaTIcA\
    UnIVerSità deglI STuDi di TRentO\
    VIA sommAriVe 14\
    I-38050 POvo (TrEnto)\
    Italy
authOr:
- MArinA aviTabilE
- SandRo MaTtArei
bIbliogRaphy:
- 'reFerences.bib'
titlE: |
    NotTingham [L]{}iE alGeBraS wIth diAMonds\
    oF fiNitE and infInite tyPE
---

InTrODUCtIon
============

[*Nottingham Lie alGeBRAs*]{} Owe their Name to ONe ReMArkable sPeCiaL casE: THe graDed LIE rIng with tHe loweR CeNtRal seriEs Of the NOtTinGhaM grouP, Over The fieLd of $p$ eleMents, WIth $p>2$ [@Jenn; @John; @CaM]. although the NoTTiNGHaM GrouP ovEr ${\mathbb F}_p$ iS a veRY comPlex OBjEct, ITs lowEr cenTrAL sERies descends in a simpLe And regUlar wAy, the lower cenTral quotieNTS Being genEralLY oNE-dimensional, exCept fOr one quotiENt every $p-1$ Being Two-dimenSional. The ESSential fEatUre WhiCh lEADs To the generaliZATion CoNsidereD heRe is thaT thE NoTtiNghAm Group is a pRo-$p$ group Of [*WiDtH tWo*]{} aNd [*oblIQuity zerO*]{}, iN thE lAngUage oF [@kL-GP]. PrO-$p$ groUps wItH tHOse Two propERtIES werE cAlLed [*tHin*]{} In [@cMNS], aNd thE ProPerties Carry over NatURallY tO gRaded LiE algebras.

The fOlLowing equiVaLenT but moRE PracticaL definition is available fOR Lie algEbrAs. A [*thIn LiE algebra*]{} iS a gRaded LIe aLGebra $L=\BigoplUs_{k=1}^{\inFtY}L_{k}$ OVEr a fiELD ${\mAthBb f}$, with $\dim(L_1)=2$ aND SatIsfyiNg The [*cOvering Property
 586, 356
 ---
abstract: ' We conside r a c las s o finfi nite -dimensional,m odul ar, graded Lie algebra s, wh ic h  inc l ud es th e grade d  L i e  al ge br a a ss o ci atedtothe Not tingham gr oup  w ith respectt oits lowercen tral series.  We  ident if y t w o sub cla ssesof [*N o ttingh am Lie al ge b ras*]{ }  as loo p al gebr as of finite-dime n si o nal simple Lie  algeb ra s  o f Ham ilt onian Cart an  type .  A prop e rt y o f L a guerre polyno mials of de r iva tions,  w hic h  is re lated  t o  to ral switchi ng,plays a c rucial role in our con struct ion s.' 
add r es s: 
-|  D ip art i men to di Ma te ma ticae Ap p l i c azio ni\ 
   Univ ersità degliStu di d i  Mi lano- Bic occa \    v ia Coz zi 53 \    I-20125 Mil ano\ 
    Ital y
-  | 
  Dipar t imento  di  Ma tematic a\
   U niv er s i t àdegli Studi di Tre nt o \ 
   via S ommari v e14 \ 
    I-3 80 50Povo ( Trent o)\  Italy
a uthor: -Ma rina Av it abile-San dro  Matt a reibiblio graphy:- 'Re f erences.bib'
t i tle: |
    No t ti n g ha m  [L] {}i e algebraswith diam onds \ 
  o f fin ite a nd in f inite type
---

Int ro ductio n
=== =========

[* Nottingham L i e algebr as*] { }o we their nameto on e remarkab l e specia l cas e: the g raded Lie r ing with  th e l owe r c e n tr al series oft h e No tt inghamgro up, ove r t hefie ldof  $p$ elem ents, wi th  $ p> 2$  [@ Jenn; @John; @ Ca m].  A lth ought he Not tingh am g ro up ove r ${\ma t hb b F}_p $is  a v ery  c omple x ob j ect , its l ower cent ral seri es  d escends  in a simplean d regularwa y,the lo w e r centra l quotients being gener a lly one -di mensi onal , exceptfor  one q uot i ent ev ery $p -1$ b ei ngt w o-dim e n si ona l.  The essen t i alfeatu re  whi ch lead s to the generaliz a tio n consideredher e is t ha t t h eN ott in g ham g roup is a pro-$ p$ group o f[ *w idth two*] { } a nd  [*obli quity z ero*] { }, in t he langua ge of [@K L- GP]. P ro- $p$ groups  with th ose two p r opert i es  were  ca lled [ *t hin *]{}in [@C M NS] , and  the p ro pertie s car ry  over na turally to graded Lie a lgebra s.

T hefollowing  eq u iva lent butmore  practical  de fin ition  is avail able fo r L i e alg ebra s . A [*thi n  L iea l ge bra*]{} isa g rad ed Li e a l gebra$L=\ bigoplus_{k=1}^{\ i nfty}L_{k}$ ov er a f iel d $ { \mat hb b F}$, with $\ dim (L _ 1 )=2$ and  s atisfying t he [*cov er i ng pr operty 
 586,_356
 ---
abstract:_'We consider a class_of infinite-dimensional,_modular,_graded Lie_algebras,_which includes the_graded Lie algebra_associated to the Nottingham_group with respect_to_its lower central series. We identify two subclasses of [*Nottingham Lie algebras*]{} as loop_algebras_of finite-dimensional_simple_Lie_algebras of Hamiltonian Cartan type._A property of Laguerre polynomials_of derivations,_which is related to toral switching, plays a_crucial_role in our_constructions.'
address:
- |
    Dipartimento di Matematica e_Applicazioni\
    Università degli_Studi di Milano_-_Bicocca\
_   via_Cozzi 53\
    I-20125_Milano\
    Italy
- |
_   Dipartimento di Matematica\
 _  Università degli Studi di_Trento\
    via_Sommarive 14\
_   I-38050 Povo_(Trento)\
  _ Italy
author:
-_Marina Avitabile
- Sandro_Mattarei
bibliography:
- 'References.bib'
title: |
   _Nottingham [L]{}ie algebras_with diamonds\
    of_finite_and infinite type
---

Introduction
============

[*Nottingham_Lie_algebras*]{}_owe their_name to one_remarkable_special case:_the_graded Lie ring with the lower_central_series of the Nottingham group, over the_field of $p$ elements,_with_$p>2$ [@Jenn; @John; @Cam]. Although_the Nottingham group over ${\mathbb_F}_p$ is a very complex object,_its lower_central series_descends in a simple and regular way, the lower central quotients_being generally one-dimensional, except for one_quotient every $p-1$ being_two-dimensional. The_essential_feature which leads_to_the generalization_considered here is that the Nottingham group_is a_pro-$p$ group of [*width two*]{} and_[*obliquity zero*]{}, in the_language_of [@KL-GP]. Pro-$p$ groups with those two_properties were called [*thin*]{} in [@CMNS], and_the properties carry over naturally_to_graded_Lie algebras.

The following equivalent but_more practical definition is available for_Lie algebras. A_[*thin Lie algebra*]{} is a graded Lie_algebra_$L=\bigoplus_{k=1}^{\infty}L_{k}$ over a field ${\mathbb F}$,_with_$\dim(L_1)=2$ and satisfying the [*covering property