Related papers: Formality of derived intersections

Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincar\'e duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive…

It is shown that the de Rham complex of a symplectic manifold $M$ satisfying the hard Lefschetz condition is formal. Moreover, it is shown that the differential Gerstenhaber-Batalin-Vilkoviski algebra associated to such a symplectic…

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

We approximately compute the correspondence degree (as defined by Lazarsfeld and Martin) between two unbalanced complete intersections. This is accomplished by showing that the procedure of taking a subvariety of a product $Y \times Y'$ and…

We classify all complex surfaces with quotient singularities that do not contain any smooth rational curves, under the assumption that the canonical divisor of the surface is not pseudo-effective. As a corollary we show that if $X$ is a log…

We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…

We prove that every connected component of an intersection of tropical hypersurfaces contains a point of their stable intersection unless their stable intersection is empty. This is done by studying algebraic hypersurfaces that tropicalize…

We prove that every smoothly embedded surface in a 4--manifold can be isotoped to be in bridge position with respect to a given trisection of the ambient 4--manifold; that is, after isotopy, the surface meets components of the trisection in…

This is the paper as published. The topology of a complex plane curve singularity with real branches is deduced from any real deformation having delta crossings. An example of the computation of the global geometric monodromy of a…

Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these…

A general strategy is given for the classification of graphs of rational surface singularities. For each maximal rational double point configuration we investigate the possible multiplicities in the fundamental cycle. We classify completely…

We will introduce formal frames of manifolds, which are a generalization of ordinary frames. Their fundamental properties are discussed. In particular, canonical forms are introduced, and torsions are defined in terms of them as a…

We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between classical and derived…

The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild…

This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…

Working over a field ${\mathbb{k}}$ of characteristic $\ne 2$, we study what we call bisector fields, which are arrangements of paired lines in the plane that have the property that each line in the arrangement crosses the paired lines in…

We show that the cycle relation between Dehn twists about curves in a circuit detects whether the circuit bounds an embedded disc. This is done by determining the isomorphism type of the group generated by said Dehn twists for various…

We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds…

Using the classification of formal deformation quantizations, and the formal, algebraic index theorem, I give a simple proof as to which formal deformation quantization (modulo isomorphism) is derived from a given geometric quantization.

We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a family of real polynomials defining regular hypersurfaces that…