\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{יום שלישי, 20 במאי, 2025}
\bigskip

\textbf{בשעה} \emph{14:30 -- 15:30}
\bigskip

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

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries Phenomenology of noncommutative polynomials\par}
\bigskip

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

{\large\scshape Eli Shamovich 
  %
  (BGU)
}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  Given a commuting \$d\$-tuple of matrices or operators, we immediately get a homomorphism from the polynomial ring in \$d\$ variables. An extension of such a homomorphism is called a ''functional calculus.`` On the other hand, viewing a commutative algebra as functions on its character space is a fruitful approach that goes back at least to Gelfand. However, matrices and polynomials tend not to commute. Hence, the natural object of study in this case is the free algebra \$\textbackslash{}mathbb\{C\}\textbackslash{}langle z\_1,\textbackslash{}ldots, z\_d \textbackslash{}rangle\$. By the first analogy, we will call the elements of the free algebra noncommutative polynomials. The second analogy tells us to treat them as functions. The natural analog of the affine space is the collection of all \$d\$-tuples of matrices of all sizes. We want to understand algebraic relations between noncommutative polynomials through their values. For example, given \$f,g \textbackslash{}in \textbackslash{}mathbb\{C\}\textbackslash{}langle z\_1,\textbackslash{}ldots, z\_d \textbackslash{}rangle\$, what can we say about \$f\$ and \$g\$, if for every \$d\$-tuples of matrices \$X = (X\_1,\textbackslash{}ldots,X\_d)\$, \$f(X)\$ has the same spectrum as \$g(X)\$. What if \$f(X)\$ is always similar to \$g(X)\$? We will answer these questions and others.  
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
