English
Related papers

Related papers: Nondefinability results for elliptic and modular f…

200 papers

Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In…

Logic · Mathematics 2025-07-02 Adam Parusiński , Armin Rainer

Let $\Omega$ be a connected bounded domain on the complex plane, $S$ be its boundary, which is closed, star-shaped, $C^1$-smooth, and $H(\Omega)$ is the set of analytic (holomorphic) in $\Omega$ functions. The aim of this paper is to prove…

Complex Variables · Mathematics 2022-10-06 Alexander G. Ramm

Let $W$ be a domain in a connected complex manifold $M$ and $w_0\in W$. Let ${\mathcal A}_{w_0}(W,M)$ be the space of all continuous mappings of a closed unit disk $\overline D$ into $M$ that are holomorphic on the interior of $\overline…

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

We prove the following two results 1. For a proper holomorphic function $ f : X \to D$ of a complex manifold $X$ on a disc such that $\{df = 0 \} \subset f^{-1}(0)$, we construct, in a functorial way, for each integer $p$, a geometric…

Algebraic Geometry · Mathematics 2008-01-29 Daniel Barlet

Let $f:[0,+\infty) \to \mathbb{R}$ be a (locally) Lipschitz function and $\Omega \subset \mathbb{R}^2$ a $C^{1,\alpha}$ domain whose boundary is unbounded and connected. If there exists a positive bounded solution to the overdetermined…

Analysis of PDEs · Mathematics 2015-05-22 Antonio Ros , David Ruiz , Pieralberto Sicbaldi

Let $Conf^{lf}_{\infty}(\C)$ and $C^{lf}_{\infty}(\C)$ denote the locally finite infinite ordered and unordered configuration spaces of the complex plane. We prove that both $Conf^{lf}_{\infty}(\C)$ and $C^{lf}_{\infty}(\C)$ are aspherical.…

Algebraic Topology · Mathematics 2025-12-29 Jyh-Haur Teh

It is a well-known and elementary fact that a holomorphic function on a compact complex manifold without boundary is necessarily constant. The purpose of the present article is to investigate whether, or to what extent, a similar property…

Differential Geometry · Mathematics 2007-05-23 R. Feres , A. Zeghib

Let $\varphi $ be a negative plurisubharmonic function in a pseudoconvex domain $\Omega$ in $\mathbb{C}^{n}$ and $f$ be a bounded holomorphic function belonging to $L^{2}(\Omega, \varphi)$. For all negative plurisubharmonic functions $\psi$…

Complex Variables · Mathematics 2024-09-24 Nguyen Van Phu

We explain which Weierstrass elliptic functions are locally definable from other elliptic functions and exponentiation in the context of o-minimal structures. The proofs make use of the predimension method from model theory to exploit…

Logic · Mathematics 2019-02-20 Gareth Jones , Jonathan Kirby , Tamara Servi

This paper addresses to Nichtnegativstellens\"atze for definable functions in o-minimal structures on $(\mathbb{R}, +, \cdot).$ Namely, let $f, g_1, \ldots, g_l \colon \mathbb{R}^n \to \mathbb{R}$ be definable $C^p$-functions ($p \ge 2$)…

Algebraic Geometry · Mathematics 2021-05-19 Si Tiep Dinh , Tien Son Pham

The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset…

Algebraic Geometry · Mathematics 2023-06-27 Ethan Cotterill , Nathan Pflueger , Naizhen Zhang

Let $D_j\subset\mathbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N. $$ Let $M\subset…

Complex Variables · Mathematics 2007-05-23 Marek Jarnicki , Peter Pflug

Given a pseudoconvex domain D in C^N, N>1, we prove that there is a holomorphic function f on D such that the lengths of paths p: [0,1]--> D along which Re f is bounded above, with p(0) fixed, grow arbitrarily fast as p(1)--> bD. A…

Complex Variables · Mathematics 2014-12-10 Josip Globevnik

Let $A$ be a rational function. For any decomposition of $A$ into a composition of rational functions $A=U\circ V$ the rational function $\widetilde A=V\circ U$ is called an elementary transformation of $A$, and rational functions $A$ and…

Dynamical Systems · Mathematics 2018-01-09 Fedor Pakovich

Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the…

Complex Variables · Mathematics 2016-10-13 Tobias Kaiser

Based on Stokes' theorem we derive a non-holomorphic functional calculus for matrices, assuming sufficient smoothness near eigenvalues, corresponding to the size of related Jordan blocks. It is then applied to the complex conjugation…

Functional Analysis · Mathematics 2017-01-31 Olavi Nevanlinna

It is hereby established that the set of Lipschitz functions $f:\mathcal{U}\rightarrow \mathbb{R}$ ($\mathcal{U}$ nonempty open subset of $\ell_{d}^{1}$) with maximal Clarke subdifferential contains a linear subspace of uncountable…

Functional Analysis · Mathematics 2023-05-22 Aris Daniilidis , Gonzalo Flores

Let q be a prime power and E a non-isotrivial elliptic curve over Fq(T) given by a Weierstrass model. We survey the construction, with an explicit point of view, of the modular parametrization of E by the associated Drinfeld modular curve.…

Algebraic Geometry · Mathematics 2022-06-03 Valentin Petit

The classical ``$H=W$" theorem establishes the identity between two function spaces on an arbitrary nonempty open set in the Euclidean spaces: the space $W$ defined via weak derivatives, and the space $H$ defined as the closure of smooth…

Functional Analysis · Mathematics 2026-05-07 Zhouzhe Wang , Jiayang Yu , Xu Zhang , Shiliang Zhao

We prove that there is a continuous non-negative function $g$ on the unit sphere in $\cd$, $d \geq 2$, whose logarithm is integrable with respect to Lebesgue measure, and which vanishes at only one point, but such that no non-zero bounded…

Complex Variables · Mathematics 2009-09-25 B. Korenblum , J. McCarthy