[논문 리뷰] The Index Theorem for Homogeneous Differential Operators on Supermanifolds

Dimitry Leites|ArXiv.org|2002. 02. 18.

Advanced Operator Algebra Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 동차 타원형 미분 연산자에 대한 Bott의 지수 정리가 초만유체(supermanifolds)로 확장됨을 보이며, 초군 G = U(p|q)의 표현 이론에서 지수의 정밀한 표현이 Weyl 특성 공식에 의해 결정됨을 밝힌다. 주요 결과는 G-불변 초미분 연산자의 지수 χ(D) = [Ker D] - [Coker D]가 R(H)에서의 기호 클래스의 형식적 유도(formal induction)와 일치함을 보이며, 이는 Bott의 결과를 초군으로 일반화하고, 특이 표현(atypical representations)의 경우 표준 Weyl 공식이 아닌 Bernstein–Leites 특성 공식이 필요하다는 점을 드러낸다.

ABSTRACT

In mid 60s Bott proved that (1) the index theorem for homogeneous, G-invariant, elliptic differential operators acting in the spaces of sections of induced representations of G over G/H reduces to the Weyl character formula and (2) the index of an equivariant elliptic operator does not depend on the operator, but on the representations. Here the same theorem is formulated for the unitary supergroup G=U(p|q). For atypical representations the character formula does not reduce to that for the Lie group underlying the supergroup G and this contradicts a statement of Rempel and Schmitt on index on supermanifolds (Pseudodifferential operators and the index theorem on supermanifolds. Seminar Analysis, 1981/82, 92--131, Akad. Wiss. DDR, Berlin, 1982; id., Pseudodifferential operators and the index theorem on supermanifolds. Math. Nachr. 111 (1983), 153--175).

연구 동기 및 목표

• 콤���한 리 군에서의 동차 타원형 연산자에 대한 Bott의 지수 정리를 초만유체와 초군의 맥락으로 일반화하는 것.
• 초만유체에서 G-불변 초미분 연산자의 정밀 지수(refined index)가 기저 초군 G = U(p|q)의 표현 이론적 자료에 의해 결정됨을 입증하는 것.
• Rempel과 Schmitt의 주장, 즉 초만유체에서의 지수가 기저 만유체로의 지수로 축소된다는 것과의 모순을 해결하여, 특이 표현에서는 그렇지 않음을 보이는 것.
• 초만유체에서의 지수 정리가 고전적 공식이 아닌 초Weyl 특성 공식으로 축소됨을 보이며, 특히 특이 표현의 경우에 대해 설명하는 것.
• 초군 표현 이론을 통한 초만유체로의 지수 이론과 Riemann–Roch–Grothendieck 정리의 일반화를 위한 기초 틀을 제공하는 것.

제안 방법

• G/H에서의 동차 타원형 연산자에 대한 Bott의 원래 증명 전략을 초군 설정으로 일반화하며, G = U(p|q)에 초점을 맞춘다.
• 리 군의 표현 링 R(G)을, ε² - 1 = 0인 Z[ε]/(ε² - 1)에 값이 있는 초표현 링 R(G)로 대체하며, 여기서 ε는 ε[M] = [Π(M)]를 통해 짝수성 반전을 나타낸다.
• 완비 표현 링  \widehat{R}(G)에서 정밀 지수 χ(D) = [Ker D] - [Coker D]를 정의하며, 초차원수(superdimension)가 일반 차원을 대체한다.
• G-불변 쌍선형 형식 <·,·>_G를 이용해, 임의의 G-모듈러의 기저에서의 형식적 유도 맵 i_*: R(H) → \widehat{R}(G)를 정의한다.
• 동차 연산자 D의 기호를 s(D) = [K] - [L] ∈ R(H)로 표현하며, 여기서 K와 L은 각각 E와 F의 배럴을 유도하는 H-모듈러이다.
• χ(D) = i_*(s(D))를 증명하여, 지수가 연산자에 의존하지 않고 오직 표현 자료에 의해 결정됨을 보이며, 이는 Bott의 결과를 초군으로 일반화한다.

실험 결과

연구 질문

• RQ1 G가 초군일 때, G/H에서의 동차 타원형 연산자에 대한 Bott의 지수 정리는 초만유체로 확장되는가?
• RQ2 초만유체에서 G-불변 초미분 연산자의 지수가 초군 G = U(p|q)의 표현 이론에 어떻게 의존하는가?
• RQ3 왜 초 설정에서 특이 표현에 대해서는 고전적 Weyl 특성 공식이 지수를 기술하지 못하는가?
• RQ4 초만유체에서의 지수 정리는 특성 공식으로 축소될 수 있으며, 만약 그렇다면 어떤 공식인가?
• RQ5 지수 정리의 순수 대수적 증명이 분석적 또는 기하학적 가정 없이 초만유체에서 성립하는가?

주요 결과

• G-불변 타원형 연산자에 대한 정밀 지수 χ(D)는 R(H)에서의 기호 클래스의 형식적 유도 i_*(s(D))와 일치하며, 이는 Bott의 결과를 초군으로 일반화한다.
• 형태가 일반적인 표현일 경우 초Weyl 특성 공식은 고전적 Weyl 공식으로 축소되지만, 특이 표현의 경우 Bernstein–Leites 특성 공식이 필요하다.
• 지수는 특정 연산자 D에 의존하지 않고, 오직 E와 F를 유도하는 H-모듈러 K와 L에 의해 결정되며, 정확한 수열 0 → Ker D → E → F → Coker D → 0의 성립으로 보장된다.
• Rempel과 Schmitt의 주장, 즉 초만유체에서의 지수가 기저 만유체로의 지수로 축소된다는 것은, 특이 표현이 기저 리 군이 포괄하지 못하는 새로운 특성 이론적 자료를 도입하므로 모순된다.
• 증명은 G = U(p|q)의 컴팩턴스에 의존하지만, 저자는 분석적 방법에 의존하지 않는 순수 대수적 증명을 통해 결과가 더 일반적으로 성립할 것이라 추측한다.
• G-가상 모듈러의 링 R(G)는 Z[ε]/(ε² - 1)-모듈러로 확장되며, 여기서 ε는 초차원수와 짝수성 반전을 캡슐화하여 초지수(superindex)가 잘 정의됨을 보장한다.