All Questions
8 questions with no upvoted or accepted answers
9
votes
0
answers
378
views
Is there any notion of "smoothification" from $\mathbb{R}$-schemes to generalized smooth spaces?
I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor $\mathcal{...
- 7,789
3
votes
0
answers
215
views
How to read the definition of Grothendieck Pretopology in SGA4?
In SGA4, the first axiom of a Grothendieck pretopology is given as:
PT0: Pour tout objet $X$ de $C$, les morphismes des familles de morphismes de $Cov(𝑋)$
sont quarrables. (Rappelons qu’un morphisme ...
- 237
3
votes
0
answers
530
views
Flasque sheaves on a site
This is a cross-post from MathStackexchange.
We define a flasque sheaf on a site as one whose first Čech cohomology vanishes for every covering of every object of the site. I know this definition is ...
- 153
3
votes
0
answers
285
views
What is the logical progression in algebraic tools for studying spaces (varieties -> schemes, sheaves, topos etc.)?
Some algebraists (Cartier, Weil, Atiyah, etc.) sometimes speak of geometry as a long history of essentially asking the same question—"what is space, and how would one describe a space uniquely". ...
- 39
3
votes
0
answers
307
views
Locality in Grothendieck Topologies
Let $\mathcal{C}$ be a category and $\mathcal{J}$ be a Grothendieck topology on it (i.e., $(\mathcal{C},\mathcal{J})$ is a site). Then what is a good notion of locality in it?
I came up with the ...
- 438
2
votes
0
answers
361
views
epimorphism of fppf sheaves is an fppf morphism
I asked this question on math.stackexchange (https://math.stackexchange.com/questions/2693471/epimorphism-of-fppf-sheaves-is-an-fppf-morphism) but didn't get an answer. Maybe someone here can help.
...
- 21
2
votes
0
answers
266
views
Relationship between coherent toposes/coherent logic and coherent sheaves
I've heard it claimed that the adjective "coherent" in logic/topos theory (i.e. coherent logic, coherent toposes, coherent categories) was adopted to fit in with the terminology of coherent sheaves in ...
- 3,058
1
vote
0
answers
82
views
Do the covariant maps of a sheaf with transfer automatically satisfy a dual gluing axiom?
I'm interested in describing a notion of equivariant sheaves that uses Mackey functors on topoi. We can describe a genuine G-spectrum as a spectral Mackey functor on the topos of finite G-sets. If we ...
- 1,969