\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern,amsmath,amssymb,amsthm,mathtools}
\usepackage[margin=1in,headheight=14pt]{geometry}
\usepackage{microtype,enumitem,longtable,booktabs,tabularx,xurl,needspace}
\usepackage[hidelinks]{hyperref}
\usepackage{bookmark,fancyhdr}
\hypersetup{pdftitle={Quillen's local parameter conjecture in dimension four},pdfauthor={Yunpeng Li},pdfsubject={The mixed-characteristic dimension-four local Quillen problem},pdfkeywords={projective modules, local Quillen problem, mixed characteristic, algebraic K-theory, Milnor-Witt K-theory},pdfdisplaydoctitle=true,bookmarksopen=true,bookmarksopenlevel=1}
\pagestyle{fancy}\fancyhf{}
\fancyhead[L]{\small Local Quillen in dimension four}
\fancyfoot[C]{\thepage}
\setlength{\parskip}{4pt}\setlength{\parindent}{1.15em}
\setlength{\emergencystretch}{2em}
\linespread{1.045}
\setcounter{tocdepth}{2}
\setcounter{secnumdepth}{3}
\clubpenalty=5000
\widowpenalty=5000
\newcommand{\proofstep}[1]{\par\medskip\needspace{3\baselineskip}\noindent\textit{#1}\quad\ignorespaces}
\setlist{itemsep=2pt,topsep=5pt}\allowdisplaybreaks[2]
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}\newtheorem{definition}[theorem]{Definition}
\theoremstyle{remark}\newtheorem{remark}[theorem]{Remark}
\newcommand{\Z}{\mathbb Z}\newcommand{\Q}{\mathbb Q}
\newcommand{\F}{\mathbb F}\newcommand{\A}{\mathbb A}\newcommand{\Gm}{\mathbb G_m}
\newcommand{\KM}{K^{\mathrm M}}\newcommand{\KMW}{K^{\mathrm{MW}}}
\newcommand{\Khat}{\widehat K^{\mathrm M}}\newcommand{\M}{\mathrm M}
\newcommand{\CH}{\mathrm{CH}}\newcommand{\Nis}{\mathrm{Nis}}\newcommand{\Zar}{\mathrm{Zar}}
\newcommand{\et}{\mathrm{\acute et}}\newcommand{\mot}{\mathrm{mot}}
\newcommand{\cla}{\mathrm{cla}}\newcommand{\ind}{\mathrm{ind}}
\newcommand{\Fil}{\operatorname{Fil}}\newcommand{\gr}{\operatorname{gr}}
\newcommand{\HH}{\mathbb H}\newcommand{\cM}{\mathcal M}\newcommand{\cH}{\mathcal H}
\newcommand{\cF}{\mathcal F}\newcommand{\cD}{\mathcal D}
\newcommand{\pf}[1]{\langle\!\langle #1\rangle\!\rangle}
\newcommand{\langlemon}[1]{\langle #1\rangle}
\newcommand{\fl}{\mathfrak l}\newcommand{\fm}{\mathfrak m}
\newcommand{\xto}[1]{\xrightarrow{#1}}
\newcommand{\Hmot}[3]{H^{#1}_{\mot}(#2,#3)}
\newcommand{\Het}[2]{H^{#1}_{\et}(#2)}
\DeclareMathOperator{\Spec}{Spec}\DeclareMathOperator{\Frac}{Frac}
\DeclareMathOperator{\Pic}{Pic}\DeclareMathOperator{\Br}{Br}
\DeclareMathOperator{\im}{im}\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\rk}{rank}\DeclareMathOperator{\height}{ht}
\DeclareMathOperator{\Um}{Um}\DeclareMathOperator{\GW}{GW}\DeclareMathOperator{\KO}{KO}
\DeclareMathOperator{\SL}{SL}\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\ESp}{ESp}\DeclareMathOperator{\Sp}{Sp}
\DeclareMathOperator{\Vect}{Vect}\DeclareMathOperator{\hofib}{hofib}
\DeclareMathOperator{\diag}{diag}\DeclareMathOperator{\length}{length}
\DeclareMathOperator{\res}{res}\DeclareMathOperator{\cor}{cor}
\DeclareMathOperator{\tr}{tr}\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\coeq}{coeq}\DeclareMathOperator{\Sing}{Sing}
\newcommand{\colim}{\mathop{\mathrm{colim}}}

% Persistent notation: objects of different types have distinct symbols.
\newcommand{\Hyp}{\mathsf H}
\newcommand{\Hypq}{\mathsf H_{\mathrm q}}
\newcommand{\hsym}{h_{\mathrm{sym}}}
\newcommand{\Ddual}{\mathbb D}
\newcommand{\Bclass}{\mathrm B}
\newcommand{\NFr}{N_{\mathrm{Fr}}}
\DeclareMathOperator{\mult}{mult}