Related papers: Derived Kodaira Spencer map, Cosection lemma, and …

The Kodaira principle asserts that suitable cohomological contraction maps annihilate obstructions to deforming complex structures. In this paper, we revisit these phenomena from a purely analytic point of view, developing a refined power…

Let $X$ be a Deligne-Mumford stack locally of finite type over an algebraically closed field $k$ of characteristic zero. We show that the intrinsic normal cone $C_X$ of $X$ is supported in the subcone $\mathbb{V}(\Omega_X[-1])$…

We prove that, on a smooth projective variety over an algebraically closed field of characteristic 0, the semiregularity map annihilates every obstruction to embedded deformations of a local complete intersection subvariety with extendable…

We continue the development of the infinitesimal deformation theory of pasting diagrams of k-linear categories begun in Yetter, D.N. "On Deformations of Pasting Diagrams", Theory and Applications of Categories 22 (2009) 24-53. In that…

Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain…

We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…

We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) as the tangent of a morphism of derived moduli functors. An immediate consequence is that it annihilates all obstructions (not just…

We compute the Hochschild cohomology and the Kodaira spencer map for known families of Koszul Artin-Schelter regular algebras of dimension four. We show that when the Kodaira Spencer map at a point is a surjection, the image of the family…

We construct an analog of the intrinsic normal cone of Behrend-Fantechi in the equivariant motivic stable homotopy category over a base-scheme B and construct a fundament class in E-cohomology for any cohomology theory E in SH(B). For…

In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be…

Let $X$ be a reduced closed subscheme in $\mathbb P^n$. As a slight generalization of property $\textbf{N}_p$ due to Green-Lazarsfeld, we can say that $X$ satisfies property $\textbf{N}_{2,p}$ scheme-theoretically if there is an ideal $I$…

Based on the compatible pair theory of principal bundle constraint systems, this paper discovers and establishes a complete Spencer differential degeneration theory. We prove that when symmetric tensors satisfy a $\lambda$-dependent kernel…

In 2019, Fox, Tidor and Zhao (arXiv:1911.03427) proved an induced arithmetic removal lemma for linear patterns of complexity 1 in vector spaces over a fixed finite field. With no further assumptions on the pattern, this induced removal…

The principle "ambient cohomology of a Kaehler manifold annihilates obstructions" has been known and exploited since pioneering work of Kodaira. This paper extends and unifies many known results in two contexts, abstract deformations of…

Let $k$ be a field of characteristic not $2$. We give a positive answer to Serre's injectivity question for any smooth connected reductive $k$-group whose Dynkin diagram contains connected components only of type $A_n$, $B_n$ or $C_n$. We…

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…

The Kernel Complex Lemma states that given commutative diagram with exact rows and exact columns which covers the region under a $\Gamma$-shape, then the kernel sequence on the top and the kernel sequence at the left have in each position…

Suppose that $(x_s)_{s\in S}$ is a normalized family in a Banach space indexed by the dyadic tree $S$. Using Stern's combinatorial theorem we extend important results from sequences in Banach spaces to tree-families. More precisely,…

We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect…

For a local complete intersection subvariety $X=V({\mathcal I})$ in ${\mathbb P}^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$, the cohomology of…