[논문 리뷰] New Examples of Simple Jordan Superalgebras over an Arbitrary Field of Characteristic Zero

V. N. Zhelyabin|arXiv (Cornell University)|2010. 07. 16.

Advanced Topics in Algebra참고 문헌 6인용 수 7

한 줄 요약

이 논문은 특성 0인 임의의 체 위에서, $J(\Gamma,D)$ 유형의 조르단 초대수와는 동형이 아니지만, 그 분수 초대수는 $J(\Gamma,D)$ 유형과 동형인, 단위원을 가진 단순 특수 조르단 초대수를 구성한다. 이 구성은 특정 유도를 가진 다항식환의 몫을 사용하며, 체잉–카크 구성의 수정된 버전을 통해 새로운 초대수를 정의한다. 이는 모든 이러한 초대수가 반드시 $J(\Gamma,D)$ 와 동형이어야 한다는 추측에 대한 반례를 제공한다.

ABSTRACT

I.P. Shestakov constructed an example of a unital simple special Jordan superalgebra over the field of real numbers. It turned out to be a subsuperalgebra of the Jordan superalgebra of vector type, but not isomorphic to a superalgebra of this type. Moreover, its superalgebra of fractions is isomorphic to a Jordan superalgebra of vector type. Author constructed a similar example of a Jordan superalgebra over a field of characteristic~0 in which the equation $t^2+1=0$. In this article we present an~example of a Jordan superalgebra with the same properties over an arbitrary field of characteristic 0. A similar example of a superalgebra is found in the Cheng-Kac superalgebra.

연구 동기 및 목표

• 특성 0인 임의의 체 위에서, $J(\Gamma,D)$ 유형의 조르단 초대수와 동형이 아니며, 단위원을 가진 단순 특수 조르단 초대수를 구성하는 것.
• 이전에는 $\mathbb{R}$ 또는 $t^2+1=0$ 이 해를 가지지 않는 체에서만 알려져 있었지만, 이를 특성 0인 임의의 체로 확장하는 것.
• 모든 단순 특수 조르단 초대수 중에서 짝수 부분이 결합적이고 홀수 부분이 랭크 1의 프로젝티브일 경우 반드시 $J(\Gamma,D)$ 와 동형이어야 한다는 추측에 대한 반례를 제공하는 것.
• 칸타리니와 카크가 제기한 일반적인 설정에서 이러한 동형이 아닌 예가 존재하는지에 대한 질문에 답하는 것.

제안 방법

• 특성 0인 체 $F$ 위에서 $\Gamma = F[x,y]/(x^2 + y^4 - 1)$ 이라는 교환 결합 대수를 정의한다.
• $D = 2y^3 \frac{\partial}{\partial x} - x \frac{\partial}{\partial y}$ 라는 유도를 $\Gamma$ 에 부여하여 $\Gamma$ 가 $D$-단순가 되도록 한다.
• 칸토르 이중 구성법을 통해 체잉–카크 초대수 $CK(\Gamma,D)$ 를 조르단 초대수로서 구성한다.
• $A$ 는 $\Gamma$ 의 부분대수이고 $M$ 은 $A$-모듈러라고 할 때, 짝수 부분이 $A + w_1A + w_2A + w_3A$ 이고 홀수 부분이 $\overline{M} + x_1\overline{M} + x_2\overline{M} + x_3\overline{M}$ 인 $CK(\Gamma,D)$ 의 부분초대수 $GCK(A,\Delta)$ 를 정의한다.
• 모든 비자명한 아이디얼이 1을 포함해야 한다는 것을 보임으로써 단순성을 증명한다. 이는 연관자 항등식과 $1 \in (A, \overline{M}, \overline{M})$ 이라는 사실에 기반한다.
• $GCK(A,\Delta)$ 가 $J(\Gamma,D)$ 와 동형이 아니지만, 그 분수 초대수가 $J(\Gamma,D)$ 와 동형이라는 것을 보여준다.

실험 결과

연구 질문

• RQ1 특성 0인 임의의 체 위에서, $J(\Gamma,D)$ 유형의 조르단 초대수와 동형이 아니며, 단위원을 가진 단순 특수 조르단 초대수를 구성할 수 있는가?
• RQ2 분수 초대수가 $J(\Gamma,D)$ 와 동형이라는 성질이, 단순 특수 조르단 초대수의 맥락에서 $J(\Gamma,D)$ 자체와의 동형성과 동치인가?
• RQ3 모든 단순 특수 조르단 초대수 중에서 짝수 부분이 결합적이고 홀수 부분이 랭크 1의 프로젝티브일 경우 반드시 $J(\Gamma,D)$ 와 동형이어야 한다는 추측에 대한 반례가 존재하는가?
• RQ4 특성 0인 체에서 $t^2 + 1 = 0$ 이 해를 가지지 않는 경우, $\mathbb{R}$ 에 제한하지 않고 이러한 예를 구성할 수 있는가?
• RQ5 체잉–카크 초대수 구성법이 $J(\Gamma,D)$ 와 동형이 아닌 새로운 단순 조르단 초대수를 도출하는가?

주요 결과

• $GCK(A,\Delta)$ 는 특성 0인 임의의 체 $F$ 위에서 단위원을 가진 단순 특수 조르단 초대수이다.
• $GCK(A,\Delta)$ 는 분수 초대수가 $J(\Gamma,D)$ 와 동형임에도 불구하고, 어떤 $J(\Gamma,D)$ 유형의 조르단 초대수와도 동형이 아니다.
• 이 구성은 특성 0인 임의의 체에서 유효하며, 이전에는 $\mathbb{R}$ 또는 $t^2 + 1 = 0$ 이 해를 가지지 않는 체로 국한되어 있던 예들을 확장한다.
• $GCK(A,\Delta)$ 의 홀수 부분은 랭크 1의 유한 생성 프로젝티브 $A$-모듈러이지만 자유 모듈러가 아니며, 이는 $J(\Gamma,D)$ 와의 동형을 방지한다.
• 단순성의 증명은 연관자 항등식과 $1 \in (A, \overline{M}, \overline{M})$ 이라는 사실에 기반하며, 이는 모든 비자명한 아이디얼이 단위원을 포함해야 한다는 것을 보장한다.
• 칸타리니와 카크가 제기한 일반 설정에서 이러한 동형이 아닌 예가 존재하는지에 대한 질문에 대해 긍정적인 답변을 제공한다.