English
Related papers

Related papers: Definability of complex functions in o-minimal str…

200 papers

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…

Complex Variables · Mathematics 2015-04-28 Junjiro Noguchi

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…

Complex Variables · Mathematics 2017-08-15 Dayal Dharmasena , Evgeny A. Poletsky

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…

Algebraic Topology · Mathematics 2021-08-27 Reid Barton , Johan Commelin

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…

Complex Variables · Mathematics 2007-05-23 Konrad Schmuedgen

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…

Complex Variables · Mathematics 2024-07-17 Xieping Wang

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…

Logic · Mathematics 2026-04-08 Oded Carmon

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…

Logic · Mathematics 2023-03-03 Juan Pablo Acosta , Assaf Hasson

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…

Combinatorics · Mathematics 2014-02-26 Saugata Basu

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…

Logic · Mathematics 2013-07-02 Yimu Yin

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.…

Number Theory · Mathematics 2015-10-06 Fabien Friedli , Anders Karlsson

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…

Functional Analysis · Mathematics 2007-05-23 René Dáger , Arturo Presa

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.

Rings and Algebras · Mathematics 2007-05-23 Patrick Speissegger

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…

Logic · Mathematics 2023-07-25 Annalisa Conversano

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…

Complex Variables · Mathematics 2018-01-30 Jorge Buescu , António Paixão

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…

Complex Variables · Mathematics 2007-08-14 Xianghong Gong , Jean-Pierre Rosay

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…

Dynamical Systems · Mathematics 2007-05-23 Yulij Ilyashenko

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),…

Logic · Mathematics 2018-02-12 Pablo Cubides Kovacsics , Françoise Delon

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…

Classical Analysis and ODEs · Mathematics 2025-08-14 Vyacheslav M. Abramov

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…

Logic · Mathematics 2025-05-13 Françoise Point

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…

Complex Variables · Mathematics 2024-03-01 Mauro Nacinovich , Egmont Porten