Related papers: The Patchwork Divergence Theorem
Theorems on the existence of vector fields with given sets of Indexes of isolated Singular points are proved for the cases of closed manifolds, pairs of manifolds, manifolds with boundary, and gradient fields. It is proved that, on a…
In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…
Vectors fields defined on surfaces constitute relevant and useful representations but are rarely used. One reason might be that comparing vector fields across two surfaces of the same genus is not trivial: it requires to transport the…
In this paper we establish a gap theorem for the complex geometry of smoothly bounded convex domains which informally says that if the complex geometry near the boundary is close to the complex geometry of the unit ball, then the domain…
We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special…
Certain notions of convergence of sequences functions such as pointwise convergence and (uniform) convergence on compact or bounded sets come from suitable topological function spaces; see [1]. Under certain conditions these topologies…
We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…
The equivalence principle is treated on a mathematically rigorous base on sufficiently general subsets of a differentiable manifold. This is carried out using the basis of derivations of the tensor algebra over that manifold. Necessary…
When fitting theory to data in the presence of background uncertainties, the question of whether the spectral shape of the background happens to be similar to that of the theoretical model of physical interest has not generally been…
We formulate explicitly the necessary and sufficient conditions for the local invertibility of a field transformation involving derivative terms. Our approach is to apply the method of characteristics of differential equations, by treating…
In this paper we consider the problem of `theory patching', in which we are given a domain theory, some of whose components are indicated to be possibly flawed, and a set of labeled training examples for the domain concept. The theory…
While there is a well developed theory of locally solid topologies, many important convergences in vector lattice theory are not topological. Yet they share many properties with locally solid topologies. Building upon the theory of…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
It is easy to imagine that a subvariety of a vector bundle, whose intersection with every fibre is a vector subspace of constant dimension, must necessarily be a sub-bundle. We give two examples to show that this is not true, and several…
A vertex colouring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Tucker conjectured that if every automorphism of a connected, locally finite graph moves infinitely many vertices, then there is…
We study phase portraits and singular points of vector fields of a special type, that is, vector fields whose components are fractions with a common denominator vanishing on a smooth regular hypersurface in the phase space. We assume also…
A major step in the graph minors theory of Robertson and Seymour is the transition from the Grid Theorem which, in some sense uniquely, describes areas of large treewidth within a graph, to a notion of local flatness of these areas in form…
The Poincar\'e-Hopf Theorem is a conservation law for real-analytic vector fields, which are tangential to a closed surface (such as a torus or a sphere). The theorem also governs real-analytic vector fields, which are tangential to…
We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are…
In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of C^r-sections (or compactly supported C^r-sections) in vector bundles over…