{"id":"https://openalex.org/W7208714201","doi":"https://doi.org/10.48550/arxiv.2609.03449","title":"The Lie group-Lie algebra correspondence in tangent categories","display_name":"The Lie group-Lie algebra correspondence in tangent categories","publication_year":2026,"publication_date":"2026-09-03","ids":{"openalex":"https://openalex.org/W7208714201","doi":"https://doi.org/10.48550/arxiv.2609.03449"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.03449","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.03449","pdf_url":"https://arxiv.org/pdf/2609.03449","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/2609.03449","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022204765","display_name":"Marcello Lanfranchi","orcid":"https://orcid.org/0009-0003-4316-9009","observed_orcids":["https://orcid.org/0009-0003-4316-9009"]},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Lanfranchi, Marcello","raw_affiliation_strings":["Macquarie University , School of Mathematical and Physical Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Macquarie University , School of Mathematical and Physical Sciences","institution_ids":["https://openalex.org/I99043593"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022204765"],"corresponding_institution_ids":["https://openalex.org/I99043593"],"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.8525000214576721,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.8525000214576721,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11673","display_name":"Advanced Topics in Algebra","score":0.12430000305175781,"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/T13080","display_name":"Advanced Differential Geometry Research","score":0.011599999852478504,"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/lie-algebras","display_name":"Lie algebras","score":0.824999988079071},{"id":"https://openalex.org/keywords/tangent-space","display_name":"tangent space","score":0.39100000262260437},{"id":"https://openalex.org/keywords/group-objects","display_name":"group objects","score":0.5109999775886536},{"id":"https://openalex.org/keywords/affine-schemes","display_name":"affine schemes","score":0.7609999775886536},{"id":"https://openalex.org/keywords/smooth-manifolds","display_name":"smooth manifolds","score":0.8289999961853027},{"id":"https://openalex.org/keywords/adjoint-representation","display_name":"adjoint representation","score":0.9089999794960022}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7793999910354614},{"id":"https://openalex.org/C58910974","wikidata":"https://www.wikidata.org/wiki/Q1017106","display_name":"Adjoint representation","level":3,"score":0.6305999755859375},{"id":"https://openalex.org/C14344131","wikidata":"https://www.wikidata.org/wiki/Q5478310","display_name":"Lie bracket of vector fields","level":5,"score":0.6287000179290771},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5860999822616577},{"id":"https://openalex.org/C203946495","wikidata":"https://www.wikidata.org/wiki/Q1017106","display_name":"Adjoint representation of a Lie algebra","level":4,"score":0.5698000192642212},{"id":"https://openalex.org/C144091092","wikidata":"https://www.wikidata.org/wiki/Q3611543","display_name":"Graded Lie algebra","level":3,"score":0.544700026512146},{"id":"https://openalex.org/C22365015","wikidata":"https://www.wikidata.org/wiki/Q1003162","display_name":"Simple Lie group","level":3,"score":0.5422000288963318},{"id":"https://openalex.org/C51568863","wikidata":"https://www.wikidata.org/wiki/Q664495","display_name":"Lie algebra","level":2,"score":0.5317999720573425},{"id":"https://openalex.org/C186489112","wikidata":"https://www.wikidata.org/wiki/Q763735","display_name":"Representation of a Lie group","level":3,"score":0.5127000212669373},{"id":"https://openalex.org/C143135876","wikidata":"https://www.wikidata.org/wiki/Q357300","display_name":"Lie theory","level":5,"score":0.5109999775886536},{"id":"https://openalex.org/C187915474","wikidata":"https://www.wikidata.org/wiki/Q622679","display_name":"Lie group","level":2,"score":0.45730000734329224},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44530001282691956},{"id":"https://openalex.org/C28903235","wikidata":"https://www.wikidata.org/wiki/Q746550","display_name":"Tangent bundle","level":3,"score":0.43529999256134033},{"id":"https://openalex.org/C73648015","wikidata":"https://www.wikidata.org/wiki/Q6543817","display_name":"Lie conformal algebra","level":3,"score":0.4318000078201294},{"id":"https://openalex.org/C5475112","wikidata":"https://www.wikidata.org/wiki/Q632521","display_name":"Affine Lie algebra","level":4,"score":0.37959998846054077},{"id":"https://openalex.org/C2776503324","wikidata":"https://www.wikidata.org/wiki/Q6543810","display_name":"Lie algebroid","level":3,"score":0.3472999930381775},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C5106717","wikidata":"https://www.wikidata.org/wiki/Q3427416","display_name":"Fundamental representation","level":4,"score":0.32510000467300415},{"id":"https://openalex.org/C197273675","wikidata":"https://www.wikidata.org/wiki/Q13220368","display_name":"Representation theory","level":2,"score":0.3077000081539154},{"id":"https://openalex.org/C155058155","wikidata":"https://www.wikidata.org/wiki/Q1673406","display_name":"Universal enveloping algebra","level":3,"score":0.2865999937057495},{"id":"https://openalex.org/C62623296","wikidata":"https://www.wikidata.org/wiki/Q686291","display_name":"Affine group","level":3,"score":0.28369998931884766},{"id":"https://openalex.org/C149944404","wikidata":"https://www.wikidata.org/wiki/Q2392464","display_name":"Tangent cone","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C187519435","wikidata":"https://www.wikidata.org/wiki/Q579267","display_name":"Lie derivative","level":5,"score":0.26159998774528503},{"id":"https://openalex.org/C6128414","wikidata":"https://www.wikidata.org/wiki/Q3892887","display_name":"Affine representation","level":5,"score":0.257999986410141}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.03449","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.03449","pdf_url":"https://arxiv.org/pdf/2609.03449","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.03449","doi":"https://doi.org/10.48550/arxiv.2609.03449","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.03449","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.03449","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.03449","pdf_url":"https://arxiv.org/pdf/2609.03449","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3262544604","display_name":null,"funder_award_id":"FA9550\u201024\u20101\u20100008","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7208714201.pdf","grobid_xml":"https://content.openalex.org/works/W7208714201.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W4225668579","https://openalex.org/W4413965725","https://openalex.org/W4416021342","https://openalex.org/W4416257770","https://openalex.org/W4417079105","https://openalex.org/W6948196603","https://openalex.org/W7163883389","https://openalex.org/W7168237637"],"related_works":["https://openalex.org/W123929466","https://openalex.org/W4313483663","https://openalex.org/W7105739543","https://openalex.org/W2612677384","https://openalex.org/W6891872226","https://openalex.org/W2768848958","https://openalex.org/W4241151686","https://openalex.org/W3049608827","https://openalex.org/W2801286884","https://openalex.org/W4407632804"],"abstract_inverted_index":{"Classic":[0],"Lie":[1,7,21,59,80,89,114,129,136,151,156,161,177,181,188],"theory":[2],"establishes":[3],"a":[4,45,96,101,113,128,154,159,174],"correspondence":[5,25,60,83],"between":[6],"groups,":[8],"which":[9,43,99],"are":[10],"internal":[11,79,135],"group":[12,29,90,93,109,125],"objects":[13,30,91,94],"in":[14,31,84,95,190],"the":[15,58,66,105,124,142,146,165,171,186],"category":[16,98],"of":[17,72],"smooth":[18,35],"manifolds,":[19],"and":[20,37,74,116,168,193],"algebras.":[22,182],"An":[23],"analogous":[24],"also":[26],"exists":[27],"for":[28,48],"affine":[32,38],"schemes.":[33],"Both":[34],"manifolds":[36],"schemes":[39],"form":[40],"tangent":[41,67,85,97,102,143],"categories,":[42],"provide":[44],"categorical":[46],"context":[47],"differential":[49,155,180,192],"geometry.":[50,195],"Therefore,":[51],"it":[52,118],"is":[53,119,127,141,153],"natural":[54],"to":[55,173,179],"ask":[56],"whether":[57],"can":[61],"be":[62],"constructed":[63],"entirely":[64],"from":[65,176],"structure.":[68],"Building":[69],"on":[70],"work":[71],"Cockett":[73],"Schwarz,":[75],"we":[76,111,169,184],"develop":[77],"an":[78,134],"group-Lie":[81],"algebra":[82,137,152],"categories.":[86],"We":[87,148],"introduce":[88],"as":[92],"admit":[100],"space":[103,144],"at":[104,145],"unit.":[106,147],"For":[107],"any":[108],"object,":[110],"construct":[112],"functor":[115,175],"show":[117],"tangentially":[120],"representable":[121],"exactly":[122],"when":[123],"object":[126,140],"group.":[130],"Representability":[131],"then":[132],"yields":[133],"whose":[138],"underlying":[139],"prove":[149],"this":[150],"algebra,":[157],"with":[158],"bilinear":[160],"bracket":[162],"induced":[163],"by":[164],"adjoint":[166],"representation,":[167],"extend":[170],"construction":[172],"groups":[178],"Finally,":[183],"recover":[185],"usual":[187],"correspondences":[189],"both":[191],"algebraic":[194]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-05T00:00:00"}