\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*{geometric infinity-function theory} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{higher_geometry}{}\paragraph*{{Higher geometry}}\label{higher_geometry} [[!include higher geometry - contents]] \hypertarget{topos_theory}{}\paragraph*{{$(\infty,1)$-Topos Theory}}\label{topos_theory} [[!include (infinity,1)-topos - contents]] \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{contents}{Contents}\dotfill \pageref*{contents} \linebreak \noindent\hyperlink{introduction}{Introduction}\dotfill \pageref*{introduction} \linebreak \noindent\hyperlink{basic_idea_in_three_words}{Basic idea in three words}\dotfill \pageref*{basic_idea_in_three_words} \linebreak \noindent\hyperlink{timeline}{Timeline}\dotfill \pageref*{timeline} \linebreak \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{summary}{Summary}\dotfill \pageref*{summary} \linebreak \noindent\hyperlink{keyword_list}{Keyword list}\dotfill \pageref*{keyword_list} \linebreak \noindent\hyperlink{integral_transforms}{Integral Transforms}\dotfill \pageref*{integral_transforms} \linebreak \noindent\hyperlink{1_introduction}{1. Introduction}\dotfill \pageref*{1_introduction} \linebreak \noindent\hyperlink{11_perfect_stacks}{1.1 Perfect stacks}\dotfill \pageref*{11_perfect_stacks} \linebreak \noindent\hyperlink{12_tensors_and_functors}{1.2 Tensors and functors}\dotfill \pageref*{12_tensors_and_functors} \linebreak \noindent\hyperlink{13_centers_and_traces}{1.3 Centers and traces}\dotfill \pageref*{13_centers_and_traces} \linebreak \noindent\hyperlink{14_hecke_categories}{1.4 Hecke categories}\dotfill \pageref*{14_hecke_categories} \linebreak \noindent\hyperlink{15_topological_field_theory}{1.5 Topological field theory}\dotfill \pageref*{15_topological_field_theory} \linebreak \noindent\hyperlink{2_preliminaries}{2. Preliminaries}\dotfill \pageref*{2_preliminaries} \linebreak \noindent\hyperlink{21_categories}{2.1 $\infty$-categories}\dotfill \pageref*{21_categories} \linebreak \noindent\hyperlink{211_enhancing_triangulated_categories}{2.1.1 Enhancing triangulated categories}\dotfill \pageref*{211_enhancing_triangulated_categories} \linebreak \noindent\hyperlink{22_monoidal_categories}{2.2 monoidal $\infty$-categories}\dotfill \pageref*{22_monoidal_categories} \linebreak \noindent\hyperlink{basic_ideas_related_to_stacks}{basic ideas related to $\infty$-stacks}\dotfill \pageref*{basic_ideas_related_to_stacks} \linebreak \noindent\hyperlink{24_derived_loop_spaces}{2.4 derived loop spaces}\dotfill \pageref*{24_derived_loop_spaces} \linebreak \noindent\hyperlink{25_structures}{2.5 $E_n$-structures}\dotfill \pageref*{25_structures} \linebreak \noindent\hyperlink{3_perfect_stacks}{3. perfect stacks}\dotfill \pageref*{3_perfect_stacks} \linebreak \noindent\hyperlink{definition_of_a_perfect_stack}{definition of a perfect stack}\dotfill \pageref*{definition_of_a_perfect_stack} \linebreak \noindent\hyperlink{base_change_and_projection_formula}{base change and projection formula}\dotfill \pageref*{base_change_and_projection_formula} \linebreak \noindent\hyperlink{constructions_of_perfect_stacks}{constructions of perfect stacks}\dotfill \pageref*{constructions_of_perfect_stacks} \linebreak \noindent\hyperlink{4_tensor_products_and_integral_transforms}{4. Tensor products and integral transforms}\dotfill \pageref*{4_tensor_products_and_integral_transforms} \linebreak \noindent\hyperlink{41_tensor_products_of_categories}{4.1 Tensor products of $\infty$-categories}\dotfill \pageref*{41_tensor_products_of_categories} \linebreak \noindent\hyperlink{42_sheaves_on_fiber_products}{4.2 Sheaves on fiber products}\dotfill \pageref*{42_sheaves_on_fiber_products} \linebreak \noindent\hyperlink{43_geometric_base_stacks}{4.3 Geometric base stacks}\dotfill \pageref*{43_geometric_base_stacks} \linebreak \noindent\hyperlink{5_applications}{5. Applications}\dotfill \pageref*{5_applications} \linebreak \noindent\hyperlink{some_background}{Some background}\dotfill \pageref*{some_background} \linebreak \noindent\hyperlink{centers_and_traces}{Centers and traces}\dotfill \pageref*{centers_and_traces} \linebreak \noindent\hyperlink{centers_of_convolution_categories}{Centers of convolution categories}\dotfill \pageref*{centers_of_convolution_categories} \linebreak \noindent\hyperlink{higher_centers}{higher centers}\dotfill \pageref*{higher_centers} \linebreak \noindent\hyperlink{epilogue_topological_field_theory}{epilogue: topological field theory}\dotfill \pageref*{epilogue_topological_field_theory} \linebreak \noindent\hyperlink{topological_field_theory_from_perfect_stacks}{topological field theory from perfect stacks}\dotfill \pageref*{topological_field_theory_from_perfect_stacks} \linebreak \noindent\hyperlink{delignekontsevich_conjectures_for_derived_centers}{Deligne-Kontsevich conjectures for derived centers}\dotfill \pageref*{delignekontsevich_conjectures_for_derived_centers} \linebreak \noindent\hyperlink{character_quantum_field_theory}{Character Quantum Field Theory}\dotfill \pageref*{character_quantum_field_theory} \linebreak \noindent\hyperlink{and_so_on}{and so on}\dotfill \pageref*{and_so_on} \linebreak \noindent\hyperlink{background_literature}{Background literature}\dotfill \pageref*{background_literature} \linebreak \hypertarget{introduction}{}\section*{{Introduction}}\label{introduction} This entry is about the work by David Ben-Zvi, John Francis and David Nadler on application of a [[(infinity,1)-category|(∞,1)-categorical]] realization of [[geometric function theory]] to [[FQFT|extended quantum field theory]] in the context in which Jacob Lurie proved the [[generalized tangle hypothesis|cobordism hypothesis]]. So far this work is presented in the two articles \begin{itemize}% \item \textbf{IntTrans} [[David Ben-Zvi]], [[John Francis]], [[David Nadler]], \emph{Integral transforms and Drinfeld Centers in Derived Geometry} (\href{http://arxiv.org/abs/0805.0157}{arXiv}) appendix: \emph{Morita equivalence for convolution categories} (\href{http://pages.uoregon.edu/njp/bfn.pdf}{pdf}) \item \textbf{CharTheo} [[David Ben-Zvi]], [[David Nadler]], \emph{The Character Theory of a Complex Group} (\href{http://arxiv.org/abs/0904.1247}{arXiv}) \end{itemize} This entry is supposed to be the $n$Lab-working area for a `` Journal Club -- Geometric $\infty$-function theory ''. The corresponding discussion page at the $n$-Caf\'e{} is \href{http://golem.ph.utexas.edu/category/2009/04/journal_club_geometric_infinit.html}{Journal Club -- Geometric ∞-Function Theory} The idea is to \begin{itemize}% \item jointly discuss at the $n$Caf\'e{} section-by-section these articles; to get an idea for what's going on; \item add here, step by step, links to keywords appearing in these sections, and create the corresponding entries describing them. \item This is supposed to be a recursive and iterative process, which, if successful, will eventually create here a useful repository of entries that describe and explain the various aspects of the topic. \end{itemize} \hypertarget{basic_idea_in_three_words}{}\section*{{Basic idea in three words}}\label{basic_idea_in_three_words} Geometric $\infty$-function theory is about the [[∞-categorification]] of the following basic fact of [[matrix calculus]]: for $X$ and $Y$ finite sets, for $k$ a field and for $C(X)$ and $C(Y)$ the $k$-vector spaces of $k$-valued functions on $X$ and $Y$, respectively, we have natural isomorphisms \begin{displaymath} C(X) \otimes C(Y) \simeq C(X \times Y) \simeq LinMap(C(X), C(Y)) \simeq C(X)^* \otimes C(Y) \end{displaymath} of finite-dimensional vector spaces. In geometric $\infty$-function theory one replaced the finite sets here with generalized spaces called [[perfect infinity-stack|perfect]] [[derived stacks]], and $k$-valued functions by something like $k$-vector bundles on these. That's it, essentially. The point is that this simple statement then turns out to be a powerful organization and unification tool for lots of structures appearing in [[representation theory]] and [[FQFT|functorial quantum field theory]]. \hypertarget{timeline}{}\section*{{Timeline}}\label{timeline} We will try to proceed as follows: we go through the sections of the two articles, step by step, possibly several steps for one section. Each week on Monday, one of us produces a ``report'' on the section he or she was assigned to read. This ``report'' would try to give a rough idea of what is going on in a given section. A report may be anything from a heap of questions (likely) to a complete detailed rederivation of all the details (maybe not quite as likely, but let's not exclude it!) The more questions, the more we all get involved, which is the whole point of doing this online. I ([[Urs Schreiber|Urs]]) am imagining that whatever the report is like, it consists of \begin{itemize}% \item a bulleted list of whatever needs to be listed, with links to whatever deserves to be linked to, here in this $n$Lab-entry, in the following list of sections; \item a comment to the \href{http://golem.ph.utexas.edu/category/2009/04/journal_club_geometric_infinit.html}{blog entry} that maybe copies this entire content but at least alerts the blog readers about the new material now to be found here, accompanied by some comments as seems necessary. \end{itemize} The idea is that we have discussion on the blog but distill whatever we can into the $n$Lab here. Here is the list of reports, as planned so far: \begin{itemize}% \item Monday, April 27: [[Alex Hoffnung|Alex]] on section 1, \href{http://arxiv.org/PS_cache/arxiv/pdf/0805/0805.0157v4.pdf#page=2}{Introduction} [[tick6.png:pic]] (\href{http://golem.ph.utexas.edu/category/2009/04/journal_club_geometric_infinit_1.html}{n-category caf\'e{} entry}) \item Monday, May 4: [[Urs Schreiber|Urs]] on section 2, \href{http://arxiv.org/PS_cache/arxiv/pdf/0805/0805.0157v4.pdf#page=10}{Preliminaries} [[tick6.png:pic]] (\href{http://golem.ph.utexas.edu/category/2009/05/journal_club_geometric_infinit_2.html}{n-category caf\'e{} entry}) \item Monday, May 11: [[Bruce Bartlett|Bruce]] on section 3, \href{http://arxiv.org/PS_cache/arxiv/pdf/0805/0805.0157v4.pdf#page=16}{Perfect Stacks} [[tick6.png:pic]] (\href{http://golem.ph.utexas.edu/category/2009/05/journal_club_geometric_infinit_3.html}{n-category caf\'e{} entry}) \item Monday, May 18: [[Chris Brav|Christopher]] on section 4, \href{http://arxiv.org/PS_cache/arxiv/pdf/0805/0805.0157v4.pdf#page=24}{Tensor products and integral transforms} [[tick6.png:pic]] (\href{http://golem.ph.utexas.edu/category/2009/05/journal_club_geometric_infinit_4.html}{n-category caf\'e{} entry}) \item Monday, May 25: [[Chris Brav|Christopher]] on section 5, \href{http://arxiv.org/PS_cache/arxiv/pdf/0805/0805.0157v4.pdf#page=32}{Applications} [[tick6.png:pic]] \item Monday, June 1: [[Alex Hoffnung|Alex]] on section 6, \href{http://arxiv.org/PS_cache/arxiv/pdf/0805/0805.0157v4.pdf#page=39}{Epilogue: TFT} \end{itemize} \hypertarget{idea}{}\section*{{Idea}}\label{idea} The central structural theorem of [[FQFT|TQFT]], the [[generalized tangle hypothesis|cobordism theorem]] states that [[FQFT|(∞,n)-categorical extended topological quantum field theories]] are entirely determined by their value in the [[point]], which has to be an [[object]] in an [[(∞,n)-category]] with high dualizability properties. Very generally, the point of \emph{geometric $\infty$-function theory} is to construct and study concrete realizations of the [[FQFTs]] guaranteed to exist by this theorem. The central tool, from which this entry draws its title, is an [[(infinity,1)-category|(∞,1)-categorical]] version of [[geometric function theory]]: the rough idea is that the data the [[FQFT]] assigns to a [[manifold]] $\Sigma$ is a collection $Z(\Sigma)$ of $\infty$-functions -- the physical \emph{fields} -- on $\Sigma$, or, more generally, sections of some $\infty$-bundle on $\Sigma$, and that the morphism $Z(\Sigma) : Z(\Sigma_{in}) \to Z(\Sigma_{out})$ assigned by the [[FQFT]] to a [[cobordism]] $\Sigma : \Sigma_{in} \to \Sigma_{out}$ is obtained from a [[groupoidification|pull-push-operation]] on the objects of $Z(\Sigma_{in})$ through a [[span]] to obtain objects in $Z(\Sigma_{out})$. This picture arises naturally and is maybe best understood in terms of [[FQFTs]] that arise as [[∞-models]], namely which are [[representable functor|represented]] by a \emph{target space} object $P$: assume that $P$ is some kind of generalized space (which will usually mean: an [[(∞,1)-sheaf]], see [[motivation for sheaves, cohomology and higher stacks]] for motivation of this point) and regard the manifolds $\Sigma$ as special cases of generalized manifolds. Writing $[- , P]$ for the [[closed monoidal category|internal hom]] in the given context, every [[cobordism]] [[cospan]] is sent to a [[span]] \begin{displaymath} [-, P] : \left( \itexarray{ && \Sigma \\ & \nearrow && \nwarrow \\ \Sigma_{in} &&&& \Sigma_{out} } \right) \mapsto \left( \itexarray{ && [\Sigma, P] \\ & {}^{p_1}\swarrow && {}^{p_2}\searrow \\ [\Sigma_{in}, P] &&&& [\Sigma_{out}, P] } \right) \,. \end{displaymath} If now $C([\Sigma_{in},P])$ denotes some sensible collection of $\infty$-functions on the mapping space $[\Sigma_{in}, P]$, there will be an [[(infinity,1)-category|∞-categorical]] pull-push operation \begin{displaymath} \int_{p_2} p_1^*(-) : C([\Sigma_{in}, P]) \to C([\Sigma_{out}, P]) \end{displaymath} generalizing the analogous operation as described as [[groupoidification]]. As described at [[geometric function theory]], such pull-push operations can naturally be regarded as vast generalization of familiar [[matrix calculus]], including in particular operations like Fourier--Mukai transformations. \hypertarget{summary}{}\subsection*{{Summary}}\label{summary} In \textbf{IntTrans} the basic machinery of these $\infty$-categorical pull-push operations is established. In \emph{CharTheo} the particular case of an [[FQFT]] is considered whose defining assigment to the [[point]] is the differential graded Hecke category \begin{displaymath} H_G = D( B \backslash (G/B)) \end{displaymath} of $B$-equivariant D-modules on the flag variety $G/B$ of a complex reductive group $G$ with Borel subgroup $B$. (\ldots{} more to say here \ldots{}) \hypertarget{keyword_list}{}\section*{{Keyword list}}\label{keyword_list} The following is supposed to going to be a list of linked keywords corresponding section-by-section to the Ben-Zvi/Francis/Nadler articles above. \hypertarget{integral_transforms}{}\subsection*{{Integral Transforms}}\label{integral_transforms} \hypertarget{1_introduction}{}\subsubsection*{{1. Introduction}}\label{1_introduction} [[Alex Hoffnung|I]] am going to use this space (the introduction) as my sandbox and a place to begin a conversation on things I want to talk about it. This way things do not muck up areas that Urs and others have made nice and they can be transported to the appropriate areas later. \begin{itemize}% \item Drinfeld centers \end{itemize} Comment by David Ben-Zvi from \href{http://golem.ph.utexas.edu/category/2009/04/journal_club_geometric_infinit_1.html#c023524}{n-category cafe} \begin{quote}% One quick comment: the Drinfeld center is not a ``sub'' in any reasonable sense (except in the loose sense that it's a categorical limit). This is easy to see already for the category of representations of a finite group, where the Drinfeld center (or modules for the Drinfeld double) is the category of G-equivariant vector bundles on the group G (I think they also go by the name Yetter-Drinfeld modules?) Likewise the center of a ring in the derived world (ie Hochschild cohomology) is not really a subring - even for a commutative ring, its derived center doesn't map in injectively (for a smooth commutative ring the Hochschild-Kostant-Rosenberg theorem tells us that Hochschild cohomology is the exterior algebra on derivations of the ring). I think we have to abandon the notions of sub and quotient in the homotopical world and stick to notions like (homotopy) limit and colimit. \end{quote} I want to start replying to/understanding this comment. I have some reading to do first so I will just leave this query box as is for now. \hypertarget{11_perfect_stacks}{}\paragraph*{{1.1 Perfect stacks}}\label{11_perfect_stacks} \begin{itemize}% \item [[ind-object]] \begin{itemize}% \item [[ind-object in an (∞,1)-category]] \item [[compact object]] \end{itemize} \end{itemize} \hypertarget{12_tensors_and_functors}{}\paragraph*{{1.2 Tensors and functors}}\label{12_tensors_and_functors} \begin{itemize}% \item [[geometric function theory]] \item [[groupoidification]] \end{itemize} \hypertarget{13_centers_and_traces}{}\paragraph*{{1.3 Centers and traces}}\label{13_centers_and_traces} \begin{itemize}% \item [[span trace]] \item [[co-span co-trace]] \item [[loop space object]] \begin{itemize}% \item [[homotopy limit]] \end{itemize} \end{itemize} \hypertarget{14_hecke_categories}{}\paragraph*{{1.4 Hecke categories}}\label{14_hecke_categories} \hypertarget{15_topological_field_theory}{}\paragraph*{{1.5 Topological field theory}}\label{15_topological_field_theory} \begin{itemize}% \item [[FQFT]] \item [[∞-model]] \end{itemize} \hypertarget{2_preliminaries}{}\subsubsection*{{2. Preliminaries}}\label{2_preliminaries} Recall that the goal of \textbf{geometric $\infty$-function theory} is \begin{itemize}% \item to establish a good [[higher category theory|higher categorical]] version of linear algebra (``[[integral transform]]'' = ``higher matrix multiplication''!) \item such that interesting classes of [[∞-model]] [[FQFT|extended TQFTs]] $Z_P$ are [[representable functor|represented]] by [[motivation for sheaves, cohomology and higher stacks|generalized spaces]] $P$ \begin{itemize}% \item in that the ``higher linear map'' $Z_P(\Sigma)$ assigned by the [[FQFT|QFT]] to a [[cobordism]] [[cospan]] $\itexarray{ && \Sigma \\ & \nearrow && \nwarrow \\ \Sigma_{in} &&&& \Sigma_{out}}$ is given by the [[span]] $\itexarray{ && [\Sigma,P] \\ & \swarrow && \searrow \\ [\Sigma_{in},P] &&&& [\Sigma_{out}, P]}$. \end{itemize} \end{itemize} This clearly requires that \begin{itemize}% \item we fix a good ambient context of [[Higher Topos Theory|higher sheaf- and category theory]]; \item and inside that a good general concept of [[higher algebra]]. \end{itemize} One point made by the [[David Ben-Zvi|Ben-Zvi]]/Francis/Nadler work is that a good working context of [[higher category theory]] in which a good notion of \emph{geometric $\infty$-function theory} can be set up nicely is the context assembled and developed in the PhD thesis of [[Jacob Lurie]], consisting of \begin{itemize}% \item [[Higher Topos Theory]] -- the theory of [[(∞,1)-categories]] and [[(∞,1)-sheaves]] \begin{itemize}% \item this assembles and develops \begin{itemize}% \item work by [[Andre Joyal]] on [[quasi-category|quasi-categories]]; \item work by Simpson, Rezk, To\"e{}n, Vezzosi and others on [[higher category theory|higher categories]] and [[infinity-stack|higher stacks]]; \item work by [[BrownAHT|Brown]], [[Andre Joyal|Joyal]], Jardine and others on [[presentable (infinity,1)-category|models]] for [[∞-stacks]] in terms of a [[model structure on simplicial presheaves]]. \end{itemize} \end{itemize} \item [[Stable Infinity-Categories|Stable Higher Category Theory]] -- essentially the theory of [[additive and abelian categories]] lifted to the $(\infty,1)$-context; \begin{itemize}% \item which puts the large body of work on [[homotopy theory|stable homotopy theory]] and [[homological algebra]] into the above [[(infinity,1)-category|(∞,1)-categorical]] context, in essence identifying the abstract idea modeled by [[pretriangulated dg-category|pretriangulated dg-categories]] and $A_\infty$-[[A-∞-categories|categories]] \end{itemize} \item [[higher algebra|Higher Algebra]] -- the theory of [[monoid]]- or [[algebra]]-objects [[internalization|internal to]] ([[symmetric monoidal (infinity,1)-category|symmetric]]) [[monoidal (infinity,1)-category|monoidal]] [[(infinity,1)-category|(∞,1)-categories]] \begin{itemize}% \item expanding on work by To\"e{}n-Vezzosi; \item which puts into its natural higher categorical context \begin{itemize}% \item the ``brave new algebra'' of [[commutative ring spectrum|ring spectra]]; \item the notions of things like [[A∞-rings]] and [[symmetric monoidal category|E∞-category]]. \end{itemize} \end{itemize} \end{itemize} Especially for the newcomer and non-expert it must be understood that the plethora of high-powered terminology appearing here is conceptually \emph{simplified} and unified by their description in the higher categorical context -- so you \emph{gain} by trying to learn this stuff here first before going into the standard literature: \begin{itemize}% \item the concept of an [[(∞,1)-sheaf]]/[[∞-stack]] is \emph{much simpler} than its model in terms of the [[model structure on simplicial presheaves]]; \item the concept of a [[stable (∞,1)-category]] is \emph{much simpler} than its 1-categorical shadow as a [[triangulated category]]; \item the concept of a [[commutative algebra in an (∞,1)-category]] is \emph{simpler} than the details of its realization given by a [[commutative ring spectrum]]. \item Moreover, the gain of \emph{geometric $\infty$-function theory} will be that it turns out to \emph{unify} a wealth of concepts appearing in [[FQFT]] and [[representation theory]]. \end{itemize} This is the reason why we bother with geometric $\infty$-function theory and devote a detailed discussion to it: \emph{geometric $\infty$-function theory} carries the promise of getting close to the sought-for Lawvere-ification of quantum field theory -- providing its [[physics|natural language]]. \hypertarget{21_categories}{}\paragraph*{{2.1 $\infty$-categories}}\label{21_categories} The [[∞-categories]] that we are dealing with here are \begin{itemize}% \item [[(∞,1)-categories]]. \end{itemize} There are several reasons for \begin{itemize}% \item [[Why (∞,1)-categories?]] \end{itemize} in the present context, the main one being that they allow to make precise the ideas summarized in the \begin{itemize}% \item [[motivation for sheaves, cohomology and higher stacks]]. \end{itemize} In principle one will want to eventually understand [[geometric function theory]] in the context of more general [[higher category theory]], in particular for [[(∞,n)-categories]], but a great deal is already gained by just (hah!) looking at [[(∞,1)-categories]] -- not the least because (only) for them a working well-developed full theory exists at the moment, developed by [[Andre Joyal]] and further developed by [[Jacob Lurie]]: \begin{itemize}% \item [[Higher Topos Theory]] \end{itemize} This subsumes and unifies notably a wealth of more-or-less ad-hoc constructions that have been known for a bit longer. In particular the theory of [[model category|model categories]] is realized as a way to, well, model $(\infty,1)$-categories: In particular every \begin{itemize}% \item [[simplicial model category]] \end{itemize} is naturally a \begin{itemize}% \item [[presentable (infinity,1)-category|presentation of an (∞,1)-category]]. \end{itemize} \hypertarget{211_enhancing_triangulated_categories}{}\paragraph*{{2.1.1 Enhancing triangulated categories}}\label{211_enhancing_triangulated_categories} The aim of \emph{geometric $\infty$-function theory} is to develop a good $\infty$-categorical generalization of the simple notion of \begin{itemize}% \item \emph{sets of functions on spaces} \end{itemize} to \begin{itemize}% \item ``$\infty$-categories of $\infty$-functions'' on ``$(\infty)$-spaces'' \end{itemize} essentially following the general philosophy of [[space and quantity]]. Whatever the answer is, the collection of such $\infty$-functions should be \begin{itemize}% \item abelian \end{itemize} and \begin{itemize}% \item monoidal \end{itemize} in a suitable sense. From various examples it has become clear that the right [[vertical categorification]] of a function $X \to \mathbb{C}$ is a [[functor]] $X \to Vect_{\mathbb{C}}$, which -- if sufficiently well behaved -- we may regard as a vector bundle on $X$. Indeed, just as functions $[X,\mathbb{C}]$ form a vector space, functors $[X, Vect_{\mathbb{C}}]$ naturally form a [[2-vector space]]. Such a 2-vector space is in particular an [[abelian category]]. This is one of the ways in which we expect $\infty$-functions to form an \emph{abelian} collection. Experience shows that the right (or at least a very good) $\infty$-[[vertical categorification]] of [[abelian category]] is a \begin{itemize}% \item [[stable (∞,1)-category]]. \end{itemize} It turns out that just as [[model category|model categories]] and related [[homotopical category|homotopical categories]] are best thought of as, well, \emph{models} for $(\infty,1)$-categories, so various constructions in [[homological algebra]] -- and in the end really all of modern homological algebra -- is best thought of as models for [[stable (infinity,1)-category|stable (∞,1)-categories]]. This concerns notably \begin{itemize}% \item [[A-∞ categories]] \end{itemize} and \begin{itemize}% \item [[pretriangulated dg-category|pretriangulated dg-categoires]] \end{itemize} which, in turn, are already [[enhanced triangulated category|enhanced]] [[triangulated category|triangulated categories]]: namely [[dg-category|dg]]-[[enriched category|enriched]] versions thereof. At this point you are urged to really have a look at the entry on [[stable (∞,1)-category]] and marvel about the fact that \begin{itemize}% \item \textbf{the definition of stable $(\infty,1)$-category is short, simple and transparent}. \end{itemize} It's the most obvious thing in the world. And yet, it turns out that the rather involved definitions of [[derived category|derived]] [[triangulated category]] follow from this simple definition when one decides to look at just the 1-categorical shadow given by the [[homotopy category of an (infinity,1)-category|homotopy category of the stable (∞,1)-category]]. This is a general pattern here: \begin{itemize}% \item $(\infty,1)$-categorical notions -- and in particular [[quasi-category|quasi-categorical]] notions -- are \emph{conceptually} simple and lend themselves to the formulation and description of higher categorical situations; \item but for concrete constructions in terms of them there is a wealth of tools with different areas of applicability, many of which have been understood and developed as theories in their own right for a considerable time. \end{itemize} \hypertarget{22_monoidal_categories}{}\paragraph*{{2.2 monoidal $\infty$-categories}}\label{22_monoidal_categories} A central aspect of geometric $\infty$-function theory is that we regard the collection $C(X)$ of $\infty$-functions assigned to a generalized space $X$ (concretely modeled as $QC(X)$, see section 3 below) not just as a higher vector space but naturally as a [[higher algebra]]. Indeed, the central two theorems/properties of [[geometric function theory]] concern the interplay between the \emph{geometry} of intersections or [[pullbacks]] of generalized spaces and the \emph{algebra} of [[tensor products]] \begin{displaymath} C(Y_1) \otimes_{C(X)} C(Y_2) \,. \end{displaymath} In order to formulate this, one needs a good general theory of [[higher algebra]]. Just as ordinary [[algebra]] takes place inside a [[monoidal category]], [[higher algebra]] takes place in a [[monoidal (∞,1)-category]]: an ``$\infty$-monoid'' or ``$\infty$-algebra'' (to distinguish from the traditional [[A? algebra]], which is supposedly a special case) is an [[algebra in an (infinity,1)-category|algebra/monoid object in a monoidal (∞,1)-category]]. In order to characterize the $(\infty,1)$-categories $C(X)$ as algebra objects in such a sense we profit from the ease with which [[quasi-category|quasi-categories]] naturally reflect on themselves and allow us with comparative ease to talk about the [[(∞,1)-category of (∞,1)-categories]] $(\infty,1)Cat_1$. Since $(\infty,1)Cat_1$ itself is a [[symmetric monoidal (∞,1)-category]], we will essentially identify the $\infty$-algebras $C(X)$ as [[algebra in an (infinity,1)-category|algebra objects]] in $(\infty,1)Cat_1$. But there is actually a slight technical simplification: we don't deal with \emph{all} $(\infty,1)$-categories, but just with [[presentable (∞,1)-categories]]. See there for the (long) list of nice properties and characterization of presentable $(\infty,1)$-categories. So \begin{itemize}% \item presentable $(\infty,1)$-categories form the [[symmetric monoidal (∞,1)-category of presentable (∞,1)-categories]] $Pr(\infty,1)Cat_1^L$; \item the $\infty$-algebras of $\infty$-functions $C(X)$ are [[algebra in an (infinity,1)-category|algebra objects in]] $Pr(\infty,1)Cat_1^L$. \end{itemize} Notice that this means in particular that the ``additive'' structure on $C(X)$ is taken to be nothing but the $(\infty,1)$-categorical colimit operation inside $C(X)$: this is the operation with respect to which [[(∞,1)-functors]] in $(\infty,1)Cat_1^L$ are linear, and with respect to which the tensor product is bilinear. In terms of this [[higher algebra]] we will obtain the two central (defining) theorems of \emph{geometric $\infty$-function theory}. \begin{utheorem} \textbf{Fundamental theorem of geometric $\infty$-function theory} For $X \to Y \leftarrow X'$ morphisms of nice generalized spaces ([[perfect ∞-stacks]]) and for $\infty$-functions $C(-) = QC(-)$ (given by the assignment of $(\infty,1)$-categories of quasicoherent sheaves) we have \begin{itemize}% \item \emph{$\infty$-matrices ([[integral transform]]s) are $\infty$-functions on fiber products} in that the following equivalence holds: $C(X \times_Y X') \simeq C(X) \otimes_{C(Y)} C(X')$ \item \emph{$\infty$-linear maps are given by $\infty$-matrices in that also the following equivalence holds: $C(X \times_Y X') \simeq Fun_{C(Y)}(C(X), C(X'))$;} \end{itemize} \end{utheorem} \hypertarget{basic_ideas_related_to_stacks}{}\paragraph*{{basic ideas related to $\infty$-stacks}}\label{basic_ideas_related_to_stacks} The following discussion aims to describe the role played by [[∞-stacks]] and their morphisms in the context of geometric $\infty$-funcion theory. We place ourselves in the context of an [[(∞,1)-category]] $H$ of (possibly [[derived stack|derived]]) $\infty$-stacks, i.e. of [[(∞,1)-sheaves]]. Recall what this means: The fundamental datum that we fix once and for all and which determines what $H$ is like is a choice of [[category]] $S$ equipped with the structure of a [[site]]. $H$ is going to be the $(\infty,1)$-category of generalized spaces which may be probed by objects of $S$ in a way that is consistent with the way one glues objects in $S$ using its structure of a [[site]]. More generally, $S$ itself may be an $(\infty,1)$-category. It is actually not hard to say this in a precise and fairly explicit way. First the precise way. \begin{itemize}% \item the first datum is: $S$ a [[small category|small (∞,1)-category]]; \item let then $PSh(S) := Funct(S^{op}, \infty\text{-}Grpd)$ be the $(\infty,1)$-category of [[(∞,1)-functors]] from the [[opposite (infinity,1)-category|opposite (∞,1)-category]] $S^{op}$ to the $(\infty,1)$-category of $\infty$-groupoids. \item the second datum is: $i : H \hookrightarrow PSh(S)$ a [[full (infinity,1)-subcategory|full (∞,1)-subcategory]] of $PSh(S)$ such that the inclusion is a [[geometric morphism]] of\newline [[(∞,1)-topoi]], i.e. such that $i$ has a [[exact (infinity,1)-functor|left exact]] [[adjoint (infinity,1)-functor|left adjoint]] $(-)^* : PSh(S) \to H$. \end{itemize} The same in one sentence: $H$ is a sub-[[(∞,1)-topos]] of the [[(∞,1)-topos]] of [[(∞,1)-presheaves]] on $S$. Or equivalently: $H$ is an [[(∞,1)-category of (∞,1)-sheaves]] on $S$. Now the fairly explicit way: There are various different but equivalent explicit realizations, or models, for [[(∞,1)-categories]]. Of these consider [[quasi-categories]], which are\newline [[simplicial sets]] that are [[Kan fibration|weak Kan complexes]], and [[SSet]]-[[enriched categories]]. These are related by the [[homotopy coherent nerve]] functor: \begin{displaymath} N : SSet\text{-}Cat \to SSet \end{displaymath} which has a [[left adjoint]] \begin{displaymath} F : SSet \to SSet\text{-}Cat \end{displaymath} that sends every simplicial set to the [[SSet]]-[[enriched category]] freely generated from it. One can think for $S$ a [[quasi-category]] of $F(S)$ as a semi-strictification of it, in which composition of morphisms along 0-cells is strictly associative. It is convenient and usual to switch back and forth between these two models. Quasi-categories tend to give rise to conceptually more transparent definitions, while [[SSet]]-categories tend to be more convenient for many explicit computations. To get back to our [[(∞,1)-category of (∞,1)-sheaves]] $H$, we describe it in terms of these models as follows. \begin{itemize}% \item $S$ is some small [[simplicial set]] which we can assume to be a [[weak Kan complex]]; \item $\infty\text{-}Grpd := N(Kan)$ is the [[simplicial set]] which is the image under the [[homotopy coherent nerve]] functor of the full [[SSet]]-subcategory of [[SSet]] on [[Kan complex]]es; \item $PSh(S) = SSet(S^{op},\infty\text{-}Grpd)$ is just the simplicial set of simplicial maps between the simplicial sets $S^{op}$ and $\infty\text{-}Grpd)$. \end{itemize} For explicitly constructing $H$ as a full sub-$(\infty,1)$-category of $PSh(S)$ in practice one usually switches from the [[quasi-category]] picture to the [[SSet]]-[[enriched category]] picture. So assume $H$ explicitly to be an [[SSet]]-[[enriched category]] and $i : H \to F(PSh(S))$ the suitable inclusion [[SSet]]-functor. Notice that its left adjoint $(-)^* : PSh(S) \to N(H)$ is [[(∞,1)-sheafification]]: it sends every [[(∞,1)-presheaf]] to the corresponding [[(∞,1)-sheaf]]. In other words, this is \emph{$\infty$-stackification}. Describing the full $\infty$-stackification of a given $(\infty,1)$-presheaf explicitly is usually hard. Moreover, it is usually much more than one wants to actually know. Therefore a common approach to constructing $H$ is as an [[SSet]]-[[enriched category]] which has precisely the same objects as $F(PSh(S))$ has, but where every object is $(\infty,1)$-equivalent to its $(\infty,1)$-sheafification. This is in particular what happens in the most developed explicit model for $H$, due to K. Brown, A. Joyal, J. Jardine and others, in which (for $S$ an ordinary 1-category) $H$ is constructed as the canonical [[SSet]]-enrichment of the [[model structure on simplicial presheaves|model category structure on]] $Funct(S^{op}, SSet)$. For such a model of $H$, let $A$ be an object, i.e. an $(\infty,1)$-presheaf which need not be an $(\infty,1)$-sheaf/$\infty$-stack, and let $X$ be any other object, then the simplicial set \begin{displaymath} H(X,A) \end{displaymath} (which, if it is not [[Kan complex|Kan]] already, we are to think of as representing the $\infty$-groupoid obtained from its [[Kan fibration|Kan-fibration]] replacement) is \emph{equivalent} to $H(X,\bar A)$, where $\bar A$ is the $\infty$-stackification of $A$. This is most familiar in detail, if maybe not conceptually, in the context of [[abelian sheaf cohomology]]: an (ordinary) [[sheaf]] $A$ with values in non-negatively graded chain complexes is, by the [[Dold-Kan correspondence]], a special case of an $(\infty,1)$-presheaf with values in $\infty\text{-}Grpd$. Computing the [[abelian sheaf cohomology]] of $A$ on $X$ can be understood as being the computation of the $\infty$-stackification of $A$ evaluated on $X$. Moreover, for a fixed $(\infty,1)$-presheaf $A$, homming into it yields a functor \begin{displaymath} H(-, A) : H^{op} \to SSet \end{displaymath} which, being $SSet$-valued, we are entitled to call an $(\infty,1)$-presheaf on $H$. In as far as $H$ is thought of as an $(\infty,1)$-category of $\infty$-stacks, this is an $(\infty,1)$-presheaf or $\infty$-prestack on $\infty$-stacks. It is natural, suggestive and common to write $A(X) := H(X,A)$, following the guide of the [[Yoneda lemma]], even if $X$ is far from being representable. Let for instance $Vect_\infty \in H$ be an $(\infty,1)$-presheaf which assigns to each test domain $U \in S$ an $\infty$-groupoid $Vect_\infty(U)$ of some kind of $\infty$-vector bundles on $U$. Then $Vect_\infty$ is, regarded as a generalized space modeled on $X$, the [[classifying space]] of $\infty$-vector bundles, essentially by definition. So for $X \in H$ any other $\infty$-stack/generalized space, \begin{displaymath} Vect_\infty(X) := H(X, Vect_\infty) \end{displaymath} is the (simplicial set whose Kan-fibrant replacement is) the $\infty$-groupoid of (some kind of) $\infty$-vector bundles of on $X$. If the $X$ here is an $\infty$-groupoid valued presheaf which really takes values in higher groupoids and not just in sets, then $X$ is actually to be regarded as a generalized $\infty$-groupoid itself, of course. One often thinks of such $X$ as [[orbifolds]]. If we write $X_0 \hookrightarrow X$ for the presheaf of objects in $X$, then \begin{itemize}% \item $Vect_\infty(X_0)$ is the $\infty$-groupoid of $\infty$-vector bundles on $X_0$ \item $Vect_\infty(X)$ is the $\infty$-groupoid of \emph{equivariant} $\infty$-vector bundles on $X_0$, \end{itemize} where the equivariance in question is that encoded by the inclusion $X_0 \hookrightarrow X$. This is notably relevant for the [[fundamental ∞-groupoid]]: assume that our [[site]] $S$ is [[monoidal category|monoidal]] and equipped with a cosimplicial object, i.e. a functor $\Delta_S : \Delta \to S$ from the [[simplex category]], such that $\Delta_S[0]$ is a [[generator]] of $S$, then there is canonically the functor \begin{displaymath} \Pi : S \to H \end{displaymath} which sends each test object $X_0$ to the $(\infty,1)$-presheaf that sends each domain $V$ to the $V$-family version of the singular simplicial complex of $U$: \begin{displaymath} \Pi(X_0) : U \mapsto S(V \otimes \Delta^\bullet, X_0) \,. \end{displaymath} The inclusion of the space of objects in $\Pi(X_0)$ is just $X_0 \hookrightarrow \Pi(X_0)$. From the above we now have \begin{itemize}% \item $H(X_0, Vect_\infty) =: Vect_\infty(X_0)$ is the $\infty$-groupoid of $\infty$-vector bundles on $X_0$ \item $H(\Pi(X_0),Vect_\infty)$ =: $Vect_\infty(\Pi(X))$ is the $\infty$-groupoid of $\Pi$-equivariant $\infty$-vector bundles on $X_0$. \end{itemize} By unwrapping what ``$\Pi$-equivariance'' means, one finds that this may equivalently be stated as \begin{itemize}% \item $H(\Pi(X_0),Vect_\infty)$ =: $Vect_\infty(\Pi(X))$ is the $\infty$-groupoid of flat $\infty$-vector bundles with connection on $X_0$. \end{itemize} It should be noted here that we can combine different levels of equivariance: we may left [[Kan extension|Kan extend]] $\Pi : S \to H$ along the inclusion $S \hookrightarrow H$ to a functor $\Pi : H \to H$, so that for $X$ itself n $\infty$-orbifold of sorts, $\Pi(X)$ is the fundamental $\infty$-groupoid of that. We still have a canonical inclusion $X \hookrightarrow \Pi(X)$. If moreover $X_0 \hookrightarrow X$ is the inclusion from above, we have \begin{itemize}% \item $H(X_0, Vect_\infty) =: Vect_\infty(X_0)$ is the $\infty$-groupoid of $\infty$-vector bundles on $X_0$ \item $H(X, Vect_\infty) =: Vect_\infty(X)$ is the $\infty$-groupoid of equivariant $\infty$-vector bundles on $X_0$; \item $H(\Pi(X),Vect_\infty)$ =: $Vect_\infty(\Pi(X))$ is the $\infty$-groupoid of equivariant $\infty$-vector bundles on $X_0$ with flat connection. \end{itemize} Morphisms from the [[fundamental ∞-groupoid]] are also called [[local systems]]. \hypertarget{24_derived_loop_spaces}{}\paragraph*{{2.4 derived loop spaces}}\label{24_derived_loop_spaces} Of particular interest in this study of \emph{geometric $\infty$}-function theory is the behaviour of $\infty$-functions on [[loop space object|loop spaces]]. The $(\infty,1)$-category $C(\Lambda X)$ of $\infty$-functions on the free loop space $\Lambda X$ of a sufficiently nice generalized space (a \emph{perfect} [[∞-stack]]) $X$ turns out to be the [[infinity-trace|∞-trace]] or [[infinity-center|∞-center]] of that of $X$ \begin{displaymath} C(\Lambda X) \simeq Tr( C(C)) \simeq Tr (C X) \,. \end{displaymath} which in turn are identified with the $\infty$-version of [[infinity-Hochschild homology|∞-Hochschild homology]] \begin{displaymath} Tr(C(X)) := HH_*(C(X)) := C(X) \otimes_{C(X)\otimes C(X)^{op}} C(X) \end{displaymath} and [[infinity-Hochschild cohomology|∞-Hochschild cohomology]] \begin{displaymath} Z(C(X)) := HH^*(C(X)) := End_{C(X) \otimes C(X)^{op}}(C(X)) \end{displaymath} of $X$. All these statements, powerful as they are, become trivialities, due to the naturality of the language that we are using, once we realize the following: \textbf{homotopy pullbacks and loop space objects} one of the central crucial facts of [[higher category theory]] is that \textbf{the fiber product of a point with itself is not the point, but the [[loop space object]] based at the point}: let $x : * \to X$ be a morphism from the [[terminal object]] $*$ to some object $X$ in some $\infty$-category, then the $\infty$-categorical pullback of $x$ along itself is the based [[loop space object]] $\Omega_x X$. \begin{displaymath} \itexarray{ \Omega_x X &\to& * \\ \downarrow &\Downarrow& \downarrow^x \\ * &\stackrel{x}{\to}& X } \,. \end{displaymath} This should be intuitively quite clear: the $\infty$-pullback commutes only up to a 2-cell, a homotopy from the constant map on $x$ to the constant map on $x$. But such a homotopy is nothing but a loop in $X$, so $\Omega_x X$ is the object that remembers all possible ways to make this diagram commute up to a 2-cell. Notice, by the way, that this phenomenon is the source of all ``long exact sequences'' that you'll ever run into: if we are for instance in a [[stable (∞,1)-category]], so that the [[terminal object]] $*$ is even a [[zero object]], $* = 0$, then a sequence \begin{displaymath} A \to B \to C \end{displaymath} is \emph{exact} (a fibration sequence) if the first morphism is the kernel of the second, meaning that we have a pullback \begin{displaymath} \itexarray{ A &\to& 0 \\ \downarrow &\Downarrow& \downarrow \\ B &\to& C } \,. \end{displaymath} But then, since $\infty$-pullback squares compose just as ordinary pullback squares do, further computing the kernel of the kernel $A \to B$ does not produce 0, as it would in an ordinary [[abelian category]], but produces loops in $C$ \begin{displaymath} \itexarray{ \Omega C &\to& A &\to& 0 \\ \downarrow &\Downarrow& \downarrow &\Downarrow& \downarrow \\ 0 &\to& B &\to& C } \end{displaymath} since the total (outer) diagram is of the form \begin{displaymath} \itexarray{ \Omega C &\to& 0 \\ \downarrow &\Downarrow& \downarrow \\ 0 &\to& C } \,. \end{displaymath} So \begin{itemize}% \item \textbf{the $\infty$-kernel of an $\infty$-kernel is not 0, but is loops.} \end{itemize} Continuing this way one obtains long exact sequences \begin{displaymath} \itexarray{ \Omega B &\to& 0 \\ \downarrow_{\bar \Omega f} && \downarrow \\ \Omega C &\to& A &\to& 0 \\ \downarrow &\Downarrow& \downarrow &\Downarrow& \downarrow \\ 0 &\to& B &\stackrel{f}{\to}& C } \end{displaymath} induced from the single map $f : B \to C$. For the purposes of geometric $\infty$-function theory what is more relevant than this construction of based loop spaces as kernels is the construction of \emph{unbased} [[loop space objects]]. By a similar reasoning, one finds that the free loop space $\Lambda X$ of a generalized space $X$ is the $\infty$-pullback of the morphism $X \stackrel{Id \times Id}{\to}X \times X$ along itself \begin{displaymath} \itexarray{ \Lambda X &\to& X \\ \downarrow && \downarrow^{Id \times Id} \\ X &\stackrel{Id \times Id}{\to}& X \times X } \end{displaymath} The intuitive reasoning is the same as before, only that now we don't fix a single point. For more details and in particular for descriptions and examples of how to explicitly compute these loops space objects by [[homotopy limits]] see the examples listed at \begin{itemize}% \item [[loop space object]] \item [[homotopy limit]] \item [[span trace]] \item [[co-span co-trace]] \item [[generalized universal bundle]]. \end{itemize} Notice that when we speak of ``homotopy'' in the above, we mean \emph{categorical homotopies}. These loop space constructions see only homotopies which actually exist as \emph{morphism}s. If it is isn't clear what is meant by that statement, see the discusssion at [[constant ∞-stack]] for the two different perspectives on a [[topological space]], once as a categorically discrete but topologically non-discrete object, once as a topologically discrete but categorically non-discrete object: In order for the above homotopy pullbacks to compute the intended loop spaces of topological spaces, these topological spaces need to be regarded as the topologically discrete(!) [[∞-groupoids]] they correspond to, i.e. as [[constant ∞-stacks]]. Now, with the understanding of [[loop space objects]] as homotopy pullbacks understood, the above statement about $\infty$-Hochschild (co)homology becomes essentially a triviality: we have \begin{displaymath} \begin{aligned} C(\Lambda X) \simeq C(X \times_{X \times X} X) & by\;\; loop \;\;space\;\; as \;\;homotopy\;\; pullback \\ \cdots \simeq C(X) \times_{C(X)\times C(X)} C(X) & by \;\;fundamental \;\;theorem \;\;of\;\; geometric \infty-function\;\; theory \\ \cdots \simeq HH_*(C(X)) :=: Tr(C(X)) & by \;\;definition \;\;of \;\;trace/ Hochschild homology \end{aligned} \end{displaymath} or equivalently \begin{displaymath} \begin{aligned} C(\Lambda X) \simeq C(X \times_{X \times X} X) & by \;\;loop\;\; space\;\; as\;\; homotopy\;\; pullback \\ \cdots \simeq Fun_{C(X)}(C(X), C(X)) & by \;\;fundamental \;\;theorem \;\;of \;\;geometric \infty-function \;\;theory \\ \cdots \simeq HH^*(C(X)) :=: Z(C(X)) & by \;\;definition \;\;of \;\;center/Hochschild cohomology \end{aligned} \end{displaymath} \hypertarget{25_structures}{}\paragraph*{{2.5 $E_n$-structures}}\label{25_structures} While for an ordinary [[monoids]] there is just one notion of commutativity (either it is or it is not commutative), already a [[monoidal category]] distinguishes between being just [[braided monoidal category|braided monoidal]] or fully [[symmetric monoidal category|symmetric monoidal]]. This pattern continues, as expressed by the [[k-tuply monoidal n-category|periodic table of k-tuply monoidal categories]]. A [[higher category theory|higher category]] may be a [[k-tuply monoidal n-category]] or more generally [[k-tuply monoidal (n,r)-category]] for different values of $k$. The lowest value of $k= 1$ (since for $k = 0$ there is no monoidal structure at all) corresponds to monoidal product which is $\infty$-associative, i.e. associative up to higher coherent homotopies, but need not have any degree of \emph{commutativity}. One says that an $n$-category is \emph{symmetric monoiodal} if it is ``as monoidal as possible'', i.e. $\infty$-tuply monoidal. In particular, in [[higher algebra|Noncommutative algebra]] and [[higher algebra|Commutative algebra]] [[Jacob Lurie]] describes \begin{itemize}% \item [[monoidal (infinity,1)-category|1-fold monoidal (∞,1)-categories]]; \item [[symmetric monoidal (infinity,1)-category|∞-tuply monoidal (∞,1)-categories]]. \end{itemize} It turns out that the monoidal $(\infty,1)$-categories that we are concerned with here in general have a tuplicity of monoidalness (heh) in between 1 and $\infty$: For each $1 \leq n \leq \infty$ let $E_n$ denote the [[little n-disk operad|little n-disk]] [[operad]] whose [[topological space]] of $E_n^k$ of $k$-ary operations is the space of embedding of $k$ $n$-dimensional disks (balls) in one $n$-dimensional disk without intersection, and whose composition operation is the obvious one obtained from gluing the big outer disks into given inner disks. In \href{http://dspace.mit.edu/handle/1721.1/43792}{John Francis' PhD thesis} (reference \emph{EnAction} below ) the theory of [[(∞,1)-categories]] equipped with an action of the $E_n$-[[operad]] is established, so that \begin{itemize}% \item $(\infty,1)$-categories with an $E_1$-action are precisely [[monoidal (∞,1)-categories]] -- 1-fold monoidal $(\infty,1)$-categories; \item $(\infty,1)$-categories with an $E_\infty$-action are precisely [[symmetric monoidal (∞,1)-categories]] -- $\infty$-tuply monoidal $(\infty,1)$-categories; \item $(\infty,1)$-categories with an $E_n$-action for $1 \lt n \lt \infty$ are the corresponding $n$-tuply monoidal $(\infty,1)$-categories in between. \end{itemize} \begin{quote}% \textbf{Remark} The second statement is example 2.3.8 in \href{http://dspace.mit.edu/handle/1721.1/43792}{EnAction}. The first seems to be clear but is maybe not in the literature. Jacob Lurie is currently rewriting [[higher algebra|Higher Algebra]] such as to build in a discussion of $E_n$-operadic structures in the definition of $k$-tuply monoidal $(\infty,1)$-categories. \end{quote} Now, since geometric $\infty$-function theory is indeed \emph{geometric}, we obtain a simple but powerful statement about the $k$-tupliness (heh) of the monoidal structure on our $(\infty,1)$-category of $\infty$-functions $C(X)$ of a space $X$: As described above, by the \emph{fundamental theorem of geometric $\infty$-function theorey} , higher traces on $C(X)$ corresponds to forming higher loop spaces of $X$. More generally, the \textbf{$E_n$-center} $Z_{E_n}(C(X))$ of $C(X)$ may be taken to be $C([S^n,X])$, where $[S^n, X]$ is my notation for the $n$-sphere space of the generalized space $X$. But there is, \begin{itemize}% \item by construction, a natural action of $E_{n+1}$ on $[S^n,X]$; \item accordingly, a natural action of $E_{n+1}$ on $C([S^n,X])$; \item accordingly, due to the \emph{fundamental theorem} a natural action of $E_{n+1}$ on $Z_{E_n}(C(X))$. \end{itemize} Again, due to the good formalism, this statement becomes almost a tautology. Notice that this statement is otherwise known as the \emph{Kontsevich conjecture}, which categorifies the \emph{Deligne conjecture}. For more on this see also the blog entry \begin{itemize}% \item Noah Snyder, \href{http://sbseminar.wordpress.com/2009/03/30/the-witt-group-or-the-cohomology-of-the-periodic-table-of-n-categories/}{The cohomology of the periodic table on n-categories} \end{itemize} and in particular David Ben-Zvi's comments to that. \begin{quote}% Okay, this entire section here needs more details and in particular more links to nLab entries with more details. \end{quote} \hypertarget{3_perfect_stacks}{}\subsubsection*{{3. perfect stacks}}\label{3_perfect_stacks} In this section of the paper, the notion of a [[perfect ∞-stack]] is defined, which is the general context in which the ideas of geometric $\infty$-function theory apply thoroughly without modifications. In general, for any derived stack $X$ one can define the $(\infty, 1)$-category $QC(X)$ of `functions on $X$'. One writes $X$ as a colimit of affine derived schemes $X \simeq colim_{U \in Aff_{/X}} U$ and then one sets \begin{displaymath} QC(X) = lim_{U \in Aff_{/X}} QC(U) \end{displaymath} where $QC(U)$ for an \emph{affine} stack $U = Spec A$ is simply defined as $Mod_A$. One incarnation of derived stack in differential geometry is as an \emph{$\omega$-groupoid internal to differential graded manifolds}. Since differential graded manifolds are `affine', in the sense that knowledge of global functions is sufficient to determine the manifold, the limit construction above is not necessary. Hence, for such a derived stack (an $\omega$ groupoid $X$ internal to differential graded manifolds) we can more simply set \begin{displaymath} QC(X) = smooth \omega-functors from X to chain complexes \end{displaymath} since the latter plays the role of a `derived $\mathbb{C}$-module'. \emph{Bruce}: I'm shooting in the dark here with this $\omega$-groupoid sentence above. Am I right? What does that boil down to concretely? A derived stack $X$ is \emph{perfect} when $QC(X)$ is `finitely generated' in an appropriate sense. One first has to decide what means by a `finite object', and then one must decide what it means for $QC(X)$ to be `generated' by these objects. There are various routes one could take, but happily in the context of \emph{perfect} stacks these all turn out to be equivalent. (In fact, it seems more or less true that perfect stacks are precisely those stacks where these various requirements coincide). \begin{itemize}% \item [[(∞,1)-category of (∞,1)-sheaves]] \item [[derived stack]] \item [[perfect ∞-stack]] \end{itemize} \hypertarget{definition_of_a_perfect_stack}{}\paragraph*{{definition of a perfect stack}}\label{definition_of_a_perfect_stack} \begin{itemize}% \item [[compact object in an (∞,1)-category]] \end{itemize} \hypertarget{base_change_and_projection_formula}{}\paragraph*{{base change and projection formula}}\label{base_change_and_projection_formula} \hypertarget{constructions_of_perfect_stacks}{}\paragraph*{{constructions of perfect stacks}}\label{constructions_of_perfect_stacks} \hypertarget{4_tensor_products_and_integral_transforms}{}\subsubsection*{{4. Tensor products and integral transforms}}\label{4_tensor_products_and_integral_transforms} Classical algebra is all about constructions in the category of [[abelian groups]]. A [[ring]] $R$ in the usual sense is a [[monoid object]] in [[Ab]], i.e. an object $R \in {\mathbf Ab}$ together with multiplication and unit morphisms $m: R \otimes R \rightarrow R$ and $\eta: \mathbb{Z} \rightarrow R$ so that we have commutativity of appropriate diagrams expressing associativity and unity. Likewise, a right [[module]] $M$ over $R$ in the usual sense is an object $M \in {\mathbf Ab}$ together with an [[action]] morphism $a: M \otimes R \rightarrow M$ such that appropriate diagrams commute, and similarly for left modules. [[higher algebra|Brave new algebra]] is about constructions in the [[stable (∞,1)-category of spectra]] $S_{\infty}$, which, like [[Ab]], is [[symmetric monoidal (infinity,1)-category|closed symmetric monoidal]] (under [[smash product of spectra]]) and [[cocomplete category|(co)]] [[complete category|complete]]. This means that we can consider [[algebra in an (infinity,1)-category|algebra objects]] $R$ and [[commutative algebra in an (infinity,1)-category|commutative algebra objects]] $A$ in $S_{\infty}$, as well as modules over them. Even more generally, one can develop a \emph{fearless new algebra} in which we consider some closed, symmetric monoidal and (co)complete $\infty$-category $C$ and algebras and commutative algebras in it (see [[higher algebra]]). For our purposes, we take $C$ to be $Pr^{L}$, the $\infty$-category of [[presentable (∞,1)-categories]] with morphisms given by colimit preserving functors. (More on the closed monoidal structure below.) The particular algebra objects in $Pr^{L}$ of interest to BZFN are [[stable (∞,1)-categories]] $QC(X)$ of quasi-coherent sheaves on a [[perfect infinity-stack|perfect]] [[derived stack]] $X$ (the [[homotopy category]] of $QC(X)$ being the good old-fashioned [[derived category]] of quasi-coherent [[sheaf|sheaves]]). Here $QC(X)$ is symmetric monoidal under the usual [[tensor product]] of quasi-coherent sheaves. Given two perfect derived stacks $X_{1}, X_{2}$, consider the diagram \begin{displaymath} \itexarray{ && X_1 \times X_2 \\ & {}^{p_1}\swarrow && \searrow{}^{p_2} \\ X_1 &&&& X_2 } \end{displaymath} Given an object $\mathcal{P} \in QC(X_1 \times X_2)$, we can define a functor $\Phi_{\mathcal{P}}: QC(X_1) \rightarrow QC(X_2)$ by pulling-back along $p_1$, tensoring with $\mathcal{P}$, and then pushing-forward along $p_2$. Thus given an object $\mathcal{F} \in QC(X_1)$, we have $\Phi_{\mathcal{P}}(\mathcal{F}):= {p_2}_{*}({p_1}^{*}\mathcal{F} \otimes \mathcal{P})$. We think of this an [[integral transform]] of the sheaf $\mathcal{F}$ with respect to the kernel $\mathcal{P}$. In fact, because of the naturality of the above operations, this process gives a functor \begin{displaymath} \Phi: QC(X_1 \times X_2) \rightarrow Fun^{L}(QC(X_1), QC(X_2)), \end{displaymath} where $Fun^{L}(QC(X_1), QC(X_2))$ is the internal Hom in $Pr^{L}$ and consists of colimit preserving functors and their natural transformations. The main result of section 4 of BZFN (which has been called above the fundamental theorem of geometric $\infty$-function theory)is that this functor and its cousins are equivalences. As a slogan: [[integral transform]]s = colimit preserving functors This was first proved in the context of [[dg-category|differential graded categories]] by To\"e{}n, building on work of Bondal, Orlov, and others. Note that one can define a functor $\Phi$ in the same way at the level of [[triangulated category|triangulated categories]], but it is known to be badly behaved, and in fact could not be well-behaved, since we do not know how to make the category of triangulated categories into a closed symmetric monoidal category. \hypertarget{41_tensor_products_of_categories}{}\paragraph*{{4.1 Tensor products of $\infty$-categories}}\label{41_tensor_products_of_categories} In order to be more precise, we need to look at the closed, symmetric monoidal structure on $Pr^{L}$, as developed by Jacob Lurie [[higher algebra|DAG II.4 and DAG III.6]]. The [[internal hom]] between two [[presentable (∞,1)-categories]] $C,D$ is $Fun^{L}(C,D)$, which consists of colimit preserving [[(∞,1)-functors]]. To construct it, one considers $C$ and $D$ as [[quasi-categories]] or weak Kan complexes. Functors from $C$ to $D$ are just maps of [[simplicial sets]], so the [[(∞,1)-category of (∞,1)-functors]] from $C$ to $D$ is just the simplicial set of maps (internal Hom in simplicial sets) $Fun(C,D)$. This is indeed an $\infty$-category again, whenever $D$ is an $\infty$-category/weak Kan complex. Now inside of $Fun(C,D)$, we take the $\infty$-subcategory spanned by $0$-simplices representing colimit preserving functors to get $Fun^{L}(C,D)$. \begin{quote}% [[Chris Brav|Chris]]: (If there is some inaccuracy noted by anyone, feel free to comment. I might have forgotten some fibrant or cofibrant replacement somewhere.) \end{quote} For the [[symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories|tensor product of presentable (∞,1)-categories]] we construct the $\infty$-category $C \otimes D$ which is `the universal recipient of a bilinear functor' from $C \times D$. Here, we think of coproducts in $C$ and $D$ as addition, so if a functor $C \times D \rightarrow E$ preserves colimits in each variable, then in particular it preserves coproducts and so is `bilinear'. Such a bilinear functor will factor uniquely (in a homotopic sense) through a universal bilinear functor $C \times D \rightarrow C \otimes D$, just like for bilinear maps and tensor products of abelian groups. Now given the above closed [[symmetric monoidal (infinity,1)-category|symmetric monoidal structure]] on $Pr^{L}$ and since $Pr^{L}$ also has limits and colimits, we can have all kinds of fun. For instance, given an algebra object $R \in Pr^{L}$, a right $R$-module $M \in Pr^{L}$, and a left $R$-module $N \in Pr^{L}$, we can form their relative tensor product over $R$, $M \otimes_R N \in Pr^{L}$ as the coequalizer of the pair of functors \begin{displaymath} M \otimes R \otimes N \underoverset{\alpha}{\beta}{\rightrightarrows} M \otimes N \end{displaymath} where $\alpha$ is the action of $R$ on the right of $M$ and $\beta$ is the action of $R$ on the left of $N$. (This generalizes the relative tensor product of modules over a ring in the category of abelian groups, which is defined to have exactly this coequalizing property.) In section of 4.1 BZFN, there are various results, which are consequences of the [[Barr-Beck theorem|(∞,1)-categorical Barr?Beck theorem]]. \begin{quote}% [[Chris Brav|Chris]]: They seem interesting and useful, but I don't seem to need them just at the moment, so I'll come back to them some other time. \end{quote} \hypertarget{42_sheaves_on_fiber_products}{}\paragraph*{{4.2 Sheaves on fiber products}}\label{42_sheaves_on_fiber_products} In our present context, we consider a morphism of [[perfect infinity-stack|perfect]] [[derived stacks]] $q: X \rightarrow Y$. By pulling-back along $q$ and tensoring, we make $M=QC(X)$ into a $R=QC(Y)$-module. To see this, note that the functor $(?) \otimes q^{*}(?): QC(X) \times QC(Y) \rightarrow QC(X)$ is indeed bilinear since pullback $q^{*}$ is the left adjoint of pushforward $q_{*}$, so preserves colimits, as does $\otimes$, being the left adjoint of the internal Hom of sheaves (`sheaf' or `local' Hom). Thus by the universal property of the tensor product of $(\infty,1)$-categories, we do indeed get an action functor $QC(X) \otimes QC(Y) \rightarrow QC(Y)$. Now given a pair of perfect derived stacks $X_1, X_2$ over $Y$, we get two $R=QC(Y)$-modules $M=QC(X_1)$ and $N=QC(X_2)$ (left and right don't matter here, since $R=QC(Y)$ is symmetric monoidal) and we can form their relative tensor product \begin{displaymath} QC(X_1) \otimes_{QC(Y)} QC(X_2). \end{displaymath} Now we can define a functor \begin{displaymath} \boxtimes:={p_1}^{*}? \otimes {p_2}^{*}?: QC(X_1) \otimes_{QC(Y)} QC(X_2) \rightarrow QC(X_1 \times_Y X_2). \end{displaymath} (We see that the above functor is bilinear (since pullbacks and tensor products preserve colimits) and coequalizes the action of $QC(Y)$ on $QC(X_1)$ and $QC(X_2)$ (by commutativity of the fibre product diagram), so $\boxtimes$ does indeed define a functor.) The first step in proving that `integral transforms=colimit preserving functors' is to show that $\boxtimes$ is an equivalence. Then one has to show that $QC(X_1)$ is self-dual as a $QC(Y)$-module, and so conclude that \begin{displaymath} QC(X_1) \otimes_{QC(Y)} QC(X_2) \simeq QC(X_1)^{*}\otimes_{QC(Y)} QC(X_2)\simeq Fun_{Y}^{L}(QC(X_1),QC(X_2)). \end{displaymath} As an intermediate step, BZFN first establish an equivalence $\boxtimes: QC(X_1)^{c} \otimes QC(X_2)^{c} \simeq QC(X_1 \times X_2)^{c}$, where the superscript $c$ denotes the $\infty$-subcategories of compact objects. (Here, we use the tensor product of small, stable idempotent complete $\infty$-categories $QC(X_1)^{c} \otimes QC(X_2)^{c}$, which is just like that for presentable $\infty$-categories except that bilinear functors are only required to preserve finite colimits.) Proposition 3.22 established that the external product $\otimes$ takes compact objects to compact objects, so we do get a functor as above, and that the category $QC(X_1 \times X_2)^{c}$ is generated by external products. To prove that $\boxtimes$ is an equivalence, it is therefore sufficient to prove that for $M_i,N_i \in QC(X_i)$, we have a natural isomorphism \begin{displaymath} Hom_{X_1 \times X_2}(M_1 \boxtimes M_2, N_1 \boxtimes N_2) \simeq Hom_{X_1}(M_1, N_1) \otimes Hom_{X_2}(M_2, N_2), \end{displaymath} which is a nice exercise using the dualizability of the $M_i$ and the projection formula. Having established the equivalence $\boxtimes: QC(X_1)^{c} \otimes QC(X_2)^{c} \simeq QC(X_1 \times X_2)^{c}$, we can now establish the equivalence without the superscript $c$. Since (by definition of a perfect stack) $Ind(QC(X_i)^{c})\simeq QC(X_i)$ and the fact (Proposition 4.4) that $Ind: Idem \rightarrow Pr^{L}$ from small idempotent complete stable $\infty$-categories to $Pr^{L}$ is symmetric monoidal, we get that \begin{displaymath} QC(X_1) \otimes QC(X_2) \simeq Ind(QC(X_1)^{c} \otimes QC(X_2)^{c}) \simeq Ind(QC(X_1 \times X_2)^{c}) \simeq QC(X_1 \times X_2). \end{displaymath} This gives the absolute version of the equivalence we want. To make it relative over $Y$, one has to think about how to actually compute $QC(X_1) \otimes_{QC(Y)} QC(X_2)$ and $X_1 \times_{Y} X_2$ in concrete terms. For the former, you use Barr-Beck and realize the category as modules for the monad $\pi_{*}\pi^{*}$, where $\pi: X_1 \times_{Y} X_2 \rightarrow X_1 \times X_2$. For the latter, you realize the fibre product as the limit of a cosimplicial diagram. Then some comparision takes place. It would be hard to give a nicer, more concise explanation than in BZFN, so for further details, take a look. Now given the equivalence $\boxtimes: QC(X_1) \otimes_{QC(Y)} QC(X_2) \rightarrow QC(X_1 \times_Y X_2)$, it remains to see that given a morphism $p: X \rightarrow Y$ of perfect stacks, $QC(X)$ is self-dual as a $QC(Y)$-module. For this, we use the already established equivalence $QC(X) \otimes_{QC(Y)} QC(X) \simeq QC(X \times _Y X)$. To establish self-duality, we need to define a trace $\tau: QC(X) \otimes_{QC(Y)} QC(X) \rightarrow QC(Y)$ and unit $u: QC(Y) \rightarrow QC(X) \otimes_{QC(Y)} QC(X)$ so that the composition $id \otimes \tau \circ u \otimes id: QC(Y) \rightarrow QC(Y)$ is the identity. To do this, consider the relative diagonal morphism $\Delta: X \rightarrow X \times_Y X$ and define $u=\Delta_{*}\p^{*}$ and $\tau: p_{*}\Delta^{*}$. Then a diagram chase and the base-change formula show that $u$ and $\tau$ satisfy the necessary conditions. The final result from this section, Corollary 4.12, is useful for the applications to topological field theory: Given a finite simplicial set $\Sigma$ a perfect stack $X$, we may form the mapping stack $X^{\Sigma}$, which is again perfect. Then there is an equivalence $QC(X^{\Sigma}) \simeq QC(X) \otimes \Sigma$. \begin{quote}% [[Chris Brav|Chris]]:Haven't thought this through. Someone may comment, or I'll come back to it later. \end{quote} \hypertarget{43_geometric_base_stacks}{}\paragraph*{{4.3 Geometric base stacks}}\label{43_geometric_base_stacks} The `fundamental theorem' described above can be extended to the case where $X_1 \rightarrow Y$ is a perfect morphism of geometric stacks ($X_1$ and $Y$ need not be absolutely perfect) and $X_2 \rightarrow Y$ is an arbitrary morphism of stacks. \emph{Bruce}: What's a [[geometric stack]]? \emph{Chris}: A stack is geometric if it is quasi-compact (any open cover has a finite sub-cover) and the diagonal morphism is representable and affine, though that probably doesn't help much. I don't know much about stacks yet, but maybe someone else can explain this. I think the point is that one needs some hypotheses to actually prove stuff for stacks. \hypertarget{5_applications}{}\subsubsection*{{5. Applications}}\label{5_applications} In this section, BZFN study the categorical center $\mathit{Z}$ and trace $\mathit{Tr}$ of presentable mononoidal $\infty$-categories, which will be defined as analogues of some classical algebraic notions. Two geometric cases are of special interest. When the monoidal category is $QC(X)$, then there are equivalences \begin{displaymath} \mathit{Z}(QC(X))\simeq QC(LX) \simeq \mathit{Tr}(QC(X)), \end{displaymath} where $LX=X \times_{X \times X} X$, the derived loop space of $X$. When the monoidal category is $QC(X \times_Y X)$ equipped with convolution, then there is an equivalence \begin{displaymath} \mathit{Z}(QC(X \times_Y X))\simeq QC(LY) \end{displaymath} and once Grothendieck duality has been worked out for derived stacks, then there will be another equivalence \begin{displaymath} QC(LY) \simeq \mathit{Tr}(QC(X \times_Y X)). \end{displaymath} The categorical center is a generalization of lots of things: the center of an algebra, the Hochschild cochain complex of an algebra, the Drinfeld double of a monoidal category\ldots{} It turns out to be an $E_2$-category, the $\infty$-categorical version of a braided monoidal category. That's probably explained in section 6. \hypertarget{some_background}{}\paragraph*{{Some background}}\label{some_background} Let's start with a good old-fashioned algebra $A$ (an algebra object in $Ab$ of $Vect$). We can form the center $Z(A)$ of $A$, which again is a commutative algebra. One can also form the endomorphisms of $A$ as a bimodule over itself: $End_{A \otimes A^{op}}(A)$. The natural homomorphism \begin{displaymath} Z(A) \rightarrow End_{A \otimes A^{op}}(A) \end{displaymath} that sends a central element $x$ to multiplication by $x$ is an isomorphism of algebras (multiplication by $x$ is indeed a bimodule endomorphism since $x$ is central and every bimodule endomorphism $\varphi$ is of this form since it is determined by $\varphi(1)=x$). If we consider $A$ as an algebra object in the (dg enhanced) derived category of $Ab$, then we can also consider the \emph{derived} endomorphisms of $A$ as an $A$-bimodule, which is a dg algebra (defined up to quasi-isomorphism) that we may think of as the \emph{derived center} of $A$: \begin{displaymath} RHom_{A \otimes A^{op}}(A,A). \end{displaymath} The cohomology of this dg algebra is a graded algebra known as the \emph{Hochschild cohomology} of $A$. Its zeroth graded piece is of course just the classical center $Z(A)=End_{A \otimes A^{op}}(A)$. To compute $RHom_{A \otimes A^{op}}(A,A)$ in practice, one has take a projective resolution of the first entry $A$ as an $A$-bimodule and then write down the complex of $Hom$s from this resolution to $A$. The standard such resolution is the `bar resolution' of $A$, which is built using the functor \begin{displaymath} L=A \otimes ?: Mod A^{op} \rightarrow Mod A \otimes A^{op}, \end{displaymath} which is left adjoint to the forgetful functor $R:Mod A \otimes A^{op} \rightarrow Mod A^{op}$. Then $LR$ is a comonad on $Mod A \otimes A^{op}$ and so applying it to $A$ gives (in the usual way) an augmented simplicial object whose $k$th term is $A^{\otimes k+1}$. In particular, the $-1$st term is just $A$. By taking alternating sums of the face maps, one gets a complex $C_*(A)$ of free $A$-bimodules that can be shown to be exact and so provides a resolution of $A$. Then the $Hom$ complex \begin{displaymath} Hom_{A \otimes A^{op}}(C_*(A),A) \end{displaymath} is known as the Hochschild cochain complex of $A$ and provides the standard model for the derived center of $A$. Now for the categorical trace. Given two bimodules $M,N$ we can form their relative tensor product $M \otimes_A\otimes A^{op} N$, giving a new bimodule. We think of this operation as a `bilinear pairing' on the category of bimodules (remember, bilinear=colimit preserving). We could also take tensor product in the derived category of bimodules, which in practice requires that we resolve one of $M$ or $N$ by flat (or a fortiori free) $A$-bimodules, and so get a derived pairing of bimodules. In particular, we could take the derived pairing of $A$ with itself as an $A$-bimodule to get the Hochschild chain complex \begin{displaymath} A \otimes_{A \otimes A^{op}} C_*(A), \end{displaymath} whose homology is the \emph{Hochschild homology} of $A$. \hypertarget{centers_and_traces}{}\paragraph*{{Centers and traces}}\label{centers_and_traces} The above constructions can be carried over to algebra objects $A$ in a closed symmetric monoidal $\infty$-category $\mathcal{C}$. In particular, we consider $C=Pr^{L}$, the $\infty$-category of presentable $\infty$-categories. We define the \emph{categorical center} to be the endomorphism object \begin{displaymath} End_{A \otimes A^{op}}(A) \in Pr^{L}, \end{displaymath} where we consider $A$ as module-category over itself on the left and on the right and we compute the internal $Hom$ in $Pr^{L}$ of $A$ with itself as bimodule. Also we define the \emph{categorical trace} to the the pairing object \begin{displaymath} A \otimes_{A \otimes A^{op}} A \end{displaymath} of $A$ with itself as a bimodule, using the tensor product in $Pr^{L}$ and then coequalizing the left and right actions of $A$ on itself to form the relative tensor product. \begin{itemize}% \item [[span trace]] \item [[co-span co-trace]] \end{itemize} \hypertarget{centers_of_convolution_categories}{}\paragraph*{{Centers of convolution categories}}\label{centers_of_convolution_categories} \hypertarget{higher_centers}{}\paragraph*{{higher centers}}\label{higher_centers} \hypertarget{epilogue_topological_field_theory}{}\subsubsection*{{epilogue: topological field theory}}\label{epilogue_topological_field_theory} \begin{itemize}% \item [[FQFT]] \end{itemize} \hypertarget{topological_field_theory_from_perfect_stacks}{}\paragraph*{{topological field theory from perfect stacks}}\label{topological_field_theory_from_perfect_stacks} \begin{itemize}% \item [[∞-model]] \end{itemize} \hypertarget{delignekontsevich_conjectures_for_derived_centers}{}\paragraph*{{Deligne-Kontsevich conjectures for derived centers}}\label{delignekontsevich_conjectures_for_derived_centers} \hypertarget{character_quantum_field_theory}{}\subsection*{{Character Quantum Field Theory}}\label{character_quantum_field_theory} \begin{itemize}% \item [[ringed site]] \item [[D-module]] \end{itemize} \hypertarget{and_so_on}{}\subsubsection*{{and so on}}\label{and_so_on} \hypertarget{background_literature}{}\section*{{Background literature}}\label{background_literature} For the general [[(infinity,1)-category|(∞,1)-categorical]] formalism \begin{itemize}% \item [[Jacob Lurie]], [[Higher Topos Theory]]. \end{itemize} For the [[stable (infinity,1)-category|stable]] aspects \begin{itemize}% \item [[Jacob Lurie]], [[Stable ∞-Categories]]. \end{itemize} For the [[monoidal (infinity,1)-category|monoidal]] aspects \begin{itemize}% \item [[Jacob Lurie]], [[higher algebra|Noncommutative and commutative algebra]]. \end{itemize} For the general TQFT background and in particular see \begin{itemize}% \item [[Jacob Lurie]], \emph{On the classification of TFT} (\href{http://www.math.harvard.edu/~lurie/papers/cobordism.pdf}{pdf}) \end{itemize} In particular see also the beginning of section 4.1 there for more on $E_n$-monoidal $(\infty,1)$-categories. For more details on [[loop space objects]] for [[derived stacks]] \begin{itemize}% \item \textbf{LoopSpace} [[David Ben-Zvi]], David Nadler, \emph{Loop Spaces and Langlands Parameters} (\href{http://arxiv.org/abs/0706.0322}{arXiv}) \end{itemize} [[John Francis]]` work on actions of the [[little k-cubes operad]] on $(\infty,1)$-categories is here \begin{itemize}% \item \textbf{EnAction} [[John Francis]], PhD thesis (\href{http://dspace.mit.edu/handle/1721.1/43792}{web}) \end{itemize} For more related material see [[Northwestern TFT Conference 2009]]. [[!redirects geometric ∞-function theory]] \end{document}