The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
3answers
38 views

Show that $\operatorname{Hom}(S(-d),S)\cong S(d)$ where $S$ is polynomial ring?

As stated above, $S$ is polynomial ring, and since the polynomial ring is $S$ and $S(-d)$ are finite over $S$ as graded modules, we can say that $\operatorname{Hom}(S(-d),S)$ is also graded. My ...
4
votes
0answers
85 views

Flatness of homomorphisms of graded-commutative rings

Algebraic geometry offers some properties and criteria for homomorphism of commutative rings to be flat. What about homomorphisms of graded-commutative rings? You can define flatness as usual: $R \to ...
0
votes
2answers
39 views

In a $\mathbb{Z}$-graded ring with unity, $1$ is homogeneous of degree zero

Suppose I have a $\mathbb{Z}$-graded ring (commutative) $A$ with unity. I am sure that the unity $1 \in A$ has degree $0$. I was wondering how could one show that? (I am guessing we don't have ...
-1
votes
0answers
30 views

Some problems with Castelnuovo-Mumford regularity

I have some problems to complete my thesis. In this paper: "Upper bound for the Castelnuovo-Mumford regularity of associated graded modules" - Cao Huy Linh Lemma 4.1 Please explain for me about ...
1
vote
1answer
61 views

Castelnuovo-Mumford regularity and postulation numbers

I have a problem about Castelnuovo-Mumford regularity. This is a proposition from Castelnuovo-Mumford regularity, relation types and postulation numbers by M. Brodmann and C. H. Linh. My ...
-1
votes
1answer
33 views

Graded ring localization. Why is this function bijective? [duplicate]

From Hartshorne, Chapter II.2, Proposition 2.5(b). If $R$ is a graded ring and $\mathfrak a$ is a homogenous ideal, then the function defined as $$\phi(\mathfrak a) = \mathfrak aR_f\cap R_{(f)}$$ ...
1
vote
1answer
28 views

Quotient ring of a graded algebra with respect to a graded ideal

An algebra $A$ over $F$ is said to be a graded algebra if as a vector space over $F$, $A$ can be written in the form $$A=\bigoplus_{i=0}^\infty A_i$$ for subspaces $A_i$ of $A$ along with other ...
0
votes
1answer
49 views

Is a graded module over a graded ring zero when all of it's graded localizations at graded primes not containing the irrelevant ideal are zero?

Let $M$ be a graded module over an $\mathbb{N}$-graded ring $S$ and $S_+$ be the ideal of positive degree elements. Is it true that $M=0$ iff the homogeneous localization $M_{(\mathfrak p)}=0$ for ...
0
votes
1answer
51 views

A question on graded rings

For a ring $A$ and an ideal $\mathfrak{a}$ of $A$, Atiyah-Macdonald define $$A^*=\bigoplus_{n=0}^\infty \mathfrak{a}^n$$ and claim that it is a graded ring on p. 107 of their commutative algebra book. ...
4
votes
3answers
88 views

stalk of projective variety in terms of the coordinate ring

Let $X \subseteq \mathbb{P}^n$ be an embedded projective variety over some field $k$ with its corresponding homogeneous coordinate ring $R = k[X_0,\dots,X_n]/I(X)$. Let further $X = \bigcup_{i=0}^n ...
0
votes
0answers
24 views

Confused with a terminology used in a book Group Representation Vol 1 Part A by G Karpilovsky

I am confused with a terminology used in a book Group Representation Vol 1 Part A by G Karpilovsky (Chapter 10, page 441). Which is as follows: Let $A=\oplus_{g \in G} A_g$ be a $G$-graded ...
0
votes
0answers
27 views

Extension of graded algebra by a homogeneous ideal

If an algebra is graded by the group $G$: $A=\bigoplus\limits_{d \in G} A_d$ and contains a homogeneous ideal $I \subset A$, then we have the quotient $B:=A/I$ and canonical epimorphism $\nu:A ...
1
vote
0answers
51 views

question about gradation of a ring

I was reading Mumford's 'Red book on varieties and schemes', when I came across the following paragraph: I am confused about meaning of the phrase "We let $k(X)$ be the zeroth graded piece of the ...
2
votes
0answers
95 views

Computing generators of the positive component of a graded ring

Let $R$ be a sub-algebra of $\mathbb{Q}[X_1^{\pm 1}, \dots, X_n^{\pm 1}]$ given by finitely many generators, and let $\lambda$ be a linear form $\lambda : \mathbb{Z}^n \to \mathbb{Z}$. This defines a ...
0
votes
0answers
69 views

Extending a lemma about Castelnouvo-Mumford regularity

I'm learning Castelnouvo-Mumford regularity of associated graded ring. There is a lemma: It's from "Castelnuovo-Mumford regularity postulation number and relation types" by Markus Brodmann and ...
1
vote
1answer
79 views

Castelnouvo-Mumford Regularity

I'm learning Castelnouvo-Mumford regularity of associated graded ring. As u see in 2 pics below, Lemma 3.3. $(A,\mathfrak{m})$ is a Noetherian ring local, $\dim(A)=1$; $\mathfrak{q}=(x)$ is a ...
2
votes
1answer
67 views

Maximal homogeneous ideals of a graded $k$-algebra.

Let $k$ be an algebraically closed field, and let $A$ be a finitely generated commutative $k$-algebra. Given any maximal ideal $\mathfrak{m}\subset A$, we can form the quotient to obtain a map $A\to ...
1
vote
0answers
28 views

maximal chains of graded prime ideals

In Theorem 1.5.8 [Bruns,Herzog - Cohen-Macaulay-Rings] it is proved that for a noetherian graded ring $R$, a finitely generated graded $R$-module $M$ and any chain $\mathfrak{p}_0 \subsetneq ...
1
vote
0answers
36 views

Krull dimension and Hilbert polynomial of graded rings

Let $P \subseteq \mathbb{R}^n$ be a polytope with integral vertices, and $Q := \mathbb{R}_+ (P \times \{1\}) \cap \mathbb{Z}^{n+1}$ be the monoid of all lattice points of the cone generated by $P$ in ...
0
votes
2answers
95 views

Graded rings and modules - which book to refer to?

Could you recommend a book with a good treatment of the theory of graded rings and modules?
0
votes
1answer
28 views

Sign convention for derivatives in a $\mathbb{Z}_2$ graded space

Suppose $V=V_0\oplus\theta V_1$ is a $\mathbb{Z}_2$ graded super vector space. Note: Since $\theta^2=0$, this implies $\theta\mathrm{d}\theta=-\mathrm{d}\theta\cdot\theta$. However, I wish to know ...
2
votes
0answers
34 views

Natural examples of multiplicatively-graded rings

A ring $A$ is multiplicatively graded if, as an additive group, it decomposes as $$A=\bigoplus_{n\geq 1} A_n$$ and the product satisfies $A_n \times A_m \rightarrow A_{nm}$. A natural example of ...
1
vote
2answers
61 views

Graded tensor algebra

Given a finite dimensional $\mathbb R$-vectorspace $V$ we can make $$ T(V) := \bigoplus_{n=0}^\infty V^{\otimes n}. $$ Here $V^{\otimes n} = V \otimes \cdots \otimes V$. An element of $T(V)$ looks ...
0
votes
0answers
99 views

Graded version of Grothendieck's Non-vanishing Theorem

Is there a graded version of the Grothendieck Non-vanishing Theorem? (Theorem 6.1.4 of the book Local Cohomology. An Algebraic Introduction with Geometric Applications written by M. P. Brodmann and ...
0
votes
0answers
70 views

Grade of a graded ideal, Bruns-Herzog, Exercise 1.5.21

The first part is easy: $\operatorname{grade} I = \dim S - 1 =3$. But I can't prove the second. Can you help please?
0
votes
1answer
44 views

Is every minimal set of generators for a homogeneous ideal composed by homogeneous elements?

An ideal $\mathfrak a$ of a graded ring $A$ is said to be homogeneous if I can find a set of homogeneous generators for $\mathfrak a$. Is it true that every minimal set of generators for a ...
0
votes
1answer
51 views

Associated Graded Module

I'm learning about Associated Graded Ring and Associated Graded Module. I got definition from Wiki: My questions: What's $I^nM$?, it's mean: $I^nM=am, a\in I, m\in M$? With above define, so: ...
3
votes
1answer
84 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
0answers
71 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
33 views

Grading and commutators

If $R$ is a unital associtaitve commutative ring, then can any $R$-algebra $A$ may be filtered as $A_0:=A$ and $A_{i+1}:=(A_i,A_i)$ where $(-,-)$ is the commutator of $A$ with respect to $A$'s ...
2
votes
1answer
74 views

Projecting an affine hypersurface away from a point in its projective closure is never a finite map?

Let $X\subset \mathbb{A}_k^r$ be an irreducible hypersurface defined by a polynomial $g$, where $k$ is an algebraically closed field. Embed $\mathbb{A}^r\hookrightarrow\mathbb{P}^r$ in the usual way. ...
2
votes
1answer
56 views

Why is this projective curve in $\mathbf{P}^3_k$ nonsingular?

Consider $C$ in $\mathbf{P}^3_k = \mathrm{Proj}[x_0,...,x_3]$ defined by $$x_0x_3 - x_1^2 = 0$$ and $$x_0^2 + x_2^2 - x_3^2 = 0$$ where $k$ is an algebraically closed field. Why is this curve ...
1
vote
1answer
139 views

Height unmixed homogeneous ideal and a non-zero divisor

Let $R=k[x_1,\ldots,x_n]$ be a standard graded polynomial over field $k$ and $I$ an unmixed homogeneous ideal of $R$. Let $x\in R$ be an $R/I$-regular element. Can we conclude that $x+I$ is an ...
1
vote
1answer
76 views

Socle degrees and last shift of free resolution

I have seen in several references that the degrees of the socle of an Artinian graded algebra $k[x_1,\ldots,x_d]/I$ can be computed by looking at the shifts of the end of its graded free resolution. ...
2
votes
0answers
72 views

Relation between closed subschemes and saturated ideals

Let $A=\mathbb{C}[x_0,x_1,\dots,x_n]$ and $X=\operatorname{Proj}A$. For any homogeneous ideal $I\subset A$, define the saturation $I^{\rm sat}:=\{f\in A\mid (x_0,\dots,x_n)^mf\subset I$ for some ...
0
votes
0answers
119 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? ($R$ is Noetherian ring and $M$ finite $R$-module.)
1
vote
1answer
226 views

Homogeneous and maximal ideal in a $\mathbb Z$-graded ring

Is Exercise 2.8 from Marley's notes on "GRADED RINGS AND MODULES" true? Exercise 2.8: Let $R$ be a graded ring and $M$ a homogeneous maximal ideal of $R$. Prove that $M =…⊕R_{-1}⨁m_0⨁R_1⨁…$, ...
7
votes
1answer
64 views

Why is the topology on $\operatorname{Proj} B$ induced from that on $\operatorname{Spec}(B)?$

In the proof of Lemma $3.36$ in Algebraic Geometry and Arithmetic Curves, it is stated that, if $B=\oplus_{d\ge0}B_d$ is a graded algebra over a ring $A,$ and if $I$ is an ideal of $B,$ then ...
5
votes
1answer
148 views

Exercise 4.5.E a) in Ravi Vakil's Foundations of Algebraic Geometry.

Hi! I am following the hint given in Exercise 4.5.E in Vakil's Foundations of Algebraic Geometry, but I am stuck trying to prove that if $a_1,a_2 \in Q_i$, then $a_1^2 + 2a_1 a_2 + a_2^2 \in Q_{2i}$. ...
1
vote
1answer
49 views

Are there homogeneous elements with two distinct grades?

In a graded ring $B=\bigoplus_{d\ge 0} B_d$, the element $0$ is homogeneous with grade $d$ for every $d\ge 0$, in fact since every $B_d$ is an additive subgroup of $B$, then it must contain $0$. Can ...
0
votes
0answers
25 views

Quotients of $\mathbb{Z}_2$ graded rings

This is a follow-up of Grading of the quotient module $M/N$ in a special case of $\mathbb{Z}_2$ graduation. Unfortunately, the answers there are not very helpful to me. So I'm asking whether the ...
1
vote
1answer
89 views

Rees ring associated to an ideal

I am reading Atiyah-Macdonald, the chapter on completions. Let $A$ be a ring (not graded), and let $\mathfrak{a}$ be an ideal of $A$. Then we can form a graded ring ...
1
vote
0answers
46 views

Construction of projective space of a graded ring

Let $S=k[x_0,x_1,x_2]$, $k$ an algebraically closed field and $ S_d=k[x_0^d,x_0^{d-1}x_1,\ldots,x_2^{d-1}x_1, x_2^d]$. $\mathbb{P}S_d $ is identified with the projective space $\mathbb{P}^{N_d} $, ...
1
vote
0answers
68 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 ...
0
votes
1answer
70 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
1answer
43 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 ...
2
votes
0answers
128 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 ...
5
votes
1answer
103 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 ...
5
votes
0answers
206 views

Irreducible homogeneous ideals

I have the following question: Let $I$ be a homogeneous ideal. Is it true that $I$ is irreducible if and only if it can't be written as the intersection of two homogeneous ideals? So, is it ...
2
votes
1answer
135 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 ...