Timeline for Non-characteristic is to pullback as (blank) is to pushforward.
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2017 at 2:48 | comment | added | Sam Gunningham | @SaalHardali the pushforward does not preserve the t-structure under those conditions, and also the estimate on singular support is only a containment rather than an equality. I believe that the correct condition is the one mentioned in Reladenine Vakalwe's comment above. This includes the case when $f$ is a closed embedding for example (which is most directly analogous to being smooth). | |
| Jul 29, 2017 at 22:42 | comment | added | Saal Hardali | @SamGunningham Maybe this is naive but isn't being "proper on the support of $M$" the correct analogy? | |
| Dec 20, 2012 at 1:38 | comment | added | Sam Gunningham | Thanks for pointing that out - I have edited the question. I'll think about your answer. | |
| Dec 20, 2012 at 1:36 | history | edited | Sam Gunningham | CC BY-SA 3.0 |
added 7 characters in body
|
| Dec 20, 2012 at 0:52 | comment | added | Reladenine Vakalwe | Slightly confused about a certain point, why is pushforward along a proper map preserving t-structure? Regarding the question, there is a good estimate on singular support of $f_*M$ if $f_{\pi}\colon f_d^{-1} Ch(M)\to T^*Y$ is finite (I hope the notation is self-explanatory. See Kashiwara's D-Modules and microlocal calculus section 4.7. This condition is analogous to the non-characteristic condition. | |
| Dec 19, 2012 at 23:31 | history | asked | Sam Gunningham | CC BY-SA 3.0 |