Timeline for Do quasi-excellent rings have a good constructive definition?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 30, 2022 at 17:52 | comment | added | saolof | Actually, the thing that may be more important is the proof of the converse, that a ring is quasi-excellent if all singularities of its integral algebras can be resolved. It may be interesting to see what parts of that proof survive constructively and if a good definition of a ring property can be extracted from that. | |
| Oct 26, 2022 at 11:47 | comment | added | saolof | @JasonStarr The property I was looking for is that Resolution of singularities for excellent rings should follow from resolution of singularities in complete integral local Noetherian rings, where modifications of the latter to be constructively well behaved is allowed. The assumption does not have to be proven, just the implication for a suitably well formulated assumption. The assumption happens to be difficult even classically, and an open problem for positive characteristic, but AFAIK the implication was shown classically by Hironaka and Grothendieck in the 60s. | |
| Oct 25, 2022 at 22:13 | comment | added | Jason Starr | I do not understand your first sentence. Are you assuming resolution of singularities in positive characteristic? | |
| Oct 25, 2022 at 19:23 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
| Oct 25, 2022 at 19:00 | history | asked | saolof | CC BY-SA 4.0 |