Related papers: Definability of complex functions in o-minimal str…
We introduce a positive scalar function $\rho(a, \Omega)$ for a domain $\Omega$ of a complex manifold $X$ with a global holomorphic frame of the cotangent bundle by closed Abelian differentials, which heuristically measure the distance from…
Let $(W,\Pi)$ be a Riemann domain over a complex manifold $M$ and $w_0$ be a point in $W$. Let $\mathbb D$ be the unit disk in $\mathbb C$ and $\mathbb T=\bd\mathbb D$. Consider the space ${\mathcal S}_{1,w_0}({\bar{\mathbb D}},W,M)$ of…
We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…
Let $f$ be a holomorphic function on the strip $\{z\in C: -\alpha<Im z<\alpha\}, \alpha > 0$, belonging to the class $H(\alpha,-\alpha;\epsilon)$ defined below. It is shown that there exist holomorphic functions $w_1$ on $\{z\in C: 0<Im z…
The celebrated Ohsawa--Takegoshi extension theorem for $L^2$ holomorphic functions on bounded pseudoconvex domains in $\mathbb C^n$ is a fundamental result in several complex variables and complex geometry. Ohsawa conjectured in 1995 that…
We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially…
We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…
We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…
We initiate the study of spectral zeta functions $\zeta_{X}$ for finite and infinite graphs $X$, instead of the Ihara zeta function, with a perspective towards zeta functions from number theory and connections to hypergeometric functions.…
A differential form defined on a Riemannian manifold is said to harmonic if it is closed and co-closed. Harmonic differential forms are a natural multi-dimensional extension of the concept of analytic function of complex variable. In this…
Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.
We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…
We characterize a holomorphic positive definite function $f$ defined on a horizontal strip of the complex plane as the Fourier-Laplace transform of a unique exponentially finite measure on $\mathbb{R}$. The classical theorems of Bochner on…
We consider a continuous function $f$ on a domain in $\mathbf C^n$ satisfying the inequality that $|\bar \partial f|\leq |f|$ off its zero set. The main conclusion is that the zero set of $f$ is a complex variety. We also obtain removable…
An upper bound of the variation of argument of a holomorphic function along a curve on a Riemann surface is given. This bound is expressed through the Bernstein index of the function multiplied by a geometric constant. The Bernstein index…
In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…
In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of…
Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…
We introduce a notion of locally approximable continuous CR functions on locally closed subsets of reduced complex spaces, generalizing both holomorphic functions and CR functions on CR submanifolds. Under additional assumptions of…