{"id":"https://openalex.org/W7203454387","doi":"https://doi.org/10.48550/arxiv.2608.12567","title":"Rigidity for Lie algebras of locally finite derivations","display_name":"Rigidity for Lie algebras of locally finite derivations","publication_year":2026,"publication_date":"2026-08-12","ids":{"openalex":"https://openalex.org/W7203454387","doi":"https://doi.org/10.48550/arxiv.2608.12567"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.12567","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12567","pdf_url":"https://arxiv.org/pdf/2608.12567","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.12567","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005234405","display_name":"Mohamed-Ali Belabbas","orcid":"https://orcid.org/0000-0001-9038-0809","observed_orcids":["https://orcid.org/0000-0001-9038-0809"]},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Belabbas, Mohamed Ali","raw_affiliation_strings":["Coordinated Science Laboratory , Department of Electrical and Computer Engineer- ing and Department of Mathematics , University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory , Department of Electrical and Computer Engineer- ing and Department of Mathematics , University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005234405"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.0013000000035390258,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rigidity","display_name":"rigidity","score":0.609000027179718},{"id":"https://openalex.org/keywords/lie-algebras-of-derivations","display_name":"Lie algebras of derivations","score":0.8870000243186951},{"id":"https://openalex.org/keywords/locally-nilpotent-derivations","display_name":"locally nilpotent derivations","score":0.8270000219345093},{"id":"https://openalex.org/keywords/solvable-lie-algebras","display_name":"solvable Lie algebras","score":0.7699999809265137},{"id":"https://openalex.org/keywords/derived-length","display_name":"derived length","score":0.8379999995231628},{"id":"https://openalex.org/keywords/adjoint-action","display_name":"adjoint action","score":0.6919999718666077},{"id":"https://openalex.org/keywords/affine-varieties","display_name":"affine varieties","score":0.5230000019073486}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.859000027179718},{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.6769999861717224},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5774999856948853},{"id":"https://openalex.org/C51568863","wikidata":"https://www.wikidata.org/wiki/Q664495","display_name":"Lie algebra","level":2,"score":0.42329999804496765},{"id":"https://openalex.org/C50555996","wikidata":"https://www.wikidata.org/wiki/Q840023","display_name":"Nilpotent","level":2,"score":0.3995000123977661},{"id":"https://openalex.org/C73648015","wikidata":"https://www.wikidata.org/wiki/Q6543817","display_name":"Lie conformal algebra","level":3,"score":0.3783999979496002},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36959999799728394},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C5475112","wikidata":"https://www.wikidata.org/wiki/Q632521","display_name":"Affine Lie algebra","level":4,"score":0.35010001063346863},{"id":"https://openalex.org/C197273675","wikidata":"https://www.wikidata.org/wiki/Q13220368","display_name":"Representation theory","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C205633959","wikidata":"https://www.wikidata.org/wiki/Q2494915","display_name":"Unipotent","level":2,"score":0.31619998812675476},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C206219070","wikidata":"https://www.wikidata.org/wiki/Q1755242","display_name":"Nilpotent group","level":3,"score":0.2872999906539917},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.28529998660087585},{"id":"https://openalex.org/C87945829","wikidata":"https://www.wikidata.org/wiki/Q1353233","display_name":"Conjugacy class","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C2776456406","wikidata":"https://www.wikidata.org/wiki/Q6664692","display_name":"Locally nilpotent","level":4,"score":0.27799999713897705},{"id":"https://openalex.org/C203946495","wikidata":"https://www.wikidata.org/wiki/Q1017106","display_name":"Adjoint representation of a Lie algebra","level":4,"score":0.2766000032424927},{"id":"https://openalex.org/C203701370","wikidata":"https://www.wikidata.org/wiki/Q1047547","display_name":"Algebraically closed field","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C518143113","wikidata":"https://www.wikidata.org/wiki/Q4391941","display_name":"Non-associative algebra","level":4,"score":0.27070000767707825},{"id":"https://openalex.org/C144091092","wikidata":"https://www.wikidata.org/wiki/Q3611543","display_name":"Graded Lie algebra","level":3,"score":0.2678999900817871},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.2678000032901764},{"id":"https://openalex.org/C187915474","wikidata":"https://www.wikidata.org/wiki/Q622679","display_name":"Lie group","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C58910974","wikidata":"https://www.wikidata.org/wiki/Q1017106","display_name":"Adjoint representation","level":3,"score":0.26269999146461487},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.25699999928474426},{"id":"https://openalex.org/C155058155","wikidata":"https://www.wikidata.org/wiki/Q1673406","display_name":"Universal enveloping algebra","level":3,"score":0.2540999948978424},{"id":"https://openalex.org/C22365015","wikidata":"https://www.wikidata.org/wiki/Q1003162","display_name":"Simple Lie group","level":3,"score":0.2533999979496002},{"id":"https://openalex.org/C99634282","wikidata":"https://www.wikidata.org/wiki/Q634557","display_name":"Killing form","level":5,"score":0.2531000077724457}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.12567","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12567","pdf_url":"https://arxiv.org/pdf/2608.12567","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.12567","doi":"https://doi.org/10.48550/arxiv.2608.12567","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.12567","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.12567","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12567","pdf_url":"https://arxiv.org/pdf/2608.12567","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203454387.pdf","grobid_xml":"https://content.openalex.org/works/W7203454387.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7164233941","https://openalex.org/W7150713358","https://openalex.org/W7221835078","https://openalex.org/W2962918226","https://openalex.org/W4411208816","https://openalex.org/W7140638097","https://openalex.org/W2074094231","https://openalex.org/W2951154438","https://openalex.org/W2012475157","https://openalex.org/W2061090190"],"abstract_inverted_index":{"Let":[0],"$A$":[1,33,89,123],"be":[2],"a":[3,9,38,72,164,205,239],"finitely":[4,20,43,58,138,148,170],"generated":[5,21,41,136,168,187],"commutative":[6],"algebra":[7,186],"over":[8,156],"field":[10],"$\\mathbb":[11],"K$":[12],"of":[13,24,78,111,117,122,133,166,183,208],"characteristic":[14],"zero.":[15],"We":[16,125],"prove":[17,127],"that":[18,128,163],"every":[19,75,129,181],"Lie":[22,39,76,131,185],"subalgebra":[23,40,77,132],"$\\operatorname{Der}_{\\mathbb":[25,79,134],"K}(A)$":[26,80,135],"whose":[27,81],"elements":[28,64,82],"are":[29,50,65,83],"locally":[30,45,57,66,84,140,147,193],"finite":[31,46,141,241],"on":[32,59,149,243],"is":[34,53,71,86,90,95,103,115,143,175,192],"finite-dimensional.":[35],"Consequently,":[36],"for":[37],"by":[42,137,169,188,223],"many":[44,139,171],"derivations,":[47],"the":[48,107,184,227],"following":[49],"equivalent:":[51],"it":[52,55],"finite-dimensional,":[54],"acts":[56,146],"$A$,":[60],"and":[61,100,145,178],"all":[62],"its":[63,92,112],"finite.":[67,194],"A":[68],"key":[69],"ingredient":[70],"second":[73,236],"theorem:":[74],"nilpotent":[85],"solvable;":[87],"when":[88],"reduced,":[91],"derived":[93,113],"length":[94],"at":[96],"most":[97],"$\\dim":[98],"A$,":[99],"this":[101,200],"bound":[102],"sharp.":[104],"In":[105],"general,":[106],"$(\\dim":[108],"A)$-th":[109],"term":[110],"series":[114],"nilpotent,":[116],"class":[118],"bounded":[119],"in":[120],"terms":[121],"only.":[124],"also":[126,212],"solvable":[130],"derivations":[142,233],"finite-dimensional":[144,220],"$A$.":[150],"For":[151,195],"an":[152,157,202,218],"affine":[153],"variety":[154],"$X$":[155],"algebraically":[158],"closed":[159],"field,":[160],"we":[161],"deduce":[162],"subgroup":[165],"$\\operatorname{Aut}(X)$":[167],"connected":[172],"algebraic":[173,176],"subgroups":[174],"if":[177,180],"only":[179],"element":[182],"their":[189],"tangent":[190],"algebras":[191],"two":[196],"unipotent":[197],"one-parameter":[198],"subgroups,":[199],"gives":[201],"answer":[203],"to":[204,235],"2005":[206],"problem":[207],"Popov.":[209],"Our":[210],"results":[211],"characterize":[213],"polynomial":[214,224],"control":[215],"systems":[216],"admitting":[217],"exact":[219],"bilinear":[221],"realization":[222],"observables":[225],"containing":[226],"state":[228],"coordinates.":[229],"The":[230],"proof":[231],"uses":[232],"vanishing":[234],"order":[237],"along":[238],"suitable":[240],"subscheme,":[242],"which":[244],"local":[245,248],"finiteness":[246],"forces":[247],"nilpotence.":[249]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-08-15T00:00:00"}