Abstract:This article surveys various duality statements attached to a pair consisting of a smooth complex quasi-projective variety and a regular function on it. It is dedicated to the memory of Bumsig Kim.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the duality of the Landau - Ginzburg model. Specifically, in the paper, the author Claude Sabbah explores the comparison problems between different types of cohomology related to a smooth complex quasi - projective variety \(U\) and the regular function \(f\) on it, as well as their natural dual pairings.
### Main problems
1. **Comparison of cohomology**:
- The paper first considers the hyper - cohomology defined by the twisted de Rham complex \((\Omega^\bullet_U, d + df)\) and its compact - supported variant, as well as the natural pairings between these hyper - cohomologies.
- On the other hand, it also considers the cohomology of the complex \((\Omega^\bullet_U, df)\) and its compact - supported cohomology, and relates them through the Serre dual pairing.
2. **Infinite - dimensional problem**:
- The author points out that although the first (hyper) cohomology is usually finite - dimensional, the second cohomology is usually infinite - dimensional unless certain assumptions are imposed on the function \(f\) (for example, the critical set is compact).
3. **Introduction of parameter \(u\)**:
- To deal with the infinite - dimensional problem, the author introduces a parameter \(u\) and considers the twisted de Rham complex \((\Omega^\bullet_U[u], ud + df)\). The main problem is to determine whether the hyper - cohomology \(H^k(U, (\Omega^\bullet_U[u], ud + df))\) of this complex is a free \(C[u]\)-module of finite rank.
4. **Establishment of duality**:
- The author proves that for an appropriate projectivization \((Y, f)\), the cohomologies of the complexes \((\Omega^\bullet_Y(\log H)[u], ud + df)\) and \((\Omega^\bullet_Y(\log H)(-H)[u], ud - df)\) are free \(C[u]\)-modules of finite rank, and there exists a natural perfect pairing between them, which is compatible with the connection.
### Key results
- **Theorem A**: It is proved that the cohomology of the above complexes is a free \(C[u]\)-module of finite rank, and there exists a natural perfect pairing, which is compatible with the connection.
- **Theorem B**: It is further proved that on the Laurent polynomial ring \(C[u, u^{-1}]\), these cohomology modules are free and are consistent with certain objects in D - module theory.
- **Theorems \(\hat{A}\) and \(\hat{C}\)**: In a more general case, using the formal power series ring \(C[[u]]\), similar duality results are proved.
### Applications and significance
- These results are of great significance in the study of the Landau - Ginzburg model, especially in understanding the duality of these models and the related cohomology structures.
- Through in - depth study of these complexes, the properties of singularity theory on complex manifolds and mixed Hodge modules can be better understood.
In general, by introducing the parameter \(u\) and using D - module theory, this paper provides a systematic method to compare and understand different types of cohomology and their duality, which has important theoretical value for in - depth study of the Landau - Ginzburg model and its applications.