Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [graded-rings]

In mathematics, in particular abstract algebra, a graded ring is a ring that is a direct sum of abelian groups $R_i$ such that $R_i R_j \subset R_{i+j}$. (Def: http://en.m.wikipedia.org/wiki/Graded_ring)

1
vote
1answer
8 views

Passing from a set of generators to a set of homogeneous generators

Consider a graded ring $R=R_0\oplus R_1\oplus\dots$. Suppose the irrelevant ideal $R_1\oplus R_2\oplus \dots$ is finitely generated. How come we can assume that it is generated by a finite number of ...
0
votes
1answer
19 views

Irreducible highest weight representations as a graded algebra

Let $L$ be a semisimple Lie algebra and let $V(\lambda)$ be a finite dimensional irreducible $L$-module with the highest weight $\lambda$. How can we view the sum \begin{align*} \oplus_{n\in\mathbb{N}...
3
votes
0answers
38 views

Graded global sections of Proj(S) for S a polynomial ring and more general

Throughout, suppose $S$ is a graded ring which is finitely generated by $S_{1}$ and an $S_{0}$-algebra. Let $X = \text{Proj} S$. There is the usual associated graded module given by $$ \Gamma_{\bullet}...
0
votes
0answers
7 views

Support of a graded module of a ring concentrated in non-negative dimensions

I wanted to prove the following equivalence. Consider $R$ a graded commutative Noetherian ring such that $R^{<0}=0$ and $M$ a graded, finitely generated $R$-module. Then $M^i=0$ for $i \gg 0$ if ...
1
vote
1answer
62 views

Isomorphism between localizations of graded ring $S_{(P)} \cong [S_{(f)}]_{PS_f \cap S_{(f)}}$

I know that if $S$ is a graded ring, and $f$ is a homogeneous element of positive degree, then there is a bijection between the homogeneous prime ideals of the localization $S_f$ and the prime ideals ...
4
votes
1answer
61 views

Ascending / descending chain condition on graded modules.

Let $R = \bigoplus_{n \in \mathbb{N}} R_n$ be a graded commutative ring. Then $R$ is noetherian / artinian if and only if it has the ascending / descending chain condition for homogeneous ideals, see ...
0
votes
0answers
21 views

Tensor product of graded algebras 3

Let $A$ and $B$ be $\mathbb{Z}_2$-graded algebras, i.e. $A=A_0 \oplus A_1$, $B= B_0 \oplus B_1$. I am trying to show that the graded tensor product $A \otimes B = (A \otimes B)_0 \oplus (A \otimes B)...
1
vote
0answers
30 views

When a homogeneous ideal is written as a product of two ideals, then each of two ideals is homogeneous?

I know that in a graded domain, if a homogeneous element is written as a product of two elements, then each of two elements is also homogeneous. That is, the set of all the homogeneous elements of ...
2
votes
0answers
27 views

Indecomposable graded $A$-modules with $\operatorname{End}_A(M)/\mathfrak m\neq k$

Let $A$ be a $k$-algebra, for instance $A=k[x]$. Then we know that a module $M$ is indecomposable iff $\operatorname{End}_A(M)$ is a local ring (whose maximal ideal is denoted by $\mathfrak m$). This ...
0
votes
0answers
21 views

Constructing a graded ring from abelian groups - defining the unit.

On page 631 of Lang's Algebra, he gives a construciton Let $G$ a commutative monoid. Suppose for each $r,s \in G$, we have abelian groups $A_r$, and maps $A_{r} \times A_s \rightarrow A_{r+s}$, $...
2
votes
1answer
44 views

How does coassociativity of a coalgebra $C$ imply that the derivation on $\Omega C$ is a differential?

I am trying to show that $d²=0$ where $d$ is the derivation on $T(s^{-1}\bar{C})$ induced by the map $s^{-1}\bar{C}\to T(s^{-1}\bar{C})$ defined by $$s^{-1}x\mapsto -\sum (-1)^{|x_{(1)}|}s^{-1}x_{(1)}\...
0
votes
1answer
39 views

what's the meaning of $B_m/f^n$?

In Page 82 of Qing Liu's book "Algebraic Geometry and Arithmetic Curves", $B$ is a graded ring and $f\in B_+$ is a homogeneous element, it says $B_{(f)}$ is a direct factor of $B_{f}=B_{(f)}\oplus(\...
0
votes
1answer
51 views

Ideal is graded iff it is generated by homogeneous elements

Consider the polynomial ring $\mathbb{F}[x_{1},...,x_{n}]$ in $n$ variables and let $I \subset \mathbb{F}[x_{1},...,x_{n}]$ be an ideal. We call $I$ graded if we can decompose it into it's homogeneous ...
1
vote
1answer
35 views

Definition of “degree zero” in the localization of a graded ring

Let $S$ be a graded ring and $f$ is an element of degree $d>0$. Then $S_{(f)}$ is defined as the subring of elements of degree $0$ in the localized ring $S_{f}$ (Hartshorne, pp. 77). But the ...
0
votes
0answers
36 views

Is every (left) graded-Noetherian graded ring (left) Noetherian?

I call a graded (non-commutative) ring $A$ (left) graded-Noetherian if every homogeneous (left) ideal is finitely generated, and (left) Noetherian if it is (left) Noetherian as a ring. In the ...
2
votes
1answer
25 views

On the structure of $R_0$ in graded PID $R=\bigoplus_{n \ge 0} R_n$

Let $R=\bigoplus_{n \ge 0} R_n$ be a graded integral domain. If $R$ is a PID, then is $R_0$ a field ? Since $R$ is Noetherian, I know that $R_0$ is Noetherian and $R$ is a finitely generated $R_0$-...
2
votes
1answer
65 views

The Endomorphism algebra of graded vector space

Let $G$ be a group. A linear map $f:V\rightarrow W$ of $G$-graded vector spaces is said to be homogeneous of degree $g$ if $f(V_{h}) \subseteq W_{g\cdot h}$ for all $h\in G$. We denote the space all ...
1
vote
1answer
44 views

Are the associate primes of a graded module homogeneous?

Let $R$ be a $\mathbf N^r$-graded ring, for instance a polynomial ring in $r$-variables. A prime ideal $\mathfrak p\subseteq R$ is associated to a graded $R$-module $M$ if there is a (not necessarily ...
0
votes
1answer
18 views

Doubt on twisting sheaves definition

I am reading Hartshorne, and I don't understand something about twisting sheaves. He defines, for $S$ a graded ring, the $n$-th twisting sheaf $O_X(n)$ as "$S(n)^{\tilde}$. I tried to interpret this ...
2
votes
1answer
43 views

Binomial coefficients undefined in in the Hilbert polynomial for projective space

Let $k$ be a field and let $X= \mathbb{P}_{k}^{r}$ be the projective space (as a scheme) of dimension $r$ over $k$. Let $\mathcal{O}(d)$ denote the degree $d$ twisted structure sheaf. Then we define ...
0
votes
1answer
38 views

In a $\mathbb Z$-graded ring we have $IR \cap R_0 = I$

I have a problem with an exercise from Tom Marley which is: Let $R$ be a $\mathbb Z$-graded ring and $I$ an ideal of $R_0$. Prove that $IR \cap R_0 = I$. For $I \subset IR \cap R_0 $, we can ...
0
votes
1answer
58 views

Units are homogeneous in $\mathbb Z$-graded domains

I am confused by an exercise from Tom Marley which is: Let $R$ be an arbitrary $\mathbb Z$-graded domain: $1)$ Prove that all units in $R$ are homogeneous. $2)$ By using $1$, if $R$ is a field, ...
0
votes
0answers
44 views

On “homogeneous” height and “homogeneous” Krull-dimension?

Let $R=\oplus_{n \ge 0} R_n$ be a commutative graded ring. For a prime ideal $P$ of $R$, let $ht P$ denote the usual height of a prime ideal $P$ of $R$. Now let $P$ be a prime ideal of $R$ which is ...
0
votes
0answers
21 views

Adams operations and an artificial grading on K-theory

In this article by Snaith (p. 575) appears the following comment: ... these transgressive elements [...] can be located by means of the Adams operations [...]. These operate (unstably) in both the ...
1
vote
1answer
86 views

Localization of a graded ring at degree zero

Let $S$ be a $Z^{\ge 0}$-graded ring and $f,g$ be two homogeneous elements of positive degree in $S$. I wonder if $$(S_{fg})_0 \cong [(S_f)_0]_{g^{\text{deg} f}/f^{\text{deg} g}}$$ is true (and how ...
1
vote
0answers
35 views

Properties of the Zariski topology on Proj

Let $S_\bullet$ be a $(\mathbb{Z}_{\geq 0})$-graded ring, $f \in S_+$ be a homogenous element, $I \subseteq S_+$ any homogenous ideal, $V_+(I) := \{p \in ProjS_\bullet | I \subseteq p \}$. I'm ...
2
votes
1answer
54 views

The super group $GL(1|1)$

It is difficult to find information on super groups and I have built my knowledge from various sources. I have the following questions. $GL(1|1)$ is defined as the group of invertible linear ...
6
votes
0answers
113 views

Bihomogeneous Nullstellensatz

I'm reading 'Arithmetically Cohen-Macaulay Sets of Points in $\mathbb P^1\times\mathbb P^1$' by Elena Guardo and Adam Van Tuyl. (One can read it partially on Google books.) I doubt whether the '...
2
votes
1answer
45 views

High-degree pieces of graded ideal with coprime generators

(I have a couple of questions about graded ideals and I would appreciate any help/ideas anyone may have on the following. I had posted this one earlier, but nothing came of it, so deleted it, trimmed ...
0
votes
1answer
71 views

Direct sum and the inclusion property

Let $R$ be a ring and if $R= \bigoplus R_i$ as additive subgroups for each $i \in I$ where $I $ is a finite group Is that implies $R_i R_j $ must be contained in $R_p$ for any $p \in I$ ?? In ...
1
vote
0answers
34 views

Extending a linear action to monomials of higher degree

Let $R$ be a commutative ring and let $M$ be an $m\times n$ matrix with entries in $R$. $M$ defines a map $\widehat{M}:R[x_1,\ldots,x_n]\to R[y_1,\ldots,y_m]$ by extending the linear action on degree $...
1
vote
1answer
62 views

The degree $0$ component of a graded ring and localization

Let $S$ be a $\mathbb Z$-graded ring and $f \in S$ be a homogeneous element. Is the morphism $\mathrm{Spec}(S_{(f)}) \to \mathrm{Spec}(S_0)$ induced by the morphism of rings $S_0 \to S_{(f)}$ (which ...
0
votes
1answer
34 views

Integers modulo prime power, not a graded ring?

We can decompose Z mod p^n as a vector space over Z mod p by writing numbers base p, eg, mod 3, 52= 27 + 2*9 + 2*3 + 1, and if Rm is {0,p^m,2p^m,....(p-1)p^m}, then we have for a in Rm, b in Rk, that ...
4
votes
1answer
93 views

Interpretation of the numerator of the Hilbert series?

Let $R$ be a finitely generated graded ring over a field $k$. Let $R_\ell$ be the degree-$\ell$ homogeneous component of $R$. By the Noether normalization theorem, $R$ is finite over a graded ...
0
votes
2answers
71 views

On graded fields

Tom Marly here noted that if R is a graded field then $R$ is concentrated in degree 0, i.e., $R=R_0$ and $R_n =0$ for all $n \neq 0$. Is this proposition mentioned in any book or paper ?? ...
1
vote
0answers
77 views

Dimension of a graded module over a local$^*$ ring

Assume that $R$ is a positively graded ring which has only one maximal homogeneous ideal $\mathfrak{m}^*$. Let $M$ be a finitely generated positively graded ring over $R$ and consider $\mathcal{l}_R(M/...
1
vote
1answer
173 views

Is the formal power series ring a graded ring?

Let $k$ be a field, let $k[[t]]$ be the formal power series ring over $k$ in one variable. Does there exist a $\mathbb{Z}$-grading on $k[[t]]$? In other words, does there exist a direct sum ...
1
vote
0answers
194 views

Why are the global sections of structure sheaf of Proj$S$ just the homogenous elements of $S$?

Let $A$ be a ring and define $S = A[x_{0}, x_{1}, \ldots , x_{r}]$. Let $X = \text{Proj }S$. I would like to show that $\Gamma(X, \mathcal{O}_{X}(n)) = S_{n}$. This is Proposition II 5.13 in ...
1
vote
0answers
178 views

Proj of the Graded Ring of Global Sections

Let $R$ be a graded ring, finitely generated by $R_1$ as an $R_0$-algebra. Let $X=\mathop{\rm Proj}R$ and let $R':=\Gamma_*(\mathcal{O}_X)$ be the associated graded module of global sections of twists ...
2
votes
0answers
99 views

Which Graded and free modules over Graded PID's are Graded-free ?

Let $G$ be an abelian group and $R=\oplus_{g\in G}R_g$ be a $G$-graded, commutative ring with unity . Let us call $R$ to be a "Graded PID" if every graded ideal of $R$ is generated by a homogeneous ...
0
votes
1answer
102 views

Do How to convert degrees to decimal degrees?

Do How to convert degrees to decimal degrees? Example 1: 1. I have - 450 - degrees 2. We need get - 90 from 450 Example 2: 1. I have - 540 - degrees 2. We need get - 180 from 540
0
votes
0answers
46 views

Hilbert Coeficients; Multiplicity

Let $R$ be a graded ring and $M$ a graded $R$-module. An element $x\in R_{l}$ is said to be superficial for $M$ if $(0:_{M} x)_{n}=0$ for all but finitely many $n$. Let $M$ be a finite generated $R$-...
1
vote
1answer
54 views

Noetherianity of graded rings

I have been able to show that for a graded subring $S$ of $R[x]$ (where $R$ is a noetherian domain) that in order to show that $S$ is noetherian, it suffices to consider homogeneous ideals of $S$. ...
3
votes
1answer
72 views

What is the notation $\mathcal{A}_\infty$ for a sheaf of graded $\mathcal{O}_X$-algebras mean?

Today I encountered Hartshorne's condition $(\dagger)$ for quasi-coherent sheaves of algebras. This states that gives a graded $\mathcal{O}_X$-module $\mathcal{A}$ which has the structure of a graded ...
0
votes
1answer
305 views

graded ring and homogeneous ideal

In the Wikipedia page it says if $I$ is a homogeneous ideal in graded ring $A=\oplus_{n\ge0}A_n$, then $\frac{A}{I}$ is a graded ring decompose as: $\frac{A}{I}=\oplus_{n\ge0}\frac{A_i+I}{I}$ I ...
1
vote
1answer
33 views

Zariski cone-topology?

Let $A$ be an almost commutative algebra and write $A_0 = \text{gr} \, A/ \oplus_{i > 0} \text{gr}_i \, A$. At the bottom of p. 16 here, the author says the following: ... recall first that the ...
0
votes
1answer
33 views

Counting graded dimension of polynomial ring

The polynomial ring $k[x,y]$ has graded $k$-dimension (aka. Poincaré-series) $\frac{1}{(1-q)^2}$. This is clear since the polynomial ring in one indeterminate has $\dim_q k[x]=1+q+q^2+\cdots=\frac{1}{...
1
vote
1answer
28 views

$a^m$ homogeneous implies $a$ homogeneous?

Let $A = \bigoplus_{r \in \mathbb{Z}/n\mathbb{Z}} A_r$ be an integral $\mathbb{Z}/n\mathbb{Z}$-graded ring of characteristic $0$, and $a \in A$. Assume there exists an integer $m$ such that $a^m$ is ...
0
votes
1answer
105 views

A query about tensor product of graded modules.

Let $A=\bigoplus_{n\geq 0}A_n$, $B=\bigoplus_{n\geq 0}B_n$ be two graded Noetherian rings, where $A_n\subset B_n$ and $A_0=B_0$ is a local ring. Suppose $B$ is a finitely generated $A$ module. Let $I$ ...
0
votes
2answers
92 views

Graded vector space conditions

Wikipedia define the graded ( ring, module, vector space, ...) as here I noted that in the rings and modules it required the condition of inclusion but in the vector spaces it did not. just the ...