[논문 리뷰] Stable tensor fields and moduli space of principal G-sheaves for classical groups

Tomás L. Gómez, Ignacio Sols|arXiv (Cornell University)|2001. 03. 24.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 고전적 군 G = O(r, C) 및 Sp(r, C)에 대해 반안정 주요 G-층의 개념을 도입하며, 토퍼션 없는 층에 대칭 또는 반대칭 텐서 장을 포함하는 주요 배럴의 일반화를 제공한다. 기하학적 안정성 이론(GIT)을 사용하여 이러한 G-층으로 확장된 프로젝티브 모듈리 공간을 구축하며, 이는 이전의 GL(r, C) 결과를 정규 및 심플렉틱 구조로 확장한다.

ABSTRACT

Abstract. Let X be a smooth projective variety over C. Let G be the group O(r, C), or Sp(r, C). We find the natural notion of semistable principal G-bundle and construct the moduli space, which we compactify by considering also principal G-sheaves, i.e., pairs (E, ϕ), where E is a torsion free sheaf on X and ϕ is a symmetric (if G is orthogonal) or antisymmetric (if G is symplectic) bilinear form on E. If G is SO(r, C), then we have to consider triples (E, ϕ, ψ), where ψ is an isomorphism between det(E) andOX such that det(ϕ) = ψ 2. More generally, we consider semistable tensor fields, i.e., multilinear forms on a torsion free sheaf, and construct their projective moduli space using GIT. Let X be a smooth projective variety of dimension n over C. A principal GL(r, C)bundle over X is equivalent to a vector bundle E of rank r. If X is a curve, the moduli space was constructed by Mumford, Narasimhan and Seshadri. If dim(X)> 1, to obtain a projective moduli space we have to consider also torsion free sheaves, and this was done by Gieseker, Maruyama and Simpson. Let G be the orthogonal group O(r, C) or symplectic group Sp(r, C). A principal

연구 동기 및 목표

• G가 정규 또는 심플렉틱 군일 때 주요 G-배럴에 대해 자연스러운 반안정성의 개념을 정의하기 위해.
• 벡터 다발을 초월하여 대칭 또는 반대칭 이차형식을 지닌 토퍼션 없는 층을 포함하는 모듈리 공간의 구축을 확장하기 위해.
• 주요 G-배럴의 모듈리 공간을 G-층, 즉 추가적인 텐서 장 구조를 지닌 층을 포함시켜 콪팩티피케이션하기 위해.
• 행렬식 제약 조건을 포함시켜 SO(r,C)로의 일반화를 위해 삼중체 (E, ϕ, ψ)를 도입하기 위해.
• 기하학적 안정성 이론(GIT)을 사용하여 토퍼션 없는 층에 대한 반안정 텐서 장의 프로젝티브 모듈리 공간을 수립하기 위해.

제안 방법

• G-층을 (E, ϕ)의 쌍으로 정의하며, E는 토퍼션 없는 층이고 ϕ는 O(r,C)의 경우 대칭, Sp(r,C)의 경우 반대칭 이차형식이다.
• SO(r,C)의 경우, det(E)와 O_X 사이의 동형사상 ψ와 함께 삼중체 (E, ϕ, ψ)를 도입하며, det(ϕ) = ψ²를 만족시킨다.
• 기하학적 안정성 이론(GIT)을 적용하여 토퍼션 없는 층에 대한 반안정 텐서 장의 프로젝티브 모듈리 공간을 구축한다.
• Gieseker, Maruyama, 그리고 Simpson의 프레임워크를 대칭 및 정규 군에 대해 텐서 구조를 통합함으로써 고전적 군으로 확장한다.
• 힐버트 다항식과 GIT 족을 통한 반안정성의 개념을 사용하여 좋은 콱팩티피케이션을 보장한다.
• 대칭/반대칭 형식의 일반화로서 토퍼션 없는 층에 대한 다중선형 형식을 고려하여 모듈리 구축을 가능하게 한다.

실험 결과

연구 질문

• RQ1 G가 O(r,C) 또는 Sp(r,C)일 때 주요 G-배럴에 대해 반안정성의 적절한 개념은 무엇인가?
• RQ2 차원 dim(X) > 1 이고 G가 고전적 군일 때 주요 G-배럴의 모듈리 공간은 어떻게 콱팩티피케이션할 수 있는가?
• RQ3 고전적 군의 주요 다발 개념을 일반화하기 위해 토퍼션 없는 층에 어떤 구조를 추가해야 하는가?
• RQ4 SO(r,C)의 경우 행렬식 제약 조건의 포함이 모듈리 공간에 어떤 영향을 미치는가?
• RQ5 기하학적 안정성 이론(GIT)을 사용하여 토퍼션 없는 층에 대한 반안정 텐서 장의 프로젝티브 모듈리 공간을 구축할 수 있는가?

주요 결과

• G = O(r,C) 또는 Sp(r,C)일 때 주요 G-층에 대해 잘 정의된 반안정성의 개념이 확립되었으며, 이는 GL(r,C)의 고전적 경우를 일반화한다.
• 주요 G-배럴의 모듈리 공간은 G-층, 즉 대칭 또는 반대칭 형식을 지닌 토퍼션 없는 층을 포함시킴으로써 콱팩티피케이션된다.
• SO(r,C)의 경우, det(ϕ) = ψ² 조건을 만족하는 삼중체 (E, ϕ, ψ)가 필요하며, 이는 군의 구조와 일치하도록 보장한다.
• GIT를 사용하여 매끄럽고 프로젝티브인 다양체 위의 토퍼션 없는 층에 대한 반안정 텐서 장의 프로젝티브 모듈리 공간을 구축한다.
• 이전의 GL(r,C) 결과를 고전적 군으로 일반화하여 정규 및 심플렉틱 구조에 대한 통합된 프레임워크를 제공한다.
• 모듈리 공간이 프로젝티브임을 입증하여 고전 이론을 벡터 다발을 초월하여 구조가 부여된 층으로 확장한다.