>>8
まあ取り敢えず私が理解した所では：

今Gを勝手なコンパクト単純群とスル時に、コレをゲージ群として量子ヤンミルズ
理論を考えて（つまりF=dA+A∧A、プラス作用積分の極値問題。）、この定式化を
ローレンツ不変性を考慮した公理的場の量子論としてR^4=R^{3+1}の上で考えた時
に、そのハミルトニアンHのスペクトラムが開集合(0,\Delta)の外部にアル、と言
う主張を証明せよ。

みたいな話ですかね。ですが「そういう物理的な設定」を厳密に構築して、しか
も尚且つ「ソレを証明せよ」みたいに私には読めますけどね。因みにその\Delta
を質量Mと読み替えていますね。（コレは通常の相対論の意味で。）

もうちょっと精密に理解したいので、もう少々のお時間を頂戴します。

猫