Deformation quantization of Leibniz algebras (Q481671): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The main goal of the paper is to approach the quantization of the dual space of a Leibniz algebra. This dual space is some kind of generalized Poisson manifold. The integration of Leibniz algebras is closely related with this question. The paper is divided in two sections. In the first one, authors deal with the so called ``\textit{coquecigrue}'' problem proposed by J.-L. Loday, namely, what generalization of the structure of Lie groups is the correct structure to integrate Leibniz algebras? The approach provided in the paper relies in the Lie rack structure and the Baker-Campbell-Hausdorff formula (BCH-formula). The main result establishes for a finite-dimensional real Leibniz algebra \(\mathfrak{h}\) the existence of a Lie rack structure on the underlying vector space to \(\mathfrak{h}\) given by \[ \vartriangleright : (X,Y) \mapsto X \vartriangleright Y := \exp(\text{ad}_X)(Y) \] for all \(X, Y \in \mathfrak{h}\). This structure is analytic in the first, linear in the second variables and satisfies the following properties: 1. When \(\mathfrak{h}\) is a Lie algebra, the corresponding Lie rack structure is locally the conjugation rack structure with respect to the Lie groups structure. 2. The Lie rack structure is globally described by a BCH-type formula. In the second one, the integration procedure for Leibniz algebras is used to develop deformation quantization of Leibniz algebras. Let \(\mathfrak{h}\) be a finite-dimensional Leibniz algebra. Its linear dual \(\mathfrak{h}^{\ast}\) is a smooth manifold. The natural bracket \(\{-,-\}: {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})\) is given by \(\{f,g\}(\xi) := - \langle \xi, [df(0), dg(\xi)] \rangle\), for all \(f, g \in {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}), \xi \in \mathfrak{h}^{\ast}\). The main idea in the paper is to use the corresponding BCH-formula for the integration of a Leibniz algebra \(\mathfrak{h}\) in order to perform the corresponding deformation quantization. The used quantization technique relies on the quantization of symplectic micromorphism by Fourier integral operators. The authors show that it is possible to re-interpret the Gutt star-product in terms of a symplectic micromorphism quantization in the Lie algebras case. They also show that this quantization technique works for Leibniz algebras, provided one takes the cotangent lift of the local rack structure coming from the above integration structure for the symplectic micromorphism. This quantization is an operation \(\vartriangleright : {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]]\) such that the restriction to ``unitaries'' \(U_{\mathfrak{h}}:= \{E_X \mid X \in \mathfrak{h} \}\) (\(E_X\) is the exponential function of \(\mathfrak{h}^{\ast}\) associated to \(X \in \mathfrak{h}\)) is a rack structure. The main result in this section is: Theorem. The operation \(\vartriangleright_{\hbar} : {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \otimes {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]], f \vartriangleright_{\hbar} g = Q(T^{\ast} \vartriangleright)(f \otimes g)\), where \(Q(f \otimes g)(\xi) = \int_{\mathfrak{h} \times \mathfrak{h}} \widetilde{f}(X) \widetilde{g}(Y)e^{\frac{i}{\hbar} S_{\vartriangleright}(X,Y,\xi)} \frac{dX dY}{(2 \pi \hbar)^n}, n = \text{dim}(\mathfrak{h})\), is a quantum rack, i.e. 1. The restriction of \(\vartriangleright_{\hbar}\) to \(U_{\mathfrak{h}}\) is a rack structure, moreover \(e^{\frac{i}{\hbar} X} \vartriangleright_{\hbar} e^{\frac{i}{\hbar} Y} = e^{\frac{i}{\hbar} e^{ad_X(Y)}}\). 2. \(\vartriangleright_{\hbar} : U_{\mathfrak{h}} \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}), (e^{\frac{i}{\hbar} X} \vartriangleright_{\hbar} f)(\xi) = (Ad^{\ast}_{-X} f)(\xi)\), is a rack action. Moreover, \(\vartriangleright_{\hbar}\) coincides with the Gutt quantum rack \(f \vartriangleright g := f \ast_{Gutt} g \ast_{Gutt} \overline{f}\) on unitaries in Lie case. | |||
Property / review text: The main goal of the paper is to approach the quantization of the dual space of a Leibniz algebra. This dual space is some kind of generalized Poisson manifold. The integration of Leibniz algebras is closely related with this question. The paper is divided in two sections. In the first one, authors deal with the so called ``\textit{coquecigrue}'' problem proposed by J.-L. Loday, namely, what generalization of the structure of Lie groups is the correct structure to integrate Leibniz algebras? The approach provided in the paper relies in the Lie rack structure and the Baker-Campbell-Hausdorff formula (BCH-formula). The main result establishes for a finite-dimensional real Leibniz algebra \(\mathfrak{h}\) the existence of a Lie rack structure on the underlying vector space to \(\mathfrak{h}\) given by \[ \vartriangleright : (X,Y) \mapsto X \vartriangleright Y := \exp(\text{ad}_X)(Y) \] for all \(X, Y \in \mathfrak{h}\). This structure is analytic in the first, linear in the second variables and satisfies the following properties: 1. When \(\mathfrak{h}\) is a Lie algebra, the corresponding Lie rack structure is locally the conjugation rack structure with respect to the Lie groups structure. 2. The Lie rack structure is globally described by a BCH-type formula. In the second one, the integration procedure for Leibniz algebras is used to develop deformation quantization of Leibniz algebras. Let \(\mathfrak{h}\) be a finite-dimensional Leibniz algebra. Its linear dual \(\mathfrak{h}^{\ast}\) is a smooth manifold. The natural bracket \(\{-,-\}: {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})\) is given by \(\{f,g\}(\xi) := - \langle \xi, [df(0), dg(\xi)] \rangle\), for all \(f, g \in {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}), \xi \in \mathfrak{h}^{\ast}\). The main idea in the paper is to use the corresponding BCH-formula for the integration of a Leibniz algebra \(\mathfrak{h}\) in order to perform the corresponding deformation quantization. The used quantization technique relies on the quantization of symplectic micromorphism by Fourier integral operators. The authors show that it is possible to re-interpret the Gutt star-product in terms of a symplectic micromorphism quantization in the Lie algebras case. They also show that this quantization technique works for Leibniz algebras, provided one takes the cotangent lift of the local rack structure coming from the above integration structure for the symplectic micromorphism. This quantization is an operation \(\vartriangleright : {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]]\) such that the restriction to ``unitaries'' \(U_{\mathfrak{h}}:= \{E_X \mid X \in \mathfrak{h} \}\) (\(E_X\) is the exponential function of \(\mathfrak{h}^{\ast}\) associated to \(X \in \mathfrak{h}\)) is a rack structure. The main result in this section is: Theorem. The operation \(\vartriangleright_{\hbar} : {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \otimes {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]], f \vartriangleright_{\hbar} g = Q(T^{\ast} \vartriangleright)(f \otimes g)\), where \(Q(f \otimes g)(\xi) = \int_{\mathfrak{h} \times \mathfrak{h}} \widetilde{f}(X) \widetilde{g}(Y)e^{\frac{i}{\hbar} S_{\vartriangleright}(X,Y,\xi)} \frac{dX dY}{(2 \pi \hbar)^n}, n = \text{dim}(\mathfrak{h})\), is a quantum rack, i.e. 1. The restriction of \(\vartriangleright_{\hbar}\) to \(U_{\mathfrak{h}}\) is a rack structure, moreover \(e^{\frac{i}{\hbar} X} \vartriangleright_{\hbar} e^{\frac{i}{\hbar} Y} = e^{\frac{i}{\hbar} e^{ad_X(Y)}}\). 2. \(\vartriangleright_{\hbar} : U_{\mathfrak{h}} \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}), (e^{\frac{i}{\hbar} X} \vartriangleright_{\hbar} f)(\xi) = (Ad^{\ast}_{-X} f)(\xi)\), is a rack action. Moreover, \(\vartriangleright_{\hbar}\) coincides with the Gutt quantum rack \(f \vartriangleright g := f \ast_{Gutt} g \ast_{Gutt} \overline{f}\) on unitaries in Lie case. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: José Manuel Casas Mirás / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17A32 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46L65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6380396 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Leibniz algebra | |||
Property / zbMATH Keywords: Leibniz algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
integration | |||
Property / zbMATH Keywords: integration / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
BCH-formula | |||
Property / zbMATH Keywords: BCH-formula / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
deformation quantization | |||
Property / zbMATH Keywords: deformation quantization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-skew-symmetric Poisson manifolds | |||
Property / zbMATH Keywords: non-skew-symmetric Poisson manifolds / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123142972 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964087645 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1310.6854 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation theory and quantization. I: Deformations of symplectic structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4422808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A comparison between Rieffel's and Kontsevich's deformation quantizations for linear Poisson tensors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal symplectic groupoid / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic microgeometry. I: Micromorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic microgeometry II: Generating functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic microgeometry. III: Monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The local integration of Leibniz algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformations of momentum maps and <i>G</i>-systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RACKS AND LINKS IN CODIMENSION TWO / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-antisymmetric versions of Nambu-Poisson and algebroid brackets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An explicit *-product on the cotangent bundle of a Lie group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5754636 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Leibniz algebras, Courant algebroids, and multiplications on reductive homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation quantization of Poisson manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Noncommutative Poisson brackets on Loday algebras and related deformation quantization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4146925 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3946838 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011307 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic categories / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:31, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deformation quantization of Leibniz algebras |
scientific article |
Statements
Deformation quantization of Leibniz algebras (English)
0 references
12 December 2014
0 references
The main goal of the paper is to approach the quantization of the dual space of a Leibniz algebra. This dual space is some kind of generalized Poisson manifold. The integration of Leibniz algebras is closely related with this question. The paper is divided in two sections. In the first one, authors deal with the so called ``\textit{coquecigrue}'' problem proposed by J.-L. Loday, namely, what generalization of the structure of Lie groups is the correct structure to integrate Leibniz algebras? The approach provided in the paper relies in the Lie rack structure and the Baker-Campbell-Hausdorff formula (BCH-formula). The main result establishes for a finite-dimensional real Leibniz algebra \(\mathfrak{h}\) the existence of a Lie rack structure on the underlying vector space to \(\mathfrak{h}\) given by \[ \vartriangleright : (X,Y) \mapsto X \vartriangleright Y := \exp(\text{ad}_X)(Y) \] for all \(X, Y \in \mathfrak{h}\). This structure is analytic in the first, linear in the second variables and satisfies the following properties: 1. When \(\mathfrak{h}\) is a Lie algebra, the corresponding Lie rack structure is locally the conjugation rack structure with respect to the Lie groups structure. 2. The Lie rack structure is globally described by a BCH-type formula. In the second one, the integration procedure for Leibniz algebras is used to develop deformation quantization of Leibniz algebras. Let \(\mathfrak{h}\) be a finite-dimensional Leibniz algebra. Its linear dual \(\mathfrak{h}^{\ast}\) is a smooth manifold. The natural bracket \(\{-,-\}: {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})\) is given by \(\{f,g\}(\xi) := - \langle \xi, [df(0), dg(\xi)] \rangle\), for all \(f, g \in {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}), \xi \in \mathfrak{h}^{\ast}\). The main idea in the paper is to use the corresponding BCH-formula for the integration of a Leibniz algebra \(\mathfrak{h}\) in order to perform the corresponding deformation quantization. The used quantization technique relies on the quantization of symplectic micromorphism by Fourier integral operators. The authors show that it is possible to re-interpret the Gutt star-product in terms of a symplectic micromorphism quantization in the Lie algebras case. They also show that this quantization technique works for Leibniz algebras, provided one takes the cotangent lift of the local rack structure coming from the above integration structure for the symplectic micromorphism. This quantization is an operation \(\vartriangleright : {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]]\) such that the restriction to ``unitaries'' \(U_{\mathfrak{h}}:= \{E_X \mid X \in \mathfrak{h} \}\) (\(E_X\) is the exponential function of \(\mathfrak{h}^{\ast}\) associated to \(X \in \mathfrak{h}\)) is a rack structure. The main result in this section is: Theorem. The operation \(\vartriangleright_{\hbar} : {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \otimes {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]] \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast})[[e]], f \vartriangleright_{\hbar} g = Q(T^{\ast} \vartriangleright)(f \otimes g)\), where \(Q(f \otimes g)(\xi) = \int_{\mathfrak{h} \times \mathfrak{h}} \widetilde{f}(X) \widetilde{g}(Y)e^{\frac{i}{\hbar} S_{\vartriangleright}(X,Y,\xi)} \frac{dX dY}{(2 \pi \hbar)^n}, n = \text{dim}(\mathfrak{h})\), is a quantum rack, i.e. 1. The restriction of \(\vartriangleright_{\hbar}\) to \(U_{\mathfrak{h}}\) is a rack structure, moreover \(e^{\frac{i}{\hbar} X} \vartriangleright_{\hbar} e^{\frac{i}{\hbar} Y} = e^{\frac{i}{\hbar} e^{ad_X(Y)}}\). 2. \(\vartriangleright_{\hbar} : U_{\mathfrak{h}} \times {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}) \to {\mathcal C}^{\infty}(\mathfrak{h}^{\ast}), (e^{\frac{i}{\hbar} X} \vartriangleright_{\hbar} f)(\xi) = (Ad^{\ast}_{-X} f)(\xi)\), is a rack action. Moreover, \(\vartriangleright_{\hbar}\) coincides with the Gutt quantum rack \(f \vartriangleright g := f \ast_{Gutt} g \ast_{Gutt} \overline{f}\) on unitaries in Lie case.
0 references
Leibniz algebra
0 references
integration
0 references
BCH-formula
0 references
deformation quantization
0 references
non-skew-symmetric Poisson manifolds
0 references
0 references
0 references