\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{differential graded algebras and differential graded Lie algebras-relationships}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{differential_graded_objects}{}\paragraph*{{Differential graded objects}}\label{differential_graded_objects}

[[!include differential graded objects - contents]]

This entry discusses some relationships between [[differential graded algebra]]s and [[differential graded Lie algebra]]s (DGLA)

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{the_functors__and_}{The functors $C^*$ and $L_*$.}\dotfill \pageref*{the_functors__and_} \linebreak
\noindent\hyperlink{cochain_functors_}{Cochain functors $C^* : DGLA\to CDGA$}\dotfill \pageref*{cochain_functors_} \linebreak
\noindent\hyperlink{the_cochains_of_a_dgla__of_finite_type}{The cochains of a dgla, $(L,\partial)$, of finite type.}\dotfill \pageref*{the_cochains_of_a_dgla__of_finite_type} \linebreak
\noindent\hyperlink{remark}{Remark}\dotfill \pageref*{remark} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{the_functor_}{The functor $L_*$}\dotfill \pageref*{the_functor_} \linebreak
\noindent\hyperlink{definition_2}{Definition}\dotfill \pageref*{definition_2} \linebreak
\noindent\hyperlink{definition_3}{Definition}\dotfill \pageref*{definition_3} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

Here we will look at the relationships between the two topics in the title! We will explore some of the functors linking the two categories.

\hypertarget{the_functors__and_}{}\subsection*{{The functors $C^*$ and $L_*$.}}\label{the_functors__and_}

\hypertarget{cochain_functors_}{}\subsubsection*{{Cochain functors $C^* : DGLA\to CDGA$}}\label{cochain_functors_}

Let $(V,\partial)$ be a differential graded vector space. We let

\begin{displaymath}
C^r(V) = \bigoplus_{p+q=r}C^{p,q} (V),
\end{displaymath}
where $C^{p,q} (V) \subset Hom^{p+q}(\otimes^p sV, k)$ is the subspace of (graded) \emph{symmetric} functions:

\begin{displaymath}
f(su_1,\ldots,su_p) = \varepsilon(\sigma)f(su_{\sigma(1)},\ldots,su_{\sigma(p))}),
\end{displaymath}
for each permutation $\sigma$, having $\varepsilon(\sigma)$ as its Koszul sign.

The product of $f\in C^{p,q}$ and $g\in C^{r,s}$ is

\begin{displaymath}
(f\wedge g)(su_1, \ldots,su_{p+r}) = \sum_{\sigma}\varepsilon(\sigma)f(su_{\sigma(1)},\ldots, su_{\sigma(p)})g(su_{\sigma(p+1)},\ldots,su_{\sigma(p+r)}),
\end{displaymath}
where the sum is over all $(p,r)$-[[shuffles]], $\sigma$ and $\varepsilon(\sigma)$ is the Koszul sign of :

\begin{displaymath}
(f,g,su_1,\ldots, su_{p+r})\to (f,su_{\sigma(1)},\ldots, su_{\sigma(p)},g,su_{\sigma(p+1)},\ldots,su_{\sigma(p+r)}).
\end{displaymath}
With this product, $C(V)$ is a commutative graded algebra.

Now let $(L,\partial)$ be a [[differential graded Lie algebra]]. There are two derivations with square zero, which anti-commute defined by

\begin{displaymath}
\itexarray{
(d_1f)(su_1,\ldots,su_n) &=&(-1)^{|f|}\sum_{i=1}^p(-1)^{|su_1|+ \ldots + |su_{i-1}|}f(su_1,\ldots,s\partial u_i,\ldots,su_p) \\
(d_2f)(su_1,\ldots,su_n)&=&(-1)^{|f|}\sum_{i\lt j}\varepsilon_{ij}(-1)^{|su_i|}f(s[u_i,u_j],su_1,\ldots, s\hat{u_i}, \ldots,s\hat{u_j},\ldots,su_p),}
\end{displaymath}
where $\varepsilon_{ij}$ is the Koszul sign of

\begin{displaymath}
(su_1, \ldots, su_p)\to (su_i,su_j,su_1,\ldots, s\hat{u_i}, \ldots,s\hat{u_j},\ldots,su_p),
\end{displaymath}
where `'$s\hat{u_i}$'` indicates that the element $su_i$ has been omitted. Putting $d = d_1 + d_2$, we have a commutative dga, $C^*(L,\partial)$, $d_1$ and $d_2$ being called, respectively, the linear and quadratic part of $d$.

When $L$ has finite type, this algebra can be identified with $\bigwedge s\# L$. Before making this precise, we will develop the extension of duality to the tensor algebra.

Let $\# V$ be the dual of a gvs $V$ of finite type, the elements of the tensor algebra $T(\#V)$ can be interpreted as multilinear functions on $V$

\begin{displaymath}
\langle x_1\otimes \ldots x_p,y_1,\ldots , y_p\rangle  = \varepsilon \prod_{i=1}^{p}\langle x_i,y_i\rangle ,
\end{displaymath}
where $\varepsilon$ is the Koszul sign of

\begin{displaymath}
(x_1,\ldots,x_p,y_1,\ldots,y_p)\to (x_1,y_1,\ldots, ,x_p,y_p).
\end{displaymath}
The free commutative graded algebra $\bigwedge\# V$ then can be identified as the algebra $C^*(V)$ defined above, via the canonical injection $\chi : \bigwedge \# V\to T(\# V)$.

\hypertarget{the_cochains_of_a_dgla__of_finite_type}{}\subsection*{{The cochains of a dgla, $(L,\partial)$, of finite type.}}\label{the_cochains_of_a_dgla__of_finite_type}

Applying the preceding conventions, we get

\begin{displaymath}
\itexarray{C^*(L,\partial) &=& (\bigwedge s^{-1}\#L, d = d_1+d_2);\\
\langle d_1s^{-1}z;sx\rangle  &=& - \langle z;\partial x\rangle ;\\
\langle d_2s^{-1}z;sx_1,sx_2\rangle &=& (-1)^{|x_1|}\langle z;[x_1,x_2]\rangle }
\end{displaymath}
for $z\in \#L, x_i\in L, x\in L.$

\hypertarget{remark}{}\subsection*{{Remark}}\label{remark}

The differential $d$ is a sum of a linear differential $d_1$ and a quadratic differential, $d_2$. By a word length argument, $d^2 = 0$ is equivalent to

$\left\{\itexarray{
(a) & d_1^2 = 0\\
(b) & d_1d_2 + d_2d_1 = 0\\
(c) & d_2^2 = 0
}\right.$

If one lifts the definitions of $d_1$ and $d_2$ back to the Lie algebra $(L,\partial)$, one has

(a) is equivalent to $\partial^2 = 0$;

(b) is equivalent to `$\partial$ is a Lie algebra derivation';

(c) is equivalent to `the bracket satisfies the Jacobi identity'.

Conversely if $(\bigwedge V,d_1 + d_2)$ is a cdga, free on $V$ as a cga, we can define a dgla structure on $s^{-1}\#V$ using the above formulae.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

$CDGA_{fg}$ will denote the subcategory of $CDGA$ with

\begin{itemize}%
\item as objects the cdgas $(\bigwedge V, d)$ of finite type, which are free as cgas on a gvs of generators $V = \sum_{k\geq 1}V^k$ with differential given by a linear part and a quadratic part;


\item as arrows, the cdga morphisms that send generators to generators.



\end{itemize}
The preceding remark translates as

\begin{prop}
\label{}\hypertarget{}{}
$C^*$ is an isomorphism between $CDGA_{fg}$ and the full subcategory of $DGLA$ formed by Lie algebras of finite type.

\end{prop}
Let $\overline{C}$ be the inverse functor.

Let $(\bigwedge V, d)$ and $(\bigwedge V^\prime, d^\prime)$ be two cdgas of finite type, which are free as cgas. Denote by $d_1$, the linear part of $d$, the differential $\overline{d}$ induced by $d$ on $H(\bigwedge V, d_1) = \bigwedge H(V,d_1)$, has zero linear part. Its quadratic part $\overline{d_2}$ is thus a differential. It determines, via $\overline{C}$, a gla structure on $s^{-1}\#H(V,d_1)$

If $(\bigwedge V, d) = C^*(L,\partial)$, we can easily check that the identification of $s^{-1}\#H(V,d_1)$ with $H(L,\partial)$ is a Lie algebra isomorphism.

In particular, if $d$ is decomposable, $(d(V)\subseteq \bigwedge^{\geq 2}V)$, then $s^{-1}\#V$ has a Lie algebra structure defined by $\overline{C}(\bigwedge V,d_2)$. Applying our earlier description of this, we have that the bracket on $s^{-1}\#V$ is characterised by

\begin{displaymath}
\langle v;s[s^{-1}x_1,s^{-1}x_2]\rangle  = (-1)^{|x_2|+1}\langle d_2v;x_1,x_2\rangle ,v \in V, x_i\in \#V.
\end{displaymath}
Now let $\Phi : (\bigwedge V, d) \to (\bigwedge V^\prime, d^\prime)$ be a morphism of cdgas, then

\begin{displaymath}
s^{-1}\#H(Q(\Phi)): s^{-1}\#H(\bigwedge V^\prime, d^\prime_1) \to  s^{-1}\#H(\bigwedge V, d_1)
\end{displaymath}
is a Lie algebra morphism.

\hypertarget{the_functor_}{}\subsection*{{The functor $L_*$}}\label{the_functor_}

Let $(A,d)$ be a connected cdga of finite type. Recall that $\mathbb{L}(s^{-1}\# A) \subset T(s^{-1}\#A)$ denotes the free Lie algebra on $s^{-1}\#A$ and note that $T^p(s^{-1}\#A)  = \#T^p(sA)$. The linear and quadratic derivations $\partial_1$ and $\partial_2$ respectively are determined on $\mathbb{L}(s^{-1}\#A)$ by

$\itexarray{
\langle sa;\partial_1s^{-1}b\rangle  &=& -\langle da;b\rangle ,\\
\langle sa_1.sa_2;\partial_2s^{-1}b\rangle & =& (-1)^{|a_1|}\langle a_1.a_2;b\rangle ; \quad a\in A, a_i\in A,b\in \#A.}$

The three conditions

(a) $d^2 = 0$,

(b) $d$ is an algebra derivative,

(c) $A$ is associative,

are equivalent, respectively, to

(a) $\partial_1^2 = 0$,

(b) $\partial_1\partial_2 + \partial_2\partial_1 = 0$,

(c) $\partial_2^2 = 0$.

\hypertarget{definition_2}{}\subsection*{{Definition}}\label{definition_2}

$L_*$ is the functor with domain the full subcategory $f-CDGA_0$ of $CDGA$ formed by the connected cdgas of finite type and with codomain $DGLA$. It is defined by $L_*(A,d) = (\mathbb{L}(s^{-1}\#A,\partial = \partial_1 + \partial_2$).

Note: $L_* = P\circ \# \circ B$. $B$ , the bar construction, $\#$ duality, and $P$, primitives.

\hypertarget{definition_3}{}\subsection*{{Definition}}\label{definition_3}

Let $DGLA_{fq}$ be the subcategory of $DGLA$ having as objects the dglas $(\mathbb{L}(V),\partial)$, which, as graded Lie algebras, are free on a vector space of generators $V$ of finite type, having a differential that is the sum of a linear and a quadratic part, and for arrows the dgla morphisms that send generators to generators.

The above remarks show

\begin{prop}
\label{}\hypertarget{}{}
$L_*$ is an isomorphism between $DGLA_{fq}$ and $f-CDGA$\emph{0\$.}

\end{prop}
[[Urs Schreiber|Urs]]: eventually it would be nice if we could put these very detailed discussions in context with existing entries such as [[L-infinity-algebra]] and [[NQ-supermanifold]] which do mention closely related things. Or, in as far as these existing entries are to be regarded as not so good in the light of the present discussiion, we should point out what's amiss and eventually improve things.

[[Tim Porter|Tim]]: I agree, but before that I am hoping that others will help me to sort out the relationships here and with those other areas as I am no expert in this.

We denote by $\overline{L}$, the inverse functor.

Let $(L(W), \partial)$ be a dgla, that is, as a gla, free on a finite type vector space $W$. Denote by $\partial_1$, the linear part of $\partial$, and $\overline{\partial}_2$, the quadratic part of the differential induced by $\partial$ on $\mathbb{L}(H(W,\partial_1))$. The space $k \oplus s^{-1}\#H(W,\partial_1)$ has then a commutative graded algebra structure induced via $\overline{L}$. If $(\mathbb{L}(W),\partial) = L_*(A,d)$, the identification of $k \oplus s^{-1}\#H(W,\partial_1)$ with $H(A,\partial)$ is an algebra isomorphism.

In particular, if $\partial$ is decomposable, $(\partial(W) \subset \mathbb{L}^{\geq 2}(W)$), then $k \oplus s^{-1}\#W$ has a graded commutative algebra structure defined by $\overline{L}(\mathbb{L}(W),\partial_2)$. Applying earlier results, the multiplication on $s^{-1}\#W$ is characterised by

$\langle s(s^{-1}x_1.s^{-1}x_2;w\rangle  = (-1)^{|x_2| + 1}\langle x_1,x_2;\partial_2 w\rangle ; \quad w\in W,x_i \in\#W.$

[[!redirects differential graded algebras and differential graded Lie alg]]



\end{document}