Related papers: Constructive proof of extended Kapranov theorem

We provide new simple proofs of the Kolmogorov extension theorem and Prokhorovs' theorem. The proof of the Kolmogorov extension theorem is based on the simple observation that $\mathbb{R}$ and the product measurable space…

By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…

The discriminant of a polynomial map is central to problems from affine geometry and singularity theory. Standard methods for characterizing it rely on elimination techniques that can often be ineffective. This paper concerns polynomial…

In 1983, Nochka proved a conjecture of Cartan on defects of holomorphic curves in CP^n relative to a possibly degenerate set of hyperplanes. In this paper, we generalize the Nochka's theorem to the case of curves in a complex projective…

This paper is purely expositional. The statement of the Kuratowski graph planarity criterion is simple and well-known. However, its classical proof is not easy. In this paper we present the Makarychev proof (with further simplifications by…

Kerr-Schild formalism is generalized by incorporation of the Kerr Theorem with polynomials of higher degrees in $Y\in CP^1.$ It leads to multisheeted twistor spaces and multiparticle solutions.

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…

In this paper, we prove a general second main theorem for meromorphic mappings into a subvariety $V$ of $\mathbb P^N(\mathbb C)$ with an arbitrary family of moving hypersurfaces. Our second main theorem generalizes and improves all previous…

We construct Kasparov's bifunctor $KK$ and $E$-theory by stable homotopy theoretic methods. This is motivated by results concerning constructions of bivariant theories on more general categories such as, for example, bornological algebras.…

A nonconstructive proof can be used to prove the existence of an object with some properties without providing an explicit example of such an object. A special case is a probabilistic proof where we show that an object with required…

Tennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers. In this paper, we use constructive type theory as a framework to revisit,…

We prove a generalization of the classical Poincar\'e--Birkhoff theorem for Liouville domains, in arbitrary even dimensions. This is inspired by the existence of global hypersurfaces of section for the spatial case of the restricted…

In this note we present variants of Kostov's theorem on a versal deformation of a parabolic point of a complex analytic $1$-dimensional vector field. First we provide a self-contained proof of Kostov's theorem, together with a proof that…

It is shown that for a subset $A\subset\R^n$ that has the global Gabrielov property, a Vitushkin-type estimate holds. Concrete examples are given for sub-level sets of certain classes of functions.

In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of…

We prove that if an $n\times n$ matrix defined over ${\mathbb Q}_p$ (or more generally an arbitrary complete, discretely-valued, non-Archimedean field) satisfies a certain congruence property, then it has a strictly maximal eigenvalue in…

We prove a tropical analogue of Cartan's second main theorem for holomorphic curves intersecting hyperplanes in general position--a setting that was not fully resolved by previous tropical Nevanlinna theory. Two versions are obtained. The…

In this work we present a simplifyed proof of Kantorovich's Theorem on Newton's Method. This analysis uses a technique which has already been used for obtaining new extensions of this theorem.

Let $\mathbf{K}$ be an algebraically closed field of arbitrary characteristic, complete with respect to a non-archimedean absolute value $|\,|$. We establish a Second Main Theorem type estimate for analytic map $f\colon…

Given a smooth complex toric variety we will compare real Lagerberg forms and currents on its tropicalization with invariant complex forms and currents on the toric variety. Our main result is a correspondence theorem which identifies the…