\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{english}
\setotherlanguage{hebrew}
%%\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large Department of Mathematics, BGU}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge AGNT}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{On} \emph{Wednesday, January 22, 2020}
\bigskip

\textbf{At} \emph{15:00 -- 16:15}
\bigskip

\textbf{In} \emph{-101}

\vspace*{2\baselineskip}

{\large\scshape Amnon Yekutieli 
  %
  (BGU)
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Commutative DG Rings and their Derived Categories\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
The commutative DG rings in the title are more commonly known as ``nonpositive strongly commutative unital differential graded cochain K-algebras'', where K is a commutative base ring. In the literature the standard assumption is that K is a field of characteristic zero - but one of our themes in this talk is that this assumption is superfluous (K = Z works just as well).

There are two kinds of derived categories ralated to commutative DG rings. First, given a DG ring A, we can consider D(A), the derived category of DG A-modules, which is a K-linear triangulated category. This story is well understood by now, and I will only mention it briefly.

In this talk we shall consider another kind of derived category. Let DGRng denote the category whose objects are the commutative DG rings (the base K is implicit), and whose morphisms are the DG ring homomorphisms. The derived category of commutative DG rings is the category D(DGRng) gotten by inverting all the quasi-isomorphisms in DGRng. (In homotopy theory the convention is to call it the ``homotopy category'', but this is an unfortunate historical accident.)

I will define semi-free DG rings, and prove their existence and lifting properties. Then I will introduce the quasi-homotopy relation on DGRng, giving rise to the quotient category K(DGRng), the ``genuine'' homotopy category. One of the main results is that the canonical functor from K(DGRng) to D(DGRng) is a faithful right Ore localization.

I will conclude with a theorem on the existence of the left derived tensor product inside D(DGRng), and with the pseudofunctor from D(DGRng) to the TrCat, sending a DG ring A to the triangulated category D(A).

Next semester I will talk about the geometrization of these ideas: ``The Derived Category of Sheaves of Commutative DG Rings''.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
