Zulip Chat Archive

Stream: triage

Topic: issue #4014: Miracle Flatness and Zariski's Main Theorem


view this post on Zulip Random Issue Bot (Mar 20 2021 at 14:26):

Today I chose issue 4014 for discussion!

Miracle Flatness and Zariski's Main Theorem
Created by @damiano (@adomani) on 2020-09-01
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Damiano Testa (Mar 22 2021 at 13:36):

I still believe that this is important, but also that it requires a lot of material about schemes (and commutative algebra!) to be really "imminent".

view this post on Zulip Kevin Buzzard (Mar 22 2021 at 13:51):

By the way I'm (very slowly) working on flatness -- I decided that it would be easier to develop the theory after we had Tor though, so I'm currently thinking about that. I'm completely happy with having this as a long-term issue, I think it's a fine goal, but of course we are a long way from having either of these things.

view this post on Zulip Damiano Testa (Mar 22 2021 at 14:21):

Kevin, thanks for working on flatness/tors!

I agree with you that this is a long-term project: I intended it more as a way of testing when a satisfactory level of scheme-theory had been developed, rather than an "easy goal that is within reach"!

view this post on Zulip Random Issue Bot (Mar 30 2021 at 14:23):

Today I chose issue 4014 for discussion!

Miracle Flatness and Zariski's Main Theorem
Created by @damiano (@adomani) on 2020-09-01
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Damiano Testa (Mar 30 2021 at 14:31):

No further update, but the previous comments on this thread still apply!


Last updated: May 18 2021 at 23:14 UTC