[논문 리뷰] Moduli of Representations, Quiver Grassmannians, and Hilbert Schemes

Lutz Hille|arXiv (Cornell University)|2015. 05. 22.

Algebraic structures and combinatorial models참고 문헌 15인용 수 12

한 줄 요약

이 논문은 비탈림의 등가와 힐버트 스킴 타우토로지의 조합을 통해, 임의의 사영 스킴이 유한 차원 대수 위에서의 표현의 모듈리 공간이자, 크로네커 쿠웨이브 위의 퀼리 그라스만يان으로서 실현될 수 있음을 보여준다. 핵심 결과는 정의 방정정식으로부터 유도된 관계를 갖는 최소 크기의 쿠웨이브와 함께, 이러한 스킴과 크로네커 쿠웨이브 위의 퀄리 그라스만ian 사이의 구축 가능한 명시적 동형사상이다.

ABSTRACT

It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is tautological: every variety is its own Hilber scheme of sheaves of length one. This holds even scheme theoretic. We use Beilinson's equivalence to get similar results for finite dimensional algebras, including moduli spaces and quiver grassmannians. Moreover, we show that several already known results can be traced back to the Hilbert scheme construction and Beilinson's equivalence.

연구 동기 및 목표

• 임의의 사영 스킴이 특정 유한 차원 대수 위에서의 모듈러스 공간으로서, 그리고 그 모듈러스 공간이 정의 방정식을 만족하는 표현의 집합으로서 실현될 수 있음을 보이는 것.
• 임의의 사영 스킴을 정의 방정식으로부터 유도된 관계를 갖는 비탈림 유형 대수에서 차원 벡터 (1,…,1)인 분해 불가능 표현의 모듈리 공간으로 실현하는 것.
• 모든 ℙⁿ의 사영 부분스킴에 대해 (n+1)-크로네커 쿠웨이브가 충분함을 보여주며, 쿠웨이브 크기를 최소화하는 것.
• 기존의 퀄리 그라스만ian과 모듈리 공간에 관한 결과들을 힐버트 스킴 타우토로지와 비탈림의 등가로 되돌아가서 통합하고 일반화하는 것.
• 모듈리 공간의 구성이 임의의 가환환, 특히 ℤ를 포함한 모든 기저 환에서 작동하도록 확장하면서, 정수성과 함자성(함자적 성질)을 유지하는 것.

제안 방법

• ℙⁿ 위의 타일팅 번들의 도입을 통해 비탈림의 등가를 이용해, 고차원의 휘어진 구조를 포함하는, kQ/J 형태의 유한 차원 대수 A를 구성한다.
• 경로 대수 kQ 내의 이상 J를 동차 관계 fi에 의해 생성되도록 정의하여, A = kQ/J가 X의 정의 방정식을 만족하는 모듈러스를 매개함을 보장한다.
• 차원 벡터 (1,…,1)인 모듈러스 M을 A 위에서 구성하여, 그 분해 불가능 표현의 모듈리 공간이 X와 스킴으로 동형임을 보인다.
• 정의된 차원 벡터 (1,…,1)를 갖는 M의 부분모듈러스의 퀄리 그라스만ian이 X와 동형임을 보이며, 이러한 부분모듈러스가 X의 점들과 일대일 대응됨을 이용한다.
• 적절한 번들 T = ℌ(𝒪 ⊕ 𝒪(e) ⊕ 𝒪(d))를 선택함으로써 쿠웨이브를 (n+1)-크로네커 쿠웨이브로 단순화하고, 크로네커 대수 위에서 두 차원의 모듈러스를 얻는다.
• 크로네커 대수 위에서 (1,1)-차원 부분모듈러스의 그라스만ian이 X와 동형임을 증명하며, 각 부분모듈러스가 세 꼭짓점 쿠웨이브 설정에서 (1,1,1)-차원 부분모듈러스로 유일하게 올라간다는 것을 보인다.

실험 결과

연구 질문

• RQ1 모든 사영 스킴이 유한 차원 대수 위에서의 부분모듈러스의 퀄리 그라스만ian으로 실현될 수 있는가?
• RQ2 최소한의 쿠웨이브, 특히 (n+1)-크로네커 쿠웨이브를 사용하여 이러한 실현을 구성할 수 있는가?
• RQ3 비탈림의 등가와 힐버트 스킴 타우토로지를 어떻게 조합하여 이러한 실현을 위한 통일적이고 구축 가능한 프레임워크를 만들 수 있는가?
• RQ4 이 구성이 임의의 가환환, 특히 ℤ를 포함하여 작동하도록 확장될 수 있으며, 정수성과 함자성(함자적 성질)을 유지할 수 있는가?
• RQ5 주어진 사영 스킴을 퀄리 그라스만ian으로 실현하기 위한 최소 쿠웨이브 크기는 얼마이며, 두 개 이하의 꼭짓점으로의 추가 단순화가 가능한가?

주요 결과

• 정의 방정식이 동차 다항식 fi인 임의의 사영 스킴 X ⊂ ℙⁿ은 (n+1)-크로네커 대수 위에서 차원 벡터 (1,1)인 부분모듈러스의 퀄리 그라스만ian과 동형이다. 여기서 모듈러스 M = (S^{d-1}V/I_{d-1}, S^dV/I_d)이다.
• 확장된 비탈림 대수 kQ/J 위에서 차원 벡터 (1,…,1)인 모든 분해 불가능 표현의 모듈리 공간은 스킴으로서 X와 동형이다.
• 구성은 명시적이고 함자적이다: 쿠웨이브 Q는 비탈림 쿠웨이브이며, J는 fi에 의해 생성되며, M은 단순 모듈러스의 유일한 충실한 임베딩 코어이다.
• 세 꼭짓점 쿠웨이브에서 (1,1,1)-차원 부분모듈러스의 그라스만ian과 크로네커 쿠웨이브에서 (1,1)-차원 부분모듈러스의 그라스만ian 사이의 동형사상은 상부 성분의 일치성으로 인해 전단사이다.
• 모든 기저 체에서 작동하며, 특히 ℤ에서도 작동한다. 모든 대상은 대칭 거듭제곱 S^mV와 이상 I_m에 의한 몫을 통해 정수적으로 정의된다.
• 결과는 이전의 구성들을 일반화하고 통합한다: 힐버트 스킴 타우토로지와 비탈림의 등가의 특수한 경우로서 기존의 퀄리 그라스만ian과 모듈리 공간 결과를 복원한다.