[논문 리뷰] Massey and Fukaya products on elliptic curves

Alexander Polishchuk|ArXiv.org|1998. 03. 05.

Advanced Algebra and Geometry참고 문헌 7인용 수 6

한 줄 요약

이 논문은 타원 곡선의 일관성 섹션의 유도 범주에서의 삼중 마시 프로덕트와 그 미러 유향 심플렉틱 토러스의 푸카야 범주에서의 삼중 푸카야 프로덕트 사이의 대응을 확립하며, 크로네커의 고전적 항등식을 복원한다. 또한 이전에 정의되지 않은 마시 프로덕트를 그 푸카야 대응체를 통해 계산하여, 타원 곡선에 대한 범주적 미러 대칭 프레임워크 내에서의 일관성을 입증한다.

ABSTRACT

This note is a continuation of our paper with E. Zaslow "Categorical mirror symmetry: the elliptic curve", math.AG/9801119. We compare some triple Massey products on elliptic curve with the corresponding Fukaya products on the symplectic torus and recover the classical identity due to Kronecker. We also compute some triple Fukaya products such that the corresponding Massey products are not correctly defined.

연구 동기 및 목표

• 타원 곡선에 대한 범주적 미러 대칭 프레임워크를 확장하기 위해, 대수적이고 심플렉틱적인 삼중 프로덕트를 비교한다.
• 높은 차수의 프로덕트가 0이 아닐 경우 마시 프로덕트를 정의하는 데 발생하는 모순을 그 푸카야 범주 대응체를 통해 해결한다.
• 푸카야 프로덕트 계산이 알려진 고전적 항등식, 예를 들어 크로네커의 항등식을 복원하는지 확인한다.
• 유도 범주(coherent sheaves)와 푸카야 범주 사이의 계산적 다리를 제공한다.
• 마시 프로덕트가 잘 정의되지 않을 경우에도 그 푸카야 대응체가 의미 있고 일관된 결과를 도출함을 보여준다.

제안 방법

• 타원 곡선의 일관성 섹션의 유도 범주를 미러 대칭의 대수적 측면으로 사용한다.
• 타원 곡선의 미러인 심플렉틱 토러스의 푸카야 범주를 활용하여 삼중 프로덕트를 계산한다.
• 유도 범주에서의 삼중 마시 프로덕트와 심플렉틱 범주에서의 삼중 푸카야 프로덕트를 비교한다.
• 타원 곡선에 대해 유도 범주 D^b(coh(E))와 푸카야 범주 Fuk(T^2) 사이의 미러 대칭 동치를 적용한다.
• 일부 마시 프로덕트는 높은 차수의 프로덕트가 0이 아니어서 정의되지 않지만, 그 푸카야 대응체는 여전히 계산 가능하다는 사실을 활용한다.
• 복소 곱셈과 제타 함수의 고전적 결과를 활용하여 크로네커의 항등식과의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 타원 곡선의 일관성 섹션의 유도 범주에서의 삼중 마시 프로덕트는 그 푸카야 범주 대응체와 어떻게 관련이 있는가?
• RQ2 높은 차수의 프로덕트가 0이 아닐 경우 정의되지 않는 마시 프로덕트를 푸카야 프로덕트로 계산할 수 있는가?
• RQ3 계산된 푸카야 프로덕트가 크로네커의 항등식과 같은 알려진 고전적 항등식을 복원하는가?
• RQ4 미러 대칭은 타원 곡선에서 대수적이고 심플렉틱적인 삼중 프로덕트를 어떻게 연결하는가?
• RQ5 마시 프로덕트가 실패할 경우에도 푸카야 프로덕트가 잘 정의되는 경우는 언제인가?

주요 결과

• 타원 곡선에서의 삼중 마시 프로덕트는 미러 대칭 하에서 그 푸카야 범주 대응체와 정확히 대응된다.
• 논문은 마시 프로덕트와 푸카야 프로덕트 사이의 대응에 따라 크로네커의 고전적 항등식을 복원한다.
• 높은 차수의 프로덕트가 0이 아닐 경우 마시 프로덕트가 정의되지 않더라도 그 푸카야 대응체는 여전히 계산 가능하며 일관된 결과를 도출한다.
• 푸카야 프로덕트의 계산은 유도 범주에서 정의되지 않는 일부 마시 프로덕트의 문제를 해결한다.
• 유도 범주와 푸카야 범주 간의 미러 대칭 동치는 고차수 프로덕트의 일관된 비교를 가능하게 한다.
• 결과는 특히 고차수 연산을 다룰 때 타원 곡선에 대한 범주적 미러 대칭 프레임워크의 강건성을 확인한다.