"리대수 sl(2,C)의 유한차원 표현론"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로)
잔글 (찾아 바꾸기 – “</h5>” 문자열을 “==” 문자열로)
1번째 줄: 1번째 줄:
==이 항목의 수학노트 원문주소</h5>
+
==이 항목의 수학노트 원문주소==
  
 
* [[sl(2)의 유한차원 표현론]]
 
* [[sl(2)의 유한차원 표현론]]
7번째 줄: 7번째 줄:
 
 
 
 
  
==개요</h5>
+
==개요==
  
 
* 리대수 <math>\mathfrak{sl}(2)</math>
 
* 리대수 <math>\mathfrak{sl}(2)</math>
15번째 줄: 15번째 줄:
 
 
 
 
  
==리대수 <math>\mathfrak{sl}(2)</math></h5>
+
==리대수 <math>\mathfrak{sl}(2)</math>==
  
 
* <math>L=\langle E,F,H \rangle</math>
 
* <math>L=\langle E,F,H \rangle</math>
25번째 줄: 25번째 줄:
 
 
 
 
  
==highest weight representation</h5>
+
==highest weight representation==
  
 
* <math>\mathbb{F}</math> : algebraically closed field with characteristic 0
 
* <math>\mathbb{F}</math> : algebraically closed field with characteristic 0
38번째 줄: 38번째 줄:
 
 
 
 
  
==유한차원 기약표현의 분류</h5>
+
==유한차원 기약표현의 분류==
  
 
* 각 <math>m\geq 0</math> 에 대하여, m+1 차원 기약표현 <math>V(m)</math>가 존재한다
 
* 각 <math>m\geq 0</math> 에 대하여, m+1 차원 기약표현 <math>V(m)</math>가 존재한다
47번째 줄: 47번째 줄:
 
 
 
 
  
==파울리 행렬</h5>
+
==파울리 행렬==
  
 
* [[파울리 행렬]]<br>
 
* [[파울리 행렬]]<br>
60번째 줄: 60번째 줄:
 
 
 
 
  
==역사</h5>
+
==역사==
  
 
 
 
 
71번째 줄: 71번째 줄:
 
 
 
 
  
==메모</h5>
+
==메모==
  
 
 
 
 
81번째 줄: 81번째 줄:
 
 
 
 
  
==관련된 항목들</h5>
+
==관련된 항목들==
  
 
* [[스핀과 파울리의 배타원리]]
 
* [[스핀과 파울리의 배타원리]]
90번째 줄: 90번째 줄:
 
 
 
 
  
==수학용어번역</h5>
+
==수학용어번역==
  
 
*  단어사전<br>
 
*  단어사전<br>
107번째 줄: 107번째 줄:
 
 
 
 
  
==매스매티카 파일 및 계산 리소스</h5>
+
==매스매티카 파일 및 계산 리소스==
  
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxTllDZlBkcXRyUkk/edit
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxTllDZlBkcXRyUkk/edit
122번째 줄: 122번째 줄:
 
 
 
 
  
==사전 형태의 자료</h5>
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
134번째 줄: 134번째 줄:
 
 
 
 
  
==리뷰논문, 에세이, 강의노트</h5>
+
==리뷰논문, 에세이, 강의노트==
  
 
 
 
 
142번째 줄: 142번째 줄:
 
 
 
 
  
==관련논문</h5>
+
==관련논문==
  
 
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.jstor.org/action/doBasicSearch?Query=
152번째 줄: 152번째 줄:
 
 
 
 
  
==관련도서</h5>
+
==관련도서==
  
 
*  도서내검색<br>
 
*  도서내검색<br>
 
** http://books.google.com/books?q=
 
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 
** http://book.daum.net/search/contentSearch.do?query=

2012년 11월 1일 (목) 10:37 판

이 항목의 수학노트 원문주소

 

 

개요

  • 리대수 \(\mathfrak{sl}(2)\)

 

 

리대수 \(\mathfrak{sl}(2)\)

  • \(L=\langle E,F,H \rangle\)
  • commutator
    \([E,F]=H\)
    \([H,E]=2E\)
    \([H,F]=-2F\)
  • universal enveloping algebra의 PBW 기저 \(\{F^kH^lE^m|k,l,m\geq 0\}\)

 

 

highest weight representation

  • \(\mathbb{F}\) : algebraically closed field with characteristic 0
  • \(V\) :유한차원인 기약표현
  • \(V=\oplus_{\lambda\in\mathbb{F}}V_{\lambda}\), \(V_{\lambda}=\{v\in V|Hv=\lambda v\}\)
  • \(\lambda\in \mathbb{F}\) 에 대하여, highest weight vector \(v_0\) 를 정의
    \(Ev_0=0\)
    \(Hv_0=\lambda v_0\)
  • \(v_j:=\frac{F^j}{j!}v_0\) 로 정의하면, 다음 관계가 만족된다
    \(H v_j=(\lambda -2j)v_j\)
    \(F v_j=(j+1)v_{j+1}\)
    \(E v_j=(\lambda -j+1)v_{j-1}\)
  • \(\{v^j|j\geq 0\}\) 가 생성하는 벡터공간이 유한차원인 L-모듈이 되려면, \(\lambda\in\mathbb{Z}, \lambda\geq 0\) 이 만족되어야 한다

 

 

유한차원 기약표현의 분류

  • 각 \(m\geq 0\) 에 대하여, m+1 차원 기약표현 \(V(m)\)가 존재한다
  • 모든 유하차원 기약표현 \(V\)에 대하여 적당한 \(m\geq 0\)에 대하여 \(V\simeq V(m)\)

 

 

파울리 행렬

  • 파울리 행렬
  • raising and lowering 연산자
    \(\sigma_{\pm}=\frac{1}{2}(\sigma_{x}\pm i\sigma_{y})\)
    \(\sigma_{+}=\frac{1}{2}(\sigma_{x}+ i\sigma_{y})=\begin{pmatrix} 0&1\\ 0&0 \end{pmatrix}\)
    \(\sigma_{-}=\frac{1}{2}(\sigma_{x}- i\sigma_{y})=\begin{pmatrix} 0&0\\ 1&0 \end{pmatrix}\)
    \([\sigma_{z},\sigma_{\pm}]=\pm 2\sigma_{\pm}\)

 

 

 

 

역사

 

 

 

메모

 

 

 

관련된 항목들

 

 

수학용어번역

 

 

매스매티카 파일 및 계산 리소스

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서