All Questions
Tagged with sheaf-theory grothendieck-topology
42 questions
2
votes
1
answer
94
views
Are the injections of a coproduct a cover in the canonical pretopology?
Assume we're in a category $C$ with all pullbacks and finite coproducts.
Recall that the canonical coverage of $C$ is the finest Grothendieck (pre) topology for which all representables are sheaves. A ...
- 237
6
votes
1
answer
395
views
Relationship between canonical topology on a topos and its site of definition
The canonical (Grothendieck) topology for a category $C$ is the largest (finest) topology such that every representable presheaf over $C$ is a sheaf.
According to First Order Categorical Logic Lemma 1....
- 237
2
votes
1
answer
151
views
Is the slice of a subcanonical site also subcanonical?
A subcanonical site is one for which every representable functor is a sheaf.
For a subcanonical site $C$, the fundamental theorem of topos theory says that there is an equivalence $Sh(C/c)\cong Sh(C)/...
- 237
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
7
votes
1
answer
255
views
Subobject classifier for sheaves on large sites with WISC
Let $\mathsf{C}$ be a possibly large category with a Grothendieck topology satisfying the Weakly Initial Set of Covers condition: there is for each $X$ a set (not a proper class) of covering families ...
- 1,996
6
votes
1
answer
455
views
Subsheaves of Spec K, K a field
$\DeclareMathOperator\Spec{Spec}\newcommand\Ring{\mathrm{Ring}}\newcommand\op{^\text{op}}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Sh{Sh}$In the category of schemes the objects of the form $\...
- 775
0
votes
1
answer
177
views
Does the (Vistoli-)sheafification induce isomorphism?
Given a presheaf, in Angelo Vistoli's 2007 Notes on Grothendieck topologies,
fibered categories
and descent theory
there is a construction of the sheafification (Proof for theorem 2.64).
Note: In ...
- 119
3
votes
0
answers
172
views
Is the Grothendieck topology equivalent to its Singleton Grothendieck topology?
I'm using the definition of a Grothendieck topology in Angelo Vistoli’s 2007 Notes on Grothendieck topologies,
fibered categories
and descent theory and I found on nLab about superextensive site, that ...
- 119
3
votes
0
answers
142
views
Johnstone's Elephant - Lemma C2.1.7 confusion
I don't understand the proof of (ii) in the Johnstone's Elephant:
Lemma 2.1.6 is:
Now consider $\bigcup_{f \in R} f \circ f^*(S)$. This is my notation for the sieve Johnstone references in the proof ...
3
votes
1
answer
513
views
Proof without sieves: Equivalent grothendieck topologies have the same sheaves
I'm currently learning about sheaf theory with Angelo Vistoli’s 2007 Notes on Grothendieck topologies,
fibered categories and descent theory. And in page 35, there is the following definition of a ...
- 119
3
votes
1
answer
244
views
Compatibility of pullbacks with an equivalence relation
This question was originally posted last week in Math Stack Exchange (see here).
I'm currently working on the proof of the existence of the sheafification in Angelo Vistoli’s 2007 Notes on ...
- 119
7
votes
1
answer
465
views
When is a basis of a topological space a Grothendieck pretopology?
Bases of a topological space in point set topology will in general form a coverage on its category of inclusion on open subsets and on its category of inclusion on basic opens, but it takes a bit more ...
- 1,947
3
votes
1
answer
225
views
Sheaves on sites given by a (regular) cd-structure
Let $C$ be a category equipped with a Grothendieck topology generated by a cd-structure (see https://ncatlab.org/nlab/show/cd-structure or Voevodsky's paper Homotopy theory of simplicial presheaves in ...
- 33
2
votes
2
answers
491
views
What is the geometric description of the set of isomorphism class of $G$-torsors over a site $C$?
Let $X$ be a topological space and $G$ be a topological group. Let $\tilde{G}$ be the sheaf of groups defined by the sheaf of sections of the product $G$ bundle $ \pi_1:X\times G \rightarrow X $.
(1)...
- 1,215
4
votes
2
answers
416
views
Is any constant Zariski sheaf already a Nisnevich sheaf?
Lat $A$ be a set and $\underline{A}$ the associated constant Zariski sheaf on the category $Sm/S$ of schemes which are smooth over $S$ for a fixed base scheme $S$. Is $\underline{A}$ already a (...
- 1,906
2
votes
0
answers
212
views
Only discrete topology gives trivial topos?
Given a Grothendieck site $\mathsf{(C,\tau)}$, if the associated Grothendieck topos $\mathsf{Shv(C,\tau)}$ is trivial, i.e. $\mathsf{Shv(C,\tau)}$ consists of the terminal sheaf $*$ only, can we ...
- 1,906
3
votes
1
answer
315
views
What to call a morphism of sites inducing an equivalence on categories of sheaves?
Is there a standard term for a morphism of sites $(C,J)\to(C',J')$ which induces an equivalence on sheaf categories $\operatorname{Sh}(C',J')\xrightarrow\sim\operatorname{Sh}(C,J)$? The nLab entry ...
- 18.7k
3
votes
1
answer
360
views
Why are sheaves of a coverage the same as those on its generated Grothendieck coverage?
Preliminaries: There are lots of variations on the settings in which we define sheaves. I am concerned with the details linking the general definition below to the Grothendieck topology it generates; ...
- 352
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
11
votes
2
answers
664
views
Equivalence of the definitions of a sheaf in SGA4 and in "Categories and Sheaves"
I asked this question on Mathematics Stack Exchange, but got no answer.
I don't understand why the definition of a sheaf (Definition 17.3.1 (ii)) given in the book
[KS] Categories and Sheaves by ...
- 4,416
10
votes
1
answer
506
views
What is the total space of a stack after all?
From my general experience I think for myself of what follows as some kind of taboo question for some reason: in my imagination, everybody wants an answer to this but somehow thinks it shall not be ...
- 18.4k
11
votes
1
answer
892
views
Are all Grothendieck topologies on Set equivalent?
The category $\textbf{Set}$ can be given a Grothendieck topology where the covering families are jointly surjective families of set inclusions $\{X_i\stackrel{\phi_i}{\hookrightarrow} X\}\in\mathrm{...
- 23.3k
10
votes
1
answer
504
views
Is there a way to "puncture" a topos?
Let $E$ be a (Grothendieck) topos, e.g. $E = \text{Sh}(X)$ for a topological space $X$. And let $p = (p^*, p_*):\text{Set}\to E$ be a point of $E$, is there a way to "puncture" $E$ in some sense? By "...
- 629
2
votes
1
answer
125
views
Exercise on "locality" in topos theory
Let $\mathcal E=\mathsf{Sh}(\mathsf C,J)$. Let $A\rightarrowtail \Omega$ be a fixed subobject. For each $X$ in $\mathcal E$, define $T_A(X)$ to be a set of subobjects of $X$ as follows. $U\...
- 10.5k
13
votes
0
answers
481
views
Making the conceptual leap from locales to Grothendieck topologies?
I find the definition for locales and sheaves on locales to be straightforward, but I'm stumbling over the idea of a Grothendieck topology. Is there a nice way to see roughly how the latter ...
- 373
12
votes
1
answer
2k
views
Reference request: Book of topology from "Topos" point of view
Question: Is there any book of topology in the modern language of topos theory?
Motivation:
In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the ...
- 545
3
votes
0
answers
716
views
Two functorial definitions of schemes
I have been reading a bit about the "functor of points" theory for schemes. There seem to be two ways of going about defining schemes this way:
Equip the category $\textbf {Psh}=\operatorname{Fun}(\...
- 2,011
8
votes
1
answer
791
views
Hypercovers of sheaves in classical and quasi-categories
I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...
- 187
2
votes
0
answers
116
views
Cohomology and quotients for the canonical topology
Recall that for any category $\mathcal C$, there is a unique finest topology, the canonical topology on $\mathcal C$ for which all representable functors are sheaves. I am interested in the example $\...
- 5,759
0
votes
1
answer
374
views
Sheaffication using a $\lambda$-transfinite colimit
I asked this question on mathstack (long time ago), however I received no answers, so I'm trying it here. I don't know whether it's suitable for this site, anyway.
I was reading this article http://...
- 2,227
4
votes
0
answers
261
views
Can one construct Freyd-Mitchell's embeddings that respect sheafifications?
For a certain presheaf $P$ with values in an abelian category $A$ satisfying AB5 and its sheafification $S$ (with respect to a small Grothendieck site) I would like to prove: $S(f):S(X)\to S(Y)$ is ...
- 16.9k
7
votes
1
answer
464
views
Needless axiom for Grothendieck topologies?
Hi,
The first axiom for a Grothendieck (pre)topology on a category $C$ says that for every object $X\in C$, the family consisting of just the identity $1_X : X\to X$ should be a covering family.
Why ...
- 2,842
3
votes
0
answers
334
views
Examples of Sheafification via Hypercovers
For a presheaf $F$ on a category equipped with a pretopology, one has the sheafification $F^{\sharp}$ of $F$.
I know well the plus-construction of sheafification, which is presented in Artin's paper "...
- 945
10
votes
3
answers
2k
views
Representable Presheaf
I have a very quick question. Is there an easy example of a representable presheaf on a site that is not a sheaf? This certainly can't happen on a small FPPF site so I would expect a counterexample to ...
- 565
7
votes
1
answer
451
views
Coverage, itself considered as a presheaf
A coverage $J$ on a category $C$ assigns to an object $U$ of $C$ a set of covering families $J(U)$. The covering families are required to be stable under pullback, which amounts to requiring that for ...
- 291
1
vote
1
answer
273
views
Do Categorical Quotients Preserve Covering Maps?
Before asking a question, please let me write down settings.
SETTINGS:
Let $C$ be a category with fiber products and $B$ be a closed subcategory of $C$ (i.e. $B$ contains any isomorphism of $C$, and ...
- 945
2
votes
0
answers
358
views
What are the easiest cases of base change (for sheaves on sites)?
I have a closed embedding of schemes $i:X'\to X$, and for each of them I consider three Grothendieck topologies for the category of the corresponding (relatively) \'etale schemes: the \'etale one, the ...
- 16.9k
2
votes
0
answers
486
views
Fine and acyclic sheaves on locales
Hey all. Here's the thing, so I have a measure space. According to Johnstone's 'Topos theory' (page 213), let $(X,\Sigma,\mu)$ be a measure space, we can define a Grothendieck pretopology on it (and ...
- 456
4
votes
1
answer
752
views
Question about the definition of a sheaf cohomology group for a sheaf using tensor products of sheaves
In Warner's 'Foundations of differentiable manifolds and Lie groups', in the section about axiomatic sheaf theory (page 178), when establishing the conditions necessary for the existence of a ...
- 456
18
votes
2
answers
4k
views
Locally constant sheaves for the étale topology, lack of intuition about "étale-localness"
I have started studying some étale cohomology and I am trying to build up some intuition about the concept of local for the étale topology. I can understand some nice examples (like Kummer exact ...
- 291
9
votes
0
answers
369
views
Topologies (and sheaves) on Cat and CAT
I've been wondering lately what sort of Grothendieck (pre)topologies there are on $Cat$ (the category of small categories) and $CAT$ (the v. large category of large categories - to forestall criticism ...
- 35.5k
4
votes
2
answers
695
views
Colimits of covers
Suppose I have category $C$ equipped with a Grothendiek pretopology of covers, and let $y:C \to Sh(C)$ be the Yoneda embedding into sheaves and $y/c:C/c \to Sh(C)/y(c)\cong Sh(C/c)$. How can I show ...
- 15.5k