Related papers: Formality is preserved under domination

Let $S$ be a closed oriented surface and $G$ a finite group of orientation preserving automorphisms of $S$ whose orbit space has genus at least $2$. There is a natural group homomorphism from the $G$-centralizer in $Diff^+(S)$ to the…

We study the rational homotopy theoretic and geometric properties of a construction which extends any cohomologically connected, finite type cdga to one satisfying cohomological Poincar\'e duality. Using this construction we show that…

A holonomic D-module on a complex analytic manifoldadmits always a b-function along any submanifold. If the module is regular, itadmits also a regular b-function, that is a b-function with a condition on the order of the lower terms of the…

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this…

It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the…

A manifold $M^n$ inherits a labeled $n$-dimensional graph $\widetilde{M}[G^L]$ structure consisting of its charts. This structure enables one to characterize fundamental groups of manifolds, classify those of locally compact manifolds with…

In 2014, Voronov introduced the notion of thick morphisms of (super)manifolds as a tool for constructing $L_{\infty}$-morphisms of homotopy Poisson algebras. Thick morphisms generalise ordinary smooth maps, but are not maps themselves.…

Two natural foliations, guided by area and perimeter, of the configurations spaces of planar polygons are considered and the topology of their leaves is investigated in some detail. In particular, the homology groups and the homotopy type…

We define a filtration on the variational bicomplex according to jet order. The filtration is preserved by the interior Euler operator, which is not a module homomorphism with respect to the ring of smooth functions on the jet space.…

We give some formality criteria for a differential graded Lie algebra to be formal. For instance, we show that a DG-Lie algebra L is formal if and only if the natural spectral sequence computing the Chevalley-Eilenberg cohomology H(L,L)…

We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…

Let $F\in\mathrm{Diff}(\mathbb{C}^2,0)$ be a germ of a holomorphic diffeomorphism and let $\Gamma$ be an invariant formal curve of $F$. Assume that the restricted diffeomorphism $F|_{\Gamma}$ is either hyperbolic attracting or rationally…

In this paper, we show that the twisted Poincar\'e duality between Poisson homology and cohomology can be derived from the Serre invertible bimodule. This gives another definition of a unimodular Poisson algebra in terms of its Poisson…

We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the…

Let A be a subspace arrangement with a geometric lattice such that codim(x) > 1 for every x in A. Using rational homotopy theory, we prove that the complement M(A) is rationally elliptic if and only if the sum of the orthogonal subspaces is…

We study which classic modal definability and preservation results survive when attention is restricted to finite structures, where many first-order transfer theorems are known to break down. Several semantic characterizations for modal…

This is an introduction to the algebras $A\subset B(H)$ that the linear operators $T:H\to H$ can form, once a complex Hilbert space $H$ is given. Motivated by quantum mechanics, we are mainly interested in the von Neumann algebras, which…

A central question in dynamics is whether the topology of a system determines its geometry. This is known as rigidity. Under mild topological conditions rigidity holds for many classical cases, including: Kleinian groups, circle…

Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…

We use the theory of bialgebras to provide the algebraic background for state space realization theorems for input-output maps of control systems. This allows us to consider from a common viewpoint classical results about formal state space…