We show that on the dual of a Lie algebra $\g$ of dimension $d$, the star-product recently introduced by M. Kontsevich is equivalent to the Gutt star-product on $\g^\ast$. We give an explicit expression for the operator realizing the equivalence between these star-products.
Kontsevich has proven that the Lie homology of the Lie algebra of symplectic vector fields can be computed in terms of the homology of a graph complex. We prove that the Leibniz homology of this Lie algebra can be computed in terms of the homology of a variant of the graph complex endowed with an action of the symmetric groups. The resulting isomorphism is shown to be a Zinbiel-associative bialgebra isomorphism.
We show that the zeroth cohomology of M. Kontsevich's graph complex is isomorphic to the Grothendieck-Teichmueller Lie algebra grt_1. The map is explicitly described. This result has applications to deformation quantization and Duflo theory. We also compute the homotopy derivations of the Gerstenhaber operad. They are parameterized by grt_1, up to one class (or two, depending on the definitions). More generally, the homotopy derivations of the (non-unital) E_n operads may be expressed through the cohomology of a suitable graph complex. Our methods also give a second proof of a result of H. Fur…
In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations on chain complexes of graphs', Mathematische Annalen, …
Comparing the star product defined by Takhtajan on the Poisson-Lie group GL(2) and any star product calculated from the Kontsevich's graphs (any ''K-star product'') on the same group, we show, by direct computation, that the Takhtajan star product on GL(2) can't be written as a K-star product.
We study Kontsevich's deformation quantization for the dual of a finite-dimensional real Lie algebra (or superalgebra) g. In this case the Kontsevich star-product defines a new convolution on S(g), regarded as the space of distributions supported at 0 in g. For p in S(g), we show that the convolution operator f->f*p is a differential operator with analytic germ. We use this fact to prove a conjecture of Kashiwara and Vergne on invariant distributions on a Lie group. This yields a new proof of Duflo's result on local solvability of bi-invariant differential operators on a Lie group. Moreover, t…
In arXiv:math/0105152, the second author used the Kontsevich deformation quantization technique to define a natural connection ω_n on the compactified configuration spaces of n points on the upper half-plane. This connection takes values in the Lie algebra of derivations of the free Lie algebra with n generators. In this paper, we show that ω_n is flat. The configuration space contains a boundary stratum at infinity which coincides with the (compactified) configuration space of n points on the complex plane. When restricted to this stratum, ω_n gives rise to a flat connection ω_n^\infty. We sh…
In this paper we will prove a super-analogue of a well-known result by Kontsevich which states that the homology of a certain complex which is generated by isomorphism classes of oriented graphs can be calculated as the Lie algebra homology of an infinite-dimensional Lie algebra of symplectic vector fields.
The Kontsevich integral of a knot is a powerful invariant which takes values in an algebra of trivalent graphs with legs. Given a Lie algebra, the Kontsevich integral determines an invariant of knots (the so-called colored Jones function) with values in the symmetric algebra of the Lie algebra. Recently A. Kricker and the author constructed a rational form of the Kontsevich integral which takes values in an algebra of trivalent graphs with beads. After replacing beads by an exponential legs, this rational form recovers the Kontsevich integral. The goal of the paper is to explain the relation b…
For the Kirillov-Poisson structure on the vector space $\g^*$, where $\g$ is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K], and the formula, arising from the classical Campbell-Baker-Hausdorff formula [Ka]. It was proved in [Ka] that the last formula is exactly the part of Kontsevich's formula consisting of all the admissible graphs without (oriented) cycles between the vertices of the first type. It follows from the CBH-theorem that this part of Kontsevich's formula defines an …
$\newcommand{\poly}{_{\operatorname{poly}}^{\bullet}}\newcommand{\td}{(\operatorname{td}_{L/A}^{\nabla})^{\frac{1}{2}}}\newcommand{\cx}[1]{\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{#1}\poly\big)}\newcommand{\cy}[1]{\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{#1}\poly)}$Kontsevich's formality theorem states that there exists an $L_\infty$ quasi-isomorphism from the dgla $T\poly(M)$ of polyvector fields on a smooth manifold $M$ to the dgla $D\poly(M)$ of polydifferential operators on $M$, which extends the classical Hochschild--Kostant--Rosenberg map. In this paper, we ex…
Let $α$ be a quadratic Poisson bivector on a vector space $V$. Then one can also consider $α$ as a quadratic Poisson bivector on the vector space $V^*[1]$. Fixed a universal deformation quantization (prediction some weights to all Kontsevich graphs [K97]), we have deformation quantization of the both algebras $S(V^*)$ and $Λ(V)$. These are graded quadratic algebras, and therefore Koszul algebras. We prove that for some universal deformation quantization, independent on $α$, these two algebras are Koszul dual. We characterize some deformation quantizations for which this theorem is true in the …
In this note the notion of Poisson brackets in Kontsevich's "Lie World" is developed. These brackets can be thought of as "universally" defined classical Poisson structures, namely formal expressions only involving the structure maps of a quadratic Lie algebra. We prove a uniqueness statement about these Poisson brackets with a given moment map. As an application we get formulae for the linearization of the quasi-Poisson structure of the moduli space of flat connections on a punctured sphere, and thereby identify their symplectic leaves with the reduction of coadjoint orbits. Equivalently, we …
We conjecture an exact formula for the Kontsevich integral of the unknot, and also conjecture a formula (also conjectured independently by Deligne) for the relation between the two natural products on the space of Chinese characters. The two formulas use the related notions of "Wheels" and "Wheeling". We prove these formulas "on the level of Lie algebras" using standard techniques from the theory of Vassiliev invariants and the theory of Lie algebras.
We generalize the notion of trace to the Kontsevich quantization algebra and show that for all Poisson manifolds representable by quotients of a symplectic manifold by a Hamiltonian action of a nilpotent Lie group, the trace is given by integration with respect to a unimodular volume form.
Pulling back the weight systems associated with the exceptional Lie algebras and their standard representations by a modification of the universal Vassiliev-Kontsevich invariant yields link invariants; extending them to coloured 3-nets, we derive for each of them a skein relation.
Using new configuration spaces, we give an explicit construction that extends Kontsevich's Lie-infinity quasi-isomorphism from polyvector fields to Hochschild cochains to a quasi-isomorphism of A-infinity algebras equipped with actions by homotopy derivations of the Lie algebra of polyvector fields. One may term this formality a formality of two-colored noncommutative Gerstenhaber homotopy algebras. In our result the action of polyvector fields by homotopy derivations of the wedge product on polyvector fields is not the adjoint action by the Schouten bracket, but a homotopy nontrivial and, in …
Given a Lie algebra with a scalar product, one may consider the latter as a symplectic structure on a $dg$-scheme, which is the spectrum of the Chevalley--Eilenberg algebra. In the first section we explicitly calculate the first order deformation of the differential on the Hochschild complex of the Chevalley--Eilenberg algebra. The answer contains the Duflo character. This calculation is used in the last section. There we sketch the definition of the Wilson loop invariant of knots, which is hopefully equal to the Kontsevich integral, and show that for unknot they coincide. As a byproduct we ge…
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…
Recently Kontsevich solved the classification problem for deformation quantizations of all Poisson structures on a manifold. In this paper we study those Poisson structures for which the explicit methods of Fedosov can be applied, namely the Poisson structures coming from symplectic Lie algebroids, as well as holomorphic symplectic structures. For deformations of these structures we prove the classification theorems and a general a general index theorem.
We give a presentation in terms of generators and relations of the cohomology in degree zero of the Campos-Willwacher graph complexes associated to compact orientable surfaces of genus $g$. The results carry a natural Lie algebra structure, and for $g=1$ we recover Enriquez' elliptic Grothendieck-Teichmüller Lie algebra. In analogy to Willwacher's theorem relating Kontsevich's graph complex to Drinfeld's Grothendieck-Teichmüller Lie algebra, we call the results higher genus Grothendieck-Teichmüller Lie algebras. Moreover, we find that the graph cohomology vanishes in negative degrees.
We construct a functor that associates to any dg cooperad of dg commutative algebras (satisfying some conditions) an augmented commutative algebra. When applied to the cohomology operad of Francis Brown's moduli spaces it produces an algebra that formally models the algebra of multiple zeta values. We prove that there is an injection from the graded dual of the Grothendieck-Teichmueller Lie algebra into the indecomposables of the algebra associated to the Gerstenhaber cooperad, and that there is a morphism from the algebra associated to Brown's moduli spaces to the algebra associated to the Ge…
We compute the stable homology of necklace Lie algebras associated with quivers and give a construction of stable homology classes from certain $A_\infty$-categories. Our construction is a generalization of the construction of homology classes of moduli spaces of curves due to M. Kontsevich. In the second part of the paper we produce a Moyal-type quantization of the symmetric algebra of a necklace Lie algebra. The resulting quantized algebra has natural representations in the usual Moyal quantization of polynomial algebras.
For a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K\supset \mathbb C$, we deduce from the compatibility between cup products Kontsevich (2003, Section 8) and from the main result of Shoikhet (2001) an alternative way of re-writing Kontsevich product $\star$ on $\mathrm S(\mathfrak g)$ by means of the Alekseev--Torossian flat connection (Alekseev and Torossian, 2010). We deduce a similar formula directly from the Kashiwara--Vergne conjecture (Kashiwara and Vergne, 1978).
The purpose of this short note is to establish an explicit equivalence between the two star products $\star$ and $\star_{\log}$ on the symmetric algebra $\mathrm S(\mathfrak g)$ of a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K\supset\mathbb C$ of characteristic 0 associated with the standard angular propagator and the logarithmic one: the differential operator of infinite order with constant coefficients realizing the equivalence is related to the incarnation of the Grothendieck-Teichmüller group considered by Kontsevich.
In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich's graph complexes, which include graph complexes studied earlier by Culler and Vogtmann and by Penner, have a rich algebraic structure. We define a Lie bracket and cobracket on graph complexes, and in fact show that they are Batalin-Vilkovisky algebras, and th…
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more detail so(3)), and free Lie algebras generated by a vector space of dimension at least 2. We show that for these examples formality in Kontsevich's sense does NOT hold, although some of them allow unconditioned deformability. We compute the L-infinity-structure on the cohomology given by homotopy transfer in certain cases.
In this paper we show that the homology of a certain natural compactification of the moduli space, introduced by Kontsevich in his study of Witten's conjectures, can be described completely algebraically as the homology of a certain differential graded Lie algebra. This two-parameter family is constructed by using a Lie cobracket on the space of noncommutative 0-forms, a structure which corresponds to pinching simple closed curves on a Riemann surface, to deform the noncommutative symplectic geometry described by Kontsevich in his subsequent papers.
We establish an isomorphism between the Grothendieck-Teichmüller Lie algebra $\mathfrak{grt}_1$ in depth two modulo higher depth and the cohomology of the two-loop part of the graph complex of internally connected graphs $\mathsf{ICG}(1)$. In particular, we recover all linear relations satisfied by the brackets of the conjectural generators $σ_{2k+1}$ modulo depth three by considering relations among two-loop graphs. The Grothendieck-Teichmüller Lie algebra is related to the zeroth cohomology of M. Kontsevich's graph complex $\mathsf{GC}_2$ via T. Willwacher's isomorphism. We define a descendi…
A standard combinatorial construction, due to Kontsevich, associates to any A-infinity algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We describe an alternative version of this construction based on noncommutative geometry and use it to prove that homotopy equivalent algebras give rise to the same cohomology classes. Along the way we re-prove Kontsevich's theorem relating graph homology to the homology of certain infinite-dimensional Lie algebras. An application to topological conformal field theori…
In arXiv:math/0606241v2 M. Kontsevich and Y. Soibelman argue that the category of noncommutative (thin) schemes is equivalent to the category of coalgebras. We propose that under this correspondence the affine scheme of a k-algebra A is the dual coalgebra A^o and draw some consequences. In particular, we describe the dual coalgebra A^o of A in terms of the A-infinity structure on the Yoneda-space of all the simple finite dimensional A-representations.
Using elementary equalities between various cables of the unknot and the Hopf link, we prove the Wheels and Wheeling conjectures of [Bar-Natan, Garoufalidis, Rozansky and Thurston, arXiv:q-alg/9703025] and [Deligne, letter to Bar-Natan, January 1996, http://www.ma.huji.ac.il/~drorbn/Deligne/], which give, respectively, the exact Kontsevich integral of the unknot and a map intertwining two natural products on a space of diagrams. It turns out that the Wheeling map is given by the Kontsevich integral of a cut Hopf link (a bead on a wire), and its intertwining property is analogous to the computa…
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…
In this paper we study a family of algebraic deformations of regular coadjoint orbits of compact semisimple Lie groups with the Kirillov Poisson bracket. The deformations are restrictions of deformations on the dual of the Lie algebra. We prove that there are non isomorphic deformations in the family. The star products are not differential, unlike the star products considered in other approaches. We make a comparison with the differential star product canonically defined by Kontsevich's map.
We construct and prove a diagrammatic version of the Duflo isomorphism between the invariant subalgebra of the symmetric algebra of a Lie algebra and the center of the universal enveloping algebra. This version implies the original for metrized Lie algebras (Lie algebras with an invariant non-degenerate bilinear form). As an application of this isomorphism, we will compute the Kontsevich integral of the unknot and the Hopf link to all orders. At the core of the proof, we use an elementary property of the Hopf link which can be summarized by the equation ``1+1=2'' in abacus arithmetic: doubling…
We prove a direct analogue of the classical Duflo formula in the case of $L_\infty$-algebras. We conjecture an analogous formula in the case of an arbitrary Q-manifold. When $G$ is a compact connected Lie group, the Duflo theorem for the Q-manifold $(ΠTG,d_{DR})$ is exactly the Duflo theorem for the Lie algebra $g = Lie G$. The corresponding theorem for the Q-manifold $(ΠTM,d_{DR})$, where $M$ is an arbitrary smooth manifold, is a generalization of the Duflo theorem for the case of smooth manifolds. On the other hand, the Duflo theorem for the Q-manifold $(Π\bar T_{hol} M, \bar\partial)$, wher…
For a finite dimensional Lie algebra $\mathfrak{g}$, the Duflo map $S\mathfrak{g}\rightarrow U\mathfrak{g}$ defines an isomorphism of $\mathfrak{g}$-modules. On $\mathfrak{g}$-invariant elements it gives an isomorphism of algebras. Moreover, it induces an isomorphism of algebras on the level of Lie algebra cohomology $H(\mathfrak{g},S\mathfrak{g})\rightarrow H(\mathfrak{g}, U\mathfrak{g})$. However, as shown by J. Alm and S. Merkulov, it cannot be extended in a universal way to an $A_\infty$-isomorphism between the corresponding Chevalley-Eilenberg complexes. In this paper, we give an elementa…
Consider the Kontsevich $\star$-product on the symmetric algebra of a finite dimensional Lie algebra $\mathfrak g$, regarded as the algebra of distributions with support 0 on $\mathfrak g$. In this paper, we extend this $\star$-product to distributions satisfying an appropriate support condition. As a consequence, we prove a long standing conjecture of Kashiwara-Vergne on the convolution of germs of invariant distributions on the Lie group $G$.
Pulling back the weight system associated with the exceptional Lie algebra G_2 by a modification of the universal Vassiliev-Kontsevich invariant yields a link invariant; extending it to 3-nets, we derive a recursive algorithm for its evaluation.
We prove that the algebra $\cal{A}$ of chord diagrams, the dual to the associated graded algebra of Vassiliev knot invariants, is isomorphic to the universal enveloping algebra of a Casimir Lie algebra in a certain tensor category (the PROP for Casimir Lie algebras). This puts on a firm ground a known statement that the algebra $\cal{A}$ ``looks and behaves like a universal enveloping algebra''. An immediate corollary of our result is the conjecture of Bar-Natan, Garoufalidis, Rozansky, and Thurston on the Kirillov-Duflo isomorphism for algebras of chord diagrams. Our main tool is a general co…
Let $A$ be a Koszul (or more generally, $N$-Koszul) Calabi-Yau algebra. Inspired by the works of Kontsevich, Ginzburg and Van den Bergh, we show that there is a derived non-commutative Poisson structure on $A$, which induces a graded Lie algebra structure on the cyclic homology of $A$; moreover, we show that the Hochschild homology of $A$ is a Lie module over the cyclic homology and the Connes long exact sequence is in fact a sequence of Lie modules. Finally, we show that the Leibniz-Loday bracket associated to the derived non-commutative Poisson structure on $A$ is naturally mapped to the Ger…
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.
We introduce the notion of the Drinfeld dual of an algebra and show that Hall algebras defined by Kontsevich-Soibelman in \cite{KS} are the Drinfeld duals of derived Hall algebras defined in \cite{Toen2005} and \cite{XX2006}. Moreover, we construct the motivic analogue of a derived Hall algebra and prove that it is isomorphic to the motivic Hall algebra constructed in \cite{KS}.
In this paper, we describe all traces for the BCH star-product on the dual of a Lie algebra. First we show by an elementary argument that the BCH as well as the Kontsevich star-product are strongly closed if and only if the Lie algebra is unimodular. In a next step we show that the traces of the BCH star-product are given by the $\ad$-invariant functionals. Particular examples are the integration over coadjoint orbits. We show that for a compact Lie group and a regular orbit one can even achieve that this integration becomes a positive trace functional. In this case we explicitly describe the …
We study the abelianization of Kontsevich's Lie algebra associated with the Lie operad and some related problems. Calculating the abelianization is a long-standing unsolved problem, which is important in at least two different contexts: constructing cohomology classes in $H^k(\mathrm{Out}(F_r);\mathbb Q)$ and related groups as well as studying the higher order Johnson homomorphism of surfaces with boundary. The abelianization carries a grading by "rank," with previous work of Morita and Conant-Kassabov-Vogtmann computing it up to rank $2$. This paper presents a partial computation of the rank …
We determine the abelianizations of the following three kinds of graded Lie algebras in certain stable ranges: derivations of the free associative algebra, derivations of the free Lie algebra and symplectic derivations of the free associative algebra. In each case, we consider both the whole derivation Lie algebra and its ideal consisting of derivations with positive degrees. As an application of the last case, and by making use of a theorem of Kontsevich, we obtain a new proof of the vanishing theorem of Harer concerning the top rational cohomology group of the mapping class group with respec…
For every semi-simple Lie algebra one can construct the Drinfeld-Jimbo algebra U. This algebra is a deformation Hopf algebra defined by generators and relations. To study the representation theory of U, Drinfeld used the KZ-equations to construct a quasi-Hopf algebra A. He proved that particular categories of modules over the algebras U and A are tensor equivalent. Analogous constructions of the algebras U and A exist in the case of Lie superalgebra of type A-G. However, Drinfeld's proof of the above equivalence of categories does not generalize to Lie superalgebras. In this paper, we will dis…
We quantize the Poisson-Lie group SL(2,R)^* as a bialgebra using the product of Kontsevich. The coproduct is a deformation of the coproduct that comes from the group structure. The resulting bialgebra structure is isomorphic to the quantum universal enveloping algebra U_hsl(2,R).
We show that a graded commutative algebra A with any square zero odd differential operator is a natural generalization of a Batalin-Vilkovisky algebra. While such an operator of order 2 defines a Gerstenhaber (Lie) algebra structure on A, an operator of an order higher than 2 (Koszul-Akman definition) leads to the structure of a strongly homotopy Lie algebra (L$_\infty$-algebra) on A. This allows us to give a definition of a Batalin-Vilkovisky algebra up to homotopy. We also make a conjecture which is a generalization of the formality theorem of Kontsevich to the Batalin-Vilkovisky algebra lev…
We explain a direct topological proof for the multiplicativity of Duflo isomorphism for arbitrary finite dimensional Lie algebras, and derive the explicit formula for the Duflo map. The proof follows a series of implications, starting with "the calculation 1+1=2 on a 4D abacus", using the study of homomorphic expansions (aka universal finite type invariants) for ribbon 2-knots, and the relationship between the corresponding associated graded space of arrow diagrams and universal enveloping algebras. This complements the results of the first author, Le and Thurston, where similar arguments usin…
According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra, thereby constructing a series of candidates for unstable classes in the homology of the mapping class group. In the current paper, we show that these cycles are all nontrivial, representing degree 4k+1 homology classes in the homology of the mapping class group of a genus one surface with 4k+1 punctures.
Consider a pronilpotent DG (differential graded) Lie algebra over a field of characteristic 0. In the first part of the paper we introduce the reduced Deligne groupoid associated to this DG Lie algebra. We prove that a DG Lie quasi-isomorphism between two such algebras induces an equivalence between the corresponding reduced Deligne groupoids. This extends the famous result of Goldman- Millson (attributed to Deligne) to the unbounded pronilpotent case. In the second part of the paper we consider the Deligne 2-groupoid. We show it exists under more relaxed assumptions than known before (the DG …
We give a conceptual formulation of Kontsevich's `dual construction' producing graph cohomology classes from a differential graded Frobenius algebra with an odd scalar product. Our construction -- whilst equivalent to the original one -- is combinatorics-free and is based on the Batalin-Vilkovisky formalism, from which its gauge-independence is immediate.
We introduce and study the notion of a dual Feynman transform of a modular operad. This generalizes and gives a conceptual explanation of Kontsevich's dual construction producing graph cohomology classes from a contractible differential graded Frobenius algebra. The dual Feynman transform of a modular operad is indeed linear dual to the Feynman transform introduced by Getzler and Kapranov when evaluated on vacuum graphs. In marked contrast to the Feynman transform, the dual notion admits an extremely simple presentation via generators and relations; this leads to an explicit and easy descripti…
In the present paper we explicitly construct deformation quantizations of certain Poisson structures on E^*, where E -> M is a Lie algebroid. Although the considered Poisson structures in general are far from being regular or even symplectic, our construction gets along without Kontsevich's formality theorem but is based on a generalized Fedosov construction. As the whole construction merely uses geometric structures of E we also succeed in determining the dependence of the resulting star products on these data in finding appropriate equivalence transformations between them. Finally, the concr…
Structures of dual Lie bialgebras on the one sided Witt algebra, the Witt algebra and the Virasoro algebra are investigated. As a result, we obtain some infinite dimensional Lie algebras.