Related papers: The first main theorem on complements: from global…
There are several extensions of the classical Banach Fixed Point Theorem in technical literature. A branch of generalizations replaces usual contractivity by weaker but still effective assumptions. Our note follows this stream, presenting…
The main purpose of this short note, on the one hand, to is rigorize some part of the proof of Theorem 1.3 in [11] in a simple way, and on the other hand, to give an alternative argument from local inequalities to global ones.
We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…
In the first part, in the local non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We conjecture that such distributions are invariant by transposition. This would imply…
We show the existence of $(\epsilon,n)$-complements for $(\epsilon,\Rr)$-complementary projective generalized pairs of Fano type $(X,B+M)$ when either the coefficients of $B$ and $\mu_j$ belong to a finite set or the coefficients of $B$…
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
Let $X\subset P^n$ be a complex projective manifold of degree $d$ and arbitrary dimension. The main result of this paper gives a classification of such manifolds (assumed moreover to be connected, non-degenerate and linearly normal) in case…
This paper proves local-global principles for Galois cohomology groups over function fields $F$ of curves that are defined over a complete discretely valued field. We show in particular that such principles hold for $H^n(F, Z/mZ(n-1))$, for…
We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…
The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps…
Based on methods of structural convergence we provide a unifying view of local-global convergence, fitting to model theory and analysis. The general approach outlined here provides a possibility to extend the theory of local-global…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
In this paper we will establish a structure theorem concerning the extension of analytic objects associated to germs of dimension one foliations on surfaces, through one-dimensional barriers. As an application, an extension theorem for…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…
Diers developed a general theory of right multi-adjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the…
In this paper we prove FG-coupled fixed point theorems for different contractive mappings and generalized quasi- contractive mappings in partially ordered complete metric spaces. We prove the existence of FG-coupled fixed points of…
The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois…
We consider local-global principles for rational points on varieties, in particular torsors, over one-variable function fields over complete discretely valued fields. There are several notions of such principles, arising either from the…