On Serre duality for compact homologically smooth DG algebras

分次gentle代数的Koszul对偶的几何实现

A geometric realization of Koszul duality for graded gentle algebras

本文证明了同调光滑分次gentle代数的Koszul函子可由几何模型中的半旋转实现，并以此证明了涉及该函子的交维数公式。

Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality

For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules (reproducing a particular case of a recent result of Stovicek with our methods). Furthermore, we present the definition of a dualizing complex of fp-injective modules over a pair of noncommutative coherent rings A and B, and construct an equivalence between the coderived category of A-modules and the contraderived category of B-modules. Finally, we define the notio…

Homological unimodularity and Calabi-Yau condition for Poisson algebras

In this paper, we show that the twisted Poincaré duality between Poisson homology and cohomology can be derived from the Serre invertible bimodule. This gives another definition of a unimodular Poisson algebra in terms of its Poisson Picard group. We also achieve twisted Poincaré duality for Hochschild (co)homology of Poisson bimodules using rigid dualizing complex. For a smooth Poisson affine variety with the trivial canonical bundle, we prove that its enveloping algebra is a Calabi-Yau algebra if the Poisson structure is unimodular.

The Nakayama functor and its completion for Gorenstein algebras

Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic complexes of such an algebra, akin to the local duality theorems of Grothendieck and Serre in the context of commutative algebra and algebraic geometry. A key ingredient is the Nakayama functor on the bounded derived category of a Gorenstein algebra, and its extension to the full homotopy category of injective modules.

Artin-Schelter regular algebras and categories

Motivated by constructions in the representation theory of finite dimensional algebras we generalize the notion of Artin-Schelter regular algebras of dimension $n$ to algebras and categories to include Auslander algebras and a graded analogue for infinite representation type. A generalized Artin-Schelter regular algebra or a category of dimension $n$ is shown to have common properties with the classical Artin-Schelter regular algebras. In particular, when they admit a duality, then they satisfy Serre duality formulas and the $\Ext$-category of nice sets of simple objects of maximal projective …

Dualizing complex of the incidence algebra of a finite regular cell complex

Let $Σ$ be a finite regular cell complex with $\emptyset \in Σ$, and regard it as a partially ordered set (poset) by inclusion. Let $R$ be the incidence algebra of the poset $Σ$ over a field $k$. Corresponding to the Verdier duality for constructible sheaves on $Σ$, we have a dualizing complex $w \in D^b(mod_{R \otimes_k R})$ giving a duality functor from $D^b(mod_R)$ to itself. $w$ satisfies the Auslander condition. Our duality is somewhat analogous to the Serre duality for projective schemes ($\emptyset$ plays a similar role to that of "irrelevant ideals"). If $H^i(w) \ne 0$ for exactly one …

Coherent algebras and noncommutative projective lines

A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is graded coherent. This allows us to define a noncommutative analogue of the projective line $\PP^1$ as a noncommutative scheme based on the coherent noncommutative spectrum $\cohp A$ of such an algebra $A$, that is, the category of coherent $A$-modules modulo the torsion ones. This category is always abelian Ext-finite hereditary with Serre duality, like the categ…

导出范畴 $\mathcal O^\infty$ 中的对偶性

Duality in Derived Category $\mathcal O^\infty$

该文研究p-adic群厚范畴O^∞中的对偶性，证明函子RHom_U(-,U)保持导出范畴D^b(U)_{O^∞_alg}，并利用Coulembier-Mazorchuk结果得到其与D^b(O^∞_alg)等价。