نظرية الأردن لمجموعة الديفومورفزم لبعض الأسطح

دع M تكون سطحًا ناعمًا مضغوطًا ومتصلًا من البعد n يمثل مجموعة تغطية غير متفرعة M ~ → M M M مع فئات التآزر α 1، …، α n ∈ H 1 (M ~ ؛ Z)₁، ، ₙ H¹ (M؛ Z) بحيث α 1 ∪ ⋯ ∪ α n ≠ 0₁ ₙ 0. نثبت أنه يوجد عدد ما c بحيث: (1) تحتوي أي مجموعة نهائية من الديفومورفزم لـ M على مجموعة فرعية ابيلية من رتبة لا تتجاوز c؛ (2) إذا كان χ (M) ≠ 0، فإن أي مجموعة نهائية من الديفومورفزم لـ M تحتوي على حد أقصى c <mml: annotation encoding