Related papers: Formality is preserved under domination

We prove an analogue of the result of Hsiang and Kleiner for 4-dimensional compact orbifolds with positive curvature and an isometric circle action. Additionally, we prove that when the underlying space is simply connected, then the…

The goal of this paper is to generalize several basic results from the theory of $\cal{D}$-modules to the representation theory of rational Cherednik algebras. We relate characterizations of holonomic modules in terms of singular support…

In this note, we show that the homotopy type of a complex manifold X satisfying the Oka property is captured by holomorphic maps from the affine spaces C^n, n\geq 0, into X. Among such X are all complex Lie groups and their homogeneous…

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

A classical logic exhibits a threefold inner structure comprising an algebra of propositions `A', a space of ``truth values'' `V', and a distinguished family of mappings `phi' from propositions to truth values. Classically A is a Boolean…

It is proved that the properties of being Dolbeault formal and geometrically-Bott-Chern-formal are not closed under holomorphic deformations of the complex structure. Further, we construct a compact complex manifold which satisfies the…

In this article, we introduce fundamental notions and results about pullback formalisms, building on work of Drew-Gallauer. Our main application is producing a pullback formalism $\mathbf{SH}^{\mathrm{hol}}$ that encodes a version of…

It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…

Let H:(M,p)->(M',p') be a formal mapping between two germs of real-analytic generic submanifolds in C^N with nonvanishing Jacobian. Assuming M to be minimal at p and M' holomorphically nondegenerate at p', we prove the convergence of the…

We consider a manifestly Lorentz invariant form $\mathbb L$ of the biquaternion algebra and its generalization to the case of curved manifold. The conditions of $\mathbb L$-differentiability of $\mathbb L$-functions are formulated and…

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the…

In the 1970s and again in the 1990s, Gromov gave a number of theorems and conjectures motivated by the notion that the real homotopy theory of compact manifolds and simplicial complexes influences the geometry of maps between them. The main…

We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…

Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back and push-forward operations, and their fundamental properties. We work within the formalism where the…

It is shown that the closure of the infinitesimal symmetry transformations underlying classical ${\cal W}$ algebras give rise to L$_\infty$ algebras with in general field dependent gauge parameters. Therefore, the class of well understood…

We show that an odd dimensional closed manifold with positive curvature cannot contain an incompressible real projective plane in the sense that there is no map of the projective plane into the manifold which is nontrivial on both first and…

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…

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…

Let D be a bounded strongly pseudoconvex domain in a Stein manifold S and let Y be a complex manifold. We prove that the graph of any continuous map from the closure of D to Y which is holomorphic in D admits a basis of open Stein…

We answer a weaker version of the classification problem for the homotopy types of $(n-2)$-connected closed orientable $(2n-1)$-manifolds. Let $n\geq 6$ be an even integer, and $X$ be a $(n-2)$-connected finite orientable Poincar\'e…