Related papers: Rational obstruction theory and rational homotopy …

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…

We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an…

The Graph Minor Theorem of Robertson and Seymour implies a finite set of obstructions for any minor closed graph property. We show that there are only three obstructions to knotless embedding of size 23, which is far fewer than the 92 of…

We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…

G.W. Mackey's celebrated obstruction theory for projective representations of locally compact groups was remarkably generalized by J. M. G. Fell and R. S. Doran to the wide area of saturated Banach *-algebraic bundles. Analogous obstruction…

Using higher topos theory, we explore the obstruction to the \v{C}ech-de Rham map being an isomorphism in each degree for diffeological spaces. In degree 1, we obtain an exact sequence which interprets Iglesias-Zemmour's construction from…

We develop a unified framework based on topological crossed modules for various lifting obstructions for $\Gamma$-kernels. It allows us to identify actions, cocycle actions and $\Gamma$-kernels up to their natural equivalence relations with…

We develop an obstruction theory for the existence and uniqueness of a solution to the gluing problem for a destriction functor and apply it to some well-known biset functors. The obstruction groups for this theory are reduced cohomology…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

Let G be a real reductive algebraic group with maximal compact subgroup K, and let F be a rank r free group. Here, we summarize the construction of a natural strong deformation retraction from the space of closed orbits in Hom(F,G)/G to the…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

Each Gr-functor of the type $(\varphi,f)$ of a Gr-category of the type $(\Pi,\C)$ has the obstruction be an element $\overline{k}\in H^3(\Pi,\C).$ When this obstruction vanishes, there exists a bijection between congruence classes of…

We consider the intersection map on the family of non-empty $\omega$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction…

Given a smooth, projective variety $X$ and an effective divisor $D\,\subseteq\, X$, it is well-known that the (topological) obstruction to the deformation of the fundamental class of $D$ as a Hodge class, lies in $H^2(\mathcal{O}_X)$. In…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

In the holomorphic or algebraic setting we consider a vector bundle E on a smooth subvariety X in a smooth variety Y over a field of characteristic zero. Assuming E extends to the l-th neighborhood of X in Y, we study cohomological…

The obstructions for an arbitrary fusion algebra to be a fusion algebra of some semisimple monoidal category are constructed. Those obstructions lie in groups which are closely related to the Hochschild cohomology of fusion algebras with…

This work treats on the question whether a given map f: M -> B of smooth closed manifolds is homotopic to a smooth fiber bundle. We define a first obstruction in H^1(B;Wh(\pi_1(E))) and, provided that this obstruction vanishes and one…

This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map $(f,b): M^n \rightarrow X^n$ with control map $q: X^n \rightarrow B$ to complete controlled surgery is an element…