[Paper Review] A twistor approach to the Kontsevich complexes

Takuro Mochizuki|arXiv (Cornell University)|Jan 17, 2015

Commutative Algebra and Its Applications11 references3 citations

TL;DR

This paper establishes a quasi-isomorphism between the relative de Rham complex of mixed twistor D-modules associated to meromorphic functions and the family of Kontsevich complexes, revealing a generalized Hodge-theoretic interpretation of Kontsevich complexes. Using the V-filtration on R-modules underlying these D-modules, the author constructs explicit complexes that recover the Kontsevich complexes via a deformation-theoretic and Hodge-theoretic framework grounded in twistor D-module theory.

ABSTRACT

This is a note to revisit interesting results of H. Esnault, C. Sabbah, M. Saito and J.-D. Yu on the Kontsevich complexes from the viewpoint of mixed twistor D-modules. We explicitly describe the V-filtration of the mixed twistor D-modules and their relative de Rham complexes, associated to some meromorphic functions. We explain how such descriptions imply the results on the Kontsevich complexes.

Motivation & Objective

• To clarify the Hodge-theoretic meaning of Kontsevich complexes through the lens of mixed twistor D-modules.
• To describe the R-modules underlying mixed twistor D-modules associated to meromorphic functions explicitly via the V-filtration.
• To establish a quasi-isomorphism between the relative de Rham complex of such D-modules and the family of Kontsevich complexes.
• To reinterpret known results on Kontsevich complexes from the perspective of mixed twistor D-modules.

Proposed method

• The study focuses on the V-filtration on the R-module underlying a mixed twistor D-module associated to a meromorphic function τf on a smooth projective variety X with normal crossing divisor D.
• The construction uses the sheaf of algebras R_X^{(1)} and its subalgebra ^τV_0R_X^{(1)} generated by logarithmic vector fields along τ=0.
• The V-filtration is defined via increasing coherent submodules U_αM̃ satisfying τU_αM̃ = U_{α−1}M̃ and nilpotence of τ∂_τ + λα on graded pieces.
• The relative de Rham complex is computed over the fibration X^{(1)} → ℂ_τ, with coefficients in logarithmic forms and twisted by the meromorphic function τf.
• Explicit complexes—Kontsevich complexes—are constructed as families of complexes parameterized by α, using sections of Ω^k_{X^{(1)}/ℂ^2_{λ,τ}}(log D^{(1)}) with monodromy and pole control.
• The key technical tool is the use of the nilpotent action of τ∂_τ + λα on graded pieces to control the filtration and enable the quasi-isomorphism.

Experimental results

Research questions

• RQ1 How can the Kontsevich complexes be interpreted as arising from a Hodge-theoretic construction?
• RQ2 What is the explicit structure of the R-modules underlying mixed twistor D-modules for meromorphic functions?
• RQ3 How does the V-filtration on these R-modules relate to the relative de Rham complex?
• RQ4 Can the relative de Rham complex of such D-modules be quasi-isomorphic to a family of Kontsevich complexes?
• RQ5 What is the role of the twistor structure in realizing the Kontsevich complex as a Hodge-theoretic object?

Key findings

• The relative de Rham complex of the mixed twistor D-module associated to τf is quasi-isomorphic to the family of Kontsevich complexes.
• The V-filtration on the underlying R-module M̃ is explicitly described via the subalgebras ^τV_0R_X^{(1)} and the action of τ and ∂_τ.
• The graded pieces Gr^U_αM̃ are strict and flat over ℂ_λ, and the induced endomorphism τ∂_τ + λα is nilpotent on each.
• The construction recovers the Kontsevich complexes as the relative de Rham complex of the mixed twistor D-module, providing a Hodge-theoretic realization.
• The result generalizes previous results by Esnault, Kontsevich, Sabbah, Saito, and Yu by embedding them in the framework of mixed twistor D-modules.
• The method provides a systematic way to relate the algebraic structure of Kontsevich complexes to the geometric and Hodge-theoretic properties of meromorphic functions.