Related papers: Equivalent Conditions for Digital Covering Maps
Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. $\mathrm{Hom}(\pi,G)_0$ denotes the null-component of the space of homomorphisms from $\pi$ to $G$, and $\mathrm{map}_*(B\pi,BG)_0$ denotes the null-component of…
A cover of a unital, associative (not necessarily commutative) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $\sigma(R)$ of $R$ is the cardinality…
The purpose of this paper is finding the essential attributes underlying the convexity theorems for momentum maps. It is shown that they are of topological nature; more specifically, we show that convexity follows if the map is open onto…
We demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of…
We show that a positive linear map preserves local continuity (convergence) of the entropy if and only if it preserves finiteness of the entropy, i.e. transforms operators with finite entropy to operators with finite entropy. The last…
Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…
Let $A$ be the adjacency matrix of a uniformly random $d$-regular digraph on $n$ vertices, and suppose that $\min(d,n-d)\geq\lambda n$. We show that for any $\kappa \geq 0$, \[\mathbb{P}[s_n(A)\leq\kappa]\leq…
We describe some (countably many) classes K^{n,e} of finite graphs and prove that if lambda^{aleph_0}= lambda then every lambda^+-chromatic graph of cardinal lambda^+ contains, for some n, e, all members of K^{n,e} as subgraphs. On the…
For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…
Let $R$ be a compact, connected, orientable surface of genus $g$ with $n$ boundary components with $g \geq 2$, $n \geq 0$. Let $\mathcal{N}(R)$ be the nonseparating curve graph, $\mathcal{C}(R)$ be the curve graph and $\mathcal{HT}(R)$ be…
We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabitation in an intersection type system P based on…
We prove that, given a compact Riemann surface $\Sigma$ and disjoint finite sets $\varnothing\neq E\subset\Sigma$ and $\Lambda\subset\Sigma$, every map $\Lambda \to \mathbb{R}^3$ extends to a complete conformal minimal immersion…
We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$…
A precise meaning is given to the notion of continuous iteration of a mapping. Usual discrete iterations are extended into a dynamical flow which is a homotopy of them all. The continuous iterate reveals that a dynamical map is formend by…
We characterise absolutely dilatable completely positive maps on the space of all bounded operators on a Hilbert space that are also bimodular over a given von Neumann algebra as rotations by a suitable unitary on a larger Hilbert space…
Let p be a singular point of a variety. Consider a resolution where the preimage of p is a simple normal crossing divisor E. The combinatorial structure of E is described by a cell complex D(E), called the dual graph or dual complex of E.…
In this article, we investigate some properties of the coincidence point set of digitally continuous maps. Following the Rosenfeld graphical model which seems more combinatorial than topological, we expect to achieve results that might not…
In two dimensional digital geometry, two lattice points are 4-connected (resp. 8-connected) if their Euclidean distance is at most one (resp. $\sqrt{2}$). A set $S \subset Z^2$ is 4-connected (resp. 8-connected) if for all pair of points…
Many mathematicians encounter k-to-1 maps only in the study of covering maps. But, of course, k-to-1 maps do not have to be open. This paper touches on covering maps, and simple maps, but concentrates on ordinary k-to-1 functions (both…
With a view towards providing tools for analyzing and understanding digitized images, various notions from algebraic topology have been introduced into the setting of digital topology. In the ordinary topological setting, invariants such as…