Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - Fitting ideals on a variety
Author Message
  Post subject:  Fitting ideals on a variety  Reply with quote
Hi

First of all I am not a great programmer. So I ask your help in following question
usually I have to look at specific polynomial map f and its differential/Jacobian on a
particular variety.

Now what I would like to do is to compute the rank dropping sets of the Jacobian df
in a particular variety V(I), I=<g_1,...,g_n>\subset K[x_1,...,x_k]=A.

This of course lead to Fitting ideals which has to vanish for a sequence of coranks of df on a variety V
and to the 1st syzygy module of dg, g:=(g_1,...,g_n).

The problem that the variety V(g_1,...,g_n) might have a fairly big dimension let's say l and in order to compute the first rank dropping set we should look at the Fitting ideal spanned by k-l minors of dg. The number of minors might be huge.

So in order to simplify matters could somebody program a code which would do the following:

Always when a one minor is computed we reduce it by Gröbner basis of I and if it vanishes we can discard it because we are looking at the rank dropping sets on V(I).

Also if we have a completely different map f:=(f_1,..,f_s) and its Jacobian df
and we want to look at the rank dropping sets at V(I) so could somebody write a code
or suggest how to do the following:

1) We want to look at all rank dropping sets of df on V
2) When we generate the ideal spanned by the minors we would at every step when a new minor is computed we would automatically test if it vanishes on V and discard and if so discard it.
3) Finally we would end up with relevant polynomials which do not automatically vanish on V and these minors would give us the relevant minors M=<m1,...ml> which would give us the relevant conditions so that the rank of df drops i.e the ''singular'' variety
V(S)=V(I+M).

4) So in a nutshell: I would only like to look at the minors which actually give some extra conditions for the rank of df to drop on V. Of course the minor which vanish at V(I) do not matter at all !

If somebody has the energy or time I would really appreciate if someone would explain to me how to do this or is it already automatically possible to do this in singular ? For example in a quotient ring of an ideal ?

hope to hear from you soon !

Samuli.P
Post Posted: Wed May 15, 2013 6:08 am


It is currently Mon Dec 18, 2017 2:40 pm
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group