Microformal geometry and homotopy algebras

DOI10.1134/S0081543818060056zbMATH Open1430.58003arXiv1411.6720WikidataQ128651421 ScholiaQ128651421MaRDI QIDQ2280436FDOQ2280436

Authors: F. F. Voronov 

Publication date: 18 December 2019

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Abstract: We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in cotangent directions. The result is a formal category so that its composition law is also specified by a formal power series. A microformal morphism acts on functions by an operation of pullback, which is in general a nonlinear transformation. More precisely, it is a formal mapping of formal manifolds of even functions (bosonic fields), which has the property that its derivative for every function is a ring homomorphism. This suggests an abstract notion of a "nonlinear algebra homomorphism" and the corresponding extension of the classical "algebraic-functional" duality. There is a parallel fermionic version. The obtained formalism provides a general construction of $L_{infty}$-morphisms for functions on homotopy Poisson ($P_{infty}$-) or homotopy Schouten ($S_{infty}$-) manifolds as pullbacks by Poisson microformal morphisms. We also show that the notion of the adjoint can be generalized to nonlinear operators as a microformal morphism. By applying this to $L_{infty}$-algebroids, we show that an $L_{infty}$-morphism of $L_{infty}$-algebroids induces an $L_{infty}$-morphism of the "homotopy Lie--Poisson" brackets for functions on the dual vector bundles. We apply this construction to higher Koszul brackets on differential forms and to triangular $L_{infty}$-bialgebroids. We also develop a quantum version (for the bosonic case), whose relation with the classical version is like that of the Schr"odinger equation with the Hamilton--Jacobi equation. We show that the nonlinear pullbacks by microformal morphisms are the limits at $hbaro0$ of certain "quantum pullbacks", which are defined as special form Fourier integral operators.

Full work available at URL: https://arxiv.org/abs/1411.6720

Recommendations

• ``Nonlinear pullbacks of functions and \(L_\infty\)-morphisms for homotopy Poisson structures
• Non-linear homomorphisms of algebras of functions are induced by thick morphisms
• Symplectic microgeometry. I: Micromorphisms
• On differential operators over a map, thick morphisms of supermanifolds, and symplectic micromorphisms
• The BV formalism for \(L_\infty \)-algebras

zbMATH Keywords

microformal morphism

Mathematics Subject Classification ID

Supermanifolds and graded manifolds (58A50) Analysis on supermanifolds or graded manifolds (58C50)

Cites Work

• Introduction to sh Lie algebras for physicists
• The spectral function of an elliptic operator
• Fourier integral operators. I
• Symplectic manifolds and their Lagrangian submanifolds
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deformation quantization of Poisson manifolds
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Title not available (Why is that?)
• Coisotropic calculus and Poisson groupoids
• Lie bialgebroids and Poisson groupoids
• Higher derived brackets and homotopy algebras
• On some generalizations of Batalin-Vilkovisky algebras
• Algebra of higher antibrackets
• Title not available (Why is that?)
• Symplectic geometry
• On odd Laplace operators
• \(Q\)-manifolds and Mackenzie theory
• $Q$-manifolds and Higher Analogs of Lie Algebroids
• Thick morphisms of supermanifolds and oscillatory integral operators
• ``Nonlinear pullbacks of functions and \(L_\infty\)-morphisms for homotopy Poisson structures
• Higher Poisson Brackets and Differential Forms
• Symplectic microgeometry. III: Monoids
• Title not available (Why is that?)
• Symplectic microgeometry II: Generating functions
• Symplectic categories
• Symplectic microgeometry. I: Micromorphisms
• Title not available (Why is that?)
• Integration of Lie algebroid comorphisms
• Title not available (Why is that?)
• A note on the Wehrheim-Woodward category
• A class of integral transforms induced by morphisms of vector bundles
• Algebra I. Basic notions of algebra. Transl. from the Russian by M. Reid
• EQUATIONS IN CONVOLUTIONS IN A BOUNDED REGION
• Title not available (Why is that?)
• Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures
• Title not available (Why is that?)
• The stationary phase method and pseudodifferential operators
• On a non-abelian Poincaré lemma
• Symplectic structures on Banach manifolds
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantization, Poisson Brackets and Beyond

Cited In (17)

• Thick morphisms of supermanifolds, quantum mechanics, and spinor representation
• On a Batalin-Vilkovisky operator generating higher Koszul brackets on differential forms
• Tangent functor on microformal morphisms, and non-linear pullbacks for forms and cohomology
• Thick morphisms of supermanifolds and oscillatory integral operators
• On differential operators over a map, thick morphisms of supermanifolds, and symplectic micromorphisms
• Non-linear homomorphisms of algebras of functions are induced by thick morphisms
• Formal oscillatory integrals and deformation quantization
• Kirillov structures up to homotopy
• Shifted derived Poisson manifolds associated with Lie pairs
• Quantization of \((-1)\)-shifted derived Poisson manifolds
• Models for higher algebroids
• ``Nonlinear pullbacks of functions and \(L_\infty\)-morphisms for homotopy Poisson structures
• Higher Structures in M‐Theory
• Graded Geometry, Q‐Manifolds, and Microformal Geometry
• Symplectic microgeometry. I: Micromorphisms
• Normal forms of \(\mathbb{Z}\)-graded \(Q\)-manifolds
• Formal oscillatory distributions

This page was built for publication: Microformal geometry and homotopy algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280436)