The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
2answers
30 views

Example of a graded module that is not a ring.

I'm looking for an example of a graded module, that is not a ring. All the examples of graded modules that I have come across, like $k[x_1,x_2,\dots,x_n]$ are all graded rings. Thanks in advance
3
votes
1answer
95 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
1answer
102 views

Minimal free resolution of the twisted cubic

This is exercise 13.15 in Harris' book "A First Course...". Let $X$ be the twisted cubic with ideal $I(X) = (XZ-Y^2,YW-Z^2,XZ-YW).$ Let $S(X)$ denote the homogeneous coordinate ring of $X$ and $S$...
2
votes
1answer
51 views

Is grading unique?

It must be a very basic question, but I just can't figure out... Let $P$ be a graded $A$-module ($A$ is a commutative associative with unity). Can $P$ have two different direct decompositions, that ...
2
votes
1answer
124 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 $...
1
vote
1answer
217 views

Bruns Herzog Theorem 9.2.1

In Theorem 9.2.1 of Bruns-Herzog Cohen-Macaulay rings it is proven that if $x_1,...,x_n$ is a regular sequence on an $R$-module $M$, and $t \ge 0$, then $x_1^t x_2^t \dotsm x_n^t \notin (x_1^{t+1},......
0
votes
1answer
30 views

When are minimal faithful modules over algebras unique?

Let $A$ be a unital associative algebra over $\mathbb{C}$. We say an $A$-module $V$ is "minimal faithful" if (i) $V$ is faithful and (ii) $V$ does not have a proper submodule that is faithful. First ...
0
votes
1answer
42 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 ...
11
votes
0answers
301 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 ...
7
votes
0answers
177 views

How to intuitively understand prolongations

This question is concerned with the algebraic side of the theory of prolongations as explained in this paper by V. Guillemin and S. Sternberg. Let me first introduce my notation. We're working with a ...
4
votes
0answers
104 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 ...
4
votes
0answers
337 views

Multiplicity and regular sequences

We define multiplicity of a module $M$ of dimension $d>0$ as $$e(M) := \operatorname{lc} (P_M) (d-1)!,$$ where $P_M$ denotes the Hilbert polynomial of $M$ and $\operatorname{lc}(P_M)$ its leading ...
4
votes
0answers
217 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
0answers
84 views

Cones of max-Spec

Let $k$ be an algebraically closed field and $R=k\oplus R_1\oplus R_2\oplus \ldots$ be a graded commutative ring that's finitely generated by elements of positive degree. If $M$ is a finitely ...
3
votes
0answers
68 views

Homology of Derivations of a dgca algebra

Let $(A,d)$ be a differential graded commutative and associative algebra. A derivation on $A$ is a linear endomorphism $L: A \to A$, that satsfies $L(ab)= L(a)b+ aL(b)$. More general a derivation of ...
2
votes
0answers
31 views

Compute directly that the mapping cone of a homotopy equivalence is contractible

Let's consider the category $Ch_R$ of cochain complexes of modules over a commutative ring $R$. I'm trying to prove that if the chain map $\phi:M\rightarrow N$ is a homotopy equivalence then its ...
2
votes
0answers
114 views

Koszul sign convention and symmetric group action on the graded n-th tensor product

Let $V_\bullet = (V_k)_{k \in \mathbb{Z}}$ and $W_\bullet = (W_k)_{k \in \mathbb{Z}}$ be two graded vector spaces on 0 caracteristic field. We define the tensor product of $V_\bullet$ by $W_\bullet$ ...
2
votes
0answers
106 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$ is ...
2
votes
0answers
110 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 ...
2
votes
0answers
175 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 ...
2
votes
0answers
83 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 = Proj(\...
1
vote
0answers
36 views

Reflexive Graded Module

Let $R=k[x_1,\dots,x_d]$ be a polynomial ring and $M=M_0\oplus M_1\oplus M_2\oplus\cdots$ be a graded $R$-module. Is it true that $M$ is reflexive as an $R$-module if and only if $M_i$ is reflexive as ...
1
vote
0answers
26 views

Is the Hilbert series of graded module interpreted as a rational function meaningful everywhere?

Say we have a graded module $M$ over a field $k$. In my mind I have $M=k[x,y,z]/(y^2-xz)$ graded by rank. The Hilbert series of this is $\sum_{n=0}^{\infty} (2n+1)t^n$. You can represent this as a ...
1
vote
0answers
56 views

Hilbert series of exterior algebra?

Let the exterior polynomial algebra $A=\Lambda_K[x_1,\ldots,x_n]$ have grading $\deg x_i=d_i$. Is there some nice formula for the Hilbert-Poincare series $HP_A=\sum_k\dim_K \!A_k\,t^k\in\mathbb{Z}[[t]]...
1
vote
0answers
129 views

Projective covers of graded modules.

I want to prove that there exist projective covers in the category of graded modules over an algebra. I am fairly new to "this" kind of mathematic and don't really know where to start: I found the ...
1
vote
0answers
83 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
0answers
39 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
32 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 $I=(x_1-x_2,x_3-...
0
votes
0answers
13 views

Free graded k[x] modules have homogeneous bases

I was reading the article "Cary Webb. Decomposition of graded modules. Proceedings of the American Math- ematical Society, 94(4):565–571, 1985" where in the beginning "Free graded k[x] modules have ...
0
votes
0answers
20 views

Finite generation and associated graded modules

My question is as follows: Let $R$ be a ring and let $M$ a right $R$-module. Suppose that $(F_i)_{i \geqslant 0}$ is a filtration of $R$ and $(M_i)_{i \geqslant 0}$ is a compatible filtration of $...
0
votes
0answers
84 views

Decomposition of a graded module

In an article I am reading I found the following statement: If $D$ is a PID, then every finitely generated $D$-module is isomorphic to a direct sum of cyclic $D$-modules. That is, it decomposes ...
0
votes
0answers
47 views

Question about the classification theorem for finitely generated graded $F[t]$-modules

I am in the beginnings on learning persistence homology, and as a start I'm studying Gunnar Carlsson's survey "Topology and Data". Theorem 2.10 states the following: "Suppose $M_{\star}$ is a ...
0
votes
0answers
121 views

Suggest a good book or reference on graded modules over polynomial rings

I am looking for reference books or papers on graded modules over the polynomial ring $k[x_0, \ldots, x_n]$. Any good commutative algebra text like Eisenbud's Commutative Algebra already contains a ...
0
votes
0answers
136 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? if 1) $R$ is non-Noetherian ring , 2) $R$ is Noetherian ring and $M$ is ...
0
votes
0answers
99 views

Extension of multiplication to the tensor algebra.

In this wikipedia article http://en.wikipedia.org/wiki/Tensor_algebra#Construction We construct $T(V)$ as the direct sum of vector spaces $T^kV$ for $k=0,1,2,…$ $$ T(V)= \bigoplus_{k=0}^\...
0
votes
0answers
86 views

Question about initial forms

I am working through Eisenbud's Commutative Algebra, and in Chapter $5$ he defines the following map. Say we have a filtration of modules ${\cal F}:M=M_0\supset M_1\supset\cdots$. Then for $f\in M$, ...