\newcommand{\:}{\colon}
\newcommand{\Ahat}{\widehat{A}}
\newcommand{\abs}[1]{\mathopen|#1\mathclose|}
\newcommand{\bbC}{\mathbb{C}}
\newcommand{\bbH}{\mathbb{H}}
\newcommand{\bbK}{\mathbb{K}}
\newcommand{\bbN}{\mathbb{N}}
\newcommand{\bbO}{\mathbb{O}}
\newcommand{\bbQ}{\mathbb{Q}}
\newcommand{\bbR}{\mathbb{R}}
\newcommand{\bbZ}{\mathbb{Z}}
\newcommand{\bfx}{\mathbf{x}}
\newcommand{\cat}[1]{\textsf{#1}}
\renewcommand{\ch}{\operatorname{ch}}
\newcommand{\Cl}{\operatorname{Cl}}
\newcommand{\coker}{\operatorname{coker}}
\newcommand{\colim}{\operatornamewithlimits{colim}}
\newcommand{\contr}{\mathbin{\lrcorner}}
\newcommand{\dbar}{\oline2{\partial}{}}
\renewcommand{\det}{\operatorname{det}}
\newcommand{\dims}{\operatorname{dim}_{\mathrm{s}}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\frg}{\mathfrak{g}}
\newcommand{\frk}{\mathfrak{k}}
\newcommand{\frt}{\mathfrak{t}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\hoq}{\mathbin{/^{\mathrm{h}}}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\ind}{\operatorname{ind}}
\newcommand{\smallcup}{\cup}
\newcommand{\smallcupcd}{\cup}
\newcommand{\scrH}{\mathscr{H}}
\newcommand{\scrL}{\mathscr{L}}
\newcommand{\scrO}{\mathscr{O}}
\newcommand{\smallsqrt}[1]{\sqrt{#1}}
\newcommand{\tr}{\operatorname{tr}}
\newcommand{\trs}{\operatorname{tr}_{\mathrm{s}}}
\newcommand{\upB}{\mathrm{B}}
\newcommand{\upD}{\mathrm{D}}
\newcommand{\upE}{\mathrm{E}}
\newcommand{\upe}{\mathrm{e}}
\newcommand{\upi}{\mathrm{i}}
\newcommand{\upj}{\mathrm{j}}
\newcommand{\upk}{\mathrm{k}}
\newcommand{\upO}{\mathrm{O}}
\newcommand{\upP}{\mathrm{P}}
\newcommand{\uppi}{\mathrm{π}}
\newcommand{\upS}{\mathrm{S}}
\newcommand{\upU}{\mathrm{U}}
\newcommand{\GL}{\mathrm{GL}}
\newcommand{\gl}{\mathfrak{gl}}
\newcommand{\SO}{\mathrm{SO}}
\newcommand{\so}{\mathfrak{so}}
\newcommand{\Sp}{\mathrm{Sp}}
\newcommand{\Spin}{\mathrm{Spin}}
\newcommand{\spin}{\mathfrak{spin}}
\newcommand{\SU}{\mathrm{SU}}
\newcommand{\Th}{\mathrm{Th}}
\newcommand{\Ebar}{\overline{E}}
\newcommand{\Tbar}{\overline{T}}
\newcommand{\oline}[2]{\overline{#2}}
\newcommand{\term}[1]{\textbf{#1}}
\let\temp\phi
\let\phi\varphi
\let\varphi\temp
\let\temp\epsilon
\let\epsilon\varepsilon
\let\varepsilon\temp
\newcommand{\varqed}{}
\newcommand{\varqedhere}{}
\newtheorem*{theorem*}{定理}
\theoremstyle{definition}
\newtheorem{fact}{事实}
\theoremstyle{remark}
\newtheorem{example}{例}
\newtheorem{notation}{记号}
\newtheorem{exercise}{习题}
\nosectionnumbers
\numberwithin{equation}{theorem}