It is well-known that the category of comodules over a flat Hopf algebroid is abelian but typically fails to have enough projectives, and more generally, the category of graded comodules over a graded flat Hopf algebroid is abelian but typically fails to have enough projectives. In this short paper we prove that the category of connective graded comodules over a connective, graded, flat, finite-type Hopf algebroid has enough projectives. Applications to algebraic topology are given: the Hopf algebroids of stable co-operations in complex bordism, Brown-Peterson homology, and classical mod $p$ homology all have the property that their categories of connective graded comodules have enough projectives. We also prove that categories of connective graded comodules over appropriate Hopf algebras fail to be equivalent to categories of graded connective modules over a ring.
Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate Hochschild cohomology of the A-bimodule M \otimes N, when A is finite-dimensional, profinite, graded or differential-graded. The main applications are to Galois cohomology, comodules over the Steenrod algebra, and the homology of induced fibrations.
This note presents some results on projective modules and the Grothendieck groups K_0 and G_0 for Frobenius algebras and for certain Hopf Galois extensions. Our principal technical tools are the Higman trace for Frobenius algebras and a product formula for Hattori-Stallings ranks of projectives over Hopf Galois extensions.
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra.
We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.
Generalising the notion of Galois corings, Galois comodules were introduced as comodules $P$ over an $A$-coring $\cC$ for which $P_A$ is finitely generated and projective and the evaluation map $μ_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$ is an isomorphism (of corings) where $S=\End^\cC(P)$. It was observed that for such comodules the functors $\Hom_A(P,-)\ot_SP$ and $-\ot_A\cC$ from the category of right $A$-modules to the category of right $\cC$-comodules are isomorphic. In this note we call modules $P$ with this property {\em Galois comodules} without requiring $P_A$ to be finitely generated and pr…
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $Σ$ of an $A$-coring $\cC$. This allows to extend (weak and strong) structure theorems in the literature, in particular beyond the cases when any of the coring $\cC$ or the comodule $Σ$ is finitely generated and projective as an $A$-module. That is, we o…
Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for H-simple H-module algebras.
A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with surjective counits. Under this equivalence, comodules over a coring correspond to integrable connections or quasi-cohesive curved modules, while contramodules over a coring correspond to a specific class of curved modules introduced and termed Z-divergences in here.
We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous radical.
A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Furthermore, assuming the principality of P, we show that the lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with B. Finally, assuming the above d…
We consider Frobenius algebras in the monoidal category of right comodules over a Hopf algebra $H$. If $H$ is a group Hopf algebra, we study a more general Frobenius type property and uncover the structure of graded Frobenius algebras. Graded symmetric algebras are also investigated.
Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of $\lL(A)$ is equivalent to the category of chain complexes of left $R$-modules. This equivalence is monoidal whenever $R$ is commutative and $A$ is an $R$-algebra. This is a generalization, using entirely new tools, of results by B. Pareigis and D. Tambara for chain complexes of vector spaces over fields. Our approach relies heavily on the non commutative theory of …
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable ``Trace'' and ``Hom'' functors and show how to derive it from a more general coinduction functor between categories of type $σ\lbrack M].$ In special cases (e.g. the corings morphism is part of a morphism of measuring $α$-pairings or the corings have the same base ring), a version of our functor is shown to be iso…
We provide a framework connecting several well known theories related to the linearity of graded modules over graded algebras. In the first part, we pay a particular attention to the tensor products of graded bimodules over graded algebras. Finally, we provide a tool to evaluate the possible degrees of a module appearing in a graded projective resolution once the generating degrees for the first term of some particular projective resolution are known.
Let $\mathbb{k}$ be an algebraically closed field. Building upon previous work, we classify, up to isomorphism of graded algebras, quadratic graded twisted tensor products of $\mathbb{k}[x,y]$ and $\mathbb{k}[z]$. When such an algebra is Artin-Schelter regular, we identify its point scheme and type. We also describe which three-dimensional Sklyanin algebras contain a subalgebra isomorphic to a quantum $\mathbb{P}^1$, and we show that every algebra in this family is a graded twisted tensor product of $\mathbb{k}_{-1}[x,y]$ and $\mathbb{k}[z]$.
We prove that if A is a finite dimensional associative H-comodule algebra over a field F for some involutory Hopf algebra H not necessarily finite dimensional, where either char F = 0 or char F > dim A, then the Jacobson radical J(A) is an H-subcomodule of A. In particular, if A is a finite dimensional associative algebra over such a field F, graded by any group, then the Jacobson radical J(A) is a graded ideal of A. Analogous results hold for nilpotent and solvable radicals of finite dimensional Lie algebras over a field of characteristic 0. We use the results obtained to prove the analog of …
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We provide concrete examples that satisfy our conditions and are relevant in descent theory and in the theory of Hopf-Galois extensions. These examples are specific instances of the following categories of comodules over a coring. For any semihereditary commutative ring R, let A be a dg R-algebra that is homologically simply connected. Let V be an A-coring that …
In this article we revisit the theory of homotopic Hopf-Galois extensions introduced in arXiv:0902.3393v2 [math.AT], in light of the homotopical Morita theory of comodules established in arXiv:1411.6517 [math.AT]. We generalize the theory to a relative framework, which we believe is new even in the classical context and which is essential for treating the Hopf-Galois correspondence in forthcoming work of the second author and Karpova. We study in detail homotopic Hopf-Galois extensions of differential graded algebras over a commutative ring, for which we establish a descent-type characterizati…
We prove that if a positively-graded ring $R$ is Gorenstein and the associated torsion functor has finite cohomological dimension, then the corresponding noncommutative projective scheme ${\rm Tails}(R)$ is a Gorenstein category in the sense of \cite{EEG}. Moreover, under this condition, a (right) recollement relating Gorenstein-injective sheaves in ${\rm Tails}(R)$ and (graded) Gorenstein-injective $R$-modules is given.
In this paper, we study the relationship between equivalences of noncommutative projective schemes and cluster tilting modules. In particular, we prove the following result. Let $A$ be an AS-Gorenstein algebra of dimension $d\geq 2$ and ${\mathsf{tails}\,} A$ the noncommutative projective scheme associated to $A$. If $\operatorname{gldim}({\mathsf{tails}\,} A)< \infty$ and $A$ has a $(d-1)$-cluster tilting module $X$ satisfying that its graded endomorphism algebra is $\mathbb N$-graded, then the graded endomorphism algebra $B$ of a basic $(d-1)$-cluster tilting submodule of $X$ is a two-sided …
Let R be a noetherian connected graded domain of Gelfand-Kirillov dimension 3 over an uncountable algebraically closed field. Suppose that the graded quotient ring of R is a skew-Laurent ring over a field; we say that R is a birationally commutative projective surface. We classify birationally commutative projective surfaces and show that they fall into four families, parameterized by geometric data. This generalizes work of Rogalski and Stafford on birationally commutative projective surfaces generated in degree 1; our proof techniques are quite different.
We construct a family of connected graded domains of GK-dimension 4 that are birational to P2, and show that the general member of this family is noetherian. This disproves a conjecture of the first author and Stafford. The algebras we construct are Koszul and have global dimension 4. They fail to be Artin-Schelter Gorenstein, however, showing that a theorem of Zhang and Stephenson for dimension 3 algebras does not extend to dimension 4. The Auslander-Buchsbaum formula also fails to hold for our family. The algebras can be obtained as global sections of a certain quasicoherent graded sheaf on …
Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm co}H}$, and we study the semisimplicity of the category of relative Hopf modules.
We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent complex of the derived scheme is given by graded Hochschild cohomology, which we relate to ordinary Hochschild cohomology. We obtain a version of Hilbert stability for non-commutative projective schemes.
Let $A$ be an algebra over a commutative ring $k$. We compute the center of the category of $A$-bimodules. There are six isomorphic descriptions: the center equals the weak center, and can be described as categories of noncommutative descent data, comodules over the Sweedler canonical $A$-coring, Yetter-Drinfeld type modules or modules with a flat connection from noncommutative differential geometry. All six isomorphic categories are braided monoidal categories: in particular, the category of comodules over the Sweedler canonical $A$-coring $A \ot A$ is braided monoidal. We provide several app…
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighte…
In the past 15 years a study of ``noncommutative projective geometry'' has flourished. By using and generalizing techniques of commutative projective geometry, one can study certain noncommutative graded rings and obtain results for which no purely algebraic proof is known. For instance, noncommutative graded domains of quadratic growth, or ``noncommutative curves,'' have now been classified by geometric data and these rings must be noetherian. Rings of cubic growth, or ``noncommutative surfaces,'' are not yet classified, but a rich theory is currently forming. In this survey, we describe some…
Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an automorphism of the integral projective surface Y. Then we prove that A can be written as a naive blowup algebra of a projective surface X birational to Y. This enables one to obtain a deep understanding of the structure of these algebras; for example, generically they are not strongly noetherian and their point modules are not parametrized by a projective scheme…
In this paper we undertake a basic study on connective commutative differential graded algebras (CDGA), more precisely, piecewise Noetherian CDGA, which is a DG-counter part of commutative Noetherian algebra. We establish basic results for example, Auslaner-Buchsbaum formula and Bass formula without any unnecessary assumptions. The key notion is the sup-projective (sppj) and inf-injective (ifij) resolutions introduced by the author, which are DG-versions of the projective and injective resolution for ordinary modules. These are different from DG-projective and DG-injective resolutions which is…
We study some properties of graded idealizer rings with an emphasis on applications to the theory of noncommutative projective geometry. In particular we give examples of rings for which the $χ$-conditions of Artin and Zhang and the strong noetherian property have very different behavior on the left and right sides.
This note begins by observing that a graded central simple algebra, graded by an abelian group, is a graded Azumaya algebra and it is free over its centre. For a graded Azumaya algebra A free over its centre $R$, we show that K_i^{\gr} (A) is "very close" to K_i^{\gr}(R), where K_i^{\gr} (R) is defined to be K_i(\Pgr (R)). Here \Pgr (R) is the category of graded finitely generated projective R-modules and K_i, \,i\geq 0, are the Quillen K-groups.
In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.
We obtain a complete structural characterization of Cohn-Leavitt algebras over no-exit objects as graded involutive algebras. Corollaries of this result include graph-theoretic conditions characterizing when a Leavitt path algebra is a directed union of (graded) matricial algebras over the underlying field and over the algebra of Laurent polynomials and when the monoid of isomorphism classes of finitely generated projective modules is atomic and cancellative. We introduce the non-unital generalizations of graded analogues of noetherian and artinian rings, graded locally noetherian and graded l…
We study the structure of the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen-Macaulay module over $S/(f)$ where $S$ is a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree 1, and $f =x_1^2 + \cdots +x_n^2$. If $S$ is commutative, then the structure of $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is well-known by Knörrer's periodicity theorem. In this paper, we prove that if $n\leq 5$, then the structure of $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is determined by the number of irreducible components of the point scheme of $S$ which are…
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…
We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of $\mathbb Z_2$-graded complexes of representations of a quiver with (possible) loops. To overcome difficulties resulting from the existence of infinite dimensional projective objects, we consider the category of finitely-presented representations and the category of $\mathbb Z_2$-graded complexes of projectives with finite homology.
In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring $k$, via introducing inductive functors which generalize important properties of shift functors of $\mathrm{FI}$-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in rep…
Let $\mathcal{D}$ be the Drinfeld double of the bosonization ${\mathfrak B}(V)\#\Bbbk G$ of a finite-dimensional Nichols algebra ${\mathfrak B}(V)$ over a finite group $G$. It is known that the simple $\mathcal{D}$-modules are parametrized by the simple modules over $\mathcal{D}(G)$, the Drinfeld double of $G$. This parametrization can be obtained by considering the head $\mathsf{L}(λ)$ of the Verma module $\mathsf{M}(λ)$ for every simple $\mathcal{D}(G)$-module $λ$. In the present work, we show that the projective $\mathcal{D}$-modules are filtered by Verma modules and the BGG Reciprocity $[\…
