Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 338456

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

1 vote
0 answers
121 views

Some properties for height 1 prime ideals in the local ring

Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$. Let $R=\mathbb{K}[x_0,x_1,\dotsc,x_n]/I$ be the coordinate ring of an affine variety/projective variety. Also, assume that $I$ …
It'sMe's user avatar
  • 839
0 votes
0 answers
123 views

Example of a periodic free resolution over a hypersurface

I'm reading "HOMOLOGICAL ALGEBRA ON A COMPLETE INTERSECTION, WITH AN APPLICATION TO GROUP REPRESENTATIONS" by David Eisenbud I'm wondering what would be a nice example illustrating Theorem 6.1 on page …
It'sMe's user avatar
  • 839
0 votes
0 answers
136 views

Understanding the relations without the knowledge of Plucker relations [duplicate]

Consider the grassmannian $\mathrm{Gr}(2,5)$. We know there is an embedding of $\mathrm{Gr}(2,5)$ into $\mathbb{P}^9$ by using the 10 Plucker coordinates, and they satisfy 5 Plucker relations. And, so …
It'sMe's user avatar
  • 839
0 votes
1 answer
251 views

Quiver representations over any commutative ring

I'm reading a paper of Aidan Schofield "General Representations of Quivers" and he defines quiver representation over any commutative ring. See the below image. Towards the end, he has this representa …
It'sMe's user avatar
  • 839
6 votes
1 answer
311 views

Prove that $\overline{a}_{11}$ is a prime element in $R$

Consider the affine space given by four $2\times 2$ matrices, i.e., $\mathbb{A}^{16}\cong M(\mathbb{C})_{2\times 2}^4$. Now, consider the algebraic set $V$ given by the vanishing of the relation $AB- …
It'sMe's user avatar
  • 839
1 vote
0 answers
303 views

Meaning of "cut out (scheme-theoretically)"

Let $V$ be a projectively normal closed subvariety of some projective space over an algebraically closed field $\mathbb{K}$. Let $R$ be the local ring at the vertex of the affine cone over $V$ ($R$ is …
It'sMe's user avatar
  • 839
1 vote
0 answers
122 views

Confusion regarding change of variable and irreducibility

Let $\mathbb{K}$ be an algebraically closed field of characteristics zero. Let $X$ be an irreducible affine variety, with a rational action of a linearly reductive algebraic group $G$. Also, assume th …
It'sMe's user avatar
  • 839
2 votes
1 answer
245 views

Possible "algebraic" direction in hyperplane arrangements

I have been studying hyperplane arrangements from R. Stanley's notes and so far, I have read until lecture 5. But, Lecture 6 and end of Lecture 5 seems very combinatorial. I'm more interested in the " …
It'sMe's user avatar
  • 839
1 vote
1 answer
153 views

Invariant ring of the subvariety

Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also …
It'sMe's user avatar
  • 839
1 vote
0 answers
151 views

Software for computing invariant rings

I have an linearly reductive algebraic group $G$ acting regularly on an affine variety $X$(over an algebraically closed field of characteristic 0). I want to compute the invariant ring $\mathbb{K}[X]^ …
It'sMe's user avatar
  • 839
3 votes
2 answers
392 views

Cohen-Macaulay Representations

I came across the book "Cohen-Macaulay Representations" by Graham J. Leuschke and Roger Wiegand, and now I'm wondering if this is an active area of research. If yes, then what are some of the active …
It'sMe's user avatar
  • 839
3 votes
4 answers
778 views

$R$ is a UFD iff $R_{\frak{m}}$ is a UFD?

Let $R$ be a graded ring such that $R_0$ is a field and let $\frak{m}$ be the maximal ideal generated by all the elements of positive degree. Then, is it true that $R$ is a UFD iff $R_{\frak{m}}$ is a …
It'sMe's user avatar
  • 839
0 votes
0 answers
69 views

"Approximating" ring of semi-invariants

I'm trying to calculate the semi-invariant ring for certain types of quivers. For a very brief introduction to semi-invariant rings of quiver please have a look at this wikipedia article at the follow …
It'sMe's user avatar
  • 839
2 votes
0 answers
178 views

Help with Macaulay2 computation of invariant ring

Consider the algebraic group $G:=\operatorname{SL}_{2}\times\operatorname{SL}_{2}$ acting on $V:=\operatorname{Mat}_{2\times 2}\oplus\operatorname{Mat}_{2\times 2}$ via the action $(A,B)\,\cdot\,(X,Y) …
It'sMe's user avatar
  • 839
1 vote
0 answers
129 views

A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(...

I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below) I want to understand …
It'sMe's user avatar
  • 839