Related papers: Elements for a metric tangential calculus

We show that on every manifold, every conformal class of semi-Riemannian metrics contains a metric $g$ such that each $k$-th-order covariant derivative of the Riemann tensor of $g$ has bounded absolute value $a_k$. This result is new also…

The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM…

We construct a compact metric space that has any other compact metric space as a tangent, with respect to the Gromov-Hausdorff distance, at all points. Furthermore, we give examples of compact sets in the Euclidean unit cube, that have…

We propose analogues of horizontal and vertical projections for model filiform jet space Carnot groups. Every pair consisting of the jet of a smooth function on $\mathbb{R}$ and a vertical hyperplane with first coordinate fixed provides a…

For non-empty sets X we define notions of distance and pseudo metric with values in a partially ordered set that has a smallest element $\theta $. If $h_X$ is a distance in $X$ (respectively, a pseudo metric in $X$), then the pair $(X,h_X)$…

I study definable sets in affine continuous logic. Let $T$ be an affine theory. After giving some general results, it is proved that if $T$ has a first order model, its extremal theory is a complete first order theory and first order…

One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is…

This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups…

In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…

The sub-Finslerian geometry means that the metric $F$ is defined only on a given subbundle of the tangent bundle, called a horizontal bundle. In the paper, a version of the Hopf-Rinow theorem is proved in the case of sub-Finslerian…

We give a concrete description of the category of etale algebras over the ring of Witt vectors of a given finite length with entries in an arbitrary ring. We do this not only for the classical p-typical and big Witt vector functors but also…

Let $(\Sigma,p)$ be a pointed Riemann surface of genus $g\geq 1$. For any integer $k\geq 1$, we parametrize the space of meromorphic quadratic differentials on $\Sigma$ with a pole of order $(k+2)$ at $p$, having a connected critical graph…

In \cite[\, An, V.T., Tuyen, Q.L. and Dung, V.N., Stone-type theorem on $b$-metric spaces and applications, Topology Appl. 185-186 (2015), 50-64.]{an}, An et al. had provided a sufficient condition for $b$-metric spaces to be metrizable.…

Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface…

A Thurston map is a branched covering map $f\colon S^2\to S^2$ that is postcritically finite. Mating of polynomials, introduced by Douady and Hubbard, is a method to geometrically combine the Julia sets of two polynomials (and their…

We introduce a new characteristic of jets called mass area. It is defined so as to measure the susceptibility of the jet's mass to contamination from soft background. The mass area is a close relative of the recently introduced catchment…

A map $f:X\to Y$ between topological spaces is defined to be {\em scatteredly continuous} if for each subspace $A\subset X$ the restriction $f|A$ has a point of continuity. We show that for a function $f:X\to Y$ from a perfectly paracompact…

Let $\Aa_t$ be the directed quiver of type $\Aa$ with $t$ vertices. For each dimension vector $d$ there is a dense orbit in the corresponding representation space. The principal aim of this note is to use just rank conditions to define the…

We provide a method to compute the dimension of the tangent space to the global infinitesimal deformation functor of a curve together with a subgroup of the group of automorphisms. The computational techniques we developed are applied to…

We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…