맨위로가기

톰 스펙트럼

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

톰 스펙트럼은 분류 공간과 연관 벡터 다발을 사용하여 정의되는 위상수학적 스펙트럼이다. 실수, 복소수, 사원수를 사용하여 톰 스펙트럼을 정의할 수 있으며, 각각 MO, MU, MUSp로 표기된다. 르네 톰의 이름을 따서 명명되었다.

광고

더 읽어볼만한 페이지

  • 대수적 위상수학 - 매시 곱
    매시 곱은 미분 등급 대수 원소에 대한 연산으로 코호몰로지 곱으로 파악하기 어려운 위상수학적 불변량을 측정하며, 2항 곱과 3항 곱을 일반화한 형태로 불확정성을 가지지만, 브루니안 링크, 보로메오 고리 연구 및 꼬인 K-이론 등 다양한 분야에 응용된다.
  • 대수적 위상수학 - 톰 공간
    톰 공간은 파라콤팩트 공간 위의 벡터 다발을 이용하여 구성되며, 르네 톰에 의해 도입되었고, 톰 동형을 통해 기저 공간의 코호몰로지와 관계를 가지며 특성류 이론 등에서 중요한 역할을 한다.

2. 정의

톰 스펙트럼은 스펙트럼의 한 종류로, 직교군, 유니터리 군, 심플렉틱 군 등과 같은 분류 공간과 그에 따른 연관 벡터 다발의 톰 공간을 통해 정의된다. 톰 스펙트럼은 실수, 복소수, 사원수 등 다양한 수 체계를 바탕으로 정의할 수 있다.

2. 1. 실수 톰 스펙트럼

분류 공간

:\operatorname O(n)\hookrightarrow \operatorname{EO}(n) \twoheadrightarrow \operatorname{BO}(n)

위의 연관 벡터 다발

:\mathbb R^n \hookrightarrow (\operatorname{EO}(n)\times_{\operatorname O(n)} \mathbb R^n) \twoheadrightarrow\operatorname{BO}(n)

의 톰 공간을 다음과 같이 표기한다.

:\operatorname{MO}(n) = \operatorname{Th}(\operatorname{EO}(n)\times_{\operatorname O(n)}\mathbb R^n)

리 군의 포함 관계

:\operatorname O(n)\hookrightarrow \operatorname O(n+1)

로부터 유도되는 분류 공간의 포함 관계

:g_n\colon \operatorname{BO}(n)\hookrightarrow\operatorname{BO}(n+1)

로부터, 벡터 다발의 당김 올다발

:g_n^* (\operatorname{EO}(n+1)\times_{\operatorname O(n+1)}\mathbb R^n)

\twoheadrightarrow \operatorname{BO}(n)

을 정의할 수 있다. 이 경우,

:g_n^* (\operatorname{EO}(n+1)\times_{\operatorname O(n+1)}\mathbb R^n) = \operatorname{EO}(n) \oplus_{\operatorname{BO}(n)} (\operatorname{BO}(n) \times\mathbb R)

은 자명한 1차원 벡터 다발을 직합으로 더한 것이다. 톰 공간을 취했을 때, 이는 축소 현수를 이룬다.

:\operatorname{Th}\left(g_n^* (\operatorname{EO}(n+1)\times_{\operatorname O(n+1)}\mathbb R^n)\right)

= \Sigma \operatorname{Th}(\operatorname{EO}(n)\times_{\operatorname O(n)}\mathbb R^n) = \Sigma\operatorname{MO}(n)



즉, 이는 사상

:\Sigma\operatorname{MO}(n) \to \operatorname{MO}(n+1)

을 정의한다. 이 사상들은 스펙트럼

:\operatorname{MO}

을 정의하는데, 이를 '''톰 스펙트럼'''(Thom spectrum영어)이라고 한다.

2. 2. 복소수 톰 스펙트럼

유니터리 군의 분류 공간과 연관 벡터 다발의 톰 공간을 이용하여 복소수 톰 스펙트럼을 정의할 수 있다. 스펙트럼 \operatorname{MU}는 실수와 직교군 대신 복소수와 유니터리 군을 사용하여 정의한다. 구체적으로, 포함 관계

:g_n\colon\operatorname{BU}(n) \hookrightarrow\operatorname{BU}(n+1)

에 의하여,

:g_n^* (\operatorname{EU}(n+1)\times_{\operatorname U(n+1)}\mathbb C^n) = \operatorname{EU}(n) \oplus (\operatorname{BU}(n) \times\mathbb C)

이므로,

:\operatorname{Th}\left(g_n^* (\operatorname{EU}(n+1)\times_{\operatorname U(n+1)}\mathbb C^n)\right)

= \Sigma^2 \operatorname{Th}(\operatorname{EU}(n)\times_{\operatorname U(n)}\mathbb C^n) = \Sigma^2\operatorname{MU}(n)



이다. 그러나 복소평면은 (실수선과 달리) 2차원이므로, 이는 스펙트럼의 짝수차 성분만을 정의한다.

2. 3. 사원수 톰 스펙트럼

사원수와 콤팩트 심플렉틱 군 \operatorname{USp}(2n)을 사용하여 스펙트럼 \operatorname{MUSp}를 정의할 수 있다. 구체적으로, 포함 관계

:g_n\colon\operatorname{BUSp}(2n) \hookrightarrow\operatorname{BUSp}(2n+2)

에 의하여,

:g_n^* (\operatorname{EUSp}(2n+2)\times_{\operatorname{USp}(2n+2)}\mathbb H^n) = \operatorname{EUSp}(2n) \oplus (\operatorname{BUSp}(2n) \times\mathbb H)

이므로,

:\operatorname{Th}\left(g_n^* (\operatorname{EUSp}(2n+2)\times_{\operatorname{USp}(2n+2)}\mathbb H^n)\right)

= \Sigma^4 \operatorname{Th}(\operatorname{EUSp}(2n)\times_{\operatorname{USp}(2n)}\mathbb H^n) = \Sigma^4\operatorname{MUSp}(4n)



이다. 사원수 공간은 4차원이므로, 이는 스펙트럼의 4의 배수차 성분만을 정의한다.

3. 역사

프랑스의 수학자 르네 톰의 이름을 따서 명명되었다.


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com