Related papers: The Brouwer fixed point theorem and the Borsuk--Ul…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions.

We present an alternative approach to the vector version of Krasnosel'skii compression-expansion fixed point theorem due to Precup, which is based on the fixed point index. It allows us to obtain new general versions of this fixed point…

In this paper a generalized topological central point theorem is proved for maps of a simplex to finite-dimensional metric spaces. Similar generalizations of the Tverberg theorem are considered.

A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically…

Given a locally trivial fibre bundle $E \to B$ (with fibres and base finite complexes), an orthogonal real line bundle $\lambda$ over $E$ and a real vector bundle $\xi$ over $B$, we consider a fibrewise map $f : S(\lambda ) \to \xi$ over…

The descent method is one of the approaches to study the Brauer--Manin obstruction to the local--global principle and to weak approximation on varieties over number fields, by reducing the problem to ``descent varieties''. In recent lecture…

This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.

In this paper we make some observations concerning m-metric spaces and point out some discrepancies in the proofs found in the literature. To remedy this, we propose a new topological construction and prove that it is in fact a…

We present a simple set-theoretic proof of the Banach-Stone Theorem .We thus apply this Topological classification theorem to the still unsolved problem of topological classification of euclidean manifolds through two conjectures and…

Hyre-Ulam stability of functional equation in single variable is studied in non-triangular metric spaces. We derive it as applications of some fixed point results developed on the said structure. A general version of Baker's theorem is also…

We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-points in metric spaces, we are working with the notion of…

V. Lunts has recently established Lefschetz fixed point theorems for Fourier-Mukai functors and dg algebras. In the same vein, D. Shklyarov introduced the noncommutative analogue of the Hirzebruch-Riemann-Roch theorem. In this short…

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…

In this paper using Sperner's lemma for modified partition of a simplex we will constructively prove Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions.

We consider spaces with free involutions that satisfy the Borsuk - Ulam theorems (BUT-spaces). There are several equivalent definitions for BUT-spaces that can be considered as their properties. Our main technical tool is Yang's…

A short proof of the Mazur-Ulam theorem concerning isometries of real normed spaces.

For a disk $D$ in the plane $\mathbb R^2$ and a plane map $f$, we give several conditions on the restriction of $f$ to the boundary $\partial D$ of $D$ which imply the existence of a fixed point of $f$ in some specified domain in $D$. These…

The purpose of this paper is to present some multidimensional fixed-point theorems and their applications. For this, we provide a multidimensional fixed point theorem and then using this theorem we prove the existence and uniqueness of a…

The main purpose of this paper is to find the fixed point in such cases where existing literature remain silent. In this paper we introduce partial completeness, a new type of contraction and many other definitions. Using this approach the…