[논문 리뷰] Nonlinear Traces

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|2013. 05. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 6

한 줄 요약

이 논문은 유도 대수적 기하학과 고차 범주론을 사용하여 고전적 고정점 및 특성 공식을 통합하며, 매끄럽지 않거나 교차 조건을 갖지 않는 가정 없이 그로텐디크-리만-로흐, 아티야- bott- 레프셰츠, 프로베누스-바일 정리의 일반화를 포함하는 비선형 트레이스 형식을 도입한다. 이는 코herent sheaf 이론 등을 통해 선형 결과를 복원하고, 군 작용이 카테고리에 작용하는 비선형적 맥락으로 확장한다.

ABSTRACT

We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the context of higher algebra provides a unifying framework for classical notions such as Euler characteristics, Chern characters, and characters of group representations. Moreover, the simple functoriality properties of dimensions clarify celebrated identities and extend them to new contexts. We observe that it is advantageous to calculate dimensions, traces and their functoriality directly in the nonlinear geometric setting of correspondence categories, where they are directly identified with (derived versions of) loop spaces, fixed point loci and loop maps, respectively. This results in universal nonlinear versions of Grothendieck-Riemann-Roch theorems, Atiyah-Bott-Lefschetz trace formulas, and Frobenius-Weyl character formulas. On the one hand, we can then linearize by applying sheaf theories, such as the theories of coherent sheaves and D-modules, developed by Gaitsgory and Rozenblyum, as functors out of correspondence categories (in the spirit of topological field theory). This recovers the familiar classical identities, in families and without any smoothness or transversality assumptions. On the other hand, the formalism also applies to higher categorical settings not captured within a linear framework, such as characters of group actions on categories.

연구 동기 및 목표

• 고차 범주론 및 호모토피 방법을 사용하여 대수기하학에서 고전적 트레이스 및 특성 공식을 통합하는 것.
• 비선형 기하 범주에서의 작업을 통해 이러한 공식을 매끄럽거나 교차 조건이 없는 설정으로 확장하는 것.
• 유도된 대응 카테고리에서 차원, 트레이스 및 함자성의 보편적 프레임워크를 제공하는 것.
• 대응 카테고리에 대해 코herent sheaf 이론 등을 적용하여 선형 결과(예: 코herent sheaves, D-modules)를 복원하는 것.
• 군 작용이 카테고리에 작용하는 비선형 맥락으로 특성 이론을 일반화하는 것.

제안 방법

• 고차 대수에서 이중가능한 대상의 호흐실트 homology를 통해 차원과 트레이스를 형식화하는 것.
• 트레이스가 파생된 루프 공간과 고정점 다양체에 대응하는 비선형 기하 설정인 대응 카테고리에서 작업하는 것.
• 차원의 함자성을 사용하여 고전적 항등식을 통일된 프레임워크에서 명확화하고 일반화하는 것.
• 위상적 장 이론에 영감을 받아, 대응 카테고리에서의 함수로써 코herent sheaves, D-modules 등의 층 이론을 적용하는 것.
• 이 설정에서 그로텐디크-리만-로흐, 아티야-보틀-레프셰츠, 프로베누스-바일 정리의 보편적 형태를 유도하는 것.
• 선형 프레임워크가 포괄하지 못하는 고차 범주론적 맥락, 예를 들어 카테고리에 대한 군 표현 등으로 이 형식을 확장하는 것.

실험 결과

연구 질문

• RQ1 대수기하학에서 매끄럽거나 교차 조건이 없는 설정으로 고전적 고정점 및 특성 공식을 어떻게 일반화할 수 있는가?
• RQ2 비선형 트레이스 형식에서 파생된 루프 공간과 고정점 다양체의 역할은 무엇인가?
• RQ3 차원의 함자성은 표현 이론과 대수기하학의 항등식을 어떻게 명확화하고 통합하는가?
• RQ4 대응 카테고리 프레임워크에서 그로텐디크-리만-로흐 및 레프셰츠 트레이스 정리의 보편적 형태를 어떻게 도출할 수 있는가?
• RQ5 비선형 기하 방법을 사용하여 군 작용이 카테고리에 작용하는 맥락으로 특성 이론을 어떻게 확장할 수 있는가?

주요 결과

• 논문은 매끄럽거나 교차 조건 없이도 유효한 보편적인 비선형 그로텐디크-리만-로흐 정리의 형태를 확립한다.
• 이 형식은 대응 카테고리에서 트레이스를 루프 사상과 고정점 다양체로 해석하는 파생 기하학적 해석을 제공한다.
• 형식은 고전적 특성 공식, 특히 프로베누스-바일 공식을 가족과 고차 범주론적 맥락에서 복원한다.
• 차원의 함자성은 표현 이론과 대수기하학의 유명한 항등식을 명확화하고 확장한다.
• 이 프레임워크는 군 작용이 카테고리에 작용하는 비선형 맥락에 적용되며, 선형 표현을 넘어서 특성 이론을 일반화한다.
• 코herent sheaves와 D-modules와 같은 층 이론은 대응 카테고리에서의 함수로 복원되며, 보편적 맥락에서 선형 결과를 도출한다.