\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 Algebraic Geometry and Number Theory}\\[0.2\baselineskip]

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

\textbf{On} \emph{Wednesday, October 25, 2017}
\bigskip

\textbf{At} \emph{15:10 -- 16:30}
\bigskip

\textbf{In} \emph{Math -101}

\vspace*{2\baselineskip}

{\large\scshape Liran Shaul 
  %
  (Ben Gurion University )
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Injective modules in higher algebra\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
Injective modules are fundamental in homological algebra over rings. In this talk, we explain how to generalize this notion to higher algebra. The Bass-Papp theorem states that a ring is left noetherian if and only if an arbitrary direct sum of left injective modules is injective. We will explain a version of this result in higher algebra, which will lead us to the notion of a left noetherian derived ring. In the final part of the talk, we will specialize to commutative noetherian rings in higher algebra,
show that the Matlis structure theorem of injective modules holds in this setting, and explain how to deduce from it a generalization of Grothendieck's local duality theorem over commutative noetherian local DG rings.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
