Related papers: Formality of derived intersections
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
For a smooth projective variety $X$, we consider when the diagonal $\Delta_X$ is nef as a cycle on $X\times X$. In particular, we give a classification of complete intersections and smooth del Pezzo varieties where the diagonal is nef. We…
Given a variety $Y$ with a rectangular Lefschetz decomposition of its derived category, we consider a degree $n$ cyclic cover $X \to Y$ ramified over a divisor $Z \subset Y$. We construct semiorthogonal decompositions of $\mathrm{D^b}(X)$…
Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…
Given a closed oriented PL four-manifold $X$ and a closed surface $B$ embedded in $X$ with isolated cone singularities, we give a formula for the signature of an irregular dihedral cover of $X$ branched along $B$. For $X$ simply-connected,…
We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the…
We prove that pseudoholomorphic curves intersect complex 2-cycles positively in almost complex 4-manifolds. This makes possible a general and conceptually simple proof that an almost complex 4-manifold with many curves admits a taming…
Let S be a Dedekind scheme with fraction field K. We study the following problem: given a Del Pezzo surface X, defined over K, construct a distinguished integral model of X, defined over all of S. We provide a satisfactory answer if S is a…
Let X be a complex analytic manifold. Given a closed subspace $Y\subset X$ of pure codimension p>0, we consider the sheaf of local algebraic cohomology $H^p_{[Y]}({\cal O}_X)$, and ${\cal L}(Y,X)\subset H^p_{[Y]}({\cal O}_X)$ the…
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…
We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology…
We give some formality criteria for a differential graded Lie algebra to be formal. For instance, we show that a DG-Lie algebra L is formal if and only if the natural spectral sequence computing the Chevalley-Eilenberg cohomology H(L,L)…
We study constructions of contact forms on closed manifolds. A notion of strong symplectic fold structure is defined and we prove that there is a contact form on $M \x X$ provided that $M$ admits such a structure and $X$ is contact. This…
Applying the Fedosov connections constructed in our previous work, we find a (dense) subsheaf of smooth functions on a K\"ahler manifold $X$ which admits a non-formal deformation quantization. When $X$ is prequantizable and the Fedosov…
A version of Kontsevich Formality theorem is proven for smooth DG algebras. As an application of this, it is proven that any quasiclassical datum of noncommutative unfolding of an isolated surface singularity can be quantized.
A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic…
Dupin cyclides are interesting algebraic surfaces used in geometric design and architecture to join canal surfaces smoothly and to construct model surfaces. Dupin cyclides are special cases of Darboux cyclides, which in turn are rather…
We extend Fedosov deformation quantization to general contact manifolds. Unlike the case of symplectic manifolds, not every classical observable on a contact manifold is generally quantized. On examination of possible obstructions to…
Let X be a complete intersection of two hypersurfaces F_n and F_k in the projective space P^5 of degree n and k respectively with n >= k, such that the singularities of X are nodal and F_k is smooth. We prove that if the threefold X has at…
We define a variant of intersection space theory that applies to many compact complex and real analytic spaces $X$, including all complex projective varieties; this is a significant extension to a theory which has so far only been shown to…