Kapranov $L_{\infty}[1]$ algebras
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912620322226176 |
|---|---|
| author | Bandiera, Ruggero Seol, Seokbong Stiénon, Mathieu Xu, Ping |
| author_facet | Bandiera, Ruggero Seol, Seokbong Stiénon, Mathieu Xu, Ping |
| contents | Given any Kähler manifold $X$, Kapranov discovered an $L_\infty[1]$ algebra structure on $Ω^{0,\bullet}_X(T^{1,0}_X)$. Motivated by this result, we introduce, as a generalization of $L_\infty[1]$ algebras, a notion of $L_\infty[1]$ $\mathfrak{R}$-algebra, where $\mathfrak{R}$ is a differential graded commutative algebra with unit. We show that standard notions (such as quasi-isomorphism and linearization) and results (including homotopy transfer theorems) can be extended to this context. For instance, we provide a linearization theorem.
As an application, we prove that, given any DG Lie algebroid $(\mathcal{L},Q_{\mathcal{L}})$ over a DG manifold $(\mathcal{M},Q)$, there exists an induced $L_\infty[1]$ $\mathfrak{R}$-algebra structure on $Γ(\mathcal{L})$, where $\mathfrak{R}$ is the DG commutative algebra $(C^\infty(\mathcal{M}),Q)$ -- its unary bracket is $Q_{\mathcal{L}}$ while its binary bracket is a cocycle representative of the Atiyah class of the DG Lie algebroid. This $L_\infty[1]$ $\mathfrak{R}$-algebra $Γ(\mathcal{L})$ is linearizable if and only if the Atiyah class of the DG Lie algebroid vanishes. However, the $L_\infty[1]$ ($\mathbb{K}$-)algebra $Γ(\mathcal{L})$ induced by this $L_\infty[1]$ $\mathfrak{R}$-algebra is necessarily homotopy abelian.
As a special case, we prove that, given any complex manifold $X$, the Kapranov $L_\infty[1]$ $\mathfrak{R}$-algebra $Ω^{0,\bullet}_X(T^{1,0}_X)$, where $\mathfrak{R}$ is the DG commutative algebra $(Ω^{0,\bullet}_X,\bar{\partial})$, is linearizable if and only if the Atiyah class of the holomorphic tangent bundle $T_X$ vanishes. Nevertheless, the induced $L_\infty[1]$ $\mathbb{C}$-algebra structure on $Ω^{0,\bullet}_X(T^{1,0}_X)$ is necessarily homotopy abelian. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_26341 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Kapranov $L_{\infty}[1]$ algebras Bandiera, Ruggero Seol, Seokbong Stiénon, Mathieu Xu, Ping Differential Geometry Mathematical Physics Algebraic Geometry Quantum Algebra Rings and Algebras Given any Kähler manifold $X$, Kapranov discovered an $L_\infty[1]$ algebra structure on $Ω^{0,\bullet}_X(T^{1,0}_X)$. Motivated by this result, we introduce, as a generalization of $L_\infty[1]$ algebras, a notion of $L_\infty[1]$ $\mathfrak{R}$-algebra, where $\mathfrak{R}$ is a differential graded commutative algebra with unit. We show that standard notions (such as quasi-isomorphism and linearization) and results (including homotopy transfer theorems) can be extended to this context. For instance, we provide a linearization theorem. As an application, we prove that, given any DG Lie algebroid $(\mathcal{L},Q_{\mathcal{L}})$ over a DG manifold $(\mathcal{M},Q)$, there exists an induced $L_\infty[1]$ $\mathfrak{R}$-algebra structure on $Γ(\mathcal{L})$, where $\mathfrak{R}$ is the DG commutative algebra $(C^\infty(\mathcal{M}),Q)$ -- its unary bracket is $Q_{\mathcal{L}}$ while its binary bracket is a cocycle representative of the Atiyah class of the DG Lie algebroid. This $L_\infty[1]$ $\mathfrak{R}$-algebra $Γ(\mathcal{L})$ is linearizable if and only if the Atiyah class of the DG Lie algebroid vanishes. However, the $L_\infty[1]$ ($\mathbb{K}$-)algebra $Γ(\mathcal{L})$ induced by this $L_\infty[1]$ $\mathfrak{R}$-algebra is necessarily homotopy abelian. As a special case, we prove that, given any complex manifold $X$, the Kapranov $L_\infty[1]$ $\mathfrak{R}$-algebra $Ω^{0,\bullet}_X(T^{1,0}_X)$, where $\mathfrak{R}$ is the DG commutative algebra $(Ω^{0,\bullet}_X,\bar{\partial})$, is linearizable if and only if the Atiyah class of the holomorphic tangent bundle $T_X$ vanishes. Nevertheless, the induced $L_\infty[1]$ $\mathbb{C}$-algebra structure on $Ω^{0,\bullet}_X(T^{1,0}_X)$ is necessarily homotopy abelian. |
| title | Kapranov $L_{\infty}[1]$ algebras |
| topic | Differential Geometry Mathematical Physics Algebraic Geometry Quantum Algebra Rings and Algebras |
| url | https://arxiv.org/abs/2509.26341 |