Related papers: An Effective Criterion for Covering Maps Between R…
Mapping is an important part of many robotic applications. In order to measure the performance of the mapping process we have to measure the quality of its result: the map. The map is essential for robotic algorithms like localization and…
Density map is an effective visualization technique for depicting the scalar field distribution in 2D space. Conventional methods for constructing density maps are mainly based on Euclidean distance, limiting their applicability in urban…
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real…
It was shown in my earlier article that the splice diagram of a rational homology sphere graph manifold determines the manifolds universal abelian cover. In this article we use the proof of this to give a condition on the splice diagram to…
The paper is devoted to the problem when a map from some closed connected manifold to an aspherical closed manifold approximately fibers, i.e., is homotopic to Manifold Approximate Fibration. We define obstructions in algebraic K-theory.…
Criterions for constancy of the holomorphic sectional curvature and the antiholomorphic sectional curvature are proved for almost Hermitian manifolds. It is shown, that an almost Hermitian manifold satisfying the axiom of antiholomorphic…
In this paper, we study minimal maps between euclidean spheres. The Hopf fibrations provide explicit examples of such minimal maps. Moreover, their corresponding graphs have second fundamental form of constant norm. We prove that a minimal…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising…
Given a rational homology sphere M, whose splice diagram satisfy the semigroup condition, Neumann and Wahl were able to define a complete intersection surface singularity called splice diagram singularity from the splice diagram of M. They…
We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…
In this note we prove that any closed graph manifold admitting a metric of non-positive sectional curvature (NPC-metric) has a finite cover, which is fibered over the circle. An explicit criterion to have a finite cover, which is fibered…
In the paper, we introduce the terminology equivariant pointwise clutching map. By using this, we give details on how to glue an equivariant vector bundle over a finite set so as to obtain a new Lie group representation such that the…
This paper is concerned with a covering problem of Euclidean space by a particular arrangement of cones that are not necessarily full and are allowed to overlap. The problem provides an equivalent geometric reformulation of the solvability…
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism…
Covering-based rough set theory is an extension to classical rough set. The main purpose of this paper is to study covering rough sets from a topological point of view. The relationship among upper approximations based on topological spaces…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold…
Let $G_\mathbb R$ be a real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a stratified homeomorphism between the based polynomial arc group of $G_\mathbb R$ and the based…
This note initiates an investigation of packing links into a region of Euclidean space to achieve a maximal density subject to geometric constraints. The upper bounds obtained apply only to the class of homotopically essential links and…
We describe a procedure for constructing morphisms in additive categories, combining Auslander's concept of a morphism determined by an object with the existence of flat covers. Also, we show how flat covers are turned into projective…