พีชคณิตฮ็อปฟ์ โครงสร้างทางคณิตศาสตร์ที่ผสานพีชคณิตและโคพีชคณิต

พีชคณิตฮ็อปฟ์ (Hopf algebra) เป็นโครงสร้างทางคณิตศาสตร์ที่ตั้งชื่อตามนักคณิตศาสตร์ Heinz Hopf โดยมีลักษณะเด่นคือการเป็นทั้ง พีชคณิต (Algebra) และ โคพีชคณิต (Coalgebra) ในเวลาเดียวกัน ซึ่งความสอดคล้องกันของทั้งสองโครงสร้างนี้ทำให้มันกลายเป็น บิอัลเจบรา (Bialgebra) และมีการเพิ่มคุณสมบัติพิเศษที่เรียกว่า แอนติโพด (Antipode) ซึ่งเป็นแอนติโฮโมมอร์ฟิซึม (Antihomomorphism) ที่ทำให้โครงสร้างนี้มีความสมบูรณ์ทางพีชคณิต

ความสำคัญของพีชคณิตฮ็อปฟ์อยู่ที่ทฤษฎีการแทนค่า (Representation theory) เนื่องจากมีการมีอยู่ของโคการคูณ (Comultiplication), โคหน่วย (Counit) และแอนติโพด ทำให้สามารถสร้างผลคูณเทนเซอร์ของการแทนค่า (Tensor products of representations), การแทนค่าแบบเอกลักษณ์ (Trivial representations) และการแทนค่าคู่ควบ (Dual representations) ได้อย่างมีประสิทธิภาพ

การปรากฏและประยุกต์ใช้

พีชคณิตฮ็อปฟ์เกิดขึ้นตามธรรมชาติในหลายสาขาของคณิตศาสตร์และฟิสิกส์ ดังนี้:

• ทอพอโลยีเชิงพีชคณิต (Algebraic Topology): เป็นจุดกำเนิดของโครงสร้างนี้ โดยมีความเกี่ยวข้องกับแนวคิดเรื่อง H-space
• ทฤษฎีกลุ่ม (Group Theory): ปรากฏผ่านแนวคิดของวงแหวนกลุ่ม (Group ring)
• ทฤษฎีกลุ่มสกีมา (Group Scheme Theory): ใช้ในการวิเคราะห์โครงสร้างทางเรขาคณิตและพีชคณิต
• ฟิสิกส์: มีการประยุกต์ใช้อย่างกว้างขวางในฟิสิกส์สสารควบแน่น (Condensed matter physics), ทฤษฎีสนามควอนตัม (Quantum field theory), ทฤษฎีสตริง (String theory) และปรากฏการณ์วิทยาของเครื่องเร่งอนุภาค LHC (LHC phenomenology)

นิยามทางคณิตศาสตร์

ให้ $(H, abla, ext{η}, ext{Δ}, ext{ε})$ เป็นบิอัลเจบรา (ที่สอดคล้องกับคุณสมบัติการเปลี่ยนหมู่ทั้งการคูณและการโคคูณ) บนฟิลด์ $K$ เราสามารถพิจารณา พีชคณิตคอนโวลูชัน (Convolution algebra) $ ext{Hom}_K(H, H)$ ของแผนผังเชิงเส้น $K$ โดยมีผลคูณกำหนดโดย:

$(f ext{⋆} g)(h) = abla ext{∘} (f ext{⊗} g) ext{∘} ext{Δ}(h)$

โดยที่เอกลักษณ์ของพีชคณิตคอนโวลูชันคือ $ ext{η} ext{∘} ext{ε}$

บิอัลเจบรา $H$ จะถูกเรียกว่า พีชคณิตฮ็อปฟ์ หากเอกลักษณ์ของ $H$ (ซึ่งคือ $ ext{id}_H ext{∈} ext{Hom}_K(H, H)$) มีตัวผกผันคอนโวลูชัน $S ext{∈} ext{Hom}_K(H, H)$ ซึ่งเรียกว่า แอนติโพด (Antipode)

ในสัญลักษณ์ของ Sweedler (แบบไม่มีผลรวม) คุณสมบัตินี้สามารถเขียนได้เป็น:

ค่าคงที่โครงสร้าง (Structure Constants)

เมื่อกำหนดฐาน (Basis) $\{e_k\}$ สำหรับปริภูมิเวกเตอร์พื้นฐาน เราสามารถนิยามพีชคณิตผ่านค่าคงที่โครงสร้างได้ดังนี้:

• การคูณ: $e_i abla e_j = ext{∑}_k ext{μ}_{ij}^k e_k$
• การโคคูณ: $ ext{Δ} e_i = ext{∑}_{j,k} ext{ν}_i^{jk} e_j ext{⊗} e_k$
• แอนติโพด: $S e_i = ext{∑}_j ext{τ}_i^j e_j$

เงื่อนไขการเปลี่ยนหมู่ (Associativity) กำหนดให้ $ ext{μ}_{ij}^k ext{μ}_{kn}^m = ext{μ}_{jn}^k ext{μ}_{ik}^m$ ในขณะที่การโคเปลี่ยนหมู่ (Co-associativity) กำหนดให้ $ ext{ν}_k^{ij} ext{ν}_i^{mn} = ext{ν}_k^{mi} ext{ν}_i^{nj}$