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

For the first obstruction to extending a holomorphic vector bundle from a submanifold of a complex manifold found by Griffiths we give an explicit formula in terms of the Atiyah class of the bundle.

We give a new definition of an obstruction theory for infinitesimal deformation theory and relate it to earlier definitions of Artin, Fantechi-Manetti, Li-Tian, and Behrend-Fantechi.

This paper continues the development of the deformation theory of abelian categories introduced in a previous paper by the authors. We show first that the deformation theory of abelian categories is controlled by an obstruction theory in…

Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear…

This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along…

For a complex analytic variety with an action of a finite group and for an invariant 1-form on it, we give an equivariant version (with values in the Burnside ring of the group) of the local Euler obstruction of the 1-form and describe its…

Intersection types have been originally developed as an extension of simple types, but they can also be used for refining simple types. In this survey we concentrate on the latter option; more precisely, on the use of intersection types for…

We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories…

We define a $\mathbb{Z}_2$-valued invariant for transversely-intersecting coassociative $4$-folds equipped with spin structures. Our main result shows this invariant provides an obstruction to separating two such coassociatives through a…

We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish…

We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…

Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.

Huybrechts and Thomas recently constructed relative obstruction theory of objects of the derived category of coherent sheaves over smooth projective family. In this paper, we use this construction to obtain the absolute…

We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of…

We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…

I define a morphism on $\mathbb{C}_p$ called a lift of $p$-th power if its natural restriction to the residue field of $\mathbb{C}_p$ is a $p$-th power of some morphism. This definition generalizes from the lift of Frobenius. In this paper…

Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point…

We show that three different kinds of cohomology - Baues-Wirsching cohomology, the (S,O)-cohomology of Dwyer-Kan, and the Andre-Quillen cohomology of a Pi-algebra - are isomorphic, under certain assumptions. This is then used to identify…

We develop an obstruction theory for the extension of truncated minimal $A$-infinity bimodule structures over truncated minimal $A$-infinity algebras. Obstructions live in far-away pages of a (truncated) fringed spectral sequence of…

In this article we introduce the notion of a 'good model' in order to study the higher obstructions of complex supermanifolds. We identify necessary and sufficient conditions for such models to exist. Illustrations over Riemann surfaces are…