Related papers: Proper base change for separated locally proper ma…
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…
To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…
We study the local well-posedness theory for the Schr\"odinger Maps equation. We work in $n+1$ dimensions, for $n \geq 2$, and prove a local well-posedness for small initial data in $H^{\frac{n}{2}+\e}$.
In this paper, we introduce restricted products for families of locally convex spaces and formulate criteria ensuring that mappings into such products are continuous or smooth. As a special case, can define restricted products of weighted…
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines…
Our aim is to give some insights about how to approach the formal description of situations where one has to conciliate several contradictory statements, rules, laws or ideas. We show that such a conciliation structure can be naturally…
The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to…
Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…
We provide a relative version of the trace map from the work of Beyer, which can be associated to any finite tale morphism $X \to Y$ of smooth rigid Stein spaces and which then relates the Serre duality on $X$ with the Serre duality on $Y$.…
Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that…
This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…
We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…
We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of…
A conformal map from a Riemann surface to the Euclidean four-space is explained in terms of its twistor lift. A local factorization of a differential of a conformal map is obtained. As an application, the factorization of a differential…
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…
We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…
We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…