\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{spectral theory}

\hypertarget{spectral_theory}{}\section*{{Spectral theory}}\label{spectral_theory}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{in_different_contexts}{In different contexts}\dotfill \pageref*{in_different_contexts} \linebreak
\noindent\hyperlink{spectral_theory_of_banach_algebras}{Spectral theory of Banach algebras}\dotfill \pageref*{spectral_theory_of_banach_algebras} \linebreak
\noindent\hyperlink{spectra_in_algebraic_geometry}{Spectra in algebraic geometry}\dotfill \pageref*{spectra_in_algebraic_geometry} \linebreak
\noindent\hyperlink{related_notions}{Related notions}\dotfill \pageref*{related_notions} \linebreak
\noindent\hyperlink{literature}{Literature}\dotfill \pageref*{literature} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The point of a spectrum of an operator algebra should be thought as a common generalized eigenvalue of the corresponding family of operators. Thus the spectra of (operator) \emph{algebras}, presenting the ``points'' of underlying space and spectra of (families of) \emph{operators} have closely related origin in main examples.

\textbf{Spectral theory} concerns generalizations of the theory of the set of eigenvalues of a linear operator on a finite-dimensional vector space, and [[spectrum of a linear operator]], not necessarily bounded, on an infinite-dimensional \emph{complex} vector space. Most of such generalizations occur in functional analysis (spectral theory of bounded Hermitean operator on a Hilbert space, spectral theory of unbounded operators, spectral theory of families of operators, spectral theory of complex Banach algebras). Spectral theory is in the basis of Gel'fand-Neumark theorem. The points of the Gel'fand spectrum of a commutative $C^*$-algebra have spectral origin in the sense of [[functional analysis]]; the structure of an operator algebra reflects this -- the characters encode related information, and in more general cases, the ideal and even module structure.

While spectra generalize eigenvalues, the generalized eigenmodes are studied in harmonic analysis, included noncommutative where irreducible representations generalize characters. It is traditional that by spectral theory in functional setup one subsumes only those ``harmonic'' issues which are closely related to operator theoretic holomorphic calculus. As the operator is decomposed into an integral over a spectral measure, categories are often characterized by being generated by some special simple, smallest in some sense objects, which show some singular feature. Thus there are many spectra of categories.

\hypertarget{in_different_contexts}{}\subsection*{{In different contexts}}\label{in_different_contexts}

\hypertarget{spectral_theory_of_banach_algebras}{}\subsubsection*{{Spectral theory of Banach algebras}}\label{spectral_theory_of_banach_algebras}

This is the main case of spectral theory studied in 20th century functional analysis. \ldots{}

\hypertarget{spectra_in_algebraic_geometry}{}\subsubsection*{{Spectra in algebraic geometry}}\label{spectra_in_algebraic_geometry}

Grothendieck has defined a prime spectrum of commutative unital ring having in mind Gel'fand's spectrum of a commutative $C^*$-algebra. In noncommutative ring theory, this was followed by a number of spectral constructions from lattices of ideals, including prime and primitive spectrum, Gabriel's spectrum of indecomposable injectives and so on; some of these constructions were equipped with a structure sheaf. These construction are typically not faithful unlike Grothendieck's prime spectrum in commutative case and Gel'fand's spectrum. To get more information one needs to consider an entire category of modules, not only the ideals of the ring. Rosenberg has constructed a richer spectrum of an abelian category involving a structure stack which is in heart of his reconstruction theorem for commutative [[scheme]]s (not necessarily [[affine scheme|affine]]) and in the ring case it reduces to his earlier construction of the left spectrum of a noncommutative ring. Later he noticed that there is an abundance of spectral constructions which all pass via an intermediate step of a construction of a preorder category, or of its relative analogue, and then applying the [[spectral cookbook]] to this datum.

\hypertarget{related_notions}{}\subsection*{{Related notions}}\label{related_notions}

\begin{itemize}%
\item [[spectral flow]] in geometry; related to study of [[index theorems]]


\item Very recently, Gnang, Elgammal and Retakh proved some analogues of spectral theorems for tensors of higher rank, rather than for matrices.


\item \emph{[[spectrum of an operator]]}, spectra of families, of a Banach algebra, \emph{[[Gelfand spectrum]]}, prime (primitive etc.) spectrum of a commutative or noncommutative ring, \emph{[[analytic spectrum]]}, \emph{[[spectrum of an abelian category]]}, \emph{[[spectrum of a triangulated category]]}, \emph{[[Berkovich spectrum]]}, \emph{[[Orlov spectrum]]} etc.


\item in algebraic geometry, especially in [[birational geometry]] and arithmetic algebraic geometry points are sometimes reconstructed by looking at [[valuation]]s on the field of rational functions.



\end{itemize}
\hypertarget{literature}{}\subsection*{{Literature}}\label{literature}

\begin{itemize}%
\item [[eom]]: \href{http://eom.springer.de/S/s086520.htm}{Spectral theory of linear operators} (by Hazewinkel)


\item wikipedia: \href{http://en.wikipedia.org/wiki/Spectral_theory}{spectral theory}


\item [[Tom Leinster]], \emph{Spectra of operators and rings}, \href{http://golem.ph.utexas.edu/category/2011/10/spectra_of_operators_and_rings.html}{nCaf\'e{}}


\item Gerald B. Folland, \emph{A course in abstract harmonic analysis}, Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1995. x+276 pp. \href{http://books.google.com/books?hl=en&lr=&id=0VwYZI1DypUC}{gBooks}


\item Nelson Dunford, Jacob T Schwartz, \emph{Linear operators, spectral theory, self adjoint operators in Hilbert space} (Part 2) (1967, paperback 1988). Wiley.


\item Jean Dieudonn\'e{}, \emph{Fundamentals of modern analysis}, vol. I, chapter XI: Elementary spectral theory, 1969


\item Jean Dieudonn\'e{}, \emph{Sur la th\'e{}orie spectrale}, J. Math. Pures Appl. (9) 35 (1956), 175--187, MR0077894


\item [[Joel Robbin]], [[Dietmar Salamon]], \emph{The spectral flow and the Maslov index}, Bull. London Math. Soc. \textbf{27} (1995), no. 1, 1--33, \href{http://www.ams.org/mathscinet-getitem?mr=96d:58021}{MR96d:58021}, \href{http://dx.doi.org/10.1112/blms/27.1.1}{doi}


\item Edinah K. Gnang, Ahmed Elgammal, Vladimir Retakh, \emph{A generalized spectral theory for tensors}, \href{http://arxiv.org/abs/1008.2923}{arxiv/1008.2923}


\item [[A. L. Rosenberg]], \emph{The spectrum of abelian categories and reconstructions of schemes}, in Rings, Hopf Algebras, and Brauer groups, Lectures Notes in Pure and Appl. Math. \textbf{197}, Marcel Dekker, New York, 257--274, 1998; MR99d:18011; and Max Planck Bonn preprint \emph{Reconstruction of Schemes}, \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=3948}{MPIM1996-108} (1996)


\item [[A. L. Rosenberg]], \emph{Spectra of noncommutative spaces}, MPIM2003-110 \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=1946}{ps} \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=1945}{dvi} (2003); \emph{Underlying spaces of noncommutative schemes}, MPIM2003-111, \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=1947}{dvi}, \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=1948}{ps}


\item [[Valter Moretti]], \emph{Spectral Theory and Quantum Mechanics: Mathematical Structure of Quantum Theories, Symmetries and introduction to the Algebraic Formulation} 2nd Edition, Springer 2018 ISBN 978-3-319-70705-1



\end{itemize}
category: analysis, geometry, noncommutative geometry



\end{document}