Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: why different length minimal resolution for different order?
PostPosted: Thu Nov 22, 2018 2:14 pm 
I have a graded ring and compute syzygies with Singular online (version 4.1.1).
Depending on the order I write the variables I get a different number of syzygies. This looks like a bug.
More precisely:
I generate an ideal with:
ring re = 0, (s,t,w,z(0..3),y(5..7),x(0..2)),wp(1,1,9,15,15,15,15,10,10,10,5,5,5);
ideal parm = w^2-(s^3-t^3)*(s^15+t^15),
z(0)-(s^3-t^3)*w*s^3,z(1)-(s^3-t^3)*w*s^2*t,z(2)-(s^3-t^3)*w*s*t^2,z(3)-(s^3-t^3)*w*t^3,
y(5)-(s^3-t^3)*s^2*t^5,y(6)-(s^3-t^3)*s*t^6,y(7)-(s^3-t^3)*t^7,
x(0)-(s^3-t^3)*s^2,x(1)-(s^3-t^3)*s*t,x(2)-(s^3-t^3)*t^2;
ideal krom= eliminate(parm,w*s*t);
ring r = 0,(z(0..3),y(5..7),x(0..2)),wp(3,3,3,3,2,2,2,1,1,1);
ideal kr = imap(re,krom);
list T = mres(kr,2);
print(betti(T),"betti");

I get 161 syzygies (also not all degrees in the Betti table are OK).
But with
ring r = 0,(x(0..2),y(5..7),z(0..3)),wp(1,1,1,2,2,2,3,3,3,3);
I get 169 syzygies.
But there should only be 160 syzygies.

Can somebody explain me what is happening here?

Best, Jan Stevens


Report this post
Top
  
Reply with quote  
 Post subject: Re: why different length minimal resolution for different order?
PostPosted: Fri Dec 14, 2018 6:32 pm 

Joined: Wed May 25, 2005 4:16 pm
Posts: 275
You get a generating set of the syszygy module:
different order of variables may produce a different number of generators.
betti works only for homogeneous input (wrt. weight 1).


Report this post
Top
 Profile  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

It is currently Fri May 13, 2022 10:56 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group