{"id":"arxiv/2607.28557","url":"https://arxiv.org/abs/2607.28557","tags":["math.DG"],"score":0,"title":"Completeness of the Model Space Does Not Force Regularity for Infinite-Dimensional Lie Groups","domain":"math.DG","source":"arxiv","authors":["Zongjian Han","Fungo Saluta"],"reviews":0,"subject":"math.DG","summary":"We give negative solutions to the two basic completeness problems for locally convex Lie groups: whether a Lie group modelled on a Mackey-complete locally convex space must be regular, and whether it must at least possess a smooth exponential function. Both counterexamples have complete model spaces. We first construct a contractible complex analytic BCH--Lie group $H$, modelled on the complete Silva space $\\mathbb C^{(\\mathbb N)}$, for which $\\exp_H$ is a global homeomorphism although $H$ is not $C^0$-semiregular. The failure is witnessed by smooth controls converging to zero in a fixed…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}