Timeline for questions about the "relative fundamental group" of SGA 1 Expose XIII
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2014 at 13:43 | history | edited | Will Chen | CC BY-SA 3.0 |
added 217 characters in body
|
| Jun 19, 2014 at 8:34 | comment | added | ACL | Beware! Don't confuse séparé (separated) and séparable; the latter means that the geometric fibers are reduced. | |
| Jun 19, 2014 at 6:23 | comment | added | Zhen Lin | By the definition of pro-object, $\mathrm{Hom}_{\mathbf{Pro}(\mathcal{C})} (p, c) \cong \varinjlim \mathrm{Hom}_{\mathcal{C}} (p, c)$, and although there is a natural map $\varinjlim \mathrm{Hom}_{\mathcal{C}} (p, c) \to \mathrm{Hom}_{\mathcal{C}} (\varprojlim p, c)$, it is not a bijection in general. (You need $c$ to be finitely presentable as an object in $\mathcal{C}^\mathrm{op}$.) | |
| Jun 19, 2014 at 6:08 | comment | added | S. Carnahan♦ | First question: Any torsor (as a sheaf) for such a group is automatically representable by descent of affine morphisms. | |
| S Jun 19, 2014 at 5:44 | history | suggested | user27920 | CC BY-SA 3.0 |
The author of XIII is "she", not "he" (there were two students of Grothendieck named M. Raynaud).
|
| Jun 19, 2014 at 4:44 | review | Suggested edits | |||
| S Jun 19, 2014 at 5:44 | |||||
| Jun 18, 2014 at 23:16 | history | asked | Will Chen | CC BY-SA 3.0 |