invariant.sty

\newcommand{\sce}{\mathscr{C}^{\textsf{ex}}}
\newcommand{\scd}{\mathscr{C}}
\newcommand{\caff}{C_{\textsf{aff}}}

\numberwithin{equation}{section}

\theoremstyle{plain}
% \newtheorem*{reftheorem}{Theorem}
% \newtheorem{theorem}{Theorem}[section]
% \newtheorem{corollary}[theorem]{Corollary}
% \newtheorem{proposition}[theorem]{Proposition}
% \newtheorem{lemma}[theorem]{Lemma}
% \newtheorem{conjecture}[theorem]{Conjecture}
% \newtheorem{problem}{Problem}
% \newtheorem{question}{Question}
% \newtheorem*{question*}{Question}
% \newtheorem{claim}[theorem]{Claim}
% \newtheorem{assumption}[theorem]{Assumption}

% \theoremstyle{definition}
% \newtheorem{definition}[theorem]{Definition}

% \theoremstyle{remark}
% \newtheorem{remark}[theorem]{Remark}
% \newtheorem{example}[theorem]{Example}
\newtheorem*{reftheorem}{Theorem}
\newtheorem{theorem}[equation]{Theorem}
\newtheorem{corollary}[equation]{Corollary}
\newtheorem{proposition}[equation]{Proposition}
\newtheorem{lemma}[equation]{Lemma}
\newtheorem{conjecture}[equation]{Conjecture}
\newtheorem{problem}{Problem}
\newtheorem{question}{Question}
\newtheorem*{question*}{Question}
\newtheorem{claim}[equation]{Claim}
\newtheorem{assumption}[equation]{Assumption}

\theoremstyle{definition}
\newtheorem{definition}[equation]{Definition}

\theoremstyle{remark}
\newtheorem{remark}[equation]{Remark}
\newtheorem{example}[equation]{Example}

% General
\renewcommand{\emptyset}{\varnothing}
\newcommand{\hra}{\hookrightarrow}
\newcommand{\righthookarrow}{\hookrightarrow}
\newcommand{\isom}{\cong}
\newcommand{\too}{\longrightarrow}
\newcommand{\isomto}{\overset{\sim}{\longrightarrow}}
\newcommand{\nto}[1]{\overset{#1}{\longrightarrow}}
\newcommand{\nsubset}{\not\subset}
\renewcommand{\phi}{\varphi}
\newcommand{\To}{\Rightarrow}
\newcommand{\ilim}{\varprojlim}
\newcommand{\dlim}{\varinjlim}
\newcommand{\eps}{\varepsilon}
\renewcommand{\bar}[1]{\overline{#1}}
\renewcommand{\tilde}[1]{\widetilde{#1}}
\DeclareMathOperator{\car}{char}
\DeclareMathOperator{\rk}{rk}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\pgl}{PGL}
\DeclareMathOperator{\Gl}{GL}
\DeclareMathOperator{\Sl}{SL}
\DeclareMathOperator{\Sp}{Sp}
\DeclareMathOperator{\Sympd}{SPD} % TODO: please change to something better (symmetric positive definite matrices in Sl)

% Number theory
\newcommand{\Qbar}{\ensuremath{\overline{\Q}}}
\newcommand{\Kb}{\overline{K}}
\newcommand{\Fb}{\overline{F}}
\newcommand{\kb}{\overline{k}}
\newcommand{\Xbar}{\overline{X}}
\newcommand{\Cbar}{\overline{C}}
\newcommand{\R}{\ensuremath{\mathbb{R}}}
\newcommand{\C}{\ensuremath{\mathbb{C}}}
\newcommand{\hh}{\ensuremath{\mathbb{H}}}
\newcommand{\F}{\ensuremath{\mathbb{F}}}
\newcommand{\fp}{\ensuremath{\mathbb{F}_p}}
\newcommand{\fpbar}{\ensuremath{\overline{\mathbb{F}_p}}}
\newcommand{\sm}{\ensuremath{\mathfrak{m}}}
\newcommand{\pr}{\ensuremath{\mathfrak{p}}}
\newcommand{\Q}{\ensuremath{\mathbb{Q}}}
\newcommand{\Z}{\ensuremath{\mathbb{Z}}}
\newcommand{\N}{\ensuremath{\mathbb{N}}}
\newcommand{\ok}{\mathscr{O}_K}
\newcommand{\cI}{\mathcal{I}}
\newcommand{\hG}[0]{\widehat{G}}
\DeclareMathOperator{\Gal}{Gal}
\DeclareMathOperator{\inv}{inv}
\DeclareMathOperator{\Nm}{Nm}
\DeclareMathOperator{\tr}{Tr}
\DeclareMathOperator{\Cl}{Cl}
\newcommand{\Gt}{G}

% Algebraic geometry
\newcommand{\sA}{\ensuremath{\mathscr{A}}}
\newcommand{\sO}{\ensuremath{\mathscr{O}}}
\newcommand{\sL}{\ensuremath{\mathscr{L}}}
\newcommand{\sK}{\ensuremath{\mathscr{K}}}
\newcommand{\sF}{\ensuremath{\mathscr{F}}}
\newcommand{\sH}{\ensuremath{\mathscr{H}}}
\newcommand{\sC}{\ensuremath{\mathscr{C}}}
\newcommand{\A}{\ensuremath{\mathbb{A}}}
\newcommand{\Pro}{\ensuremath{\mathbb{P}}}
\newcommand{\G}{\ensuremath{\mathbb{G}}}
\newcommand{\sE}{\mathcal{E}}
\newcommand{\sD}{\mathscr{Q}}
\newcommand{\sg}{\mathcal{W}_g}
\newcommand{\rschemes}{\underline{R-\textrm{Schemes}}}
\newcommand{\sX}{\mathscr{X}}
\newcommand{\ag}{\mathcal{A}_g}
\newcommand{\agn}{\mathcal{A}_{g,n}}
\newcommand{\agd}{\mathcal{A}_{g,{D}}}
\newcommand{\agdp}{\mathcal{A}_{g,{D'}}}
\newcommand{\agphi}{\mathcal{A}_{g,{D},\Phi}}
\newcommand{\simg}{\mathrm{Sym}(X^G)}
\newcommand{\agz}{\overline{\mathcal{A}_{g,\Z}}}
\newcommand{\agm}{{\mathcal{A}_{g}^\ast}}
\newcommand{\ao}{\mathcal{A}_1}
\newcommand{\df}{\Delta_f}
\newcommand{\detl}{M(g,\ell)}
\newcommand{\permat}{M_{\textrm{per}}}
\newcommand{\psic}{\Psi_A}
\newcommand{\psimat}{\psi_{A}}
\newcommand{\psivec}{\psi_{\vec{n},\lambda}}
\newcommand{\tclos}[1]{\overline{#1}^\mathrm{top}}
\newcommand{\hclos}[1]{\overline{#1}^\mathrm{hol}}
\newcommand{\zclos}[1]{\overline{#1}^\mathrm{Zar}}
\newcommand{\psimodt}{{\psi}_{A, \C}}
\newcommand{\psidiag}{\psi_{A}^{(1)}}
% \newcommand{\psimod}{\psi_{A}^\mathrm{mod}}
\newcommand{\psimod}{\psi_{A}}
\newcommand{\tla}{\tilde{\Lambda}_A}
\newcommand{\weak}{\approx}
\newcommand{\medium}{\stackrel{n}{\approx}}
\newcommand{\mg}{\mathcal{U}_{g,n}}
\newcommand{\sgd}{\mathcal{W}_{g,D}}
\newcommand{\alld}{\mathscr{A}_g}

\DeclareMathOperator{\Supp}{Supp}
\DeclareMathOperator{\Div}{Div}
\DeclareMathOperator{\dv}{div}
\DeclareMathOperator{\Pic}{Pic}
\DeclareMathOperator{\P0}{Pic^0}
\DeclareMathOperator{\Spec}{Spec}