Deformations of coalgebra morphisms

幺半范畴中结合代数的形变理论

On deformation theory of associative algebras in monoidal categories

本文通过幺半范畴和余交换余代数推广了结合代数的经典形变理论，构造了函子性范畴框架，证明了形变预层的可表示性，并识别了支配该形变的上同调理论。

Infinity Algebras, Cohomology and Cyclic Cohomology, and Infinitesimal Deformations

An A-infinity algebra is given by a codifferential on the tensor coalgebra of a (graded) vector space. An associative algebra is a special case of an A-infinity algebra, determined by a quadratic codifferential. The notions of Hochschild and cyclic cohomology generalize from associative to A-infinity algebras, and classify the infinitesimal deformations of the algebra, and those deformations preserving an invariant inner product, respectively. Similarly, an L-infinity algebra is given by a codifferential on the exterior coalgebra of a vector space, with Lie algebras being special cases given b…

Perturbative Quantum Field Theory and Configuration Space Integrals

L-infinity morphisms are studied from the point of view of perturbative quantum field theory, as generalizations of Feynman expansions. The connection with the Hopf algebra approach to renormalization is exploited. Using the coalgebra structure (Forest Formula), the weights of the corresponding expansions are proved to be cycles of the DG-coalgebra of Feynman graphs. The properties of integrals over configuration spaces (Feynman integrals) are investigated. The aim is to develop a cohomological approach in order to construct the coefficients of formality morphisms using an algebraic machinery,…

Simple transitive 2-representations via (co)algebra 1-morphisms

For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples explicitly.

Formal deformations of morphisms of associative algebras

The strong homotopy Lie algebra, controlling simultaneous deformations of a morphism of associative algebras and its domain and codomain is constructed. Isomorphism of the cohomology of this strong homotopy Lie algebra with the classical construction is shown.

A new cohomology theory associated to deformations of Lie algebra morphisms

We introduce a new cohomology theory related to deformations of Lie algebra morphisms. This notion involves simultaneous deformations of two Lie algebras and a homomorphism between them.

Long range integrable oscillator chains from quantum algebras

Completely integrable Hamiltonians defining classical mechanical systems of $N$ coupled oscillators are obtained from Poisson realizations of Heisenberg--Weyl, harmonic oscillator and $sl(2,\R)$ coalgebras. Various completely integrable deformations of such systems are constructed by considering quantum deformations of these algebras. Explicit expressions for all the deformed Hamiltonians and constants of motion are given, and the long-range nature of the interactions is shown to be linked to the underlying coalgebra structure. The relationship between oscillator systems induced from the $sl(2…

Moyal-Weyl deformations of $\mathrm{DGA}$ and $\mathrm{DGCA}$

We consider a natural variant of the Moyal-Weyl product and show that it yields a functorial deformation of differential graded algebras and that we can deform coalgebras in a similar way. The Moyal-Weyl deformation of graded algebras has already been introduced by Fedosov \cite{Fe} and also appears in \cite{Ge} as part of an $A_\infty$ structure, but we are not aware that the analogous result for differential graded coalgebras already appeared in the literature and discuss the Moyal-Weyl of the category of complexes as an example.

Homotopy Gerstenhaber structure on deformation complex of a morphism

$G_\infty$-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a $B_\infty$-algebra by an associative algebra. Actions of $B_\infty$-algebras on associative and $B_\infty$-algebras are analyzed, extensions of $B_\infty$-algebras by associative and $B_\infty$-algebras, that they act upon, are constructed. The resulting $G_\infty$-algebra on the deformation complex of a morphism is shown to be quasi-isomorphic to the $G_\infty$-algebra on deformation complex of the corresponding diagram algebra.

Characteristic classes in deformation quantization

In deformation quantization one can associate five characteristic functions to (stable) formality morphisms on cochains and chains and to "two-brane" formality morphisms. We show that these characteristic functions agree.

Simultaneous deformations of algebras and morphisms via derived brackets

We present a method to construct explicitly L-infinity algebras governing simultaneous deformations of various kinds of algebraic structures and of their morphisms. It is an alternative to the heavy use of the operad machinery of the existing approaches. Our method relies on Voronov's derived bracket construction.

On L-infinity morphisms of cyclic chains

Recently the first two authors constructed an L-infinity morphism using the S^1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear. We give here a "good" interpretation and show that the resulting formality statement is equivalent to formality on cyclic chains as conjectured by Tsygan and proved recently by several authors.

Integrable deformations of Hamiltonian systems and q-symmetries

The complete integrability of the hyperbolic Gaudin Hamiltonian and other related integrable systems is shown to be easily derived by taking into account their sl(2,R) coalgebra symmetry. By using the properties induced by such a coalgebra structure, it can be proven that the introduction of any quantum deformation of the sl(2,R) algebra will provide an integrable deformation for such systems. In particular, the Gaudin Hamiltonian arising from the non-standard quantum deformation of the sl(2,R) Poisson algebra is presented, including the explicit expressions for its integrals of motion. A comp…

Superintegrable Deformations of the Smorodinsky-Winternitz Hamiltonian

A constructive procedure to obtain superintegrable deformations of the classical Smorodinsky-Winternitz Hamiltonian by using quantum deformations of its underlying Poisson sl(2) coalgebra symmetry is introduced. Through this example, the general connection between coalgebra symmetry and quasi-maximal superintegrability is analysed. The notion of comodule algebra symmetry is also shown to be applicable in order to construct new integrable deformations of certain Smorodinsky-Winternitz systems.

Integrable geodesic motion on 3D curved spaces from non-standard quantum deformations

The link between 3D spaces with (in general, non-constant) curvature and quantum deformations is presented. It is shown how the non-standard deformation of a sl(2) Poisson coalgebra generates a family of integrable Hamiltonians that represent geodesic motions on 3D manifolds with a non-constant curvature that turns out to be a function of the deformation parameter z. A different Hamiltonian defined on the same deformed coalgebra is also shown to generate a maximally superintegrable geodesic motion on 3D Riemannian and (2+1)D relativistic spaces whose sectional curvatures are all constant and e…

On Deformations of Associative Algebras

In a classic paper, Gerstenhaber showed that first order deformations of an associative k-algebra A are controlled by the second Hochschild cohomology group of A. More generally, any n-parameter first order deformation of A gives, due to commutativity of the cup-product on Hochschild cohomology, a morphism from the graded algebra Sym(k^n) to Ext^*(A,A), the Ext-algebra in the category of A-bimodules. We prove that any extension of the n-parameter first order deformation of A to an INFINITE ORDER formal deformation provides a canonical `lift' of the graded algebra morphism above to a dg-algebra…

Quantum Deformations and Superintegrable Motions on Spaces with Variable Curvature

An infinite family of quasi-maximally superintegrable Hamiltonians with a common set of (2N-3) integrals of the motion is introduced. The integrability properties of all these Hamiltonians are shown to be a consequence of a hidden non-standard quantum sl(2,R) Poisson coalgebra symmetry. As a concrete application, one of this Hamiltonians is shown to generate the geodesic motion on certain manifolds with a non-constant curvature that turns out to be a function of the deformation parameter z. Moreover, another Hamiltonian in this family is shown to generate geodesic motions on Riemannian and rel…

Graph complexes in deformation quantization

Kontsevich's formality theorem and the consequent star-product formula rely on the construction of an $L_\infty$-morphism between the DGLA of polyvector fields and the DGLA of polydifferential operators. This construction uses a version of graphical calculus. In this article we present the details of this graphical calculus with emphasis on its algebraic features. It is a morphism of differential graded Lie algebras between the Kontsevich DGLA of admissible graphs and the Chevalley-Eilenberg DGLA of linear homomorphisms between polyvector fields and polydifferential operators. Kontsevich's pro…

Logarithms and deformation quantization

We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the integrals over compactified configuration spaces. The novelty of our approach is the use of local torus actions on configuration spaces of points in the upper half-plane. It gives rise to a version of Stokes' formula for differential forms with singularities at the boundary which implies the formality property. We also show that the logarithmic formality mo…

The orientation morphism: from graph cocycles to deformations of Poisson structures

We recall the construction of the Kontsevich graph orientation morphism $γ\mapsto {\rm O\vec{r}}(γ)$ which maps cocycles $γ$ in the non-oriented graph complex to infinitesimal symmetries $\dot{\mathcal{P}} = {\rm O\vec{r}}(γ)(\mathcal{P})$ of Poisson bi-vectors on affine manifolds. We reveal in particular why there always exists a factorization of the Poisson cocycle condition $[\![\mathcal{P},{\rm O\vec{r}}(γ)(\mathcal{P})]\!] \doteq 0$ through the differential consequences of the Jacobi identity $[\![\mathcal{P},\mathcal{P}]\!]=0$ for Poisson bi-vectors $\mathcal{P}$. To illustrate the reaso…

L-infinity algebras, Cartan homotopies and period maps

We prove that, for every compact Kaehler manifold, the period map of its Kuranishi family is induced by a natural L-infinity morphism. This implies, by standard facts about L-infinity algebras, that the period map is a "morphism of deformation theories" and then commutes with all deformation theoretic constructions (e.g. obstructions).

Period mappings for noncommutative algebras

We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic interpretation, where the domain of the morphism is the shifted Hochschild cocohain complex. We then use this period mapping to give some applications such as unobstructedness of deformations.

Differential Graded Lie Algebras and Deformations of Holomorphic Maps

We construct the deformation functor associated to a couple of morphisms of differential graded Lie algebras, and use it to study the infinitesimal deformations of a holomorphic map of compact complex manifolds. In particular, in the case of Kähler manifolds we describe a generalizzation of the semiregularity map.

Algebraic deformation quantization of Leibniz algebras

In this paper we focus on a certain self-distributive multiplication on coalgebras, which leads to so-called rack bialgebra. We construct canon-ical rack bialgebras (some kind of enveloping algebras) for any Leibniz algebra. Our motivation is deformation quantization of Leibniz algebras in the sense of [6]. Namely, the canonical rack bialgebras we have constructed for any Leibniz algebra lead to a simple explicit formula of the rack-star-product on the dual of a Leibniz algebra recently constructed by Dherin and Wagemann in [6]. We clarify this framework setting up a general deformation theory…

Formality morphism as the mechanism of $\star$-product associativity: how it works

The formality morphism $\boldsymbol{\mathcal{F}}=\{\mathcal{F}_n$, $n\geqslant1\}$ in Kontsevich's deformation quantization is a collection of maps from tensor powers of the differential graded Lie algebra (dgLa) of multivector fields to the dgLa of polydifferential operators on finite-dimensional affine manifolds. Not a Lie algebra morphism by its term $\mathcal{F}_1$ alone, the entire set $\boldsymbol{\mathcal{F}}$ is an $L_\infty$-morphism instead. It induces a map of the Maurer-Cartan elements, taking Poisson bi-vectors to deformations $μ_A\mapsto\star_{A[[\hbar]]}$ of the usual multiplica…