View source

\theoremstyle{plain}
\newtheorem{thm}{Theorem}%[section]
\newtheorem{prop}{Proposition}
\newtheorem{lemma}{Lemma}
\newtheorem{cor}{Corollary}
\newtheorem*{nonumthm}{Theorem}
\newtheorem*{nonumprop}{Proposition}


\theoremstyle{definition}
\newtheorem{definition}[equation]{Definition}
\newtheorem*{nonumdef}{Definition}
\newtheorem*{nonumrem}{Remark}
\newtheorem{example}[equation]{Example}
\newtheorem*{nonumex}{Example}


\newcommand{\abs}[1]{\left\lvert{#1}\right\rvert}
\newcommand{\norm}[1]{\left\|{#1}\right\|}

%    Blank box placeholder for figures (to avoid requiring any
%    particular graphics capabilities for printing this document).
\newcommand{\blankbox}[2]{%
  \parbox{\columnwidth}{\centering
%    Set fboxsep to 0 so that the actual size of the box will match the
%    given measurements more closely.
    \setlength{\fboxsep}{0pt}%
    \fbox{\raisebox{0pt}[#2]{\hspace{#1}}}%
  }%
}

\newcommand{\A}{{\mathcal A}}
\newcommand{\B}{{\mathcal B}}
\newcommand{\C}{\mathbb C}
\newcommand{\D}{{\mathcal D}}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{{\mathbb F}}
\newcommand{\G}{{\mathcal G}}
\renewcommand{\H}{\mathcal H}
\newcommand{\I}{{\mathbb I}}
\newcommand{\K}{{\mathcal K}}
\renewcommand{\L}{{\mathcal L}}
\newcommand{\M}{{\mathcal M}}
\newcommand{\N}{\mathbb N}
\renewcommand{\P}{\mathbf P}
\newcommand{\Q}{\mathbb Q}
\newcommand{\calq}{\mathcal Q}
\newcommand{\R}{\mathbb R}
\newcommand{\calr}{{\mathcal R}}
\renewcommand{\S}{\mathcal S}
\newcommand{\T}{\mathcal T}
\newcommand{\U}{{\mathcal U}}
\newcommand{\V}{{\mathbb V}}
\newcommand{\W}{{\mathcal W}}
\newcommand{\X}{{\mathcal X}}
\newcommand{\Z}{\mathbb Z}
\newcommand{\p}{\mathfrak p}
\newcommand{\m}{\mathfrak m}
\newcommand{\g}{\mathfrak g}
\newcommand{\fa}{\mathfrak a}
\newcommand{\fb}{\mathfrak b}
\renewcommand{\a}{\mathfrak a}
\renewcommand{\b}{\mathfrak b}
\newcommand{\q}{\mathfrak q}
\renewcommand{\O}{\mathcal O}
\newcommand{\f}{\mathfrak f}
\newcommand{\oo}{\infty}
\newcommand{\eps}{\epsilon}

\DeclareMathOperator{\Isom}{Isom}
\DeclareMathOperator{\Stab}{Stab}
\DeclareMathOperator{\Fix}{Fix}
\DeclareMathOperator{\Tor}{Tor}
\DeclareMathOperator{\Ann}{Ann}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\hol}{hol}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Span}{Span}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\trace}{Tr}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Map}{Map}
\DeclareMathOperator{\disc}{disc}
\DeclareMathOperator{\Frac}{Frac}
\DeclareMathOperator{\Divisor}{Div}
\DeclareMathOperator{\divisor}{div}
\DeclareMathOperator{\PDiv}{PDiv}
\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\Lie}{Lie}
\DeclareMathOperator{\Ad}{Ad}
\DeclareMathOperator{\ad}{ad}
\DeclareMathOperator{\GL}{GL}

\def\embed{\hookrightarrow}
\def\larrow{\leftarrow}
\def\hookto{\hookrightarrow}
\newcommand{\inclusion}{\hookrightarrow}
\newcommand{\geodx}{\geo\widetilde{DX}}
\newcommand{\normal}{\vartriangleleft}
\newcommand{\obar}{\overline}
\newcommand{\wt}{\widetilde}
\newcommand{\pair}[2]{\left\langle{#1},{#2}\right\rangle}



Here we have still fixed a manifold $X$, and principal $G$-bundle $\pi:P\to X$ with associated vector bundle $E\to X$.

We need to understand the local topology of the space $\B^p_k=\A^p_k/\G^p_{k+1}$. The best hope we could have is