Related papers: First Baire class functions in the pluri-fine topo…

We investigate classes of functions from a topological space to a metric space that are related to those of Borel class 1. Following the idea defining an equi-Baire 1 family (due to Lecomte) we define the respective equi-families of…

If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…

We prove the following well known conjecture: let $\Sigma$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $\phi \in \textup{Mod}(\Sigma)$ be a an infinite order mapping class. Then there exists…

A function f is continuous iff the PRE-image f^{-1}[V] of any open set V is open again. Dual to this topological property, f is called OPEN iff the IMAGE f[U] of any open set U is open again. Several classical Open Mapping Theorems in…

For a Tychonoff space $X$, we will denote by $USC_{p}(X)$ ($B_1(X)$) a set of all real-valued upper semicontinuous functions (a set of all Baire functions of class 1) defined on $X$ endowed with the pointwise convergence topology. In this…

We prove existence of solutions to the following problem \begin{equation*} \begin{cases} -\Delta_1 u +g(u)|Du|=h(u)f & \text{in $\Omega$,} \\ u=0 & \text{on $\partial\Omega$,} \end{cases} \end{equation*} where $\Omega \subset \mathbb{R}^N$,…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

We study connectedness in the pluri-fine topology on $\CC^n$ and obtain the following results. If $\Omega$ is a pluri-finely open and pluri-finely connected set in $\CC^n$ and $E\subset\CC^n$ is pluripolar, then $\Omega\setminus E$ is…

Let $\Omega$ be an open subset of $\mathbb R^n$, and let $f: \Omega \to \mathbb R$ be differentiable $\mathcal H^k$-almost everywhere, for some nonnegative integer $k < n$, where $\mathcal H^k$ denotes the $k$=dimensional Hausdorff measure.…

Let $u$ and $v$ be two plurisubharmonic functions in the domain of definition of the Monge-Amp\`ere operator on a domain $\Omega\subset {\bf C}^n$. We prove that if $u=v$ on a plurifinely open set $U\subset \Omega$ that is Borel measurable,…

Let A be a complex abelian variety. The moduli space ${\mathcal M}_C$ of rank one algebraic connections on $A$ is a principal bundle over the dual abelian variety $A^\vee=\text{Pic}^0(A)$ for the group $H^0(A, \Omega^1_A)$. Take any line…

We prove an extension theorem (with non-tangential limits) for vector-valued Baire one functions. Moreover, at every point where the function is continuous (or bounded), the continuity (or boundedness) is preserved. More precisely: Let $H$…

We find an equivalent condition for a continuous vector-valued path to be Lebesgue equivalent to a twice differentiable function. For that purpose, we introduce the notion of a $VBG_{{1/2}}$ function, which plays an analogous role for the…

We prove the existence of a compactly supported, continuous (except at finitely many points) function $g_{I, {\bf m}}: [0, \infty)\longrightarrow \mathbb{R}$ for all monomial prime ideals $I$ of $R$ of height one where $(R, {\bf m})$ is the…

We conjecture that quantum Gaudin models in affine types admit families of local higher Hamiltonians, labelled by the (countably infinite set of) exponents, whose eigenvalues are given by functions on a space of meromorphic opers associated…

In this paper we prove an analogue of the discrete spherical maximal theorem of Magyar, Stein, and Wainger, an analogue which concerns maximal functions associated to homogenous algebraic surfaces. Let $\mathfrak{p}$ be a homogenous…

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

Given a complex domain $\Omega$ and analytic functions $\varphi_1,\ldots,\varphi_n : \Omega \to \mathbb{D}$, we give geometric conditions for $H^\infty(\Omega)$ to be generated by functions of the form $g \circ \varphi_k$, $g \in…

Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…

Solutions of numerous equations of mathematical physics such as elliptic, weakly singular, singular, hypersingular integral equations belong to functional classes $\bar Q^u_{r \gamma}(\Omega,1)$ and $Q^u_{r \gamma}(\Omega,1)$ defined over…