Michael K. Brown,Prashanth Sridhar
Abstract:We generalize Yekutieli-Zhang's noncommutative Serre Duality Theorem to the setting of noncommutative spaces associated to dg-algebras. As an application, we establish some finiteness properties of derived global sections over such noncommutative spaces. Along the way, we generalize Yekutieli's notion of a balanced dualizing complex to the setting of dg-algebras and establish some cases in which they exist.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the classical Serre duality theorem to non - commutative spaces related to differential graded algebras (dg - algebras). Specifically, the author hopes:
1. **Generalize the non - commutative Serre duality theorem of Yekutieli - Zhang**: The original theorem is applicable to graded non - commutative algebras, and this paper extends it to differential graded algebras (dg - algebras). This includes defining and studying the existence and properties of balanced dualizing complexes on these algebras.
2. **Establish the finiteness properties of derived global sections**: As an application, the author proves some finiteness properties of derived global sections on certain non - commutative spaces. These properties are of great significance for understanding the homological algebra in non - commutative geometry.
### Specific problem description
#### 1. Generalize the Serre duality theorem
The classical Serre duality theorem (formula (1.1)) is stated as:
\[ H^j(X, V)\cong \operatorname{Ext}^{n - j}(V, \omega_X)^* \]
where \( X \) is a smooth and proper \( k \)-variety, \( V \) is a vector bundle on \( X \), \( \omega_X \) is the canonical bundle of \( X \), \( n \) is the dimension of \( X \), and \( ^* \) represents the \( k \)-dual.
Yekutieli - Zhang has already generalized this result to graded non - commutative algebras. This paper further extends this generalization to differential graded algebras (dg - algebras) and proves the following theorem (Theorem 1.3):
\[ R^j\Gamma(\tilde{M})\cong \operatorname{Ext}^{-j - 1}(\tilde{M}, \tilde{R})^* \]
where \( A \) is a differential graded \( k \)-algebra, \( M \) is an object in the bounded derived category of \( A \), and \( R \) is a balanced dual dg - module.
#### 2. Establish the finiteness properties of derived global sections
As an application of the Serre duality theorem, the author proves that if \( A \) is a Gorenstein dg - algebra and there exists a balanced dual dg - module, then for \( M\in D^b(A) \), the derived global section \( R\Gamma(\tilde{M})\geq i \) is an object in the bounded derived category when the internal degree is at least \( i \). This means that \( R\Gamma(\tilde{M})\geq i \) has bounded cohomology, and each \( R^j\Gamma(\tilde{M})\geq i \) is a finitely generated module over \( H^0(A) \) (Theorem 5.1).
### Research significance
By generalizing the Serre duality theorem to broader algebraic structures (such as differential graded algebras), this paper not only enriches the theoretical framework of non - commutative geometry, but also provides new tools and methods for understanding the homological algebra in complex algebraic structures. In addition, the results of finiteness properties are helpful for further exploring the geometric and algebraic properties on non - commutative spaces.