순환 호몰로지

호몰로지 대수학에서 순환 호몰로지(循環homology, 영어: cyclic homology)와 순환 코호몰로지(循環cohomology, 영어: cyclic cohomology)는 비가환일 수 있는 결합 대수에 대하여 정의되는 호몰로지 · 코호몰로지 이론이다.[1][2][3][4] 드람 코호몰로지의 일종의 비가환 일반화이며, 호흐실트 호몰로지 · 호흐실트 코호몰로지와 깊은 관계를 갖는다.

정의 편집

순환 (코)호몰로지는 다양한 방법으로 정의될 수 있다.

순환 코호몰로지의 기초적 정의 편집

가환환   위의 (항등원을 갖는) 결합 대수  가 주어졌다고 하자.   -쌍가군을 이루며, 그  -쌍대 가군   역시  -쌍가군을 이룬다.

그렇다면,  호흐실트 공사슬 복합체(영어: Hochschild cochain complex)는 다음과 같은  -공사슬 복합체이다.

 
 
 

코호몰로지  계수의 호흐실트 코호몰로지  이다.

이제, 이 공사슬 복합체 위의, 정의역의 원소의 순서쌍 성분들에 순환 순열을 가하는 공사슬 복합체 자기 동형 사상

 
 

을 생각하자.[3]:286, Definition 2.1자기 동형고정점으로 구성된 부분 벡터 공간

 

들은 공경계 사상  에 대하여 닫혀 있어, 부분 공사슬 복합체를 이룬다.[3]:286, Lemma 2.1코호몰로지

 

 순환 코호몰로지라고 한다.[3]:286, Definition 2.2

순환 호몰로지의 기초적 정의 편집

가환환   위의 (항등원을 갖는) 결합 대수  가 주어졌다고 하자. 그렇다면, 텐서곱  을 정의할 수 있으며, 이는  -쌍가군을 이룬다.

또한, 다음과 같은 호흐실트 경계 연산자(Hochschild境界演算子, 영어: Hochschild boundary operator)를 정의할 수 있다.[1]:8–9, §1.1.1

 
 

그렇다면,

 

이므로[1]:9, Lemma 1.1.2   -사슬 복합체

 

를 이룬다. 이 사슬 복합체의  차 대상은  이다. 이를 호흐실트 사슬 복합체(Hochschild사슬複合體, 영어: Hochschild chain complex)라고 하며,[1]:9, §1.1.3호몰로지  계수 호흐실트 호몰로지  이다.

또한, 다음과 같은 콘 경계 연산자(Connes境界演算子, 영어: Connes boundary operator)  를 정의할 수 있다.[1]:57, (2.1.7.3)

 
 

그렇다면,

 

이므로[1]:57, (2.1.7.2) 이는 호흐실트 호몰로지의 사상

 

을 정의한다.

호흐실트 경계 연산자  와 콘 경계 연산자  는 다음과 같은 이중 복합체를 정의한다.

 

이 이중 복합체를  라고 하면, 각 차수에서의 성분은

 

이다. 이 이중 복합체의 전체 복합체

 

를 생각하자. 그렇다면, 그 호몰로지를  순환 호몰로지라고 한다.[1]:58, Theorem 2.1.8

 

순환 호몰로지의 순환 이중 복합체를 통한 정의 편집

가환환   위의 결합 대수  가 주어졌다고 하자. 그렇다면, 텐서곱  을 정의할 수 있으며, 이는  -쌍가군을 이룬다.

이제, 다음과 같은 연산자들을 정의하자.

 
 
 
 

그렇다면 호흐실트 경계 연산자는

 

이다. 마찬가지로,

 

을 정의할 수 있다. 그렇다면,   역시 사슬 복합체

 

를 이룬다.

또한,   위에는 다음과 같은, 순환군   -선형 표현이 존재한다.

 

또한, 다음과 같은 연산자를 정의할 수 있다.

 
 

이들은 다음을 만족시킨다.[1]:53, Lemma 2.1.1

 
 

이에 따라, 다음과 같은 순환 이중 복합체(영어: cyclic bicomplex)를 정의할 수 있다.

 

이를  라고 하자. 즉,

 

이다.

그렇다면, 순환 호몰로지는 순환 이중 복합체의 전체 복합체의 호몰로지이다.

 

위상수학적 정의 편집

다음이 주어졌다고 하자.

  • 가환환  
  •   속의 순환 대상  

그렇다면,  -순환 대상들의 범주

 

역시 아벨 범주를 이루므로 Ext 함자를 정의할 수 있으며, 또한 순환 가군의 텐서곱 함자를 정의할 수 있으므로 그 유도 함자로서 Tor 함자를 정의할 수 있다.

 순환 호몰로지Tor 함자

 

이다.[1]:213, Theorem 6.2.8 마찬가지로  순환 코호몰로지Ext 함자

 

이다.[1]:214, Theorem 6.2.9 (만약 순환 범주   대신 단체 범주  를 사용하면, 대신 호흐실트 호몰로지[1]:212, Theorem 6.2.2호흐실트 코호몰로지[1]:213, §6.2.6를 얻는다.

 -결합 대수  의 경우, 어떤 특별한 순환 가군  를 대응시킬 수 있으며, 결합 대수순환 (코)호몰로지 의 순환 (코)호몰로지를 말한다.

그 구성은 다음과 같다.

 의 구성:

가환환   위의 결합 대수  가 주어졌을 때, 호흐실트 사슬 복합체

 

를 생각하자. 이 경우,

 
 
 

을 다음과 같이 정의하자.

 [1]:45, (1.6.1.2)
 [1]:45, (1.6.1.2)
 [1]:53, §2.1.0

그렇다면, 이를 부여하면   -순환 가군을 이룬다.

성질 편집

순환 코호몰로지와 호흐실트 코호몰로지 사이를 잇는, 일종의 긴 완전열이 존재한다.

구체적으로, 표수 0   위의 결합 대수  가 주어졌다고 하자. 그렇다면, 위와 같이 호흐실트 코호몰로지를 정의하는 공사슬 복합체   및 순환 코호몰로지를 정의하는 부분 공사슬 복합체

 

가 존재한다. 즉, 이는 공사슬 복합체짧은 완전열

 

을 정의하며, 이에 따라 긴 완전열

 

을 얻는다. 그런데

 

임을 보일 수 있다. 즉, 다음과 같은 긴 완전열이 존재한다.

 

이를 콘 완전열(Connes完全列, 영어: Connes exact sequence)이라고 하며,[3]:287, §2 특히 연결 사상  콘 주기 연산자(Connes週期演算子, 영어: Connes periodicity operator)라고 한다.[3]:287, §2[1]:61, Theorem 2.2.1

콘 주기성을 사용하여, 순환 코호몰로지 군들의 귀납적 극한

 

을 정의할 수 있다. 이를 주기 순환 코호몰로지(週期循環cohomology, 영어: periodic cyclic cohomology)라고 하며,[3]:287, §2 복소수 계수 위상 K군과 마찬가지로 두 개가 존재한다.

편집

 표수 0   위의 매끄러운 아핀 스킴이라고 하자. 그렇다면,  의 순환 코호몰로지와 (그 스펙트럼의) 대수적 드람 코호몰로지 사이의 관계는 다음과 같다.

 

여기서

 

알렉산더 그로텐디크의 대수적 드람 코호몰로지이다.

역사 편집

알랭 콘[5][6]과 보리스 치간(우크라이나어: Бори́с Л. Ци́ган, 러시아어: Бори́с Л. Цыга́н, 영어: Boris L. Tsygan)[7]이 1980년대에 독자적으로 도입하였다. 콘의 이론은 원래 코호몰로지를 기반으로 하였지만, 치간의 이론은 원래 호몰로지를 기반으로 하였다.

콘은 순환 코호몰로지의 이론을 1981년 독일에서 열린 학회에서 최초로 발표하였으며,[3]:283, §1 1983년에 “순환 코호몰로지”(프랑스어: cohomologie cyclique)라는 용어를 최초로 사용하였다.[5] 콘의 원래 목적은 알렉산더 그로텐디크가 정의한 대수적 드람 코호몰로지를 비가환 결합 대수에 대하여 일반화하기 위한 것이었으며, 콘의 원래 정의는 호흐실트 호몰로지를 정의하는 사슬 복합체의 변형을 통한 것이었다. 1983년에 알랭 콘순환 대상의 개념을 도입하였으며, 이를 사용하여 순환 (코)호몰로지를 추상적으로 정의하였다.[5]

참고 문헌 편집

  1. Loday, Jean-Louis (1998). 《Cyclic homology》. Grundlehren der mathematischen Wissenschaften (영어) 301 2판. Springer-Verlag. doi:10.1007/978-3-662-11389-9. ISBN 978-3-642-08316-7. ISSN 0072-7830. MR 1217970. Zbl 0885.18007. 
  2. Husemöller, Dale Harper (1991). Sujatha, R., 편집. 《Lectures on cyclic homology》 (PDF) (영어). 뭄바이: Tata Institute of Fundamental Research. ISBN 3-540-54667-7. Zbl 0776.55001. 
  3. Khalkhali, Masoud (2008). 〈A short survey of cyclic cohomology〉. Blanchard, Etienne; Ellwood, David; Khalkhali, Masoud; Marcolli, Matilde; Moscovici, Henri; Popa, Sorin. 《Quanta of maths. Conference in honor of Alain Connes. Non commutative geometry. Institute Henri Poincaré, Institute des Hautes Études Scientifiques, Institute de Mathématiques de Jussieu, Paris, France. March 29–April 6, 2007》 (PDF). Clay Mathematical Proceedings (영어) 11. American Mathematical Society, Clay Mathematics Institute. 283–311쪽. arXiv:1008.1212. Bibcode:2010arXiv1008.1212K. Zbl 1222.58007. 
  4. Brodzki, Jacek (1996). 《An introduction to K-theory and cyclic cohomology》. Advanced Topics in Mathematics (영어). 바르샤바: Państwowe Wydawnictwo Naukowe. arXiv:funct-an/9606001. Bibcode:1996funct.an..6001B. Zbl 0919.19001. 
  5. Connes, Alain (1983). “Cohomologie cyclique et foncteurs Extn (PDF). 《Comptes rendus de l’Académie des Sciences. Série Ⅰ. Mathématique》 (프랑스어) 296 (23): 953–958. MR 777584. Zbl 0534.18009. 2016년 3월 4일에 원본 문서 (PDF)에서 보존된 문서. 2017년 7월 20일에 확인함. 
  6. Connes, Alain (1986). 〈Cyclic cohomology and the transverse fundamental class of a foliation〉. Araki, Huzihiro; Effros, Edward G. 《Geometric methods in operator algebras. Proceedings of the US–Japan seminar, Kyoto, July 1983》. Pitman Research Notes in Mathematics Series (영어) 123. Wiley. 52–144쪽. Zbl 0647.46054. 
  7. Цыган, Борис Л. (1983). “Гомологии матричных алгебр Ли над кольцами и гомологии Хохшильда”. 《Успехи математических наук》 (러시아어) 38 (2): 217–218. Bibcode:1983RuMaS..38..198T. doi:10.1070/RM1983v038n02ABEH003481. ISSN 0042-1316. MR 695483. Zbl 0518.17002. 

외부 링크 편집