[논문 리뷰] Super, quantum and non-commutative species

Rafael Díaz, Eddy Pariguán|arXiv (Cornell University)|2005. 09. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 33인용 수 12

한 줄 요약

이 논문은 대칭 모나이드 범주와 음수 객체를 포함하도록 조합론적 종류 이론을 확장하여 슈퍼, 양자 및 비환류 조합론에 대한 범주론적 프레임워크를 제안한다. 양자 및 슈퍼 종류를 통해 와일 대수와 변형 양자화의 범주화를 수립하며, 파인먼 적분에 대한 형식적 체계와 그라스만 변수를 가진 형식적 멱급수로의 평가 맵을 제공한다.

ABSTRACT

We introduce an approach to the categorification of rings, via the notion of distributive categories with negative objects, and use it to lay down categorical foundations for the study of super, quantum and non-commutative combinatorics. Via the usual duality between algebra and geometry, these constructions provide categorifications for various types of affine spaces, thus our works may be regarded as a starting point towards the construction of a categorical geometry.

연구 동기 및 목표

• 분배 범주에 음수 객체를 포함시켜 슈퍼, 양자 및 비환류 조합론에 대한 범주론적 기초를 마련한다.
• 조합론적 종류 이론을 형식적 멱급수와 그라스만 변수를 포함하도록 확장하여 양자장 이론과 변형 양자화의 범주론적 다루기 가능성을 제공한다.
• 양자 종류를 통한 와일 대수와 스타 곱의 범주화를 제공하며, 생성 및 소멸 연산자의 정규 순서에 대한 새로운 시각을 제시한다.
• 아핀 공간과 형식적 파아송 구조의 범주화를 통해 범주론적 기하학의 기초를 다진다.
• 슈퍼 종류 범주에서 형식적 멱급수 환으로의 평가 맵을 수립하여 범주론과 물리학의 대수적 구조를 연결한다.

제안 방법

• 구조가 단순한 군족 $G$ 에서 대칭 모나이드 범주 $C$ 로의 함자인 $G$-$C$ 종류를 도입하여 조합론적 종류 이론을 일반화한다.
• 슈퍼 종류를 $\mathbb{B}^d \times F_m$ 에서 대칭 분배 범주 $C$ 로의 함자로 정의하며, $\mathbb{B}^d$ 는 보존적 구조를, $F_m$ 은 페르미온적 구조를 나타낸다.
• 객체와 색인 집합의 분할에 대한 직합과 부호가 붙은 텐서곱을 이용해 슈퍼 종류 위의 합과 곱 연산을 구성한다.
• 각 슈퍼 종류에 대해 형식적 멱급수 $x_1, \dots, x_d$ 와 그라스만 변수 $\theta_1, \dots, \theta_m$ 에 대한 평가 맵 $|F|$ 를 정의한다.
• 슈퍼 곱셈 수열을 정의하고, 객체 및 색인 집합의 분할에 대한 정의된 부호 합으로 조합론적 해석을 제공한다.
• 모든 순서 있는 분할에 대한 부호가 붙은 텐서곱을 이용해 슈퍼 종류의 역을 정의하여 $|S||S^{-1}| = 1$ 이 성립하도록 보장한다.

실험 결과

연구 질문

• RQ1 조합론적 종류 이론은 어떻게 음수 객체와 비환류 구조를 포함하도록 확장될 수 있으며, 이는 양자 및 슈퍼 이론적 응용에 어떻게 기여하는가?
• RQ2 와일 대수의 범주론적 동치는 무엇이며, 이는 양자장 이론에서 정규 순서와 어떻게 관련되는가?
• RQ3 구조가 있는 군족에서 대칭 모나이드 범주로의 함자를 사용하여 변형 양자화를 어떻게 범주화할 수 있는가?
• RQ4 그라스만 변수와 부호가 붙은 텐서곱은 슈퍼 대칭 종류의 일관된 대수적 구조를 구성하는 데 어떤 역할을 하는가?
• RQ5 퍼티브 파인먼 적분, 스타 곱, 슈퍼 리 대수를 통합하는 형식적 범주론적 프레임워크를 개발할 수 있는가?

주요 결과

• 슈퍼 종류의 범주 $C^{\mathbb{B}^d \times F_m}$ 는 정의된 합과 곱 연산에 대해 대칭 분배 범주를 이룬다.
• 평가 맵 $|F| = \sum_{(a,I)} |F([a], I)| \frac{x^a}{a!} \theta_I$ 는 슈퍼 종류 범주에서 형식적 멱급수 환 $R[[x_1,\dots,x_d]] \otimes \bigwedge[\theta_1,\dots,\theta_m]$ 로의 잘 정의된 링 준동형사상이다.
• 슈퍼 곱셈 수열은 객체 및 색인 집합의 분할을 포함하는 정의된 부호 이항형 항등식을 만족하며, 고전적 이항 계수를 일반화한다.
• 슈퍼 종류 $S = 1 - F$ 의 역은 객체 및 색인 집합의 모든 순서 있는 분할에 대한 부호 합으로 주어지며, 평가 환에서 곱의 역성질을 보장한다.
• 이 구조는 양자 종류의 구조를 통해 양자장 이론에서 정규 순서 문제의 범주론적 해석을 제공한다.
• 이 프레임워크는 특히 일정한 파아송 괄호를 갖는 상황에서 퍼티브 파인먼 적분과 변형 양자화의 형식적, 범주론적 다루기 가능성을 가능하게 한다.