{"id":"arxiv/2603.06443","url":"https://arxiv.org/abs/2603.06443","tags":["math.AG"],"score":0,"title":"Inner Lipschitz approximation in o-minimal structures","domain":"math.AG","source":"arxiv","authors":["Nhan Nguyen","Anna Valette","Guillaume Valette"],"reviews":0,"subject":"math.AG","summary":"Given an o-minimal structure, we show that every definable (in this structure) mapping that is Lipschitz with respect to the inner metric can be approximated by $\\mathscr{C}^1$ mappings that are Lipschitz with respect to the inner metric with arbitrarily close bounds for the derivative. When the o-minimal structure admits $\\mathscr{C}^\\infty$ cell decomposition, we show that the approximation can be required to be $\\mathscr{C}^\\infty$ and we extend this result to outer Lipschitz mappings. The proof involves the construction of partitions of unity with sharp bounds for the derivative, which…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-06","reactions":{}}