Related papers: $K$-holomorphic functions with definable real part

In this paper, we study definably compact semigroups in o-minimal structures, aiming to extend the theory of definable groups to a broader algebraic setting. We show that any definably compact semigroup contains idempotents and admits a…

Let $K$ be a finite extension of $\mathbb{Q}_p$ that is totally ramified over $\mathbb{Q}_p$. The set $\mathcal{M}\mathcal{F}(K)$ consists of power series in $1+zK[[z]]$ that are solutions of differential operators in $K(z)[d/dz]$ equipped…

We show that an arc-analytic subanalytic function on a complex manifold M, which is holomorphic near one point, is a holomorphic function on M. More generally, an arc-analytic subanalytic function on a real analytic CR-manifold M, which is…

Let $\mathbb K$ be a field of characteristic zero. We prove that its motivic cohomology in degree $m-1$ and weight $m$ is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin…

We describe the strong dual space $({\mathcal O}^s (D))^*$ for the space ${\mathcal O}^s (D) = H^s (D) \cap {\mathcal O} (D)$ of holomorphic functions from the Sobolev space $H^s(D)$, $s \in \mathbb Z$, over a bounded simply connected plane…

Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…

We compute the K-theory of the three C*-algebras associated to a rational function R acting on the Riemann sphere, its Fatou set, and its Julia set. The latter C*-algebra is a unital UCT Kirchberg algebra and is thus classified by its…

If $K$ is a field with enough roots of unity and $V$ an abelian group, the $K$-algebra $K[V]$ of the group $V$ is split semisimple, so that the canonical morphism $K[V]\to K^{V^\sharp}$, where $V^\sharp$ denotes the dual group of $V$ (which…

A function that is analytic on a domain of $\mathbb{C}^n$ is holonomic if it is the solution to a holonomic system of linear homogeneous differential equations with polynomial coefficients. We define and study the Bernstein-Sato polynomial…

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…

We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive…

We study linear and algebraic structures in sets of bounded holomorphic functions on the ball which have large cluster sets at every possible point (i.e., every point on the sphere in several complex variables and every point of the closed…

We consider a formal power series in one variable whose coefficients are holomorphic functions in a given multidimensional complex domain. Assume the following two conditions on the series. (C1) The restriction of the series at each point…

We study the problem of describing the set of real functionals on the quotient $\textrm{Sym}/(p_2-1)$ of the ring of symmetric functions that are nonnegative on the images of certain modified Hall-Littlewood symmetric functions. This…

We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the…

Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…

We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…

For any complex scheme X or any dg category, there is an associated K-theory presheaf on the category of complex affine schemes. We study real smooth functions on this presheaf, defined by Kan extension, and show that they are closely…

We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime…

We establish rigidity results for holomorphic mappings and plurisubharmonic functions in complex geometry. First, under mild conditions, we show that the gradient of a $\operatorname{U}(1)$-invariant strictly plurisubharmonic function in…