Timeline for constructibility for pushforward
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 5, 2015 at 14:12 | comment | added | Jason Starr | Okay, in that case, for every quasi-compact open $U$, there exists finite $n$ and an open $U_n \subseteq \mathbb{A}^n$ such that $U$ is the inverse image of $U_n$ under projection from $\mathbb{A}^{\mathbb{N}}$ to $\mathbb{A}^n$. There is a smooth base change theorem for constructible sheaves . . . | |
| May 5, 2015 at 14:01 | comment | added | prochet | first projection | |
| May 5, 2015 at 10:25 | comment | added | Jason Starr | With what transition maps? | |
| May 5, 2015 at 9:51 | comment | added | prochet | $\varprojlim\mathbb{A}^{n}$ | |
| May 4, 2015 at 21:20 | comment | added | Jason Starr | What precisely do you mean by $\mathbb{A}^{\mathbb{N}}$? | |
| May 4, 2015 at 20:55 | history | asked | prochet | CC BY-SA 3.0 |