Related papers: Cross theorem with singularities - pluripolar vs. …

Using the theory of functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of the…

Let $X$ be a cohomologically $(n-1)$-complete complex manifold of dimension $n\geq 2$. We prove a vanishing result for the Bott-Chern cohomology group of type $(1, 1)$ with compact support in $X$, which combined with the well-known…

In this work we present a computation paradigm based on a concurrent and incremental construction of proof nets (de-sequentialized or graphical proofs) of the pure multiplicative and additive fragment of Linear Logic, a resources conscious…

We show that if the graph of a bounded analytic function in the unit disk $\mathbb D$ is not complete pluripolar in $\mathbb C^2$ then the projection of the closure of its pluripolar hull contains a fine neighborhood of a point $p \in…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

Let D be a bounded domain in the complex plane whose boundary consists of finitely many pairwise disjoint simple closed curves. Give bD the standard orientation and let A(D) be the algebra of all continuous functions on the closure of D…

We prove that square integrable holomorphic functions (with respect to a plurisubharmonic weight) can be extended in a square integrable manner from certain singular hypersurfaces (which include uniformly flat, normal crossing divisors) to…

In the recent paper [2], it was proved that the closure of the planar diffeomorphisms in the Sobolev norm consists of the functions which are non-crossing (NC), i.e., the functions which can be uniformly approximated by continuous…

Let H be the Taft algebra over a finite commutative ring R. When N is a unit in R, we show that all H-cleft extensions over R are determined up to H-comodule algebra isomorphism by their polynomial H-identities.

Using the theory of functions of several variables and $q$-calculus, we prove an expansion theorem for the analytic function in several variables which satisfies a system of $q$-partial differential equations. Some curious applications of…

We establish results on holomorphic extension of CR-mappings of class $C^\infty$ between a real-analytic CR-submanifold of $\C^N$ and a real-algebraic CR-submanifold of $\C^{N'}$.

We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…

We prove an abstract critical point theorem based on a cohomological index theory that produces pairs of nontrivial critical points with nontrivial higher critical groups. This theorem yields pairs of nontrivial solutions that are neither…

We study several classes of isolated singularities of plurisubharmonic functions that can be approximated by analytic singularities with control over their residual Monge--Amp\`ere masses. They are characterized in terms of Green functions…

In this paper we are concerned with the space of tempered ultrahyperfunctions corresponding to a proper open convex cone. A holomorphic extension theorem (the version of the celebrated edge of the wedge theorem) will be given for this…

We study boundary properties of plurisubharmonic functions near real submanifolds of almost complex manifolds.

We consider various notions of holomorphic extendability of complex valued functions defined on subsets of $\mathbf C^n$, including one-sided extendability. We show that in the relevant function spaces, these phenomena of holomorphic…

Standard singularity theorems are proven in Lorentzian manifolds of arbitrary dimension n if they contain closed trapped submanifolds of arbitrary co-dimension. By using the mean curvature vector to characterize trapped submanifolds, a…

The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…