Related papers: Formality of derived intersections

Let $X$ be a smooth simply connected closed 4-manifold with definite intersection form. We show that any automorphism of the intersection form of $X$ is realized by a diffeomorphism of $X \mathbin{\#} S^2 \times S^2$. This extends and…

We propose a definition of when a triangulated category should be considered a complete intersection. We show (using work of Avramov and Gulliksen) that for the derived category of a complete local Noetherian commutative ring R, the…

We consider a subanalytic subset A of a complex analytic manifold M (when M is viewed as a real manifold) and formulate conditions under which A is a complex analytic subset of M.

We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic…

A quasi-isomorphism of differential graded algebras (DGA) is a multiplicative map inducing an isomorphism on cohomology. A DGA is called formal if it can be connected by a chain of quasi-isomorphisms to its cohomology algebra. We prove that…

Let $k$ be any field. Let $R=k[[X_1,\ldots,X_d]]$ and $\frak p$ a $1$-dimensional prime ideal. In this note we present $d-1$ elements such as $f_1,\ldots,f_{d-1}$ in $\frak p$ such that $\mathfrak{p}=\text{rad}(f_1,\ldots,f_{d-1})$.

We examine the extent to which a smooth minimal complex projective surface X is determined by its derived category of coherent sheaves D(X). To do this we find, for each such surface X, the set of surfaces Y for which there exists a…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

In this paper, we show that for a simply connected CW complex $Y$ with $H^{*}(Y;\mathbb{Q})$ of finite dimension, if $H^{*}(Y;\mathbb{Q})$ is concentrated in degrees $\leq 3$, then the rationalization $Y_\mathbb{Q}$ is formal. As an…

Let $f: X \to Y$ be a regular covering of a surface $Y$ of finite type with nonempty boundary, with finitely-generated (possibly infinite) deck group $G$. We give necessary and sufficient conditions for an integral homology class on $X$ to…

A variety is rationally connected if two general points can be joined by a rational curve. A higher version of this notion is rational simple connectedness, which requires suitable spaces of rational curves through two points to be…

Given a diagram for a trisection of a 4-manifold $X$, we describe the homology and the intersection form of $X$ in terms of the three subgroups of $H_1(\Sigma;\mathbb{Z})$ generated by the three sets of curves and the intersection pairing…

We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a…

We provide a necessary and sufficient condition for the derived self-intersection of a smooth subscheme inside a smooth scheme to be a fibration over the subscheme. As a consequence we deduce a generalized HKR isomorphism. We also…

Let $X$ be either a general hypersurface of degree $n+1$ in $\mathbb P^n$ or a general $(2,n)$ complete intersection in $\mathbb P^{n+1}, n\geq 4$. We construct balanced rational curves on $X$ of all high enough degrees. If $n=3$ or $g=1$,…

We define an intersection product of tropical cycles on matroid varieties (via cutting out the diagonal) and show that it is well-behaved. In particular, this enables us to intersect cycles on moduli spaces of tropical rational marked…

We consider complex manifolds that admit actions by holomorphic transformations of classical simple real Lie groups and classify all such manifolds in a natural situation. Under our assumptions, which require the group at hand to be…

We study deformations of Fourier-Mukai transforms in general complex analytic settings. We start with two complex manifolds X and Y together with a coherent Fourier-Mukai kernel P on their product. Suppose that P implements an equivalence…

We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…

We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a…