Related papers: Formality of derived intersections

We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable…

We establish necessary and sufficient conditions for the existence of a decomposition of a complete multigraph into edge-disjoint cycles of specified lengths, or into edge-disjoint cycles of specified lengths and a perfect matching.

We study a natural generalization of transversally intersecting smooth hypersurfaces in a complex manifold: hypersurfaces, whose components intersect in a transversal way but may be themselves singular. Such hypersurfaces will be called…

A commutative local ring is generally defined to be a complete intersection if its completion is isomorphic to the quotient of a regular local ring by an ideal generated by a regular sequence. It has not previously been determined whether…

In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection, in a different context. Namely she looks at residuals in the scheme theoretic intersection of a rational normal surface or…

We introduce the concept of s-formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n-1), is formal if and only if M is (n-1)-formal. The formality and the hard Lefschetz…

In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational…

We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the…

Let $\Omega$ be a bounded, weakly pseudoconvex domain in C^n, n > 1, with real-analytic boundary. A real-analytic submanifold $M \subset bd\Omega$ is called an analytic interpolation manifold if every real-analytic function on M extends to…

We show that the complement of a degree $d$ hypersurface in a projective complete intersection, whose defining equations have degrees strictly larger than $d$, has a rational connectivity higher than expected. The key new feature is that a…

Generalizing Heegaard splittings of 3-manifolds and trisections of 4-manifolds, we consider multisections of higher-dimensional smooth (or PL) closed orientable manifolds, namely decompositions into 1-handlebodies whose subcollections…

Let $O$ be a differential graded (possibly colored) operad defined over rationals. Let us assume that there exists a zig-zag of quasi-isomorphisms connecting $O \otimes K$ to its cohomology, where $K$ is any field extension of rationals. We…

Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an under-examined notion of correspondence, or what it means for…

We apply the technique of formal geometry to give a necessary and sufficient condition for a line bundle supported on a smooth Lagrangian subvariety to deform to a sheaf of modules over a fixed deformation quantization of the structure…

We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact…

Functional digraphs are unlabelled finite digraphs where each vertex has exactly one out-neighbor. They are isomorphic classes of finite discrete-time dynamical systems. Endowed with the direct sum and product, functional digraphs form a…

We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for…

We study complexes of finite complete intersection dimension in the derived category of a local ring. Given such a complex, we prove that the thick subcategory it generates contains complexes of all possible complexities. In particular, we…

In this paper, we construct proper pushforwards and flat pullbacks in Chow groups of coherent sheaf stacks over a Deligne-Mumford(DM) stack. When there is a relative semi-perfect obstruction theory for a DM-type morphism $X \to Y$, $X$ is a…

In the framework of formal deformation quantization, we apply our formal moment map construction on the space of almost complex structures to recover the Donaldson-Fujiki moment map picture of the Hermitian scalar curvature. In the…