Related papers: An Application of Descriptive Set Theory to Comple…
A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…
We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety $X$ defined over an algebraically closed field $K$ of characteristic $0$, endowed with a…
In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…
We prove an analogue of Hilbert's Tenth Problem for complex meromorphic functions. More precisely, we prove that the set of integers is positive existentially definable in fields of complex meromorphic functions in several variables over…
We show that every algebraic group scheme over a field with at least 8 elements can be realized as the group of automorphisms of a nonassociative algebra. This is only a modest improvement of the theorem of Gordeev and Popov (2003), but it…
This paper provides an Open Mapping Theorem for topological modules over rings that have a zero sequence consisting of units. As an application it is shown that there is a unique complete and metrisable topology on finitely generated…
A dichotomy discovered by Solecki says that a Baire class 1 function from a Souslin space into a Polish space either can be decomposed into countably many continuous functions, or else contains one particular function which cannot be so…
Let $\Omega\subset \mathbb{R}^n$ be a bounded domain that can be written as $\Omega=\bigcup_{t} \Omega_t$, where $\{\Omega_t\}_{t\in\Gamma}$ is a countable collection of domains with certain properties. In this work, we develop a technique…
Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical…
The present article is an extended version of [6] containing new results and an updated list of references. We review the notion of polar analyticity introduced in a previous paper and succesfully applied in Mellin analysis and quadrature…
Let $\mathcal O$ be a holomorphy ring in a global field $K$, and $R$ a classical maximal $\mathcal O$-order in a central simple algebra over $K$. We study sets of lengths of factorizations of cancellative elements of $R$ into atoms…
Our goal in this work is to develop aspects of Bialynicki-Birula and Morse-Bott theory that can be extended from the classical setting of smooth manifolds to that of complex analytic spaces with a holomorphic $\mathbb{C}^*$ action. We…
An oscillator group $G$ is a semidirect product of a Heisenberg group with a one-parameter group. In this article we construct Olshanski semigroups for infinite-dimensional oscillator groups. These are complex involutive semigroups which…
This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general…
These lecture notes present a computation driven pathway from classical complex analysis to the theory of compact Riemann surfaces and their connections to algebraic geometry. The exposition follows a compute first then abstract philosophy,…
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$…
We use recent advances in circle packing theory to develop a constructive method for the approximation of an analytic function $F:\Omega \to \bold C$ by circle packing maps providing we have only been given $\Omega$, $|F'|\big|_{\Omega}$,…
We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by…
In characteristic zero, Zinovy Reichstein and the author generalized the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative…
In this work we analyze the main properties of the Zariski and maximal spectra of the ring ${\mathcal S}^r(M)$ of differentiable semialgebraic functions of class ${\mathcal C}^r$ on a semialgebraic set $M\subset\mathbb{R}^m$. Denote…