Related papers: Smooth and Proper Maps
Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…
Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…
The relationship between locality graphs and deconstruction hierarchies of conformal models is explained, leading to computationally effective procedures for determining the latter, and the relevant notions are illustrated with several…
These notes present a systematic treatment of local properties of J-holomorphic maps and of Gromov's convergence for sequences of such maps, specifying the assumptions needed for all statements. In particular, only one auxiliary statement…
Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…
We describe for any Riemannian manifold a certain infinitesimal neighbourhood of the diagonal. Semi-conformal maps are analyzed as those that preserve such neighbourhoods; harmonic maps are analyzed as those that preserve mirror image…
This note collects a number of standard statements in Riemannian geometry and in Sobolev-space theory that play a prominent role in analytic approaches to symplectic topology. These include relations between connections and complex…
We classify the most common local forms of smooth maps from a smooth manifold L to the plane. The word "local" can refer to locations in the source L, but also to locations in the target. The first point of view leads us to a classification…
We introduce the notions of $\mathbb{K}$-framings, based $\mathbb{K}$-framings and relative $\mathbb{K}$-framings of a compact connected oriented surface $\Sigma$ for any commutative ring $\mathbb{K}$ with unit, and a map which maps a based…
These notes are devoted to explaining aspects of the mirror manifold problem that can be naturally understood from the point of view of topological field theory. Basically this involves studying the topological field theories made by…
The mathematics underlying the connection between deconstruction lattices and locality diagrams of conformal models is developed from scratch, with special emphasis on classification issues. In particular, the notions of equilocality…
Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…
This informal note provides some elementary examples to motivate the local structural results of [1] on the moduli space of genus one stable maps to projective space. The hope is that these examples will be helpful for graduate students to…
We define a naturality construction for the operations of weak omega-categories, as a meta-operation in a dependent type theory. Our construction has a geometrical motivation as a local tensor product with a directed interval, and behaves…
The present paper is devoted to questions located at the junction of the theory of space quasiconformal mappings and Riemannian surfaces. Theorems on local behavior of one class of open discrete mappings with unbounded characteristic of…
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$…
This article investigates a few questions about orbits of local automorphisms in manifolds endowed with rigid geometric structures. We give sufficient conditions for local homogeneity in a broad class of such structures, namely Cartan…
The purpose of this paper is to discuss how topology and geometry provide, in many instances, the connective tissue that enables logical comprehension. We illustrate this theme with many examples including Venn diagrams, knot diagrams,…