  \documentclass[oneside,final,11pt]{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
  \usepackage{fancyhdr}
  \addtolength{\headheight}{5\baselineskip}
  \renewcommand{\headrulewidth}{0pt}
  \fancyhead[L,R]{}
  \fancyhead[C]{\includegraphics[scale=0.5]{bguhead.png}}
  \fancyfoot[L,C,R]{}
  \addtolength{\voffset}{-70pt}
    \usepackage{pdfpages}

\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{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



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


\pagestyle{fancy}
\begin{center}

  \huge{המחלקה למתמטיקה}\\[0.1\baselineskip]
  \Large{סמסטר 20--2019--ב}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[שם הקורס]
    אלגברה הומולוגית

  \item[מספר קורס]
    \LRE{201‭.2‭.2091}

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://www.math.bgu.ac.il/~amyekut/teaching/2019-20/homol-alg/course_page.html}

  \item[מרצה אחראי]
    פרופ` אמנון יקותיאלי,
    \nolinkurl{<amyekut@bgu.ac.il>},
    חדר 202

\item[שעות קבלה]
  \url{https://www.math.bgu.ac.il/he/teaching/hours}
\end{description}

\section*{תקציר}

\emph{Description}: This is a graduate level course. Undergraduate students can register with my
permission.

The prerequisite course is ''Commutative Algebra`` that I gave in the fall semester (or an
equivalent course). We will need the following topics from that course: categories and functors;
additive and exact functors; free modules; products and coproducts; tensor products of modules and rings.

The pace of the course, and the amount of material covered, will be determined by the
background and capabilty of the audience. There will be many examples and exercises. I will
upload typed notes after every lecture.

\emph{Course Grade:} pass/fail grade. Passing the course requires attending all lectures and submitting
most of the homework.

\emph{Homework:} To be assigned every week. Checking will be sporadic.

See the first day handout for more administrative information.

\emph{Course Topics:}

\begin{enumerate}
\item{} Adjoint functors.
\item{} Morita Theory.
\item{} Projective and Injective modules.
\item{} Complexes of modules.
\item{} Homotopies and homotopy equivalences.
\item{} The long exact cohomology sequence.
\item{} Projective, flat and injective resolutions.
\item{} Left and right derived functors.
\item{} Applications of derived functors to commutative algebra.
\item{} Further applications of derived functors and cohomology.
\end{enumerate}


\section*{דרישות והרכב ציון הקורס\footnote{דרישות הקורס יכולות להשתנות במהלך השבועיים הראשונים של הסמסטר, ויש לשים לב להודעות באתר הקורס}}




    \includepdf[pages=-]{syllabus.pdf}



\section*{נושאי לימוד}

\begin{enumerate}
\item{} Recalling prior material. Rings (including noncommutative), ideals, modules and bimodules, exact sequences, infinite direct sums and products, tensor products of modules and rings.
\item{} Categories and functors. Morphisms of functors, equivalences. Linear categories and linear functors. Exactness of functors.
\item{} Special modules. Projective, injective and flat modules.
\item{} Morita Theory. Equivalences of module categories realized as tensor products.
\item{} Complexes of modules. Operations on complexes, homotopies, the long exact cohomology sequence.
\item{} Resolutions. Projective, injective and flat resolutions – existence and uniqueness.
\item{} Left and right derived functors. The general theory. Tor and Ext functors.
\item{} Applications to commutative algebra. Some local and global theorems, involving $Tor$ and $Ext$ functors. Derived completion and torsion functors.
\item{} Sheaf cohomology. A survey of the role of homological algebra in geometry.
\item{} Nonabelian cohomology. A survey of classification theorems: Galois cohomology, vector bundles.
\end{enumerate}

\paragraph*{Bibliography}

\begin{enumerate}
\item{} R. Hartshorne, “Algebraic Geometry”, Springer-Verlag, New-York, 1977.
\item{} P.J. Hilton and U. Stammbach, “A Course in Homological Algebra”, Springer, 1971.
\item{} S. Maclane, “Homology”, Springer, 1994.
\item{} J. Rotman, “An Introduction to Homological Algebra”, Academic Press, 1979.
\item{} L.R. Rowen, “Ring Theory” (Student Edition), Academic Press, 1991.
\item{} C. Weibel, “An introduction to homological algebra”, Cambridge Univ. Press, 1994.
\item{} M. Kashiwara and P. Schapira, Sheaves on Manifolds, Springer, 1990.
\item{} \href{http://stacks.math.columbia.edu}{The Stacks Project}, an online reference, J.A. de Jong (Editor).
(9) A. Yekutieli, “Derived Categories”, Cambridge Univ. Press, 2019. \href{https://arxiv.org/abs/1610.09640v4}{Free prepublication version}.
(10) Course notes, to be uploaded every week to the course web page
\end{enumerate}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
