[논문 리뷰] Duality and triple structures

Kirill C. H. Mackenzie|ArXiv.org|2004. 06. 14.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 삼중 벡터(bundle)의 이중성 작용이 순서 72인 군을 생성하며, 이는 이면군 또는 대칭군과 다름을 보이며, 삼중 구조를 코탄젠트 삼중 벡터(bundle)에 매장함으로써 이를 입증한다. 이는 이중 벡터(bundle) 이중성의 이면군 대칭을 고차원으로 일반화하며, 초입방체 대칭으로 확장되지 않는 비자명한 군 구조를 드러내며, (k+1)-중 이중화 작용의 곱과 관련된 추측을 포함하는 n중 벡터(bundle)의 이중성 이론을 제안한다.

ABSTRACT

We first recall the basic theory of double vector bundles and the canonical pairing of their duals introduced by the author and by Konieczna and Urbanski. We then show that the relationship between a double vector bundle and its two duals can be understood simply in terms of an associated cotangent triple vector bundle. In particular we show that the dihedral group of the triangle acts on this triple via forms of the isomorphisms R introduced by the author and Ping Xu. We then consider the three duals of a general triple vector bundle and show that the corresponding group is neither the dihedral group of the square nor the symmetry group on four symbols.

연구 동기 및 목표

• 삼중 벡터(bundle)의 이중화 작용이 생성하는 군의 구조를 이해하는 것.
• 이전에 대칭군 S3로 규정된 이중 벡터(bundle) 이중성 이론을 삼중 경우로 확장하는 것.
• 삼중 벡터(bundle)의 세 이중체와 원래 벡터(bundle)가 코탄젠트 (n+1)-중 벡터(bundle)의 하부 면을 이룬다는 것을 보여주는 것.
• 삼중 벡터(bundle)의 이중화에서 발생하는 대칭군을 규명하고, 초입방체 또는 대칭군 대칭에 대한 기대와 대조하는 것.

제안 방법

• 논문은 맥클라운드와 코니에츠나-우르반스키가 도입한 쌍대성의 표준 쌍대화를 사용하여 주어진 이중 벡터(bundle)에서 코탄젠트 삼중 벡터(bundle)를 구성한다.
• 논문은 맥클라운드와 쑈의 이전 결과를 일반화하여, 이중 벡터(bundle)의 세 이중체에 작용하는 대칭군으로서 순서 6의 이면군을 식별한다. 이는 등급 R을 통한 등장사상으로서의 작용이다.
• 삼중 벡터(bundle)의 경우, 세 축을 따라 X, Y, Z 세 이중화 작용을 정의하고 그들의 합성 작용을 분석한다.
• GAP를 통한 계산 기반 대수학을 사용하여, X, Y, Z가 생성하는 군이 (XYZ)^4 = I, (YZX)^4 = I, (ZXY)^4 = I, X^2 = Y^2 = Z^2 = I 등의 관계를 만족함을 검증하며, 이는 순서 72인 군을 이룬다.
• 논문은 삼중 벡터(bundle)를 코탄젠트 (n+1)-중 벡터(bundle)에 매장하며, 원래 벡터(bundle)와 그 세 이중체가 하부 n-면을 이룬다.
• 논문은 n중 벡터(bundle)에 대해 일반화된 관계 (X_{i1}...X_{ik})^{k+1} = 1을 추측하며, 삼중 경우에서 관찰된 패tern을 확장한다.

실험 결과

연구 질문

• RQ1 삼중 벡터(bundle)의 이중화 작용이 생성하는 군의 구조는 무엇인가?
• RQ2 삼중 벡터(bundle)의 이중성은 이중 벡터(bundle)의 이중성과 어떻게 다를까, 특히 대칭성 측면에서?
• RQ3 이중 사례를 초월해 n중 벡터(bundle)의 이중성을 체계적으로 일반화할 수 있는가?
• RQ4 삼중 경우의 이중화 작용 군이 대칭군 S4나 정사각형의 이면군과 동형이 되지 않는 이유는 무엇인가?
• RQ5 코탄젠트 (n+1)-중 벡터(bundle)는 n중 벡터(bundle)의 이중성 구조를 통합하는 데 어떤 역할을 하는가?

주요 결과

• GAP 계산 기반 대수학 소프트웨어를 통해 검증된 lin, 삼중 벡터(bundle)의 이중화 작용 군의 순서는 72이다.
• 이 군은 정사각형의 이면군 또는 네 기호의 대칭군과 동형이 아니며, 예상보다 더 복잡한 대칭성을 나타낸다.
• X^2 = Y^2 = Z^2 = I, (XYZ)^4 = I, (YZX)^4 = I, (ZXY)^4 = I 등의 관계가 군의 구조를 완전히 특징짓는다.
• 삼중 벡터(bundle)의 세 이중체와 원래 벡터(bundle)는 코탄젠트 (n+1)-중 벡터(bundle)의 세 하부 n-면을 이룬다.
• XYXZ, YZXY, ZXZY가 생성하는 부분군의 순서는 12이며, 정규 부분군이며, 몫은 S3와 동형이다.
• 논문은 n중 벡터(bundle)에 대해, k개의 서로 다른 이중화 작용의 곱을 (k+1)제곱하면 항등원이 되는 일반화된 관계를 추측한다.