\newcommand{\cat}[1]{\mathsf{#1}}
\newcommand{\term}[1]{\textbf{#1}}
\newcommand{\fun}[1]{\operatorname{#1}}
\newcommand{\Mod}[1]{\cat{Mod}(#1)}
\renewcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\renewcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\E}{\mathbb{E}}
\renewcommand{\S}{\mathbb{S}}
\newcommand{\T}{\mathbb{T}}
\renewcommand{\P}{\mathbf{P}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\G}{\mathcal{G}}
\renewcommand{\O}{\mathcal{O}}
\newcommand{\Ca}{\mathcal{C}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\B}{\mathcal{B}}
\newcommand{\p}{\mathfrak{p}}
\newcommand{\q}{\mathfrak{q}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\Hom}{{\operatorname{Hom}}}
\newcommand{\Ext}{\operatorname{Ext}}
\newcommand{\Tor}{\operatorname{Tor}}
\newcommand{\Tot}{\operatorname{Tot}}
\newcommand{\Sym}{\operatorname{Sym}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\Spa}{\operatorname{Spa}}
\newcommand{\open}[2]{\mathchoice{U\biggl(\frac{#1}{#2}\biggr)}{U\bigl(\frac{#1}{#2}\bigr)}{U(\frac{#1}{#2})}{U(\frac{#1}{#2})}}
\newcommand{\ad}{\mathrm{ad}}
\newcommand{\AnSpec}{\operatorname{AnSpec}}
\newcommand{\inhom}{\underline{\operatorname{Hom}}}
\newcommand{\colim}{\operatornamewithlimits{colim}}
\newcommand{\coker}{\operatorname{coker}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\eq}{\operatorname{eq}}
\newcommand{\coeq}{\operatorname{coeq}}
\newcommand{\sk}{\operatorname{sk}}
\newcommand{\cosk}{\operatorname{cosk}}
\newcommand{\fib}{\operatorname{fib}}
\newcommand{\cofib}{\operatorname{cofib}}
\newcommand{\:}{\colon}
\newcommand{\disc}{\mathrm{disc}}
\newcommand{\op}{\mathrm{op}}
\newcommand{\ku}{\mathrm{ku}}
\newcommand{\solid}{\blacksquare}
\newcommand{\h}{\mathrm{h}}
\renewcommand{\i}{\mathrm{i}}
\newcommand{\GL}{\mathrm{GL}}
\newcommand{\U}{\mathrm{U}}
\newcommand{\gp}{\mathrm{gp}}
\newcommand{\m}{\mathfrak{m}}
\newtheorem{theorem}{定理}
\newtheorem{corollary}{推论}
\newtheorem{proposition}{命题}
\newtheorem{conjecture}{猜想}
\theoremstyle{definition}
\newtheorem{fact}{事实}
\newtheorem*{recall}{回忆}
\theoremstyle{remark}
\newtheorem{example}{例}
\newtheorem{notation}{记号}
\newtheorem{exercise}{习题}
\newtheorem*{warning}{警告}
\nosectionnumbers
\numberwithin{equation}{theorem}