Related papers: An Application of Descriptive Set Theory to Comple…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

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…

Let $\Omega$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $\Omega$…

We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…

It has been proved by the author [arXiv: 2404.19433] that the Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism. We show here that for algebras of analytic functionals on a connected complex Lie group the…

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…

T. Mostowski showed that every (real or complex) germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that every (real or complex) analytic function germ, defined on a possibly singular analytic…

Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic…

Using the notion of order convergent nets, we develop an order-theoretic approach to differentiable functions on Archimedean complex $\Phi$-algebras. Most notably, we improve the Cauchy-Hadamard formulas for universally complete complex…

Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces…

In the first half of twentieth century the theory of complex analytic functions and of their zerosets was fully developed. The definition of holomorphic function has a local nature. Germs of holomorphic functions form a distinguished…

In this paper we present a proof of Hartogs' extension theorem, following T. Sobieszek's paper from 2003. Hartogs' theorem provides a large class of domains where holomorphic functions have analytic continuation to larger domains, and is "a…

Let $\Omega$ be a complex lattice which does not have complex multiplication and $\wp=\wp_\Omega$ the Weierstrass $\wp$-function associated to it. Let $D\subseteq\mathbb{C}$ be a disc and $I\subseteq\mathbb{R}$ be a bounded closed interval…

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several…

Developing ideas of \cite{Fei}, we introduce canonical cosimplicial cohomology of meromorphic functions for infinite-dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold $M$. Graded…

We show that every strictly pseudoconvex domain $\Omega$ with smooth boundary in a complex manifold $\mathcal{M}$ admits a global defining function, i.e., a smooth plurisubharmonic function $\varphi \colon U \to \mathbb R$ defined on an…

We develop the basics of an analogue of descriptive set theory for functions on a Polish space $X$. We use this to define a version of the small index property in the context of Polish topometric groups, and show that Polish topometric…

In the course of many mathematical developments involving 'number systems' like $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb {C}$ etc., it sometimes becomes necessary to abstract away and study certain properties of the number…