Timeline for singular support in the singular case
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17, 2021 at 0:52 | comment | added | user125639 | Fair enough. But is there some "a priori" estimate in terms of X in which SS(F) lives? | |
| Apr 16, 2021 at 20:49 | comment | added | Will Sawin | @user125639 If we embed $X \subset A$ then $T^* X$ is not a subspace of $T^* A $, but rather a quotient, so the inclusion $SS(F) \subset T^* X$ would not be well-defined. | |
| Apr 16, 2021 at 20:12 | comment | added | user125639 | @WillSawin, do you know if the containment $SS(F) \subset T^*X$ holds in the singular case? | |
| Mar 14, 2020 at 0:06 | comment | added | Will Sawin | For $f: X \to Y$ proper, embed $X$ into $A$, embed $Y$ into $B$, and then embed $X$ into $A \times B$ diagonally via $f$. This works fine if $X$ and $Y$ are quasiprojective, I think. I agree it's beneficial to have a general theory though. | |
| Mar 13, 2020 at 23:57 | comment | added | prochet | the drawback of such a definition is for instance if one would have functoriality w.r.t to proper morphisms, because there is no reason that it extends to the embedding. | |
| Mar 13, 2020 at 16:05 | comment | added | Will Sawin | Won't any two embeddings of the same dimension be locally equivalent in the analytic or etale topology? Independence should follow from that. | |
| Mar 12, 2020 at 7:51 | history | asked | prochet | CC BY-SA 4.0 |