[논문 리뷰] Noncommutative geometry and compactifications of the moduli space of curves

Alastair Hamilton|ArXiv.org|2007. 10. 25.

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

한 줄 요약

이 논문은 두 개의 매개변수를 가진 미분가환 리 대수의 가닥을 이용하여 컨체비치의 곡선의 모듈리 공간의 컴팩티피케이션의 호모로지에 대한 완전한 대수적 기술을 수립한다. 곡선의 압축을 통해 유도된 비가환 0-형식의 공간에 리 이중대수의 구조를 도입함으로써, 저자들은 컨체비치의 비가환 심플렉틱 기하학을 변형하고, 이 변형의 셰바레일리-에일렌버그 호모로지가 정확히 컴팩티피케이션된 모듈리 공간의 호모로지를 복원함을 보여준다.

ABSTRACT

In this paper we show that the homology of a certain natural compactification of the moduli space, introduced by Kontsevich in his study of Witten's conjectures, can be described completely algebraically as the homology of a certain differential graded Lie algebra. This two-parameter family is constructed by using a Lie cobracket on the space of noncommutative 0-forms, a structure which corresponds to pinching simple closed curves on a Riemann surface, to deform the noncommutative symplectic geometry described by Kontsevich in his subsequent papers.

연구 동기 및 목표

• 컨체비치의 곡선의 모듈리 공간의 컴팩티피케이션의 호모로지를 대수적 구조로 특성화하는 것.
• 비가환 0-형식의 공간에 리 이중대수의 구조를 도입하여 컨체비치의 비가환 심플렉틱 기하학을 확장하는 것.
• 원래의 비가환 심플렉틱 프레임워크의 변형으로서 두 매개변수를 가진 미분가환 리 대수의 가닥을 구성하는 것.
• 이 가닥의 셰바레일리-에일렌버그 호모로지가 컴팩티피케이션된 모듈리 공간의 호모로지를 정확히 복원함을 증명하는 것.
• 안정적인 리본 그래프 복합체와 컴팩티피케이션된 모듈리 공간의 호모로지 사이의 대응 관계를 대수적 불변량을 통해 수립하는 것.

제안 방법

• 리 코브라켓을 비가환 0-형식의 공간에 적용하여, 리 이중대수의 구조를 정의함으로써 리만 표면에서 단순 폐곡선을 압축하는 위상수학적 연산을 모델링한다.
• 비가환 0-형식의 리 이중대수의 구조를 사용하여 원래의 비가환 심플렉틱 리 대수를 변형함으로써 두 매개변수를 가진 미분가환 리 대수의 가닥을 구성한다.
• 유리수 위에서 변형된 미분가환 리 대수의 호모로지를 계산하기 위해 셰바레일리-에일렌버그 복합체를 적용한다.
• 컴팩티피케이션된 모듈리 공간의 호모로지와 구성된 미분가환 리 대수의 가닥의 안정적 호모로지 사이의 자연스러운 동형사상을 수립한다.
• 안정적인 리본 그래프에 관련된 명시적 텐서 구성법을 사용하여 역사상의 정의를 내리고 호모로지 대응의 전단사성을 검증한다.
• 셰바레일리-에일렌버그 복합체의 미분이 리본 그래프에서의 간선 압축에 정확히 대응함을 확인하며, 이는 리 괄호, 리 코브라켓, 0-형식에 대한 변형된 괄호의 기여를 포함한다.

실험 결과

연구 질문

• RQ1 컨체비치의 곡선의 모듈리 공간의 컴팩티피케이션의 호모로지는 대수적 구조를 통해 완전히 기술될 수 있는가?
• RQ2 비가환 0-형식의 공간에 정의된 리 이중대수의 구조는 컴팩티피케이션에서 곡선의 압축 위상수학적 연산을 어떻게 캐릭터라이즈하는가?
• RQ3 두 매개변수의 변형은 컨체비치의 비가환 심플렉틱 기하학을 컴팩티피케이션된 모듈리 공간을 포함하도록 일반화하는 데 어떤 역할을 하는가?
• RQ4 컴팩티피케이션된 모듈리 공간의 호모로지와 변형된 미분가환 리 대수의 셰바레일리-에일렌버그 호모로지 사이에 자연스러운 동형사상이 존재하는가?
• RQ5 안정적인 리본 그래프 복합체는 변형된 리 대수의 불변량으로부터 순수하게 대수적으로 재구성될 수 있는가?

주요 결과

• 두 매개변수를 가진 미분가환 리 대수의 가닥의 셰바레일리-에일렌버그 호모로지는 컨체비치의 곡선의 모듈리 공간의 컴팩티피케이션의 호모로지와 동형이다.
• 이 동형사상은 안정적인 리본 그래프에 관련된 텐서를 호모로지 클래스로 보내는 자연스러운 사상으로 실현되며, 리 대수 작용의 코인variants를 사용하여 명시적인 역사상이 구성된다.
• 셰바레일리-에일렌버그 복합체의 미분은 안정적인 리본 그래프 복합체의 세 가지 유형의 간선 압축과 정확히 일치한다: 변형된 대수에서의 리 괄호, 0-형식에서의 리 괄호, 0-형식에서의 리 코브라켓.
• 컴팩티피케이션된 모듈리 공간의 호모로지와 변형된 미분가환 리 대수의 호모로지 사이의 사상은 호프 대수의 전단사 사상이다.
• 이 구성은 변형된 리 대수의 마우러-카르탕 모듈리 공간에서의 지수화를 통해 컴팩티피케이션된 모듈리 공간 위의 호모로지 클래스를 순수하게 대수적으로 생성하는 방법을 제공한다.
• 변형 매개변수 γ와 ν는 연속적인 가닥의 컴팩티피케이션을 가능하게 하며, 매개변수를 0으로 설정했을 때 원래의 모듈리 공간과 그의 델리뉴-무미의 컴팩티피케이션을 특수한 경우로 포함한다.