\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 Special lecture}\\[0.2\baselineskip]

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

\textbf{Title}: Existence of outer automorphisms of the Calkin algebra is undecidable in ZFC

\textbf{Speaker}: \emph{N. Christopher Phillips}, University of Oregon and Ben Gurion University of the Negev

\subparagraph*{Abstract:}

The Calkin algebra $Q$ is the quotient of the algebra $L(H)$ of bounded operators on a separable infinite dimensional Hilbert space $H$ by the
ideal of compact operators (the closure of the ideal of finite rank operators). It is an explicit simple \$C\^{}*\$-algebra, first studied by Calkin in 1941. It takes a few lines to prove that every automorphism of \$L(H)\$ is inner, that is, of the form $a\mapsto ua u^{-1}$ for some unitary $u$ in $L(H)$. Are all automorphisms of $Q$ inner? Despite the concrete description of $Q$, this is undecidable in ZFC. Assuming the Continuum Hypothesis (CH), there are outer (that is, not inner) automorphisms (joint with Weaver, 2007). Assuming the Open Coloring Axiom (OCA; also called Todorcevic's Axiom), all automorphisms of $Q$ are inner (Farah, 2011).

In these talks, we will outline proofs of both results. The talks are intended to be accessible to people in both operator algebras and set theory. We will follow Farah's reproof of the existence of outer automorphisms under CH, which uses much less $C^*$-algebra machinery than the original proof, and uses some of the same ingredients as the proof of nonexistence under OCA.

We will very briefly say something about later results which have been proved, as well as problems which remain open, involving generalizations of the Calkin algebra, such as outer multiplier algebras of $C^*$-algebras and $l^p$ Calkin algebras. It remains open whether the existence of orientation reversing automorphisms of the original Calkin algebra is consistent with ZFC.




\vfill

\textbf{Time}: \emph{Jul 18, 11:10—13:00, 2022}

\bigskip

\textbf{Location}: \emph{Room 104, Building 28 (BGU)}

\vspace*{2\baselineskip}

\bigskip

\textbf{Web}: \emph{https://www.math.bgu.ac.il/research/events/calkin-ncphillips}


% vim: ft=eruby.tex:



\end{document}

% vim: ft=eruby.tex:
