The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
1answer
93 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
70 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 ...
2
votes
1answer
48 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
117 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
209 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 ...
0
votes
1answer
41 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 ...
10
votes
0answers
281 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
170 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
101 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
213 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
62 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 ...
3
votes
0answers
323 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 ...
2
votes
0answers
69 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
98 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$ ...
2
votes
0answers
107 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
168 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
81 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
0answers
20 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
45 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 ...
1
vote
0answers
114 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
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 ...
0
votes
0answers
67 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
43 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
68 views

A regular sequence in a determinantal ring

Let $S=K[X_{ij}\colon 1\le i\le m, 1\le j \le n, m\le n]$ be a ring of polynomials with coefficients in a field, $X=(X_{ij})$ a matrix of indeterminates, $I$ the ideal of maximal minors and $R=S/I$. ...
0
votes
0answers
34 views

Quotient of graded rings by graded ideals are again graded rings

I want to prove the following statement. Let $A = \bigoplus_{n=0}^{\infty}A_n$ to be a graded $R$-algebra and $I$ a graded ideal of $A$. Let $(A/I)_n = (A_n + I)/I$ be the image of $A_n$ in $A/I$. ...
0
votes
0answers
80 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 ...
0
votes
0answers
108 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
135 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$ ...
0
votes
0answers
92 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)= ...
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$, ...