\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{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}

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

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

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

{\Huge אשנב למתמטיקה}\\[0.2\baselineskip]

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

\textbf{ב}\emph{יום שלישי,  2 במאי, 2023}
\bigskip

\textbf{בשעה} \emph{18:10 -- 19:30}
\bigskip

\textbf{ב}\emph{אולם 101-, בניין מתמטיקה}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries השערת היעקוביאן\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape רונן פרץ}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  השערת היעקוביאן היא אחת ההשערות החשובות בגיאומטריה אלגברית. בהרצאה נציג מספר תוצאות חשובות שהתגלו על ידי מתמטיקאים שניסו לפתור את ההשערה. נסמן את חוג הפולינומים מעל לשדה $k$ ובמשתנים $X_1,\ldots,X_n$ על ידי $k[X_1,\ldots,X_n]$. אחד מהניסוחים המקובלים להשערת היעקוביאן הוא הניסוח הבא:

נניח כי $F:=(F_1,\ldots,F_n)\in{\mathbb{C}[X_1,\dots,X_n]}^n$, העתקה פולינומית $\mathbb{C}^n\rightarrow\mathbb{C}^n$ שמקיימת $\det(J(F(Z))\ne 0$ לכל $Z\in\mathbb{C}^n$, 
אז $F$ חד-חד-ערכית ועל, וההעתקה ההפוכה $F^{-1}$ גם היא פולינומיאלית.

כאן הסימון

\begin{displaymath}
J(F(Z))={\left(\frac{\partial F_i}{\partial Z_j}\right)}_{1\le i,j\le n}
\end{displaymath}

היא מטריצת היעקוביאן של ההעתקה $F$ בנקודה $Z=(Z_1,\ldots,Z_n)$.  כלומר ההשערה אומרת שהפיכות מקומית של העתקה פולינומיאלית מעל לשדה המספרים המרוכבים מבטיחה הפיכות גלובלית. יתר על כן ההעתקה ההפוכה היא בעצמה פולינומיאלית. אחת התוצאות החשובות שהוכחו אומרת שאם השערת היעקוביאן נכונה להעתקות פולינומיאליות בכל מספר $n$ של משתנים אך רק עבור העתקות שמעלתן האלגברית היא $3$ לכל היותר, אז ההשערה נכונה להעתקות בכל מעלה --- כלומר ההשערה נכונה.

תוצאה מעניינת אחרת אומרת שאם העתקה $F$ שמקיימת את תנאי היעקוביאן

\begin{displaymath}
\det(J(F(Z)))\ne{}0, \forall Z\in\mathbb{C}^n
\end{displaymath}

היא חד-חד-ערכית על ישר אחד במישור המרוכב, אז היא הפיכה פולינומיאלית, כלומר מקיימת את מסקנת השערת היעקוביאן. תוצאה זו היא בעלת אופי גיאומטרי ומסתמכת על משפט השיכון של Abhyankar--Moh. התוצאה הקודמת קשורה לתיאוריה חשובה שנקראת Algebraic K-Theory. בהרצאה אני מקווה להציג עוד מספר תוצאות עמוקות כאילו.
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
