## homotopy between solutions of Maurer-Cartan equation

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

If $S_0, S_1$ are two solutions of Maurer-Cartan equation $dS+\frac{1}{2}{S,S}=0$ for a dg-Lie algebra $g$, do we have a suitable concept of homotopy between $S_0$ and $S_1$?

-

1
There is a standard notion of "gauge equivalence" of Maurer-Cartan solutions, at least when $g^0$ (the degree zero part of $g$) is nilpotent. It comes from the "gauge action", which is just the exponentiated $\operatorname{ad}$ action of $g^0$. See for example these notes of Manetti: arxiv.org/abs/math/0507286 – Kevin Lin Dec 7 2010 at 10:15
If you take the infinitesimal neighbourhood of a Maurer Cartan solution (ie the twisted dg-Lie algebra) then the differential certainly gives a notion of homotopy. I look forward to an expert's take on this nice question. – James Griffin Dec 7 2010 at 11:03

## 2 Answers

To continue what Kevin Lin mentioned, a discussion on the relation between homotopy and gauge equivalence for solutions of the Maurer-Cartan equation is in the last section of Manetti's "Deformation theory via differential graded Lie algebras". To sum up, you can define two solutions $S_0,S_1\in MC_{\mathfrak{g}}(A)$ to be homotopic iff there exists an element $S\in MC_{\mathfrak{g}[t,dt]}(A)$ with $S(0)=S_0$ and $S(1)=S_1$. Now it turns out that in a certain sense this homotopy equivalence and the gauge equivalence are the same thing, however the homotopy definition is preferable since it extends to $L_\infty$ algebras.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

$S_0$ and $S_1$ are said to be homotopy equivalent if there is a Maurer-Cartan element $S(t,dt)$ in the dgla $g[t,dt]$ such that $S(0)=S_0$ and $S(1)=S_1$. It is not completely clear at first that this is an equivalence relation, but actually it is. Indeed much more is true and the homotopy equivalence just described is just the tip of the iceeberg. To see this, rewrite $g[t,dt]$ as $g\otimes\Omega^1$, where $\Omega^1$ is the differential graded commutative algebra of polynomial differential forms on the (algebraic) 1-simplex. Then one sees this is the beginning of a simplicial dgla $g\otimes\Omega^\bullet$, and taking Maurer-Cartan elements produces a simplicial set $MC(g\otimes \Omega^\bullet)$. This simplicial set turns out to be a Kan complex and the fact that the homotopy relation between solution of the Maurer-Cartan equation on $g$ is an equivalence relation is precisely the 'horn filling' property of this Kan complex.

A good reference is Getzler's [math/0404003] Lie theory for nilpotent L-infinity algebras

(in formal deformation theory one produces a nilpotent dgla out of an arbitrary one by tensoring it with the maximal ideal $m_A$ of a local Artin algebra $A$)

-

You mean maximal ideal of a local Artin algebra? – Kevin Lin Dec 7 2010 at 17:11
yes, thanks. I've now edited that. – domenico fiorenza Dec 7 2010 at 17:16
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9059436321258545, "perplexity_flag": "head"}