The grothendieck-topology tag has no wiki summary.
0
votes
0answers
107 views
Isomorphism in a derived category of chain complexes with rational coefficients
Let $C$ be the category of quasi-projective schemes over a base field $k$ (maybe I will need some assumptions on $k$). Let $Ab(C_{\tau})$ be the category of Abelian sheaves on a site $C_{\tau}$, where ...
28
votes
3answers
1k views
What is the purpose of the flat/fppf/fpqc topologies?
There have been other similar questions before (e.g. What is your picture of the flat topology?), but none of them seem to have been answered fully.
As someone who originally started in ...
2
votes
0answers
87 views
Reference for cdh topology
Let $f:X\rightarrow Y$ be a proper surjective morphism over some base scheme $S$ of finite type, suppose $f$ restricts to an isomorphism over some open $U$ of $X$, we also suppose both $X$ and $Y$ are ...
2
votes
2answers
247 views
Morphism on schemes induced by continuous morphism of sites
I am beginner in the theory of Grothendieck topologies and I have the following question.
Let $X, Y$ be schemes over an algebraically closed field $k$. Denote by $X_{et}$ and $Y_{et}$ the Etale sites ...
7
votes
3answers
421 views
Gerbes and Stacks
The definition of a gerbe on a smooth manifold that I know is that - after fixing an open cover $U_i$, a gerbe consists of the data of line bundles $L_{ij}$ on two-fold-intersections $U_{ij}$, ...
10
votes
1answer
716 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 ...
2
votes
0answers
169 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 ...
5
votes
1answer
190 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 ...
3
votes
0answers
123 views
Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles
Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles.
...
2
votes
0answers
61 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 ...
0
votes
1answer
149 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 ...
5
votes
0answers
104 views
Which dense inclusions of sites are ∞-dense?
An inclusion of sites f: D→C is dense if it induces an equivalence between the categories of sheaves on C and D.
Likewise, f is ∞-dense is it induces an equivalence between the ∞-categories of ...
0
votes
1answer
383 views
What was the original/historical motivation for introducing Grothendieck (pre-)topologies
The title essentially explains it, but I'll give some background:
I'm giving a talk to some fellow grad students about the relative Picard functor which requires introducing Grothendieck ...
3
votes
0answers
173 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 ...
5
votes
2answers
590 views
Can Inequivalent Topologies Have Same Sheaves/Cohomology?
Let $C$ be a fixed category, and let $T_1$ and $T_2$ be two Grothendieck (pre)topologies on $C$. We say $T_1$ is subordinate to $T_2$ if every covering in $T_1$ has a refinement in $T_2$. We say $T_1$ ...
0
votes
0answers
217 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 ...
9
votes
1answer
392 views
Is there a direct proof that affine schemes are fppf quasi-compact?
Let $A$ be a (commutative) ring. A family $(B_i)_{i\in I}$ of $A$-algebras is said to be an fppf cover if it satisfies three properties: (1) each $B_i$ is flat as an $A$-module, (2) each $B_i$ is ...
2
votes
0answers
144 views
cech cohomology in topos
Hi,
The following result seems to be well known, but I can't come up with a proof.
Suppose that $C$ is a topos and that $F\to G$ is an effective epimorphism in $C$. If $P$ is
any abelian sheaf on ...
7
votes
4answers
663 views
Grothendieck topology for a non-small category
To define a Grothendieck topology of a category, we usually require that the category is small.
Question 1: Why do we need to require the category to be small?
I thought that the problem was that ...
3
votes
0answers
131 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 ...
2
votes
1answer
233 views
Numerable covers from the point of view of Grothendieck topologies
Let $G$ be a topological group. Recall that its classifying space $BG$ is a CW-complex which is the base of a locally trivial principal bundle of group $G$, with contractible total space $EG$. It ...
2
votes
1answer
151 views
Is there a name for this “weak compatibility” between Grothendieck (pre)topologies?
(I find it easier to think in terms of Grothendieck pretopologies, instead of topologies. If this annoys any experts, please forgive me.)
Suppose that $C$ is a (full) subcategory of a category $D$. ...
7
votes
3answers
528 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 ...
8
votes
4answers
1k views
Grothendieck Topologies versus Pretopologies
The wikipedia article(s) as well as the nlab article(s) about Grothendieck topologies and Grothendieck pretopologies are careful to differentiate the two very emphatically and to point out that ...
3
votes
1answer
207 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 ...
26
votes
1answer
1k views
What is your picture of the flat topology?
I recently tried to explain the fppf site to a differential geometer. I started with the etale site, where I had two motivating claims:
If X is a smooth projective variety over the complexes, the ...
5
votes
0answers
363 views
Does this Grothendieck topology have a name?
I have the following Grothendieck pretopologies on the category of schemes.
The first one, the covers are families of morphisms $\{ U_i \to X \}$ such that for every point $x \in X$ there exists some ...
3
votes
0answers
141 views
Coverages that are not pretopologies
A coverage on a category $C$ is a collection of covering families $\{u_i \to a\}$ for each object $a$ of $C$ such that for each arrow $b\to a$ there is a covering family for $b$ which fits into a ...
1
vote
1answer
235 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 ...
15
votes
1answer
620 views
Topos associated to a category
For each topos $\mathbb E$ let $\mathcal O(\mathbb E)$ be the locally presentable category of objects in $\mathbb E$. We can make $\mathcal O$ into a contravariant functor to the category of locally ...
1
vote
0answers
428 views
Is any presheaf on a local ring a sheaf? Stalks/points for some Grothendieck topologies
I was able to recover the original statement, which is:
Let A be a local ring (for Zariski, henselian for Nisnevic and strictly henselian for étale) and $\{U_i\rightarrow Spec A\}$ a covering. Then ...
6
votes
1answer
572 views
Commuting Grothendieck topologies.
Let $T_1$ and $T_2$ be two Grothendieck topologies on the same small category $C$, and let $T_3 = T_1 ∪ T_2$ (by which I mean the smallest Grothendieck topology on C containing $T_1$ and $T_2$).
...
5
votes
1answer
503 views
Nisnevich topology on non-(locally) Noetherian schemes
Background
Lurie has in DAG XI a definition (given below) of a Nisnevich cover for arbitrary commutative rings, which reduces to the usual one for Noetherian rings. It boils down to being a etale ...
2
votes
0answers
305 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 ...
2
votes
0answers
368 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 ...
41
votes
5answers
3k views
A bestiary of topologies on Sch
The category of schemes has a large (and to me, slightly bewildering) number of what seem like different Grothendieck (pre)topologies. Zariski, ok, I get. Etale, that's alright, I think. Nisnevich? ...
1
vote
1answer
407 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 ...
7
votes
1answer
338 views
What sheaf topoi classify: attribution request
Is there an accepted name or attribution by which to refer to the following well-known theorem?
If C is a small site, then the topos of sheaves on C is the classifying topos for flat ...
3
votes
1answer
699 views
Cohomologie Etale
Is there an English translation available for Deligne's Cohomologie Etale (Arcata) that is now part of the SGA 4 1/2 ?? Atleast for the first two sections - Grothendieck Topologies and Etale Topology.
...
14
votes
1answer
1k views
Crystalline cohomology via the syntomic site
Hello,
Let $k$ be a field of characteristic $p > 0$, and let $Y$ be a $k$-scheme. Consider the
sites $Y_{syn}$ and $(Y/W_n)_{cris}$ (where $W_n$ are the Witt vectors of $k$ of length $n$), of $Y$ ...
2
votes
1answer
226 views
Induced pretopologies on sSet
Recall that the geometric realisation functor $| - |: sSet \to Top$ preserves products (choosing $Top = k Space$ or similar). Thus any given singleton Grothendieck pretopology on $Top$ gives rise to a ...
19
votes
4answers
2k views
In what sense is the étale topology equivalent to the Euclidean topology?
I have heard it said more than once—on Wikipedia, for example—that the étale topology on the category of, say, smooth varieties over $\mathbb{C}$, is equivalent to the Euclidean topology. I have not ...
10
votes
2answers
1k 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 ...
10
votes
1answer
501 views
Stable motivic cohomology with finite coefficients?
In this question, which attracted no responces so far, I've asked whether it is possible to extend the Beilinson-Lichtenbaum etale descent rule for motivic cohomology to singular varieties, in ...
17
votes
1answer
660 views
Are completions stalks under some Grothendieck topology?
Let $R$ be a ring, and $\mathfrak{p}$ be a prime ideal. The stalk at $\mathfrak{p}$ with respect to the etale topology is $(R_{\mathfrak{p}})^{sh}$ (the strict henselization of $R_{\mathfrak{p}}$). ...
4
votes
0answers
223 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 ...
12
votes
1answer
711 views
Motivic cohomology with finite coefficients for singular varieties
Let $X$ be a smooth variety over a field $K$ whose characteristic does not divide a positive integer $m$. Then the motivic cohomology of $X$ with coefficients in $\mathbb Z/m(j)$ can be computed in ...
1
vote
1answer
728 views
Zariski sheaves lifted to etale topology
Let $X$ be a "reasonable" scheme (I am particularly interested in smooth algebraic varieties over a field). Let $Zar_X$ denote the (small) Zariski site of (open subschemes of) $X$ and $Et_X$ denote ...
3
votes
2answers
333 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 ...
13
votes
1answer
1k views
Grothendieck topologies, Mayer-Vietoris, and points
I am trying to think about certain problems in the theory of motives without having a proper background in Grothendieck topologies and the like, hoping to teach myself the related techniques in the ...
