"호프 대수(Hopf algebra)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
|||
| 1번째 줄: | 1번째 줄: | ||
| − | + | ==개요== | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
* 호프 대수(Hopf algebra) = bi-algebra with an antipoe | * 호프 대수(Hopf algebra) = bi-algebra with an antipoe | ||
| − | * '군(group)' ([[군론(group theory)]] 항목 참조) 개념의 일반화 | + | * '군 (group)' ([[군론(group theory)]] 항목 참조) 개념의 일반화 |
* 양자군의 이론에서 중요한 역할<br> | * 양자군의 이론에서 중요한 역할<br> | ||
** 양자군(quantum group) = non co-commutative quasi-triangular Hopf algebra | ** 양자군(quantum group) = non co-commutative quasi-triangular Hopf algebra | ||
| − | + | ||
| − | + | ||
| − | + | ==군(group) 의 정의 : abstract nonsense== | |
* 군의 정의를 abstract nonsense를 사용하여 표현하기 | * 군의 정의를 abstract nonsense를 사용하여 표현하기 | ||
| − | * a group is a | + | * a group is a set <math>G&bg=ffffff&fg=000000&s=0</math> equipped with<br> |
| − | ** a multiplication | + | ** a multiplication map <math>\mu: G \otimes G \to G</math> |
| − | ** an inversion | + | ** an inversion map <math>S: G \to G</math> |
| − | ** an identity | + | ** an identity element <math>1:+*+\to+G&bg=ffffff&fg=000000&s=0</math>, where <math>*&bg=ffffff&fg=000000&s=0</math> is a one point set |
| − | ** <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math> | + | ** <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math> (trivial representation, counit) |
| − | ** <math>\Delta: G \to G \otimes G</math>, diagonal map: | + | ** <math>\Delta: G \to G \otimes G</math>, diagonal map: <math>g \mapsto g\otimes g</math> |
* 일반적으로 군을 정의할 때 드러나지 않는 <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math> , <math>\Delta:+G+\to+G+\times+G&bg=ffffff&fg=000000&s=0</math>를 도입함으로써, 군을 abstract nonsense 만으로 표현할 수 있게 된다 | * 일반적으로 군을 정의할 때 드러나지 않는 <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math> , <math>\Delta:+G+\to+G+\times+G&bg=ffffff&fg=000000&s=0</math>를 도입함으로써, 군을 abstract nonsense 만으로 표현할 수 있게 된다 | ||
* 결합법칙<br><math>\mu \circ (\mu \otimes \operatorname{id})=\mu \circ (\operatorname{id}\otimes \mu)</math><br> | * 결합법칙<br><math>\mu \circ (\mu \otimes \operatorname{id})=\mu \circ (\operatorname{id}\otimes \mu)</math><br> | ||
* 역원에 대한 조건 (원소에 그 역원을 곱하면 항등원을 얻는다)<br><math>\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon</math>, i.e., multiplying an element with its inverse yields the unit.<br> | * 역원에 대한 조건 (원소에 그 역원을 곱하면 항등원을 얻는다)<br><math>\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon</math>, i.e., multiplying an element with its inverse yields the unit.<br> | ||
| − | + | ||
| − | + | ||
| − | + | ==호프 대수(Hopf algebra) 의 정의== | |
| − | * Hopf algebra = an algebra | + | * Hopf algebra = an algebra with unit and three maps = bialgebra with an antipode |
| − | * Given a commutative | + | * Given a commutative ring <math>R&bg=ffffff&fg=000000&s=0</math>, a Hopf algebra over <math>R&bg=ffffff&fg=000000&s=0</math> is a six-tuple <math>(G, \mu, 1, S, \epsilon, \Delta)</math>,<br> |
| − | ** <math>G&bg=ffffff&fg=000000&s=0</math>is | + | ** <math>G&bg=ffffff&fg=000000&s=0</math>is an <math>R&bg=ffffff&fg=000000&s=0</math>-module |
| − | ** <math>\mu: G \otimes_R G \to G</math> | + | ** <math>\mu: G \otimes_R G \to G</math> is a multiplication map |
| − | ** <math>1:+R+\to+G&bg=ffffff&fg=000000&s=0</math> | + | ** <math>1:+R+\to+G&bg=ffffff&fg=000000&s=0</math> is a unit |
| − | ** <math>S: G \to G</math> | + | ** <math>S: G \to G</math> is called the antipode |
| − | ** <math>\epsilon:+G+\to+R&bg=ffffff&fg=000000&s=0</math> | + | ** <math>\epsilon:+G+\to+R&bg=ffffff&fg=000000&s=0</math> is a counit |
| − | ** <math>\Delta:+G+\to+G+\otimes_R+G&bg=ffffff&fg=000000&s=0</math> | + | ** <math>\Delta:+G+\to+G+\otimes_R+G&bg=ffffff&fg=000000&s=0</math> is called comultiplication. |
| − | + | ||
* These are required to satisfy relations<br> | * These are required to satisfy relations<br> | ||
| − | ** <math>(G,\mu,1)</math> | + | ** <math>(G,\mu,1)</math> ring |
** <math>(G,\Delta,\epsilon)</math> coring (just turn all the previous arrows around) | ** <math>(G,\Delta,\epsilon)</math> coring (just turn all the previous arrows around) | ||
** comultiplication and counit are a ring maps | ** comultiplication and counit are a ring maps | ||
| 55번째 줄: | 47번째 줄: | ||
** antipode <math>\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon</math>, 많은 경우는 antihomomorphism 즉, <math>S(ab)=S(b)S(a)</math> | ** antipode <math>\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon</math>, 많은 경우는 antihomomorphism 즉, <math>S(ab)=S(b)S(a)</math> | ||
| − | + | ||
| − | + | ||
| − | + | ==표현론에서 유용한 점== | |
| − | + | ||
* H : Hopf algebra | * H : Hopf algebra | ||
| 69번째 줄: | 61번째 줄: | ||
* counit - trivial representations | * counit - trivial representations | ||
* tensor product<br><math>a.(v\otimes w)= \Delta(a)(v\otimes w)</math><br> | * tensor product<br><math>a.(v\otimes w)= \Delta(a)(v\otimes w)</math><br> | ||
| − | * dual representation<br> For <math>f\in V^{*}</math>, <math>(a.f)(v)= f(S(a).v)</math><br> | + | * dual representation<br> For <math>f\in V^{*}</math>, <math>(a.f)(v)= f(S (a).v)</math><br> |
* the category of representations has a monoidal structure with duals | * the category of representations has a monoidal structure with duals | ||
| − | + | ||
| − | + | ||
| − | + | ==예 : group ring== | |
* <math>H=\mathbb{F}G</math> : group algebra of G over F | * <math>H=\mathbb{F}G</math> : group algebra of G over F | ||
| 84번째 줄: | 76번째 줄: | ||
* antipode<br><math>S(g)=g^{-1}</math><br> | * antipode<br><math>S(g)=g^{-1}</math><br> | ||
| − | + | ||
| − | + | ||
| − | + | ==예 : UEA== | |
* simple Lie algebra <math>\mathfrak{g}</math> | * simple Lie algebra <math>\mathfrak{g}</math> | ||
* <math>U(\mathfrak{g})</math> | * <math>U(\mathfrak{g})</math> | ||
| − | * comultiplication (this explains why the tensor product | + | * comultiplication (this explains why the tensor product of <math>U(\mathfrak{g})</math>-modules is defined as known)<br><math>\Delta : U (\mathfrak{g}) \to U (\mathfrak{g})\otimes U(\mathfrak{g}) </math><br><math>\Delta(x) =x\otimes 1+ 1 \otimes x</math> for <math>x \in \mathfrak{g}</math><br><math>\Delta(1)=1\otimes 1</math><br> |
| − | * counit<br><math>\epsilon(x) =0</math> | + | * counit<br><math>\epsilon(x) =0</math> for <math>x \in \mathfrak{g}</math><br><math>\epsilon(1) =1</math><br> |
| − | * antipode<br><math>S(x) = -x</math> | + | * antipode<br><math>S(x) = -x</math> for <math>x \in \mathfrak{g}</math><br><math>S(1) =1</math><br> |
* [[quantized universal enveloping algebra]]<br> | * [[quantized universal enveloping algebra]]<br> | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ==역사== | |
| − | + | ||
* http://www.google.com/search?hl=en&tbs=tl:1&q= | * http://www.google.com/search?hl=en&tbs=tl:1&q= | ||
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| − | + | ||
| − | + | ||
| − | + | ==메모== | |
| − | * [http://sbseminar.wordpress.com/2007/10/07/group-hopf-algebra/ Group = Hopf algebra] , Scott Carnahan, Secret Blogging Seminar, | + | * [http://sbseminar.wordpress.com/2007/10/07/group-hopf-algebra/ Group = Hopf algebra] , Scott Carnahan, Secret Blogging Seminar, October 7, 2007 |
* http://mathoverflow.net/questions/101739/is-there-any-progress-on-the-theory-in-the-paper-geometric-methods-in-representa<br> | * http://mathoverflow.net/questions/101739/is-there-any-progress-on-the-theory-in-the-paper-geometric-methods-in-representa<br> | ||
* Math Overflow http://mathoverflow.net/search?q= | * Math Overflow http://mathoverflow.net/search?q= | ||
| − | + | ||
| − | + | ||
| − | + | ==관련된 항목들== | |
| − | + | ||
| − | + | ||
<h5>수학용어번역</h5> | <h5>수학용어번역</h5> | ||
2012년 10월 8일 (월) 07:48 판
개요
- 호프 대수(Hopf algebra) = bi-algebra with an antipoe
- '군 (group)' (군론(group theory) 항목 참조) 개념의 일반화
- 양자군의 이론에서 중요한 역할
- 양자군(quantum group) = non co-commutative quasi-triangular Hopf algebra
군(group) 의 정의 : abstract nonsense
- 군의 정의를 abstract nonsense를 사용하여 표현하기
- a group is a set \(G&bg=ffffff&fg=000000&s=0\) equipped with
- a multiplication map \(\mu: G \otimes G \to G\)
- an inversion map \(S: G \to G\)
- an identity element \(1:+*+\to+G&bg=ffffff&fg=000000&s=0\), where \(*&bg=ffffff&fg=000000&s=0\) is a one point set
- \(\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0\) (trivial representation, counit)
- \(\Delta: G \to G \otimes G\), diagonal map\[g \mapsto g\otimes g\]
- 일반적으로 군을 정의할 때 드러나지 않는 \(\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0\) , \(\Delta:+G+\to+G+\times+G&bg=ffffff&fg=000000&s=0\)를 도입함으로써, 군을 abstract nonsense 만으로 표현할 수 있게 된다
- 결합법칙
\(\mu \circ (\mu \otimes \operatorname{id})=\mu \circ (\operatorname{id}\otimes \mu)\) - 역원에 대한 조건 (원소에 그 역원을 곱하면 항등원을 얻는다)
\(\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon\), i.e., multiplying an element with its inverse yields the unit.
호프 대수(Hopf algebra) 의 정의
- Hopf algebra = an algebra with unit and three maps = bialgebra with an antipode
- Given a commutative ring \(R&bg=ffffff&fg=000000&s=0\), a Hopf algebra over \(R&bg=ffffff&fg=000000&s=0\) is a six-tuple \((G, \mu, 1, S, \epsilon, \Delta)\),
- \(G&bg=ffffff&fg=000000&s=0\)is an \(R&bg=ffffff&fg=000000&s=0\)-module
- \(\mu: G \otimes_R G \to G\) is a multiplication map
- \(1:+R+\to+G&bg=ffffff&fg=000000&s=0\) is a unit
- \(S: G \to G\) is called the antipode
- \(\epsilon:+G+\to+R&bg=ffffff&fg=000000&s=0\) is a counit
- \(\Delta:+G+\to+G+\otimes_R+G&bg=ffffff&fg=000000&s=0\) is called comultiplication.
- These are required to satisfy relations
- \((G,\mu,1)\) ring
- \((G,\Delta,\epsilon)\) coring (just turn all the previous arrows around)
- comultiplication and counit are a ring maps
- multiplication and unit are a coring maps
- antipode \(\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon\), 많은 경우는 antihomomorphism 즉, \(S(ab)=S(b)S(a)\)
표현론에서 유용한 점
- H : Hopf algebra
- V,W : H-modules
- one wants to have the following H-modules \(V\otimes W\) and \(V^{*}\)
- For Hopf algebra, we can construct them as H-modules
- counit - trivial representations
- tensor product
\(a.(v\otimes w)= \Delta(a)(v\otimes w)\) - dual representation
For \(f\in V^{*}\), \((a.f)(v)= f(S (a).v)\) - the category of representations has a monoidal structure with duals
예 : group ring
- \(H=\mathbb{F}G\) : group algebra of G over F
- multiplication and identity element
\(m : \mathbb Z[G]\otimes \mathbb Z[G] \to \mathbb Z[G]\) - comultiplication
\(\Delta : \mathbb Z[G] \to \mathbb Z[G]\otimes \mathbb Z[G] \)
\(g \mapsto g\otimes g\) - counit
\(\epsilon(g)=1\) - antipode
\(S(g)=g^{-1}\)
예 : UEA
- simple Lie algebra \(\mathfrak{g}\)
- \(U(\mathfrak{g})\)
- comultiplication (this explains why the tensor product of \(U(\mathfrak{g})\)-modules is defined as known)
\(\Delta : U (\mathfrak{g}) \to U (\mathfrak{g})\otimes U(\mathfrak{g}) \)
\(\Delta(x) =x\otimes 1+ 1 \otimes x\) for \(x \in \mathfrak{g}\)
\(\Delta(1)=1\otimes 1\)
- counit
\(\epsilon(x) =0\) for \(x \in \mathfrak{g}\)
\(\epsilon(1) =1\) - antipode
\(S(x) = -x\) for \(x \in \mathfrak{g}\)
\(S(1) =1\) - quantized universal enveloping algebra
역사
메모
- Group = Hopf algebra , Scott Carnahan, Secret Blogging Seminar, October 7, 2007
- http://mathoverflow.net/questions/101739/is-there-any-progress-on-the-theory-in-the-paper-geometric-methods-in-representa
- Math Overflow http://mathoverflow.net/search?q=
관련된 항목들
수학용어번역
- 단어사전
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 한국통계학회 통계학 용어 온라인 대조표
- 한국물리학회 물리학 용어집 검색기
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
매스매티카 파일 및 계산 리소스
- http://www.wolframalpha.com/input/?i=
- http://functions.wolfram.com/
- NIST Digital Library of Mathematical Functions
- Abramowitz and Stegun Handbook of mathematical functions
- The On-Line Encyclopedia of Integer Sequences
- Numbers, constants and computation
- 매스매티카 파일 목록
사전 형태의 자료
- http://ko.wikipedia.org/wiki/호프_대수
- [1]http://en.wikipedia.org/wiki/Hopf_algebra
- http://en.wikipedia.org/wiki/Coalgebra
- Encyclopaedia of Mathematics
- NIST Digital Library of Mathematical Functions
- The World of Mathematical Equations
리뷰논문, 에세이, 강의노트
관련논문