We study projective dimension, a graph parameter (denoted by pd(G) for a graph G), introduced by Pudlák and Rödl [13], who showed that proving lower bounds for pd(Gf ) for bipartite graphs Gf associated with a Boolean function f imply size lower bounds for branching programs computing f . Despite several attempts [13, 17], proving super-linear lower bounds for projective dimension of explicit f...

Let $(R, m)$ be a commutative noetherian local ring and let $Gamma$ be a finite group. It is proved that if $R$ admits a dualizing module, then the group ring $Rga$ has a dualizing bimodule as well. Moreover, it is shown that a finitely generated $Rga$-module $M$ has generalized Gorenstein dimension zero if and only if it has generalized Gorenstein dimension zero as an $R$-module.

We extend the theory of generalized divisors so as to work on any scheme X satisfying the condition S2 of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof of the theorem of Gaeta, that standard determinantal schemes are in the Gorenstein biliaison class of a complete intersection.

We investigate the Cohomological Crepant Resolution Conjecture for reduced Gorenstein weighted projective spaces. Using toric methods, we prove this conjecture in some new cases. As an intermediate step, we show that weighted projective spaces are toric Deligne-Mumford stacks. We also describe a combinatorial model for the orbifold cohomology of weighted projective spaces.

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for example, we prove that a scheme is Goren...

We study the concept of liaison addition for codimension two subschemes of an arithmetically Gorenstein projective scheme. We show how it relates to liaison and biliaison classes of subschemes and use it to investigate the structure of Gorenstein liaison equivalence classes, extending the known theory for complete intersection liaison of codimension two subschemes. In particular, we show that o...

The stringy E-function for normal irreducible complex varieties with at worst log terminal singularities was introduced by Batyrev. It is defined by data from a log resolution. If the variety is projective and Gorenstein and the stringy E-function is a polynomial, Batyrev also defined the stringy Hodge numbers as a generalization of the Hodge numbers of nonsingular projective varieties, and con...

The stringy E-function for normal irreducible complex varieties with at worst log terminal singularities was introduced by Batyrev. It is defined by data from a log resolution. If the variety is projective and Gorenstein and the stringy E-function is a polynomial, Batyrev also defined the stringy Hodge numbers as a generalization of the Hodge numbers of nonsingular projective varieties, and con...

Batyrev has defined the stringy E-function for complex varieties with at most log terminal singularities. It is a rational function in two variables if the singularities are Gorenstein. Furthermore, if the variety is projective and its stringy E-function is a polynomial, Batyrev defined its stringy Hodge numbers essentially as the coefficients of this E-function, generalizing the usual notion o...