Related papers: Formality is preserved under domination

An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex…

In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can…

A compact K\"ahler manifold is shown to be simply-connected if its `symmetric cotangent algebra' is trivial. Conjecturally, such a manifold should even be rationally connected. The relative version is also shown: a proper surjective…

The moduli space of regular stable maps with values in a complex manifold admits naturally the structure of a complex orbifold. Our proof uses the methods of differential geometry rather than algebraic geometry. It is based on Hardy…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroupoid internal to the category of topological spaces, as Brown…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…

There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint…

We show that for a Lie group $G=\R^{n}\ltimes_{\phi} \R^{m}$ with a semisimple action $\phi$ which has a cocompact discrete subgroup $\Gamma$, the solvmanifold $G/\Gamma$ admits a canonical invariant formal (i.e. all products of harmonic…

Stabilization of manifolds by a product of spheres or a projective space is important in geometry. There has been considerable recent work that studies the homotopy theory of stabilization for connected manifolds. This paper generalizes…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

We classify 1-dimensional connected dually flat manifolds $M$ that are toric in the sense of [Molitor, arXiv:2109.04839], and show that the corresponding torifications are complex space forms. Special emphasis is put on the case where M is…

Under Poincar\'e duality, a smooth map of compact oriented manifolds induces a pushforward map in cohomology, called the "Gysin map." It plays an important role in enumerative geometry. Using the equivariant localization formula, the author…

On a compact Riemannian manifold with boundary, the absolute and relative cohomology groups appear as certain subspaces of harmonic forms. DeTurck and Gluck showed that these concrete realizations of the cohomology groups decompose into…

Let $X$ be a connected space. An element $[f]\in \pi_n(X)$ is called rationally inert if $\pi_*(X)\otimes \mathbb Q \to \pi_*(X\cup_fD^{n+1})\otimes \mathbb Q$ is surjective. We extend the results obtained in the simply connected case, and…

Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…

Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof…

We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain…

This paper studies formality of the differential graded algebra $RHom(E,E)$, where $E$ is a semistable sheaf on a K3 surface. The main tool is Kaledin's theorem on formality in families. For a large class of sheaves $E$, this DG algebra is…

We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case. Our main theorems give a homological…