Related papers: "Nonlinear pullbacks" of functions and $L_{\infty}…
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…
Let f : X -> Y be a morphism between normal complex varieties, and assume that Y is Kawamata log terminal. Given any differential form, defined on the smooth locus of Y, we construct a "pull-back form" on X. The pull-back map obtained by…
In this paper, we develop the foundations of the theory of quasiregular mappings in general metric measure spaces. In particular, nine definitions of quasiregularity for a discrete open mapping with locally bounded multiplicity are proved…
We discuss hamiltonian structures of the Gelfand-Dorfman complex of projectable vector fields and differential forms on a foliated manifold. Such a structure defines a Poisson structure on the algebra of foliated functions, and embeds the…
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper, we introduce the notion of formal manifolds and develop the…
We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article…
We show that a disc functional on a complex manifold has a plurisubharmonic envelope if all its pullbacks by holomorphic submersions from domains of holomorphy in affine space do and it is locally bounded above and upper semicontinuous in a…
We review the prequantization procedure in the context of super symplectic manifolds with a symplectic form which is not necessarily homogeneous. In developing the theory of non homogeneous symplectic forms, there is one surprising result:…
Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…
We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…
Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…
We introduce non-smooth symplectic forms on manifolds and describe corresponding Poisson structures on the algebra of Colombeau generalized functions. This is achieved by establishing an extension of the classical map of smooth functions to…
The Lie-Hamilton approach for $t$-dependent Hamiltonians is extended to cover the so-called nonlinear Lie-Hamilton systems, which are no longer related to a linear $t$-dependent combination of a basis of a finite-dimensional Lie algebra of…
Let $G$ be a Lie group with a biinvariant metric, not necessarily positive definite. It is shown that a certain construction carried out in an earlier paper for the fundamental group of a closed surface may be extended to an arbitrary…
We introduce a notion of a weak Poisson structure on a manifold $M$ modeled on a locally convex space. This is done by specifying a Poisson bracket on a subalgebra $\cA \subeq C^\infty(M)$ which has to satisfy a non-degeneracy condition…
Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module…
We study Maurer-Cartan elements on homotopy Poisson manifolds of degree $n$. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson $\g$-manifolds, and…
In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…
We give an $L_\infty$-interpretation of the classification, obtained in [AP2], of the formal deformations of a family of exact Poisson structures in dimension three. We indeed obtain again the explicit formulas for all the formal…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…