กลับไปหน้าบทความ

อ่าน 2 นาที

การเป็นตัวแทนที่ยอมรับได้

ในทางคณิตศาสตร์การแทนแบบยอมรับได้ (admissible representations)เป็นกลุ่มของการแทนแบบ ที่มีพฤติกรรมที่ดี ซึ่งใช้ในทฤษฎีการแทนของกลุ่ม Lie แบบลดรูป (reductive Lie groups)...

การเป็นตัวแทนที่ยอมรับได้

ในทางคณิตศาสตร์การแทนแบบยอมรับได้ (admissible representations)เป็นกลุ่มของการแทนแบบ ที่มีพฤติกรรมที่ดี ซึ่งใช้ในทฤษฎีการแทนของกลุ่ม Lie แบบลดรูป (reductive Lie groups) และกลุ่มที่ไม่เชื่อมต่อกันโดยสมบูรณ์แบบเฉพาะที่ ( locally compact totally disconnected groups) โดย Harish-Chandraเป็นผู้ริเริ่ม

กลุ่ม Lie ลดรูปจริงหรือเชิงซ้อน

ให้Gเป็นกลุ่ม Lie ที่เชื่อมต่อและลดรูปได้ (จริงหรือเชิงซ้อน) ให้Kเป็นกลุ่มย่อยกระชับสูงสุด การแสดงแทนแบบต่อเนื่อง (π, V ) ของGบนปริภูมิฮิลเบิร์ต เชิงซ้อน V [ 1 ]เรียกว่ายอมรับได้ถ้า π ที่จำกัดบนKเป็นแบบเอกภาพและการแสดงแทนแบบเอกภาพที่ลดรูปไม่ได้ของ K แต่ละรายการปรากฏในนั้นด้วยจำนวนจำกัด ตัวอย่างต้นแบบคือการแสดงแทนแบบเอกภาพที่ลดรูปไม่ได้ของG 

การแสดงที่ยอมรับได้ π ทำให้เกิด a(จี,เค){\displaystyle ({\mathfrak {g}},K)}-โมดูลซึ่งจัดการได้ง่ายกว่าเนื่องจากเป็นวัตถุทางพีชคณิต ตัวแทนที่ยอมรับได้สองแบบจะถือว่าสมมูลกันในระดับอนันต์ถ้าตัวแทนที่เกี่ยวข้องของทั้ง สองแบบนั้น(จี,เค){\displaystyle ({\mathfrak {g}},K)}โมดูล - นั้นเป็นไอโซมอร์ฟิกกัน แม้ว่าสำหรับตัวแทนที่ยอมรับได้ทั่วไป แนวคิดนี้จะแตกต่างจากความสมมูลตามปกติ แต่มันเป็นผลลัพธ์ที่สำคัญที่แนวคิดความสมมูลทั้งสองสอดคล้องกันสำหรับตัวแทนเอกภาพ (ที่ยอมรับได้) นอกจากนี้ยังมีแนวคิดเรื่องความเป็นเอกภาพของ(จี,เค){\displaystyle ({\mathfrak {g}},K)}-โมดูล วิธีนี้ช่วยลดการศึกษาชั้นสมมูลของการแสดงแทนเอกภาพที่ลดทอนไม่ได้ของG ลง เหลือเพียงการศึกษาชั้นสมมูลเชิงอนันต์ของการแสดงแทนที่ยอมรับได้ และการกำหนดว่าชั้นใดในจำนวนนี้เป็นเอกภาพเชิงอนันต์ ปัญหาของการกำหนดพารามิเตอร์ของชั้นสมมูลเชิงอนันต์ของการแสดงแทนที่ยอมรับได้นั้นได้รับการแก้ไขอย่างสมบูรณ์โดยRobert Langlandsและเรียกว่า การจำแนกประเภท ของLanglands

กลุ่มที่ไม่เชื่อมต่อกันโดยสิ้นเชิง

ให้Gเป็นกลุ่มที่แยกขาดจากกันโดยสมบูรณ์และกระชับในระดับท้องถิ่น (เช่น กลุ่มพีชคณิตแบบลดรูปเหนือฟิลด์ท้องถิ่น ที่ไม่ใช่แบบอาร์คิมีเดียน หรือเหนือ อะเดลจำกัดของฟิลด์ทั่วโลก ) การแทน (π, V ) ของGบนปริภูมิเวกเตอร์เชิงซ้อนVเรียกว่าเรียบถ้ากลุ่มย่อยของGที่ตรึงเวกเตอร์ใดๆ ของVเป็นกลุ่มเปิดนอกจากนี้ ถ้าปริภูมิของเวกเตอร์ที่ตรึงโดย กลุ่มย่อยเปิด กระชับ ใดๆ มีมิติจำกัดแล้ว π เรียกว่ายอมรับได้การแทนแบบยอมรับได้ของ กลุ่ม p -adic ยอมรับคำอธิบายเชิงพีชคณิตเพิ่มเติมผ่านการกระทำของพีชคณิตเฮคเคของฟังก์ชันคงที่ในระดับท้องถิ่นบนG 

การศึกษาเชิงลึกเกี่ยวกับการแสดงแทนที่ยอมรับได้ของ กลุ่มลดรูป p -adic นั้นดำเนินการโดยCasselmanและโดยBernsteinและZelevinskyในช่วงทศวรรษ 1970 ความก้าวหน้าเกิดขึ้นเมื่อไม่นานมานี้โดยHowe , Moy, Gopal Prasadและ Bushnell และ Kutzko ซึ่งได้พัฒนาทฤษฎีประเภทและจำแนกคู่ที่ยอมรับได้ (กล่าวคือ เซตของชั้นสมมูลของการแสดงแทนที่ยอมรับได้ที่ไม่สามารถลดรูปได้) ในหลายกรณี

หมายเหตุ

  1. กล่าวคือ โฮโมมอร์ฟิซึม π  : G → GL( V ) (โดยที่ GL( V ) คือกลุ่มของตัวดำเนินการเชิงเส้นที่มีขอบเขตบน Vซึ่งตัวผกผันก็มีขอบเขตและเป็นเชิงเส้นเช่นกัน) โดยที่แผนที่ที่เกี่ยวข้อง G × VVมีความต่อเนื่อง
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Admissible_representation&oldid=1064595430 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ การเป็นตัวแทนที่ยอมรับได้

ในทางคณิตศาสตร์การแทนแบบยอมรับได้ (admissible representations)เป็นกลุ่มของการแทนแบบ ที่มีพฤติกรรมที่ดี ซึ่งใช้ในทฤษฎีการแทนของกลุ่ม Lie แบบลดรูป (reductive Lie groups)...

กลุ่ม Lie ลดรูปจริงหรือเชิงซ้อน

ให้ G เป็นกลุ่ม Lie ที่เชื่อมต่อและลดรูปได้ (จริงหรือเชิงซ้อน) ให้ K เป็นกลุ่มย่อยกระชับสูงสุด การแสดงแทนแบบต่อเนื่อง (π, V ) ของ G บนปริภูมิ ฮิลเบิร์ต เชิงซ้อน V [ 1 ] เรียกว่า ยอมรับได้ ถ้า π ที่จำกัดบน K เป็น แบบเอกภาพ...

กลุ่มที่ไม่เชื่อมต่อกันโดยสิ้นเชิง

ให้ G เป็น กลุ่มที่แยกขาดจากกันโดยสมบูรณ์และกระชับในระดับท้องถิ่น (เช่น กลุ่มพีชคณิตแบบลดรูปเหนือ ฟิลด์ท้องถิ่น ที่ไม่ใช่แบบอาร์คิมีเดียน หรือเหนือ อะเดล จำกัดของ ฟิลด์ทั่วโลก ) การแทน (π, V ) ของ G บนปริภูมิเวกเตอร์เชิงซ้อน V เรียกว่า เรียบ ถ้ากลุ่มย่อยของ G...

หมายเหตุ

↑ กล่าวคือ โฮโมมอร์ฟิซึม π : G → GL( V ) (โดยที่ GL( V ) คือกลุ่มของ ตัวดำเนินการเชิงเส้นที่มีขอบเขต บน V ซึ่งตัวผกผันก็มีขอบเขตและเป็นเชิงเส้นเช่นกัน) โดยที่แผนที่ที่เกี่ยวข้อง G × V → V มีความต่อเนื่อง ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?