Related papers: The canonical module of a Cox ring
We define generalized Koszul modules and rings and develop a generalized Koszul theory for $\mathbb{N}$-graded rings with the degree zero part noetherian semiperfect. This theory specializes to the classical Koszul theory for graded rings…
Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl…
Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we…
For a Noetherian ring $R$ and a cotilting $R$-module $T$ of injective dimension at least $1$, we prove that the derived dimension of $R$ with respect to the category $\mathcal{X}_T$ is precisely the injective dimension of $T$ by applying…
An important result in tilting theory states that a class of modules over a ring is a tilting class if and only if it is the Ext-orthogonal class to a set of compact modules of bounded projective dimension. Moreover, cotilting classes are…
Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how…
We show that if a graded submodule of a Noetherian module cannot be written as a proper intersection of graded submodules, then it cannot be written as a proper intersection of submodules at all. More generally, we show that a natural…
Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which…
Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…
For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is…
We classify 1-tilting classes over an arbitrary commutative ring. As a consequence, we classify all resolving subcategories of finitely presented modules of projective dimension at most 1. Both these collections are in 1-1 correspondence…
We give a large family of weighted projective planes, blown up at a smooth point, that do not have finitely generated Cox rings. We then use the method of Castravet and Tevelev to prove that the moduli space of stable n-pointed genus zero…
We prove that the quantum moduli algebra associated to a possibly punctured compact oriented surface and a complex semisimple Lie algebra $\mathfrak{g}$ is a Noetherian and finitely generated ring. If the surface has punctures, we prove…
We introduce the class of partially invertible modules and show that it is an inverse category which we call the Picard inverse category. We use this category to generalize the classical construction of crossed products to, what we call,…
We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its…
We study Gorenstein dimension and grade of a module $M$ over a filtered ring whose assosiated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded…
Let $\k$ be a field, and let $A$ and $B$ be connected $\N$-graded $\k$-algebras. The algebra $A$ is said to be a graded right-free extension of $B$ provided there is a surjective graded algebra morphism $\pi: A \to B$ such that $\ker\pi$ is…
We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is…
We show that finitely generated Cox rings are Gorenstein. This leads to a refined characterization of varieties of Fano type: they are exactly those projective varieties with Gorenstein canonical quasicone Cox ring. We then show that for…
The moduli space of canonical divisors (with prescribed zeros and poles) on nonsingular curves is not compact since the curve may degenerate. We define a proper moduli space of twisted canonical divisors in the moduli space of…