\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*{seminar on factorization algebras}

\hypertarget{seminar_on_factorization_algebras_at_goettingen_2014_fall__2015_winter}{}\subsection*{{Seminar on Factorization Algebras at Goettingen: 2014 Fall - 2015 Winter}}\label{seminar_on_factorization_algebras_at_goettingen_2014_fall__2015_winter}


\vspace{.5em} \hrule \vspace{.5em}
\textbf{Place: Sitzungssaal, \href{https://www.studip.uni-goettingen.de/dispatch.php/course/overview?cid=a829cf0bce827ed6bc8a6ae2413e96bf}{Page in studip} for people at Gottingen, and its \href{https://groups.google.com/forum/?hl=en#!forum/factorizationalgebras}{Google group}.}

\noindent\hyperlink{Objectives}{Objectives}\dotfill \pageref*{Objectives} \linebreak
\noindent\hyperlink{Prerequisite}{Prerequisite}\dotfill \pageref*{Prerequisite} \linebreak
\noindent\hyperlink{Plan}{Plan of Talks}\dotfill \pageref*{Plan} \linebreak
\noindent\hyperlink{Discussion}{Discussion Sessions}\dotfill \pageref*{Discussion} \linebreak
\noindent\hyperlink{References}{References}\dotfill \pageref*{References} \linebreak


\hypertarget{Objectives}{}\subsubsection*{{Objectives}}\label{Objectives}

The aim of this seminar is bi-fold: to learn factorization algebra, and to understand perturbative quantum field theory.

Quantum field theory is an amazing generating machine to obtain interesting mathematical objects (observables), and to relate different parts of math together. However, the mathematical formulation for full quantum field theory seems to be a quite formidable task. Nonetheless, interesting mathematical frameworks have been constructed and developed all the time. For example, topological field theories, (rational) conformal field theories, string field theories, mirror symmetries, Sieberg-Witten theory and Donaldson theory, and integrable systems. A common theme, behind those examples, is to capture the topological, algebraic or geometric invariants in various settings. Perhaps, this verifies why quantum field theory should be interesting to mathematicians.

It turns out, the very theme of looking for invariants also shows up in the development of factorization algebras. And more is true. The various axioms one would like to have in constructing a field theory, are naturally encoded in the definition of a factorization algebra. In this picture, it is quite natural to describe the classical and quantum observables in a coherent picture, and quantization is expected to be a kind of deformation. We are going to see how to materialize this during our seminar. Due to the deep impact from field theory to mathematics, this also means that we are going to revisit relevant mathematics from this new point of view, which includes, the theory of operads, Poisson geometry, vertex algebra, general and differential cohomology, index theorems, higher geometry, and dg-categories.

Factorization algebra is broadly connected to different branches in mathematics, and attracts algebraists, geometers and tologists in general. It has both the abstract, higher point of view, and the down-to-earth calculation/applications. Thus it is a good arena to train our professional skills. We hope this seminar help us to

\begin{itemize}%
\item review some important classical contents from the modern perspective,
\item build up a common language to relate to each other's research topics,
\item contribute to this exciting area from our own expertise.

\end{itemize}
\hypertarget{Prerequisite}{}\subsubsection*{{Prerequisite}}\label{Prerequisite}

Graduate-level courses on abstract algebra, differential geometry and topology. No knowledge on classical/quantum field theory is assumed. It would be good to have in mind some possible connections/applications of factorization algebras in your research topics. Or, if you are not sure at this point, feel free to raise up a discussion among the participants.

\hypertarget{Plan}{}\subsubsection*{{Plan of Talks}}\label{Plan}

We initiated the first several talks, which give a gentle introduction to the topic. The future talks will be the on more specific developments.

\begin{itemize}%
\item Oct. 21, 2014: Organization meeting. Why factorization algebra is interesting, and a brief account on the introduction chapter of Costello-Gwilliam (CG).


\item Nov. 4, 2014: Prefactorization algebra by Chenchang. Definition, relation to $E_n$ operad theory (TFT) and functorial field theories ($\mathbf G$-FT). Associative algebras in quantum mechanics. CG: Chap 1, 3.


\item Nov. 11, 2014: Continuation of Chenchang's prefactorization algebra: a description of quantum observables in free field theory through divergence operator, and a construction of $\mathcal{U}(\mathfrak{g})$. CG: Chap 2-3.


\item Nov. 18, 2014: Examples of prefactorization algebras from field theories by Thomas. A finite dimensional analogy --- the divergence complex of a measure, Koszul resolution of the derived critical locus, and the relation to the Chevalley-Eilenberg complex of Heisenberg Lie algebra. CG: Chap 4.1-4.2.


\item Nov. 25, 2014: Continuation of free field theory by Thomas. Elliptic complexes, the homotopy equivalence between smooth and distributional sections, free field theories: classical observables and Poisson structure, quantum observables and the BD structure. CG: Chap 4.


\item Dec. 2, 2014: An introduction to operads by Malte. $End$-operad, the definitions of (unital) operads, and algebras over operads. LV, F.


\item Dec. 9, 2014: (1) A computation of 1d massive free scalars: quantum observables and Weyl algebra by Dorothea. CG: Chap 4.3. (2) $E_n$ operads and examples of $E_\infty$ operad by Malte. LV, F.


\item Dec. 16, 2014: A talk on T-dualities by Bei.


\item Jan. 6, 2015: Factorization algebra by Dennis. Weiss cover and Ran space, descent condition with respect to three topologies (a la Beilinson-Drinfeld, Lurie and Costello-Gwilliam), (co)sheafification vs glue, a recast of $E_n$-algebras, locally constant factorization algebras and $E_n$-algebras are equivalent (as $(\infty,1)$-categories). Lurie: Chap 5, CG: Chap 6, Ginot: Chap 4.


\item Jan. 13, 2015: Guest lecture by Owen Gwilliam. The general picture of QFT: classical field theory is about critical loci, while quantization involves integration over the critical loci plus that along the ``normal directions''. To deal with the singular critical loci, one considers the derived deformation theory. A family version of it leads to $L_\infty$ spaces. Derived loop spaces as an example. GG.


\item Jan. 20, 2015: Quantum BV formalism by Dennis. Kontsevich quantization of Poisson algebras (operadically $P_1\to E_1$), Etingof-Kazhdan quantization of Lie bialgebras ($P_2\to E_2$), an operadic description of the BV formalism, which quantizes a $P_0$ stricture into a $BD$(, or $E_0$) structure. CG: Chap 8,13.



\end{itemize}
In the following meetings we shall look into various applications and comparisons relevant to other parts of mathematics.

\begin{itemize}%
\item Jan. 27, 2015: Quantum BV formalism in AQFT by Dorothea. QFT in globally hyperbolic spacetime: free theory as an example, the functorial description, the classical observables. The quantum description involves three types of product: the star product, the (naive) pointwise product and the time-ordered product. Time-ordering operator relates the last two, while the connection to the star product is given by the casual structure. FR1, FR2.


\item Feb. 3, 2015: Factorization algebras and Goodwillie Calculus by Dmitri. The Eilenberg-Steenrod axioms give a collection of (homology) functors from spaces to chain complexes that are represented by their values at a point. With a slight generalization, one considers functors from the category $Man_n$ of manifolds with embeddings to a general symmetric monoidal $\infty$-category $\mathcal{D}$ subject to similarly defined axioms. There is an equivalence between those functors and the little-disk algebras valued in $\mathcal{D}$ induced by the evaluation map, whose inverse is given by factorization homology. Given one such functor $A: Man_n\to \mathcal{D}$, one defines $k$-th Taylor (co)tower $P_k A$ via the left Kan extension from $Disk_n^{\leq k}$ to $Man_n$, and $A$ is analytic if $P_\infty A\to A$ is an equivalence, which encodes the factorization descent condition. Homotopy fibers $D_\bullet A$ of the (co)tower $P_\bullet A$ at each stage can be defined. In the homotopy context for Taylor towers $P_\bullet \mathcal{F}$, the results of Goodwillie allow one to describe $D_\bullet \mathcal{F}$ quite explicitly. Fra.



\end{itemize}
\hypertarget{Discussion}{}\subsubsection*{{Discussion Sessions}}\label{Discussion}

We launched a discussion program, as certain kind of continuation of the factorization algebra seminar during the break. The aim is to promote relaxing and enlightening discussions on factorization algebra and nearby areas among people at Goettingen.

For each session, there will be one-hour long presentation given by the leader/speaker (so to ``tell the story''), s/he may also bring up some points to discuss during the tea break and the extra discussion hours. If people are interested, we could also go for joint dinner later that day.

\begin{itemize}%
\item Session 1 @ Sitzungssaal

\end{itemize}
\begin{tabular}{l|l|l}
February 23&Leader&Topic\\
\hline 
12:40 - 13:40&Xiaoyi Cui&Geometric context for quantum BV formalism.\\
13:40 - 14:10&\multicolumn {2}{|l|}{tea time}\\
14:10 - 15:10&Dmitri Pavlov&$1\vert 1$-dimensional field theories and K-theory.\\
15:10 - 18:00\footnote{The room has been reserved till 18:00 to allow for further discussion.} &\multicolumn {2}{|l|}{tea time}\\
\end{tabular}

\begin{itemize}%
\item Session 2 @ Sitzungssaal

\end{itemize}
\begin{tabular}{l|l|l}
March 5 \footnote{Please note that the second talk will start at 15:00.} &Leader&Topic\\
\hline 
13:00 - 14:00&Jan Jitse Venselaar&Factorization algebras for noncommutative geometry.\\
14:00 - 14:30&\multicolumn {2}{|l|}{tea time}\\
15:00 - 16:00&Vadim Alekseev&Groups, operator algebras and ergodic theory.\\
16:00 - 18:00\footnote{The room has been reserved till 18:00 to allow for further discussion.} &\multicolumn {2}{|l|}{tea time}\\
\end{tabular}

\begin{itemize}%
\item Session 3 @ Sitzungssaal

\end{itemize}
\begin{tabular}{l|l|l}
March 19&Leader&Topic\\
\hline 
13:00 - 14:00&David Buecher&Holomorphic field theories and vertex algebras\\
14:00 - 14:30&\multicolumn {2}{|l|}{tea time}\\
14:30 - 15:30&Dmitri Pavlov&Bundle n-gerbes with connection as field theories.\\
15:30 - 18:00\footnote{The room has been reserved till 18:00 to allow for further discussion.} &\multicolumn {2}{|l|}{tea time}\\
\end{tabular}

\hypertarget{References}{}\subsubsection*{{References}}\label{References}

The main relation/application to quantum field theory is given by the following book, which also contains a careful introduction to the notion of factorization algebra.

\begin{itemize}%
\item CG K. Costello and O. Gwilliam, Factorization algebras in quantum field theory.

\end{itemize}
An out-dated version is available on Costello's webpage. Participants can also join our mailing list to get the most up-dated version.

A more mathematical introduction to factorization algebra is given in

\begin{itemize}%
\item Ginot G. Ginot, Notes on factorization algebras, factorization homology and applications, arXiv:1307.5213math.AT.

\end{itemize}
A much more elaborated treatment (using slightly different languages from the formers):

\begin{itemize}%
\item Lurie J. Lurie, Higher Algebra. \href{http://www.math.harvard.edu/~lurie/papers/higheralgebra.pdf}{pdf}.

\end{itemize}
The introduction to operads is based on

\begin{itemize}%
\item LV J.-L. Loday, B. Vallette: Algebraic Operads. \href{http://math.unice.fr/~brunov/Operads.html}{Pdf available here}.

\end{itemize}
For $E_\infty$ operads, see

\begin{itemize}%
\item F B. Fresse: Introduction to $E_n$-operads and little discs operads. \href{http://www.newton.ac.uk/files/seminar/20130305140015152-153497.pdf}{pdf}.

\end{itemize}
and the material here:

\begin{itemize}%
\item B. Fresse: Homotopy of Operads and Grothendieck-Teichmueller Groups. \href{http://math.univ-lille1.fr/~fresse/OperadHomotopyBook/}{Book project homepage}.

\end{itemize}
Next here are references with more specific applications.

For the perturbative quantum field theory, and for the intuition of BV formalism, see the following monograph.

\begin{itemize}%
\item K. Costello, Renormalization and effective field theory, Surveys and monographs, American Mathematical Society, 2011.

\end{itemize}
For the application to topological manifold, see

\begin{itemize}%
\item Fra J. Francis, Factorization homology of topological manifolds, arXiv:1206.5522math.AT.


\item D. Ayala, J. Francis and H. Tanaka, Structured singular manifolds and factorization homology, arXiv:1206.5164math.AT.



\end{itemize}
On $L_\infty$ space, see

\begin{itemize}%
\item GG R. Grady and O. Gwilliam, L-infinity spaces and derived loop spaces, arXiv:1404.5426math.AG.

\end{itemize}
On Algebraic Quantum Field Theory, see

\begin{itemize}%
\item FR1 K. Fredenhagen and K. Rejzner, Batalin-Vilkovisky formalism in the functional approach to classical field theory, Commun.Math.Phys. 314 (2012) 93-127, arXiv:1101.5112math-ph.


\item FR2 K. Fredenhagen and K. Rejzner, Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory, Commun.Math.Phys. 317 (2013) 697-725, arXiv:1110.5232math-ph.



\end{itemize}


\end{document}