Related papers: A homotopy theorem for Oka theory
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…
In this paper, we investigate the embeddings for topological flows. We prove an embedding theorem for discrete topological system. Our results apply to suspension flows via constant function, and for this case we show an embedding theorem…
The usual way of defining weak equivalences for simplicial presheaves is to require an isomorphism on all sheaves of homotopy groups. We unravel some of the machinery here, and give a more concrete description in terms of local homotopy…
We prove an extension of the Quillen Theorem Bn for homotopy fibres to a similar result for homotopy pullbacks and use this to obtain sufficient conditions on a pullback diagram of categories to guarantee that it be a homotopy pullback.
In this note we present various extensions of Obata's rigidity theorem concerning the Hessian of a function on a Riemannian manifold. They include general rigidity theorems for the generalized Obata equation, and hyperbolic and Euclidean…
Beben and Theriault proved a theorem on the homotopy fiber of an extension of a map with respect to a cone attachment, which has produced several applications. We give a short and elementary proof of this theorem.
We provide a mathematical realization of a conjecture by Kitaev, on the basis of the operator-algebraic formulation of infinite quantum spin systems. Our main results are threefold. First, we construct an $\Omega$-spectrum $\mathit{IP}_*$…
By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…
We give a new method for proving the homomorphic property of a quantum stochastic ow satisfying a quantum stochastic differential equation with unbounded coefficients, under some further hypotheses. As an application, we prove a Trotter…
In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…
A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of…
In this note, we present a simple non-directed graph proof of Sharkovsky's theorem which is different from the one given in [2].
We develop a unified sampling theory based on sheaves and show that the Shannon-Nyquist theorem is a cohomological consequence of an exact sequence of sheaves. Our theory indicates that there are additional cohomological obstructions for…
We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can…
Immersions of graphs to the projective plane are studied. A classification of immersions up to regular homotopy is given. A complete invariant of immersions up to regular homotopy is constructed. Equivalence classes are described.
We introduce the symmetricity notions of symmetric h-monoidality, symmetroidality, and symmetric flatness. As shown in our paper arXiv:1410.5675, these properties lie at the heart of the homotopy theory of colored symmetric operads and…
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
In this paper, we prove an $\mathbb{A}^1$-homology version of the Whitehead theorem with dimension bound. We also prove an excision theorem for $\mathbb{A}^1$-homology, Suslin homology and $\mathbb{A}^1$-homotopy sheaves. In order to prove…
We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.
Following work by Ullmo and Yafaev, we propose and prove an analogue of the Bloch-Ochiai theorem in the context of mixed Shimura varieties. We follow the strategy and use results of previous articles by Ullmo and Yafaev and the author plus…