مجموعة مكدس

في الهندسة الجبرية ، تُعرف مجموعة الرزم بأنها مجموعة جبرية تمتلك فئات نقاطها بنى زمرية أو حتى بنى شبه زمرية بطريقة متوافقة. [ 1 ] وهي تعميم لمخطط الزمر ، وهو مخطط تمتلك مجموعات نقاطه بنى زمرية بطريقة متوافقة.

أمثلة

  • مخطط المجموعة هو عبارة عن مجموعة مكدسة. وبشكل أعم، فإن الفضاء الجبري للمجموعة ، وهو نظير الفضاء الجبري لمخطط المجموعة، هو عبارة عن مجموعة مكدسة.
  • على حقل k ، حزمة متجهة مكدسةV{\displaystyle {\mathcal {V}}}على مكدس ديلين-مامفورد يكون هناك مكدس زمرة بحيث توجد حزمة متجهة V فوق k على X وعرضVV{\displaystyle V\to {\mathcal {V}}}له تأثير عن طريق الخط الأفينيأ1{\displaystyle \mathbb {A} ^{1}}المقابل لعملية الضرب القياسي .
  • تعتبر مجموعة بيكارد مثالاً على مجموعة المجموعات (أو مجموعة المجموعات الفرعية).

إجراءات مجموعات التكديس

يُعد تعريف تأثير المجموعة على مكدس المجموعة أمرًا معقدًا بعض الشيء. أولًا، إذا كان لدينا مكدس جبري X ومخطط مجموعة G على مخطط أساسي S ، فإن التأثير الأيمن لـ G على X يتكون من

  1. التشكلσ:X×جيX{\displaystyle \sigma :X\times G\to X}،
  2. (التجميعية) تماثل طبيعيσ(م×1X)σ(1X×σ){\displaystyle \sigma \circ (m\times 1_{X}){\overset {\sim }{\to }}\sigma \circ (1_{X}\times \sigma )}حيث m هي عملية الضرب على G ،
  3. (الهوية) تماثل طبيعي1Xσ(1X×هـ){\displaystyle 1_{X}{\overset {\sim }{\to }}\sigma \circ (1_{X}\times e)}، أينهـ:Sجي{\displaystyle e:S\to G}هو قسم الهوية في G ،

التي تستوفي شروط التوافق النموذجية.

إذا كان G ، بشكل عام، عبارة عن مكدس مجموعة، فإن المرء يقوم بتوسيع ما سبق باستخدام العروض التقديمية المحلية.

ملحوظات

مراجع