مجموعة بارسوتي-تيت

في الهندسة الجبرية ، تُشبه مجموعات بارسوتي-تيت أو المجموعات القابلة للقسمة على p نقاط الرتبة a قوة لـ p على تنوع أبيلي في خاصية p . وقد قدمها بارسوتي ( 1962 ) تحت اسم المجال الفائق متساوي الأبعاد، وقدمها تيت ( 1967 ) تحت اسم المجموعات القابلة للقسمة على p، وأطلق عليها غروتينديك (1971) اسم مجموعات بارسوتي-تيت .  

تعريف

عرّف تيت (1967) مجموعة قابلة للقسمة على p من الارتفاع h (على مخطط S ) على أنها نظام استقرائي من المجموعات G n لـ n ≥0، بحيث تكون G n مخطط مجموعة منتهية على S من الرتبة p hn، وبحيث تكون G n (محددة مع) مجموعة العناصر من الرتبة القابلة للقسمة على p n في G n +1 .

بشكلٍ أعم، عرّف غروتينديك (1971) زمرة بارسوتي-تيت G على مخطط S بأنها حزمة fppf من الزمر التبديلية على S ، قابلة للقسمة على p ، وملتوية على p ، بحيث تكون النقاط G (1) من الرتبة p في G عبارة عن مخطط محلي حر محدود (مُمثلة بـ). رتبة الزمرة G (1) هي ph لدالة ثابتة محليًا h على S ، وتُسمى رتبة أو ارتفاع الزمرة G. الزمرة الجزئية G ( n ) من النقاط من الرتبة pn هي مخطط رتبته pnh ، و G هي النهاية المباشرة لهذه الزمر الجزئية .

مثال

  • لنفترض أن G <sub>n</sub> هي المجموعة الدورية من الرتبة p<sub> n</sub> (أو بالأحرى مخطط المجموعة المقابل لها). هذه مجموعة قابلة للقسمة على p- وارتفاعها 1.
  • لنفترض أن G n هو مخطط المجموعة للجذور p n للعدد 1. هذه مجموعة قابلة للقسمة على p- وارتفاعها 1.
  • Take Gn to be the subgroup scheme of elements of order pn of an abelian variety. This is a p-divisible group of height 2d where d is the dimension of the Abelian variety.

References