Related papers: Obstruction theories and virtual fundamental class…

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and…

Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as…

In this paper we collect some results on the obstruction spaces for rational surface singularities and minimally elliptic surface singularities. Based on the known results we calculate higher obstruction spaces for such surface…

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…

The main goal of this paper is to introduce a framework for infinitesimal deformation problems, using new methods coming from operadic calculus. We construct an adjunction between infinitesimal deformation problems over some type of…

In this paper, we show that the infinitesimal Torelli theorem implies the existence of deformations of automorphisms. In the first part, we use Hodge theory and deformation theory to study the deformations of automorphisms of complex…

We introduce notions of finiteness obstruction, Euler characteristic, L^2-Euler characteristic, and M\"obius inversion for wide classes of categories. The finiteness obstruction of a category Gamma of type (FP) is a class in the projective…

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a…

Let k be a field and n > 0. There exists a DG k-module (V,d) and various approximations d + t d_1 + t^2 d_2 + ... + t^n d_n to a differential on V[[t]], one of which is a non-trivial deformation, another is obstructed, and another is…

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 study the deformation theory of fully faithful Fourier-Mukai transforms in both characteristic zero and mixed characteristic. Our main result shows that obstructions to deforming such transforms can be completely controlled by Hodge…

In this paper we set-up a general framework for a formal deformation theory of Dirac structures. We give a parameterization of formal deformations in terms of two-forms obeying a cubic equation. The notion of equivalence is discussed in…

Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion…

We prove an unobstructedness result for deformations of subvarieties constrained by intersections with another, fixed subvariety. We deduce smoothness and expected-dimension results for multiple-point loci of generic projections, mainly…

We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite…

We interpret all Maurer-Cartan elements in the formal Hochschild complex of a small dg category which is cohomologically bounded above in terms of torsion Morita deformations. This solves the "curvature problem", i.e. the phenomenon that…

On pseudo-Riemannian manifolds of even dimension $n\geq 4$, with everywhere vanishing (Fefferman-Graham) obstruction tensor, we construct a complex of conformally invariant differential operators. The complex controls the infinitesimal…

This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on…

One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…

Classifying obstructions to the problem of finding extensions between two fixed modules goes back at least to L. Illusie's thesis. Our approach, following in the footsteps of J. Wise, is to introduce an analogous Grothendieck Topology on…