Abstract:
We give an elementary construction of the tangent-obstruction theory of the deformations of the pair $(X,L)$ with $X$ a reduced local complete intersection scheme and $L$ a line bundle on $X$. This generalizes the classical deformation theory of pairs in case $X$ is smooth. A criteria for sections of $L$ to extend is also given.

Abstract:
We show that some properties of log canonical centers of a log canonical pair (X,D) also hold for certain subvarieties that are close to being a log canonical center. As a consequence, we obtain that if one works with deformations of pairs (X, D) where all the coefficients of D are bigger than 1/2, then one need not worry about embedded points on D. May 20: Results strengthened using recent work of Birkar and Hacon and Xu.

Abstract:
We identify dglas that control infinitesimal deformations of the pairs (manifold, Higgs bundle) and of Hitchin pairs. As a consequence, we recover known descriptions of first order deformations and we refine known results on obstructions. Secondly we prove that the Hitchin map is induced by a natural L-infinity morphism and, by standard facts about L-infinity algebras, we obtain new conditions on obstructions to deform Hitchin pairs.

Abstract:
We develop two approaches to obstruction theory for deformations of derived isomorphism classes of complexes $Z^\bullet$ of modules for a profinite group $G$ over a complete local Noetherian ring $A$ of positive residue characteristic $\ell$.

Abstract:
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 unobstructed at order n. The analogous problem in the category of k-algebras in characteristic zero remains a long-standing open question.

Abstract:
We are interested in obstructions to the FIRST order deformation of a pair of a smooth hypersurface $f_0$ and a smooth curve $C_0$ contained in $f_0$. In the first half of the paper, we give necessary conditions for the pair to deform in the first order. In particular, for a rational curve $C_0$, this necessary condition is $$H^1(N_{C_0}f_0(1))=0.$$ In the second half, we apply the necessary conditions from the first half of the paper to study the geometry of smooth curves in hypersurfaces. The main application is for the case where $C_0$ is a rational curve.

Abstract:
Given a rack Q and a ring A, one can construct a Yang-Baxter operator c_Q: V tensor V --> V tensor V on the free A-module V = AQ by setting c_Q(x tensor y) = y tensor x^y for all x,y in Q. In answer to a question initiated by D.N. Yetter and P.J. Freyd, this article classifies formal deformations of c_Q in the space of Yang-Baxter operators. For the trivial rack, where x^y = x for all x,y, one has, of course, the classical setting of r-matrices and quantum groups. In the general case we introduce and calculate the cohomology theory that classifies infinitesimal deformations of c_Q. In many cases this allows us to conclude that c_Q is rigid. In the remaining cases, where infinitesimal deformations are possible, we show that higher-order obstructions are the same as in the quantum case.

Abstract:
We scan for massive type IIA SU(3)-structure compactifications of the type AdS4 x CP3 with internal symmetry group SO(4). This group acts on CP3 with cohomogeneity one, so that one would expect new non-homogeneous solutions. We find however that all such solutions enhance their symmetry group to Sp(2) and form, in fact, the homogeneous family first described in arXiv:0712.1396. This is in accordance with arXiv:0901.0969, which argues from the CFT-side that although new vacua with SO(4) symmetry group and N=2 supersymmetry should exist, they fall outside our ansatz of strict SU(3)-structure, and instead have genuine SU(3)x SU(3)-structure. We do find that the SO(4)-invariant description, which singles out one preferential direction in the internal space, is well-adapted for describing the embedding of AdS4-filling supersymmetric D8-branes on both the original ABJM configuration as its massive Sp(2)-symmetric deformations.Supersymmetry requires these D-branes to be of the coisotropic type, which means in particular that their world-volume gauge field must be non-trivial.

Abstract:
Let (X,D) be a D-scheme in the sense of Beilinson and Bernstein, given by an algebraic variety X and a morphism O_X -> D of sheaves of rings on X. We consider noncommutative deformations of quasi-coherent sheaves of left D-modules on X, and show how to compute their pro-representing hulls. As an application, we compute the noncommutative deformations of the left D_X-module O_X when X is any elliptic curve.