Abstract:Let $n\ge 1$ and $A$ be a commutative algebra of the form $\boldsymbol k[x_1,x_2,\dots, x_n]/I$ where $\boldsymbol k$ is a field of characteristic $0$ and $I\subseteq \boldsymbol k[x_1,x_2,\dots, x_n]$ is an ideal. Assume that there is a Poisson bracket $\{\:,\:\}$ on $S$ such that $\{I,S\}\subseteq I$ and let us denote the induced bracket on $A$ by $\{\:,\:\}$ as well. It is well-known that $[\mathrm d x_i,\mathrm d x_j]:=\mathrm d\{x_i,x_j\}$ defines a Lie bracket on the $A$-module $\Omega_{A|\boldsymbol k}$ of Kähler differentials making $(A,\Omega_{A|\boldsymbol k})$ a Lie-Rinehart pair. Recall that $A$ is regular if and only if $\Omega_{A|\boldsymbol k}$ is projective as an $A$-module. If $A$ is not regular, the cotangent complex $\mathbb L_{A|\boldsymbol k}$ may serve as a replacement for the $A$-module $\Omega_{A|\boldsymbol k}$. We prove that there is a structure of an $L_\infty$-algebroid on $\mathbb L_{A|\boldsymbol k}$, compatible with the Lie-Rinehart pair $(A,\Omega_{A|\boldsymbol k})$. The $L_\infty$-algebroid on $\mathbb L_{A|\boldsymbol k}$ actually comes from a $P_\infty$-algebra structure on the resolvent of the morphism $k[x_1,x_2,\dots, x_n]\to A$. We identify examples when this $L_\infty$-algebroid simplifies to a dg Lie algebroid. For aesthetic reasons we concentrate on cases when $ \boldsymbol k[x_1,x_2,\dots, x_n]$ carries a (possibly nonstandard) $\mathbb Z_{\ge 0}$-grading and both $I$ and $\{\:,\:\}$ are homogeneous.
Algebraic Geometry,Commutative Algebra,Quantum Algebra,Representation Theory,Symplectic Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is: how to construct an \(L_\infty\)-algebroid structure on the cotangent complex \(L_{A|k}\) of a non - regular algebra \(A\) that is compatible with the Lie - Rinehart pair \((A, \Omega_{A|k})\). Specifically, the authors study how, when \(A\) is a commutative algebra with a Poisson bracket, to lift the Koszul bracket on Kähler differentials to the cotangent complex to form a broader homotopy structure.
### Specific description of the main problem
1. **Background and motivation**:
- Let \(k\) be a field of characteristic 0, and \(A\) be a commutative algebra of the form \(k[x_1, x_2,\ldots, x_n]/I\), where \(I\subseteq k[x_1, x_2,\ldots, x_n]\) is an ideal.
- Suppose there is a Poisson bracket \(\{,\}\) on \(S = k[x_1, x_2,\ldots, x_n]\) such that \(\{I, S\}\subseteq I\), and induces a Poisson bracket on the quotient algebra \(A\), denoted as \(\{,\}\).
- It is known that \([dx_i, dx_j]:=d\{x_i, x_j\}\) defines a Lie bracket, making \((A, \Omega_{A|k})\) a Lie - Rinehart pair.
2. **Core of the problem**:
- When \(A\) is not a regular algebra, the module of Kähler differentials \(\Omega_{A|k}\) is no longer a projective module, so the cotangent complex \(L_{A|k}\) needs to be used as a substitute.
- The goal of the paper is to prove that there exists an \(L_\infty\)-algebroid structure on the cotangent complex \(L_{A|k}\), and this structure is compatible with the Lie - Rinehart pair \((A, \Omega_{A|k})\).
3. **Main tools and techniques**:
- Use the \(P_\infty\)-algebra structure provided by Theorem 1.4 to achieve this goal.
- Derive the higher - order Koszul brackets on the cotangent complex by analyzing the higher - order derived brackets of the \(P_\infty\)-algebra structure.
### Key formulas and concepts
- **Poisson bracket**:
\[
\{x_i, x_j\} =: \Lambda_{ij}\in S
\]
- **Koszul bracket**:
\[
[a_1 da_2, b_1 db_2]:=a_1 \{a_2, b_1\} db_2 + b_1 \{a_1, b_2\} da_2 + a_1 b_1 d\{a_2, b_2\}
\]
- **\(L_\infty\)-algebra structure**:
\[
\sum_{p + q=m + 1}\sum_{\sigma\in\text{UnSh}_{q,p - 1}}(-1)^\sigma\varepsilon(\sigma, x)(-1)^{q(p - 1)}[[x_{\sigma(1)},\ldots, x_{\sigma(q)}]_q, x_{\sigma(q + 1)},\ldots, x_{\sigma(m)}]_p = 0
\]
Through these structures and tools, the paper successfully generalizes the Koszul bracket to the cotangent complex and proves its compatibility with the Lie - Rinehart pair.