Related papers: Obstructions in a model category and Klein and Wil…

In cohomological formulations of the calculus of variations obstructions to the existence of (global) solutions of the Euler-Lagrange equations can arise in principle. It seems, however, quite common to assume that such obstructions always…

We study obstructions to the existence of Riemannian metrics of positive scalar curvature on closed smooth manifolds arising from torsion classes in the integral homology of their fundamental groups. As an application, we construct new…

By adapting previously known arguments concerning Ricci flow and the c-theorem, we give a direct proof that in a two-dimensional sigma-model with compact target space, scale invariance implies conformal invariance in perturbation theory.…

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

First, we show that a compact object $C$ in a triangulated category, which satisfies suitable conditions, induces a $t$-structure. Second, in an abelian category we show that a complex $P^{\centerdot}$ of small projective objects of term…

The Lusternik-Schnirelmann category and topological complexity are important invariants of manifolds (and more generally, topological spaces). We study the behavior of these invariants under the operation of taking the connected sum of…

Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative…

In this text we investigate the good behaviour of the elementary obstruction, introduced by Colliot-Thelene and Sansuc. This is an obstruction to the existence of a rational points on certain algebraic varieties. Assuming some conditions on…

We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions…

Possible forms of obstructed atomic limits in quasi-one-dimensional systems are studied using line group symmetry. This is accomplished by revisiting the standard theory with an emphasis on its group-theoretical background, synthesizing the…

The present paper is an extension of a previous paper written in collaboration with Markus Reineke dealing with quiver representations. The aim of the paper is to generalize the theory and to provide a comprehensive theory of…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…

We provide the main results of a deformation theory of smooth formal schemes. First we deal with the case of global lifting of smooth morphisms. We prove that the obstruction to the existence of a global lifting lies in a Ext^1 group. Then…

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…

Starting from a general analysis of obstruction classes, we develop the investigation of obstructions associated with the bundle structure of the hyperbolic Clifford algebra. By taking into account particularities arising from the Whitney…

This is the beginning of an obstruction theory for deciding whether a map f:S^2 --> X^4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall's…

For any arbitrary algebraic curve, we define an infinite sequence of invariants. We study their properties, in particular their variation under a variation of the curve, and their modular properties. We also study their limits when the…

Motivated by recent developments in the theory of gravitation, we revisit the idea of topological variations, originally introduced by Wheeler and Hawking, from a rigorous perspective. Starting from a localized version of the…

Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta…