\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, June  3, 2026}
\bigskip

\textbf{At} \emph{14:10 -- 15:10}
\bigskip

\textbf{In} \emph{201}

\vspace*{2\baselineskip}

{\large\scshape Roy Magen 
  %
  (Bulgarian Academy of Sciences)
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Voevodsky's ``geometric'' criterion for 6-functor formalisms with applications to the stable motivic homotopy theory of complex analytic stacks\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
In this talk I will present some enhancements and generalizations of a criterion for six-functor formalisms first sketched by Voevodsky in 2001. This principle was then implemented by Ayoub in order to show that the stable motivic homotopy theory of quasi-projective schemes has the structure of a six-functor formalism, although it has later been generalized by works of Cisinski, Déglise, Hoyois, Khan, and Ravi, leading to a six-functor formalism of genuine stable motivic homotopy theory on qcqs derived algebraic stacks with separated diagonals and nice stabilizers.

In our framework, we produce six-functor formalism using the cohomological behaviour of smooth maps, closed immersions, and smooth proper maps (where the relevant cohomological property is expressed by a version of Atiyah duality). This is related to recent results of Dauser-Kuijper and Cnossen-Lenz-Linskens, which enhances work of Mann following Liu-Zheng on the construction of six-functor formalisms using the cohomological behaviour of étale maps and proper maps. Our general results are then used to produce a six-functor formalism of \emph{complex analytic} stable motivic homotopy theory, as well as equivariant analytification functors that are compatible with the six operations.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex: