{"id":"arxiv/2605.02778","url":"https://arxiv.org/abs/2605.02778","tags":["math.AG","math.LO"],"score":0,"title":"$K$-holomorphic functions with definable real part","domain":"math.AG","source":"arxiv","authors":["Antonio Carbone","Enrico Savi"],"reviews":0,"subject":"math.AG","summary":"Let $R$ be a real closed field and $K:=R(i)$ its algebraic closure. Let $U\\subset K^n$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relationship between definability of a $K$-holomorphic function $f=f_1+if_2:U\\to K$ and the definability and (strong) $R$-analyticity of its real part $f_1:U\\to R$. Our results turn out to be the best possible {in general}, and their precision depends on the considered o-minimal structure. We obtain a complete characterisation in the semialgebraic case.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}