TeX files
This commit is contained in:
Pawel
@@ -7,7 +7,7 @@ This is a list of my publications. I have included LaTeX code for preprint versi
|
||||
<ol reversed>
|
||||
<li>With Laurent Marcoux and Yuanhang Zhang, <i>Kaplansky's problem and unitary orbits in matrix amplifications</i>. <a href=https://arxiv.org/abs/2508.13834>https://arxiv.org/abs/2508.13834</a></li>
|
||||
<li><i>Universal covering groups of unitary groups of von Neumann algebras</i>. Studia Mathematica (2025). <a href=https://www.doi.org/10.4064/sm240829-14-1>doi:10.4064/sm240829-14-1</a> (arxiv preprint: <a href="https://arxiv.org/abs/2408.13710">2408.13710</a>)</li>
|
||||
<li>With <a href="https://mysite.science.uottawa.ca/atikuisis/">Aaron Tikuisis</a>, *<i>Polar decomposition in algebraic K-theory</i>. Journal of Operator Theory (2025). <a href="https://dx.doi.org/10.7900/jot.2023may29.2436">doi:10.7900/jot.2023may29.2436</a> (arxiv preprint: <a href="https://arxiv.org/abs/2303.16248">2303.16248</a>)</li>
|
||||
<li>With <a href="https://mysite.science.uottawa.ca/atikuisis/">Aaron Tikuisis</a>, <i>Polar decomposition in algebraic K-theory</i>. Journal of Operator Theory (2025). <a href="https://dx.doi.org/10.7900/jot.2023may29.2436">doi:10.7900/jot.2023may29.2436</a> (arxiv preprint: <a href="https://arxiv.org/abs/2303.16248">2303.16248</a>)</li>
|
||||
<li><i>Tensorially absorbing inclusions of C*-algebras</i>. Canadian Journal of Mathematics (2024). <a href="https://doi.org/10.4153/S0008414X24000324">doi:10.4153/S0008414X24000324</a> (arxiv preprint: <a href="https://arxiv.org/abs/2211.14974">2211.14974</a>)</li>
|
||||
<li><i>Unitary groups, K-theory and traces</i>. Glasgow Mathematical Journal (2023). <a href="https://doi.org/10.1017/S0017089523000447">doi:10.1017/S0017089523000447</a> (arxiv preprint: <a href="https://arxiv.org/abs/2305.15989">2305.15989</a>)</li>
|
||||
</ol>
|
||||
|
||||
2805
Tensorially absorbing inclusions/biblio.bib
Normal file
2805
Tensorially absorbing inclusions/biblio.bib
Normal file
File diff suppressed because it is too large
Load Diff
77
Tensorially absorbing inclusions/letterfonts.tex
Normal file
77
Tensorially absorbing inclusions/letterfonts.tex
Normal file
@@ -0,0 +1,77 @@
|
||||
%commands
|
||||
\newcommand{\ms}{\mathscr}
|
||||
\newcommand{\mc}{\mathcal}
|
||||
\newcommand{\mf}{\mathfrak}
|
||||
\newcommand{\nin}{\not\in}
|
||||
\newcommand{\bs}{\backslash}
|
||||
\newcommand{\nsg}{\unlhd}
|
||||
\newcommand{\ov}{\overline}
|
||||
%blackboard
|
||||
\newcommand{\bN}{\mathbb{N}}
|
||||
\newcommand{\bR}{\mathbb{R}}
|
||||
\newcommand{\bZ}{\mathbb{Z}}
|
||||
\newcommand{\bQ}{\mathbb{Q}}
|
||||
\newcommand{\bF}{\mathbb{F}}
|
||||
\newcommand{\bK}{\mathbb{K}}
|
||||
\newcommand{\bG}{\mathbb{G}}
|
||||
\newcommand{\bE}{\mathbb{E}}
|
||||
\newcommand{\bC}{\mathbb{C}}
|
||||
\newcommand{\bV}{\mathbb{V}}
|
||||
\newcommand{\bA}{\mathbb{A}}
|
||||
\newcommand{\bP}{\mathbb{P}}
|
||||
\newcommand{\bD}{\mathbb{D}}
|
||||
\newcommand{\bT}{\mathbb{T}}
|
||||
\newcommand{\bM}{\mathbb{M}}
|
||||
\newcommand{\bB}{\mathbb{B}}
|
||||
\newcommand{\bL}{\mathbb{L}}
|
||||
\newcommand{\bX}{\mathbb{X}}
|
||||
\newcommand{\bY}{\mathbb{Y}}
|
||||
\newcommand{\1}{{\bf 1}}
|
||||
\newcommand{\0}{{\bf 0}}
|
||||
|
||||
%mathcal
|
||||
\newcommand{\cM}{\mathcal{M}}
|
||||
\newcommand{\cN}{\mathcal{N}}
|
||||
\newcommand{\cC}{\mathcal{C}}
|
||||
\newcommand{\cB}{\mathcal{B}}
|
||||
\newcommand{\cS}{\mathcal{S}}
|
||||
\newcommand{\cI}{\mathcal{I}}
|
||||
\newcommand{\cO}{\mathcal{O}}
|
||||
\newcommand{\cP}{\mathcal{P}}
|
||||
\newcommand{\cA}{\mathcal{A}}
|
||||
\newcommand{\cL}{\mathcal{L}}
|
||||
\newcommand{\cF}{\mathcal{F}}
|
||||
\newcommand{\cH}{\mathcal{H}}
|
||||
\newcommand{\cK}{\mathcal{K}}
|
||||
\newcommand{\cD}{\mathcal{D}}
|
||||
\newcommand{\cE}{\mathcal{E}}
|
||||
\newcommand{\cT}{\mathcal{T}}
|
||||
\newcommand{\cZ}{\mathcal{Z}}
|
||||
\newcommand{\cU}{\mathcal{U}}
|
||||
\newcommand{\cJ}{\mathcal{J}}
|
||||
\newcommand{\cG}{\mathcal{G}}
|
||||
\newcommand{\cR}{\mathcal{R}}
|
||||
\newcommand{\cQ}{\mathcal{Q}}
|
||||
\newcommand{\cY}{\mathcal{Y}}
|
||||
%terns
|
||||
\newcommand{\bh}{\mathcal{B}(\mathcal{H})}
|
||||
\newcommand{\bk}{\mathcal{B}(\mathcal{K})}
|
||||
\newcommand{\kh}{\mathcal{K}(\mathcal{H})}
|
||||
\newcommand{\fh}{\mathcal{F}(\mathcal{H})}
|
||||
\newcommand{\sa}{\mathcal{S}(\mathcal{A})}
|
||||
\newcommand{\bx}{\mathcal{B}(\mathbb{X}}
|
||||
\newcommand{\by}{\mathcal{C}(\mathbb{Y}}
|
||||
|
||||
%frak
|
||||
\newcommand{\fX}{\mathfrak{X}}
|
||||
\newcommand{\fS}{\mathfrak{S}}
|
||||
\newcommand{\fM}{\mathfrak{M}}
|
||||
\newcommand{\fN}{\mathfrak{N}}
|
||||
\newcommand{\fF}{\mathfrak{F}}
|
||||
\newcommand{\fJ}{\mathfrak{J}}
|
||||
\newcommand{\fT}{\mathfrak{T}}
|
||||
\newcommand{\fA}{\mathfrak{A}}
|
||||
\newcommand{\fB}{\mathfrak{B}}
|
||||
\newcommand{\fP}{\mathfrak{P}}
|
||||
\newcommand{\fQ}{\mathfrak{Q}}
|
||||
\newcommand{\fO}{\mathfrak{O}}
|
||||
104
Tensorially absorbing inclusions/macros.tex
Normal file
104
Tensorially absorbing inclusions/macros.tex
Normal file
@@ -0,0 +1,104 @@
|
||||
% tensor products
|
||||
\newcommand{\thk}{\cH\otimes\cK}
|
||||
\newcommand{\amb}{\bA \otimes_{\max} \bB}
|
||||
\newcommand{\omax}{\otimes_{\max}}
|
||||
\newcommand{\omin}{\otimes_{\min}}
|
||||
\newcommand{\ovn}{\overline{\otimes}}
|
||||
|
||||
% probability
|
||||
\newcommand{\PS}{(\Omega,\cM,\cP)}
|
||||
\newcommand{\rvf}{f:\Omega \to \bR}
|
||||
\newcommand{\linf}{\cL^{\infty -}\PS}
|
||||
\newcommand{\probc}{\text{Prob}_c(\bR)}
|
||||
\newcommand{\prob}{\text{Prob}(\bR)}
|
||||
|
||||
% maps
|
||||
\newcommand{\into}{\hookrightarrow}
|
||||
\newcommand{\onto}{\twoheadrightarrow}
|
||||
\newcommand{\act}{\curvearrowright}
|
||||
|
||||
\newcommand{\ee}{\varepsilon}
|
||||
\newcommand{\sm}{\setminus}
|
||||
\newcommand{\Om}{\Omega}
|
||||
\newcommand{\simi}{\sim_{\infty}}
|
||||
|
||||
%limits
|
||||
\newcommand{\limsupn}{\underset{n}{\text{limsup}}}
|
||||
\newcommand{\sotc}{\stackrel{\text{SOT}}{\to}}
|
||||
\newcommand{\wotc}{\stackrel{\text{WOT}}{\to}}
|
||||
\newcommand{\sotlim}{\text{SOT-}\lim}
|
||||
\newcommand{\wotlim}{\text{WOT-}\lim}
|
||||
|
||||
% useful for nuclear, lifting maps, etc....
|
||||
\newcommand{\tphi}{\tilde{\phi}}
|
||||
\newcommand{\tpsi}{\tilde{\psi}}
|
||||
\newcommand{\hphi}{\hat{\phi}}
|
||||
\newcommand{\hpsi}{\hat{\psi}}
|
||||
\newcommand{\phil}{\phi_\lambda}
|
||||
\newcommand{\psil}{\psi_\lambda}
|
||||
\newcommand{\mkl}{M_{k(\lambda)}}
|
||||
\newcommand{\mkn}{M_{k(n)}}
|
||||
\newcommand{\phin}{\phi_n}
|
||||
\newcommand{\psin}{\psi_n}
|
||||
\newcommand{\vphi}{\varphi}
|
||||
|
||||
\newcommand{\floor}[1]{\lfloor #1 \rfloor}
|
||||
|
||||
\newcommand{\supp}{\text{supp}}
|
||||
\newcommand{\wk}{\text{wk}}
|
||||
\newcommand{\Tr}{\text{Tr}}
|
||||
\newcommand{\dist}{\text{dist}}
|
||||
\newcommand{\rank}{\text{rank}}
|
||||
\newcommand{\sgn}{\text{sgn}}
|
||||
|
||||
\newcommand{\ev}{\text{ev}}
|
||||
\newcommand{\spr}{\text{spr}}
|
||||
\newcommand{\tD}{\tilde{\Delta}}
|
||||
\newcommand{\uv}{\underline}
|
||||
\newcommand{\tr}{\text{tr}}
|
||||
\newcommand{\id}{\text{id}}
|
||||
\newcommand{\ad}{\text{ad}}
|
||||
\newcommand{\Ad}{\text{Ad}}
|
||||
|
||||
\newcommand*{\tc}[2]{(\ov{#1}^{#2},#2)}
|
||||
|
||||
% Types for von Neumann algebras
|
||||
\newcommand{\I}{\text{I}}
|
||||
\newcommand{\II}{\text{II}}
|
||||
\newcommand{\III}{\text{III}}
|
||||
\newcommand{\IIIl}{\text{III}_{\lambda}}
|
||||
% note the last character of this last one is an "ell", its just that my font has capital i and lower-case l being the same character.....
|
||||
|
||||
|
||||
%operators
|
||||
% basic algebra
|
||||
\DeclareMathOperator{\Ann}{Ann}
|
||||
\DeclareMathOperator{\Hom}{Hom}
|
||||
\DeclareMathOperator{\End}{End}
|
||||
\DeclareMathOperator{\Aut}{Aut}
|
||||
\DeclareMathOperator{\im}{im}
|
||||
|
||||
% K-theory and regularity for C*-algebras
|
||||
\DeclareMathOperator{\Ell}{Ell}
|
||||
\DeclareMathOperator{\Aff}{Aff}
|
||||
\DeclareMathOperator{\KT}{KT}
|
||||
\DeclareMathOperator{\Cu}{Cu}
|
||||
\DeclareMathOperator{\Ka}{K^{\text{alg}}}
|
||||
\DeclareMathOperator{\Ku}{K^u}
|
||||
\DeclareMathOperator{\hKa}{\ov{K}_1^{\text{alg}}}
|
||||
\DeclareMathOperator{\hku}{\ov{K}_1^u}
|
||||
|
||||
% exponential rank and length for C*-algebras
|
||||
\newcommand{\cer}{\text{cer}}
|
||||
\newcommand{\cel}{\text{cel}}
|
||||
|
||||
% KK-theory and Ext
|
||||
\DeclareMathOperator{\KK}{KK}
|
||||
\DeclareMathOperator{\KKn}{KK_{\text{nuc}}}
|
||||
\DeclareMathOperator{\KKs}{KK_{\text{sep}}}
|
||||
\DeclareMathOperator{\Ext}{Ext}
|
||||
\DeclareMathOperator{\Extn}{Ext_{\text{nuc}}}
|
||||
|
||||
% direct/inverse limits
|
||||
\newcommand{\dlim}{\underset{\to}{\lim}}
|
||||
\newcommand{\ilim}{\underset{\leftarrow}{\lim}}
|
||||
52
Tensorially absorbing inclusions/preabmle.tex
Normal file
52
Tensorially absorbing inclusions/preabmle.tex
Normal file
@@ -0,0 +1,52 @@
|
||||
% change this depending on what you're doing.
|
||||
%\documentclass[11pt]{amsart}
|
||||
|
||||
%packages
|
||||
%\usepackage[margin=1.5in]{geometry}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[pdftex]{graphicx}
|
||||
\usepackage{tikz-cd}
|
||||
\usepackage{blindtext}
|
||||
|
||||
\usepackage{hyperref,xcolor}
|
||||
\usepackage{amsmath,amsfonts,amssymb,amsthm,color,mathtools,enumitem}
|
||||
\usepackage{epstopdf}
|
||||
\usepackage{polynom}
|
||||
\usepackage{babel}
|
||||
\usepackage{mathrsfs}
|
||||
\usepackage{chngcntr}
|
||||
\usepackage{verbatim}
|
||||
\usepackage{hyphenat}
|
||||
|
||||
|
||||
\hypersetup{
|
||||
colorlinks=true,
|
||||
linkcolor=blue,
|
||||
citecolor=cyan,
|
||||
urlcolor=cyan}
|
||||
|
||||
%theorems
|
||||
\newtheorem{theorem}{Theorem}[section]
|
||||
\newtheorem{defn}[theorem]{Definition}
|
||||
\newtheorem{prop}[theorem]{Proposition}
|
||||
\newtheorem{cor}[theorem]{Corollary}
|
||||
\newtheorem{lemma}[theorem]{Lemma}
|
||||
\newtheorem{example}[theorem]{Example}
|
||||
\newtheorem{remark}[theorem]{Remark}
|
||||
|
||||
\newtheorem*{resultA}{Theorem A}
|
||||
\newtheorem*{resultB}{Theorem B}
|
||||
\newtheorem*{resultC}{Theorem C}
|
||||
\newtheorem*{resultD}{Theorem D}
|
||||
\newtheorem*{resultE}{Theorem E}
|
||||
\newtheorem*{resultF}{Theorem F}
|
||||
|
||||
%\newtheorem{result}{Theorem}[chapter]
|
||||
\newtheorem{result}{Theorem}
|
||||
%\renewcommand*{\theresult}{\arabic{chapter}.\Alph{result}}
|
||||
\renewcommand*{\theresult}{\Alph{result}}
|
||||
\newtheorem{resultcor}[result]{Corollary}
|
||||
|
||||
\numberwithin{equation}{section}
|
||||
|
||||
@@ -0,0 +1,288 @@
|
||||
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
|
||||
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
|
||||
% \MRhref is called by the amsart/book/proc definition of \MR.
|
||||
\providecommand{\MRhref}[2]{%
|
||||
\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
|
||||
}
|
||||
\providecommand{\href}[2]{#2}
|
||||
\begin{thebibliography}{BGSW22}
|
||||
|
||||
\bibitem[AGJP22]{AGJP22}
|
||||
Massoud Amini, Nasser Golestani, Saeid Jamali, and N.~Christopher Phillips,
|
||||
\emph{Group actions on simple tracially $\mathcal{Z}$-absorbing
|
||||
{C}*-algebras}, arXiv preprint arXiv:2204.03615 (2022).
|
||||
|
||||
\bibitem[BGSW22]{BGSW22}
|
||||
Joan Bosa, James Gabe, Aidan Sims, and Stuart White, \emph{The nuclear
|
||||
dimension of $\mathcal{O}_\infty$-stable {C}*-algebras}, Adv. Math.
|
||||
\textbf{401} (2022), Paper No. 108250, 51. \MR{4392219}
|
||||
|
||||
\bibitem[Bis90]{Bisch90}
|
||||
Dietmar~H. Bisch, \emph{On the existence of central sequences in subfactors},
|
||||
Trans. Amer. Math. Soc. \textbf{321} (1990), no.~1, 117--128. \MR{1005075}
|
||||
|
||||
\bibitem[Bis94]{Bisch94}
|
||||
\bysame, \emph{Central sequences in subfactors. {II}}, Proc. Amer. Math. Soc.
|
||||
\textbf{121} (1994), no.~3, 725--731. \MR{1209417}
|
||||
|
||||
\bibitem[BO08]{BrownOzawa}
|
||||
Nathanial~P. Brown and Narutaka Ozawa, \emph{{C}*-algebras and
|
||||
finite-dimensional approximations}, Graduate Studies in Mathematics, vol.~88,
|
||||
American Mathematical Society, Providence, RI, 2008. \MR{2391387}
|
||||
|
||||
\bibitem[BSKR93]{BSKR93}
|
||||
Ola Bratteli, Erling St{\o}rmer, Akitaka Kishimoto, and Mikael R{\o}rdam,
|
||||
\emph{The crossed product of a {UHF} algebra by a shift}, Ergodic Theory
|
||||
Dynam. Systems \textbf{13} (1993), no.~4, 615--626. \MR{1257025}
|
||||
|
||||
\bibitem[Bur10]{Burstein10}
|
||||
Richard~D. Burstein, \emph{Commuting square subfactors and central sequences},
|
||||
Internat. J. Math. \textbf{21} (2010), no.~1, 117--131. \MR{2642989}
|
||||
|
||||
\bibitem[Con75]{Connes75}
|
||||
Alain Connes, \emph{Classification of automorphisms of hyperfinite factors of
|
||||
type {II}$_1$ and {II}$_{\infty}$ and application to type {III} factors},
|
||||
Bull. Amer. Math. Soc. \textbf{81} (1975), no.~6, 1090--1092. \MR{388117}
|
||||
|
||||
\bibitem[Con76]{Connes76}
|
||||
\bysame, \emph{Classification of injective factors cases {II}$_1$,
|
||||
{II}$_\infty$, {III}$_\lambda$, $\lambda \neq 1$}, Ann. of Math. (2)
|
||||
\textbf{104} (1976), no.~1, 73--115. \MR{454659}
|
||||
|
||||
\bibitem[CS19]{CameronSmith19}
|
||||
Jan Cameron and Roger~R. Smith, \emph{A {G}alois correspondence for reduced
|
||||
crossed products of simple {C}*-algebras by discrete groups}, Canad. J. Math.
|
||||
\textbf{71} (2019), no.~5, 1103--1125. \MR{4010423}
|
||||
|
||||
\bibitem[Cun77]{Cuntz77}
|
||||
Joachim Cuntz, \emph{Simple {C}*-algebras generated by isometries}, Comm. Math.
|
||||
Phys. \textbf{57} (1977), no.~2, 173--185. \MR{467330}
|
||||
|
||||
\bibitem[Dav96]{DavidsonBook1}
|
||||
Kenneth~R. Davidson, \emph{{C}*-algebras by example}, Fields Institute
|
||||
Monographs, vol.~6, American Mathematical Society, Providence, RI, 1996.
|
||||
\MR{1402012}
|
||||
|
||||
\bibitem[DW09]{DadarlatWinter09}
|
||||
Marius Dadarlat and Wilhelm Winter, \emph{On the {KK}-theory of strongly
|
||||
self-absorbing {C}*-algebras}, Math. Scand. \textbf{104} (2009), no.~1,
|
||||
95--107. \MR{2498373}
|
||||
|
||||
\bibitem[ER21]{EchterhoffRordam21}
|
||||
Siegfried Echterhoff and Mikael R{\o}rdam, \emph{Inclusions of {C}*-algebras
|
||||
arising from fixed-point algebras}, arXiv preprint arXiv:2108.08832 (2021).
|
||||
|
||||
\bibitem[EST23]{EndersSchemaitatTikuisis23}
|
||||
Dominic Enders, Andr{\'e} Schemaitat, and Aaron Tikuisis, \emph{Corrigendum to
|
||||
``{$K$}-theoretic characterization of {C}*-algebras with approximately inner
|
||||
flip''}, arXiv preprint arXiv:2303.11106 (2023).
|
||||
|
||||
\bibitem[EV00]{ElliottVilladsen00}
|
||||
George~A. Elliott and Jesper Villadsen, \emph{Perforated ordered
|
||||
{$K_0$}-groups}, Canad. J. Math. \textbf{52} (2000), no.~6, 1164--1191.
|
||||
\MR{1794301}
|
||||
|
||||
\bibitem[Gab19]{Gabe19}
|
||||
James Gabe, \emph{Classification of $\mathcal{O}_\infty$-stable {C}*-algebras},
|
||||
arXiv preprint arXiv:1910.06504 (2019).
|
||||
|
||||
\bibitem[Gab20]{Gabe20}
|
||||
\bysame, \emph{A new proof of {K}irchberg's $\mathcal{O}_2$-stable
|
||||
classification}, J. Reine Angew. Math. \textbf{761} (2020), 247--289.
|
||||
\MR{4080250}
|
||||
|
||||
\bibitem[GH18]{GardellaHirshberg18}
|
||||
Eusebio Gardella and Ilan Hirshberg, \emph{Strongly outer actions of amenable
|
||||
groups on $\mathcal{Z}$-stable {C}*-algebras}, arXiv preprint
|
||||
arXiv:1811.00447 (2018).
|
||||
|
||||
\bibitem[HO13]{HirshbergOrovitz13}
|
||||
Ilan Hirshberg and Joav Orovitz, \emph{Tracially $\mathcal{Z}$-absorbing
|
||||
{C}*-algebras}, J. Funct. Anal. \textbf{265} (2013), no.~5, 765--785.
|
||||
\MR{3063095}
|
||||
|
||||
\bibitem[HRW07]{HirshbergRordamWinter07}
|
||||
Ilan Hirshberg, Mikael R{\o}rdam, and Wilhelm Winter,
|
||||
\emph{$\mathcal{C}_0({X})$-algebras, stability and strongly self-absorbing
|
||||
{C}*-algebras}, Math. Ann. \textbf{339} (2007), no.~3, 695--732. \MR{2336064}
|
||||
|
||||
\bibitem[HW41]{HurewiczWallman}
|
||||
Witold Hurewicz and Henry Wallman, \emph{Dimension theory}, Princeton
|
||||
Mathematical Series, vol. 4, Princeton University Press, Princeton, N. J.,
|
||||
1941. \MR{0006493}
|
||||
|
||||
\bibitem[HW07]{HirshbergWinter07}
|
||||
Ilan Hirshberg and Wilhelm Winter, \emph{{R}okhlin actions and self-absorbing
|
||||
{C}*-algebras}, Pacific J. Math. \textbf{233} (2007), no.~1, 125--143.
|
||||
\MR{2366371}
|
||||
|
||||
\bibitem[Izu02]{Izumi02}
|
||||
Masaki Izumi, \emph{Inclusions of simple {C}*-algebras}, J. Reine Angew. Math.
|
||||
\textbf{547} (2002), 97--138.
|
||||
|
||||
\bibitem[Izu04]{Izumi04}
|
||||
\bysame, \emph{Finite group actions on {C}*-algebras with the {R}ohlin
|
||||
property. {I}}, Duke Math. J. \textbf{122} (2004), no.~2, 233--280.
|
||||
\MR{2053753}
|
||||
|
||||
\bibitem[JS99]{JiangSu99}
|
||||
Xinhui Jiang and Hongbing Su, \emph{On a simple unital projectionless
|
||||
{C}*-algebra}, Amer. J. Math. \textbf{121} (1999), no.~2, 359--413.
|
||||
\MR{1680321}
|
||||
|
||||
\bibitem[Kaw99]{Kawamuro99}
|
||||
Keiko Kawamuro, \emph{Central sequence subfactors and double commutant
|
||||
properties}, Internat. J. Math. \textbf{10} (1999), no.~1, 53--77.
|
||||
\MR{1678538}
|
||||
|
||||
\bibitem[Kir06]{Kirchberg06}
|
||||
Eberhard Kirchberg, \emph{Central sequences in {C}*-algebras and strongly
|
||||
purely infinite algebras}, Operator {A}lgebras: {T}he {A}bel {S}ymposium
|
||||
2004, Abel Symp., vol.~1, Springer, Berlin, 2006, pp.~175--231. \MR{2265050}
|
||||
|
||||
\bibitem[KP00]{KirchbergPhillips00}
|
||||
Eberhard Kirchberg and N.~Christopher Phillips, \emph{Embedding of exact
|
||||
{C}*-algebras in the {C}untz algebra $\mathcal{O}_2$}, J. Reine Angew. Math.
|
||||
\textbf{525} (2000), 17--53. \MR{1780426}
|
||||
|
||||
\bibitem[McD69]{McDuff69}
|
||||
Dusa McDuff, \emph{Uncountably many {II}$_1$ factors}, Ann. of Math. (2)
|
||||
\textbf{90} (1969), 372--377. \MR{259625}
|
||||
|
||||
\bibitem[Mor09]{deLacerdaMortari09}
|
||||
Fernando de~Lacerda Mortari, \emph{Tracial state spaces of higher stable rank
|
||||
simple {C}*-algebras}, ProQuest LLC, Ann Arbor, MI, 2009, Thesis
|
||||
(Ph.D.)--University of Toronto (Canada). \MR{2753146}
|
||||
|
||||
\bibitem[MS12]{MatuiSato12}
|
||||
Hiroki Matui and Yasuhiko Sato, \emph{Strict comparison and
|
||||
$\mathcal{Z}$-absorption of nuclear {C}*-algebras}, Acta Math. \textbf{209}
|
||||
(2012), no.~1, 179--196. \MR{2979512}
|
||||
|
||||
\bibitem[MvN43]{MvNIV}
|
||||
Francis~J. Murray and John von Neumann, \emph{On rings of operators. {IV}},
|
||||
Ann. of Math. (2) \textbf{44} (1943), 716--808. \MR{9096}
|
||||
|
||||
\bibitem[OT18]{OsakaTeruya18}
|
||||
Hiroyuki Osaka and Tamotsu Teruya, \emph{The {J}iang--{S}u absorption for
|
||||
inclusions of unital {C}*-algebras}, Canad. J. Math. \textbf{70} (2018),
|
||||
no.~2, 400--425. \MR{3759005}
|
||||
|
||||
\bibitem[Pop89]{Popa89}
|
||||
Sorin Popa, \emph{Sousfacteurs, actions des groupes et cohomologie}, C. R.
|
||||
Acad. Sci. Paris S\'{e}r. I Math. \textbf{309} (1989), no.~12, 771--776.
|
||||
\MR{1054961}
|
||||
|
||||
\bibitem[Pop00]{Popa00}
|
||||
\bysame, \emph{On the relative {D}ixmier property for inclusions of
|
||||
{C}*-algebras}, J. Funct. Anal. \textbf{171} (2000), no.~1, 139--154.
|
||||
\MR{1742862}
|
||||
|
||||
\bibitem[Rae05]{RaeburnBook}
|
||||
Iain Raeburn, \emph{Graph algebras}, CBMS Regional Conference Series in
|
||||
Mathematics, vol. 103, Published for the Conference Board of the Mathematical
|
||||
Sciences, Washington, DC; by the American Mathematical Society, Providence,
|
||||
RI, 2005. \MR{2135030}
|
||||
|
||||
\bibitem[R{\o}r91]{Rordam91}
|
||||
Mikael R{\o}rdam, \emph{On the structure of simple {C}*-algebras tensored with
|
||||
a {UHF}-algebra}, J. Funct. Anal. \textbf{100} (1991), no.~1, 1--17.
|
||||
\MR{1124289}
|
||||
|
||||
\bibitem[R{\o}r92]{Rordam92}
|
||||
\bysame, \emph{On the structure of simple {C}*-algebras tensored with a
|
||||
{UHF}-algebra. {II}}, J. Funct. Anal. \textbf{107} (1992), no.~2, 255--269.
|
||||
\MR{1172023}
|
||||
|
||||
\bibitem[R{\o}r95]{Rordam95}
|
||||
\bysame, \emph{Classification of certain infinite simple {C}*-algebras}, J.
|
||||
Funct. Anal. \textbf{131} (1995), no.~2, 415--458. \MR{1345038}
|
||||
|
||||
\bibitem[R{\o}r02]{RordamBook}
|
||||
\bysame, \emph{Classification of nuclear, simple {C}*-algebras}, Classification
|
||||
of nuclear {C}*-algebras. {E}ntropy in operator algebras, Encyclopaedia Math.
|
||||
Sci., vol. 126, Springer, Berlin, 2002, pp.~1--145. \MR{1878882}
|
||||
|
||||
\bibitem[R{\o}r04]{Rordam04}
|
||||
\bysame, \emph{The stable and the real rank of $\mathcal{Z}$-absorbing
|
||||
{C}*-algebras}, Internat. J. Math. \textbf{15} (2004), no.~10, 1065--1084.
|
||||
\MR{2106263}
|
||||
|
||||
\bibitem[R{\o}r21]{Rordam21}
|
||||
\bysame, \emph{Irreducible inclusions of simple {C}*-algebras}, arXiv preprint
|
||||
arXiv:2105.11899 (2021).
|
||||
|
||||
\bibitem[RS87]{RosenbergSchochet87}
|
||||
Jonathan Rosenberg and Claude Schochet, \emph{The {K}\"{u}nneth theorem and the
|
||||
universal coefficient theorem for {K}asparov's generalized {$K$}-functor},
|
||||
Duke Math. J. \textbf{55} (1987), no.~2, 431--474. \MR{894590}
|
||||
|
||||
\bibitem[RW10]{RordamWinter10}
|
||||
Mikael R{\o}rdam and Wilhelm Winter, \emph{The {J}iang-{S}u algebra revisited},
|
||||
J. Reine Angew. Math. \textbf{642} (2010), 129--155. \MR{2658184}
|
||||
|
||||
\bibitem[Sat10]{Sato10}
|
||||
Yasuhiko Sato, \emph{The {R}ohlin property for automorphisms of the
|
||||
{J}iang-{S}u algebra}, J. Funct. Anal. \textbf{259} (2010), no.~2, 453--476.
|
||||
\MR{2644109}
|
||||
|
||||
\bibitem[Sch20]{Schafhauser20}
|
||||
Christopher Schafhauser, \emph{Subalgebras of simple {AF}-algebras}, Ann. of
|
||||
Math. (2) \textbf{192} (2020), no.~2, 309--352. \MR{4151079}
|
||||
|
||||
\bibitem[Sch22]{Schemaitat22}
|
||||
Andr\'{e} Schemaitat, \emph{The {J}iang-{S}u algebra is strongly self-absorbing
|
||||
revisited}, J. Funct. Anal. \textbf{282} (2022), no.~6, Paper No. 109347, 39.
|
||||
\MR{4360358}
|
||||
|
||||
\bibitem[Tik12]{Tikuisis12}
|
||||
Aaron Tikuisis, \emph{Regularity for stably projectionless, simple
|
||||
{C}*-algebras}, J. Funct. Anal. \textbf{263} (2012), no.~5, 1382--1407.
|
||||
\MR{2943734}
|
||||
|
||||
\bibitem[Tik16]{Tikuisis16}
|
||||
\bysame, \emph{{K}-theoretic characterization of {C}*-algebras with
|
||||
approximately inner flip}, Int. Math. Res. Not. IMRN (2016), no.~18,
|
||||
5670--5694. \MR{3567256}
|
||||
|
||||
\bibitem[Tom05]{Toms05}
|
||||
Andrew~S. Toms, \emph{On the independence of {$K$}-theory and stable rank for
|
||||
simple {C}*-algebras}, J. Reine Angew. Math. \textbf{578} (2005), 185--199.
|
||||
\MR{2113894}
|
||||
|
||||
\bibitem[Tom08a]{Toms08b}
|
||||
\bysame, \emph{An infinite family of non-isomorphic {C}*-algebras with
|
||||
identical {$K$}-theory}, Trans. Amer. Math. Soc. \textbf{360} (2008), no.~10,
|
||||
5343--5354. \MR{2415076}
|
||||
|
||||
\bibitem[Tom08b]{Toms08}
|
||||
\bysame, \emph{On the classification problem for nuclear {C}*-algebras}, Ann.
|
||||
of Math. (2) \textbf{167} (2008), no.~3, 1029--1044. \MR{2415391}
|
||||
|
||||
\bibitem[TW07]{TomsWinter07}
|
||||
Andrew~S. Toms and Wilhelm Winter, \emph{Strongly self-absorbing
|
||||
{C}*-algebras}, Trans. Amer. Math. Soc. \textbf{359} (2007), no.~8,
|
||||
3999--4029. \MR{2302521}
|
||||
|
||||
\bibitem[TW08]{TomsWinter08}
|
||||
\bysame, \emph{{$\mathcal{Z}$}-stable {ASH} algebras}, Canad. J. Math.
|
||||
\textbf{60} (2008), no.~3, 703--720. \MR{2414961}
|
||||
|
||||
\bibitem[TW09]{TomsWinter09}
|
||||
\bysame, \emph{The {E}lliott conjecture for {V}illadsen algebras of the first
|
||||
type}, J. Funct. Anal. \textbf{256} (2009), no.~5, 1311--1340. \MR{2490221}
|
||||
|
||||
\bibitem[TWW15]{TomsWhiteWinter15}
|
||||
Andrew~S. Toms, Stuart White, and Wilhelm Winter, \emph{$\mathcal{Z}$-stability
|
||||
and finite-dimensional tracial boundaries}, Int. Math. Res. Not. IMRN (2015),
|
||||
no.~10, 2702--2727. \MR{3352253}
|
||||
|
||||
\bibitem[Vil98]{Villadsen98}
|
||||
Jesper Villadsen, \emph{Simple {C}*-algebras with perforation}, J. Funct. Anal.
|
||||
\textbf{154} (1998), no.~1, 110--116. \MR{1616504}
|
||||
|
||||
\bibitem[Vil99]{Villadsen99}
|
||||
\bysame, \emph{On the stable rank of simple {C}*-algebras}, J. Amer. Math. Soc.
|
||||
\textbf{12} (1999), no.~4, 1091--1102. \MR{1691013}
|
||||
|
||||
\end{thebibliography}
|
||||
File diff suppressed because it is too large
Load Diff
3763
Unitary groups, K-theory and traces/biblio.bib
Normal file
3763
Unitary groups, K-theory and traces/biblio.bib
Normal file
File diff suppressed because it is too large
Load Diff
81
Unitary groups, K-theory and traces/letterfonts.tex
Normal file
81
Unitary groups, K-theory and traces/letterfonts.tex
Normal file
@@ -0,0 +1,81 @@
|
||||
%commands
|
||||
\newcommand{\ms}{\mathscr}
|
||||
\newcommand{\mc}{\mathcal}
|
||||
\newcommand{\mf}{\mathfrak}
|
||||
\newcommand{\nin}{\not\in}
|
||||
\newcommand{\bs}{\backslash}
|
||||
\newcommand{\nsg}{\unlhd}
|
||||
\newcommand{\ov}{\overline}
|
||||
%blackboard
|
||||
\newcommand{\bN}{\mathbb{N}}
|
||||
\newcommand{\bR}{\mathbb{R}}
|
||||
\newcommand{\bZ}{\mathbb{Z}}
|
||||
\newcommand{\bQ}{\mathbb{Q}}
|
||||
\newcommand{\bF}{\mathbb{F}}
|
||||
\newcommand{\bK}{\mathbb{K}}
|
||||
\newcommand{\bG}{\mathbb{G}}
|
||||
\newcommand{\bE}{\mathbb{E}}
|
||||
\newcommand{\bC}{\mathbb{C}}
|
||||
\newcommand{\bV}{\mathbb{V}}
|
||||
\newcommand{\bA}{\mathbb{A}}
|
||||
\newcommand{\bP}{\mathbb{P}}
|
||||
\newcommand{\bD}{\mathbb{D}}
|
||||
\newcommand{\bT}{\mathbb{T}}
|
||||
\newcommand{\bM}{\mathbb{M}}
|
||||
\newcommand{\bB}{\mathbb{B}}
|
||||
\newcommand{\bL}{\mathbb{L}}
|
||||
\newcommand{\bX}{\mathbb{X}}
|
||||
\newcommand{\bY}{\mathbb{Y}}
|
||||
\newcommand{\bI}{\mathbb{I}}
|
||||
|
||||
|
||||
\newcommand{\1}{{\bf 1}}
|
||||
\newcommand{\0}{{\bf 0}}
|
||||
|
||||
%mathcal
|
||||
\newcommand{\cM}{\mathcal{M}}
|
||||
\newcommand{\cN}{\mathcal{N}}
|
||||
\newcommand{\cC}{\mathcal{C}}
|
||||
\newcommand{\cB}{\mathcal{B}}
|
||||
\newcommand{\cS}{\mathcal{S}}
|
||||
\newcommand{\cI}{\mathcal{I}}
|
||||
\newcommand{\cO}{\mathcal{O}}
|
||||
\newcommand{\cP}{\mathcal{P}}
|
||||
\newcommand{\cA}{\mathcal{A}}
|
||||
\newcommand{\cL}{\mathcal{L}}
|
||||
\newcommand{\cF}{\mathcal{F}}
|
||||
\newcommand{\cH}{\mathcal{H}}
|
||||
\newcommand{\cK}{\mathcal{K}}
|
||||
\newcommand{\cD}{\mathcal{D}}
|
||||
\newcommand{\cE}{\mathcal{E}}
|
||||
\newcommand{\cT}{\mathcal{T}}
|
||||
\newcommand{\cZ}{\mathcal{Z}}
|
||||
\newcommand{\cU}{\mathcal{U}}
|
||||
\newcommand{\cJ}{\mathcal{J}}
|
||||
\newcommand{\cG}{\mathcal{G}}
|
||||
\newcommand{\cR}{\mathcal{R}}
|
||||
\newcommand{\cQ}{\mathcal{Q}}
|
||||
\newcommand{\cY}{\mathcal{Y}}
|
||||
%terns
|
||||
\newcommand{\bh}{\mathcal{B}(\mathcal{H})}
|
||||
\newcommand{\bk}{\mathcal{B}(\mathcal{K})}
|
||||
\newcommand{\kh}{\mathcal{K}(\mathcal{H})}
|
||||
\newcommand{\fh}{\mathcal{F}(\mathcal{H})}
|
||||
\newcommand{\sa}{\mathcal{S}(\mathcal{A})}
|
||||
\newcommand{\bx}{\mathcal{B}(\mathbb{X}}
|
||||
\newcommand{\by}{\mathcal{C}(\mathbb{Y}}
|
||||
|
||||
%frak
|
||||
\newcommand{\fX}{\mathfrak{X}}
|
||||
\newcommand{\fY}{\mathfrak{Y}}
|
||||
\newcommand{\fS}{\mathfrak{S}}
|
||||
\newcommand{\fM}{\mathfrak{M}}
|
||||
\newcommand{\fN}{\mathfrak{N}}
|
||||
\newcommand{\fF}{\mathfrak{F}}
|
||||
\newcommand{\fJ}{\mathfrak{J}}
|
||||
\newcommand{\fT}{\mathfrak{T}}
|
||||
\newcommand{\fA}{\mathfrak{A}}
|
||||
\newcommand{\fB}{\mathfrak{B}}
|
||||
\newcommand{\fP}{\mathfrak{P}}
|
||||
\newcommand{\fQ}{\mathfrak{Q}}
|
||||
\newcommand{\fO}{\mathfrak{O}}
|
||||
108
Unitary groups, K-theory and traces/macros.tex
Normal file
108
Unitary groups, K-theory and traces/macros.tex
Normal file
@@ -0,0 +1,108 @@
|
||||
% tensor products
|
||||
\newcommand{\thk}{\cH\otimes\cK}
|
||||
\newcommand{\amb}{\bA \otimes_{\max} \bB}
|
||||
\newcommand{\omax}{\otimes_{\max}}
|
||||
\newcommand{\omin}{\otimes_{\min}}
|
||||
\newcommand{\ovn}{\overline{\otimes}}
|
||||
|
||||
% probability
|
||||
\newcommand{\PS}{(\Omega,\cM,\cP)}
|
||||
\newcommand{\rvf}{f:\Omega \to \bR}
|
||||
\newcommand{\linf}{\cL^{\infty -}\PS}
|
||||
\newcommand{\probc}{\text{Prob}_c(\bR)}
|
||||
\newcommand{\prob}{\text{Prob}(\bR)}
|
||||
|
||||
% maps
|
||||
\newcommand{\into}{\hookrightarrow}
|
||||
\newcommand{\onto}{\twoheadrightarrow}
|
||||
\newcommand{\act}{\curvearrowright}
|
||||
|
||||
\newcommand{\ee}{\varepsilon}
|
||||
\newcommand{\sm}{\setminus}
|
||||
\newcommand{\Om}{\Omega}
|
||||
\newcommand{\simi}{\sim_{\infty}}
|
||||
|
||||
%limits
|
||||
\newcommand{\limsupn}{\underset{n}{\text{limsup}}}
|
||||
\newcommand{\sotc}{\stackrel{\text{SOT}}{\to}}
|
||||
\newcommand{\wotc}{\stackrel{\text{WOT}}{\to}}
|
||||
\newcommand{\sotlim}{\text{SOT-}\lim}
|
||||
\newcommand{\wotlim}{\text{WOT-}\lim}
|
||||
|
||||
% useful for nuclear, lifting maps, etc....
|
||||
\newcommand{\tphi}{\tilde{\phi}}
|
||||
\newcommand{\tpsi}{\tilde{\psi}}
|
||||
\newcommand{\hphi}{\hat{\phi}}
|
||||
\newcommand{\hpsi}{\hat{\psi}}
|
||||
\newcommand{\phil}{\phi_\lambda}
|
||||
\newcommand{\psil}{\psi_\lambda}
|
||||
\newcommand{\mkl}{M_{k(\lambda)}}
|
||||
\newcommand{\mkn}{M_{k(n)}}
|
||||
\newcommand{\phin}{\phi_n}
|
||||
\newcommand{\psin}{\psi_n}
|
||||
\newcommand{\vphi}{\varphi}
|
||||
|
||||
\newcommand{\floor}[1]{\lfloor #1 \rfloor}
|
||||
|
||||
\newcommand{\supp}{\text{supp}}
|
||||
\newcommand{\wk}{\text{wk}}
|
||||
\newcommand{\Tr}{\text{Tr}}
|
||||
\newcommand{\dist}{\text{dist}}
|
||||
\newcommand{\rank}{\text{rank}}
|
||||
\newcommand{\sgn}{\text{sgn}}
|
||||
|
||||
\newcommand{\ev}{\text{ev}}
|
||||
\newcommand{\spr}{\text{spr}}
|
||||
\newcommand{\tD}{\tilde{\Delta}}
|
||||
\newcommand{\uv}{\underline}
|
||||
\newcommand{\tr}{\text{tr}}
|
||||
\newcommand{\id}{\text{id}}
|
||||
\newcommand{\ad}{\text{ad}}
|
||||
\newcommand{\Ad}{\text{Ad}}
|
||||
|
||||
\newcommand*{\tc}[2]{(\ov{#1}^{#2},#2)}
|
||||
|
||||
% Types for von Neumann algebras
|
||||
\newcommand{\I}{\text{I}}
|
||||
\newcommand{\II}{\text{II}}
|
||||
\newcommand{\III}{\text{III}}
|
||||
\newcommand{\IIIl}{\text{III}_{\lambda}}
|
||||
% note the last character of this last one is an "ell", its just that my font has capital i and lower-case l being the same character.....
|
||||
|
||||
|
||||
%operators
|
||||
% basic algebra
|
||||
\DeclareMathOperator{\Ann}{Ann}
|
||||
\DeclareMathOperator{\Hom}{Hom}
|
||||
\DeclareMathOperator{\End}{End}
|
||||
\DeclareMathOperator{\Aut}{Aut}
|
||||
\DeclareMathOperator{\im}{im}
|
||||
|
||||
% K-theory and regularity for C*-algebras
|
||||
\DeclareMathOperator{\Ell}{Ell}
|
||||
\DeclareMathOperator{\Aff}{Aff}
|
||||
\DeclareMathOperator{\KT}{KT}
|
||||
\DeclareMathOperator{\Cu}{Cu}
|
||||
\DeclareMathOperator{\ka}{K^{\text{alg}}}
|
||||
\DeclareMathOperator{\ku}{K^\text{alg,u}}
|
||||
\DeclareMathOperator{\hka}{\ov{K}_1^{\text{alg}}}
|
||||
\DeclareMathOperator{\hku}{\ov{K}_1^{\text{alg,u}}}
|
||||
|
||||
\newcommand{\MvN}{\sim_{\text{MvN}}}
|
||||
|
||||
|
||||
% exponential rank and length for C*-algebras
|
||||
\newcommand{\cer}{\text{cer}}
|
||||
\newcommand{\cel}{\text{cel}}
|
||||
|
||||
% KK-theory and Ext
|
||||
\DeclareMathOperator{\KK}{KK}
|
||||
\DeclareMathOperator{\KKn}{KK_{\text{nuc}}}
|
||||
\DeclareMathOperator{\KKs}{KK_{\text{sep}}}
|
||||
\DeclareMathOperator{\Ext}{Ext}
|
||||
\DeclareMathOperator{\Extn}{Ext_{\text{nuc}}}
|
||||
|
||||
|
||||
% direct/inverse limits
|
||||
\newcommand{\dlim}{\underset{\to}{\lim}}
|
||||
\newcommand{\ilim}{\underset{\leftarrow}{\lim}}
|
||||
53
Unitary groups, K-theory and traces/preabmle.tex
Normal file
53
Unitary groups, K-theory and traces/preabmle.tex
Normal file
@@ -0,0 +1,53 @@
|
||||
% change this depending on what you're doing.
|
||||
%\documentclass[11pt]{amsart}
|
||||
|
||||
%packages
|
||||
%\usepackage[margin=1.5in]{geometry}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[pdftex]{graphicx}
|
||||
\usepackage{tikz-cd}
|
||||
\usepackage{blindtext}
|
||||
|
||||
\usepackage{hyperref,xcolor}
|
||||
\usepackage{amsmath,amsfonts,amssymb,amsthm,color,mathtools,enumitem}
|
||||
\usepackage{epstopdf}
|
||||
\usepackage{polynom}
|
||||
\usepackage{babel}
|
||||
\usepackage{mathrsfs}
|
||||
\usepackage{chngcntr}
|
||||
\usepackage{verbatim}
|
||||
|
||||
\hypersetup{
|
||||
colorlinks=true,
|
||||
linkcolor=blue,
|
||||
citecolor=cyan,
|
||||
urlcolor=cyan}
|
||||
|
||||
\usepackage{hyphenat}
|
||||
|
||||
%theorems
|
||||
\newtheorem{theorem}{Theorem}[section]
|
||||
\newtheorem{defn}[theorem]{Definition}
|
||||
\newtheorem{prop}[theorem]{Proposition}
|
||||
\newtheorem{cor}[theorem]{Corollary}
|
||||
\newtheorem{lemma}[theorem]{Lemma}
|
||||
\newtheorem{example}[theorem]{Example}
|
||||
\newtheorem{remark}[theorem]{Remark}
|
||||
\newtheorem{question}[theorem]{Question}
|
||||
|
||||
\newtheorem*{resultA}{Theorem A}
|
||||
\newtheorem*{resultB}{Theorem B}
|
||||
\newtheorem*{resultC}{Theorem C}
|
||||
\newtheorem*{resultD}{Theorem D}
|
||||
\newtheorem*{resultE}{Theorem E}
|
||||
\newtheorem*{resultF}{Theorem F}
|
||||
|
||||
%\newtheorem{result}{Theorem}[chapter]
|
||||
\newtheorem{result}{Theorem}
|
||||
%\renewcommand*{\theresult}{\arabic{chapter}.\Alph{result}}
|
||||
\renewcommand*{\theresult}{\Alph{result}}
|
||||
\newtheorem{resultcor}[result]{Corollary}
|
||||
|
||||
\numberwithin{equation}{section}
|
||||
|
||||
202
Unitary groups, K-theory and traces/unitary_group_homs.bbl
Normal file
202
Unitary groups, K-theory and traces/unitary_group_homs.bbl
Normal file
@@ -0,0 +1,202 @@
|
||||
\newcommand{\etalchar}[1]{$^{#1}$}
|
||||
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
|
||||
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
|
||||
% \MRhref is called by the amsart/book/proc definition of \MR.
|
||||
\providecommand{\MRhref}[2]{%
|
||||
\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
|
||||
}
|
||||
\providecommand{\href}[2]{#2}
|
||||
\begin{thebibliography}{ARBG12}
|
||||
|
||||
\bibitem[AM03]{AraMathieubook}
|
||||
Pere Ara and Martin Mathieu, \emph{Local multipliers of {C}*-algebras},
|
||||
Springer Monographs in Mathematics, Springer-Verlag London, Ltd., London,
|
||||
2003. \MR{1940428}
|
||||
|
||||
\bibitem[ARBG12]{AlBoothGiordano12}
|
||||
Ahmed Al-Rawashdeh, Andrew Booth, and Thierry Giordano, \emph{Unitary groups as
|
||||
a complete invariant}, J. Funct. Anal. \textbf{262} (2012), no.~11,
|
||||
4711--4730. \MR{2913684}
|
||||
|
||||
\bibitem[Boo98]{Booth98}
|
||||
Andrew Booth, \emph{The unitary group as a complete invariant for simple unital
|
||||
{AF} algebras}, Master's thesis, University of Ottawa (Canada), 1998.
|
||||
|
||||
\bibitem[Bre93]{Bresar93}
|
||||
Matej Bre\v{s}ar, \emph{Commuting traces of biadditive mappings,
|
||||
commutativity-preserving mappings and {L}ie mappings}, Trans. Amer. Math.
|
||||
Soc. \textbf{335} (1993), no.~2, 525--546. \MR{1069746}
|
||||
|
||||
\bibitem[CET{\etalchar{+}}21]{CETWW21}
|
||||
Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White, and Wilhelm
|
||||
Winter, \emph{Nuclear dimension of simple {C}*-algebras}, Invent. Math.
|
||||
\textbf{224} (2021), no.~1, 245--290. \MR{4228503}
|
||||
|
||||
\bibitem[CGS{\etalchar{+}}23]{CGSTW23}
|
||||
Jos{\'e}~R. Carri{\'o}n, James Gabe, Christopher Schafhauser, Aaron Tikuisis,
|
||||
and Stuart White, \emph{Classifying *-homomorphisms {I}: Unital simple
|
||||
nuclear {C}*-algebras}, arXiv:2307.06480 (2023).
|
||||
|
||||
\bibitem[Con85]{Conway19}
|
||||
John~B. Conway, \emph{A course in functional analysis}, Graduate Texts in
|
||||
Mathematics, vol.~96, Springer-Verlag, New York, 1985. \MR{768926}
|
||||
|
||||
\bibitem[CP79]{CuntzPedersen79}
|
||||
Joachim Cuntz and Gert~K. Pedersen, \emph{Equivalence and traces on
|
||||
{C}*-algebras}, Journal of Functional Analysis \textbf{33} (1979), no.~2,
|
||||
135--164.
|
||||
|
||||
\bibitem[CR23]{ChandRobert23}
|
||||
Abhinav Chand and Leonel Robert, \emph{Simplicity, bounded normal generation,
|
||||
and automatic continuity of groups of unitaries}, Adv. Math. \textbf{415}
|
||||
(2023), Paper No. 108894, 52. \MR{4543451}
|
||||
|
||||
\bibitem[Dad95]{Dadarlat95}
|
||||
Marius Dadarlat, \emph{Reduction to dimension three of local spectra of real
|
||||
rank zero {C}*-algebras}, J. Reine Angew. Math. \textbf{460} (1995),
|
||||
189--212. \MR{1316577}
|
||||
|
||||
\bibitem[dlH13]{dlHarpe13}
|
||||
Pierre de~la Harpe, \emph{Fuglede--{K}adison determinant: theme and
|
||||
variations}, Proc. Natl. Acad. Sci. USA \textbf{110} (2013), no.~40,
|
||||
15864--15877. \MR{3363445}
|
||||
|
||||
\bibitem[dlHS84a]{dlHS84a}
|
||||
Pierre de~la Harpe and Georges Skandalis, \emph{D\'{e}terminant associ\'{e} \`a
|
||||
une trace sur une alg\'{e}bre de {B}anach}, Ann. Inst. Fourier (Grenoble)
|
||||
\textbf{34} (1984), no.~1, 241--260. \MR{743629}
|
||||
|
||||
\bibitem[dlHS84b]{dlHS84b}
|
||||
\bysame, \emph{Produits finis de commutateurs dans les {C}*-alg\`ebres}, Ann.
|
||||
Inst. Fourier (Grenoble) \textbf{34} (1984), no.~4, 169--202. \MR{766279}
|
||||
|
||||
\bibitem[Dye53]{Dye53}
|
||||
H.~A. Dye, \emph{The unitary structure in finite rings of operators}, Duke
|
||||
Math. J. \textbf{20} (1953), 55--69. \MR{52695}
|
||||
|
||||
\bibitem[Dye55]{Dye55}
|
||||
\bysame, \emph{On the geometry of projections in certain operator algebras},
|
||||
Ann. of Math. (2) \textbf{61} (1955), 73--89. \MR{66568}
|
||||
|
||||
\bibitem[EGLN15]{EGLN15}
|
||||
George~A. Elliott, Guihua Gong, H.~Lin, and Zhuang Niu, \emph{On the
|
||||
classification of simple amenable {C}*-algebras with finite decomposition
|
||||
rank, {II}}, arXiv:1507.03437 (2015).
|
||||
|
||||
\bibitem[Fol16]{Follandbook16}
|
||||
Gerald~B. Folland, \emph{A course in abstract harmonic analysis}, second ed.,
|
||||
Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2016. \MR{3444405}
|
||||
|
||||
\bibitem[GLN20a]{GongLinNiu20I}
|
||||
Guihua Gong, Huaxin Lin, and Zhuang Niu, \emph{A classification of finite
|
||||
simple amenable $\mathcal{Z}$-stable {C}*-algebras, {I}: {C}*-algebras with
|
||||
generalized tracial rank one}, C. R. Math. Acad. Sci. Soc. R. Can.
|
||||
\textbf{42} (2020), no.~3, 63--450. \MR{4215379}
|
||||
|
||||
\bibitem[GLN20b]{GongLinNiu20II}
|
||||
\bysame, \emph{A classification of finite simple amenable $\mathcal{Z}$-stable
|
||||
{C}*-algebras, {II}: {C}*-algebras with rational generalized tracial rank
|
||||
one}, C. R. Math. Acad. Sci. Soc. R. Can. \textbf{42} (2020), no.~4,
|
||||
451--539. \MR{4215380}
|
||||
|
||||
\bibitem[Gon97]{Gong97}
|
||||
Guihua Gong, \emph{On inductive limits of matrix algebras over
|
||||
higher-dimensional spaces. {I}, {II}}, Math. Scand. \textbf{80} (1997),
|
||||
no.~1, 41--55, 56--100. \MR{1466905}
|
||||
|
||||
\bibitem[Goo86]{Goodearlbook}
|
||||
Kenneth~R. Goodearl, \emph{Partially ordered abelian groups with
|
||||
interpolation}, Mathematical Surveys and Monographs, vol.~20, American
|
||||
Mathematical Society, Providence, RI, 1986. \MR{845783}
|
||||
|
||||
\bibitem[GS16]{GiordanoSierakowski16}
|
||||
Thierry Giordano and Adam Sierakowski, \emph{The general linear group as a
|
||||
complete invariant for {C}*-algebras}, J. Operator Theory \textbf{76} (2016),
|
||||
no.~2, 249--269. \MR{3552377}
|
||||
|
||||
\bibitem[Hal15]{HallBook}
|
||||
Brian Hall, \emph{Lie groups, {L}ie algebras, and representations}, second ed.,
|
||||
Graduate Texts in Mathematics, vol. 222, Springer, Cham, 2015, An elementary
|
||||
introduction. \MR{3331229}
|
||||
|
||||
\bibitem[HM14]{HatoriMolnar14}
|
||||
Osamu Hatori and Lajos Moln\'{a}r, \emph{Isometries of the unitary groups and
|
||||
{T}hompson isometries of the spaces of invertible positive elements in
|
||||
{C}*-algebras}, J. Math. Anal. Appl. \textbf{409} (2014), no.~1, 158--167.
|
||||
\MR{3095026}
|
||||
|
||||
\bibitem[Jia97]{Jiang97}
|
||||
Xinhui Jiang, \emph{Nonstable {K}-theory for $\mathcal{Z}$-stable
|
||||
{C}*-algebras}, arXiv preprint math/9707228 (1997).
|
||||
|
||||
\bibitem[Ng14]{Ng14}
|
||||
Ping~W. Ng, \emph{The kernel of the determinant map on certain simple
|
||||
{C}*-algebras}, J. Operator Theory \textbf{71} (2014), no.~2, 341--379.
|
||||
\MR{3214642}
|
||||
|
||||
\bibitem[NR17]{NgRobert17}
|
||||
Ping~W. Ng and Leonel Robert, \emph{The kernel of the determinant map on pure
|
||||
{C}*-algebras}, Houston J. Math. \textbf{43} (2017), no.~1, 139--168.
|
||||
\MR{3647937}
|
||||
|
||||
\bibitem[Pat83]{Paterson83}
|
||||
Alan L.~T. Paterson, \emph{Harmonic analysis on unitary groups}, J. Funct.
|
||||
Anal. \textbf{53} (1983), no.~3, 203--223. \MR{724026}
|
||||
|
||||
\bibitem[Pau02]{Paulsenbook}
|
||||
Vern Paulsen, \emph{Completely bounded maps and operator algebras}, Cambridge
|
||||
Studies in Advanced Mathematics, vol.~78, Cambridge University Press,
|
||||
Cambridge, 2002. \MR{1976867}
|
||||
|
||||
\bibitem[Phi92]{Phillips92}
|
||||
N.~Christopher Phillips, \emph{The rectifiable metric on the space of
|
||||
projections in a {C}*-algebra}, Internat. J. Math. \textbf{3} (1992), no.~5,
|
||||
679--698. \MR{1189681}
|
||||
|
||||
\bibitem[Phi00]{Phillips00}
|
||||
\bysame, \emph{A classification theorem for nuclear purely infinite simple
|
||||
{C}*-algebras}, Doc. Math. \textbf{5} (2000), 49--114. \MR{1745197}
|
||||
|
||||
\bibitem[Rie87]{Rieffel87}
|
||||
Marc~A. Rieffel, \emph{The homotopy groups of the unitary groups of
|
||||
noncommutative tori}, J. Operator Theory \textbf{17} (1987), no.~2, 237--254.
|
||||
\MR{887221}
|
||||
|
||||
\bibitem[RLL00]{RordamKBook}
|
||||
Mikael R{\o}rdam, Flemming Larsen, and Niels~J. Laustsen, \emph{An introduction
|
||||
to {K}-theory for {C}*-algebras}, London Mathematical Society Student Texts,
|
||||
vol.~49, Cambridge University Press, Cambridge, 2000. \MR{1783408}
|
||||
|
||||
\bibitem[R{\o}r02]{RordamBook}
|
||||
Mikael R{\o}rdam, \emph{Classification of nuclear, simple {C}*-algebras},
|
||||
Classification of nuclear {C}*-algebras. {E}ntropy in operator algebras,
|
||||
Encyclopaedia Math. Sci., vol. 126, Springer, Berlin, 2002, pp.~1--145.
|
||||
\MR{1878882}
|
||||
|
||||
\bibitem[Sak55]{Sakai55}
|
||||
Sh\^{o}ichir\^{o} Sakai, \emph{On the group isomorphism of unitary groups in
|
||||
{AW}*-algebras}, Tohoku Math. J. (2) \textbf{7} (1955), 87--95. \MR{73139}
|
||||
|
||||
\bibitem[Sak12]{Sakaibook}
|
||||
\bysame, \emph{{C}*-algebras and {W}*-algebras}, Springer Science \& Business
|
||||
Media, 2012.
|
||||
|
||||
\bibitem[Sch84]{SchochetIV}
|
||||
Claude Schochet, \emph{Topological methods for {C}*-algebras. {IV}. {M}od {$p$}
|
||||
homology}, Pacific J. Math. \textbf{114} (1984), no.~2, 447--468. \MR{757511}
|
||||
|
||||
\bibitem[Tho93]{Thomsen93}
|
||||
Klaus Thomsen, \emph{Finite sums and products of commutators in inductive limit
|
||||
{C}*-algebras}, Ann. Inst. Fourier (Grenoble) \textbf{43} (1993), no.~1,
|
||||
225--249. \MR{1209702}
|
||||
|
||||
\bibitem[Tho95]{Thomsen95}
|
||||
\bysame, \emph{Traces, unitary characters and crossed products by
|
||||
{$\mathbb{Z}$}}, Publ. Res. Inst. Math. Sci. \textbf{31} (1995), no.~6,
|
||||
1011--1029. \MR{1382564}
|
||||
|
||||
\bibitem[Yen56]{Yen56}
|
||||
Ti~Yen, \emph{Isomorphism of unitary groups in {AW}*-algebras}, Tohoku Math. J.
|
||||
(2) \textbf{8} (1956), 275--280. \MR{89376}
|
||||
|
||||
\end{thebibliography}
|
||||
1029
Unitary groups, K-theory and traces/unitary_group_homs.tex
Normal file
1029
Unitary groups, K-theory and traces/unitary_group_homs.tex
Normal file
File diff suppressed because it is too large
Load Diff
15
Unitary groups, K-theory and traces/unitary_group_homs.toc
Normal file
15
Unitary groups, K-theory and traces/unitary_group_homs.toc
Normal file
@@ -0,0 +1,15 @@
|
||||
\babel@toc {nil}{}\relax
|
||||
\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{section.1}%
|
||||
\setcounter {tocdepth}{0}
|
||||
\contentsline {section}{\tocsection {}{}{Acknowledgements}}{4}{section*.2}%
|
||||
\setcounter {tocdepth}{1}
|
||||
\contentsline {section}{\tocsection {}{2}{Preliminaries and notation}}{4}{section.2}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.1}{Notation}}{4}{subsection.2.1}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.2}{The de la Harpe--Skandalis determinant and Thomsen's variant}}{5}{subsection.2.2}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.3}{Thomsen's variant}}{8}{subsection.2.3}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.4}{The $KT_u$-invariant}}{9}{subsection.2.4}%
|
||||
\contentsline {section}{\tocsection {}{3}{Continuous unitary group homomorphisms and traces}}{9}{section.3}%
|
||||
\contentsline {section}{\tocsection {}{4}{The order on $\Aff T(\cdot )$}}{19}{section.4}%
|
||||
\contentsline {section}{\tocsection {}{5}{A slight general linear variant}}{25}{section.5}%
|
||||
\contentsline {section}{\tocsection {}{6}{Final remarks and open questions}}{28}{section.6}%
|
||||
\contentsline {section}{\tocsection {}{}{References}}{29}{section*.3}%
|
||||
@@ -0,0 +1,127 @@
|
||||
\newcommand{\etalchar}[1]{$^{#1}$}
|
||||
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
|
||||
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
|
||||
% \MRhref is called by the amsart/book/proc definition of \MR.
|
||||
\providecommand{\MRhref}[2]{%
|
||||
\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
|
||||
}
|
||||
\providecommand{\href}[2]{#2}
|
||||
\begin{thebibliography}{CGS{\etalchar{+}}23}
|
||||
|
||||
\bibitem[AS00]{AguilarSocolovsky00}
|
||||
Marcelo~A. Aguilar and Miguel Socolovsky, \emph{Universal covering group of
|
||||
{${\rm U}(n)$} and projective representations}, Internat. J. Theoret. Phys.
|
||||
\textbf{39} (2000), no.~4, 997--1013. \MR{1779169}
|
||||
|
||||
\bibitem[ASS71]{ArakiSmithSmith71}
|
||||
Huzihiro Araki, Mi-Soo~B. Smith, and Larry Smith, \emph{On the homotopical
|
||||
significance of the type of von {N}eumann algebra factors}, Comm. Math. Phys.
|
||||
\textbf{22} (1971), 71--88. \MR{288587}
|
||||
|
||||
\bibitem[Bre70]{Breuer70}
|
||||
M.~Breuer, \emph{On the homotopy type of the group of regular elements of
|
||||
semifinite von {N}eumann algebras}, Math. Ann. \textbf{185} (1970), 61--74.
|
||||
\MR{264408}
|
||||
|
||||
\bibitem[Bro67]{Broise67}
|
||||
Michel Broise, \emph{Commutateurs dans le groupe unitaire d'un facteur}, J.
|
||||
Math. Pures Appl. (9) \textbf{46} (1967), 299--312. \MR{223900}
|
||||
|
||||
\bibitem[BW76]{BruningWillgerodt76}
|
||||
Jochen Br\"uning and Wolfgang Willgerodt, \emph{Eine {V}erallgemeinerung eines
|
||||
{S}atzes von {N}. {K}uiper}, Math. Ann. \textbf{220} (1976), no.~1, 47--58.
|
||||
\MR{405483}
|
||||
|
||||
\bibitem[CGS{\etalchar{+}}23]{CGSTW23}
|
||||
Jos{\'e}~R. Carri{\'o}n, James Gabe, Christopher Schafhauser, Aaron Tikuisis,
|
||||
and Stuart White, \emph{Classifying *-homomorphisms {I}: unital simple
|
||||
nuclear {C}*-algebras}, arXiv:2307.06480 (2023).
|
||||
|
||||
\bibitem[dlH13]{dlHarpe13}
|
||||
Pierre de~la Harpe, \emph{Fuglede--{K}adison determinant: theme and
|
||||
variations}, Proc. Natl. Acad. Sci. USA \textbf{110} (2013), no.~40,
|
||||
15864--15877. \MR{3363445}
|
||||
|
||||
\bibitem[dlHM83]{dlHarpeMcDuff83}
|
||||
Pierre de~la Harpe and Dusa McDuff, \emph{Acyclic groups of automorphisms},
|
||||
Comment. Math. Helv. \textbf{58} (1983), no.~1, 48--71. \MR{699006}
|
||||
|
||||
\bibitem[dlHS84]{dlHS84a}
|
||||
Pierre de~la Harpe and Georges Skandalis, \emph{D\'{e}terminant associ\'{e} \`a
|
||||
une trace sur une alg\'{e}bre de {B}anach}, Ann. Inst. Fourier (Grenoble)
|
||||
\textbf{34} (1984), no.~1, 241--260. \MR{743629}
|
||||
|
||||
\bibitem[FdlH80]{FackdlHarpe80}
|
||||
Thierry Fack and Pierre de~la Harpe, \emph{Sommes de commutateurs dans les
|
||||
alg\`ebres de von {N}eumann finies continues}, Ann. Inst. Fourier (Grenoble)
|
||||
\textbf{30} (1980), no.~3, 49--73. \MR{597017}
|
||||
|
||||
\bibitem[FK52]{FugledeKadison52}
|
||||
Bent Fuglede and Richard~V. Kadison, \emph{Determinant theory in finite
|
||||
factors}, Ann. of Math. (2) \textbf{55} (1952), 520--530. \MR{52696}
|
||||
|
||||
\bibitem[Han78]{Handelman78}
|
||||
David Handelman, \emph{{$K_0$} of von {N}eumann and {AF} {C}*-algebras}, Quart.
|
||||
J. Math. Oxford Ser. (2) \textbf{29} (1978), no.~116, 427--441. \MR{517736}
|
||||
|
||||
\bibitem[Hat02]{HatcherAT}
|
||||
Allen Hatcher, \emph{Algebraic topology}, Cambridge University Press,
|
||||
Cambridge, 2002. \MR{1867354}
|
||||
|
||||
\bibitem[JS99]{JiangSu99}
|
||||
Xinhui Jiang and Hongbing Su, \emph{On a simple unital projectionless
|
||||
{C}*-algebra}, Amer. J. Math. \textbf{121} (1999), no.~2, 359--413.
|
||||
\MR{1680321}
|
||||
|
||||
\bibitem[Ker70]{Kervaire70}
|
||||
Michel~A. Kervaire, \emph{Multiplicateurs de schur et k-th{\'e}orie},
|
||||
pp.~212--225, Springer Berlin Heidelberg, Berlin, Heidelberg, 1970.
|
||||
|
||||
\bibitem[KR86]{KadisonRingroseII}
|
||||
Richard~V. Kadison and John~R. Ringrose, \emph{Fundamentals of the theory of
|
||||
operator algebras. {V}ol. {II}}, Pure and Applied Mathematics, vol. 100,
|
||||
Academic Press, Inc., Orlando, FL, 1986, Advanced theory. \MR{859186}
|
||||
|
||||
\bibitem[Kui65]{Kuiper65}
|
||||
Nicolaas~H. Kuiper, \emph{The homotopy type of the unitary group of {H}ilbert
|
||||
space}, Topology \textbf{3} (1965), 19--30. \MR{179792}
|
||||
|
||||
\bibitem[NT96]{NielsenThomsen96}
|
||||
Karen~E. Nielsen and Klaus Thomsen, \emph{Limits of circle algebras},
|
||||
Exposition. Math. \textbf{14} (1996), no.~1, 17--56. \MR{1382013}
|
||||
|
||||
\bibitem[Rie87]{Rieffel87}
|
||||
Marc~A. Rieffel, \emph{The homotopy groups of the unitary groups of
|
||||
noncommutative tori}, J. Operator Theory \textbf{17} (1987), no.~2, 237--254.
|
||||
\MR{887221}
|
||||
|
||||
\bibitem[RLL00]{RordamKBook}
|
||||
Mikael R{\o}rdam, Flemming Larsen, and Niels~J. Laustsen, \emph{An introduction
|
||||
to {K}-theory for {C}*-algebras}, London Mathematical Society Student Texts,
|
||||
vol.~49, Cambridge University Press, Cambridge, 2000. \MR{1783408}
|
||||
|
||||
\bibitem[Rot88]{RotmanATBook}
|
||||
Joseph~J. Rotman, \emph{An introduction to algebraic topology}, Graduate Texts
|
||||
in Mathematics, vol. 119, Springer-Verlag, New York, 1988. \MR{957919}
|
||||
|
||||
\bibitem[Sch84a]{Schroder84real}
|
||||
Herbert Schr{\"o}der, \emph{On the homotopy type of the regular group of a real
|
||||
{W}*-algebra}, Integral Equations and Operator Theory \textbf{9} (1984),
|
||||
694--705.
|
||||
|
||||
\bibitem[Sch84b]{Schroder84}
|
||||
\bysame, \emph{On the homotopy type of the regular group of a {W}*-algebra.},
|
||||
Mathematische Annalen \textbf{267} (1984), 271--278.
|
||||
|
||||
\bibitem[Tak02]{TakesakiI}
|
||||
Masamichi Takesaki, \emph{Theory of operator algebras. {I}}, Encyclopaedia of
|
||||
Mathematical Sciences, vol. 124, Springer-Verlag, Berlin, 2002, Reprint of
|
||||
the first (1979) edition, Operator Algebras and Non-commutative Geometry, 5.
|
||||
\MR{1873025}
|
||||
|
||||
\bibitem[Tho95]{Thomsen95}
|
||||
Klaus Thomsen, \emph{Traces, unitary characters and crossed products by
|
||||
{$\mathbb{Z}$}}, Publ. Res. Inst. Math. Sci. \textbf{31} (1995), no.~6,
|
||||
1011--1029. \MR{1382564}
|
||||
|
||||
\end{thebibliography}
|
||||
@@ -0,0 +1,415 @@
|
||||
%\documentclass[12pt]{amsart}
|
||||
\documentclass{amsart}
|
||||
|
||||
%\usepackage[margin=1.5in]{geometry}
|
||||
|
||||
\include{preabmle}
|
||||
\include{macros}
|
||||
\include{letterfonts}
|
||||
|
||||
\begin{document}
|
||||
\title[Universal covering groups of unitary groups of W*-algebras]{Universal covering groups of unitary groups of von Neumann algebras}
|
||||
|
||||
%Pawel 0000-0002-6941-264X
|
||||
\author[Pawel Sarkowicz]{Pawel Sarkowicz}
|
||||
\address[Pawel Sarkowicz]{Department of Pure Mathematics, University of Waterloo, N2L 3G1, Canada}
|
||||
\email{\href{mailto:psarkowi@uwaterloo.ca}{psarkowi@uwaterloo.ca}}
|
||||
|
||||
\begin{abstract}
|
||||
We give a short and simple proof, utilizing the pre-determinant of P. de la Harpe and G. Skandalis, that the universal covering group of the unitary group of a $\II_1$ von Neumann algebra $\cM$, when equipped with the norm topology, splits algebraically as the direct product of the self-adjoint part of its center and the unitary group $U(\cM)$. Thus, when $\cM$ is a $\II_1$ factor, the universal covering group of $U(\cM)$ is algebraically isomorphic to the direct product $\bR \times U(\cM)$.
|
||||
In particular, the question of P. de la Harpe and D. McDuff of whether the universal cover of $U(\cM)$ is a perfect group is answered in the negative.
|
||||
\end{abstract}
|
||||
|
||||
\maketitle
|
||||
\tableofcontents
|
||||
|
||||
\section{Introduction}
|
||||
|
||||
The universal covering group of a topological group, recoverable as the space of paths modulo null-homotopy when it is sufficiently connected, gives rise to an extension of the group by its fundamental group.
|
||||
The universal covering group of $U(n)$, the unitary group of the $n \times n$ matrices, is known to homeomorphically isomorphic to $SU(n) \rtimes \bR$, where $SU(n)$ is the special unitary group consisting of unitaries with trivial determinant.
|
||||
Indeed, $U(n)$ itself is the semidirect product $SU(n) \rtimes \bT$ as can see the from the topologically split extension
|
||||
\begin{equation}\label{eq:U(n) splitting}
|
||||
\begin{tikzcd}
|
||||
1 \arrow[r] & SU(n) \arrow[r] & U(n) \arrow[r, "\det"] & \bT \arrow[l, bend right=49] \arrow[r] & 1.
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
Therefore $U(n)$ is covered by $SU(n) \times \bT$, which is further covered by $SU(n) \times \bR$, and this must necessarily be the universal cover, as a topological space, since it is simply connected.
|
||||
The isomorphism of the universal cover, as a topological group, with the semidirect product $SU(n) \rtimes \bR$ was given in \cite{AguilarSocolovsky00}.
|
||||
|
||||
If $\cM$ is an infinite von Neumann factor, then it is known that the universal covering group is in fact just $U(\cM)$ due to the fact that the fundamental group will be trivial -- see \cite{Kuiper65,Breuer70,ArakiSmithSmith71,BruningWillgerodt76,Handelman78,Schroder84,Schroder84real} for results on homotopy groups related to von Neumann algebras.
|
||||
Therefore to understand the universal covering group of unitary groups of von Neumann factors, it remains to study them in the $\II_1$ setting.
|
||||
We show that the universal covering group of $U(\cM)$, where $\cM$ is any $\II_1$ von Neumann algebra, exhibits similar and even simpler algebraic behaviour to that of the universal covering group of $U(n)$.
|
||||
|
||||
|
||||
\begin{result}
|
||||
Let $\cM$ be a type $\II_1$ von Neumann algebra. Then the universal covering group of $U(\cM)$ exists and splits algebraically as the direct product
|
||||
\begin{equation}
|
||||
\widetilde{U(\cM)} \simeq Z(\cM)_{sa} \times U(\cM).
|
||||
\end{equation}
|
||||
In particular, when $\cM$ is a $\II_1$ factor,
|
||||
\begin{equation}
|
||||
\widetilde{U(\cM)} \simeq \bR \times U(\cM).
|
||||
\end{equation}
|
||||
\end{result}
|
||||
|
||||
We however note that this is not a topological product. Indeed, $\pi_1(U(\cM))$ is viewed as a discrete subset. Even if $\bR$ was equipped with its standard topology, $U(\cM)$ is not simply connected in the $\II_1$ setting, so that the product space would not be.
|
||||
|
||||
One observation is that there is a way to define a determinant map on the group of invertibles of a $\II_1$ factor $\cM$ via the Fuglede-Kadison determinant \cite{FugledeKadison52} or the de la Harpe-Skandalis determinant \cite{dlHS84a} (they are related -- see \cite{dlHarpe13} for exposition).
|
||||
Restricting this map to the unitary group, it is a feature that this restriction gives the trivial map.
|
||||
In particular, if one were to define the \emph{special unitary group} of $\cM$ to be those unitaries in $\cM$ which have trivial determinant, we would have that $SU(\cM) = U(\cM)$, and so the splitting above can be viewed as the direct product of $\bR$ with the special unitary group of $\cM$.
|
||||
In this sense, this theorem above is an algebraic generalization of the fact that the unitary group $U(n)$ has covering group $SU(n) \rtimes \bR$.
|
||||
|
||||
In \cite{dlHarpeMcDuff83}, de la Harpe and McDuff examined the homology groups of certain automorphism groups arising in operator algebras.
|
||||
Among other things, they showed that the unitary groups of properly infinite von Neumann algebras are acyclic -- that is, all of their integral homology groups vanish.
|
||||
The unitary group of a $\II_1$ factor $\cM$ has vanishing first integral homology group (since it is perfect -- see \cite{Broise67,FackdlHarpe80}), but it came into question whether or not the second integral homology group of $U(\cM)$ vanishes.
|
||||
If one could show that the universal covering group $\widetilde{U(\cM)}$ was perfect, then this group would be a cover in the algebraic sense \cite{Kervaire70} and there would be potential for non-triviality of the second homology group.
|
||||
However, as a consequence of the main theorem, we answer the question about the universal covering being perfect in the negative.
|
||||
|
||||
\begin{resultcor}
|
||||
Let $\cM$ be a $\II_1$ factor. Then the universal covering group of $U(\cM)$ is not a perfect group.
|
||||
\end{resultcor}
|
||||
The question of the whether or not the second integral homology group (or all of the higher integral homology groups) of $U(\cM)$ is trivial, where $\cM$ is a $\II_1$ factor, remains open.
|
||||
|
||||
|
||||
%Acknowledgements section
|
||||
\addtocontents{toc}{\protect\setcounter{tocdepth}{0}}
|
||||
\section*{Acknowledgements}
|
||||
Thanks to Mehdi Moradi for insightful conversations, as well as to Aaron Tikuisis and Laurent Marcoux for looking over a first draft.
|
||||
|
||||
%go back to normal TOC ordering.
|
||||
\addtocontents{toc}{\protect\setcounter{tocdepth}{1}}
|
||||
|
||||
\section{Preliminaries}\label{sec:prelim}
|
||||
%\subsection*{Preliminaries and notation}\label{subs:notation}
|
||||
\subsection{Notation}
|
||||
For a group $G$, we denote by $DG$ the derived subgroup of $G$, i.e.,
|
||||
\begin{equation}
|
||||
DG := \langle ghg^{-1}h^{-1} \mid g,h \in G \rangle
|
||||
\end{equation}
|
||||
is the subgroup generated by commutators.
|
||||
If $G$ has an underlying topology, we denote by $G^0$ the connected component of the identity, and we write
|
||||
\begin{equation}
|
||||
PG= \{\xi: [0,1] \to G \mid \xi \text{ is continuous, } \xi(0) = 1_G \}
|
||||
\end{equation}
|
||||
to be the path group. Multiplication is given by the pointwise product and the topology is the compact-open topology, meaning the topology generated by subbase consisting of sets
|
||||
\begin{equation}
|
||||
V(K,O) = \{ f \in C([0,1],G) \mid f(K) \subseteq O\},
|
||||
\end{equation}
|
||||
where $K \subseteq [0,1]$ is closed and $O \subseteq G$ is open.
|
||||
For two paths $\xi,\eta \in PG$, we will write $\xi \sim_{nh} \eta$, if $\xi$ and $\eta$ are \emph{null-homotopic}, meaning that the path $\xi^{-1}\eta$ is homotopic to the constant path at our base point (in this case, the identity of $G$). In particular, two null-homotopic paths must have the same endpoint.
|
||||
|
||||
For a unital C*-algebra $A$, $A_{sa}$ will denote the self-adjoint elements of $A$, while $U(A)$ will denote the group of unitaries in $A$: that is, the subgroup of invertible elements $u \in A$ satisfying
|
||||
\begin{equation}
|
||||
u^*u = uu^* = 1_A.
|
||||
\end{equation}
|
||||
We give $U(A)$ the subspace topology induced by the norm of $A$.
|
||||
For $n \in \bN$, we let $U_n(A) = U(M_n(A))$ and take
|
||||
\begin{equation}
|
||||
U_{\infty}(A) = \dlim U_n(A)
|
||||
\end{equation}
|
||||
to be the direct limit with connecting maps $u \mapsto u \oplus 1$.
|
||||
We equip $U_{\infty}(A)$ with the norm topology.\footnote{One can also equip $U_{\infty}(A)$ with the inductive limit topology. However, even though $U_n(A)$ are topological groups, $U_{\infty}(A)$ is almost never a topological group because multiplication will not be jointly continuous in general. The quotient of the closure of the derived group can be more useful (for example, in terms of classification of morphisms) when one uses the inductive limit topology as opposed to the norm topology -- see \cite{Thomsen95,NielsenThomsen96,CGSTW23}.}
|
||||
The topological $K_1$ group of a unital C*-algebra $A$ is then the set of connected components of $U_{\infty}(A)$
|
||||
\begin{equation}
|
||||
K_1(A) := U_{\infty}(A)/U_{\infty}^0(A).
|
||||
\end{equation}
|
||||
For two projections $p,q$ over matrix algebras over $A$, we write $p \MvN q$ if they are Murray-von Neumann equivalent.
|
||||
The $K_0$ group of a unital C*-algebra is the Grothendieck group of the Murray-von Neumann semigroup of equivalence classes of projections in matrix algebras over $A$, and there is a canonical isomorphism
|
||||
\begin{equation}
|
||||
K_0(A) \simeq \pi_1(U_{\infty}(A))
|
||||
\end{equation}
|
||||
which is induced by the map which takes a projection $p \in M_n(A)$ to the loop
|
||||
\begin{equation}
|
||||
t \mapsto e^{2\pi i t}p + 1-p
|
||||
\end{equation}
|
||||
in $U_n(A) \subseteq U_{\infty}(A)$.
|
||||
Thus we have
|
||||
\begin{equation}
|
||||
K_n(A) = \begin{cases}
|
||||
\pi_1(U_{\infty}(A)) & n =0; \\
|
||||
\pi_0(U_{\infty}(A)) & n =1.
|
||||
\end{cases}
|
||||
\end{equation}
|
||||
|
||||
|
||||
\subsection{The pre-determinant}
|
||||
We will shortly recall the definition of the \emph{pre-determinant} map, which will take a piece-wise smooth path to an element of a real Banach space, when we have a \emph{tracial} map.
|
||||
To extend its definition to any continuous path, we will need a few results.
|
||||
The following can be found in the proof of \cite[Lemma 3]{dlHS84a}.
|
||||
|
||||
\begin{lemma}\label{lem:any path homotopic to piecewise smooth}
|
||||
Any path $\xi \in PU^0(A)$ is homotopic to a piece-wise smooth.
|
||||
\end{lemma}
|
||||
In fact, any path $\xi \in PU^0(A)$ is homotopic to a path of the form
|
||||
\begin{equation}
|
||||
t \mapsto \xi\left(\frac{j-1}{k}\right)e^{2\pi i(kt -j + 1)a_j}, t \in \left[\frac{j-1}{k},\frac{j}{k}\right], j=1,\dots,k,
|
||||
\end{equation}
|
||||
where $k$ is large enough such that
|
||||
\begin{equation}
|
||||
\left\| \xi\left(\frac{j-1}{k}\right)^{-1}\xi\left(\frac{j}{k}\right) - 1\right\| < 1 \text{ for all } j=1,\dots,k
|
||||
\end{equation}
|
||||
and
|
||||
\begin{equation}
|
||||
a_j = \frac{1}{2\pi i}\log \left(\xi\left(\frac{j-1}{k}\right)^{-1}\xi\left(\frac{j}{k}\right)\right) \text{ for } j=1,\dots,k.
|
||||
\end{equation}
|
||||
We make the historical note that some of the ideas of working with paths in this way can be found in \cite{ArakiSmithSmith71}.
|
||||
|
||||
|
||||
If $\tau: A_{sa} \to E$ is a bounded tracial map to a real Banach $E$ (tracial meaning that $\tau(aa^*) = \tau(a^*a)$ for all $a \in A$), we can associate to a piece-wise smooth path $\xi \in PU^0(A)$ the element
|
||||
\begin{equation}
|
||||
\tD_\tau(\xi) := \int_0^1\tau\left(\frac{1}{2\pi i}\xi'(t)\xi(t)^{-1}\right)dt \in E,
|
||||
\end{equation}
|
||||
which is just the Riemann path-integral in $E$.
|
||||
We note that this is well-defined since it is easily seen that, when $\xi'(t)$ is defined, $\xi'(t)\xi(t)^{-1}$ is skew-adjoint, so that $\frac{1}{2\pi i}\xi'(t)\xi(t)^{-1}$ is self-adjoint.
|
||||
This map also extends to $U_n^0(A)$, hence $U_{\infty}^0(A)$, in the canonical way via the unnormalized trace: for $\xi \in PU_n^0(A)$ piece-wise smooth, write
|
||||
\begin{equation}
|
||||
\tD_\tau(\xi) := \int_0^1 \tr_n \otimes \tau \left(\frac{1}{2\pi i}\xi'(t)\xi(t)^{-1}\right)dt,
|
||||
\end{equation}
|
||||
where $\tr_n \otimes \tau: M_n(A)_{sa} \to E$ is the (unnormalized) extension of the trace, given by $\tr_n\otimes \tau((a_{ij})) = \sum_i \tau(a_{ii})$, whenever $(a_{ij}) \in M_n(A)_{sa}$.
|
||||
In this case, we have
|
||||
\begin{equation}
|
||||
\tD_\tau(\xi \oplus 1_{m-n}) = \tD_\tau(\xi).
|
||||
\end{equation}
|
||||
whenever $\xi \in PU_n^0(A)$ and $m > n$.
|
||||
|
||||
We state the unitary variant of \cite[Lemme 1]{dlHS84a}, suited to our particular needs.
|
||||
|
||||
\begin{lemma}\label{lem:pre-det facts}
|
||||
Let $\tau: A_{sa} \to E$ be a bounded trace on a unital C*-algebra $A$. The map $\tD$, which takes a piece-wise smooth path $\xi \in PU^0(A)$ (or $\xi \in PU_{\infty}^0(A)$) to $\tD_\tau(\xi)$, has the following properties.
|
||||
\begin{enumerate}
|
||||
\item It takes point-wise products to sums: if $\xi_1,\xi_2$ are two piece-wise smooth paths, then
|
||||
\begin{equation}
|
||||
\tD_\tau(\xi_1\xi_2) = \tD_\tau(\xi_1) + \tD_\tau(\xi_2),
|
||||
\end{equation}
|
||||
where $\xi_1\xi_2$ is the piece-wise smooth path $[\xi_1\xi_2](t) = \xi_1(t)\xi_2(t)$.
|
||||
\item If $\|\xi(t) - 1\| < 1$ for all $t \in [0,1]$, then
|
||||
\begin{equation}
|
||||
\tD_\tau(\xi) = \frac{1}{2\pi i}\tau\left(\log \xi(1)\right).
|
||||
\end{equation}
|
||||
\item $\tD_\tau(\xi)$ depends only on the continuous homotopy class of $\xi$ with fixed endpoints.
|
||||
\item If $p \in A$ is a projection, then the path $\xi_p \in PU^0(A)$ given by
|
||||
\begin{equation}
|
||||
\xi_p(t) = pe^{2\pi i t} + (1-p)
|
||||
\end{equation}
|
||||
satisfies $\tD_\tau(\xi_p) = \tau(p)$. Note that $\xi_p(t)$ can also be written as $\xi_p(t) = e^{2\pi i tp}$.
|
||||
\end{enumerate}
|
||||
\end{lemma}
|
||||
|
||||
By combining Lemma \ref{lem:any path homotopic to piecewise smooth} and Lemma \ref{lem:pre-det facts}(3), it makes sense to extend $\tD_\tau$ to a map
|
||||
\begin{equation}
|
||||
\tD_\tau: PU^0(A) \to E
|
||||
\end{equation}
|
||||
by $\tD_\tau(\xi) = \tD_\tau(\xi_0)$ where $\xi_0 \in PU^0(A)$ is any piece-wise smooth path homotopic to $\xi$, and this map is clearly a group homomorphism.
|
||||
Lemma \ref{lem:pre-det facts}(4) in fact allows us to determine the pairing map between the $K_0$-group and traces.
|
||||
|
||||
We will be interested in $\II_1$ von Neumann algebras $\cM$, which have a normal, faithful, positive, center-valued trace \cite[Theorem V.2.6]{TakesakiI}, which we will write as $\Tr_\cM: \cM \to Z(\cM)$. Moreover, as it is self-adjoint in the sense that $\Tr_\cM(\cM_{sa}) \subseteq Z(\cM)_{sa}$, we will abuse notation and write $\Tr_\cM$ for the restriction to $\cM_{sa}$. We will just write $\tD$ for $\tD_{\Tr_\cM}$.
|
||||
We would like a generalization of the fact that the pairing between $K$-theory and traces of a $\II_1$ factor $\cM$ gives an isomorphism $K_0(\cM) \simeq \bR$.
|
||||
We note that, for example in \cite{Handelman78}, it was shown that $\pi_1(U(\cM)) \simeq Z(\cM)_{sa}$ in the $\II_1$ von Neumann algebra setting (actually this was shown to hold more generally). We will want to work with a specific isomorphism.
|
||||
|
||||
\begin{lemma}\label{lem:fundamental group is center}
|
||||
Let $\cM$ be a type $\II_1$ von Neumann algebra. Then
|
||||
\begin{equation}
|
||||
\tD|_{\pi_1(U(\cM))}: \pi_1(U(\cM)) \to Z(\cM)_{sa}
|
||||
\end{equation}
|
||||
is a group isomorphism. (We are abusing notation by writing $\tD|_{\pi_1(U(\cM))}$, but as $\tD$ is homotopy invariant, it makes sense to apply it to homotopy classes.)
|
||||
\begin{proof}
|
||||
As $\cM$ is a $\II_1$ von Neumann algebra, it follows from Corollary 4.5 and Theorem 4.13 of \cite{Rieffel87} that the canonical map
|
||||
\begin{equation}\label{eq:canonical map is iso}
|
||||
\pi_1(U(\cM)) \to \pi_1(U_{\infty}(\cM)) = K_0(\cM)
|
||||
\end{equation}
|
||||
is an isomorphism.
|
||||
|
||||
Now given some positive contraction $a \in Z(\cM)$, there is a projection $p \in \cM$ such that $\Tr_\cM(p) = a$ by \cite[Theorem 8.4.4(ii)]{KadisonRingroseII}.
|
||||
As such, this implies that given $n \in \bN$ and any positive element $a \in Z(\cM)$ with $\|a\| \leq n$, we can find a projection in $p \in M_n(\cM)$ such that $\tr_n \otimes \Tr_\cM(p) = a$.
|
||||
As every self-adjoint element in $Z(\cM)$ is the difference of positive elements in $Z(\cM)$ and Murray-von Neumann equivalent projections $p,q \in M_n(\cM)$ will satisfy $\Tr_\cM(p) = \Tr_\cM(q)$, we get a well-defined group homomorphism
|
||||
\begin{equation}
|
||||
K_0(\Tr_\cM): K_0(\cM) \to Z(\cM)_{sa}
|
||||
\end{equation}
|
||||
which is surjective.
|
||||
To show that this map is injective, we simply note that that $p \MvN q$ if and only if $\Tr_\cM(p) = \Tr_\cM(q)$ by \cite[Theorem 8.4.3(iii)]{KadisonRingroseII}.
|
||||
|
||||
Now Lemma \ref{lem:pre-det facts}(4), together with (\ref{eq:canonical map is iso}), allows us to realize this map as precisely the pre-determinant applied to a loop.
|
||||
\end{proof}
|
||||
\end{lemma}
|
||||
|
||||
\subsection{Covering spaces}
|
||||
Finally, let us say something about covering groups.
|
||||
We use results from \cite[Chapter 10]{RotmanATBook}; one can also see \cite[Chapter 1.3]{HatcherAT}.
|
||||
Covering spaces are common objects in algebraic topology, and are useful for computing homotopy groups of relatively nice spaces.
|
||||
For example, one can use the universal covering space of the unit circle to show that its fundamental group can be identified with the integers.
|
||||
|
||||
|
||||
A \emph{covering space} of a topological space $X$ consists of a topological space $\tilde{X}$ and a continuous surjective map $p: \tilde{X} \to X$ such that for each $x \in X$, there is an open neighbourhood $U$ of $x$ in $X$ such that $p^{-1}(U)$ is a union of disjoint open sets, each of which is mapped homeomorphically onto $U$ by $p$.
|
||||
A covering space $\tilde{X}$ of $X$ is a \emph{universal covering space} if $\tilde{X}$ is simply connected; that is, it is path-connected with trivial fundamental group.
|
||||
|
||||
\begin{example}
|
||||
The real numbers $\bR$ is the universal covering space of the unit circle $\bT$ with covering map $p(t) = e^{2\pi i t}$. In fact, this generalizes to the following: $SU(n) \times \bR$ is a cover of $U(n)$.
|
||||
Indeed, we have covers
|
||||
\begin{equation}
|
||||
SU(n) \times \bR \to SU(n) \times \bT \to U(n)
|
||||
\end{equation}
|
||||
where the first map is $\id \times p$, where $p$ is the covering map $\bR \to \bT$ coming from the universal cover of $\bT$, and $SU(n) \times \bT \to U(n)$ is the map $(U,\lambda) \mapsto \lambda U$.
|
||||
As $SU(n) \times \bR$ is simply connected, it follows that this is the universal cover of $U(n)$.
|
||||
\end{example}
|
||||
|
||||
For a topological group $G$, a \emph{covering group} $\widetilde{G}$ of $G$ is a covering space of $G$ such that $\widetilde{G}$ is a topological group and the covering map $\rho: \widetilde{G} \to G$ is a continuous group homomorphism.
|
||||
A covering group is the \emph{universal covering group} if it is universal as a covering space. In fact, covering spaces of topological groups can be equipped with a \emph{some} multiplication which make them into a covering group \cite[Theorem 10.42]{RotmanATBook}.
|
||||
|
||||
A topological space $X$ is said to be \emph{locally path-connected} if every neighbourhood of every point contains a path-connected neighbourhood and \emph{semilocally simply connected} if each point has a neighbourhood $N$ with the property that every loop in it can be contracted to a single point within $X$ (i.e., every loop in $N$ is null-homotopic in $X$).
|
||||
|
||||
\begin{theorem}
|
||||
A topological group $G$ which is path-connected, locally path-connected, and semilocally simply connected has a universal covering $\widetilde{G}$, unique up to homeomorphic isomorphism. Moreover, $\tilde{G}$ can be realized as
|
||||
\begin{equation}
|
||||
\widetilde{G} = PG/\sim_{nh}
|
||||
\end{equation}
|
||||
where $\sim_{nh}$ is the equivalence relation of null-homotopy.
|
||||
\end{theorem}
|
||||
As mentioned in the introdction, the universal covering group of $U(n)$ is a semidriect product $SU(n) \rtimes \bR$.
|
||||
|
||||
|
||||
|
||||
When a topological group $G$ has a universal covering group, we obtain a short exact sequence
|
||||
\begin{equation}\label{eq:covering group ses}
|
||||
\begin{tikzcd}
|
||||
1 \arrow[r] & \pi_1(G) \arrow[r] & \widetilde{G} \arrow[r] & G \arrow[r] & 1
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
where the first map is just the canonical embedding of homotopy classes into $\tilde{G}$, and the second map is evaluation at 1.
|
||||
|
||||
|
||||
|
||||
\section{The universal covering group of $U(\cM)$}\label{sec:universal cover of U(M)}
|
||||
|
||||
We have spoken about the universal covering group of $U(n)$ in the introduction, so let us move on to the unitary groups $U(\cM)$ where $\cM$ is not of type $I_n$.
|
||||
In the case where $\cM$ is a properly infinite von Neumann algebra, the unitary group is path-connected and locally path-connected by the arguments below. For the last condition, one can appeal to \cite[Theorem 3.5]{Handelman78} to see that $\pi_1(U(\cM)) = 0$, i.e., that $U(\cM)$ is simply connected and therefore semilocally simply connected (as it is connected).
|
||||
As such, the universal covering group of $U(\cM)$ exists, but it is trivially just $U(\cM)$ due to the fact that $\pi_1(U(\cM)) = 0$.
|
||||
|
||||
Let us first prove that the universal covering group of $U(\cM)$ exists whenever $\cM$ is a type $\II_1$ von Neumann algebra.
|
||||
|
||||
\begin{lemma}
|
||||
Let $\cM$ be a $\II_1$ von Neumann algebra. Then $U(\cM)$ is path-connected, locally path-connected, and semi-locally simply connected. In particular, the universal covering group of $U(\cM)$ exists and can be identified with
|
||||
\begin{equation}
|
||||
PU(\cM)/\sim_{nh}.
|
||||
\end{equation}
|
||||
\begin{proof}
|
||||
Clearly $U(\cM)$ is path-connected as every unitary in a von Neumann algebra can be written as an exponential $u = e^{2\pi i a}$ for some self-adjoint $a \in A$ (by using functional calculus), and so the path $t \mapsto e^{2\pi i ta}$ yields a path from 1 to $u$.
|
||||
The second condition amounts to showing that every open neighbourhood of an element contains a path-connected open neighbourhood.
|
||||
This is trivial because if $\|u - v\| < 2$, then $u,v$ are path-connected (see, for example, \cite[Lemma 2.1.3(iii)]{RordamKBook}).
|
||||
Thus if $N$ is a neighbourhood of $u \in U(\cM)$, let $0 < \ee < 1$ be such that $B_\ee(u) \subseteq N$.
|
||||
Then any two points in $B_\ee(u)$ will be within distance 2 of each other.
|
||||
|
||||
The third condition says that every element $u \in U(\cM)$ has a neighbourhood $N$ such that every loop in $N$ is null-homotopic to a point in $U(\cM)$. To see this, let $u \in U(\cM)$ and consider $N = B_\frac{1}{2}(u)$, the open ball of radius $\frac{1}{2}$ around $u$. Take some $u_0 \in N$ and suppose that $\xi: [0,1] \to N$ is a loop with initial and terminal point $u_0$.
|
||||
We note that
|
||||
\begin{equation}
|
||||
\|\xi(t) - u_0\| \leq \|\xi(t) - u\| + \|u - u_0\| < \frac{1}{2} + \frac{1}{2} = 1.
|
||||
\end{equation}
|
||||
Define $\xi_0(t) = u_0^*\xi(t)$, which is a loop with initial and terminal point $1_\cM$, and note that
|
||||
\begin{equation}
|
||||
\begin{split}
|
||||
\|\xi_0(t) - 1\| &= \|u_0^*\xi(t) - 1\| \\
|
||||
&= \|\xi(t) - u_0\| < 1.
|
||||
\end{split}
|
||||
\end{equation}
|
||||
We can now apply \ref{lem:pre-det facts}(2) to get that
|
||||
\begin{equation}
|
||||
\tD_\tau(\xi_0) = \frac{1}{2\pi i}\Tr_\cM\left(\log\xi_0(1)\right) = \frac{1}{2\pi i}\Tr_\cM(\log 1) = 0.
|
||||
\end{equation}
|
||||
In particular, as $\tD|_{\pi_1(U(\cM))}: \pi_1(U(\cM)) \to Z(\cM)_{sa}$ is an isomorphism, we have that $\xi_0$ is null-homotopic.
|
||||
But then $\xi = u_0\xi_0$ is homotopic to the constant path $t \mapsto u_0$.
|
||||
\end{proof}
|
||||
\end{lemma}
|
||||
|
||||
\begin{remark}
|
||||
Suppose that $A$ is a unital C*-algebra and $\tD: PU^0(A) \to \Aff T(A)$ is the pre-determinant associated to the tracial map $\Tr_A: A_{sa} \to A_{sa}/A_0$ (which is just the quotient map) where $A_0$ is the subspace of all self-adjoint elements which vanish on every tracial state. $\Tr_A$ is often referred to as the universal trace.
|
||||
If $\tD$ ``determines homotopy'' in the sense that whenever $\xi$ is a loop, we have that $\tD(\xi) = 0$ if and only if $\xi$ is null-homotopic, then the same argument above will yield that the universal covering group of $U^0(A)$ will exist.
|
||||
|
||||
Thus whenever $A$ is $K_1$-injective, has trivial $K_1$ group, and satisfies the above property of the pre-determinant realizing homotopy, then $U(A)$ will have a universal cover.
|
||||
For example, the unitary group of the Jiang-Su algebra $\cZ$ \cite{JiangSu99} or the unitary group of a UHF algebra will have a universal cover.
|
||||
\end{remark}
|
||||
|
||||
Recall that a short exact sequence
|
||||
\begin{equation}
|
||||
\begin{tikzcd}
|
||||
1 \arrow[r] & K \arrow[r, "\alpha"] & S \arrow[r, "\beta"] & U \arrow[r] & 1
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
of groups splits if there is a group homomorphism $\sigma: U \to S$ such that $\beta \circ \sigma = \id_U$, and this happens if and only if $S = \alpha(K) \rtimes U'$, where $U' \leq S$ is some copy of $U$ (namely $\sigma(U)$) with $\beta|_{U'} \to U$ being an isomorphism. Moreover, this is in fact a direct product if and only if this copy $U'$ is normal in $S$. We will need the following well-known fact.
|
||||
|
||||
\begin{lemma}\label{lem:left split ses}
|
||||
Let
|
||||
\begin{equation}
|
||||
\begin{tikzcd}
|
||||
1 \arrow[r] & K \arrow[r, "\alpha"] & S \arrow[r, "\beta"] \arrow[l, "\gamma", bend left=49] & U \arrow[r] & 1
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
be a short exact sequence of groups with $\gamma \circ \alpha = \id_K$. Then $S \simeq K \times U$.
|
||||
\end{lemma}
|
||||
|
||||
\begin{theorem}
|
||||
Let $\cM$ be a $\II_1$ von Neumann algebra and consider the universal covering group
|
||||
\begin{equation}\label{eq:universal cover of U}
|
||||
\begin{tikzcd}
|
||||
1 \arrow[r] & \pi_1(U(\cM)) \arrow[r] & \widetilde{U(\cM)} \arrow[r] & U(\cM) \arrow[r] & 1.
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
The sequence (\ref{eq:universal cover of U}) splits algebraically, giving
|
||||
\begin{equation}
|
||||
\widetilde{U(\cM)} \simeq \pi_1(U(\cM)) \times U(\cM).
|
||||
\end{equation}
|
||||
In particular,
|
||||
\begin{equation}\label{eq:cg is Z times U}
|
||||
\widetilde{U(\cM)} \simeq Z(\cM)_{sa} \times U(\cM).
|
||||
\end{equation}
|
||||
\begin{proof}
|
||||
Let us denote the map $\pi_1(U(\cM)) \to \widetilde{U(\cM)}$ by $\iota$ and note that $\iota([\xi]) = [\xi]$, i.e., it just takes the homotopy class of $\xi$ to the class of $\xi$ under null-homotopy.
|
||||
We will write $\ev_1: \widetilde{U(\cM)} \to U(\cM)$ to be evaluation at 1.
|
||||
By Lemma \ref{lem:fundamental group is center}, we can take the perspective that $K_0(\cM)$ is $\pi_1(U(\cM))$ with
|
||||
\begin{equation}
|
||||
\tD|_{\pi_1(U(\cM))}: \pi_1(U(\cM)) \to Z(\cM)_{sa}
|
||||
\end{equation}
|
||||
being an isomorphism.
|
||||
|
||||
Define $\gamma: \widetilde{U(\cM)} \to \pi_1(U(\cM))$ via the composition
|
||||
\begin{equation}
|
||||
\begin{tikzcd}
|
||||
\widetilde{U(\cM))} \arrow[r, "\tD_0"] & Z(\cM)_{sa} \arrow[r, "(\tD|_{\pi_1(U(\cM))})^{-1}"] & \pi_1(U(\cM))
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
where $\tD_0: \widetilde{U(\cM)} \to Z(\cM)_{sa}$ is the map given by $[\xi] \mapsto \tD(\xi)$, which is well-defined since $\tD$ preserves homotopy classes of paths with the same endpoints.
|
||||
That is, given some class $[\xi]$ of a path $[0,1] \to U(\cM)$, up to null-homotopy, we evaluate the pre-determinant at this (homotopy class of a) path which gives us a self-adjoint element of the center. We then find a loop, up to homotopy, which gives that same self-adjoint element when we evaluate the pre-determinant. But then we realize that
|
||||
\begin{equation}
|
||||
\gamma \circ \iota([\xi]) = \gamma([\xi]) = [\xi] \text{ for } [\xi] \in \pi_1(U(\cM)),
|
||||
\end{equation}
|
||||
i.e., $\gamma \circ \iota = \id_{\pi_1(U(\cM))}$.
|
||||
So we have the left split short exact sequence
|
||||
\begin{equation}
|
||||
\begin{tikzcd}
|
||||
1 \arrow[r] & \pi_1(U(\cM)) \arrow[r, "\iota"] & \widetilde{U(\cM)} \arrow[r, "\ev_1"] \arrow[l, "\gamma", bend left=49] & U(\cM) \arrow[r] & 1,
|
||||
\end{tikzcd}
|
||||
\end{equation}
|
||||
which gives that $\widetilde{U(\cM)} \simeq \pi_1(U(\cM)) \times U(\cM)$ by Lemma \ref{lem:left split ses}. Now (\ref{eq:cg is Z times U}) follows from our identification of $\pi_1(U(\cM))$ with $Z(\cM)_{sa}$.
|
||||
\end{proof}
|
||||
\end{theorem}
|
||||
|
||||
\begin{remark}
|
||||
Even though we have a direct product as groups, it is clear that this is not a direct product as topological spaces. Indeed, a universal cover must be simply connected. This clearly fails to be true if $Z(\cM)_{sa}$ and $U(\cM)$ were equipped with their (relative) norm topologies.
|
||||
Moreover, $\pi_1(U(\cM)) \subseteq \widetilde{U(\cM)}$ is considered as a discrete set.
|
||||
\end{remark}
|
||||
|
||||
Recall that a group $G$ is perfect if $G = DG$, i.e., every element is a finite product of commutators.
|
||||
With the above, we conclude that the universal covering group of $U(\cM)$ is not perfect.
|
||||
|
||||
|
||||
\begin{cor}
|
||||
The universal covering group of $U(\cM)$ is not perfect whenever $\cM$ is a $\II_1$ von Neumann algebra.
|
||||
\begin{proof}
|
||||
If $G = A \times H$ where $H$ is some group and $A$ is abelian, we have that $DG = DA \times DH = \{0\} \times DH$. So if $|A| > 1$, then $G$ can never be perfect.
|
||||
\end{proof}
|
||||
\end{cor}
|
||||
|
||||
|
||||
|
||||
\bibliographystyle{amsalpha}
|
||||
\bibliography{biblio}
|
||||
|
||||
\end{document}
|
||||
@@ -0,0 +1,11 @@
|
||||
\babel@toc {nil}{}\relax
|
||||
\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{section.1}%
|
||||
\setcounter {tocdepth}{0}
|
||||
\contentsline {section}{\tocsection {}{}{Acknowledgements}}{2}{section*.2}%
|
||||
\setcounter {tocdepth}{1}
|
||||
\contentsline {section}{\tocsection {}{2}{Preliminaries}}{3}{section.2}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.1}{Notation}}{3}{subsection.2.1}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.2}{The pre-determinant}}{4}{subsection.2.2}%
|
||||
\contentsline {subsection}{\tocsubsection {}{2.3}{Covering spaces}}{6}{subsection.2.3}%
|
||||
\contentsline {section}{\tocsection {}{3}{The universal covering group of $U(\mathcal {M})$}}{7}{section.3}%
|
||||
\contentsline {section}{\tocsection {}{}{References}}{9}{section*.3}%
|
||||
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,90 @@
|
||||
%commands
|
||||
\newcommand{\ms}{\mathscr}
|
||||
\newcommand{\mc}{\mathcal}
|
||||
\newcommand{\mf}{\mathfrak}
|
||||
\newcommand{\nin}{\not\in}
|
||||
\newcommand{\bs}{\backslash}
|
||||
\newcommand{\nsg}{\unlhd}
|
||||
\newcommand{\ov}{\overline}
|
||||
\newcommand{\wt}{\widetilde}
|
||||
%blackboard
|
||||
\newcommand{\bN}{\mathbb{N}}
|
||||
\newcommand{\bR}{\mathbb{R}}
|
||||
\newcommand{\bZ}{\mathbb{Z}}
|
||||
\newcommand{\bQ}{\mathbb{Q}}
|
||||
\newcommand{\bF}{\mathbb{F}}
|
||||
\newcommand{\bK}{\mathbb{K}}
|
||||
\newcommand{\bG}{\mathbb{G}}
|
||||
\newcommand{\bE}{\mathbb{E}}
|
||||
\newcommand{\bC}{\mathbb{C}}
|
||||
\newcommand{\bV}{\mathbb{V}}
|
||||
\newcommand{\bA}{\mathbb{A}}
|
||||
\newcommand{\bP}{\mathbb{P}}
|
||||
\newcommand{\bD}{\mathbb{D}}
|
||||
\newcommand{\bT}{\mathbb{T}}
|
||||
\newcommand{\bM}{\mathbb{M}}
|
||||
\newcommand{\bB}{\mathbb{B}}
|
||||
\newcommand{\bL}{\mathbb{L}}
|
||||
\newcommand{\bX}{\mathbb{X}}
|
||||
\newcommand{\bY}{\mathbb{Y}}
|
||||
\newcommand{\bI}{\mathbb{I}}
|
||||
|
||||
|
||||
\newcommand{\1}{{\bf 1}}
|
||||
\newcommand{\0}{{\bf 0}}
|
||||
|
||||
%mathcal
|
||||
\newcommand{\cM}{\mathcal{M}}
|
||||
\newcommand{\cN}{\mathcal{N}}
|
||||
\newcommand{\cC}{\mathcal{C}}
|
||||
\newcommand{\cB}{\mathcal{B}}
|
||||
\newcommand{\cS}{\mathcal{S}}
|
||||
\newcommand{\cI}{\mathcal{I}}
|
||||
\newcommand{\cO}{\mathcal{O}}
|
||||
\newcommand{\cP}{\mathcal{P}}
|
||||
\newcommand{\cA}{\mathcal{A}}
|
||||
\newcommand{\cL}{\mathcal{L}}
|
||||
\newcommand{\cF}{\mathcal{F}}
|
||||
\newcommand{\cH}{\mathcal{H}}
|
||||
\newcommand{\cK}{\mathcal{K}}
|
||||
\newcommand{\cD}{\mathcal{D}}
|
||||
\newcommand{\cE}{\mathcal{E}}
|
||||
\newcommand{\cT}{\mathcal{T}}
|
||||
\newcommand{\cZ}{\mathcal{Z}}
|
||||
\newcommand{\cU}{\mathcal{U}}
|
||||
\newcommand{\cJ}{\mathcal{J}}
|
||||
\newcommand{\cG}{\mathcal{G}}
|
||||
\newcommand{\cR}{\mathcal{R}}
|
||||
\newcommand{\cQ}{\mathcal{Q}}
|
||||
\newcommand{\cY}{\mathcal{Y}}
|
||||
\newcommand{\cW}{\mathcal{W}}
|
||||
%terns
|
||||
\newcommand{\bh}{\mathcal{B}(\mathcal{H})}
|
||||
\newcommand{\bk}{\mathcal{B}(\mathcal{K})}
|
||||
\newcommand{\kh}{\mathcal{K}(\mathcal{H})}
|
||||
\newcommand{\fh}{\mathcal{F}(\mathcal{H})}
|
||||
\newcommand{\sa}{\mathcal{S}(\mathcal{A})}
|
||||
\newcommand{\bx}{\mathcal{B}(\mathbb{X}}
|
||||
\newcommand{\by}{\mathcal{C}(\mathbb{Y}}
|
||||
|
||||
%scr
|
||||
\newcommand{\scH}{\mathscr{H}}
|
||||
\newcommand{\scG}{\mathscr{G}}
|
||||
\newcommand{\scE}{\mathscr{E}}
|
||||
|
||||
%frak
|
||||
\newcommand{\fX}{\mathfrak{X}}
|
||||
\newcommand{\fY}{\mathfrak{Y}}
|
||||
\newcommand{\fS}{\mathfrak{S}}
|
||||
\newcommand{\fM}{\mathfrak{M}}
|
||||
\newcommand{\fN}{\mathfrak{N}}
|
||||
\newcommand{\fF}{\mathfrak{F}}
|
||||
\newcommand{\fJ}{\mathfrak{J}}
|
||||
\newcommand{\fT}{\mathfrak{T}}
|
||||
\newcommand{\fA}{\mathfrak{A}}
|
||||
\newcommand{\fB}{\mathfrak{B}}
|
||||
\newcommand{\fP}{\mathfrak{P}}
|
||||
\newcommand{\fQ}{\mathfrak{Q}}
|
||||
\newcommand{\fO}{\mathfrak{O}}
|
||||
\newcommand{\fK}{\mathfrak{K}}
|
||||
\newcommand{\fG}{\mathfrak{G}}
|
||||
@@ -0,0 +1,143 @@
|
||||
% tensor products
|
||||
\newcommand{\thk}{\cH\otimes\cK}
|
||||
\newcommand{\amb}{\bA \otimes_{\max} \bB}
|
||||
\newcommand{\omax}{\otimes_{\max}}
|
||||
\newcommand{\omin}{\otimes_{\min}}
|
||||
\newcommand{\ovn}{\overline{\otimes}}
|
||||
|
||||
% probability
|
||||
\newcommand{\PS}{(\Omega,\cM,\cP)}
|
||||
\newcommand{\rvf}{f:\Omega \to \bR}
|
||||
\newcommand{\linf}{\cL^{\infty -}\PS}
|
||||
\newcommand{\probc}{\text{Prob}_c(\bR)}
|
||||
\newcommand{\prob}{\text{Prob}(\bR)}
|
||||
\newcommand{\Prob}{\text{Prob}}
|
||||
\newcommand{\Bor}{\text{Bor}}
|
||||
|
||||
% maps
|
||||
\newcommand{\into}{\hookrightarrow}
|
||||
\newcommand{\onto}{\twoheadrightarrow}
|
||||
\newcommand{\act}{\curvearrowright}
|
||||
|
||||
\newcommand{\ee}{\varepsilon}
|
||||
\newcommand{\sm}{\setminus}
|
||||
\newcommand{\Om}{\Omega}
|
||||
\newcommand{\simi}{\sim_{\infty}}
|
||||
|
||||
%limits
|
||||
\newcommand{\limsupn}{\underset{n}{\text{limsup}}}
|
||||
\newcommand{\sotc}{\stackrel{\text{SOT}}{\to}}
|
||||
\newcommand{\wotc}{\stackrel{\text{WOT}}{\to}}
|
||||
\newcommand{\sotlim}{\text{SOT-}\lim}
|
||||
\newcommand{\wotlim}{\text{WOT-}\lim}
|
||||
|
||||
% useful for nuclear, lifting maps, etc....
|
||||
\newcommand{\tphi}{\tilde{\phi}}
|
||||
\newcommand{\tpsi}{\tilde{\psi}}
|
||||
\newcommand{\hphi}{\hat{\phi}}
|
||||
\newcommand{\hpsi}{\hat{\psi}}
|
||||
\newcommand{\phil}{\phi_\lambda}
|
||||
\newcommand{\psil}{\psi_\lambda}
|
||||
\newcommand{\mkl}{M_{k(\lambda)}}
|
||||
\newcommand{\mkn}{M_{k(n)}}
|
||||
\newcommand{\phin}{\phi_n}
|
||||
\newcommand{\psin}{\psi_n}
|
||||
\newcommand{\vphi}{\varphi}
|
||||
|
||||
\newcommand{\floor}[1]{\lfloor #1 \rfloor}
|
||||
|
||||
\newcommand{\supp}{\text{supp}}
|
||||
\newcommand{\wk}{\text{wk}}
|
||||
\newcommand{\Tr}{\text{Tr}}
|
||||
\newcommand{\dist}{\text{dist}}
|
||||
\newcommand{\rank}{\text{rank}}
|
||||
\newcommand{\sgn}{\text{sgn}}
|
||||
|
||||
\newcommand{\ev}{\text{ev}}
|
||||
\newcommand{\spr}{\text{spr}}
|
||||
\newcommand{\tD}{\tilde{\Delta}}
|
||||
\newcommand{\uv}{\underline}
|
||||
\newcommand{\tr}{\text{tr}}
|
||||
\newcommand{\id}{\text{id}}
|
||||
\newcommand{\ad}{\text{ad}}
|
||||
\newcommand{\Ad}{\text{Ad}}
|
||||
\newcommand{\Inn}{\text{Inn}}
|
||||
\newcommand{\Out}{\text{Out}}
|
||||
\newcommand{\Ct}{\text{Ct}}
|
||||
|
||||
\newcommand*{\tc}[2]{(\ov{#1}^{#2},#2)}
|
||||
|
||||
% Types for von Neumann algebras
|
||||
\newcommand{\I}{\text{I}}
|
||||
\newcommand{\II}{\text{II}}
|
||||
\newcommand{\III}{\text{III}}
|
||||
\newcommand{\IIIl}{\text{III}_{\lambda}}
|
||||
% note the last character of this last one is an "ell", its just that my font has capital i and lower-case l being the same character.....
|
||||
|
||||
|
||||
%operators
|
||||
% basic algebra
|
||||
\DeclareMathOperator{\Ann}{Ann}
|
||||
\DeclareMathOperator{\Hom}{Hom}
|
||||
\DeclareMathOperator{\End}{End}
|
||||
\DeclareMathOperator{\Aut}{Aut}
|
||||
\DeclareMathOperator{\im}{im}
|
||||
|
||||
%Grassmanian
|
||||
\DeclareMathOperator{\Gr}{Gr}
|
||||
|
||||
% K-theory and regularity for C*-algebras
|
||||
\DeclareMathOperator{\Ell}{Ell}
|
||||
\DeclareMathOperator{\Aff}{Aff}
|
||||
%\DeclareMathOperator{\KT}{KT}
|
||||
\newcommand{\KTu}{\underline{K}T_u}
|
||||
\DeclareMathOperator{\Cu}{Cu}
|
||||
%the following was used in ``polar decomp. in alg. K-theory'' with Aaron.
|
||||
%\DeclareMathOperator{\ka}{K_1^{\text{alg}}}
|
||||
%\DeclareMathOperator{\ku}{K_1^{\text{alg,u}}}
|
||||
%\DeclareMathOperator{\hka}{\ov{K}_1^{\text{alg}}}
|
||||
%\DeclareMathOperator{\hku}{\ov{K}_1^{\text{alg,u}}}
|
||||
\DeclareMathOperator{\St}{\text{St}}
|
||||
%topological K-theory
|
||||
\newcommand*{\ktop}[1]{K^{\text{top}}_{#1}}
|
||||
%unitary algebraic K-theory
|
||||
\newcommand*{\kua}[1]{K^{\text{alg,u}}_{#1}}
|
||||
%algebraic K-theory
|
||||
\newcommand*{\ka}[1]{K^{\text{alg}}_{#1}}
|
||||
%hausdorffized variants
|
||||
\newcommand*{\hkua}[1]{\ov{K}^{\text{alg,u}}_{#1}}
|
||||
\newcommand*{\hka}[1]{\ov{K}^{\text{alg}}_{#1}}
|
||||
|
||||
\newcommand{\MvN}{\sim_{\text{MvN}}}
|
||||
|
||||
|
||||
% exponential rank and length for C*-algebras
|
||||
\newcommand{\cer}{\text{cer}}
|
||||
\newcommand{\cel}{\text{cel}}
|
||||
|
||||
% KK-theory and Ext
|
||||
\DeclareMathOperator{\KK}{KK}
|
||||
\DeclareMathOperator{\KKn}{KK_{\text{nuc}}}
|
||||
\DeclareMathOperator{\KKs}{KK_{\text{sep}}}
|
||||
\DeclareMathOperator{\Ext}{Ext}
|
||||
\DeclareMathOperator{\Extn}{Ext_{\text{nuc}}}
|
||||
|
||||
% direct/inverse limits
|
||||
\newcommand{\dlim}{\underset{\to}{\lim}}
|
||||
\newcommand{\ilim}{\underset{\leftarrow}{\lim}}
|
||||
|
||||
|
||||
% group homology
|
||||
\newcommand{\Tor}{\text{Tor}}
|
||||
|
||||
% dynamics
|
||||
\newcommand{\Fix}{\text{Fix}}
|
||||
|
||||
% ideal stuff?
|
||||
\newcommand{\Ped}{\text{Ped}}
|
||||
|
||||
% Brown algebra stuff
|
||||
\newcommand{\Unc}{\mathcal{U}_{\text{nc}}}
|
||||
|
||||
% C*-dynamics
|
||||
\newcommand{\RUC}{\text{RUC}} % right uniformly continuous
|
||||
@@ -0,0 +1,57 @@
|
||||
% change this depending on what you're doing.
|
||||
%\documentclass[11pt]{amsart}
|
||||
|
||||
%packages
|
||||
%\usepackage[margin=1.5in]{geometry}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[pdftex]{graphicx}
|
||||
\usepackage{tikz-cd}
|
||||
\usepackage{blindtext}
|
||||
|
||||
\usepackage{hyperref,xcolor}
|
||||
\usepackage{amsmath,amsfonts,amssymb,amsthm,color,mathtools,enumitem}
|
||||
\usepackage{epstopdf}
|
||||
\usepackage{polynom}
|
||||
\usepackage{babel}
|
||||
\usepackage{mathrsfs}
|
||||
\usepackage{chngcntr}
|
||||
\usepackage{verbatim}
|
||||
|
||||
\hypersetup{
|
||||
colorlinks=true,
|
||||
linkcolor=blue,
|
||||
citecolor=cyan,
|
||||
urlcolor=cyan}
|
||||
|
||||
\usepackage{hyphenat}
|
||||
|
||||
%theorems
|
||||
\newtheorem{theorem}{Theorem}[section] % for normal paper
|
||||
%\newtheorem{theorem}{Theorem} for short paper
|
||||
\newtheorem{defn}[theorem]{Definition}
|
||||
\newtheorem{prop}[theorem]{Proposition}
|
||||
\newtheorem{cor}[theorem]{Corollary}
|
||||
\newtheorem{lemma}[theorem]{Lemma}
|
||||
\newtheorem{example}[theorem]{Example}
|
||||
\newtheorem{remark}[theorem]{Remark}
|
||||
\newtheorem{question}[theorem]{Question}
|
||||
\newtheorem{conj}[theorem]{Conjecture}
|
||||
|
||||
\newtheorem*{resultA}{Theorem A}
|
||||
\newtheorem*{resultB}{Theorem B}
|
||||
\newtheorem*{resultC}{Theorem C}
|
||||
\newtheorem*{resultD}{Theorem D}
|
||||
\newtheorem*{resultE}{Theorem E}
|
||||
\newtheorem*{resultF}{Theorem F}
|
||||
|
||||
\newtheorem*{result*}{Theorem}
|
||||
\newtheorem*{resultcor*}{Corollary}
|
||||
\newtheorem{result}{Theorem}
|
||||
%\newtheorem{result}{Theorem} for short paper
|
||||
\renewcommand*{\theresult}{\arabic{chapter}.\Alph{result}}
|
||||
\renewcommand*{\theresult}{\Alph{result}}
|
||||
\newtheorem{resultcor}[result]{Corollary}
|
||||
|
||||
\numberwithin{equation}{section}
|
||||
|
||||
Reference in New Issue
Block a user