Related papers: Interactions between Coarse Homotopy and Ends on P…
We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in…
Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every…
It is shown that certain natural maps between the ideal, Gromov, and end boundaries of a complete CAT(0) space can fail to be either injective or surjective. Additionally the natural map from the Gromov boundary to the end boundary of a…
We show that the functor which assigns to an A-infinity morphism between isotopy classes of A-infinity algebras whose linear part is a chain homotopy equivalence its underlying chain map is a discrete Grothendieck bifibration. We then…
A natural generalization of locally noetherian and locally coherent categories leads us to define locally type $FP_{\infty}$ categories. They include not just all categories of modules over a ring, but also the category of sheaves over any…
We study the nonexpansivity of reflection mappings in geodesic spaces and apply our findings to the averaged alternating reflection algorithm employed in solving the convex feasibility problem for two sets in a nonlinear context. We show…
This paper deepens into the relations between coarse spaces and compactifications, by defining a $C_0$ coarse structure attached to a family of pseudometrics. This definition allow us to give a more topological point of view on the…
In this paper, we study geodesics and geodesic vectors for homogeneous exponential Finsler space and homogeneous infinite series Finsler space. Further, we find necessary and sufficient condition for a non-zero vector in these homogeneous…
We consider Bratteli diagrams of finite rank (not necessarily simple) and ergodic invariant measures with respect to the cofinal equivalence relation on their path spaces. It is shown that every ergodic invariant measure (finite or…
Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…
We provide an explicit characterization of the covariant isotropy group of any Grothendieck topos, i.e. the group of (extended) inner automorphisms of any sheaf over a small site. As a consequence, we obtain an explicit characterization of…
Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees…
Let $E:y^2=(x-e_1)(x-e_2)(x-e_3)$ be a nonconstant elliptic curve over $\mathbb{Q}(t)$, where $e_j\in \mathbb{Z}[t]$. We describe a method for finding a specialization $t\mapsto t_0\in\mathbb{Q}$ such that the specialization homomorphism is…
We investigate typical behavior of geodesics on a closed flat surface $S$ of genus $g\geq 2$. We compare the length quotient of long arcs in the same homotopy class with fixed endpoints for the flat and the hyperbolic metric in the same…
We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a…
We study embeddings of uniform Roe algebras which have "large range" in their codomain and the relation of those with coarse quotients between metric spaces. Among other results, we show that if $Y$ has property A and there is an embedding…
We classify all $\pi_1$-injective proper maps between non-compact surfaces up to proper homotopy.
For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results…
We define a new finite type invariant for stably homeomorphic class of curves on compact oriented surfaces without boundaries and extend to a regular homotopy invariant for spherical curves.
We prove that two homogeneous ultra-metric spaces $X,Y$ are coarsely equivalent if and only if $\mathrm{Ent}^\sharp(X)=\mathrm{Ent}^\sharp(Y)$ where $\mathrm{Ent}^\sharp(X)$ is the so-called sharp entropy of $X$. This classification implies…