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

Abstract: Let

S i g m a

be a finite regular cell complex with

e m p t y s e t i n S i g m a

, and regard it as a partially ordered set (poset) by inclusion. Let

R

be the incidence algebra of the poset

S i g m a

over a field

k

. Corresponding to the Verdier duality for constructible sheaves on

S i g m a

, we have a dualizing complex

w i n D^{b} (m o d_{R o t i m e s_{k} R})

giving a duality functor from

D^{b} (m o d_{R})

to itself.

w

satisfies the Auslander condition. Our duality is somewhat analogous to the Serre duality for projective schemes (

e m p t y s e t

plays a similar role to that of "irrelevant ideals"). If

H^{i} (w) e 0

for exactly one

i

, then the underlying topological space of

S i g m a

is Cohen-Macaulay (in the sense of the Stanley-Reisner ring theory). The converse also holds when

S i g m a

is a simplicial complex.

R

is always a Koszul ring with

R^{!} c o n g R^{o} p

. The relation between the Koszul duality for

R

and the Verdier duality is discussed. This result is a variant of a theorem of Vybornov. The Mobius function of the poset

h a t S i g m a

is also discussed.

Recommendations

Cited in

(8)

This page was built for publication: Dualizing complex of the incidence algebra of a finite regular cell complex