Skip to main content
14 events
when toggle format what by license comment
Apr 13, 2017 at 12:58 history edited CommunityBot
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Nov 15, 2014 at 22:37 vote accept Nicholas Proudfoot
Nov 15, 2014 at 22:37 answer added Nicholas Proudfoot timeline score: 11
Nov 13, 2014 at 16:07 comment added joro @NicholasProudfoot I misunderstood, sorry. Will delete the nonsense comment.
Nov 13, 2014 at 16:01 comment added Nicholas Proudfoot @joro: I'm a little confused; does it make sense to talk about the zeta series when you are dealing with a local ring? I thought that the zeta function had to do with counting points, and these guys each have only one point. (I definitely agree that, if they were quotients of polynomial rings, these two rings would not be isomorphic!)
Nov 12, 2014 at 22:20 answer added David E Speyer timeline score: 6
Nov 12, 2014 at 20:03 answer added Vladimir Dotsenko timeline score: 5
Nov 12, 2014 at 15:07 comment added Nicholas Proudfoot That's correct. I don't think that there will be any general statement that gets me the isomorphism for free. If the rings are isomorphic (which I hope that they are), I think it will involve some trick that is specific to this example. (Of course, I hope that it will generalize to other similar examples that arise in the problem that I'm considering).
Nov 12, 2014 at 15:02 comment added Francesco Polizzi Anyway, already for isolated singularities, it is not true in general that the analytic (or formal) type of the singularity is the same of the type of the tangent cone. For instance, take $$\mathbb{C}[[x, y, z, w]]/(x^3+y^3+z^3+w^3), \quad \mathbb{C}[[x, y, z, w]]/(x^3+y^3+z^3+w^3+xyzw).$$ Then these two germs are not isomorphic: in fact they have the same Milnor number ($16$) but different Tjurina number ($16$ and $15$, respectively).
Nov 12, 2014 at 14:54 comment added Francesco Polizzi Just a remark: in this case, the singularities of your hypersurfaces at the origin are not isolated.
Nov 12, 2014 at 14:49 comment added Nicholas Proudfoot Ack, sorry! I introduced some typos while translating between the previous version and this one. Both are supposed to be local rings at the origin on singular hypersurfaces in $\mathbb{C}^4$. The first hypersurface is homogeneous of degree 3, while the second has an extra term of degree 4. Hence the first hypersurface is isomorphic to the tangent cone (at the origin) of the second hypersurface.
Nov 12, 2014 at 14:46 history edited Nicholas Proudfoot CC BY-SA 3.0
added 17 characters in body
Nov 12, 2014 at 14:22 comment added Steven Landsburg Your rings have different dimensions and hence are not isomorphic. Is there perhaps a typo in the question?
Nov 12, 2014 at 14:12 history asked Nicholas Proudfoot CC BY-SA 3.0