The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
3answers
624 views

Homomorphisms of graded modules

Let $M$ and $N$ be graded $R$-modules (with $R$ a graded ring). $\varphi:M\rightarrow N$ is a homogeneous homomorphism of degree $i$ if $\varphi(M_n)\subset N_{n+i}$. Denote by $\mathrm{Hom}_i(M,N)$ ...
10
votes
2answers
234 views

Path Algebra for Categories

For a while I had been thinking that the path algebra of a quiver $Q$ over a commutative ring $R$ is the same as the "category ring" $R[P]$ (analogous to "group ring", "monoid ring", "semigroup ring", ...
7
votes
0answers
179 views

An elegant description for graded-module morphisms with non-zero zero component

In an example I have worked out for my work, I have constructed a category whose objects are graded $R$-modules (where $R$ is a graded ring), and with morphisms the usual morphisms quotient the ...
5
votes
1answer
44 views

holonomic D-modules

I am trying to develop an intuition about holonomic D-modules and find the literature formidable (I study physics). My question is, given a linear differential operator in n-variables, ...
5
votes
1answer
83 views

Difference between graded ring and graded algebra

Wikipedia says that a graded $A$-algebra is just a graded $A$-module that is also a graded ring. Question: when one says then "finitely generated graded $A$-algebra", does one mean that every element ...
4
votes
2answers
154 views

Graded modules over $k[t,t^{-1}]$

If $R=k[t,t^{-1}]$ is a graded ring where $R_0=k$ is a field and $t\in R$ is a homogeneous element of positive degree which is transcendental over $k$, how can I prove that every graded $R$-module ...
4
votes
1answer
86 views

What does it mean for the coordinate ring of an affine variety to be graded?

My question is relatively simple, assume that $X$ is an affine variety such that its coordinate ring $A:=\Bbbk[X]:=H^0(\mathcal O_X,X)$ is $\Lambda$-graded for some monoid $\Lambda$. Now if ...
4
votes
1answer
110 views

Dimension of graded module

Let $R$ be a Noetherian positively graded ring and $M$ a finite graded $R$-module. Prove that $\dim M = \sup\{\dim M_p: p\in\operatorname{Supp} M \text{ graded}\}$. This is the Exercise 1.5.25 ...
4
votes
0answers
69 views

“Graded free” is stronger than “graded and free”

This topic suggested me the following question: If $R$ is a commutative graded ring and $F$ a graded $R$-module which is free, then can we conclude that $F$ has a homogeneous basis (that is, a ...
4
votes
0answers
178 views

Construction of graded rings and modules

In Algebraic Geometry and Homological Algebra - as far as I know - we often consider graded rings and modules so as to encode more information, say, some sort of (computational) complexity. For ...
3
votes
3answers
349 views

Hilbert-Poincaré Series of Finite-Dimensional Graded Algebras

Suppose I have two finite-dimensional $\mathbb{Z}_{\geq 0}$-graded $\mathbb{C}$-algebras $A = \bigoplus_{k \geq 0} A_{k}$ and $B = \bigoplus_{k \geq 0} B_{k}$ with Hilbert-Poincaré series, $P_{A}(t) = ...
3
votes
1answer
143 views

Notes on dga's with a look towards Rational Homotopy Theory?

What is the best set of notes that give an introduction to differential graded algebras, preferably with ample examples and calculations, for someone that is ultimately interested in doing ...
3
votes
1answer
160 views

Blow-up along an ideal sheaf

Let $k^2=\operatorname{Spec} \; k[x,y]$ where $k$ is an algebraically closed field. Let $\mathcal{I}$ be the ideal sheaf defined by $(x,y)$. Then $$ Bl_{\mathcal{I}}k^2 $$ is covered by two open ...
3
votes
1answer
52 views

Krull dimension and graded prime ideals

How can we show that $\dim R/p=0\Leftrightarrow p=(x_{1},\ldots,x_{n})\Leftrightarrow R/p\simeq\mathbb{K}$, where $R=\mathbb{K}[x_{1},\ldots,x_{n}]$ is considered graded with standard grading (i.e. ...
3
votes
1answer
36 views

Why we can consider both modules as modules over $R_{(p)}$? (Bruns and Herzog, Theorem 1.5.9)

I'm reading Bruns-Herzog's book Cohen Macaulay rings and have a probably elementary question. Why we may consider both modules as modules over $R_{(p)}$ in this theorem? ... i know that ...
2
votes
3answers
74 views

$0$-th exterior power, empty product of modules and their tensor product

$\def\finiteprod#1#2{#1_{1}\times#1_{2}\times\dots\times#1_{#2}}$In Lang's algebra he defines the tensor product as a universal object in the category of multilinear maps from $\finiteprod En$ where ...
2
votes
3answers
112 views

What does $p+q=k$ mean in the index of summation?

I need help solving something I don't understand. OK so the problem is this: $$H^k(X,C)=\bigoplus_{p+q=k} H^{p,q}(X),$$ What does the $\;p+q=k\;$ mean? Thank you anybody that helps! :)
2
votes
2answers
316 views

Localizing and taking degree zero commutes with tensor product

Let $S$ be a graded ring ($S_n=0$ for $n<0$), $f\in S$ a homogeneous element, and $M, N$ two graded $S$-modules. I'm trying to prove that $$(M\otimes_S N)_{(f)}\simeq ...
2
votes
1answer
172 views

Compute Hilbert function of a monomial ideal

I'd like to know whether there exist easy methods that compute the Hilbert function of a graded $k$-algebra, without computer programs. My homework asks to me to compute the Hilbert function of ...
2
votes
1answer
112 views

Should Hom(M,N) be also graded ??

If $M,N$ are graded modules over a graded ring $R$, then $\operatorname{Hom}_{R}(M,N)$ is also a graded module and how ?
2
votes
1answer
78 views

Poincaré series of quotient module

I am trying to calculate the Poincaré series $P(M,t)$ with respect to the standard degree grading of the graded $\mathbb{C} [x,y,z,w]$-module $ M=\mathbb{C}[x,y,z,w]/I$, where $I = (x,w) \cap (z,w) ...
2
votes
1answer
56 views

on exactness of the functors $M \mapsto \hat{M}$ and $M \mapsto \hat{A}\otimes_{A}M$

if $A$is a Noetherian ring, $M$ a finitely generated module,$I$ is an ideal of $A$, and $\hat{A}$ is the $I-adic$ completion of $A$, then we know $\hat{A}\otimes_{A}M\cong\hat{M}$. Also on ...
2
votes
1answer
91 views

Does the category of graded rings have limits?

Let $\mathfrak{C}$ be the category of ($\mathbb{Z}$)-graded-commutative rings. Does this category have limits in it? I am particulary interested in power series rings over a field. Is there a ...
2
votes
1answer
177 views

Proof details of Theorem 11.1 in Atiyah-Macdonald

I have some trouble filling in the details of this proof from Atiyah-Macdonald. In this result, the authors assume what follows: 1) $A = \oplus_{n=0}^\infty A_n$ is a Noetherian graded ring, and ...
2
votes
2answers
62 views

Reference request: Tensor product of DG-modules

Let $A$ be a (skew-) commutative DG-algebra, and let $M,N$ be two DG $A$-modules. I am looking for a reference which describes the functor $-\otimes_A -$ and its basic properties (associtivity, ...
2
votes
1answer
278 views

Some questions on graded rings

At the moment I'm mostly interested in commutative graded rings (and in particular those graded over $\mathbb{N}$), but any comments or references about more general graded rings would also be ...
2
votes
1answer
52 views

The zero component of tensor products of graded mods

I guarantee there is an easy reference on this, but for some reason I cannot find it. If you can point me to a reference or just write a short proof for me, I would be appreciative. Given a graded ...
2
votes
1answer
76 views

Endomorphisms preserving bilinear form

Let $V=V_0 \oplus V_1$ be a $\mathbb{Z_2}$ finite dimensional graded vector space of dimension $2n$. Let $x_1,..,x_n,y_1,...,y_n$ be a basis of $V$ such that the $x_i$ form a basis for $V_0$ and the ...
2
votes
0answers
78 views

Degree 1 elements in a graded ring from a blow-up perspective

This may be an elementary question but I hope this question will benefit others as much as myself. Let $k^4 = Spec \; k[x_1, x_2, x_3, x_4]$. Writing $Bl_{\mathcal{I}}(k^4)$ as $R = ...
1
vote
5answers
203 views

Split-Lemma for chain complexes

Suppose $k$ is a field and $A$, $B$ and $C$ are chain complexes of $k$-vector spaces, i.e., objects in $\mathbf{Ch}(k\text{-}\mathbf{Vect})$. Is there are chain complex version of the split lemma, ...
1
vote
2answers
98 views

Showing: If $w\in C\ell^1(V,Q)$ anticommutes with all $v\in V$, then $w=0$

Show that if an element of the odd part of the Clifford Algebra anticommutes with everything in the vector space, then it is 0. Been having a really hard time making any progress with this one.
1
vote
1answer
91 views

Finite free graded modules and the grading of their duals

Let $S$ be a $\mathbb{Z}$-graded ring and $F$ a $\mathbb{Z}$-graded module that is free of finite rank $n$. Then we can write $F = \oplus_{i=1}^n S(\nu_i)$, where $S(\nu_i)$ is a graded ring ...
1
vote
1answer
42 views

How to think of a chain complex as a module?

I just started learning the subject, so the question should be basic. A complex $\mathbf{F}$ over a ring $R$ is a sequence of homomorphisms of $R$-modules $$\mathbf{F}: \cdots \to ...
1
vote
1answer
66 views

Graded Vector Spaces and the Interchange Law

I'm a little confused about how to correctly interchange factors in tensor products on graded vector spaces. In particular let $V:= \bigoplus_{n \in \mathbb{N}} V_n$ be a $\mathbb{N}$-graded vector ...
1
vote
0answers
47 views

Is the length of the composition series of a free module identical to the number of its bases?

Let $A_0$ be an Artinian ring, $M$ a free $A_0$-module. Then, is the length of the composition series of $M$ identical to the number of its bases? It seems to me that it is not. If $\mathfrak a$ ...
1
vote
0answers
51 views

'Finitely generated modules' versus 'Finitely generated algebra'

I'm reading Commutative Algebra by Bourbaki, and I'm on chapter III of the book. I really think that the author made a typo there, but I'm not so sure. It's Proposition 1, and its Corollary on page ...
1
vote
0answers
105 views

Computing ext over graded rings

This question came up as I was reading Beilinson, Ginzburg, Soergel paper Koszul Duality Patterns in Representation Theory. Suppose that $A$ is a Koszul ring (for the definition of Koszul ring ...
1
vote
0answers
35 views

Why do we have $\operatorname{Proj}(\oplus_{i=0}^\infty t^i \left< x\right>^i)\cong \operatorname{Proj}(\oplus_{i=0}^\infty t^i \left< x^2\right>^i)$?

I'm just curious but why is it that $$ \operatorname{Proj}\left(\oplus_{i=0}^\infty t^i \left< x\right>^i\right) $$ isomorphic to $$ \operatorname{Proj} \left(\oplus_{i=0}^\infty t^i \left< ...
1
vote
0answers
30 views

Understanding $Bl_{\mathcal{I}}(k^4)/S_2$ where $\mathcal{I}$ is defined by $(x_1-x_2,x_3-x_4)$

Let $k_4=Spec(k[x_1, x_2, x_3,x_4])$ and $\mathcal{I}$ is the ideal sheaf defined by $(x_1-x_2,x_3-x_4)$. Then $$ Bl_{\mathcal{I}}(k^4) = Proj (\oplus_{i\geq 0} I^i t^i) $$ where ...
1
vote
2answers
205 views

Direct sum and direct product of graded modules

Let $M$, $N$ be $R$-graded modules, say: $$M= \bigoplus_{i\in\mathbb Z} M_{i}, N= \bigoplus_{j\in\mathbb Z} N_{j}.$$ Then $$\operatorname{Hom}(M,N) \cong \prod_{i\in\mathbb Z} \bigoplus_{j\in\mathbb ...
0
votes
1answer
53 views

Generating connected module over a connected $K$-algebra

I have an algebraic question that I cannot solve. It is extracted from Adams and Margolis' paper on modules over the Steenrod Algebra. Here is the problem : Let $K$ be a commutative ring with ...
0
votes
2answers
215 views

Radicals of homogeneous ideals over semigroup-graded rings.

In this post I set out to prove an equation holding in a ring $R$ graded over $\mathbb{Z}$ or $\mathbb{N}$. The equation was: $\sqrt{J^\ast}=(\sqrt{J})^\ast$, where $J$ is an ideal of $R$, $J^\ast$ ...
0
votes
1answer
128 views

Isomorphism of ($\mathbb{Z}/{(n)}$-graded) Rings

Let $A=\bigoplus_{d=0}^n A_g$ and $B=\bigoplus_{d=0}^n B_h$ be $\mathbb{Z}/{(n)}$-graded rings. In particular, we assume $A_n\ne 0$ and $B_n\ne 0$. Let $\phi:A\to B$ be an isomorphism of rings. My ...
0
votes
1answer
32 views

Graded direct products can differ from direct products

Assume $R$ is a graded ring and the $M_i$ are graded modules. Then Bruns and Herzog define the graded direct product $^*\Pi M_i$ as the submodule of $\Pi M_i$ generated by the sequences $(x_i)$ with ...
0
votes
1answer
58 views

Questions on (subring/ submodule) of a graded (ring/ module)

I have a question which seems a bit silly... If we have $R$ a graded ring, does it follow that every subring of $R$ is also graded? Because I have a problem here as such: I have a graded ring $R$ ...
0
votes
1answer
53 views

The variety associated to a polynomial ring with a particular grading

We impose various grading on an algebra or a module to understand its homological properties. So I made up the following problem and I would like to understand its correspondence as a variety. ...
0
votes
1answer
87 views

When is $\operatorname{gr}_I (M)$ finite?

When is $\operatorname{gr}_I (R)$ (I mean associated graded ring of $I$) finite? When is $\operatorname{gr}_I (M)$ finite? ($M$ is an $R$-module.)
0
votes
1answer
54 views

Grading on the graded direct product

This question is related to this one. Probably it's obvious but could you tell me what is the grading on the graded direct product? I was thinking about $^*\Pi M^i=\oplus_j(\Pi_i M^i_j)$ where ...
0
votes
0answers
94 views

$\mathrm{Hom}$ and $^*\mathrm{Hom}$ for graded modules: Exercise 1.5.19(f) of Bruns-Herzog

Assume $R$ is a graded ring and $M$ and $N$ graded modules. Denote by $^*\mathrm{Hom}_R(M,N)$ the set of all homogeneous $R$-linear maps from $M$ to $N$. How can I prove that if $M$ is finitely ...
0
votes
0answers
38 views

Graded comodule isomorphism

Let $R$ be a semisimple ring. Let $C$ be a graded, connected $R$-coring (i.e. coalgebra in the monoidal category of $R$-bimodules), $C=\oplus_{n\geq 0} C_n$, such that $C_0 \simeq R$. Denote by $C_+$ ...