$K$-holomorphic functions with definable real part
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.02778
curl -X POST /api/v1/records/arxiv/2605.02778/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.02778/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'